Trace number 4459807

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)-55 3600.57 3499.73

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb
MD5SUM5f642955075bb0dd80aabe9a80ec63b9
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark71244.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15754
Sum of products size (including duplicates)31508
Number of different products7877
Sum of products size15754

Quality of the solution as a function of time


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

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.15	c Free memory 		2113181440
0.12/0.15	c Max memory 		16282288128
0.12/0.15	c Total memory 		2122317824
0.12/0.15	c Number of processors 	2
0.12/0.20	--- Begin Solver configuration ---
0.12/0.20	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.20	Learn all clauses as in MiniSAT
0.12/0.20	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.20	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.20	No reason simplification
0.12/0.20	Glucose 2.1 dynamic restart strategy
0.12/0.20	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.12/0.20	timeout=2147483s
0.12/0.20	DB Simplification allowed=false
0.12/0.20	Listener: none
0.12/0.20	--- End Solver configuration ---
0.12/0.20	c Pseudo Boolean Optimization by upper bound
0.12/0.20	c --- Begin Solver configuration ---
0.12/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.20	c Learn all clauses as in MiniSAT
0.12/0.20	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.20	c No reason simplification
0.12/0.20	c Glucose 2.1 dynamic restart strategy
0.12/0.20	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.12/0.20	c timeout=2147483s
0.12/0.20	c DB Simplification allowed=false
0.12/0.20	c Listener: none
0.12/0.20	c --- End Solver configuration ---
0.12/0.20	c solving HOME/instance-4459807-1721939708.opb
0.12/0.20	c reading problem ... 
0.12/0.21	c  objective function found
1.04/0.61	c ... done. Wall clock time 0.41s.
1.04/0.61	c declared #vars     500
1.04/0.61	c internal #vars     8377
1.04/0.61	c #constraints  16754
1.04/0.61	c constraints type 
1.04/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7877
1.04/0.61	c org.sat4j.specs.Constr$1 => 530
1.04/0.61	c org.sat4j.pb.constraints.pb.UnitClausesPB => 453
1.04/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7877
1.04/0.61	c org.sat4j.pb.constraints.pb.UnitClausePB => 17
1.04/0.61	c 16754 constraints processed.
1.04/0.63	c objective function length is 500 literals
1.04/0.70	c SATISFIABLE
1.04/0.70	c OPTIMIZING...
1.04/0.70	c Got one! Elapsed wall clock time (in seconds):0.49
1.04/0.70	o -52
1.21/0.71	c Got one! Elapsed wall clock time (in seconds):0.511
1.21/0.71	o -53
1.21/0.72	c Got one! Elapsed wall clock time (in seconds):0.526
1.21/0.72	o -54
2.80/1.54	c cleaning 2500 clauses out of 5003 with flag 10269/5003
3.01/1.63	c Got one! Elapsed wall clock time (in seconds):1.433
3.01/1.63	o -55
3.39/1.96	c cleaning 3966 clauses out of 7944 with flag 8230/10444
4.07/2.58	c cleaning 4990 clauses out of 9979 with flag 20489/16445
5.00/3.46	c cleaning 5991 clauses out of 11988 with flag 34785/23444
6.03/4.33	c cleaning 6998 clauses out of 13998 with flag 51098/31445
6.96/5.19	c cleaning 7998 clauses out of 15999 with flag 69429/40444
8.19/6.13	c cleaning 8999 clauses out of 18001 with flag 89791/50444
9.10/7.01	c cleaning 10000 clauses out of 20002 with flag 112246/61444
10.67/8.47	c cleaning 10997 clauses out of 22002 with flag 136974/73444
13.06/10.54	c cleaning 11999 clauses out of 24006 with flag 168541/86445
16.63/14.01	c cleaning 13004 clauses out of 26007 with flag 204381/100445
19.54/16.64	c cleaning 13996 clauses out of 28002 with flag 239443/115444
22.38/19.14	c cleaning 15000 clauses out of 30007 with flag 275124/131445
25.32/21.97	c cleaning 15999 clauses out of 32006 with flag 312654/148444
29.51/25.91	c cleaning 16999 clauses out of 34008 with flag 353570/166445
33.33/29.55	c cleaning 17999 clauses out of 36008 with flag 396545/185444
36.13/32.36	c cleaning 18999 clauses out of 38009 with flag 441070/205444
41.13/37.25	c cleaning 20002 clauses out of 40010 with flag 491759/226444
45.67/41.58	c cleaning 21000 clauses out of 42008 with flag 543959/248444
49.51/45.13	c cleaning 22005 clauses out of 44009 with flag 596751/271445
52.85/48.25	c cleaning 23002 clauses out of 46003 with flag 645604/295444
56.31/51.46	c cleaning 24002 clauses out of 48003 with flag 696463/320446
59.66/54.50	c cleaning 24999 clauses out of 49999 with flag 749370/346444
63.17/58.07	c cleaning 25994 clauses out of 52001 with flag 804238/373445
66.65/61.32	c cleaning 26998 clauses out of 54007 with flag 861117/401445
70.51/64.97	c cleaning 28001 clauses out of 56008 with flag 920101/430444
75.75/68.88	c cleaning 29004 clauses out of 58008 with flag 981044/460445
79.24/72.24	c cleaning 30001 clauses out of 60003 with flag 1044151/491444
83.45/76.10	c cleaning 30994 clauses out of 62002 with flag 1109232/523444
88.47/80.89	c cleaning 32004 clauses out of 64008 with flag 1176427/556444
93.92/86.06	c cleaning 33000 clauses out of 66004 with flag 1245631/590444
100.08/91.90	c cleaning 34000 clauses out of 68004 with flag 1316673/625444
105.55/97.15	c cleaning 35004 clauses out of 70007 with flag 1389758/661447
110.81/102.20	c cleaning 35997 clauses out of 72001 with flag 1464928/698445
118.29/109.56	c cleaning 36996 clauses out of 74003 with flag 1542049/736444
124.32/115.33	c cleaning 37997 clauses out of 76008 with flag 1621264/775445
132.13/122.69	c cleaning 39003 clauses out of 78011 with flag 1702528/815445
140.43/130.62	c cleaning 40002 clauses out of 80007 with flag 1785611/856444
148.47/136.92	c cleaning 40994 clauses out of 82006 with flag 1870742/898445
154.09/142.44	c cleaning 42004 clauses out of 84012 with flag 1958116/941445
161.49/149.35	c cleaning 43005 clauses out of 86009 with flag 2047289/985446
168.76/156.33	c cleaning 44000 clauses out of 88003 with flag 2138708/1030445
177.96/165.06	c cleaning 45001 clauses out of 90003 with flag 2232057/1076445
186.76/173.58	c cleaning 46001 clauses out of 92003 with flag 2327512/1123446
194.35/180.95	c cleaning 46997 clauses out of 94000 with flag 2425114/1171444
202.82/188.83	c cleaning 48003 clauses out of 96005 with flag 2524576/1220446
212.76/196.91	c cleaning 49000 clauses out of 98000 with flag 2626052/1270444
223.81/207.42	c cleaning 49996 clauses out of 100000 with flag 2729682/1321444
235.19/218.53	c cleaning 51000 clauses out of 102005 with flag 2835527/1373445
246.37/229.28	c cleaning 52000 clauses out of 104005 with flag 2943440/1426445
257.51/239.84	c cleaning 53001 clauses out of 106004 with flag 3053130/1480444
268.10/250.16	c cleaning 53998 clauses out of 108003 with flag 3164873/1535444
278.63/260.15	c cleaning 54998 clauses out of 110008 with flag 3278700/1591447
291.85/272.92	c cleaning 56003 clauses out of 112008 with flag 3394700/1648445
307.06/287.50	c cleaning 57003 clauses out of 114006 with flag 3512738/1706446
319.25/299.46	c cleaning 58002 clauses out of 116004 with flag 3632762/1765447
333.49/313.14	c cleaning 58995 clauses out of 118000 with flag 3754765/1825445
348.23/327.49	c cleaning 59997 clauses out of 120005 with flag 3878671/1886445
363.14/339.66	c cleaning 61003 clauses out of 122007 with flag 4004488/1948444
376.20/352.49	c cleaning 62001 clauses out of 124005 with flag 4132748/2011445
389.98/365.68	c cleaning 62997 clauses out of 126003 with flag 4262852/2075444
404.78/379.81	c cleaning 64001 clauses out of 128007 with flag 4394997/2140445
421.98/396.76	c cleaning 65002 clauses out of 130006 with flag 4528989/2206445
438.55/412.67	c cleaning 65997 clauses out of 132004 with flag 4664687/2273445
453.19/426.74	c cleaning 67002 clauses out of 134007 with flag 4802550/2341445
470.54/443.54	c cleaning 67997 clauses out of 136004 with flag 4942344/2410444
491.14/463.89	c cleaning 68997 clauses out of 138007 with flag 5084309/2480444
507.16/479.48	c cleaning 70005 clauses out of 140012 with flag 5228500/2551446
524.36/496.16	c cleaning 71004 clauses out of 142008 with flag 5374255/2623447
544.66/515.94	c cleaning 72001 clauses out of 144001 with flag 5522101/2696444
568.02/538.65	c cleaning 72998 clauses out of 146000 with flag 5672102/2770444
599.53/567.12	c cleaning 73997 clauses out of 148002 with flag 5824063/2845444
623.93/591.25	c cleaning 75000 clauses out of 150005 with flag 5977883/2921444
646.59/613.24	c cleaning 76001 clauses out of 152005 with flag 6133588/2998444
674.32/640.60	c cleaning 77000 clauses out of 154006 with flag 6291313/3076446
696.41/661.93	c cleaning 78003 clauses out of 156006 with flag 6451317/3155446
718.47/683.27	c cleaning 78996 clauses out of 158001 with flag 6613391/3235444
747.30/711.67	c cleaning 80002 clauses out of 160005 with flag 6777517/3316444
778.30/741.95	c cleaning 81001 clauses out of 162005 with flag 6943665/3398446
806.09/768.99	c cleaning 81998 clauses out of 164003 with flag 7112522/3481445
837.88/800.30	c cleaning 83004 clauses out of 166008 with flag 7283425/3565448
866.36/828.07	c cleaning 84001 clauses out of 168001 with flag 7456219/3650445
891.56/852.59	c cleaning 84995 clauses out of 169999 with flag 7631137/3736444
918.37/879.07	c cleaning 86003 clauses out of 172005 with flag 7807785/3823445
944.18/904.35	c cleaning 86998 clauses out of 174002 with flag 7986629/3911445
973.82/931.09	c cleaning 87999 clauses out of 176003 with flag 8167215/4000444
1012.41/969.13	c cleaning 88999 clauses out of 178007 with flag 8349821/4090447
1045.80/1001.62	c cleaning 90001 clauses out of 180005 with flag 8534555/4181444
1077.89/1033.21	c cleaning 90998 clauses out of 182004 with flag 8721424/4273444
1115.86/1070.79	c cleaning 92000 clauses out of 184006 with flag 8910286/4366444
1146.46/1100.35	c cleaning 93001 clauses out of 186008 with flag 9101335/4460446
1178.49/1132.05	c cleaning 93999 clauses out of 188006 with flag 9294222/4555445
1207.89/1160.55	c cleaning 94998 clauses out of 190006 with flag 9489157/4651444
1236.05/1188.36	c cleaning 96003 clauses out of 192008 with flag 9686387/4748444
1262.83/1214.17	c cleaning 97002 clauses out of 194006 with flag 9885518/4846445
1293.40/1244.38	c cleaning 97997 clauses out of 196004 with flag 10086388/4945445
1321.45/1271.75	c cleaning 98999 clauses out of 198007 with flag 10289241/5045445
1350.33/1300.08	c cleaning 100003 clauses out of 200009 with flag 10494338/5146446
1379.03/1327.90	c cleaning 101002 clauses out of 202004 with flag 10701334/5248444
1409.31/1357.23	c cleaning 101994 clauses out of 204003 with flag 10910630/5351445
1444.50/1391.81	c cleaning 103001 clauses out of 206010 with flag 11121299/5455446
1475.13/1419.30	c cleaning 104003 clauses out of 208007 with flag 11334406/5560444
1509.32/1453.27	c cleaning 105000 clauses out of 210005 with flag 11549503/5666445
1542.34/1485.35	c cleaning 105997 clauses out of 212006 with flag 11766361/5773446
1579.28/1521.97	c cleaning 106999 clauses out of 214007 with flag 11985300/5881444
1614.62/1556.56	c cleaning 108006 clauses out of 216011 with flag 12206383/5990447
1649.62/1590.52	c cleaning 109001 clauses out of 218002 with flag 12429779/6100444
1688.73/1629.27	c cleaning 109993 clauses out of 220001 with flag 12655460/6211444
1729.40/1669.11	c cleaning 111002 clauses out of 222008 with flag 12883476/6323444
1764.82/1703.43	c cleaning 112000 clauses out of 224006 with flag 13113265/6436444
1798.40/1736.67	c cleaning 112997 clauses out of 226008 with flag 13344927/6550446
1836.33/1773.60	c cleaning 114004 clauses out of 228011 with flag 13578603/6665446
1888.02/1824.55	c cleaning 114999 clauses out of 230005 with flag 13814567/6781444
1930.24/1865.74	c cleaning 116001 clauses out of 232008 with flag 14051962/6898446
1974.35/1909.39	c cleaning 117003 clauses out of 234007 with flag 14291463/7016446
2024.75/1956.20	c cleaning 118001 clauses out of 236002 with flag 14533201/7135444
2061.00/1991.84	c cleaning 118993 clauses out of 238001 with flag 14776838/7255444
2092.85/2022.75	c cleaning 119997 clauses out of 240010 with flag 15022681/7376446
2143.08/2071.90	c cleaning 121004 clauses out of 242013 with flag 15270930/7498446
2188.86/2117.17	c cleaning 122001 clauses out of 244009 with flag 15521434/7621446
2225.67/2153.10	c cleaning 123002 clauses out of 246008 with flag 15773386/7745446
2261.04/2187.67	c cleaning 123996 clauses out of 248004 with flag 16027530/7870444
2308.78/2234.35	c cleaning 125001 clauses out of 250011 with flag 16283976/7996447
2371.57/2296.27	c cleaning 125997 clauses out of 252007 with flag 16541758/8123444
2424.00/2347.61	c cleaning 127004 clauses out of 254011 with flag 16801558/8251445
2475.36/2397.98	c cleaning 127998 clauses out of 256007 with flag 17063585/8380445
2530.22/2451.70	c cleaning 129001 clauses out of 258009 with flag 17327518/8510445
2600.88/2518.94	c cleaning 130004 clauses out of 260007 with flag 17593337/8641444
2664.64/2581.75	c cleaning 130996 clauses out of 262004 with flag 17860457/8773445
2743.44/2659.32	c cleaning 131999 clauses out of 264007 with flag 18130060/8906444
2811.57/2726.81	c cleaning 132999 clauses out of 266008 with flag 18401607/9040444
2882.82/2796.99	c cleaning 133998 clauses out of 268009 with flag 18675256/9175444
2943.02/2856.62	c cleaning 135003 clauses out of 270012 with flag 18951005/9311445
2994.91/2907.49	c cleaning 136000 clauses out of 272008 with flag 19228183/9448444
3059.89/2971.13	c cleaning 137000 clauses out of 274009 with flag 19508255/9586445
3132.05/3042.37	c cleaning 137999 clauses out of 276008 with flag 19789982/9725444
3185.60/3095.38	c cleaning 139001 clauses out of 278009 with flag 20073990/9865444
3240.48/3149.52	c cleaning 140005 clauses out of 280009 with flag 20360293/10006445
3306.47/3214.34	c cleaning 141001 clauses out of 282006 with flag 20647994/10148447
3362.50/3266.39	c cleaning 141998 clauses out of 284002 with flag 20937984/10291444
3414.79/3317.65	c cleaning 142995 clauses out of 286004 with flag 21230772/10435444
3467.36/3369.26	c cleaning 143997 clauses out of 288010 with flag 21525543/10580445
3524.75/3425.58	c cleaning 145002 clauses out of 290012 with flag 21822055/10726444
3587.43/3486.87	c cleaning 146000 clauses out of 292010 with flag 22120163/10873444
3600.02/3499.45	c starts		: 3910
3600.02/3499.45	c conflicts		: 10922803
3600.02/3499.45	c decisions		: 12935643
3600.02/3499.45	c propagations		: 58341287
3600.02/3499.46	c inspects		: 18241574392
3600.02/3499.46	c shortcuts		: 0
3600.02/3499.46	c learnt literals	: 0
3600.02/3499.46	c learnt binary clauses	: 0
3600.02/3499.46	c learnt ternary clauses	: 0
3600.02/3499.46	c learnt constraints	: 10922803
3600.02/3499.46	c ignored constraints	: 0
3600.02/3499.46	c root simplifications	: 0
3600.02/3499.46	c removed literals (reason simplification)	: 0
3600.02/3499.46	c reason swapping (by a shorter reason)	: 0
3600.02/3499.46	c Calls to reduceDB	: 144
3600.02/3499.46	c Number of update (reduction) of LBD	: 36700
3600.02/3499.46	c Imported unit clauses	: 0
3600.02/3499.46	c No decision after first conflict	: false
3600.02/3499.46	c number of reductions to clauses (during analyze)	: 0
3600.02/3499.46	c number of learned constraints concerned by reduction	: 0
3600.02/3499.46	c number of learning phase by resolution	: 0
3600.02/3499.46	c number of learning phase by cutting planes	: 0
3600.02/3499.46	c number of rounding to 1 operations	: 0
3600.02/3499.46	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3499.46	c number of reductions of the coefficients by power 2 	: 0
3600.02/3499.46	c number of right shift for reduction by power 2 	: 0
3600.02/3499.46	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3499.46	c number of ending skipping 	: 0
3600.02/3499.48	c number of internal skipping 	: 0
3600.02/3499.48	c number of derivation steps 	: 0
3600.02/3499.48	c number of skipped derivation steps 	: 0
3600.02/3499.48	c number of remaining unassigned 	: 0
3600.02/3499.48	c number of remaining assigned 	: 0
3600.02/3499.48	c number of falsified literals weakened from reason	: 0
3600.02/3499.48	c number of falsified literals weakened from conflict	: 0
3600.02/3499.48	c time for arithmetic operations	: 0
3600.02/3499.48	c minimum degree of deleted constraints	: null
3600.02/3499.48	c maximum degree of deleted constraints	: null
3600.02/3499.48	c number of deleted constraints	: 0
3600.02/3499.51	c speed (assignments/second)	: 16674.5274916422
3600.02/3499.51	c non guided choices	: 0
3600.42/3499.63	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 195369
3600.42/3499.63	s SATISFIABLE
3600.42/3499.63	c Found 4 solution(s)
3600.42/3499.64	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 x130 -x131 x132 -x133 x134 x135 x136 x137 -x138 -x139 -x140 x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 x258 x259 -x260 x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 
3600.42/3499.64	c objective function=-55
3600.42/3499.64	c Total wall clock time (in seconds): 3499.441

Verifier Data 

OK	-55

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (52334 MiB free)
  memory of node 1: 64510 MiB (49748 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=299403, runsolver pid=299400

[startup+0.103899 s]*
/proc/loadavg: 4.20 2.56 1.20 7/314 299421
/proc/meminfo: memFree=104497844/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=18993908 memory=56648 CPUtime=0.12 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 6591 0 0 0 9 3 0 0 20 0 18 0 29960173 19449761792 14162 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4748477 14162 5781 1 0 550878 0
[pid=299403/tid=299405] ppid=299400 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 5548 0 0 0 6 2 0 0 20 0 18 0 29960173 19449761792 14217 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29960179 19449761792 14217 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=18993908 memory=3618136736603318475 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29960180 19449761792 14217 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56648 KiB

[startup+0.221279 s]*
/proc/loadavg: 4.20 2.56 1.20 7/314 299421
/proc/meminfo: memFree=104486040/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=18993908 memory=69300 CPUtime=0.33 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 7465 0 0 0 29 4 0 0 20 0 18 0 29960173 19449761792 17325 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4748477 17325 5981 1 0 551614 0
[pid=299403/tid=299405] ppid=299400 vsize=18993908 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 6036 0 0 0 16 3 0 0 20 0 18 0 29960173 19449761792 17325 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=18993908 memory=1967857 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29960179 19449761792 17325 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29960180 19449761792 17325 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 69300 KiB

[startup+0.320272 s]*
/proc/loadavg: 4.20 2.56 1.20 7/314 299421
/proc/meminfo: memFree=104483264/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=18993908 memory=71744 CPUtime=0.5 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 7560 0 0 0 46 4 0 0 20 0 18 0 29960173 19449761792 17936 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4748477 17936 5991 1 0 551638 0
[pid=299403/tid=299405] ppid=299400 vsize=18993908 memory=-9177604192739238588 CPUtime=0.29 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 6074 0 0 0 26 3 0 0 20 0 18 0 29960173 19449761792 17936 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29960179 19449761792 17936 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29960180 19449761792 17936 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 71744 KiB

[startup+0.700382 s]
/proc/loadavg: 4.20 2.56 1.20 6/314 299421
/proc/meminfo: memFree=104465944/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19060472 memory=104380 CPUtime=1.21 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 10058 0 0 0 114 7 0 0 20 0 19 0 29960173 19517923328 26095 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4765118 26095 6123 1 0 553113 0
[pid=299403/tid=299405] ppid=299400 vsize=19060472 memory=5640 CPUtime=0.59 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 6201 0 0 0 55 4 0 0 20 0 19 0 29960173 19517923328 26095 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29960179 19517923328 26095 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19060472 memory=5041 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29960180 19517923328 26095 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 104380 KiB

[startup+1.50727 s]
/proc/loadavg: 4.20 2.56 1.20 7/315 299422
/proc/meminfo: memFree=104436740/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19060472 memory=152148 CPUtime=2.8 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 13931 0 0 0 272 8 0 0 20 0 19 0 29960173 19517923328 38037 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4765118 38037 6155 1 0 554183 0
[pid=299403/tid=299405] ppid=299400 vsize=19060472 memory=5041 CPUtime=1.38 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 6420 0 0 0 133 5 0 0 20 0 19 0 29960173 19517923328 38037 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29960179 19517923328 38037 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29960180 19517923328 38037 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29960239 19517923328 38037 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 152148 KiB

[startup+3.10566 s]
/proc/loadavg: 4.20 2.56 1.20 6/314 299423
/proc/meminfo: memFree=104266860/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=288360 CPUtime=4.7 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 17122 0 0 0 459 11 0 0 20 0 20 0 29960173 19586084864 72090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 72090 6187 1 0 554530 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=12240 CPUtime=2.68 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 7528 0 0 0 263 5 0 0 20 0 20 0 29960173 19586084864 72090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 72090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 72090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 72090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 288360 KiB

[startup+6.30046 s]
/proc/loadavg: 4.18 2.58 1.22 7/314 299425
/proc/meminfo: memFree=103967044/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=576360 CPUtime=8.39 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 19216 0 0 0 821 18 0 0 20 0 20 0 29960173 19586084864 144090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 144090 6203 1 0 1083107 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=0 CPUtime=5.55 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 7664 0 0 0 548 7 0 0 20 0 20 0 29960173 19586084864 144090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 144090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=434680 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 144090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=1967773 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 144090 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 576360 KiB

[startup+12.7005 s]
/proc/loadavg: 4.25 2.62 1.24 5/314 299425
/proc/meminfo: memFree=102831392/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=1016340 CPUtime=15.44 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 20639 0 0 0 1517 27 0 0 20 0 20 0 29960173 19586084864 254085 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 254085 6203 1 0 1083352 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=1016340 CPUtime=11.53 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 8010 0 0 0 1144 9 0 0 20 0 20 0 29960173 19586084864 254085 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=1016256 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 254085 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=1016256 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 254085 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 254085 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 15.44 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1016340 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 2.69 1.28 5/314 299428
/proc/meminfo: memFree=101563548/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=1738204 CPUtime=29.1 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 25323 0 0 0 2865 45 0 0 20 0 20 0 29960173 19586084864 434551 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 434551 6203 1 0 1373708 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=1016256 CPUtime=23.65 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 8908 0 0 0 2351 14 0 0 20 0 20 0 29960173 19586084864 434551 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=1484164 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 434551 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 434551 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 434551 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1738204 KiB

[startup+51.1131 s]
/proc/loadavg: 4.19 2.81 1.36 6/314 299431
/proc/meminfo: memFree=99556200/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=2727672 CPUtime=56.02 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 30305 0 0 0 5535 67 0 0 20 0 20 0 29960173 19586084864 681918 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 681918 6203 1 0 1373709 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=2227908 CPUtime=47.77 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 10403 0 0 0 4763 14 0 0 20 0 20 0 29960173 19586084864 681918 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 681918 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 681918 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0

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

/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 144079 0 0 0 306939 102 0 0 20 0 20 0 29960173 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=14340332 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=164 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=14340332 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 3253.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 14342380 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.27 4.25 5/318 301273
/proc/meminfo: memFree=105797568/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=14342380 CPUtime=3314.45 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 380475 0 0 0 330905 540 0 0 20 0 20 0 29960173 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 3585595 6203 1 0 4088961 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=12264 CPUtime=3129.4 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 145407 0 0 0 312838 102 0 0 20 0 20 0 29960173 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=14340332 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=164 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 3585595 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 3314.45 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 14342380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.25 4.24 5/318 301283
/proc/meminfo: memFree=105400272/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=14346528 CPUtime=3378.94 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 414769 0 0 0 337346 548 0 0 20 0 20 0 29960173 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 3586632 6234 1 0 4089444 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=164 CPUtime=3187.94 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 158425 0 0 0 318691 103 0 0 20 0 20 0 29960173 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=14342380 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=14342380 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 1871 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 3378.94 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 14346528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.25 4.24 5/319 301418
/proc/meminfo: memFree=112953712/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=14346528 CPUtime=3439.75 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 417191 0 0 0 343424 551 0 0 20 0 20 0 29960173 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 3586632 6234 1 0 4089444 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=164 CPUtime=3246.58 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 159669 0 0 0 324555 103 0 0 20 0 20 0 29960173 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=14346528 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 1879 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=14346528 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 3439.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 14346528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.20 4.22 5/319 301430
/proc/meminfo: memFree=112952764/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=14346528 CPUtime=3500.8 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 423406 0 0 0 349525 555 0 0 20 0 20 0 29960173 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 3586632 6234 1 0 4089444 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=164 CPUtime=3305.24 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 161815 0 0 0 330421 103 0 0 20 0 20 0 29960173 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=14346528 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=14346528 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 1879 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=14346528 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 3586632 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 3500.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 14346528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.19 4.22 5/319 301441
/proc/meminfo: memFree=112894640/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=14346532 CPUtime=3562.2 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 426442 0 0 0 355661 559 0 0 20 0 20 0 29960173 19586084864 3586633 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 3586633 6234 1 0 4089444 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=164 CPUtime=3363.57 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 163322 0 0 0 336254 103 0 0 20 0 20 0 29960173 19586084864 3586633 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=14346528 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 3586633 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=14346532 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 1948 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 3586633 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=14346532 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 3586633 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 3562.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 14346532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3499.4 s]
/proc/loadavg: 4.20 4.20 4.22 5/317 301448
/proc/meminfo: memFree=112840880/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19127036 memory=14346540 CPUtime=3600.02 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 431926 0 0 0 359441 561 0 0 20 0 20 0 29960173 19586084864 3586635 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4781759 3586635 6234 1 0 4089444 0
[pid=299403/tid=299405] ppid=299400 vsize=19127036 memory=18484 CPUtime=3399.72 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 164988 0 0 0 339868 104 0 0 20 0 20 0 29960173 19586084864 3586635 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19127036 memory=-9177604192739238588 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29960179 19586084864 3586635 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19127036 memory=72956 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 2029 0 0 0 0 0 0 0 20 0 20 0 29960180 19586084864 3586635 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299422] ppid=299400 vsize=19127036 memory=14346540 CPUtime=0 cores=5,7
/proc/299403/task/299422/stat : 299422 (Timer-0) S 299400 299403 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29960239 19586084864 3586635 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 14346540 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.88 s, system=5.68931 s

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

[startup+3499.61 s]
/proc/loadavg: 4.20 4.20 4.22 5/317 301448
/proc/meminfo: memFree=112840880/131655788 swapFree=131060868/131071996
[pid=299403] ppid=299400 vsize=19326728 memory=14347168 CPUtime=3600.42 cores=5,7
/proc/299403/stat : 299403 (java) S 299400 299403 298698 0 -1 1077936128 434759 0 0 0 359481 561 0 0 20 0 21 0 29960173 19790569472 3586792 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
/proc/299403/statm: 4831682 3586792 6233 1 0 4090349 0
[pid=299403/tid=299405] ppid=299400 vsize=19326728 memory=26572 CPUtime=3399.89 cores=5,7
/proc/299403/task/299405/stat : 299405 (java) R 299400 299403 298698 0 -1 4194368 165129 0 0 0 339885 104 0 0 20 0 21 0 29960173 19790569472 3586792 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299414] ppid=299400 vsize=19326728 memory=-9177604192739238588 CPUtime=0 cores=5,7
/proc/299403/task/299414/stat : 299414 (Finalizer) S 299400 299403 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29960179 19790569472 3586792 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
[pid=299403/tid=299421] ppid=299400 vsize=19326728 memory=25788 CPUtime=0 cores=5,7
/proc/299403/task/299421/stat : 299421 (Common-Cleaner) S 299400 299403 298698 0 -1 1077936192 2029 0 0 0 0 0 0 0 20 0 21 0 29960180 19790569472 3586792 134679101440 94317599719424 94317599723120 140720962469760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94317599730936 94317599731728 94317600788480 140720962475018 140720962475108 140720962475108 140720962482120 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 14347168 KiB

[startup+3499.7 s]*
/proc/loadavg: 4.20 4.20 4.22 5/299 301451
/proc/meminfo: memFree=126811280/131655788 swapFree=131060868/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3499.73
CPU time (s): 3600.57
CPU user time (s): 3594.88
CPU system time (s): 5.68931
CPU usage (%): 102.881
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 14347168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.88
system time used= 5.68931
maximum resident set size= 14348316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112597
involuntary context switches= 9111


# summary of solver processes directly reported to runsolver:
#   pid: 299403
#   total CPU time (s): 3600.57
#   total CPU user time (s): 3594.88
#   total CPU system time (s): 5.68931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6575 second user time and 35.1233 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 22:35:08
IDJOB=4459807
IDBENCH=148578
IDSOLVER=3058
FILE ID=nodeC005/4459807-1721939708
RUNJOBID= nodeC005-1721939462-298711
SLURM_JOB_ID= 8247259
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459807-1721939708/watcher-4459807-1721939708 -o /tmp/evaluation-result-4459807-1721939708/solver-4459807-1721939708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298711 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459807-1721939708.opb

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

MD5SUM BENCH= 5f642955075bb0dd80aabe9a80ec63b9
RANDOM SEED=533500584

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        104533164 kB
MemAvailable:   106499252 kB
Buffers:          324872 kB
Cached:          2457864 kB
SwapCached:          320 kB
Active:          1729744 kB
Inactive:       24775344 kB
Active(anon):       1636 kB
Inactive(anon): 23773380 kB
Active(file):    1728108 kB
Inactive(file):  1001964 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060868 kB
Dirty:               748 kB
Writeback:             0 kB
AnonPages:      23721924 kB
Mapped:           119780 kB
Shmem:             52956 kB
KReclaimable:     152092 kB
Slab:             260064 kB
SReclaimable:     152092 kB
SUnreclaim:       107972 kB
KernelStack:        4748 kB
PageTables:        56108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   29811132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12064 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23056384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-25 23:33:28