Trace number 4451422

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 2024 2024-07-07? (TO) 3600.21 3622.2

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v110-n1.opb
MD5SUMc8af151b30782e1495a07a26686ba07d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.026191
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables219
Total number of constraints110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)110
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.10	c Number of processors 	2
0.10/0.14	--- Begin Solver configuration ---
0.10/0.14	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.10/0.14	Learn all clauses as in MiniSAT
0.10/0.14	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	Expensive reason simplification
0.10/0.14	Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	timeout=2147483s
0.10/0.14	DB Simplification allowed=false
0.10/0.14	Listener: none
0.10/0.14	--- End Solver configuration ---
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4451422-1721839920.opb
0.10/0.14	c reading problem ... 
0.10/0.16	c using VERIPB proof format
0.10/0.16	c  no objective function found
0.10/0.18	c ... done. Wall clock time 0.03s.
0.10/0.18	c declared #vars     219
0.10/0.18	c #constraints  220
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.10/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 218
0.10/0.18	c 220 constraints processed.
1.04/0.66	c cleaning 2496 clauses out of 5000 with flag 29191/5000
1.83/1.02	c cleaning 4250 clauses out of 8504 with flag 68503/11000
2.40/1.31	c cleaning 5622 clauses out of 11255 with flag 118748/18001
2.98/1.62	c cleaning 6806 clauses out of 13632 with flag 174216/26000
3.48/1.97	c cleaning 7910 clauses out of 15828 with flag 240007/35002
3.94/2.36	c cleaning 8951 clauses out of 17917 with flag 309287/45001
4.50/2.86	c cleaning 9973 clauses out of 19965 with flag 391166/56000
5.09/3.49	c cleaning 10989 clauses out of 21994 with flag 483169/68002
5.89/4.20	c cleaning 11993 clauses out of 24004 with flag 589459/81001
6.49/4.83	c cleaning 13001 clauses out of 26010 with flag 688623/95000
7.19/5.53	c cleaning 14000 clauses out of 28011 with flag 805052/110002
7.90/6.29	c cleaning 14992 clauses out of 30009 with flag 918946/126000
8.94/7.25	c cleaning 16002 clauses out of 32017 with flag 1049064/143000
9.88/8.19	c cleaning 17001 clauses out of 34015 with flag 1186923/161000
11.12/9.20	c cleaning 17997 clauses out of 36016 with flag 1334878/180002
12.12/10.28	c cleaning 19002 clauses out of 38020 with flag 1484008/200003
13.31/11.50	c cleaning 20000 clauses out of 40016 with flag 1647931/221001
14.69/12.89	c cleaning 20998 clauses out of 42015 with flag 1818361/243000
16.18/14.34	c cleaning 21998 clauses out of 44018 with flag 1998510/266001
17.77/15.91	c cleaning 23008 clauses out of 46019 with flag 2188014/290000
19.54/17.71	c cleaning 24002 clauses out of 48012 with flag 2388295/315001
21.14/19.39	c cleaning 24999 clauses out of 50009 with flag 2607631/341000
23.07/21.26	c cleaning 26001 clauses out of 52012 with flag 2831838/368002
24.86/23.08	c cleaning 26998 clauses out of 54009 with flag 3041747/396000
27.25/25.44	c cleaning 27998 clauses out of 56013 with flag 3316140/425002
29.42/27.65	c cleaning 28996 clauses out of 58014 with flag 3564761/455001
31.61/29.86	c cleaning 30003 clauses out of 60017 with flag 3813346/486000
34.04/32.61	c cleaning 30996 clauses out of 62014 with flag 4083547/518000
36.54/35.12	c cleaning 31997 clauses out of 64019 with flag 4347193/551001
39.04/37.68	c cleaning 33003 clauses out of 66022 with flag 4620265/585001
41.72/40.33	c cleaning 34000 clauses out of 68019 with flag 4909985/620001
44.43/43.09	c cleaning 35001 clauses out of 70018 with flag 5200390/656000
47.42/46.04	c cleaning 36004 clauses out of 72018 with flag 5500454/693001
51.10/49.74	c cleaning 37004 clauses out of 74014 with flag 5807588/731001
54.10/52.76	c cleaning 37994 clauses out of 76010 with flag 6129413/770001
57.40/56.08	c cleaning 39000 clauses out of 78016 with flag 6447012/810001
60.80/59.40	c cleaning 40003 clauses out of 80015 with flag 6773026/851000
64.19/62.95	c cleaning 40996 clauses out of 82012 with flag 7111455/893000
67.88/66.66	c cleaning 41999 clauses out of 84016 with flag 7458632/936000
72.07/70.84	c cleaning 43001 clauses out of 86017 with flag 7850846/980000
76.97/75.75	c cleaning 43997 clauses out of 88016 with flag 8288811/1025000
81.76/80.56	c cleaning 45002 clauses out of 90019 with flag 8731429/1071000
86.05/84.87	c cleaning 46003 clauses out of 92017 with flag 9128382/1118000
90.75/89.50	c cleaning 47005 clauses out of 94016 with flag 9538526/1166002
95.36/94.64	c cleaning 47996 clauses out of 96009 with flag 9968702/1215000
99.76/99.03	c cleaning 49001 clauses out of 98014 with flag 10391079/1265001
105.33/104.67	c cleaning 50000 clauses out of 100012 with flag 10828530/1316000
111.02/110.30	c cleaning 50991 clauses out of 102014 with flag 11259709/1368002
116.22/115.53	c cleaning 52001 clauses out of 104022 with flag 11736388/1421001
121.60/120.91	c cleaning 53004 clauses out of 106021 with flag 12170964/1475001
128.04/127.62	c cleaning 53988 clauses out of 108019 with flag 12706102/1530003
134.03/133.62	c cleaning 55010 clauses out of 110028 with flag 13193640/1586000
140.23/139.89	c cleaning 55998 clauses out of 112018 with flag 13692189/1643000
146.12/145.79	c cleaning 56995 clauses out of 114020 with flag 14198035/1701000
153.20/152.80	c cleaning 58006 clauses out of 116027 with flag 14730544/1760002
159.83/159.75	c cleaning 59001 clauses out of 118019 with flag 15235714/1820000
166.64/166.52	c cleaning 60006 clauses out of 120019 with flag 15756857/1881001
173.52/173.42	c cleaning 60998 clauses out of 122012 with flag 16270788/1943000
180.41/180.35	c cleaning 62002 clauses out of 124015 with flag 16792679/2006001
187.62/187.72	c cleaning 63002 clauses out of 126013 with flag 17356669/2070001
195.04/195.11	c cleaning 64003 clauses out of 128012 with flag 17918662/2135002
202.31/202.45	c cleaning 64996 clauses out of 130007 with flag 18474270/2201000
210.50/210.66	c cleaning 66002 clauses out of 132012 with flag 19068671/2268001
218.71/219.03	c cleaning 67000 clauses out of 134011 with flag 19631937/2336002
227.11/227.45	c cleaning 67994 clauses out of 136009 with flag 20231627/2405000
235.99/236.30	c cleaning 69002 clauses out of 138016 with flag 20828426/2475001
245.17/245.55	c cleaning 69996 clauses out of 140013 with flag 21436890/2546000
254.59/255.17	c cleaning 70998 clauses out of 142020 with flag 22067384/2618003
264.08/264.63	c cleaning 72004 clauses out of 144019 with flag 22689169/2691000
273.57/274.16	c cleaning 73003 clauses out of 146016 with flag 23341107/2765001
283.86/285.21	c cleaning 74000 clauses out of 148014 with flag 24004143/2840002
294.39/295.83	c cleaning 74994 clauses out of 150016 with flag 24663753/2916004
305.18/306.70	c cleaning 75996 clauses out of 152018 with flag 25325058/2993000
316.54/318.39	c cleaning 77003 clauses out of 154022 with flag 26002880/3071000
327.44/329.31	c cleaning 78006 clauses out of 156020 with flag 26669181/3150001
339.10/341.47	c cleaning 78999 clauses out of 158014 with flag 27394739/3230001
350.44/352.88	c cleaning 79999 clauses out of 160016 with flag 28109851/3311002
361.93/364.48	c cleaning 80999 clauses out of 162017 with flag 28802210/3393002
375.02/377.91	c cleaning 81999 clauses out of 164016 with flag 29534860/3476000
387.85/390.73	c cleaning 82998 clauses out of 166017 with flag 30270218/3560000
405.22/408.55	c cleaning 84001 clauses out of 168019 with flag 31082948/3645000
418.74/422.02	c cleaning 85003 clauses out of 170019 with flag 31868397/3731001
431.89/435.30	c cleaning 86000 clauses out of 172016 with flag 32636175/3818001
446.26/449.71	c cleaning 86998 clauses out of 174015 with flag 33416915/3906000
459.99/463.84	c cleaning 88003 clauses out of 176018 with flag 34198552/3995001
475.00/478.82	c cleaning 88996 clauses out of 178016 with flag 35009775/4085002
489.95/493.99	c cleaning 90000 clauses out of 180020 with flag 35821661/4176002
504.13/508.18	c cleaning 90995 clauses out of 182018 with flag 36619924/4268000
521.99/526.15	c cleaning 92009 clauses out of 184023 with flag 37432168/4361000
537.65/541.88	c cleaning 93000 clauses out of 186014 with flag 38259626/4455000
553.51/557.93	c cleaning 93999 clauses out of 188015 with flag 39115249/4550001
570.25/574.85	c cleaning 95000 clauses out of 190016 with flag 39964462/4646001
587.53/592.42	c cleaning 95998 clauses out of 192015 with flag 40844045/4743000
606.59/611.66	c cleaning 97005 clauses out of 194021 with flag 41795133/4841004
623.40/628.67	c cleaning 97999 clauses out of 196014 with flag 42667383/4940002
640.77/646.15	c cleaning 98994 clauses out of 198014 with flag 43577555/5040001
659.22/664.67	c cleaning 100001 clauses out of 200020 with flag 44500368/5141001
677.89/683.49	c cleaning 101000 clauses out of 202019 with flag 45412771/5243001
696.39/701.93	c cleaning 102002 clauses out of 204018 with flag 46317151/5346000
714.86/720.56	c cleaning 103001 clauses out of 206016 with flag 47230420/5450000
735.13/741.06	c cleaning 104000 clauses out of 208016 with flag 48257581/5555001
753.75/759.67	c cleaning 105001 clauses out of 210018 with flag 49199500/5661003
774.23/780.21	c cleaning 106004 clauses out of 212016 with flag 50141489/5768002
794.39/800.64	c cleaning 107002 clauses out of 214012 with flag 51124968/5876002
815.48/821.79	c cleaning 107996 clauses out of 216008 with flag 52164267/5985000
835.44/841.85	c cleaning 108995 clauses out of 218012 with flag 53174310/6095000
855.33/862.00	c cleaning 110001 clauses out of 220018 with flag 54162401/6206001
876.91/883.67	c cleaning 110999 clauses out of 222016 with flag 55160682/6318000
898.10/905.25	c cleaning 111987 clauses out of 224017 with flag 56148605/6431000
921.72/929.23	c cleaning 113007 clauses out of 226031 with flag 57189431/6545001
943.62/951.17	c cleaning 114005 clauses out of 228024 with flag 58177310/6660001
966.07/974.00	c cleaning 115002 clauses out of 230018 with flag 59253972/6776000
988.82/996.88	c cleaning 116005 clauses out of 232017 with flag 60331280/6893001
1012.58/1020.76	c cleaning 116997 clauses out of 234012 with flag 61377839/7011001
1036.77/1045.15	c cleaning 117998 clauses out of 236014 with flag 62463665/7130000
1060.84/1069.27	c cleaning 119000 clauses out of 238017 with flag 63564351/7250001
1086.45/1095.07	c cleaning 120001 clauses out of 240016 with flag 64683618/7371000
1114.50/1123.21	c cleaning 120993 clauses out of 242016 with flag 65833586/7493001
1139.34/1148.24	c cleaning 122003 clauses out of 244023 with flag 66937351/7616001
1164.16/1177.04	c cleaning 123000 clauses out of 246019 with flag 68099329/7740000
1190.54/1203.53	c cleaning 124006 clauses out of 248019 with flag 69275238/7865000
1215.91/1228.90	c cleaning 125002 clauses out of 250013 with flag 70399664/7991000
1242.18/1255.44	c cleaning 125995 clauses out of 252011 with flag 71513882/8118000
1270.41/1283.96	c cleaning 126999 clauses out of 254017 with flag 72690564/8246001
1299.64/1313.43	c cleaning 127999 clauses out of 256019 with flag 73851017/8375002
1326.86/1340.80	c cleaning 129005 clauses out of 258021 with flag 75006604/8505003
1355.61/1369.63	c cleaning 130003 clauses out of 260014 with flag 76152523/8636001
1386.42/1400.62	c cleaning 131002 clauses out of 262011 with flag 77380942/8768001
1416.97/1431.39	c cleaning 131995 clauses out of 264008 with flag 78604453/8901000
1446.02/1460.44	c cleaning 133001 clauses out of 266013 with flag 79752638/9035000
1475.33/1489.81	c cleaning 134003 clauses out of 268013 with flag 80967081/9170001
1505.34/1519.95	c cleaning 134997 clauses out of 270009 with flag 82194609/9306000
1535.53/1550.25	c cleaning 135996 clauses out of 272014 with flag 83402399/9443002
1569.82/1584.62	c cleaning 136996 clauses out of 274017 with flag 84708893/9581001
1600.95/1615.76	c cleaning 138001 clauses out of 276020 with flag 86001985/9720000
1632.93/1647.79	c cleaning 139001 clauses out of 278021 with flag 87256908/9860002
1663.87/1678.73	c cleaning 140004 clauses out of 280021 with flag 88497547/10001003
1700.51/1715.42	c cleaning 141004 clauses out of 282014 with flag 89800376/10143000
1732.77/1747.73	c cleaning 141997 clauses out of 284011 with flag 91042562/10286001
1766.78/1782.10	c cleaning 142994 clauses out of 286013 with flag 92273375/10430000
1802.04/1817.65	c cleaning 144003 clauses out of 288020 with flag 93608977/10575001
1835.48/1851.37	c cleaning 144999 clauses out of 290016 with flag 94901650/10721000
1872.03/1887.98	c cleaning 145999 clauses out of 292017 with flag 96226162/10868000
1910.35/1926.33	c cleaning 147005 clauses out of 294019 with flag 97585275/11016001
1945.39/1961.43	c cleaning 148002 clauses out of 296015 with flag 98953562/11165002
1983.30/1999.49	c cleaning 148997 clauses out of 298012 with flag 100267441/11315001
2020.20/2036.45	c cleaning 150005 clauses out of 300015 with flag 101620626/11466001
2058.26/2074.75	c cleaning 150994 clauses out of 302010 with flag 103029368/11618001
2096.15/2112.73	c cleaning 152002 clauses out of 304015 with flag 104394272/11771000
2133.37/2150.08	c cleaning 153000 clauses out of 306013 with flag 105779375/11925000
2173.02/2189.79	c cleaning 153986 clauses out of 308013 with flag 107190312/12080000
2218.61/2235.44	c cleaning 155009 clauses out of 310027 with flag 108818986/12236000
2260.44/2277.67	c cleaning 155995 clauses out of 312018 with flag 110293445/12393000
2303.19/2320.41	c cleaning 157005 clauses out of 314023 with flag 111776242/12551000
2343.19/2360.59	c cleaning 158001 clauses out of 316018 with flag 113181345/12710000
2386.35/2404.08	c cleaning 158999 clauses out of 318017 with flag 114697349/12870000
2431.04/2449.18	c cleaning 160003 clauses out of 320019 with flag 116193020/13031001
2474.59/2492.96	c cleaning 160997 clauses out of 322015 with flag 117658596/13193000
2518.11/2536.50	c cleaning 162009 clauses out of 324020 with flag 119145208/13356002
2563.14/2581.64	c cleaning 163001 clauses out of 326009 with flag 120621950/13520000
2606.49/2625.01	c cleaning 163997 clauses out of 328010 with flag 122130953/13685002
2650.81/2669.44	c cleaning 164998 clauses out of 330011 with flag 123633626/13851000
2704.19/2722.94	c cleaning 165992 clauses out of 332013 with flag 125362736/14018000
2748.19/2767.10	c cleaning 167004 clauses out of 334022 with flag 127048656/14186001
2790.98/2809.96	c cleaning 167998 clauses out of 336018 with flag 128579895/14355001
2834.54/2853.51	c cleaning 168997 clauses out of 338019 with flag 130111038/14525000
2882.42/2901.58	c cleaning 170007 clauses out of 340023 with flag 131651040/14696001
2932.72/2951.97	c cleaning 171003 clauses out of 342015 with flag 133187259/14868000
2981.33/3000.66	c cleaning 172000 clauses out of 344013 with flag 134747426/15041001
3030.99/3050.45	c cleaning 172996 clauses out of 346012 with flag 136359998/15215000
3079.28/3098.77	c cleaning 174003 clauses out of 348017 with flag 137961302/15390001
3129.76/3149.25	c cleaning 175002 clauses out of 350014 with flag 139540348/15566001
3179.35/3199.37	c cleaning 176001 clauses out of 352011 with flag 141163047/15743000
3228.66/3249.17	c cleaning 176995 clauses out of 354010 with flag 142730558/15921000
3279.20/3300.20	c cleaning 178000 clauses out of 356015 with flag 144324462/16100000
3331.52/3352.73	c cleaning 179002 clauses out of 358018 with flag 145966723/16280003
3385.64/3407.00	c cleaning 179999 clauses out of 360013 with flag 147626504/16461000
3439.95/3461.40	c cleaning 180997 clauses out of 362014 with flag 149285352/16643000
3494.90/3516.56	c cleaning 181999 clauses out of 364018 with flag 150916607/16826001
3546.36/3568.01	c cleaning 182996 clauses out of 366018 with flag 152583364/17010000
3597.18/3619.23	c cleaning 184001 clauses out of 368023 with flag 154263777/17195001
3600.06/3622.13	c starts		: 19153
3600.06/3622.13	c timeout
3600.06/3622.13	c conflicts		: 17207404
3600.06/3622.13	c decisions		: 19839514
3600.06/3622.13	c propagations		: 448691151
3600.06/3622.13	c inspects		: 55614327866
3600.06/3622.13	c shortcuts		: 0
3600.06/3622.13	c learnt literals	: 0
3600.06/3622.13	c learnt binary clauses	: 0
3600.06/3622.13	c learnt ternary clauses	: 0
3600.06/3622.13	c learnt constraints	: 17207404
3600.06/3622.13	c ignored constraints	: 0
3600.06/3622.13	c root simplifications	: 0
3600.06/3622.13	c removed literals (reason simplification)	: 41205388
3600.06/3622.13	c reason swapping (by a shorter reason)	: 0
3600.06/3622.13	c Calls to reduceDB	: 181
3600.06/3622.13	c Number of update (reduction) of LBD	: 3869221
3600.06/3622.13	c Imported unit clauses	: 0
3600.06/3622.13	c No decision after first conflict	: false
3600.06/3622.13	c number of reductions to clauses (during analyze)	: 0
3600.06/3622.13	c number of learned constraints concerned by reduction	: 0
3600.06/3622.13	c number of learning phase by resolution	: 0
3600.06/3622.13	c number of learning phase by cutting planes	: 0
3600.06/3622.13	c number of rounding to 1 operations	: 0
3600.06/3622.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3622.13	c number of reductions of the coefficients by power 2 	: 0
3600.06/3622.13	c number of right shift for reduction by power 2 	: 0
3600.06/3622.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3622.13	c number of ending skipping 	: 0
3600.06/3622.13	c number of internal skipping 	: 0
3600.06/3622.13	c number of derivation steps 	: 0
3600.06/3622.13	c number of skipped derivation steps 	: 0
3600.06/3622.13	c number of remaining unassigned 	: 0
3600.06/3622.14	c number of remaining assigned 	: 0
3600.06/3622.14	c number of falsified literals weakened from reason	: 0
3600.06/3622.14	c number of falsified literals weakened from conflict	: 0
3600.06/3622.14	c time for arithmetic operations	: 0
3600.06/3622.14	c minimum degree of deleted constraints	: null
3600.06/3622.14	c maximum degree of deleted constraints	: null
3600.06/3622.14	c number of deleted constraints	: 0
3600.06/3622.14	c speed (assignments/second)	: 123881.06603319592
3600.06/3622.14	c non guided choices	: 4135
3600.06/3622.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 196425
3600.06/3622.19	s UNKNOWN
3600.06/3622.19	c Total wall clock time (in seconds): 3622.047

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451422-1721839920/watcher-4451422-1721839920 -o /tmp/evaluation-result-4451422-1721839920/solver-4451422-1721839920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206430 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451422-1721839920 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451422-1721839920.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=206498, runsolver pid=206491

[startup+0.101256 s]*
/proc/loadavg: 1.99 2.76 3.43 12/332 206560
/proc/meminfo: memFree=126855968/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=18975048 memory=61612 CPUtime=0.1 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 6951 0 1 0 9 1 0 0 20 0 18 0 20520687 19430449152 15403 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4743762 15403 5582 1 0 549234 0
[pid=206498/tid=206504] ppid=206491 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 5570 0 1 0 6 1 0 0 20 0 18 0 20520688 19430449152 15403 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 20520691 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=18975048 memory=1499814 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20520692 19430449152 15403 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=18975048 memory=14135537057400351 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20520692 19430449152 15403 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61612 KiB

[startup+0.205974 s]*
/proc/loadavg: 1.99 2.76 3.43 14/336 206564
/proc/meminfo: memFree=126819400/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19041612 memory=70744 CPUtime=0.27 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 7547 0 1 0 25 2 0 0 20 0 19 0 20520687 19498610688 17686 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4760403 17686 5755 1 0 549910 0
[pid=206498/tid=206504] ppid=206491 vsize=19041612 memory=4782652875487838339 CPUtime=0.15 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 5902 0 1 0 14 1 0 0 20 0 19 0 20520688 19498610688 17686 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20520692 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19041612 memory=1499814 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 17686 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19041612 memory=14135537057400351 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 17686 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20520705 19498610688 17686 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70744 KiB

[startup+0.310092 s]*
/proc/loadavg: 1.99 2.76 3.43 16/336 206564
/proc/meminfo: memFree=126762804/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19041612 memory=86960 CPUtime=0.48 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 9324 0 1 0 45 3 0 0 20 0 19 0 20520687 19498610688 21740 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4760403 21740 5862 1 0 550738 0
[pid=206498/tid=206504] ppid=206491 vsize=19041612 memory=-8814782960795099836 CPUtime=0.25 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 5931 0 1 0 23 2 0 0 20 0 19 0 20520688 19498610688 21740 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20520692 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19041612 memory=1470489529345999449 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 21740 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 21740 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20520705 19498610688 21740 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86960 KiB

[startup+0.709091 s]
/proc/loadavg: 1.99 2.76 3.43 11/336 206564
/proc/meminfo: memFree=126623504/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19041612 memory=152100 CPUtime=1.23 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 11687 0 2 0 118 5 0 0 20 0 19 0 20520687 19498610688 38025 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4760403 38025 5894 1 0 552489 0
[pid=206498/tid=206504] ppid=206491 vsize=19041612 memory=75604 CPUtime=0.6 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 6003 0 1 0 57 3 0 0 20 0 19 0 20520688 19498610688 38025 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20520692 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19041612 memory=12316 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 38025 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19041612 memory=2272 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 38025 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19041612 memory=32140 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20520705 19498610688 38025 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 152100 KiB

[startup+1.50109 s]
/proc/loadavg: 1.99 2.76 3.43 11/339 206567
/proc/meminfo: memFree=126380024/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=185028 CPUtime=2.79 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 20572 0 2 0 272 7 0 0 20 0 20 0 20520687 19566772224 46257 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 46257 5926 1 0 555587 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=12316 CPUtime=1.37 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 6378 0 1 0 132 5 0 0 20 0 20 0 20520688 19566772224 46257 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20520692 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 46257 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2272 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 46257 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=32140 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 46257 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185028 KiB

[startup+3.10611 s]
/proc/loadavg: 1.99 2.76 3.43 5/340 206570
/proc/meminfo: memFree=126099572/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=320444 CPUtime=4.8 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 21540 0 2 0 467 13 0 0 20 0 20 0 20520687 19566772224 80111 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 80111 5926 1 0 555605 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=0 CPUtime=2.95 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 6841 0 1 0 285 10 0 0 20 0 20 0 20520688 19566772224 80111 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20520692 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 80111 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2020 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 80111 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=2272 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 80111 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 320444 KiB

[startup+6.30609 s]
/proc/loadavg: 2.15 2.78 3.43 5/340 206570
/proc/meminfo: memFree=125281168/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=477840 CPUtime=8.02 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 23022 0 2 0 782 20 0 0 20 0 20 0 20520687 19566772224 119460 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 119460 5926 1 0 555606 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=12316 CPUtime=6.11 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 7111 0 1 0 594 17 0 0 20 0 20 0 20520688 19566772224 119460 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20520692 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=2272 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 119460 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 119460 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 119460 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 477840 KiB

[startup+12.7011 s]
/proc/loadavg: 2.30 2.80 3.43 5/340 206571
/proc/meminfo: memFree=123774300/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=881728 CPUtime=14.59 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 30039 0 2 0 1424 35 0 0 20 0 20 0 20520687 19566772224 220432 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 220432 5926 1 0 555606 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=724032 CPUtime=12.44 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 8695 0 1 0 1213 31 0 0 20 0 20 0 20520688 19566772224 220432 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20520692 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=11384 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 220432 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 220432 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 220432 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 881728 KiB

[startup+25.5011 s]
/proc/loadavg: 2.68 2.86 3.45 5/340 206573
/proc/meminfo: memFree=121928784/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=1326296 CPUtime=27.35 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 36517 0 2 0 2682 53 0 0 20 0 20 0 20520687 19566772224 331574 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 331574 5926 1 0 555606 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=1490607 CPUtime=25.08 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 10283 0 1 0 2460 48 0 0 20 0 20 0 20520688 19566772224 331574 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20520692 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 331574 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 331574 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=1501761 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 331574 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 27.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326296 KiB

[startup+51.1057 s]
/proc/loadavg: 3.20 2.97 3.47 5/340 206576
/proc/meminfo: memFree=121170032/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=1330412 CPUtime=52.5 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 41221 0 2 0 5185 65 0 0 20 0 20 0 20520687 19566772224 332603 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 332603 5926 1 0 555606 0

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

/proc/meminfo: memFree=92952136/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=2172908 CPUtime=3261.51 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 178922 0 2 0 325184 967 0 0 20 0 20 0 20520687 19566772224 543227 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 543227 5942 1 0 557521 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=2172908 CPUtime=3245.85 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 81729 0 1 0 323740 845 0 0 20 0 20 0 20520688 19566772224 543227 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20522286 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=2172908 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543227 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2172896 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 3533 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543227 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543227 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 3261.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/335 208452
/proc/meminfo: memFree=92583292/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=2172924 CPUtime=3321.13 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 181177 0 2 0 331133 980 0 0 20 0 20 0 20520687 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 543231 5942 1 0 557524 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=2172924 CPUtime=3305.28 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 82901 0 1 0 329672 856 0 0 20 0 20 0 20520688 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 20522295 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=2172924 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=-9103013336946811580 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 3628 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=75604 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 3321.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/335 208463
/proc/meminfo: memFree=92257560/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=2172924 CPUtime=3380.95 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 182883 0 2 0 337102 993 0 0 20 0 20 0 20520687 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 543231 5942 1 0 557524 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=2172920 CPUtime=3364.97 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 83912 0 1 0 335630 867 0 0 20 0 20 0 20520688 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 20522306 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=2172924 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2172924 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 3729 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=2172924 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543231 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 3380.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/335 208474
/proc/meminfo: memFree=91927776/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=2172932 CPUtime=3440.84 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 185102 0 2 0 343080 1004 0 0 20 0 20 0 20520687 19566772224 543233 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 543233 5942 1 0 557524 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=2172920 CPUtime=3424.65 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 85029 0 1 0 341589 876 0 0 20 0 20 0 20520688 19566772224 543233 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 20522314 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=2172924 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543233 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2172924 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543233 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=2172932 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543233 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 3440.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172932 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/338 208490
/proc/meminfo: memFree=91618016/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=2172956 CPUtime=3500.69 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 187021 0 2 0 349052 1017 0 0 20 0 20 0 20520687 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 543239 5942 1 0 557524 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=75604 CPUtime=3484.35 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 86134 0 1 0 347548 887 0 0 20 0 20 0 20520688 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 20522321 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=32140 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2272 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 3907 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=2172956 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 3500.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172956 KiB

[startup+3582.3 s]
/proc/loadavg: 4.37 4.18 4.11 5/338 208501
/proc/meminfo: memFree=91291704/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=2172956 CPUtime=3560.52 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 189091 0 2 0 355020 1032 0 0 20 0 20 0 20520687 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 543239 5942 1 0 557524 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=75604 CPUtime=3543.95 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 87482 0 1 0 353494 901 0 0 20 0 20 0 20520688 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 20522335 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2172956 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 3982 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 3560.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622.11 s]
/proc/loadavg: 4.36 4.20 4.12 7/337 208577
/proc/meminfo: memFree=96533744/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=2172956 CPUtime=3600.06 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 190822 0 2 0 358965 1041 0 0 20 0 20 0 20520687 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 543239 5942 1 0 557524 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=75604 CPUtime=3583.36 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 88186 0 1 0 357428 908 0 0 20 0 20 0 20520688 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20522340 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=37140 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2172956 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 4050 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=2172956 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.78 s, system=10.4345 s

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

[startup+3622.11 s]
/proc/loadavg: 4.36 4.20 4.12 7/337 208577
/proc/meminfo: memFree=96533744/131524600 swapFree=131059368/131071996
[pid=206498] ppid=206491 vsize=19108176 memory=2172956 CPUtime=3600.06 cores=1,3
/proc/206498/stat : 206498 (java) S 206491 206498 206418 0 -1 1077936128 190822 0 2 0 358965 1041 0 0 20 0 20 0 20520687 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
/proc/206498/statm: 4777044 543239 5942 1 0 557524 0
[pid=206498/tid=206504] ppid=206491 vsize=19108176 memory=75604 CPUtime=3583.36 cores=1,3
/proc/206498/task/206504/stat : 206504 (java) R 206491 206498 206418 0 -1 4194368 88186 0 1 0 357428 908 0 0 20 0 20 0 20520688 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 20522340 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206542] ppid=206491 vsize=19108176 memory=37140 CPUtime=0 cores=1,3
/proc/206498/task/206542/stat : 206542 (Finalizer) S 206491 206498 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206560] ppid=206491 vsize=19108176 memory=2172956 CPUtime=0 cores=1,3
/proc/206498/task/206560/stat : 206560 (Common-Cleaner) S 206491 206498 206418 0 -1 1077936192 4050 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
[pid=206498/tid=206562] ppid=206491 vsize=19108176 memory=2172956 CPUtime=0 cores=1,3
/proc/206498/task/206562/stat : 206562 (Timer-0) S 206491 206498 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543239 134679101440 94711370227712 94711370231408 140731244103216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94711370239224 94711370240016 94711374114816 140731244106667 140731244106849 140731244106849 140731244113864 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172956 KiB

Child status: 143

Real time (s): 3622.2
CPU time (s): 3600.21
CPU user time (s): 3589.78
CPU system time (s): 10.4345
CPU usage (%): 99.3928
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2172956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.78
system time used= 10.4345
maximum resident set size= 2174992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193351
page faults= 2
swaps= 0
block input operations= 1552
block output operations= 8728320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111634
involuntary context switches= 14770


# summary of solver processes directly reported to runsolver:
#   pid: 206498
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3589.78
#   total CPU system time (s): 10.4345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.06528 second user time and 18.9341 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-24 18:52:00
IDJOB=4451422
IDBENCH=162397
IDSOLVER=3079
FILE ID=nodeC021/4451422-1721839920
RUNJOBID= nodeC021-1721839920-206430
SLURM_JOB_ID= 7891546
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v110-n1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451422-1721839920/watcher-4451422-1721839920 -o /tmp/evaluation-result-4451422-1721839920/solver-4451422-1721839920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206430 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451422-1721839920 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451422-1721839920.opb

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

MD5SUM BENCH= c8af151b30782e1495a07a26686ba07d
RANDOM SEED=788125551

nodeC021.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		: 3551.635
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	: 7000.35
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		: 3554.781
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	: 7007.41
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		: 3433.596
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	: 7000.35
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		: 3569.280
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	: 7007.41
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		: 3393.914
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	: 7000.35
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		: 3628.938
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	: 7007.41
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		: 3288.588
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	: 7000.35
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		: 3219.790
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127025040 kB
MemAvailable:   129706780 kB
Buffers:          266740 kB
Cached:          3227864 kB
SwapCached:          440 kB
Active:          2570140 kB
Inactive:        1295216 kB
Active(anon):       1604 kB
Inactive(anon):   422648 kB
Active(file):    2568536 kB
Inactive(file):   872568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:              2772 kB
Writeback:             0 kB
AnonPages:        370008 kB
Mapped:           111144 kB
Shmem:             53464 kB
KReclaimable:     160568 kB
Slab:             280396 kB
SReclaimable:     160568 kB
SUnreclaim:       119828 kB
KernelStack:        4144 kB
PageTables:        10176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     769684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      322260 kB
DirectMap2M:    40345600 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-24 19:52:23