Trace number 4524442

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 2025-06-06SAT (TO)-6850 3600.33 3350.38

General information on the benchmark

NamePB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_5881.opb
MD5SUM72a008fff12a99d8557ede6656b5f966
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-13067
Best CPU time to get the best result obtained on this benchmark2078.23
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 2243
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 113910
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 113910
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)2123
Sum of products size (including duplicates)4246
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4524442-1751613950.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.32/0.22	c ... done. Wall clock time 0.087s.
0.32/0.22	c declared #vars     120
0.32/0.22	c internal #vars     2243
0.32/0.22	c #constraints  4246
0.32/0.22	c constraints type 
0.32/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2123
0.32/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2123
0.32/0.22	c 4246 constraints processed.
0.32/0.23	c objective function length is 2243 literals
0.32/0.24	c SATISFIABLE
0.32/0.24	c OPTIMIZING...
0.32/0.24	c Got one! Elapsed wall clock time (in seconds):0.116
0.32/0.24	o -5672
0.32/0.26	c Got one! Elapsed wall clock time (in seconds):0.136
0.32/0.26	o -5809
0.32/0.28	c Got one! Elapsed wall clock time (in seconds):0.153
0.32/0.28	o -5841
0.32/0.30	c Got one! Elapsed wall clock time (in seconds):0.171
0.32/0.30	o -5919
0.71/0.43	c Got one! Elapsed wall clock time (in seconds):0.306
0.71/0.43	o -5964
0.71/0.44	c Got one! Elapsed wall clock time (in seconds):0.312
0.71/0.44	o -6247
0.71/0.45	c Got one! Elapsed wall clock time (in seconds):0.319
0.71/0.45	o -6257
0.71/0.45	c Got one! Elapsed wall clock time (in seconds):0.325
0.71/0.45	o -6384
0.71/0.46	c Got one! Elapsed wall clock time (in seconds):0.334
0.71/0.46	o -6402
0.71/0.47	c Got one! Elapsed wall clock time (in seconds):0.34
0.71/0.47	o -6464
0.71/0.47	c Got one! Elapsed wall clock time (in seconds):0.347
0.71/0.47	o -6474
0.71/0.48	c Got one! Elapsed wall clock time (in seconds):0.353
0.71/0.48	o -6601
0.71/0.49	c Got one! Elapsed wall clock time (in seconds):0.362
0.71/0.49	o -6633
0.90/0.51	c Got one! Elapsed wall clock time (in seconds):0.382
0.90/0.51	o -6651
2.37/1.51	c cleaning 2693 clauses out of 5386 with flag 10008/5386
3.01/2.04	c Got one! Elapsed wall clock time (in seconds):1.909
3.01/2.04	o -6687
3.37/2.36	c cleaning 3865 clauses out of 7729 with flag 4046/10422
4.48/3.38	c cleaning 4932 clauses out of 9863 with flag 16044/16421
5.79/4.51	c cleaning 5964 clauses out of 11931 with flag 30044/23421
7.24/5.89	c cleaning 6980 clauses out of 13967 with flag 46044/31421
8.97/7.43	c cleaning 7988 clauses out of 15987 with flag 64044/40421
10.82/9.18	c cleaning 8996 clauses out of 18000 with flag 84046/50422
12.86/11.07	c cleaning 9999 clauses out of 20004 with flag 106046/61422
15.33/13.31	c cleaning 10999 clauses out of 22005 with flag 130046/73422
17.90/15.71	c cleaning 11998 clauses out of 24005 with flag 156044/86421
20.66/18.31	c cleaning 12999 clauses out of 26008 with flag 184046/100422
23.35/20.85	c cleaning 13997 clauses out of 28008 with flag 214044/115421
26.14/23.44	c cleaning 15002 clauses out of 30011 with flag 246044/131421
29.20/26.33	c cleaning 16004 clauses out of 32010 with flag 280046/148422
32.75/29.57	c cleaning 16996 clauses out of 34006 with flag 316046/166422
36.44/33.08	c cleaning 18000 clauses out of 36011 with flag 354048/185423
40.28/36.72	c cleaning 19004 clauses out of 38011 with flag 394048/205423
45.52/40.76	c cleaning 20003 clauses out of 40006 with flag 436046/226422
49.60/44.55	c cleaning 20997 clauses out of 42002 with flag 480044/248421
54.37/48.90	c cleaning 21999 clauses out of 44005 with flag 526044/271421
58.86/53.27	c cleaning 23001 clauses out of 46006 with flag 574044/295421
64.13/58.14	c cleaning 24003 clauses out of 48006 with flag 624046/320422
68.90/62.70	c cleaning 24995 clauses out of 50003 with flag 676046/346422
73.98/67.49	c cleaning 25998 clauses out of 52007 with flag 730044/373421
79.42/72.58	c cleaning 26998 clauses out of 54011 with flag 786048/401423
79.52/72.62	c Got one! Elapsed wall clock time (in seconds):72.491
79.52/72.62	o -6714
79.52/72.69	c Got one! Elapsed wall clock time (in seconds):72.566
79.52/72.69	o -6752
79.65/72.70	c Got one! Elapsed wall clock time (in seconds):72.572
79.65/72.70	o -6766
79.65/72.71	c Got one! Elapsed wall clock time (in seconds):72.579
79.65/72.71	o -6784
80.21/73.20	c Got one! Elapsed wall clock time (in seconds):73.074
80.21/73.20	o -6820
80.55/73.58	c cleaning 16480 clauses out of 32975 with flag 4458/407385
82.02/74.69	c cleaning 11241 clauses out of 22495 with flag 17127/413385
83.58/75.72	c cleaning 9119 clauses out of 18254 with flag 31660/420385
84.83/76.96	c cleaning 8562 clauses out of 17135 with flag 48077/428385
86.29/78.31	c cleaning 8781 clauses out of 17573 with flag 66287/437385
87.78/79.81	c cleaning 9389 clauses out of 18794 with flag 86536/447387
89.42/81.41	c cleaning 10195 clauses out of 20404 with flag 108984/458386
91.22/83.21	c cleaning 11096 clauses out of 22209 with flag 133433/470386
93.12/85.18	c cleaning 12047 clauses out of 24112 with flag 159710/483385
95.41/87.42	c cleaning 13027 clauses out of 26066 with flag 187850/497386
98.11/89.95	c cleaning 14016 clauses out of 28038 with flag 217848/512385
101.05/92.67	c cleaning 15004 clauses out of 30022 with flag 249848/528385
104.04/95.44	c cleaning 16004 clauses out of 32019 with flag 283850/545386
107.22/98.41	c cleaning 17003 clauses out of 34015 with flag 319850/563386
110.71/101.76	c cleaning 17999 clauses out of 36012 with flag 358364/582386
114.47/105.39	c cleaning 19002 clauses out of 38012 with flag 398574/602385
118.37/109.12	c cleaning 20001 clauses out of 40011 with flag 441388/623386
122.32/113.00	c cleaning 21003 clauses out of 42011 with flag 486104/645387
127.12/117.41	c cleaning 21997 clauses out of 44007 with flag 532354/668386
131.79/121.94	c cleaning 23001 clauses out of 46010 with flag 580790/692386
136.78/126.51	c cleaning 23999 clauses out of 48008 with flag 630788/717385
143.12/131.54	c cleaning 25000 clauses out of 50010 with flag 682790/743386
148.56/136.68	c cleaning 25998 clauses out of 52009 with flag 736788/770385
153.86/141.77	c cleaning 27006 clauses out of 54011 with flag 792788/798385
159.78/147.30	c cleaning 27998 clauses out of 56005 with flag 850788/827385
165.70/152.82	c cleaning 28998 clauses out of 58007 with flag 910788/857385
171.69/158.67	c cleaning 30001 clauses out of 60009 with flag 972788/888385
178.08/164.66	c cleaning 31003 clauses out of 62008 with flag 1036788/920385
184.68/170.82	c cleaning 31998 clauses out of 64006 with flag 1102790/953386
191.55/177.37	c cleaning 33000 clauses out of 66007 with flag 1170788/987385
199.09/184.46	c cleaning 33996 clauses out of 68007 with flag 1240789/1022385
206.64/191.55	c cleaning 35006 clauses out of 70011 with flag 1312789/1058385
214.28/198.79	c cleaning 35997 clauses out of 72006 with flag 1386791/1095386
222.10/206.16	c cleaning 37001 clauses out of 74008 with flag 1462789/1133385
229.60/213.20	c cleaning 37999 clauses out of 76007 with flag 1540789/1172385
239.21/221.00	c cleaning 38998 clauses out of 78008 with flag 1620789/1212385
246.98/228.42	c cleaning 39996 clauses out of 80010 with flag 1702789/1253385
255.18/236.20	c cleaning 40999 clauses out of 82014 with flag 1786789/1295385
264.41/244.84	c cleaning 41998 clauses out of 84015 with flag 1872789/1338385
273.46/253.23	c cleaning 43001 clauses out of 86017 with flag 1960789/1382385
281.70/261.11	c cleaning 43998 clauses out of 88017 with flag 2050791/1427386
290.57/269.58	c cleaning 45004 clauses out of 90019 with flag 2142791/1473386
299.59/278.14	c cleaning 46002 clauses out of 92014 with flag 2236789/1520385
309.50/287.55	c cleaning 46999 clauses out of 94012 with flag 2332789/1568385
319.13/296.60	c cleaning 48006 clauses out of 96013 with flag 2430789/1617385
329.47/306.40	c cleaning 49001 clauses out of 98007 with flag 2530789/1667385
339.54/315.99	c cleaning 50002 clauses out of 100007 with flag 2632791/1718386
349.82/325.45	c cleaning 51003 clauses out of 102005 with flag 2736791/1770386
360.35/335.39	c cleaning 51999 clauses out of 104001 with flag 2842789/1823385
374.20/346.40	c cleaning 52997 clauses out of 106002 with flag 2950789/1877385
385.07/357.00	c cleaning 53995 clauses out of 108005 with flag 3060789/1932385
396.59/367.75	c cleaning 55001 clauses out of 110010 with flag 3172789/1988385
407.82/378.64	c cleaning 55994 clauses out of 112009 with flag 3286789/2045385
420.96/391.16	c cleaning 57004 clauses out of 114016 with flag 3402791/2103386
435.46/404.80	c cleaning 58000 clauses out of 116013 with flag 3520793/2162387
450.63/419.18	c cleaning 59002 clauses out of 118011 with flag 3640789/2222385
465.03/433.10	c cleaning 59996 clauses out of 120009 with flag 3762789/2283385
480.18/447.55	c cleaning 61000 clauses out of 122013 with flag 3886789/2345385
494.04/460.77	c cleaning 61998 clauses out of 124015 with flag 4012793/2408387
508.15/474.04	c cleaning 63001 clauses out of 126016 with flag 4140791/2472386
522.08/487.12	c cleaning 63995 clauses out of 128014 with flag 4270789/2537385
537.64/501.88	c cleaning 65004 clauses out of 130020 with flag 4402791/2603386
557.41/518.07	c cleaning 66002 clauses out of 132015 with flag 4536789/2670385
573.62/533.82	c cleaning 66999 clauses out of 134014 with flag 4672791/2738386
588.75/548.37	c cleaning 68003 clauses out of 136014 with flag 4810789/2807385
605.63/564.44	c cleaning 69004 clauses out of 138013 with flag 4950793/2877387
621.06/579.02	c cleaning 70000 clauses out of 140007 with flag 5092789/2948385
637.14/594.36	c cleaning 70998 clauses out of 142007 with flag 5236789/3020385
654.29/610.71	c cleaning 71998 clauses out of 144010 with flag 5382791/3093386
671.37/627.07	c cleaning 72999 clauses out of 146012 with flag 5530791/3167386
688.05/642.95	c cleaning 74004 clauses out of 148012 with flag 5680789/3242385
704.57/658.78	c cleaning 75001 clauses out of 150008 with flag 5832789/3318385
722.86/676.31	c cleaning 75999 clauses out of 152007 with flag 5986789/3395385
740.27/693.07	c cleaning 76996 clauses out of 154008 with flag 6142789/3473385
762.33/711.17	c cleaning 77999 clauses out of 156012 with flag 6300790/3552385
762.42/711.27	c Got one! Elapsed wall clock time (in seconds):711.146
762.42/711.27	o -6836
763.62/712.42	c cleaning 41836 clauses out of 83682 with flag 10001/3558054
764.62/713.47	c cleaning 23913 clauses out of 47847 with flag 22003/3564055
765.81/714.60	c cleaning 15457 clauses out of 30933 with flag 36001/3571054
767.01/715.85	c cleaning 11728 clauses out of 23477 with flag 52003/3579055
768.51/717.30	c cleaning 10365 clauses out of 20749 with flag 70003/3588055
770.02/718.87	c cleaning 10184 clauses out of 20384 with flag 90003/3598055
771.82/720.62	c cleaning 10592 clauses out of 21200 with flag 112003/3609055
773.71/722.54	c cleaning 11297 clauses out of 22607 with flag 136001/3621054
776.14/724.82	c cleaning 12154 clauses out of 24310 with flag 162001/3634054
778.45/727.14	c cleaning 13074 clauses out of 26157 with flag 190003/3648055
780.83/729.58	c cleaning 14041 clauses out of 28082 with flag 220001/3663054
783.72/732.38	c cleaning 15013 clauses out of 30042 with flag 252003/3679055
786.42/735.09	c cleaning 16007 clauses out of 32028 with flag 286180/3696054
789.67/738.19	c cleaning 17003 clauses out of 34022 with flag 322310/3714055
792.86/741.34	c cleaning 18004 clauses out of 36018 with flag 360414/3733054
796.02/744.31	c Got one! Elapsed wall clock time (in seconds):744.18
796.02/744.31	o -6850
796.96/745.20	c cleaning 20472 clauses out of 40960 with flag 10321/3756000
797.87/746.15	c cleaning 13235 clauses out of 26487 with flag 22526/3761999
798.96/747.20	c cleaning 10118 clauses out of 20253 with flag 36768/3769000
800.06/748.38	c cleaning 9058 clauses out of 18134 with flag 52766/3776999
801.50/749.77	c cleaning 9023 clauses out of 18076 with flag 70766/3785999
803.00/751.23	c cleaning 9517 clauses out of 19054 with flag 90880/3796000
804.59/752.85	c cleaning 10259 clauses out of 20537 with flag 113119/3807000
806.49/754.75	c cleaning 11132 clauses out of 22277 with flag 137466/3818999
808.66/756.86	c cleaning 12066 clauses out of 24145 with flag 163535/3831999
810.86/759.03	c cleaning 13034 clauses out of 26080 with flag 191537/3846000
813.15/761.39	c cleaning 14020 clauses out of 28047 with flag 221786/3861001
815.91/764.02	c cleaning 15010 clauses out of 30026 with flag 253893/3877000
818.50/766.64	c cleaning 16001 clauses out of 32016 with flag 288216/3894000
821.80/769.74	c cleaning 17001 clauses out of 34014 with flag 324324/3911999
824.80/772.71	c cleaning 18006 clauses out of 36013 with flag 362424/3930999
828.35/776.14	c cleaning 18997 clauses out of 38007 with flag 402562/3950999
831.84/779.65	c cleaning 20003 clauses out of 40010 with flag 444885/3971999
835.83/783.54	c cleaning 20999 clauses out of 42008 with flag 488943/3994000
840.31/787.78	c cleaning 21998 clauses out of 44008 with flag 534941/4016999
844.30/791.72	c cleaning 23001 clauses out of 46011 with flag 583262/4041000
849.05/796.32	c cleaning 23998 clauses out of 48010 with flag 633410/4066000
854.47/801.41	c cleaning 25003 clauses out of 50012 with flag 685521/4092000
859.16/806.15	c cleaning 25995 clauses out of 52009 with flag 739678/4119000
864.38/811.22	c cleaning 27000 clauses out of 54014 with flag 795825/4147000
869.81/816.48	c cleaning 28001 clauses out of 56013 with flag 853966/4175999
875.74/822.03	c cleaning 29002 clauses out of 58014 with flag 914002/4206001
881.22/827.54	c cleaning 30002 clauses out of 60012 with flag 976002/4237001
886.53/832.84	c cleaning 30998 clauses out of 62008 with flag 1039998/4268999
892.24/838.42	c cleaning 31999 clauses out of 64010 with flag 1105998/4301999
898.31/844.35	c cleaning 33004 clauses out of 66012 with flag 1174000/4336000
904.50/850.37	c cleaning 33998 clauses out of 68007 with flag 1243998/4370999
911.23/856.89	c cleaning 34999 clauses out of 70009 with flag 1315998/4406999
918.47/863.83	c cleaning 36001 clauses out of 72011 with flag 1390147/4444000
926.01/871.13	c cleaning 37000 clauses out of 74009 with flag 1466185/4481999
933.52/878.47	c cleaning 37999 clauses out of 76010 with flag 1544966/4521000
941.60/886.35	c cleaning 38996 clauses out of 78011 with flag 1625616/4561000
949.67/894.22	c cleaning 39998 clauses out of 80014 with flag 1707756/4601999
957.99/902.31	c cleaning 41001 clauses out of 82016 with flag 1791756/4643999
967.10/910.89	c cleaning 42000 clauses out of 84016 with flag 1877758/4687000
976.37/919.75	c cleaning 43001 clauses out of 86016 with flag 1965758/4731000
985.90/928.94	c cleaning 43998 clauses out of 88014 with flag 2055993/4775999
995.30/938.18	c cleaning 44996 clauses out of 90016 with flag 2148484/4821999
1005.41/947.68	c cleaning 46003 clauses out of 92020 with flag 2242581/4868999
1015.88/957.70	c cleaning 46996 clauses out of 94018 with flag 2338627/4917000
1026.65/968.29	c cleaning 48008 clauses out of 96021 with flag 2437209/4965999
1038.34/979.25	c cleaning 48994 clauses out of 98013 with flag 2537628/5015999
1049.73/990.23	c cleaning 50000 clauses out of 100019 with flag 2639900/5066999
1061.25/1001.50	c cleaning 51000 clauses out of 102019 with flag 2744006/5118999
1075.56/1013.22	c cleaning 52007 clauses out of 104019 with flag 2850063/5171999
1087.08/1024.40	c cleaning 53001 clauses out of 106012 with flag 2958063/5225999
1099.35/1036.07	c cleaning 54000 clauses out of 108011 with flag 3068630/5280999
1112.24/1048.58	c cleaning 54998 clauses out of 110012 with flag 3180925/5337000
1127.62/1063.18	c cleaning 56001 clauses out of 112013 with flag 3295390/5393999
1141.07/1076.21	c cleaning 56996 clauses out of 114012 with flag 3411525/5451999
1154.36/1088.81	c cleaning 58001 clauses out of 116016 with flag 3529525/5510999
1166.98/1100.71	c cleaning 58998 clauses out of 118016 with flag 3649527/5571000
1179.55/1112.95	c cleaning 60005 clauses out of 120017 with flag 3771525/5631999
1192.75/1125.57	c cleaning 60995 clauses out of 122012 with flag 3895525/5693999
1206.54/1138.50	c cleaning 61998 clauses out of 124018 with flag 4021527/5757000
1219.28/1150.99	c cleaning 63000 clauses out of 126020 with flag 4149527/5821000
1232.86/1163.93	c cleaning 64003 clauses out of 128021 with flag 4279529/5886001
1247.03/1177.43	c cleaning 65000 clauses out of 130016 with flag 4411525/5951999
1261.62/1191.22	c cleaning 66001 clauses out of 132017 with flag 4545527/6019000
1280.72/1206.75	c cleaning 66999 clauses out of 134018 with flag 4681531/6087002
1295.35/1220.97	c cleaning 67999 clauses out of 136017 with flag 4819527/6156000
1310.45/1235.40	c cleaning 69002 clauses out of 138017 with flag 4959525/6225999
1326.02/1250.31	c cleaning 70003 clauses out of 140017 with flag 5101529/6297001
1341.21/1264.77	c cleaning 70997 clauses out of 142014 with flag 5245529/6369001
1358.40/1281.14	c cleaning 71996 clauses out of 144015 with flag 5391525/6441999
1374.13/1296.16	c cleaning 73000 clauses out of 146019 with flag 5539525/6515999
1390.54/1311.80	c cleaning 73998 clauses out of 148020 with flag 5689527/6591000
1407.66/1328.21	c cleaning 75000 clauses out of 150021 with flag 5841526/6666999
1425.36/1345.24	c cleaning 76002 clauses out of 152021 with flag 5995526/6743999
1444.31/1363.53	c cleaning 77002 clauses out of 154020 with flag 6151528/6822000
1463.09/1381.62	c cleaning 78000 clauses out of 156018 with flag 6309528/6901000
1484.27/1399.01	c cleaning 79002 clauses out of 158018 with flag 6469528/6981000
1503.00/1416.84	c cleaning 79997 clauses out of 160015 with flag 6631526/7061999
1522.48/1435.40	c cleaning 81000 clauses out of 162019 with flag 6795528/7144000
1540.66/1452.70	c cleaning 82003 clauses out of 164019 with flag 6961529/7227000
1559.43/1470.72	c cleaning 83005 clauses out of 166016 with flag 7129529/7311000
1579.16/1489.44	c cleaning 83995 clauses out of 168010 with flag 7299527/7395999
1599.43/1508.80	c cleaning 85000 clauses out of 170015 with flag 7471527/7481999
1619.79/1528.49	c cleaning 86004 clauses out of 172016 with flag 7645529/7569000
1641.04/1548.55	c cleaning 86998 clauses out of 174012 with flag 7821529/7657000
1665.25/1568.40	c cleaning 87997 clauses out of 176013 with flag 7999527/7745999
1686.20/1588.11	c cleaning 88999 clauses out of 178016 with flag 8179527/7835999
1707.46/1608.45	c cleaning 90000 clauses out of 180017 with flag 8361527/7926999
1729.51/1629.67	c cleaning 91004 clauses out of 182019 with flag 8545531/8019001
1751.31/1650.27	c cleaning 92000 clauses out of 184013 with flag 8731527/8111999
1773.60/1671.78	c cleaning 92997 clauses out of 186014 with flag 8919529/8206000
1797.53/1694.45	c cleaning 93998 clauses out of 188016 with flag 9109527/8300999
1830.73/1721.88	c cleaning 94995 clauses out of 190018 with flag 9301527/8396999
1854.01/1743.13	c cleaning 96007 clauses out of 192023 with flag 9495527/8493999
1875.11/1763.06	c cleaning 96997 clauses out of 194016 with flag 9691527/8591999
1896.62/1783.08	c cleaning 98000 clauses out of 196020 with flag 9889529/8691000
1918.98/1804.39	c cleaning 99003 clauses out of 198019 with flag 10089527/8790999
1941.50/1825.38	c cleaning 100006 clauses out of 200018 with flag 10291531/8892001
1969.13/1847.28	c cleaning 100997 clauses out of 202010 with flag 10495527/8993999
1992.75/1869.58	c cleaning 101993 clauses out of 204014 with flag 10701529/9097000
2015.21/1891.08	c cleaning 102999 clauses out of 206020 with flag 10909527/9200999
2040.32/1914.74	c cleaning 103999 clauses out of 208021 with flag 11119527/9305999
2065.29/1938.59	c cleaning 105006 clauses out of 210022 with flag 11331527/9411999
2091.40/1963.46	c cleaning 106004 clauses out of 212016 with flag 11545527/9518999
2124.49/1990.26	c cleaning 107003 clauses out of 214012 with flag 11761527/9626999
2151.98/2015.58	c cleaning 107996 clauses out of 216010 with flag 11979529/9736000
2176.40/2038.67	c cleaning 108998 clauses out of 218013 with flag 12199527/9845999
2203.13/2063.83	c cleaning 110001 clauses out of 220016 with flag 12421529/9957000
2230.92/2090.35	c cleaning 111003 clauses out of 222014 with flag 12645527/10068999
2259.57/2117.79	c cleaning 112001 clauses out of 224012 with flag 12871529/10182000
2293.78/2146.66	c cleaning 112999 clauses out of 226011 with flag 13099529/10296000
2321.93/2173.66	c cleaning 113999 clauses out of 228013 with flag 13329531/10411001
2352.03/2202.55	c cleaning 114995 clauses out of 230012 with flag 13561527/10526999
2381.03/2229.49	c cleaning 115998 clauses out of 232019 with flag 13795531/10644001
2409.09/2256.15	c cleaning 116998 clauses out of 234020 with flag 14031529/10762000
2446.95/2286.25	c cleaning 117999 clauses out of 236022 with flag 14269529/10881000
2480.02/2318.18	c cleaning 118999 clauses out of 238022 with flag 14509527/11000999
2513.54/2350.01	c cleaning 120000 clauses out of 240023 with flag 14751527/11121999
2547.26/2382.14	c cleaning 121003 clauses out of 242024 with flag 14995529/11244000
2580.67/2414.30	c cleaning 122005 clauses out of 244020 with flag 15241527/11366999
2622.77/2448.88	c cleaning 122999 clauses out of 246016 with flag 15489529/11491000
2654.99/2479.66	c cleaning 123998 clauses out of 248016 with flag 15739527/11615999
2686.18/2508.85	c cleaning 124998 clauses out of 250019 with flag 15991529/11742000
2723.51/2544.43	c cleaning 125999 clauses out of 252020 with flag 16245527/11868999
2766.54/2579.56	c cleaning 126997 clauses out of 254021 with flag 16501527/11996999
2801.04/2612.58	c cleaning 128004 clauses out of 256025 with flag 16759529/12126000
2832.70/2642.85	c cleaning 129000 clauses out of 258021 with flag 17019529/12256000
2865.11/2673.43	c cleaning 129997 clauses out of 260021 with flag 17281529/12387000
2897.40/2704.57	c cleaning 131002 clauses out of 262023 with flag 17545527/12518999
2934.69/2735.82	c cleaning 131995 clauses out of 264021 with flag 17811527/12651999
2968.36/2767.63	c cleaning 133005 clauses out of 266026 with flag 18079527/12785999
3002.64/2800.42	c cleaning 134001 clauses out of 268022 with flag 18349529/12921000
3040.33/2836.65	c cleaning 135002 clauses out of 270021 with flag 18621529/13057000
3084.47/2872.24	c cleaning 136000 clauses out of 272018 with flag 18895527/13193999
3118.08/2904.46	c cleaning 136999 clauses out of 274018 with flag 19171527/13331999
3159.71/2944.20	c cleaning 137999 clauses out of 276019 with flag 19449527/13470999
3200.19/2982.86	c cleaning 139002 clauses out of 278021 with flag 19729529/13611000
3243.96/3019.89	c cleaning 140001 clauses out of 280018 with flag 20011527/13751999
3281.28/3055.01	c cleaning 140999 clauses out of 282017 with flag 20295527/13893999
3321.95/3093.37	c cleaning 142000 clauses out of 284019 with flag 20581529/14037000
3358.76/3128.78	c cleaning 142995 clauses out of 286018 with flag 20869527/14180999
3402.67/3166.27	c cleaning 144000 clauses out of 288023 with flag 21159527/14325999
3440.78/3202.70	c cleaning 144996 clauses out of 290023 with flag 21451527/14471999
3479.02/3239.28	c cleaning 146000 clauses out of 292028 with flag 21745529/14619000
3516.58/3275.28	c cleaning 146998 clauses out of 294027 with flag 22041527/14766999
3559.46/3311.31	c cleaning 148002 clauses out of 296029 with flag 22339527/14915999
3600.02/3350.21	c starts		: 23
3600.02/3350.23	c conflicts		: 15063535
3600.02/3350.23	c decisions		: 15066071
3600.02/3350.23	c propagations		: 570263116
3600.02/3350.23	c inspects		: 10224116480
3600.02/3350.23	c shortcuts		: 0
3600.02/3350.23	c learnt literals	: 0
3600.02/3350.23	c learnt binary clauses	: 0
3600.02/3350.23	c learnt ternary clauses	: 0
3600.02/3350.23	c learnt constraints	: 15063535
3600.02/3350.23	c ignored constraints	: 0
3600.02/3350.23	c root simplifications	: 0
3600.02/3350.23	c removed literals (reason simplification)	: 1939157113
3600.02/3350.23	c reason swapping (by a shorter reason)	: 0
3600.02/3350.23	c Calls to reduceDB	: 260
3600.02/3350.23	c Number of update (reduction) of LBD	: 373
3600.02/3350.23	c Imported unit clauses	: 0
3600.02/3350.23	c No decision after first conflict	: false
3600.02/3350.23	c number of reductions to clauses (during analyze)	: 0
3600.02/3350.23	c number of learned constraints concerned by reduction	: 0
3600.02/3350.23	c number of learning phase by resolution	: 0
3600.02/3350.23	c number of learning phase by cutting planes	: 0
3600.02/3350.23	c number of rounding to 1 operations	: 0
3600.02/3350.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3350.23	c number of reductions of the coefficients by power 2 	: 0
3600.02/3350.23	c number of right shift for reduction by power 2 	: 0
3600.02/3350.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3350.23	c number of ending skipping 	: 0
3600.02/3350.23	c number of internal skipping 	: 0
3600.02/3350.23	c number of derivation steps 	: 0
3600.02/3350.23	c number of skipped derivation steps 	: 0
3600.02/3350.23	c number of remaining unassigned 	: 0
3600.02/3350.23	c number of remaining assigned 	: 0
3600.02/3350.23	c number of falsified literals weakened from reason	: 0
3600.02/3350.24	c number of falsified literals weakened from conflict	: 0
3600.02/3350.24	c time for arithmetic operations	: 0
3600.02/3350.24	c minimum degree of deleted constraints	: null
3600.02/3350.24	c maximum degree of deleted constraints	: null
3600.02/3350.24	c number of deleted constraints	: 0
3600.02/3350.25	c speed (assignments/second)	: 170227.28767973825
3600.02/3350.25	c non guided choices	: 1
3600.22/3350.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 295563
3600.22/3350.32	s SATISFIABLE
3600.22/3350.32	c Found 22 solution(s)
3600.22/3350.33	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 
3600.22/3350.33	c objective function=-6850
3600.22/3350.33	c Total wall clock time (in seconds): 3350.199

Verifier Data 

OK	-6850

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: 63708 MiB (60591 MiB free)
  memory of node 1: 64465 MiB (44319 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524442-1751613950/watcher-4524442-1751613950 -o /tmp/evaluation-result-4524442-1751613950/solver-4524442-1751613950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751609394-86973 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524442-1751613950.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87708, runsolver pid=87705
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.16 4.21 4.25 5/337 87726
/proc/meminfo: memFree=107398952/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=18930384 memory=57908 CPUtime=0.13 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 6590 0 0 0 11 2 0 0 20 0 18 0 77017552 19384713216 14477 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4732596 14477 5345 1 0 547623 0
[pid=87708/tid=87710] ppid=87705 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 5089 0 0 0 6 1 0 0 20 0 18 0 77017553 19384713216 14477 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77017555 19384713216 14477 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=18930384 memory=60684515937227 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77017556 19384713216 14477 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57908 KiB

[startup+0.205826 s]*
/proc/loadavg: 4.16 4.21 4.25 7/337 87726
/proc/meminfo: memFree=107394352/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=18930384 memory=63936 CPUtime=0.32 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 7020 0 0 0 30 2 0 0 20 0 18 0 77017552 19384713216 15984 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4732596 15984 5409 1 0 547898 0
[pid=87708/tid=87710] ppid=87705 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 5282 0 0 0 16 2 0 0 20 0 18 0 77017553 19384713216 15984 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=18930384 memory=16124 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77017555 19384713216 16498 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77017556 19384713216 16498 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63936 KiB

[startup+0.305773 s]*
/proc/loadavg: 4.16 4.21 4.25 6/338 87727
/proc/meminfo: memFree=107389248/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=18996948 memory=71804 CPUtime=0.52 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 7531 0 0 0 49 3 0 0 20 0 19 0 77017552 19452874752 17951 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4749237 17951 5473 1 0 548422 0
[pid=87708/tid=87710] ppid=87705 vsize=18996948 memory=-6000919485675169127 CPUtime=0.28 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 5406 0 0 0 26 2 0 0 20 0 19 0 77017553 19452874752 17951 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77017555 19452874752 17951 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77017556 19452874752 17951 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77017576 19452874752 17951 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71804 KiB

[startup+0.700256 s]
/proc/loadavg: 4.16 4.21 4.25 6/338 87727
/proc/meminfo: memFree=107367572/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=18996948 memory=106920 CPUtime=1.28 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 10160 0 0 0 124 4 0 0 20 0 19 0 77017552 19452874752 26730 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4749237 26730 5473 1 0 549960 0
[pid=87708/tid=87710] ppid=87705 vsize=18996948 memory=18816 CPUtime=0.66 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 5433 0 0 0 64 2 0 0 20 0 19 0 77017553 19452874752 26730 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77017555 19452874752 26730 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77017556 19452874752 26730 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77017576 19452874752 26730 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106920 KiB

[startup+1.50027 s]
/proc/loadavg: 4.16 4.21 4.25 5/338 87727
/proc/meminfo: memFree=107318112/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=232412 CPUtime=2.37 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 14306 0 0 0 230 7 0 0 20 0 20 0 77017552 19521036288 58103 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 58103 5505 1 0 550701 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=10752 CPUtime=1.38 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 5681 0 0 0 135 3 0 0 20 0 20 0 77017553 19521036288 58103 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 58103 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 58103 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 58103 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 232412 KiB

[startup+3.10565 s]
/proc/loadavg: 4.16 4.21 4.25 5/339 87728
/proc/meminfo: memFree=107076452/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=380668 CPUtime=4.27 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 16754 0 0 0 416 11 0 0 20 0 20 0 77017552 19521036288 95167 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 95167 5505 1 0 550734 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=10752 CPUtime=2.85 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 6779 0 0 0 282 3 0 0 20 0 20 0 77017553 19521036288 95167 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=-6000919485675169127 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 95167 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 95167 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 95167 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 380668 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.21 4.25 6/339 87728
/proc/meminfo: memFree=106563948/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=894444 CPUtime=7.74 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 18011 0 0 0 752 22 0 0 20 0 20 0 77017552 19521036288 223611 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 223611 5505 1 0 1029077 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=0 CPUtime=5.75 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 6996 0 0 0 568 7 0 0 20 0 20 0 77017553 19521036288 223611 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 223611 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 223611 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=232668 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 223611 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 894444 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.21 4.25 5/339 87728
/proc/meminfo: memFree=105896176/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=1769300 CPUtime=14.67 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 20474 0 0 0 1428 39 0 0 20 0 20 0 77017552 19521036288 442325 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 442325 5505 1 0 1438502 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=232668 CPUtime=11.61 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) S 87705 87708 86719 0 -1 4194368 7335 0 0 0 1150 11 0 0 20 0 20 0 77017553 19521036288 442325 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 442325 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=1509036 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 442325 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 442325 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 14.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1769300 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.20 4.25 5/339 87728
/proc/meminfo: memFree=104457228/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=2984868 CPUtime=28.4 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 27397 0 0 0 2776 64 0 0 20 0 20 0 77017552 19521036288 746217 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 746217 5537 1 0 1597396 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=10752 CPUtime=23.5 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 8792 0 0 0 2334 16 0 0 20 0 20 0 77017553 19521036288 746217 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=1509036 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 746217 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 746217 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 746217 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 28.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2984868 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.20 4.24 6/339 87729
/proc/meminfo: memFree=102555212/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=4887272 CPUtime=56.77 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 45820 0 0 0 5573 104 0 0 20 0 20 0 77017552 19521036288 1221818 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 1221818 5569 1 0 1824363 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=4878264 CPUtime=47.07 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 10911 0 0 0 4685 22 0 0 20 0 20 0 77017553 19521036288 1221818 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0

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

[startup+3042.3 s]
/proc/loadavg: 1.20 1.54 2.55 2/265 87989
/proc/meminfo: memFree=112318476/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=15517012 CPUtime=3267.61 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 804959 0 0 0 326248 513 0 0 20 0 20 0 77017552 19521036288 3879253 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 3879253 5569 1 0 4087548 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=15516884 CPUtime=2875.97 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) S 87705 87708 86719 0 -1 4194368 286487 0 0 0 287464 133 0 0 20 0 20 0 77017553 19521036288 3879253 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 3879253 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 2314 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 3879253 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=15516884 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 3879253 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 3267.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15517012 KiB

[startup+3102.3 s]
/proc/loadavg: 1.17 1.47 2.46 2/265 87991
/proc/meminfo: memFree=112308676/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=15524848 CPUtime=3331.52 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 816813 0 0 0 332635 517 0 0 20 0 20 0 77017552 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 3881212 5569 1 0 4087705 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=15517268 CPUtime=2931.57 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 290232 0 0 0 293023 134 0 0 20 0 20 0 77017553 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=-6000919485675169127 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 2314 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=23424 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15524848 KiB

[startup+3162.3 s]
/proc/loadavg: 1.17 1.41 2.38 2/264 87993
/proc/meminfo: memFree=112309064/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=15524848 CPUtime=3398.8 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 842965 0 0 0 339357 523 0 0 20 0 20 0 77017552 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 3881212 5569 1 0 4087705 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=15517268 CPUtime=2988.39 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 299616 0 0 0 298704 135 0 0 20 0 20 0 77017553 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=15524848 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 2351 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=15524848 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 3398.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15524848 KiB

[startup+3222.3 s]
/proc/loadavg: 1.13 1.35 2.30 2/264 87995
/proc/meminfo: memFree=112309160/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=15524848 CPUtime=3461.11 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 851312 0 0 0 345586 525 0 0 20 0 20 0 77017552 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 3881212 5569 1 0 4087705 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=15517268 CPUtime=3045.47 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 303521 0 0 0 304412 135 0 0 20 0 20 0 77017553 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=15524848 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=15524848 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 2365 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=15524848 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 3461.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15524848 KiB

[startup+3282.3 s]
/proc/loadavg: 1.18 1.32 2.22 3/265 88000
/proc/meminfo: memFree=112309040/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=15524848 CPUtime=3527.98 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 874947 0 0 0 352269 529 0 0 20 0 20 0 77017552 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 3881212 5569 1 0 4087706 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=14848 CPUtime=3102.22 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 312064 0 0 0 310086 136 0 0 20 0 20 0 77017553 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 2404 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 3527.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15524848 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.27 2.15 2/264 88005
/proc/meminfo: memFree=112309156/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=15524848 CPUtime=3592.14 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 885225 0 0 0 358683 531 0 0 20 0 20 0 77017552 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 3881212 5569 1 0 4087706 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=15524848 CPUtime=3158.58 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 316428 0 0 0 315722 136 0 0 20 0 20 0 77017553 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=15524848 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 2426 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=15524848 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 3592.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15524848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3350.2 s]
/proc/loadavg: 1.17 1.28 2.14 2/264 88006
/proc/meminfo: memFree=112309188/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19063512 memory=15524848 CPUtime=3600.02 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 885935 0 0 0 359470 532 0 0 20 0 20 0 77017552 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4765878 3881212 5569 1 0 4087706 0
[pid=87708/tid=87710] ppid=87705 vsize=19063512 memory=4207488163163406640 CPUtime=3166.46 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 317137 0 0 0 316510 136 0 0 20 0 20 0 77017553 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19063512 memory=648572459506991858 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77017555 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19063512 memory=3905808582356238368 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 2426 0 0 0 0 0 0 0 20 0 20 0 77017556 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87727] ppid=87705 vsize=19063512 memory=2432 CPUtime=0 cores=0,2
/proc/87708/task/87727/stat : 87727 (Timer-0) S 87705 87708 86719 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77017576 19521036288 3881212 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15524848 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.96 s, system=5.36748 s

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

[startup+3350.3 s]
/proc/loadavg: 1.17 1.28 2.14 2/264 88006
/proc/meminfo: memFree=112309188/131250000 swapFree=33010684/33010684
[pid=87708] ppid=87705 vsize=19263204 memory=15525616 CPUtime=3600.22 cores=0,2
/proc/87708/stat : 87708 (java) S 87705 87708 86719 0 -1 4194304 888148 0 0 0 359490 532 0 0 20 0 21 0 77017552 19725520896 3881404 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
/proc/87708/statm: 4815801 3881404 5569 1 0 4088641 0
[pid=87708/tid=87710] ppid=87705 vsize=19263204 memory=15524848 CPUtime=3166.56 cores=0,2
/proc/87708/task/87710/stat : 87710 (java) R 87705 87708 86719 0 -1 4194368 317333 0 0 0 316520 136 0 0 20 0 21 0 77017553 19725520896 3881404 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87719] ppid=87705 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/87708/task/87719/stat : 87719 (Finalizer) S 87705 87708 86719 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77017555 19725520896 3881404 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
[pid=87708/tid=87726] ppid=87705 vsize=19263204 memory=-6000919485675169127 CPUtime=0 cores=0,2
/proc/87708/task/87726/stat : 87726 (Common-Cleaner) S 87705 87708 86719 0 -1 4194368 2426 0 0 0 0 0 0 0 20 0 21 0 77017556 19725520896 3881404 18446744073709551615 94065273561088 94065273564784 140727212022752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94065273572600 94065273573392 94065306103808 140727212026241 140727212026342 140727212026342 140727212031944 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 15525616 KiB

Child status: 143

Real time (s): 3350.38
CPU time (s): 3600.33
CPU user time (s): 3594.96
CPU system time (s): 5.36748
CPU usage (%): 107.46
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 15525616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.96
system time used= 5.36748
maximum resident set size= 15525744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 888547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121032
involuntary context switches= 21722


# summary of solver processes directly reported to runsolver:
#   pid: 87708
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3594.96
#   total CPU system time (s): 5.36748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45421 second user time and 15.9575 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-04 09:25:50
IDJOB=4524442
IDBENCH=181017
IDSOLVER=3363
FILE ID=nodeC028/4524442-1751613950
RUNJOBID= nodeC028-1751609394-86973
SLURM_JOB_ID= 9598897
Free space on /tmp= 431476 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_5881.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524442-1751613950/watcher-4524442-1751613950 -o /tmp/evaluation-result-4524442-1751613950/solver-4524442-1751613950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751609394-86973 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524442-1751613950.opb

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

MD5SUM BENCH= 72a008fff12a99d8557ede6656b5f966
RANDOM SEED=382262015

nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.088
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.085
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.563
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.630
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.784
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.086
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.447
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        107428564 kB
MemAvailable:   109382016 kB
Buffers:            3280 kB
Cached:          2754252 kB
SwapCached:            0 kB
Active:         20742112 kB
Inactive:        2444996 kB
Active(anon):   20447644 kB
Inactive(anon):        0 kB
Active(file):     294468 kB
Inactive(file):  2444996 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1020 kB
Writeback:            44 kB
AnonPages:      20432164 kB
Mapped:           124344 kB
Shmem:             18068 kB
KReclaimable:     106452 kB
Slab:             196648 kB
SReclaimable:     106452 kB
SUnreclaim:        90196 kB
KernelStack:        5176 kB
PageTables:        43920 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   22865704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20111360 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431484 MiB
End job on nodeC028 at 2025-07-04 10:21:41