Trace number 4432504

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)95 3600.47 3604.92

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_000.opb.metafix.opb
MD5SUM09140eba823e533d50b11d8bcfc34a90
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark95
Best CPU time to get the best result obtained on this benchmark0.012884
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables196
Total number of constraints82
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Number of terms in the objective function 196
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 196
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.18	c version CUSTOM.v20240707
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.21	c os.arch		amd64
0.12/0.22	c Free memory 		2115194816
0.12/0.22	c Max memory 		16282288128
0.12/0.22	c Total memory 		2122317824
0.12/0.22	c Number of processors 	2
0.29/0.30	--- Begin Solver configuration ---
0.29/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.30	Learn all clauses as in MiniSAT
0.29/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.30	No reason simplification
0.29/0.30	Glucose 2.1 dynamic restart strategy
0.29/0.30	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.29/0.30	timeout=2147483s
0.29/0.30	DB Simplification allowed=false
0.29/0.30	Listener: none
0.29/0.30	--- End Solver configuration ---
0.29/0.31	c Pseudo Boolean Optimization by upper bound
0.29/0.31	c --- Begin Solver configuration ---
0.29/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.31	c Learn all clauses as in MiniSAT
0.29/0.31	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.31	c No reason simplification
0.29/0.31	c Glucose 2.1 dynamic restart strategy
0.29/0.31	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.29/0.31	c timeout=2147483s
0.29/0.31	c DB Simplification allowed=false
0.29/0.31	c Listener: none
0.29/0.31	c --- End Solver configuration ---
0.29/0.31	c solving HOME/instance-4432504-1721169285.opb
0.29/0.31	c reading problem ... 
0.29/0.32	c  objective function found
0.47/0.38	c ... done. Wall clock time 0.068s.
0.47/0.38	c declared #vars     196
0.47/0.38	c #constraints  164
0.47/0.38	c constraints type 
0.47/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.47/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 141
0.47/0.38	c org.sat4j.specs.Constr$1 => 7
0.47/0.38	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
0.47/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7
0.47/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.47/0.38	c 164 constraints processed.
0.47/0.41	c objective function length is 196 literals
0.64/0.44	c SATISFIABLE
0.64/0.44	c OPTIMIZING...
0.64/0.45	c Got one! Elapsed wall clock time (in seconds):0.129
0.64/0.45	o 95
1.76/1.05	c cleaning 2512 clauses out of 5024 with flag 22291/5024
2.30/1.39	c cleaning 4253 clauses out of 8513 with flag 49992/11025
2.74/1.68	c cleaning 5623 clauses out of 11259 with flag 81058/18024
3.22/2.04	c cleaning 6806 clauses out of 13636 with flag 120650/26024
3.82/2.42	c cleaning 7908 clauses out of 15830 with flag 166088/35024
4.34/2.90	c cleaning 8950 clauses out of 17924 with flag 230432/45026
5.13/3.34	c cleaning 9979 clauses out of 19973 with flag 283285/56025
5.78/3.94	c cleaning 10991 clauses out of 21994 with flag 345879/68025
6.39/4.57	c cleaning 12002 clauses out of 24003 with flag 415106/81025
7.79/5.32	c cleaning 12995 clauses out of 26003 with flag 473042/95027
8.72/6.01	c cleaning 13993 clauses out of 28007 with flag 544268/110026
9.31/6.65	c cleaning 15001 clauses out of 30012 with flag 610010/126024
10.07/7.40	c cleaning 16000 clauses out of 32011 with flag 680275/143024
11.13/8.32	c cleaning 17001 clauses out of 34011 with flag 771159/161024
12.14/9.37	c cleaning 17995 clauses out of 36012 with flag 876281/180026
13.33/10.50	c cleaning 19001 clauses out of 38015 with flag 1000755/200024
14.44/11.61	c cleaning 20002 clauses out of 40017 with flag 1110577/221027
15.65/12.82	c cleaning 20998 clauses out of 42014 with flag 1202930/243026
16.86/14.09	c cleaning 21990 clauses out of 44015 with flag 1303033/266025
18.24/15.46	c cleaning 23006 clauses out of 46024 with flag 1418467/290024
19.74/16.92	c cleaning 24006 clauses out of 48020 with flag 1531183/315026
21.23/18.46	c cleaning 25002 clauses out of 50012 with flag 1647799/341024
22.84/20.03	c cleaning 26003 clauses out of 52012 with flag 1770910/368026
24.52/21.76	c cleaning 26999 clauses out of 54007 with flag 1894995/396024
26.51/23.71	c cleaning 27997 clauses out of 56010 with flag 2028707/425026
28.82/26.07	c cleaning 29001 clauses out of 58012 with flag 2183171/455025
31.21/28.46	c cleaning 30001 clauses out of 60011 with flag 2351092/486025
33.50/30.71	c cleaning 30987 clauses out of 62009 with flag 2496102/518024
35.99/33.25	c cleaning 31995 clauses out of 64022 with flag 2653410/551024
38.69/35.98	c cleaning 33000 clauses out of 66028 with flag 2813317/585025
41.58/38.86	c cleaning 34009 clauses out of 68027 with flag 2989636/620024
44.57/41.81	c cleaning 35007 clauses out of 70018 with flag 3159673/656024
47.56/44.89	c cleaning 36000 clauses out of 72013 with flag 3320440/693026
50.96/48.23	c cleaning 36994 clauses out of 74015 with flag 3507508/731028
54.76/52.09	c cleaning 38007 clauses out of 76021 with flag 3697819/770028
58.43/55.78	c cleaning 38997 clauses out of 78012 with flag 3887507/810026
62.23/59.57	c cleaning 39991 clauses out of 80014 with flag 4075478/851025
66.64/64.00	c cleaning 41006 clauses out of 82022 with flag 4276071/893024
71.46/68.77	c cleaning 41999 clauses out of 84016 with flag 4517052/936024
75.95/73.23	c cleaning 43004 clauses out of 86017 with flag 4741026/980024
80.85/78.15	c cleaning 44001 clauses out of 88013 with flag 4987208/1025024
85.84/83.13	c cleaning 44994 clauses out of 90013 with flag 5208067/1071025
90.89/88.12	c cleaning 45999 clauses out of 92020 with flag 5422213/1118026
96.17/93.47	c cleaning 47002 clauses out of 94024 with flag 5636816/1166029
101.87/99.15	c cleaning 48004 clauses out of 96017 with flag 5879320/1215024
107.75/105.07	c cleaning 49003 clauses out of 98016 with flag 6127592/1265027
113.92/111.26	c cleaning 49998 clauses out of 100012 with flag 6387020/1316026
120.51/117.89	c cleaning 51003 clauses out of 102013 with flag 6620678/1368025
126.99/124.38	c cleaning 51998 clauses out of 104011 with flag 6878337/1421026
134.87/132.23	c cleaning 52994 clauses out of 106011 with flag 7161187/1475024
142.06/139.46	c cleaning 54003 clauses out of 108018 with flag 7414179/1530025
149.45/146.82	c cleaning 54994 clauses out of 110015 with flag 7657845/1586025
157.43/154.80	c cleaning 56005 clauses out of 112020 with flag 7909331/1643024
165.31/162.72	c cleaning 57003 clauses out of 114016 with flag 8189899/1701025
173.71/171.17	c cleaning 57982 clauses out of 116014 with flag 8532294/1760026
182.37/179.85	c cleaning 59006 clauses out of 118030 with flag 8814529/1820024
191.15/188.61	c cleaning 60007 clauses out of 120025 with flag 9151165/1881025
201.54/199.05	c cleaning 61001 clauses out of 122017 with flag 9591651/1943024
212.70/210.26	c cleaning 62000 clauses out of 124016 with flag 9960350/2006024
222.72/220.26	c cleaning 63005 clauses out of 126016 with flag 10261566/2070024
232.70/230.20	c cleaning 64001 clauses out of 128011 with flag 10550597/2135024
243.17/240.75	c cleaning 65001 clauses out of 130013 with flag 10855569/2201027
254.49/252.04	c cleaning 65994 clauses out of 132012 with flag 11203100/2268027
265.36/263.00	c cleaning 66997 clauses out of 134015 with flag 11549541/2336024
277.22/274.86	c cleaning 67997 clauses out of 136019 with flag 11893056/2405025
288.94/286.57	c cleaning 68999 clauses out of 138022 with flag 12215910/2475025
301.11/298.76	c cleaning 70007 clauses out of 140023 with flag 12544338/2546025
314.49/312.19	c cleaning 71001 clauses out of 142021 with flag 12922477/2618030
328.25/326.01	c cleaning 72004 clauses out of 144014 with flag 13297723/2691024
342.91/340.64	c cleaning 73001 clauses out of 146012 with flag 13718066/2765026
357.17/354.99	c cleaning 73994 clauses out of 148011 with flag 14075966/2840026
371.75/369.54	c cleaning 75001 clauses out of 150015 with flag 14439896/2916024
387.23/385.05	c cleaning 75994 clauses out of 152014 with flag 14851430/2993024
403.19/401.08	c cleaning 77005 clauses out of 154021 with flag 15239709/3071025
419.64/417.57	c cleaning 77998 clauses out of 156015 with flag 15690319/3150024
435.80/433.78	c cleaning 78998 clauses out of 158020 with flag 16091855/3230027
452.24/450.20	c cleaning 80008 clauses out of 160020 with flag 16516823/3311025
469.51/467.56	c cleaning 81003 clauses out of 162011 with flag 16996439/3393024
487.56/485.63	c cleaning 81993 clauses out of 164009 with flag 17409638/3476025
507.42/505.55	c cleaning 82996 clauses out of 166017 with flag 17862923/3560026
526.38/524.59	c cleaning 84001 clauses out of 168019 with flag 18308564/3645024
547.12/545.35	c cleaning 85000 clauses out of 170019 with flag 18800347/3731025
566.17/564.40	c cleaning 85997 clauses out of 172019 with flag 19254167/3818025
586.73/585.10	c cleaning 87001 clauses out of 174021 with flag 19715609/3906024
607.27/605.68	c cleaning 87999 clauses out of 176022 with flag 20148336/3995026
628.34/626.75	c cleaning 89003 clauses out of 178021 with flag 20607509/4085024
649.48/647.98	c cleaning 89999 clauses out of 180018 with flag 21058006/4176024
672.33/670.86	c cleaning 91002 clauses out of 182019 with flag 21540219/4268024
696.20/694.72	c cleaning 92008 clauses out of 184019 with flag 22008152/4361026
718.56/717.12	c cleaning 93000 clauses out of 186009 with flag 22513120/4455024
743.78/742.45	c cleaning 93991 clauses out of 188009 with flag 23030059/4550024
767.02/765.77	c cleaning 94996 clauses out of 190018 with flag 23552813/4646024
794.41/793.14	c cleaning 96003 clauses out of 192022 with flag 24200475/4743024
819.62/818.48	c cleaning 96989 clauses out of 194020 with flag 24697633/4841025
846.76/845.63	c cleaning 98010 clauses out of 196030 with flag 25200798/4940024
874.25/873.17	c cleaning 99005 clauses out of 198020 with flag 25744124/5040024
902.36/901.38	c cleaning 99991 clauses out of 200016 with flag 26284969/5141025
929.90/928.91	c cleaning 101002 clauses out of 202025 with flag 26823951/5243025
959.82/958.95	c cleaning 102006 clauses out of 204022 with flag 27332863/5346024
989.03/988.15	c cleaning 102999 clauses out of 206018 with flag 27875263/5450026
1020.33/1019.53	c cleaning 103996 clauses out of 208017 with flag 28442089/5555024
1051.05/1050.34	c cleaning 105001 clauses out of 210023 with flag 29000265/5661026
1083.98/1083.39	c cleaning 106001 clauses out of 212020 with flag 29683753/5768024
1116.53/1115.93	c cleaning 107001 clauses out of 214019 with flag 30254852/5876024
1149.24/1148.70	c cleaning 108005 clauses out of 216019 with flag 30808958/5985025
1182.56/1182.14	c cleaning 109007 clauses out of 218013 with flag 31384671/6095024
1215.27/1214.97	c cleaning 109974 clauses out of 220007 with flag 31964864/6206025
1247.48/1247.21	c cleaning 111001 clauses out of 222032 with flag 32578484/6318024
1282.19/1282.06	c cleaning 112015 clauses out of 224035 with flag 33129353/6431028
1317.11/1317.05	c cleaning 112997 clauses out of 226016 with flag 33778558/6545024
1354.30/1354.32	c cleaning 114003 clauses out of 228019 with flag 34398542/6660024
1393.11/1393.22	c cleaning 115001 clauses out of 230016 with flag 35028810/6776024
1430.60/1430.85	c cleaning 115997 clauses out of 232015 with flag 35611839/6893024
1469.00/1469.34	c cleaning 116995 clauses out of 234018 with flag 36227440/7011024
1507.10/1507.57	c cleaning 117996 clauses out of 236023 with flag 36909618/7130024
1548.92/1549.41	c cleaning 119014 clauses out of 238029 with flag 37531120/7250026
1589.22/1589.81	c cleaning 120004 clauses out of 240017 with flag 38162668/7371028
1629.63/1630.38	c cleaning 121005 clauses out of 242015 with flag 38777434/7493030
1675.33/1676.15	c cleaning 121990 clauses out of 244004 with flag 39507836/7616024
1721.26/1721.59	c cleaning 123002 clauses out of 246016 with flag 40156171/7740026
1759.36/1759.79	c cleaning 123998 clauses out of 248012 with flag 40812886/7865024
1806.65/1807.12	c cleaning 124997 clauses out of 250016 with flag 41525642/7991026
1850.33/1850.92	c cleaning 126004 clauses out of 252017 with flag 42201883/8118024
1898.81/1899.58	c cleaning 127001 clauses out of 254013 with flag 42904563/8246024
1947.22/1948.11	c cleaning 128000 clauses out of 256012 with flag 43642096/8375024
1995.09/1996.09	c cleaning 129005 clauses out of 258012 with flag 44415683/8505024
2043.66/2044.73	c cleaning 129999 clauses out of 260007 with flag 45108285/8636024
2092.54/2093.79	c cleaning 130985 clauses out of 262008 with flag 45796763/8768024
2143.64/2144.97	c cleaning 132008 clauses out of 264026 with flag 46520603/8901027
2196.72/2198.17	c cleaning 133005 clauses out of 266017 with flag 47299032/9035026
2249.06/2250.69	c cleaning 133997 clauses out of 268010 with flag 48054515/9170024
2300.73/2302.35	c cleaning 135001 clauses out of 270013 with flag 48734188/9306024
2355.79/2357.52	c cleaning 136004 clauses out of 272013 with flag 49553133/9443025
2407.29/2409.15	c cleaning 137003 clauses out of 274010 with flag 50297789/9581026
2460.25/2462.21	c cleaning 138000 clauses out of 276005 with flag 51037028/9720024
2514.77/2516.88	c cleaning 138999 clauses out of 278005 with flag 51790000/9860024
2571.84/2574.05	c cleaning 139997 clauses out of 280006 with flag 52624784/10001024
2625.95/2628.20	c cleaning 140997 clauses out of 282010 with flag 53445142/10143025
2685.08/2687.53	c cleaning 141981 clauses out of 284014 with flag 54351002/10286026
2748.01/2750.66	c cleaning 143013 clauses out of 286032 with flag 55199043/10430025
2807.87/2810.69	c cleaning 144007 clauses out of 288021 with flag 55990275/10575027
2867.71/2870.66	c cleaning 145001 clauses out of 290011 with flag 56896709/10721024
2930.30/2933.30	c cleaning 145996 clauses out of 292010 with flag 57756575/10868024
2987.46/2990.68	c cleaning 147007 clauses out of 294016 with flag 58564722/11016026
3047.11/3050.47	c cleaning 147999 clauses out of 296007 with flag 59456200/11165024
3108.61/3112.05	c cleaning 148983 clauses out of 298011 with flag 60414083/11315027
3174.14/3177.79	c cleaning 150010 clauses out of 300025 with flag 61263409/11466024
3240.47/3244.25	c cleaning 151003 clauses out of 302018 with flag 62086843/11618027
3305.24/3309.17	c cleaning 151998 clauses out of 304012 with flag 63022635/11771024
3372.14/3376.26	c cleaning 152983 clauses out of 306014 with flag 63943437/11925024
3447.73/3452.04	c cleaning 154009 clauses out of 308034 with flag 64962228/12080027
3518.98/3523.42	c cleaning 155003 clauses out of 310023 with flag 65923392/12236025
3591.07/3595.77	c cleaning 156002 clauses out of 312019 with flag 66813933/12393024
3600.05/3604.72	c starts		: 21263
3600.05/3604.74	c conflicts		: 12420125
3600.05/3604.74	c decisions		: 16076034
3600.05/3604.74	c propagations		: 485428836
3600.05/3604.74	c inspects		: 47034259427
3600.05/3604.74	c shortcuts		: 0
3600.05/3604.74	c learnt literals	: 0
3600.05/3604.74	c learnt binary clauses	: 0
3600.05/3604.74	c learnt ternary clauses	: 0
3600.05/3604.74	c learnt constraints	: 12420125
3600.05/3604.74	c ignored constraints	: 0
3600.05/3604.74	c root simplifications	: 0
3600.05/3604.74	c removed literals (reason simplification)	: 0
3600.05/3604.74	c reason swapping (by a shorter reason)	: 0
3600.05/3604.74	c Calls to reduceDB	: 153
3600.05/3604.74	c Number of update (reduction) of LBD	: 4535619
3600.05/3604.74	c Imported unit clauses	: 0
3600.05/3604.74	c No decision after first conflict	: false
3600.05/3604.74	c number of reductions to clauses (during analyze)	: 0
3600.05/3604.74	c number of learned constraints concerned by reduction	: 0
3600.05/3604.74	c number of learning phase by resolution	: 0
3600.05/3604.74	c number of learning phase by cutting planes	: 0
3600.05/3604.74	c number of rounding to 1 operations	: 0
3600.05/3604.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3604.74	c number of reductions of the coefficients by power 2 	: 0
3600.05/3604.74	c number of right shift for reduction by power 2 	: 0
3600.05/3604.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3604.74	c number of ending skipping 	: 0
3600.05/3604.74	c number of internal skipping 	: 0
3600.05/3604.74	c number of derivation steps 	: 0
3600.05/3604.74	c number of skipped derivation steps 	: 0
3600.05/3604.75	c number of remaining unassigned 	: 0
3600.05/3604.75	c number of remaining assigned 	: 0
3600.05/3604.75	c number of falsified literals weakened from reason	: 0
3600.05/3604.75	c number of falsified literals weakened from conflict	: 0
3600.05/3604.75	c time for arithmetic operations	: 0
3600.05/3604.75	c minimum degree of deleted constraints	: null
3600.05/3604.75	c maximum degree of deleted constraints	: null
3600.05/3604.75	c number of deleted constraints	: 0
3600.05/3604.75	c speed (assignments/second)	: 134678.98034036745
3600.05/3604.76	c non guided choices	: 0
3600.25/3604.90	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 183118
3600.25/3604.90	s SATISFIABLE
3600.25/3604.90	c Found 1 solution(s)
3600.25/3604.90	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 
3600.25/3604.90	c objective function=95
3600.25/3604.90	c Total wall clock time (in seconds): 3604.59

Verifier Data 

OK	95

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.102415 s]*
/proc/loadavg: 4.26 4.17 4.19 6/316 873372
/proc/meminfo: memFree=125181544/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=18975048 memory=55784 CPUtime=0.12 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 6934 0 0 0 9 3 0 0 20 0 18 0 169087725 19430449152 13946 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4743762 13946 5658 1 0 550801 0
[pid=873354/tid=873356] ppid=873351 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) S 873351 873354 870201 0 -1 1077936192 5833 0 0 0 5 2 0 0 20 0 18 0 169087725 19430449152 13946 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169087731 19430449152 13946 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=18975048 memory=15823283178361512 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169087732 19430449152 13946 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55784 KiB

[startup+0.213433 s]*
/proc/loadavg: 4.26 4.17 4.19 10/316 873372
/proc/meminfo: memFree=125172292/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=18975048 memory=62920 CPUtime=0.29 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 7617 0 0 0 26 3 0 0 20 0 18 0 169087725 19430449152 15730 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4743762 15730 5698 1 0 551352 0
[pid=873354/tid=873356] ppid=873351 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 6188 0 0 0 17 2 0 0 20 0 18 0 169087725 19430449152 15730 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=18975048 memory=1645 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169087731 19430449152 15730 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169087732 19430449152 15730 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62920 KiB

[startup+0.322946 s]*
/proc/loadavg: 4.26 4.17 4.19 8/316 873372
/proc/meminfo: memFree=125162896/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=18975048 memory=66000 CPUtime=0.47 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 7912 0 0 0 43 4 0 0 20 0 18 0 169087725 19430449152 16500 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4743762 16500 5713 1 0 551572 0
[pid=873354/tid=873356] ppid=873351 vsize=18975048 memory=-9104140349132350140 CPUtime=0.29 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 6382 0 0 0 27 2 0 0 20 0 18 0 169087725 19430449152 16500 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169087731 19430449152 16500 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169087732 19430449152 16500 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66000 KiB

[startup+0.703939 s]
/proc/loadavg: 4.26 4.17 4.19 8/317 873373
/proc/meminfo: memFree=125156028/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19041612 memory=74844 CPUtime=1.15 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 10327 0 0 0 109 6 0 0 20 0 19 0 169087725 19498610688 18711 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4760403 18711 5899 1 0 553216 0
[pid=873354/tid=873356] ppid=873351 vsize=19041612 memory=5424 CPUtime=0.6 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 6546 0 0 0 57 3 0 0 20 0 19 0 169087725 19498610688 18711 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19041612 memory=11948 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087731 19498610688 18711 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087732 19498610688 18711 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087766 19498610688 18711 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74844 KiB

[startup+1.50028 s]
/proc/loadavg: 4.40 4.20 4.20 6/317 873373
/proc/meminfo: memFree=125133764/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19041612 memory=89552 CPUtime=2.64 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 16175 0 0 0 257 7 0 0 20 0 19 0 169087725 19498610688 22388 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4760403 22388 5899 1 0 554756 0
[pid=873354/tid=873356] ppid=873351 vsize=19041612 memory=11948 CPUtime=1.37 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 6929 0 0 0 134 3 0 0 20 0 19 0 169087725 19498610688 22388 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087731 19498610688 22388 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087732 19498610688 22388 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19041612 memory=22639 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087766 19498610688 22388 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89552 KiB

[startup+3.12195 s]
/proc/loadavg: 4.40 4.20 4.20 6/317 873373
/proc/meminfo: memFree=125080848/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19041612 memory=104108 CPUtime=4.76 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 17166 0 0 0 469 7 0 0 20 0 19 0 169087725 19498610688 26027 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4760403 26027 5899 1 0 554805 0
[pid=873354/tid=873356] ppid=873351 vsize=19041612 memory=0 CPUtime=3 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 7154 0 0 0 296 4 0 0 20 0 19 0 169087725 19498610688 26027 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087731 19498610688 26027 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19041612 memory=11948 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087732 19498610688 26027 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19041612 memory=11656 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087766 19498610688 26027 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104108 KiB

[startup+6.30041 s]
/proc/loadavg: 4.45 4.21 4.20 5/318 873376
/proc/meminfo: memFree=125008968/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19041612 memory=134480 CPUtime=9.01 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 22378 0 0 0 892 9 0 0 20 0 19 0 169087725 19498610688 33620 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4760403 33620 5911 1 0 555691 0
[pid=873354/tid=873356] ppid=873351 vsize=19041612 memory=11948 CPUtime=6.16 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 7538 0 0 0 612 4 0 0 20 0 19 0 169087725 19498610688 33620 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169087731 19498610688 33620 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19041612 memory=1940 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169087732 19498610688 33620 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19041612 memory=-7163974055829550171 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169087766 19498610688 33620 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 9.01 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134480 KiB

[startup+12.7004 s]
/proc/loadavg: 4.58 4.24 4.21 6/320 873444
/proc/meminfo: memFree=124238044/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=176844 CPUtime=15.55 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 25630 0 0 0 1544 11 0 0 20 0 20 0 169087725 19566772224 44211 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 44211 5943 1 0 555980 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=166156 CPUtime=12.5 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 8311 0 0 0 1245 5 0 0 20 0 20 0 169087725 19566772224 44211 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 44211 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19108176 memory=11948 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 169087732 19566772224 44211 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19108176 memory=32604 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087766 19566772224 44211 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 15.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176844 KiB

[startup+25.5005 s]
/proc/loadavg: 4.49 4.23 4.21 5/321 873448
/proc/meminfo: memFree=122813240/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=183236 CPUtime=28.31 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 28378 0 0 0 2820 11 0 0 20 0 20 0 169087725 19566772224 45809 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 45809 5959 1 0 555980 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=11656 CPUtime=25.21 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 9504 0 0 0 2516 5 0 0 20 0 20 0 169087725 19566772224 45809 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=176920 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 45809 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19108176 memory=134480 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 169087732 19566772224 45809 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19108176 memory=166156 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087766 19566772224 45809 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 28.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183236 KiB

[startup+51.1133 s]
/proc/loadavg: 4.37 4.23 4.21 5/321 873453
/proc/meminfo: memFree=120893212/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=218148 CPUtime=53.86 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 30644 0 0 0 5373 13 0 0 20 0 20 0 169087725 19566772224 54537 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 54537 5959 1 0 555980 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=5424 CPUtime=50.59 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 10606 0 0 0 5054 5 0 0 20 0 20 0 169087725 19566772224 54537 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=218148 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 54537 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0

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

Current children cumulated memory: 1287904 KiB

[startup+3342.3 s]
/proc/loadavg: 4.87 4.46 4.30 6/323 875232
/proc/meminfo: memFree=106287340/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=1320672 CPUtime=3338.33 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 120835 0 0 0 333649 184 0 0 20 0 20 0 169087725 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 330168 5975 1 0 559670 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=1320672 CPUtime=3326.2 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 49486 0 0 0 332610 10 0 0 20 0 20 0 169087725 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=1320672 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19108176 memory=1320672 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 3594 0 0 0 0 0 0 0 20 0 20 0 169087732 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19108176 memory=1320672 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087766 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 3338.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1320672 KiB

[startup+3402.3 s]
/proc/loadavg: 4.54 4.42 4.30 5/323 875309
/proc/meminfo: memFree=120425876/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=1320672 CPUtime=3398.16 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 121735 0 0 0 339630 186 0 0 20 0 20 0 169087725 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 330168 5975 1 0 559670 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=1320672 CPUtime=3385.99 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 50221 0 0 0 338589 10 0 0 20 0 20 0 169087725 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=5424 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19108176 memory=1320672 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 3676 0 0 0 0 0 0 0 20 0 20 0 169087732 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19108176 memory=5424 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087766 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 3398.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1320672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.36 4.28 5/323 875320
/proc/meminfo: memFree=119499916/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=1320672 CPUtime=3457.99 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 122776 0 0 0 345610 189 0 0 20 0 20 0 169087725 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 330168 5975 1 0 559670 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=1320672 CPUtime=3445.77 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 50948 0 0 0 344567 10 0 0 20 0 20 0 169087725 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=1320672 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 3693 0 0 0 0 0 0 0 20 0 20 0 169087732 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19108176 memory=1320672 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087766 19566772224 330168 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 3457.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1320672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.31 4.26 5/321 875330
/proc/meminfo: memFree=118881904/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=1322740 CPUtime=3517.88 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 124247 0 0 0 351595 193 0 0 20 0 20 0 169087725 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 330685 5975 1 0 559670 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=1320672 CPUtime=3505.37 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 51338 0 0 0 350527 10 0 0 20 0 20 0 169087725 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=1322740 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19108176 memory=1320672 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 3771 0 0 0 0 0 0 0 20 0 20 0 169087732 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19108176 memory=1320672 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087766 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 3517.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.29 4.26 5/320 875341
/proc/meminfo: memFree=118736956/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=1322740 CPUtime=3577.7 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 125038 0 0 0 357575 195 0 0 20 0 20 0 169087725 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 330685 5975 1 0 559670 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=1320672 CPUtime=3565.16 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 52030 0 0 0 356506 10 0 0 20 0 20 0 169087725 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=11948 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19108176 memory=5424 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 3853 0 0 0 0 0 0 0 20 0 20 0 169087732 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087766 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 3577.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.7 s]
/proc/loadavg: 4.14 4.27 4.26 5/320 875412
/proc/meminfo: memFree=119958968/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19108176 memory=1322740 CPUtime=3600.05 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 125726 0 0 0 359808 197 0 0 20 0 20 0 169087725 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4777044 330685 5975 1 0 559670 0
[pid=873354/tid=873356] ppid=873351 vsize=19108176 memory=-9104140349132350140 CPUtime=3587.48 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 52628 0 0 0 358738 10 0 0 20 0 20 0 169087725 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19108176 memory=1322740 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169087731 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19108176 memory=19044 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 3853 0 0 0 0 0 0 0 20 0 20 0 169087732 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873373] ppid=873351 vsize=19108176 memory=1322740 CPUtime=0 cores=0,2
/proc/873354/task/873373/stat : 873373 (Timer-0) S 873351 873354 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169087766 19566772224 330685 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.48 s, system=1.98543 s

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

[startup+3604.81 s]
/proc/loadavg: 4.14 4.27 4.26 5/320 875412
/proc/meminfo: memFree=119958968/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19307868 memory=1323668 CPUtime=3600.25 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 128542 0 0 0 359828 197 0 0 20 0 21 0 169087725 19771256832 330917 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4826967 330917 5974 1 0 560576 0
[pid=873354/tid=873356] ppid=873351 vsize=19307868 memory=1322740 CPUtime=3587.56 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 52870 0 0 0 358746 10 0 0 20 0 21 0 169087725 19771256832 330917 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19307868 memory=1469 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169087731 19771256832 330917 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19307868 memory=-9104140349132350140 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 3853 0 0 0 0 0 0 0 20 0 21 0 169087732 19771256832 330917 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1323668 KiB

[startup+3604.91 s]
/proc/loadavg: 4.14 4.27 4.26 5/320 875412
/proc/meminfo: memFree=119958968/131655788 swapFree=131071996/131071996
[pid=873354] ppid=873351 vsize=19307868 memory=1323676 CPUtime=3600.45 cores=0,2
/proc/873354/stat : 873354 (java) S 873351 873354 870201 0 -1 1077936128 128925 0 0 0 359848 197 0 0 20 0 21 0 169087725 19771256832 330919 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
/proc/873354/statm: 4826967 330919 5974 1 0 560582 0
[pid=873354/tid=873356] ppid=873351 vsize=19307868 memory=-9104140349132350140 CPUtime=3587.65 cores=0,2
/proc/873354/task/873356/stat : 873356 (java) R 873351 873354 870201 0 -1 4194368 52870 0 0 0 358755 10 0 0 20 0 21 0 169087725 19771256832 330919 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873365] ppid=873351 vsize=19307868 memory=1322740 CPUtime=0 cores=0,2
/proc/873354/task/873365/stat : 873365 (Finalizer) S 873351 873354 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169087731 19771256832 330919 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
[pid=873354/tid=873372] ppid=873351 vsize=19307868 memory=19044 CPUtime=0 cores=0,2
/proc/873354/task/873372/stat : 873372 (Common-Cleaner) S 873351 873354 870201 0 -1 1077936192 3853 0 0 0 0 0 0 0 20 0 21 0 169087732 19771256832 330919 134679101440 94718368665600 94718368669296 140725421763648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94718368677112 94718368677904 94718399135744 140725421769735 140725421769825 140725421769825 140725421776840 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1323676 KiB

Child status: 143

Real time (s): 3604.92
CPU time (s): 3600.47
CPU user time (s): 3598.48
CPU system time (s): 1.98543
CPU usage (%): 99.8766
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1323676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.48
system time used= 1.98543
maximum resident set size= 1324516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104915
involuntary context switches= 25776


# summary of solver processes directly reported to runsolver:
#   pid: 873354
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3598.48
#   total CPU system time (s): 1.98543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9372 second user time and 39.5708 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-17 00:34:56
IDJOB=4432504
IDBENCH=158455
IDSOLVER=3058
FILE ID=nodeC010/4432504-1721169285
RUNJOBID= nodeC010-1721165691-870213
SLURM_JOB_ID= 7505790
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_14x14_000.opb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432504-1721169285/watcher-4432504-1721169285 -o /tmp/evaluation-result-4432504-1721169285/solver-4432504-1721169285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870213 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432504-1721169285.opb

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

MD5SUM BENCH= 09140eba823e533d50b11d8bcfc34a90
RANDOM SEED=160996903

nodeC010.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		: 1793.301
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.519
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		: 1283.263
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.278
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		: 3491.755
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.755
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		: 2719.341
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2815.264
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:        125218508 kB
MemAvailable:   129593440 kB
Buffers:          434696 kB
Cached:          4726192 kB
SwapCached:            0 kB
Active:           803048 kB
Inactive:        4979820 kB
Active(anon):       1456 kB
Inactive(anon):   657896 kB
Active(file):     801592 kB
Inactive(file):  4321924 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4140 kB
Writeback:            36 kB
AnonPages:        621712 kB
Mapped:           125060 kB
Shmem:             37704 kB
KReclaimable:     182896 kB
Slab:             291432 kB
SReclaimable:     182896 kB
SUnreclaim:       108536 kB
KernelStack:        4848 kB
PageTables:        11360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7293096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53920 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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:      234312 kB
DirectMap2M:    29030400 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC010 at 2024-07-17 01:35:01