Trace number 4452304

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.27 3337.05

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-app2-2.0.u.opb
MD5SUM4089d6e1b9a84cf72ba2a08c7aa75617
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.172338
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1226
Total number of constraints336
Number of constraints which are clauses321
Number of constraints which are cardinality constraints (but not clauses)12
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint2
Maximum length of a constraint1226
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3611050
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 500612938
Number of bits of the biggest sum of numbers29
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4452304-1721444939.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.045s.
0.13/0.17	c declared #vars     1226
0.13/0.17	c #constraints  336
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 293
0.13/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12
0.13/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3
0.13/0.17	c org.sat4j.specs.Constr$1 => 28
0.13/0.17	c 336 constraints processed.
2.09/1.31	c cleaning 2508 clauses out of 5016 with flag 10353/5016
3.09/2.15	c cleaning 4254 clauses out of 8508 with flag 22522/11016
4.37/3.25	c cleaning 5620 clauses out of 11240 with flag 36654/18002
5.65/4.45	c cleaning 6808 clauses out of 13619 with flag 52759/26001
7.30/5.93	c cleaning 7905 clauses out of 15811 with flag 70953/35001
8.93/7.48	c cleaning 8957 clauses out of 17913 with flag 91356/45008
10.80/9.14	c cleaning 9977 clauses out of 19954 with flag 113787/56006
12.69/10.98	c cleaning 10982 clauses out of 21971 with flag 138107/68000
14.96/13.04	c cleaning 11997 clauses out of 23993 with flag 164613/81004
17.32/15.28	c cleaning 13000 clauses out of 26001 with flag 193162/95009
19.92/17.61	c cleaning 13994 clauses out of 27994 with flag 223631/110002
22.48/20.03	c cleaning 15000 clauses out of 30003 with flag 256272/126005
25.67/22.82	c cleaning 16000 clauses out of 31999 with flag 291039/143001
28.68/25.63	c cleaning 17000 clauses out of 34001 with flag 327473/161003
31.83/28.63	c cleaning 17999 clauses out of 36001 with flag 365900/180003
35.17/31.83	c cleaning 18998 clauses out of 38000 with flag 406252/200001
39.35/35.55	c cleaning 19992 clauses out of 40002 with flag 448772/221001
44.19/39.26	c cleaning 20991 clauses out of 42011 with flag 493401/243002
48.04/42.94	c cleaning 21996 clauses out of 44021 with flag 540104/266003
52.31/46.83	c cleaning 23000 clauses out of 46029 with flag 588801/290007
56.67/51.06	c cleaning 23996 clauses out of 48022 with flag 639244/315000
62.07/55.93	c cleaning 25004 clauses out of 50037 with flag 692403/341011
66.76/60.32	c cleaning 25996 clauses out of 52029 with flag 747481/368007
71.99/65.16	c cleaning 26996 clauses out of 54030 with flag 804697/396004
77.11/70.10	c cleaning 28005 clauses out of 56045 with flag 863757/425015
84.28/75.44	c cleaning 28998 clauses out of 58030 with flag 925526/455005
90.32/80.92	c cleaning 30007 clauses out of 60029 with flag 989064/486002
96.32/86.74	c cleaning 30993 clauses out of 62020 with flag 1054063/518000
102.72/92.73	c cleaning 32011 clauses out of 64040 with flag 1120847/551013
109.74/99.21	c cleaning 32988 clauses out of 66022 with flag 1190972/585006
115.86/105.13	c cleaning 34000 clauses out of 68028 with flag 1262661/620000
122.45/111.39	c cleaning 35005 clauses out of 70035 with flag 1335893/656007
130.80/117.88	c cleaning 35999 clauses out of 72024 with flag 1411401/693001
138.60/125.13	c cleaning 37002 clauses out of 74029 with flag 1488495/731005
146.18/132.12	c cleaning 38003 clauses out of 76023 with flag 1567182/770001
154.55/139.94	c cleaning 39006 clauses out of 78036 with flag 1647631/810017
163.25/148.08	c cleaning 40000 clauses out of 80017 with flag 1730104/851004
172.10/156.38	c cleaning 41001 clauses out of 82017 with flag 1815027/893004
181.29/164.94	c cleaning 41989 clauses out of 84012 with flag 1902117/936000
190.72/173.83	c cleaning 42996 clauses out of 86023 with flag 1990673/980000
200.68/183.23	c cleaning 44006 clauses out of 88037 with flag 2081609/1025010
210.18/192.29	c cleaning 44999 clauses out of 90023 with flag 2174966/1071002
222.39/202.10	c cleaning 46005 clauses out of 92022 with flag 2269985/1118000
232.75/212.03	c cleaning 46998 clauses out of 94020 with flag 2366672/1166003
243.59/222.21	c cleaning 47993 clauses out of 96020 with flag 2465796/1215001
253.61/231.96	c cleaning 49000 clauses out of 98031 with flag 2566342/1265005
265.37/243.15	c cleaning 49997 clauses out of 100029 with flag 2669259/1316003
277.47/254.36	c cleaning 50999 clauses out of 102029 with flag 2774346/1368000
288.26/264.88	c cleaning 52011 clauses out of 104034 with flag 2881275/1421004
300.85/276.99	c cleaning 52995 clauses out of 106025 with flag 2990130/1475006
313.77/289.11	c cleaning 54004 clauses out of 108025 with flag 3101229/1530001
326.68/301.31	c cleaning 54997 clauses out of 110022 with flag 3214997/1586002
339.50/313.35	c cleaning 56003 clauses out of 112033 with flag 3329931/1643010
351.99/325.58	c cleaning 56991 clauses out of 114026 with flag 3447592/1701006
365.42/338.41	c cleaning 58008 clauses out of 116031 with flag 3567242/1760002
379.06/351.47	c cleaning 59000 clauses out of 118021 with flag 3688469/1820000
395.08/364.77	c cleaning 60011 clauses out of 120042 with flag 3811620/1881021
408.89/377.72	c cleaning 60990 clauses out of 122016 with flag 3936525/1943006
422.39/390.84	c cleaning 61994 clauses out of 124024 with flag 4064820/2006004
437.34/404.92	c cleaning 62986 clauses out of 126026 with flag 4194722/2070000
451.84/418.71	c cleaning 64011 clauses out of 128047 with flag 4325767/2135007
469.10/435.15	c cleaning 65007 clauses out of 130029 with flag 4458643/2201000
484.54/449.87	c cleaning 66000 clauses out of 132028 with flag 4593508/2268006
500.12/464.55	c cleaning 66998 clauses out of 134027 with flag 4730119/2336005
514.75/478.74	c cleaning 67997 clauses out of 136027 with flag 4869297/2405003
531.47/494.86	c cleaning 68996 clauses out of 138030 with flag 5010656/2475003
548.09/510.95	c cleaning 70001 clauses out of 140034 with flag 5153946/2546003
566.48/528.68	c cleaning 71005 clauses out of 142030 with flag 5299263/2618000
588.41/547.27	c cleaning 71999 clauses out of 144026 with flag 5446440/2691001
606.18/564.31	c cleaning 73000 clauses out of 146029 with flag 5595618/2765003
623.17/580.06	c cleaning 74003 clauses out of 148029 with flag 5746983/2840003
642.40/598.21	c cleaning 74989 clauses out of 150028 with flag 5900611/2916005
660.54/615.46	c cleaning 76011 clauses out of 152038 with flag 6056411/2993004
681.37/635.52	c cleaning 77005 clauses out of 154029 with flag 6214096/3071006
701.07/654.57	c cleaning 78002 clauses out of 156021 with flag 6374012/3150003
719.98/672.71	c cleaning 78999 clauses out of 158017 with flag 6535599/3230001
747.39/694.85	c cleaning 79998 clauses out of 160020 with flag 6698665/3311003
768.23/714.50	c cleaning 80993 clauses out of 162019 with flag 6863991/3393000
789.57/734.94	c cleaning 82006 clauses out of 164030 with flag 7031323/3476004
810.02/754.72	c cleaning 82989 clauses out of 166023 with flag 7200991/3560003
831.53/775.07	c cleaning 84007 clauses out of 168045 with flag 7373181/3645014
852.34/795.17	c cleaning 85010 clauses out of 170029 with flag 7546321/3731005
875.70/817.23	c cleaning 85996 clauses out of 172020 with flag 7721731/3818006
898.10/838.65	c cleaning 87001 clauses out of 174019 with flag 7899194/3906001
923.29/860.05	c cleaning 87986 clauses out of 176018 with flag 8078198/3995001
947.74/883.20	c cleaning 89003 clauses out of 178031 with flag 8260508/4085000
969.50/904.26	c cleaning 89995 clauses out of 180039 with flag 8444550/4176011
993.70/927.22	c cleaning 90994 clauses out of 182033 with flag 8630861/4268000
1016.74/949.55	c cleaning 91982 clauses out of 184044 with flag 8819588/4361005
1041.39/973.07	c cleaning 92999 clauses out of 186057 with flag 9011402/4455000
1063.35/993.78	c cleaning 94011 clauses out of 188063 with flag 9205369/4550005
1091.81/1016.98	c cleaning 95007 clauses out of 190048 with flag 9399248/4646001
1115.69/1039.86	c cleaning 96004 clauses out of 192041 with flag 9594615/4743001
1142.12/1065.03	c cleaning 97004 clauses out of 194036 with flag 9791930/4841000
1168.05/1090.07	c cleaning 98000 clauses out of 196043 with flag 9991572/4940011
1195.61/1116.49	c cleaning 99002 clauses out of 198036 with flag 10194074/5040004
1223.92/1143.23	c cleaning 100001 clauses out of 200030 with flag 10397970/5141000
1259.73/1172.27	c cleaning 101005 clauses out of 202031 with flag 10603231/5243002
1289.95/1201.19	c cleaning 101995 clauses out of 204024 with flag 10810958/5346000
1320.86/1231.26	c cleaning 102992 clauses out of 206029 with flag 11020951/5450000
1346.79/1256.01	c cleaning 104003 clauses out of 208043 with flag 11233804/5555006
1375.55/1283.79	c cleaning 104989 clauses out of 210035 with flag 11447466/5661001
1403.68/1310.76	c cleaning 106007 clauses out of 212051 with flag 11663591/5768006
1436.68/1338.44	c cleaning 107005 clauses out of 214043 with flag 11881286/5876005
1464.73/1365.46	c cleaning 108005 clauses out of 216038 with flag 12103675/5985005
1494.30/1393.81	c cleaning 108996 clauses out of 218038 with flag 12327482/6095010
1521.14/1419.39	c cleaning 109995 clauses out of 220042 with flag 12551487/6206010
1548.82/1445.86	c cleaning 110998 clauses out of 222040 with flag 12779096/6318003
1576.54/1472.19	c cleaning 111993 clauses out of 224042 with flag 13007172/6431003
1610.21/1500.25	c cleaning 112991 clauses out of 226046 with flag 13240155/6545000
1638.82/1527.52	c cleaning 114012 clauses out of 228057 with flag 13473933/6660002
1671.30/1558.65	c cleaning 115008 clauses out of 230057 with flag 13708283/6776014
1703.09/1589.05	c cleaning 115997 clauses out of 232049 with flag 13944553/6893014
1734.58/1618.89	c cleaning 117008 clauses out of 234056 with flag 14186231/7011018
1773.19/1651.76	c cleaning 118004 clauses out of 236030 with flag 14428134/7130000
1806.52/1683.78	c cleaning 118992 clauses out of 238028 with flag 14670232/7250002
1837.93/1713.17	c cleaning 120006 clauses out of 240046 with flag 14914029/7371012
1872.02/1745.85	c cleaning 120993 clauses out of 242031 with flag 15160153/7493003
1916.02/1782.28	c cleaning 122011 clauses out of 244050 with flag 15409878/7616015
1953.41/1818.07	c cleaning 122993 clauses out of 246025 with flag 15659745/7740001
1987.86/1851.27	c cleaning 124007 clauses out of 248036 with flag 15911923/7865005
2023.14/1884.83	c cleaning 125008 clauses out of 250042 with flag 16167086/7991018
2075.24/1929.05	c cleaning 125985 clauses out of 252018 with flag 16423742/8118002
2115.76/1967.92	c cleaning 126990 clauses out of 254031 with flag 16682698/8246000
2148.50/1999.34	c cleaning 127992 clauses out of 256042 with flag 16942618/8375001
2185.09/2034.18	c cleaning 129016 clauses out of 258049 with flag 17205019/8505000
2233.66/2076.16	c cleaning 130006 clauses out of 260037 with flag 17469427/8636004
2273.69/2114.31	c cleaning 131004 clauses out of 262031 with flag 17735783/8768004
2313.92/2152.70	c cleaning 131989 clauses out of 264034 with flag 18003745/8901011
2353.35/2191.02	c cleaning 133001 clauses out of 266041 with flag 18274490/9035007
2400.87/2230.92	c cleaning 133999 clauses out of 268034 with flag 18546840/9170001
2439.70/2268.01	c cleaning 135001 clauses out of 270034 with flag 18821525/9306000
2479.05/2305.58	c cleaning 136010 clauses out of 272034 with flag 19097591/9443001
2519.52/2344.23	c cleaning 137003 clauses out of 274040 with flag 19377374/9581017
2564.41/2382.90	c cleaning 137986 clauses out of 276023 with flag 19660031/9720003
2605.19/2422.25	c cleaning 138998 clauses out of 278034 with flag 19943143/9860000
2647.65/2462.87	c cleaning 139999 clauses out of 280040 with flag 20228225/10001004
2692.74/2506.49	c cleaning 141011 clauses out of 282040 with flag 20514782/10143003
2744.59/2551.78	c cleaning 141994 clauses out of 284026 with flag 20803131/10286000
2792.12/2597.63	c cleaning 143011 clauses out of 286052 with flag 21093567/10430020
2837.00/2640.63	c cleaning 143991 clauses out of 288026 with flag 21386126/10575005
2893.06/2686.56	c cleaning 145001 clauses out of 290045 with flag 21682197/10721015
2935.29/2726.94	c cleaning 146010 clauses out of 292057 with flag 21979574/10868028
2980.94/2770.87	c cleaning 146991 clauses out of 294028 with flag 22277393/11016009
3038.85/2818.45	c cleaning 148002 clauses out of 296028 with flag 22578630/11165000
3085.32/2863.37	c cleaning 148998 clauses out of 298029 with flag 22880999/11315003
3139.26/2915.50	c cleaning 150002 clauses out of 300031 with flag 23185669/11466003
3197.16/2963.54	c cleaning 150998 clauses out of 302026 with flag 23492406/11618000
3250.08/3014.30	c cleaning 152009 clauses out of 304031 with flag 23802024/11771003
3298.72/3060.81	c cleaning 152998 clauses out of 306019 with flag 24112489/11925000
3353.64/3106.75	c cleaning 153995 clauses out of 308041 with flag 24425114/12080020
3407.99/3159.55	c cleaning 154997 clauses out of 310029 with flag 24739063/12236003
3461.66/3210.68	c cleaning 156005 clauses out of 312029 with flag 25055536/12393000
3520.56/3260.26	c cleaning 156995 clauses out of 314032 with flag 25374441/12551008
3575.16/3313.33	c cleaning 157993 clauses out of 316032 with flag 25695170/12710003
3600.08/3336.91	c timeout
3600.08/3336.92	c starts		: 1
3600.08/3336.92	c conflicts		: 12804050
3600.08/3336.92	c decisions		: 12816946
3600.08/3336.92	c propagations		: 139901154
3600.08/3336.92	c inspects		: 5760739251
3600.08/3336.92	c shortcuts		: 0
3600.08/3336.92	c learnt literals	: 0
3600.08/3336.92	c learnt binary clauses	: 0
3600.08/3336.92	c learnt ternary clauses	: 0
3600.08/3336.92	c learnt constraints	: 12804050
3600.08/3336.92	c ignored constraints	: 0
3600.08/3336.92	c root simplifications	: 0
3600.08/3336.92	c removed literals (reason simplification)	: 0
3600.08/3336.92	c reason swapping (by a shorter reason)	: 0
3600.08/3336.92	c Calls to reduceDB	: 155
3600.08/3336.92	c Number of update (reduction) of LBD	: 126664
3600.08/3336.93	c Imported unit clauses	: 0
3600.08/3336.93	c No decision after first conflict	: false
3600.08/3336.93	c number of reductions to clauses (during analyze)	: 0
3600.08/3336.93	c number of learned constraints concerned by reduction	: 0
3600.08/3336.93	c number of learning phase by resolution	: 0
3600.08/3336.93	c number of learning phase by cutting planes	: 0
3600.08/3336.93	c number of rounding to 1 operations	: 0
3600.08/3336.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3336.93	c number of reductions of the coefficients by power 2 	: 0
3600.08/3336.93	c number of right shift for reduction by power 2 	: 0
3600.08/3336.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3336.93	c number of ending skipping 	: 0
3600.08/3336.93	c number of internal skipping 	: 0
3600.08/3336.93	c number of derivation steps 	: 0
3600.08/3336.93	c number of skipped derivation steps 	: 0
3600.08/3336.93	c number of remaining unassigned 	: 0
3600.08/3336.93	c number of remaining assigned 	: 0
3600.08/3336.93	c number of falsified literals weakened from reason	: 0
3600.08/3336.93	c number of falsified literals weakened from conflict	: 0
3600.08/3336.93	c time for arithmetic operations	: 0
3600.08/3336.93	c minimum degree of deleted constraints	: null
3600.08/3336.93	c maximum degree of deleted constraints	: null
3600.08/3336.93	c number of deleted constraints	: 0
3600.08/3336.93	c speed (assignments/second)	: 41927.295253233984
3600.08/3336.93	c non guided choices	: 931
3600.08/3336.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 252086
3600.08/3336.99	s UNKNOWN
3600.08/3336.99	c Total wall clock time (in seconds): 3336.87

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452304-1721444939/watcher-4452304-1721444939 -o /tmp/evaluation-result-4452304-1721444939/solver-4452304-1721444939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015387 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452304-1721444939.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
Current StackSize limit: 8192 KiB

solver pid=1015430, runsolver pid=1015425

[startup+0.100059 s]*
/proc/loadavg: 1.10 1.49 2.49 9/323 1015519
/proc/meminfo: memFree=125662152/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=18975048 memory=62816 CPUtime=0.13 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 7241 0 0 0 11 2 0 0 20 0 18 0 196654492 19430449152 15704 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4743762 15704 5594 1 0 549340 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 5782 0 0 0 7 1 0 0 20 0 18 0 196654493 19430449152 15704 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=18975048 memory=14994 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196654495 19430449152 15704 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196654496 19430449152 15704 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62816 KiB

[startup+0.20626 s]*
/proc/loadavg: 1.10 1.49 2.49 12/324 1015520
/proc/meminfo: memFree=125609924/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19041612 memory=69512 CPUtime=0.32 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 7701 0 0 0 29 3 0 0 20 0 19 0 196654492 19498610688 17378 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4760403 17378 5835 1 0 549889 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 5978 0 0 0 16 1 0 0 20 0 19 0 196654493 19498610688 17378 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19041612 memory=14994 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196654495 19498610688 17378 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196654496 19498610688 17378 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196654510 19498610688 17378 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69512 KiB

[startup+0.313081 s]*
/proc/loadavg: 1.10 1.49 2.49 12/324 1015520
/proc/meminfo: memFree=125493156/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19042348 memory=80876 CPUtime=0.52 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 11130 0 0 0 49 3 0 0 20 0 19 0 196654492 19499364352 20219 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4760587 20219 5837 1 0 551704 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19041612 memory=-7452715740904252259 CPUtime=0.26 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 5987 0 0 0 25 1 0 0 20 0 19 0 196654493 19498610688 20088 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196654495 19498610688 20088 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196654496 19498610688 20088 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196654510 19498610688 20088 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19042348 KiB
Current children cumulated memory: 80876 KiB

[startup+0.705686 s]
/proc/loadavg: 1.10 1.49 2.49 14/327 1015523
/proc/meminfo: memFree=125373228/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19041612 memory=117444 CPUtime=1.27 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 14070 0 0 0 122 5 0 0 20 0 19 0 196654492 19498610688 29361 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4760403 29361 5853 1 0 553596 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19041612 memory=13012 CPUtime=0.63 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 6005 0 0 0 61 2 0 0 20 0 19 0 196654493 19498610688 29361 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19041612 memory=13012 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196654495 19498610688 29361 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196654496 19498610688 29361 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19041612 memory=2636 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196654510 19498610688 29361 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 117444 KiB

[startup+1.50023 s]
/proc/loadavg: 1.10 1.49 2.49 8/328 1015526
/proc/meminfo: memFree=125013120/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=261752 CPUtime=2.36 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 14409 0 0 0 229 7 0 0 20 0 20 0 196654492 19566772224 65438 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 65438 5853 1 0 553949 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=13012 CPUtime=1.3 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 6102 0 0 0 127 3 0 0 20 0 20 0 196654493 19566772224 65438 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=2636 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 65438 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 65438 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=1976 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 65438 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 261752 KiB

[startup+3.10613 s]
/proc/loadavg: 1.10 1.49 2.49 7/331 1015529
/proc/meminfo: memFree=123695064/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=501920 CPUtime=4.28 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 16457 0 0 0 416 12 0 0 20 0 20 0 196654492 19566772224 125480 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 125480 5853 1 0 553949 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=0 CPUtime=2.67 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 6265 0 0 0 264 3 0 0 20 0 20 0 196654493 19566772224 125480 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 125480 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 125480 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=47000 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 125480 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 501920 KiB

[startup+6.30065 s]
/proc/loadavg: 1.41 1.54 2.50 7/331 1015529
/proc/meminfo: memFree=121189348/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=972268 CPUtime=7.69 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 19156 0 0 0 746 23 0 0 20 0 20 0 196654492 19566772224 243067 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 243067 5853 1 0 1080355 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=0 CPUtime=5.61 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 6976 0 0 0 553 8 0 0 20 0 20 0 196654493 19566772224 243067 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=-8412658753507525235 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 243067 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=261752 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 243067 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 243067 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 972268 KiB

[startup+12.7007 s]
/proc/loadavg: 1.62 1.59 2.51 6/331 1015530
/proc/meminfo: memFree=116542876/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=1898620 CPUtime=14.66 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 21867 0 0 0 1425 41 0 0 20 0 20 0 196654492 19566772224 474655 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 474655 5853 1 0 1560803 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=0 CPUtime=11.39 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 7471 0 0 0 1126 13 0 0 20 0 20 0 196654493 19566772224 474655 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=-7452715740904319331 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 474655 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 474655 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 474655 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 14.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1898620 KiB

[startup+25.5007 s]
/proc/loadavg: 2.31 1.74 2.55 6/331 1015532
/proc/meminfo: memFree=106495064/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=3520848 CPUtime=28.59 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 25832 0 0 0 2787 72 0 0 20 0 20 0 196654492 19566772224 880212 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 880212 5853 1 0 1769695 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=11488 CPUtime=22.82 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 8122 0 0 0 2264 18 0 0 20 0 20 0 196654493 19566772224 880212 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 196654494 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=3043480 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 880212 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=5859561778171761232 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 880212 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=3270828 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 880212 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 28.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3520848 KiB

[startup+51.1057 s]
/proc/loadavg: 3.34 2.03 2.62 7/331 1015538
/proc/meminfo: memFree=93882372/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=5515672 CPUtime=56.77 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 46348 0 0 0 5562 115 0 0 20 0 20 0 196654492 19566772224 1378918 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 1378918 5861 1 0 2087840 0

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

/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 3798398 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=15193592 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 1277 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 3798398 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=15193592 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 3798398 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 3146.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15193592 KiB

[startup+2982.31 s]
/proc/loadavg: 4.51 4.78 4.86 6/335 1017462
/proc/meminfo: memFree=77645428/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=15193800 CPUtime=3216.71 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 713721 0 0 0 321183 488 0 0 20 0 20 0 196654492 19566772224 3798450 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 3798450 5908 1 0 4087522 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=13012 CPUtime=2808.07 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) S 1015425 1015430 1015377 0 -1 1077936192 235631 0 0 0 280689 118 0 0 20 0 20 0 196654493 19566772224 3798450 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 196654498 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=-7452715740904319331 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 3798450 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=15193800 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 1286 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 3798450 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=15193796 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 3798450 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 3216.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15193800 KiB

[startup+3042.3 s]
/proc/loadavg: 4.85 4.83 4.88 7/335 1017472
/proc/meminfo: memFree=77521756/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=15193804 CPUtime=3279.56 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 720224 0 0 0 327465 491 0 0 20 0 20 0 196654492 19566772224 3798451 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 3798451 5908 1 0 4087522 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=15193804 CPUtime=2864.41 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 237379 0 0 0 286322 119 0 0 20 0 20 0 196654493 19566772224 3798451 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 196654498 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=15193804 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 3798451 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=47000 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 1286 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 3798451 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 3798451 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 3279.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15193804 KiB

[startup+3102.3 s]
/proc/loadavg: 4.87 4.87 4.89 6/334 1017487
/proc/meminfo: memFree=77438536/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=15193888 CPUtime=3349.25 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 746468 0 0 0 334426 499 0 0 20 0 20 0 196654492 19566772224 3798472 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 3798472 5908 1 0 4087522 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=15193800 CPUtime=2921.42 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 250843 0 0 0 292022 120 0 0 20 0 20 0 196654493 19566772224 3798472 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 196654499 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=15193808 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 3798472 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=15193812 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 1326 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 3798472 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=15193808 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 3798472 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 3349.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15193888 KiB

[startup+3162.3 s]
/proc/loadavg: 4.59 4.80 4.87 6/334 1017508
/proc/meminfo: memFree=77338976/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=15193900 CPUtime=3411.18 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 750349 0 0 0 340616 502 0 0 20 0 20 0 196654492 19566772224 3798475 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 3798475 5908 1 0 4087522 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=15193800 CPUtime=2978.86 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 252682 0 0 0 297766 120 0 0 20 0 20 0 196654493 19566772224 3798475 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 196654502 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=15193808 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 3798475 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=2636 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 1326 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 3798475 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=15193896 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 3798475 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 3411.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15193900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.44 4.72 4.83 6/334 1017519
/proc/meminfo: memFree=77206744/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=15193904 CPUtime=3473.67 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 755172 0 0 0 346862 505 0 0 20 0 20 0 196654492 19566772224 3798476 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 3798476 5908 1 0 4087522 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=15193808 CPUtime=3035.92 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 253694 0 0 0 303471 121 0 0 20 0 20 0 196654493 19566772224 3798476 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 196654502 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=15193904 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 3798476 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=15193904 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 1326 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 3798476 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=15193904 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 3798476 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 3473.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15193904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.65 4.74 4.83 6/332 1017530
/proc/meminfo: memFree=77156652/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=15193968 CPUtime=3543.89 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 782587 0 0 0 353877 512 0 0 20 0 20 0 196654492 19566772224 3798492 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 3798492 5923 1 0 4087522 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=15193968 CPUtime=3092.58 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 263938 0 0 0 309136 122 0 0 20 0 20 0 196654493 19566772224 3798492 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 196654502 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 3798492 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 1346 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 3798492 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 3798492 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 3543.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15193968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3336.9 s]
/proc/loadavg: 4.67 4.72 4.82 6/332 1017609
/proc/meminfo: memFree=91499952/131524600 swapFree=131071996/131071996
[pid=1015430] ppid=1015425 vsize=19108176 memory=15193984 CPUtime=3600.08 cores=0,2
/proc/1015430/stat : 1015430 (java) S 1015425 1015430 1015377 0 -1 1077936128 785670 0 0 0 359493 515 0 0 20 0 20 0 196654492 19566772224 3798496 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
/proc/1015430/statm: 4777044 3798496 5923 1 0 4087522 0
[pid=1015430/tid=1015436] ppid=1015425 vsize=19108176 memory=15193984 CPUtime=3144.67 cores=0,2
/proc/1015430/task/1015436/stat : 1015436 (java) R 1015425 1015430 1015377 0 -1 4194368 265432 0 0 0 314345 122 0 0 20 0 20 0 196654493 19566772224 3798496 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 196654502 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015471] ppid=1015425 vsize=19108176 memory=15193972 CPUtime=0 cores=0,2
/proc/1015430/task/1015471/stat : 1015471 (Finalizer) S 1015425 1015430 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196654495 19566772224 3798496 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015488] ppid=1015425 vsize=19108176 memory=15193984 CPUtime=0 cores=0,2
/proc/1015430/task/1015488/stat : 1015488 (Common-Cleaner) S 1015425 1015430 1015377 0 -1 1077936192 1347 0 0 0 0 0 0 0 20 0 20 0 196654496 19566772224 3798496 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
[pid=1015430/tid=1015520] ppid=1015425 vsize=19108176 memory=-7452715740904319331 CPUtime=0 cores=0,2
/proc/1015430/task/1015520/stat : 1015520 (Timer-0) S 1015425 1015430 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196654510 19566772224 3798496 134679101440 94399604494336 94399604498032 140727771720112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94399604505848 94399604506640 94399632261120 140727771726853 140727771726943 140727771726943 140727771733960 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15193984 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.07 s, system=5.19666 s

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

[startup+3337 s]*
/proc/loadavg: 4.67 4.72 4.82 4/327 1017612
/proc/meminfo: memFree=91365296/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3337.05
CPU time (s): 3600.27
CPU user time (s): 3595.07
CPU system time (s): 5.19666
CPU usage (%): 107.888
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 15193984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.07
system time used= 5.19666
maximum resident set size= 15195680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 787083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117700
involuntary context switches= 42353


# summary of solver processes directly reported to runsolver:
#   pid: 1015430
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3595.07
#   total CPU system time (s): 5.19666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13087 second user time and 18.1572 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 05:09:11
IDJOB=4452304
IDBENCH=164232
IDSOLVER=3058
FILE ID=nodeC016/4452304-1721444939
RUNJOBID= nodeC016-1721444951-1015387
SLURM_JOB_ID= 7545662
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-app2-2.0.u.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452304-1721444939/watcher-4452304-1721444939 -o /tmp/evaluation-result-4452304-1721444939/solver-4452304-1721444939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015387 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452304-1721444939.opb

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

MD5SUM BENCH= 4089d6e1b9a84cf72ba2a08c7aa75617
RANDOM SEED=1477503843

nodeC016.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	: 0xb00002a
cpu MHz		: 3572.026
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.70
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		: 3633.767
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.63
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		: 3589.827
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.70
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		: 3683.893
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.63
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		: 3578.210
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.70
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		: 3511.891
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.63
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		: 3626.477
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.70
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		: 3621.728
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125825824 kB
MemAvailable:   129699996 kB
Buffers:          419220 kB
Cached:          4296592 kB
SwapCached:            0 kB
Active:           693060 kB
Inactive:        4386392 kB
Active(anon):       1436 kB
Inactive(anon):   408116 kB
Active(file):     691624 kB
Inactive(file):  3978276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4176 kB
Writeback:             0 kB
AnonPages:        362612 kB
Mapped:           107428 kB
Shmem:             45912 kB
KReclaimable:      87840 kB
Slab:             199180 kB
SReclaimable:      87840 kB
SUnreclaim:       111340 kB
KernelStack:        3856 kB
PageTables:         9028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     705292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73440 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-20 06:04:48