Trace number 4518510

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)1 3600.26 3605.7

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
MD5SUMd5993a0e2ae11ecdb32c60d775cccf06
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 benchmark1
Best CPU time to get the best result obtained on this benchmark0.016932
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables124
Total number of constraints31
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 31
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 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 31
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c Expensive reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c solving HOME/instance-4518510-1751548204.opb
0.12/0.12	c reading problem ... 
0.12/0.13	c  objective function found
0.12/0.14	c ... done. Wall clock time 0.012s.
0.12/0.14	c declared #vars     124
0.12/0.14	c #constraints  62
0.12/0.14	c constraints type 
0.12/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 62
0.12/0.14	c 62 constraints processed.
0.12/0.15	c objective function length is 31 literals
0.33/0.23	c SATISFIABLE
0.33/0.23	c OPTIMIZING...
0.33/0.23	c Got one! Elapsed wall clock time (in seconds):0.103
0.33/0.23	o 1
0.71/0.46	c cleaning 2603 clauses out of 5211 with flag 26127/5211
1.08/0.69	c cleaning 4295 clauses out of 8608 with flag 64576/11211
1.66/0.96	c cleaning 5646 clauses out of 11313 with flag 109068/18211
2.04/1.26	c cleaning 6827 clauses out of 13668 with flag 170198/26212
2.52/1.63	c cleaning 7912 clauses out of 15840 with flag 238649/35211
3.01/2.10	c cleaning 8963 clauses out of 17936 with flag 314977/45219
3.65/2.65	c cleaning 9972 clauses out of 19966 with flag 405167/56212
4.35/3.30	c cleaning 10990 clauses out of 21993 with flag 498848/68211
5.16/4.10	c cleaning 11990 clauses out of 24004 with flag 595708/81212
5.95/4.92	c cleaning 13006 clauses out of 26014 with flag 701601/95212
6.55/5.52	c cleaning 13996 clauses out of 28007 with flag 835632/110211
7.43/6.37	c cleaning 14993 clauses out of 30011 with flag 1005183/126211
8.26/7.18	c cleaning 16000 clauses out of 32018 with flag 1158806/143211
9.29/8.15	c cleaning 17004 clauses out of 34021 with flag 1323609/161214
10.48/9.30	c cleaning 18003 clauses out of 36014 with flag 1529538/180211
11.68/10.56	c cleaning 19000 clauses out of 38012 with flag 1742592/200212
13.07/11.90	c cleaning 20002 clauses out of 40015 with flag 1958082/221215
14.18/13.08	c cleaning 21002 clauses out of 42011 with flag 2134281/243213
15.37/14.29	c cleaning 21989 clauses out of 44008 with flag 2316719/266212
16.77/15.61	c cleaning 23001 clauses out of 46019 with flag 2523313/290212
18.37/17.24	c cleaning 24002 clauses out of 48017 with flag 2761119/315211
20.27/19.16	c cleaning 24995 clauses out of 50016 with flag 3014999/341212
22.06/20.95	c cleaning 25992 clauses out of 52021 with flag 3293025/368212
23.95/22.84	c cleaning 27005 clauses out of 54028 with flag 3543906/396211
26.05/24.93	c cleaning 27996 clauses out of 56023 with flag 3806633/425211
28.45/27.32	c cleaning 29000 clauses out of 58027 with flag 4106098/455211
30.84/29.75	c cleaning 30003 clauses out of 60028 with flag 4367778/486212
33.53/32.40	c cleaning 30991 clauses out of 62025 with flag 4701421/518212
36.15/35.08	c cleaning 32012 clauses out of 64033 with flag 5050947/551211
39.14/38.04	c cleaning 32993 clauses out of 66021 with flag 5353309/585211
42.43/41.37	c cleaning 33998 clauses out of 68029 with flag 5647958/620212
46.23/45.12	c cleaning 35001 clauses out of 70030 with flag 5969363/656211
49.71/48.61	c cleaning 36010 clauses out of 72030 with flag 6302588/693212
53.21/52.12	c cleaning 37004 clauses out of 74019 with flag 6666253/731211
57.20/56.15	c cleaning 38000 clauses out of 76016 with flag 7070358/770212
61.59/60.50	c cleaning 38995 clauses out of 78017 with flag 7477952/810213
66.50/65.45	c cleaning 40003 clauses out of 80022 with flag 7913566/851213
71.69/70.60	c cleaning 41002 clauses out of 82019 with flag 8409200/893213
77.09/76.09	c cleaning 41999 clauses out of 84019 with flag 8937980/936215
82.37/81.35	c cleaning 42996 clauses out of 86016 with flag 9421086/980211
86.77/85.78	c cleaning 43997 clauses out of 88020 with flag 9834253/1025211
91.96/90.97	c cleaning 45001 clauses out of 90023 with flag 10295189/1071211
97.78/96.73	c cleaning 45996 clauses out of 92022 with flag 10764367/1118211
103.58/102.58	c cleaning 46999 clauses out of 94026 with flag 11212683/1166211
109.07/108.09	c cleaning 48004 clauses out of 96027 with flag 11684952/1215211
115.35/114.36	c cleaning 49000 clauses out of 98024 with flag 12171486/1265212
121.64/120.64	c cleaning 50001 clauses out of 100024 with flag 12696276/1316212
127.93/126.99	c cleaning 50995 clauses out of 102023 with flag 13241149/1368212
134.06/133.03	c cleaning 51997 clauses out of 104027 with flag 13755725/1421211
139.54/138.58	c cleaning 53006 clauses out of 106030 with flag 14272480/1475211
146.04/145.07	c cleaning 54002 clauses out of 108024 with flag 14795367/1530211
153.52/152.50	c cleaning 55003 clauses out of 110024 with flag 15354813/1586213
160.21/159.25	c cleaning 55994 clauses out of 112019 with flag 15906070/1643211
167.62/166.67	c cleaning 57007 clauses out of 114025 with flag 16430656/1701211
174.62/173.62	c cleaning 57987 clauses out of 116018 with flag 17008213/1760211
182.21/181.27	c cleaning 58997 clauses out of 118031 with flag 17564691/1820211
190.29/189.30	c cleaning 60006 clauses out of 120034 with flag 18134854/1881211
198.77/197.88	c cleaning 61001 clauses out of 122028 with flag 18685335/1943211
206.99/206.05	c cleaning 62006 clauses out of 124027 with flag 19310706/2006211
214.27/213.38	c cleaning 63000 clauses out of 126022 with flag 19925419/2070212
221.96/221.06	c cleaning 63997 clauses out of 128021 with flag 20508597/2135211
231.54/230.69	c cleaning 65012 clauses out of 130025 with flag 21233451/2201212
241.15/240.29	c cleaning 65985 clauses out of 132012 with flag 21931357/2268211
252.04/251.18	c cleaning 66992 clauses out of 134027 with flag 22651301/2336211
263.42/262.53	c cleaning 68004 clauses out of 136037 with flag 23340297/2405213
273.50/272.61	c cleaning 69007 clauses out of 138031 with flag 23976360/2475211
285.24/284.43	c cleaning 69988 clauses out of 140024 with flag 24717207/2546211
297.45/296.79	c cleaning 71005 clauses out of 142036 with flag 25479622/2618211
308.38/307.75	c cleaning 72008 clauses out of 144034 with flag 26258508/2691214
318.86/318.29	c cleaning 73005 clauses out of 146023 with flag 27095085/2765211
330.38/329.79	c cleaning 74007 clauses out of 148018 with flag 27894868/2840211
344.66/344.04	c cleaning 74998 clauses out of 150012 with flag 28748695/2916212
357.82/357.29	c cleaning 75993 clauses out of 152013 with flag 29582415/2993211
371.04/370.42	c cleaning 76991 clauses out of 154022 with flag 30341282/3071213
383.72/383.19	c cleaning 78009 clauses out of 156031 with flag 31175524/3150213
398.98/398.40	c cleaning 79003 clauses out of 158021 with flag 32074765/3230212
413.67/413.14	c cleaning 79998 clauses out of 160017 with flag 32941365/3311211
428.07/427.56	c cleaning 80998 clauses out of 162019 with flag 33761175/3393211
443.74/443.24	c cleaning 82004 clauses out of 164022 with flag 34652410/3476212
460.41/459.94	c cleaning 82987 clauses out of 166017 with flag 35504936/3560211
478.18/477.78	c cleaning 83994 clauses out of 168030 with flag 36412847/3645211
495.97/495.50	c cleaning 85005 clauses out of 170036 with flag 37341001/3731211
513.84/513.49	c cleaning 86000 clauses out of 172031 with flag 38222633/3818211
532.60/532.28	c cleaning 87003 clauses out of 174034 with flag 39155392/3906214
552.37/552.07	c cleaning 88006 clauses out of 176028 with flag 40161951/3995211
573.17/572.83	c cleaning 88996 clauses out of 178022 with flag 41155502/4085211
593.10/592.98	c cleaning 90003 clauses out of 180027 with flag 42064398/4176212
613.03/613.05	c cleaning 90999 clauses out of 182024 with flag 43095383/4268212
633.89/634.05	c cleaning 92007 clauses out of 184026 with flag 44153705/4361213
655.44/655.64	c cleaning 92993 clauses out of 186020 with flag 45289318/4455214
677.45/677.64	c cleaning 94005 clauses out of 188025 with flag 46371995/4550212
699.11/699.31	c cleaning 94995 clauses out of 190020 with flag 47466383/4646212
720.37/720.65	c cleaning 96005 clauses out of 192025 with flag 48568299/4743212
740.43/740.70	c cleaning 97000 clauses out of 194019 with flag 49691543/4841211
759.99/760.35	c cleaning 97998 clauses out of 196019 with flag 50830099/4940211
780.51/781.03	c cleaning 98999 clauses out of 198021 with flag 51859048/5040211
804.92/805.55	c cleaning 99991 clauses out of 200022 with flag 53097809/5141211
829.77/830.44	c cleaning 101010 clauses out of 202031 with flag 54351979/5243211
853.23/853.90	c cleaning 102004 clauses out of 204021 with flag 55465130/5346211
877.55/878.23	c cleaning 102996 clauses out of 206017 with flag 56681275/5450211
902.60/903.37	c cleaning 104007 clauses out of 208025 with flag 57861114/5555215
925.86/926.69	c cleaning 105002 clauses out of 210015 with flag 59106793/5661212
945.32/946.15	c cleaning 105993 clauses out of 212013 with flag 60221646/5768212
964.38/965.26	c cleaning 106996 clauses out of 214019 with flag 61482553/5876211
983.65/984.54	c cleaning 107989 clauses out of 216023 with flag 62644513/5985211
1003.21/1004.12	c cleaning 109001 clauses out of 218035 with flag 63769050/6095212
1023.75/1024.76	c cleaning 110004 clauses out of 220033 with flag 64824245/6206211
1044.38/1045.58	c cleaning 111001 clauses out of 222029 with flag 65911821/6318211
1066.34/1067.52	c cleaning 111997 clauses out of 224028 with flag 67074404/6431211
1087.70/1088.99	c cleaning 112998 clauses out of 226031 with flag 68214312/6545211
1108.46/1109.73	c cleaning 113998 clauses out of 228034 with flag 69299046/6660212
1131.32/1132.60	c cleaning 115001 clauses out of 230037 with flag 70428359/6776213
1154.94/1156.23	c cleaning 116002 clauses out of 232034 with flag 71575184/6893211
1178.10/1179.42	c cleaning 117002 clauses out of 234032 with flag 72836720/7011211
1201.65/1203.03	c cleaning 118006 clauses out of 236033 with flag 74001077/7130214
1227.80/1229.22	c cleaning 118994 clauses out of 238025 with flag 75343564/7250212
1252.76/1254.29	c cleaning 120009 clauses out of 240032 with flag 76637854/7371213
1284.00/1285.54	c cleaning 121003 clauses out of 242021 with flag 77949608/7493211
1314.54/1316.13	c cleaning 121994 clauses out of 244020 with flag 79253008/7616213
1350.48/1352.18	c cleaning 123002 clauses out of 246024 with flag 80557025/7740211
1385.10/1386.94	c cleaning 123999 clauses out of 248022 with flag 81918751/7865211
1419.31/1421.35	c cleaning 125000 clauses out of 250024 with flag 83368246/7991212
1451.64/1453.74	c cleaning 125995 clauses out of 252024 with flag 84757389/8118212
1487.97/1490.16	c cleaning 127007 clauses out of 254028 with flag 86125884/8246211
1523.81/1526.09	c cleaning 128002 clauses out of 256022 with flag 87657006/8375212
1560.04/1562.35	c cleaning 128995 clauses out of 258019 with flag 89043502/8505211
1596.07/1598.44	c cleaning 129996 clauses out of 260026 with flag 90513077/8636213
1633.11/1635.41	c cleaning 131002 clauses out of 262028 with flag 92008363/8768211
1670.74/1673.15	c cleaning 132007 clauses out of 264027 with flag 93533512/8901212
1705.77/1708.27	c cleaning 133000 clauses out of 266019 with flag 94931328/9035211
1746.89/1749.43	c cleaning 133999 clauses out of 268019 with flag 96271824/9170211
1780.23/1782.87	c cleaning 134994 clauses out of 270023 with flag 97617068/9306214
1815.16/1817.81	c cleaning 135998 clauses out of 272027 with flag 99141633/9443212
1857.58/1860.32	c cleaning 137003 clauses out of 274028 with flag 100630541/9581211
1893.36/1895.85	c cleaning 138000 clauses out of 276026 with flag 102113584/9720212
1932.10/1934.62	c cleaning 138997 clauses out of 278026 with flag 103670924/9860212
1971.82/1974.48	c cleaning 140011 clauses out of 280029 with flag 105312076/10001212
2009.45/2012.10	c cleaning 140999 clauses out of 282019 with flag 106949960/10143213
2045.98/2048.76	c cleaning 142002 clauses out of 284021 with flag 108388960/10286214
2084.81/2087.67	c cleaning 142999 clauses out of 286017 with flag 109924534/10430212
2121.54/2124.42	c cleaning 144005 clauses out of 288017 with flag 111548167/10575211
2157.84/2160.91	c cleaning 144993 clauses out of 290012 with flag 113198527/10721211
2194.98/2198.29	c cleaning 145991 clauses out of 292020 with flag 114810919/10868212
2240.49/2243.85	c cleaning 146998 clauses out of 294030 with flag 116491544/11016213
2289.50/2292.90	c cleaning 148005 clauses out of 296031 with flag 118220058/11165212
2338.42/2341.95	c cleaning 149002 clauses out of 298026 with flag 119959391/11315212
2382.63/2386.26	c cleaning 150000 clauses out of 300026 with flag 121600295/11466214
2424.46/2428.19	c cleaning 150995 clauses out of 302025 with flag 123187583/11618213
2477.12/2480.85	c cleaning 152003 clauses out of 304028 with flag 124808065/11771211
2519.95/2523.75	c cleaning 153006 clauses out of 306025 with flag 126379565/11925211
2566.66/2570.57	c cleaning 153998 clauses out of 308020 with flag 128003075/12080212
2607.38/2611.32	c cleaning 155002 clauses out of 310021 with flag 129577109/12236211
2663.98/2668.04	c cleaning 155996 clauses out of 312020 with flag 131282745/12393212
2712.99/2717.17	c cleaning 157005 clauses out of 314024 with flag 132965333/12551212
2762.89/2767.11	c cleaning 158000 clauses out of 316018 with flag 134608746/12710211
2815.18/2819.47	c cleaning 158995 clauses out of 318020 with flag 136320549/12870213
2866.49/2870.84	c cleaning 160002 clauses out of 320024 with flag 138006699/13031212
2922.89/2927.35	c cleaning 161004 clauses out of 322021 with flag 139738864/13193211
2978.09/2982.67	c cleaning 161987 clauses out of 324017 with flag 141521836/13356211
3031.39/3036.03	c cleaning 163002 clauses out of 326032 with flag 143129464/13520213
3084.68/3089.48	c cleaning 164005 clauses out of 328028 with flag 144798976/13685211
3143.78/3148.62	c cleaning 164998 clauses out of 330023 with flag 146567018/13851211
3200.08/3205.08	c cleaning 165997 clauses out of 332025 with flag 148288421/14018211
3256.08/3261.11	c cleaning 167005 clauses out of 334028 with flag 149992466/14186211
3323.00/3328.06	c cleaning 167999 clauses out of 336023 with flag 152014202/14355211
3379.89/3385.04	c cleaning 168995 clauses out of 338025 with flag 154011766/14525212
3435.98/3441.27	c cleaning 170002 clauses out of 340029 with flag 155834388/14696211
3486.28/3491.65	c cleaning 170994 clauses out of 342027 with flag 157579671/14868211
3541.39/3546.86	c cleaning 172007 clauses out of 344033 with flag 159256137/15041211
3597.68/3603.22	c cleaning 173008 clauses out of 346026 with flag 161106815/15215211
3600.07/3605.61	c starts		: 2167
3600.07/3605.61	c conflicts		: 15227527
3600.07/3605.61	c decisions		: 17130741
3600.07/3605.61	c propagations		: 293838696
3600.07/3605.61	c inspects		: 63249271156
3600.07/3605.61	c shortcuts		: 0
3600.07/3605.61	c learnt literals	: 0
3600.07/3605.61	c learnt binary clauses	: 0
3600.07/3605.62	c learnt ternary clauses	: 0
3600.07/3605.62	c learnt constraints	: 15227527
3600.07/3605.62	c ignored constraints	: 0
3600.07/3605.62	c root simplifications	: 0
3600.07/3605.62	c removed literals (reason simplification)	: 75686337
3600.07/3605.62	c reason swapping (by a shorter reason)	: 0
3600.07/3605.62	c Calls to reduceDB	: 170
3600.07/3605.62	c Number of update (reduction) of LBD	: 4970933
3600.07/3605.62	c Imported unit clauses	: 0
3600.07/3605.62	c No decision after first conflict	: false
3600.07/3605.62	c number of reductions to clauses (during analyze)	: 0
3600.07/3605.62	c number of learned constraints concerned by reduction	: 0
3600.07/3605.62	c number of learning phase by resolution	: 0
3600.07/3605.62	c number of learning phase by cutting planes	: 0
3600.07/3605.62	c number of rounding to 1 operations	: 0
3600.07/3605.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3605.62	c number of reductions of the coefficients by power 2 	: 0
3600.07/3605.62	c number of right shift for reduction by power 2 	: 0
3600.07/3605.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3605.62	c number of ending skipping 	: 0
3600.07/3605.62	c number of internal skipping 	: 0
3600.07/3605.62	c number of derivation steps 	: 0
3600.07/3605.62	c number of skipped derivation steps 	: 0
3600.07/3605.62	c number of remaining unassigned 	: 0
3600.07/3605.62	c number of remaining assigned 	: 0
3600.07/3605.62	c number of falsified literals weakened from reason	: 0
3600.07/3605.62	c number of falsified literals weakened from conflict	: 0
3600.07/3605.62	c time for arithmetic operations	: 0
3600.07/3605.62	c minimum degree of deleted constraints	: null
3600.07/3605.62	c maximum degree of deleted constraints	: null
3600.07/3605.62	c number of deleted constraints	: 0
3600.07/3605.62	c speed (assignments/second)	: 81497.93785782396
3600.07/3605.62	c non guided choices	: 57
3600.07/3605.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 185334
3600.07/3605.68	s SATISFIABLE
3600.07/3605.68	c Found 1 solution(s)
3600.07/3605.68	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 
3600.07/3605.68	c objective function=1
3600.07/3605.68	c Total wall clock time (in seconds): 3605.559

Verifier Data 

OK	1

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (50684 MiB free)
  memory of node 1: 64465 MiB (55564 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518510-1751548204/watcher-4518510-1751548204 -o /tmp/evaluation-result-4518510-1751548204/solver-4518510-1751548204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751542626-77713 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518510-1751548204.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=78156, runsolver pid=78153
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 2.10 1.96 1.62 2/264 78174
/proc/meminfo: memFree=108779088/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=18930384 memory=57772 CPUtime=0.12 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 6596 0 0 0 10 2 0 0 20 0 18 0 70498970 19384713216 14443 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4732596 14443 5336 1 0 547641 0
[pid=78156/tid=78158] ppid=78153 vsize=18930384 memory=4026532029 CPUtime=0.07 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 5101 0 0 0 6 1 0 0 20 0 18 0 70498971 19384713216 14443 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=18930384 memory=232800911689 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70498973 19384713216 14443 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=18930384 memory=56282157697662 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 70498974 19384713216 14443 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57772 KiB

[startup+0.205325 s]*
/proc/loadavg: 2.10 1.96 1.62 4/265 78175
/proc/meminfo: memFree=108774816/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=18996948 memory=62820 CPUtime=0.33 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 7628 0 0 0 30 3 0 0 20 0 19 0 70498970 19452874752 15705 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4749237 15705 5496 1 0 548347 0
[pid=78156/tid=78158] ppid=78153 vsize=18996948 memory=32758254098972917 CPUtime=0.17 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 5370 0 0 0 16 1 0 0 20 0 19 0 70498971 19452874752 15705 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=18996948 memory=15129 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70498973 19452874752 15705 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=18996948 memory=61788288975733 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 70498974 19452874752 15705 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70498985 19452874752 15705 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62820 KiB

[startup+0.305263 s]*
/proc/loadavg: 2.10 1.96 1.62 3/265 78175
/proc/meminfo: memFree=108769020/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=18996948 memory=69176 CPUtime=0.52 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 10479 0 0 0 49 3 0 0 20 0 19 0 70498970 19452874752 17294 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4749237 17294 5496 1 0 549967 0
[pid=78156/tid=78158] ppid=78153 vsize=18996948 memory=-6000919494181610600 CPUtime=0.27 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 5423 0 0 0 26 1 0 0 20 0 19 0 70498971 19452874752 17294 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70498973 19452874752 17294 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 70498974 19452874752 17294 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70498985 19452874752 17294 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69176 KiB

[startup+0.700228 s]
/proc/loadavg: 2.10 1.96 1.62 3/265 78175
/proc/meminfo: memFree=108755096/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=18996948 memory=86132 CPUtime=1.27 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 13814 0 0 0 123 4 0 0 20 0 19 0 70498970 19452874752 21533 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4749237 21533 5496 1 0 552484 0
[pid=78156/tid=78158] ppid=78153 vsize=18996948 memory=18432 CPUtime=0.66 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 5464 0 0 0 64 2 0 0 20 0 19 0 70498971 19452874752 21533 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70498973 19452874752 21533 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=18996948 memory=23860 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 70498974 19452874752 21533 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=18996948 memory=4352 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70498985 19452874752 21533 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86132 KiB

[startup+1.50019 s]
/proc/loadavg: 2.10 1.96 1.62 3/265 78175
/proc/meminfo: memFree=108747220/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=18996948 memory=93432 CPUtime=2.42 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 16999 0 0 0 238 4 0 0 20 0 19 0 70498970 19452874752 23358 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4749237 23358 5496 1 0 552694 0
[pid=78156/tid=78158] ppid=78153 vsize=18996948 memory=0 CPUtime=1.45 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 5790 0 0 0 143 2 0 0 20 0 19 0 70498971 19452874752 23358 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70498973 19452874752 23358 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=18996948 memory=23860 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 70498974 19452874752 23358 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=18996948 memory=4352 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70498985 19452874752 23358 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93432 KiB

[startup+3.10508 s]
/proc/loadavg: 2.02 1.95 1.62 2/265 78175
/proc/meminfo: memFree=108730864/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=18996948 memory=105848 CPUtime=4.16 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 18438 0 0 0 411 5 0 0 20 0 19 0 70498970 19452874752 26462 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4749237 26462 5496 1 0 552694 0
[pid=78156/tid=78158] ppid=78153 vsize=18996948 memory=10752 CPUtime=3.05 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 6090 0 0 0 303 2 0 0 20 0 19 0 70498971 19452874752 26462 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=18996948 memory=-6000919494181610600 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70498973 19452874752 26462 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 70498974 19452874752 26462 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=18996948 memory=-6000919494181610600 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70498985 19452874752 26462 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105848 KiB

[startup+6.30014 s]
/proc/loadavg: 2.02 1.95 1.62 2/265 78175
/proc/meminfo: memFree=108710400/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=18996948 memory=118816 CPUtime=7.43 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 19259 0 0 0 738 5 0 0 20 0 19 0 70498970 19452874752 29704 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4749237 29704 5496 1 0 552698 0
[pid=78156/tid=78158] ppid=78153 vsize=18996948 memory=0 CPUtime=6.24 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 6221 0 0 0 622 2 0 0 20 0 19 0 70498971 19452874752 29704 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70498973 19452874752 29704 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=18996948 memory=6296384553630525296 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 70498974 19452874752 29704 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=18996948 memory=95480 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70498985 19452874752 29704 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 7.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118816 KiB

[startup+12.7001 s]
/proc/loadavg: 1.86 1.92 1.61 2/265 78175
/proc/meminfo: memFree=108681728/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=18996948 memory=153632 CPUtime=13.87 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 22360 0 0 0 1381 6 0 0 20 0 19 0 70498970 19452874752 38408 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4749237 38408 5496 1 0 552698 0
[pid=78156/tid=78158] ppid=78153 vsize=18996948 memory=95480 CPUtime=12.63 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 7082 0 0 0 1260 3 0 0 20 0 19 0 70498971 19452874752 38408 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70498973 19452874752 38408 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=18996948 memory=147488 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 70498974 19452874752 38408 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70498985 19452874752 38408 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 13.87 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 153632 KiB

[startup+25.5001 s]
/proc/loadavg: 1.73 1.89 1.60 2/266 78176
/proc/meminfo: memFree=108653056/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=172484 CPUtime=26.65 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 24402 0 0 0 2659 6 0 0 20 0 20 0 70498970 19521036288 43121 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 43121 5528 1 0 552987 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=-6000919494181610600 CPUtime=25.39 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 7503 0 0 0 2536 3 0 0 20 0 20 0 70498971 19521036288 43121 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=172484 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 43121 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 43121 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 43121 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 26.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172484 KiB

[startup+51.1054 s]
/proc/loadavg: 1.48 1.81 1.59 2/266 78178
/proc/meminfo: memFree=108649212/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=178660 CPUtime=52.21 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 25512 0 0 0 5215 6 0 0 20 0 20 0 70498970 19521036288 44665 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 44665 5528 1 0 552987 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=178660 CPUtime=50.92 cores=4,6

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

/proc/meminfo: memFree=107258732/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=1542624 CPUtime=3217.34 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 55013 0 0 0 321625 109 0 0 20 0 20 0 70498970 19521036288 385656 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 385656 5560 1 0 555925 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=10752 CPUtime=3212.26 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 21195 0 0 0 321211 15 0 0 20 0 20 0 70498971 19521036288 385656 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=1542624 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 385656 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=1542624 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 713 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 385656 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 385656 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 3217.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1542624 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.09 1.09 2/265 78346
/proc/meminfo: memFree=107234264/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=1565152 CPUtime=3277.23 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 55571 0 0 0 327612 111 0 0 20 0 20 0 70498970 19521036288 391288 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 391288 5560 1 0 555925 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=3100 CPUtime=3272.12 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 21717 0 0 0 327197 15 0 0 20 0 20 0 70498971 19521036288 391288 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=1556960 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 391288 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=1561056 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 713 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 391288 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=1563104 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 391288 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 3277.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1565152 KiB

[startup+3342.3 s]
/proc/loadavg: 1.39 1.16 1.11 2/265 78348
/proc/meminfo: memFree=107144500/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3337.26 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 56326 0 0 0 333611 115 0 0 20 0 20 0 70498970 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 414331 5560 1 0 555925 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3331.85 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 21958 0 0 0 333169 16 0 0 20 0 20 0 70498971 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=1591776 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 724 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=1657324 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 3337.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1657324 KiB

[startup+3402.3 s]
/proc/loadavg: 1.19 1.15 1.11 2/263 78350
/proc/meminfo: memFree=107144860/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3397.15 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 56482 0 0 0 339598 117 0 0 20 0 20 0 70498970 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 414331 5560 1 0 555925 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3391.71 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 22061 0 0 0 339155 16 0 0 20 0 20 0 70498971 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=1591776 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=1591776 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 733 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 3397.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1657324 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.13 1.10 2/263 78352
/proc/meminfo: memFree=107145208/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3457.04 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 56561 0 0 0 345585 119 0 0 20 0 20 0 70498970 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 414331 5560 1 0 555925 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3451.58 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 22115 0 0 0 345142 16 0 0 20 0 20 0 70498971 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=5044 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=3100 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 733 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 3457.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1657324 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.12 1.10 2/263 78354
/proc/meminfo: memFree=107145556/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3516.93 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 56674 0 0 0 351573 120 0 0 20 0 20 0 70498970 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 414331 5560 1 0 555925 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=14344 CPUtime=3511.44 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 22173 0 0 0 351128 16 0 0 20 0 20 0 70498971 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 733 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=1657324 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 3516.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1657324 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.11 1.09 2/263 78356
/proc/meminfo: memFree=107145904/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3576.82 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 56860 0 0 0 357561 121 0 0 20 0 20 0 70498970 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 414331 5560 1 0 555925 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=14344 CPUtime=3571.31 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 22335 0 0 0 357115 16 0 0 20 0 20 0 70498971 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 733 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=-6000919494181610600 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 3576.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1657324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.6 s]
/proc/loadavg: 1.11 1.12 1.09 2/263 78357
/proc/meminfo: memFree=107145936/131249988 swapFree=33010416/33010684
[pid=78156] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3600.07 cores=4,6
/proc/78156/stat : 78156 (java) S 78153 78156 77585 0 -1 4194304 56973 0 0 0 359886 121 0 0 20 0 20 0 70498970 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
/proc/78156/statm: 4765878 414331 5560 1 0 555925 0
[pid=78156/tid=78158] ppid=78153 vsize=19063512 memory=1657324 CPUtime=3594.56 cores=4,6
/proc/78156/task/78158/stat : 78158 (java) R 78153 78156 77585 0 -1 4194368 22438 0 0 0 359440 16 0 0 20 0 20 0 70498971 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78167] ppid=78153 vsize=19063512 memory=-6000919494181610600 CPUtime=0 cores=4,6
/proc/78156/task/78167/stat : 78167 (Finalizer) S 78153 78156 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70498973 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78174] ppid=78153 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78156/task/78174/stat : 78174 (Common-Cleaner) S 78153 78156 77585 0 -1 4194368 733 0 0 0 0 0 0 0 20 0 20 0 70498974 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
[pid=78156/tid=78175] ppid=78153 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/78156/task/78175/stat : 78175 (Timer-0) S 78153 78156 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70498985 19521036288 414331 18446744073709551615 94454026285056 94454026288752 140733369828784 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94454026296568 94454026297360 94454028509184 140733369833857 140733369833958 140733369833958 140733369839560 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1657324 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.22823 s

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

Child status: 143

Real time (s): 3605.7
CPU time (s): 3600.26
CPU user time (s): 3599.03
CPU system time (s): 1.22823
CPU usage (%): 99.8492
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1657324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.22823
maximum resident set size= 1658348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103337
involuntary context switches= 4938


# summary of solver processes directly reported to runsolver:
#   pid: 78156
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.22823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68137 second user time and 15.2204 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-03 15:10:04
IDJOB=4518510
IDBENCH=177059
IDSOLVER=3363
FILE ID=nodeC031/4518510-1751548204
RUNJOBID= nodeC031-1751542626-77713
SLURM_JOB_ID= 9598706
Free space on /tmp= 432096 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518510-1751548204/watcher-4518510-1751548204 -o /tmp/evaluation-result-4518510-1751548204/solver-4518510-1751548204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751542626-77713 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4518510-1751548204.opb

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

MD5SUM BENCH= d5993a0e2ae11ecdb32c60d775cccf06
RANDOM SEED=1042063995

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        108799188 kB
MemAvailable:   129618900 kB
Buffers:            2128 kB
Cached:         21503976 kB
SwapCached:           12 kB
Active:           487308 kB
Inactive:       21097268 kB
Active(anon):      86056 kB
Inactive(anon):    10468 kB
Active(file):     401252 kB
Inactive(file): 21086800 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               652 kB
Writeback:            16 kB
AnonPages:         81520 kB
Mapped:           103980 kB
Shmem:             18052 kB
KReclaimable:     341796 kB
Slab:             434372 kB
SReclaimable:     341796 kB
SUnreclaim:        92576 kB
KernelStack:        4000 kB
PageTables:         2632 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     345260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432096 MiB
End job on nodeC031 at 2025-07-03 16:10:10