Trace number 4542901

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 VeriPB 2025-06-06? (TO) 3600.17 3595.59

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb
MD5SUMb02daac0bd5c49ad8b109680e19e1b42
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.041383
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables289
Total number of constraints146
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)144
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
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 PB25.v20250606
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.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/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.11	c Number of processors 	2
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@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 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-4542901-1753224403.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c using VERIPB proof format
0.10/0.15	c  no objective function found
0.10/0.17	c ... done. Wall clock time 0.026s.
0.10/0.17	c declared #vars     289
0.10/0.17	c #constraints  146
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.10/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 144
0.10/0.17	c 146 constraints processed.
0.87/0.60	c cleaning 2493 clauses out of 5002 with flag 16219/5002
1.65/0.91	c cleaning 4246 clauses out of 8508 with flag 36840/11001
2.23/1.24	c cleaning 5625 clauses out of 11262 with flag 61079/18001
2.83/1.50	c cleaning 6809 clauses out of 13638 with flag 88375/26002
3.23/1.72	c cleaning 7903 clauses out of 15827 with flag 121814/35000
3.62/1.95	c cleaning 8947 clauses out of 17925 with flag 156883/45001
4.22/2.23	c cleaning 9977 clauses out of 19978 with flag 196445/56001
4.78/2.52	c cleaning 10989 clauses out of 22001 with flag 244280/68001
5.16/2.82	c cleaning 12007 clauses out of 24014 with flag 293449/81003
5.56/3.27	c cleaning 12991 clauses out of 26004 with flag 356765/95000
5.96/3.63	c cleaning 13995 clauses out of 28014 with flag 411646/110001
6.37/4.03	c cleaning 14995 clauses out of 30018 with flag 474208/126000
6.90/4.53	c cleaning 15994 clauses out of 32023 with flag 544971/143000
7.32/4.97	c cleaning 16995 clauses out of 34029 with flag 612532/161000
7.82/5.44	c cleaning 17993 clauses out of 36034 with flag 684474/180000
8.32/5.99	c cleaning 19007 clauses out of 38041 with flag 761258/200000
9.02/6.69	c cleaning 20001 clauses out of 40035 with flag 847040/221001
9.73/7.32	c cleaning 21005 clauses out of 42034 with flag 933054/243001
10.43/8.01	c cleaning 21998 clauses out of 44031 with flag 1023829/266003
11.33/8.93	c cleaning 22998 clauses out of 46031 with flag 1136281/290001
12.03/9.62	c cleaning 24003 clauses out of 48034 with flag 1231371/315002
12.73/10.37	c cleaning 25000 clauses out of 50029 with flag 1331972/341000
14.03/11.63	c cleaning 26005 clauses out of 52029 with flag 1446550/368000
14.83/12.49	c cleaning 26997 clauses out of 54028 with flag 1559590/396004
15.72/13.34	c cleaning 27992 clauses out of 56029 with flag 1665069/425002
16.63/14.22	c cleaning 29008 clauses out of 58035 with flag 1778918/455000
17.53/15.14	c cleaning 29980 clauses out of 60027 with flag 1899337/486000
18.53/16.18	c cleaning 31014 clauses out of 62049 with flag 2026904/518002
19.62/17.21	c cleaning 32006 clauses out of 64033 with flag 2147824/551000
20.62/18.26	c cleaning 32992 clauses out of 66028 with flag 2275235/585001
21.82/19.44	c cleaning 34001 clauses out of 68035 with flag 2409898/620000
23.02/20.60	c cleaning 35006 clauses out of 70034 with flag 2547204/656000
24.22/21.89	c cleaning 36000 clauses out of 72028 with flag 2691614/693000
25.62/23.21	c cleaning 37001 clauses out of 74029 with flag 2845863/731001
27.03/24.67	c cleaning 37998 clauses out of 76027 with flag 3008445/770000
28.43/26.06	c cleaning 39007 clauses out of 78030 with flag 3158383/810001
29.82/27.49	c cleaning 39997 clauses out of 80023 with flag 3316556/851001
31.42/29.03	c cleaning 41004 clauses out of 82027 with flag 3481430/893002
33.02/30.66	c cleaning 41995 clauses out of 84021 with flag 3654063/936000
34.91/32.57	c cleaning 43001 clauses out of 86028 with flag 3844589/980002
36.71/34.34	c cleaning 43992 clauses out of 88025 with flag 4018016/1025000
38.40/36.05	c cleaning 44993 clauses out of 90033 with flag 4188754/1071000
40.21/37.89	c cleaning 46007 clauses out of 92040 with flag 4375791/1118000
42.11/39.74	c cleaning 47006 clauses out of 94034 with flag 4553841/1166001
44.30/41.90	c cleaning 47996 clauses out of 96027 with flag 4777755/1215000
46.21/43.87	c cleaning 49002 clauses out of 98034 with flag 4966911/1265003
48.21/45.89	c cleaning 50001 clauses out of 100030 with flag 5164871/1316001
50.41/48.01	c cleaning 50999 clauses out of 102028 with flag 5364111/1368000
52.71/50.32	c cleaning 52003 clauses out of 104030 with flag 5576859/1421001
54.81/52.44	c cleaning 53001 clauses out of 106026 with flag 5778640/1475000
57.01/54.65	c cleaning 53997 clauses out of 108028 with flag 5997225/1530003
59.31/56.99	c cleaning 55002 clauses out of 110029 with flag 6217207/1586001
61.81/59.45	c cleaning 56014 clauses out of 112027 with flag 6433334/1643001
64.30/61.94	c cleaning 56989 clauses out of 114012 with flag 6659408/1701000
66.91/64.51	c cleaning 58001 clauses out of 116023 with flag 6883537/1760000
69.51/67.14	c cleaning 58991 clauses out of 118022 with flag 7116722/1820000
72.20/69.87	c cleaning 59993 clauses out of 120032 with flag 7343575/1881001
75.00/72.65	c cleaning 60998 clauses out of 122038 with flag 7593535/1943000
78.00/75.67	c cleaning 61996 clauses out of 124041 with flag 7844377/2006001
81.35/78.74	c cleaning 63009 clauses out of 126044 with flag 8098161/2070000
84.35/81.78	c cleaning 63997 clauses out of 128035 with flag 8356698/2135000
87.66/85.09	c cleaning 65003 clauses out of 130038 with flag 8648054/2201000
91.45/88.83	c cleaning 66001 clauses out of 132035 with flag 8972718/2268000
94.57/92.00	c cleaning 66992 clauses out of 134034 with flag 9251764/2336000
98.17/95.55	c cleaning 68002 clauses out of 136043 with flag 9565984/2405001
101.78/99.12	c cleaning 69011 clauses out of 138040 with flag 9859602/2475000
105.47/102.81	c cleaning 69996 clauses out of 140030 with flag 10166802/2546001
109.10/106.42	c cleaning 70995 clauses out of 142033 with flag 10462138/2618000
112.78/110.13	c cleaning 72001 clauses out of 144039 with flag 10753755/2691001
116.60/113.98	c cleaning 73003 clauses out of 146037 with flag 11050517/2765000
121.28/118.60	c cleaning 73999 clauses out of 148034 with flag 11401152/2840000
125.40/122.75	c cleaning 74998 clauses out of 150035 with flag 11719089/2916000
129.39/126.79	c cleaning 76003 clauses out of 152037 with flag 12037678/2993000
133.60/130.94	c cleaning 77004 clauses out of 154035 with flag 12352810/3071001
138.22/135.51	c cleaning 77999 clauses out of 156030 with flag 12711303/3150000
142.62/140.00	c cleaning 78998 clauses out of 158031 with flag 13041867/3230000
147.33/144.60	c cleaning 80002 clauses out of 160033 with flag 13360489/3311000
151.83/149.16	c cleaning 80995 clauses out of 162032 with flag 13694615/3393001
156.54/153.83	c cleaning 81998 clauses out of 164039 with flag 14018287/3476003
161.53/158.88	c cleaning 83004 clauses out of 166038 with flag 14370290/3560000
166.45/163.79	c cleaning 84004 clauses out of 168035 with flag 14745889/3645001
171.88/169.10	c cleaning 85005 clauses out of 170032 with flag 15111162/3731002
176.96/174.20	c cleaning 85997 clauses out of 172025 with flag 15463164/3818000
182.37/179.63	c cleaning 86999 clauses out of 174029 with flag 15835813/3906001
187.61/184.85	c cleaning 87994 clauses out of 176030 with flag 16211255/3995001
193.30/190.52	c cleaning 89004 clauses out of 178036 with flag 16611346/4085001
198.84/196.06	c cleaning 89994 clauses out of 180031 with flag 17013006/4176000
204.77/201.94	c cleaning 90997 clauses out of 182039 with flag 17389864/4268002
210.73/207.87	c cleaning 91997 clauses out of 184040 with flag 17796435/4361000
217.91/215.08	c cleaning 92998 clauses out of 186043 with flag 18278819/4455000
224.15/221.22	c cleaning 94015 clauses out of 188045 with flag 18673628/4550000
230.18/227.27	c cleaning 94998 clauses out of 190030 with flag 19072967/4646000
237.07/234.10	c cleaning 96005 clauses out of 192033 with flag 19521851/4743001
243.70/240.73	c cleaning 96998 clauses out of 194027 with flag 19966214/4841000
250.23/247.28	c cleaning 97997 clauses out of 196030 with flag 20358449/4940001
256.95/253.93	c cleaning 99011 clauses out of 198033 with flag 20766181/5040001
263.44/260.46	c cleaning 99994 clauses out of 200022 with flag 21176462/5141001
270.18/267.17	c cleaning 100998 clauses out of 202028 with flag 21594437/5243001
277.92/274.87	c cleaning 101997 clauses out of 204029 with flag 22050161/5346000
284.76/281.68	c cleaning 102995 clauses out of 206032 with flag 22474818/5450000
292.12/288.97	c cleaning 104001 clauses out of 208037 with flag 22901805/5555000
299.30/296.11	c cleaning 105004 clauses out of 210036 with flag 23331719/5661000
306.82/303.65	c cleaning 106001 clauses out of 212033 with flag 23747087/5768001
315.43/312.22	c cleaning 107003 clauses out of 214031 with flag 24255577/5876000
323.36/320.15	c cleaning 107997 clauses out of 216031 with flag 24737068/5985003
330.90/327.69	c cleaning 108999 clauses out of 218033 with flag 25174306/6095002
338.48/335.20	c cleaning 109993 clauses out of 220032 with flag 25617685/6206000
346.27/343.07	c cleaning 111010 clauses out of 222039 with flag 26072337/6318000
354.38/351.13	c cleaning 111997 clauses out of 224029 with flag 26534518/6431000
362.81/359.51	c cleaning 113000 clauses out of 226032 with flag 27031225/6545000
371.43/368.15	c cleaning 114005 clauses out of 228032 with flag 27536566/6660000
379.86/376.52	c cleaning 114998 clauses out of 230027 with flag 28034000/6776000
388.41/385.02	c cleaning 116002 clauses out of 232030 with flag 28525893/6893001
397.33/393.99	c cleaning 116999 clauses out of 234031 with flag 29021949/7011004
405.91/402.53	c cleaning 118003 clauses out of 236029 with flag 29494718/7130001
415.03/411.61	c cleaning 118996 clauses out of 238025 with flag 29978752/7250000
423.85/420.41	c cleaning 119993 clauses out of 240030 with flag 30480916/7371001
433.08/429.66	c cleaning 121006 clauses out of 242037 with flag 30980759/7493001
442.46/439.01	c cleaning 122001 clauses out of 244030 with flag 31511007/7616000
451.78/448.32	c cleaning 122994 clauses out of 246030 with flag 32017232/7740001
461.33/457.85	c cleaning 124005 clauses out of 248035 with flag 32516664/7865000
471.56/467.93	c cleaning 125003 clauses out of 250031 with flag 33054041/7991001
481.59/477.93	c cleaning 125998 clauses out of 252027 with flag 33576259/8118000
491.23/487.56	c cleaning 126998 clauses out of 254029 with flag 34140895/8246000
506.55/502.88	c cleaning 127992 clauses out of 256031 with flag 34836703/8375000
517.19/513.45	c cleaning 129000 clauses out of 258040 with flag 35379989/8505001
527.34/523.58	c cleaning 130007 clauses out of 260039 with flag 35925118/8636000
538.06/534.23	c cleaning 131001 clauses out of 262034 with flag 36479450/8768002
549.79/546.00	c cleaning 132006 clauses out of 264031 with flag 37119657/8901000
560.83/556.91	c cleaning 132997 clauses out of 266026 with flag 37676952/9035001
571.65/567.76	c cleaning 133985 clauses out of 268028 with flag 38269155/9170000
582.97/579.02	c cleaning 134999 clauses out of 270043 with flag 38834661/9306000
594.10/590.17	c cleaning 136005 clauses out of 272045 with flag 39406209/9443001
605.38/601.44	c cleaning 137000 clauses out of 274040 with flag 39993517/9581001
617.78/613.88	c cleaning 138007 clauses out of 276039 with flag 40636645/9720000
629.70/625.70	c cleaning 139005 clauses out of 278033 with flag 41220950/9860001
641.37/637.40	c cleaning 140003 clauses out of 280029 with flag 41827560/10001002
653.58/649.69	c cleaning 141003 clauses out of 282028 with flag 42411987/10143004
665.49/661.52	c cleaning 141996 clauses out of 284021 with flag 43013062/10286000
678.40/674.48	c cleaning 143000 clauses out of 286026 with flag 43618271/10430001
691.70/687.72	c cleaning 143992 clauses out of 288027 with flag 44245142/10575002
704.31/700.20	c cleaning 145005 clauses out of 290034 with flag 44889080/10721001
716.83/712.73	c cleaning 145998 clauses out of 292028 with flag 45509618/10868000
730.85/726.70	c cleaning 147008 clauses out of 294031 with flag 46197187/11016001
744.67/740.51	c cleaning 147994 clauses out of 296022 with flag 46900856/11165000
758.00/753.83	c cleaning 148991 clauses out of 298029 with flag 47511702/11315001
771.50/767.38	c cleaning 150005 clauses out of 300038 with flag 48149776/11466001
785.11/780.94	c cleaning 151006 clauses out of 302036 with flag 48757130/11618004
799.09/794.84	c cleaning 151996 clauses out of 304026 with flag 49416069/11771000
813.13/808.87	c cleaning 152988 clauses out of 306030 with flag 50072330/11925000
827.24/822.93	c cleaning 154005 clauses out of 308044 with flag 50720657/12080002
842.04/837.74	c cleaning 155003 clauses out of 310037 with flag 51411178/12236000
857.36/853.01	c cleaning 155998 clauses out of 312036 with flag 52120928/12393002
872.83/868.41	c cleaning 157001 clauses out of 314036 with flag 52811991/12551000
887.52/883.12	c cleaning 157993 clauses out of 316035 with flag 53512621/12710000
902.23/897.85	c cleaning 159009 clauses out of 318042 with flag 54162397/12870000
917.46/913.04	c cleaning 160006 clauses out of 320034 with flag 54830609/13031001
933.07/928.69	c cleaning 160993 clauses out of 322028 with flag 55520396/13193001
948.37/943.95	c cleaning 162006 clauses out of 324035 with flag 56241831/13356001
963.63/959.14	c cleaning 162989 clauses out of 326030 with flag 56924171/13520002
979.44/975.00	c cleaning 164006 clauses out of 328040 with flag 57611817/13685001
996.25/991.77	c cleaning 165000 clauses out of 330033 with flag 58288984/13851000
1012.36/1007.85	c cleaning 166002 clauses out of 332035 with flag 58980571/14018002
1028.97/1024.49	c cleaning 166999 clauses out of 334031 with flag 59657348/14186000
1045.31/1040.74	c cleaning 167998 clauses out of 336033 with flag 60381137/14355001
1062.32/1057.73	c cleaning 168989 clauses out of 338034 with flag 61104940/14525000
1079.40/1074.80	c cleaning 170004 clauses out of 340046 with flag 61865933/14696001
1096.80/1092.25	c cleaning 171005 clauses out of 342042 with flag 62567455/14868001
1114.89/1110.33	c cleaning 171996 clauses out of 344036 with flag 63273429/15041000
1132.02/1127.45	c cleaning 173001 clauses out of 346040 with flag 63990476/15215000
1149.51/1144.93	c cleaning 173996 clauses out of 348039 with flag 64717137/15390000
1168.01/1163.44	c cleaning 175007 clauses out of 350044 with flag 65568720/15566001
1186.11/1181.50	c cleaning 176004 clauses out of 352038 with flag 66289058/15743002
1204.27/1199.71	c cleaning 177003 clauses out of 354033 with flag 67071688/15921001
1222.23/1217.62	c cleaning 177991 clauses out of 356030 with flag 67845904/16100001
1240.52/1235.95	c cleaning 178996 clauses out of 358038 with flag 68605825/16280000
1259.12/1254.57	c cleaning 180003 clauses out of 360043 with flag 69379834/16461001
1277.98/1273.45	c cleaning 181002 clauses out of 362039 with flag 70142312/16643000
1296.88/1292.32	c cleaning 181998 clauses out of 364037 with flag 70994259/16826000
1315.40/1310.80	c cleaning 183002 clauses out of 366039 with flag 71786643/17010000
1334.38/1329.88	c cleaning 184001 clauses out of 368038 with flag 72564821/17195001
1353.96/1349.41	c cleaning 184989 clauses out of 370036 with flag 73349520/17381000
1373.72/1369.05	c cleaning 186013 clauses out of 372047 with flag 74181159/17568000
1394.89/1390.29	c cleaning 186998 clauses out of 374034 with flag 75041340/17756000
1439.43/1434.84	c cleaning 188002 clauses out of 376037 with flag 76239607/17945001
1482.17/1477.68	c cleaning 189001 clauses out of 378035 with flag 77568457/18135001
1508.54/1503.99	c cleaning 189997 clauses out of 380033 with flag 78630949/18326000
1528.76/1524.17	c cleaning 191000 clauses out of 382038 with flag 79440081/18518002
1549.80/1545.10	c cleaning 191998 clauses out of 384038 with flag 80259013/18711002
1570.90/1566.22	c cleaning 193000 clauses out of 386040 with flag 81082522/18905002
1593.01/1588.32	c cleaning 194004 clauses out of 388039 with flag 81957116/19100001
1614.93/1610.18	c cleaning 195001 clauses out of 390034 with flag 82862424/19296000
1637.57/1632.78	c cleaning 196002 clauses out of 392034 with flag 83772550/19493001
1659.88/1655.02	c cleaning 197005 clauses out of 394031 with flag 84629490/19691000
1682.68/1677.74	c cleaning 198000 clauses out of 396027 with flag 85568722/19890001
1703.67/1698.78	c cleaning 198994 clauses out of 398026 with flag 86446062/20090000
1726.09/1721.16	c cleaning 199998 clauses out of 400032 with flag 87347822/20291000
1749.93/1745.09	c cleaning 200994 clauses out of 402034 with flag 88188373/20493000
1772.06/1767.10	c cleaning 202011 clauses out of 404042 with flag 89047299/20696002
1795.73/1790.87	c cleaning 202988 clauses out of 406030 with flag 90019412/20900001
1819.82/1814.90	c cleaning 204010 clauses out of 408042 with flag 90924250/21105001
1843.28/1838.35	c cleaning 204995 clauses out of 410032 with flag 91831768/21311001
1866.89/1862.03	c cleaning 205993 clauses out of 412037 with flag 92711669/21518001
1890.02/1885.18	c cleaning 207008 clauses out of 414044 with flag 93601587/21726001
1914.28/1909.43	c cleaning 208000 clauses out of 416037 with flag 94471031/21935002
1939.08/1934.23	c cleaning 209003 clauses out of 418036 with flag 95342974/22145001
1963.54/1958.74	c cleaning 210008 clauses out of 420032 with flag 96240874/22356000
1988.34/1983.52	c cleaning 210995 clauses out of 422024 with flag 97170559/22568000
2013.70/2008.90	c cleaning 211988 clauses out of 424029 with flag 98059848/22781000
2038.59/2033.86	c cleaning 212995 clauses out of 426041 with flag 98973299/22995000
2065.41/2060.69	c cleaning 214008 clauses out of 428048 with flag 100033945/23210002
2092.30/2087.54	c cleaning 215003 clauses out of 430038 with flag 100934817/23426000
2118.72/2113.92	c cleaning 216003 clauses out of 432036 with flag 101869278/23643001
2145.64/2140.90	c cleaning 216997 clauses out of 434032 with flag 102793337/23861000
2170.50/2165.71	c cleaning 217999 clauses out of 436037 with flag 103751093/24080002
2198.20/2193.43	c cleaning 219008 clauses out of 438037 with flag 104766986/24300001
2224.26/2219.47	c cleaning 220002 clauses out of 440029 with flag 105724898/24521001
2250.91/2246.14	c cleaning 221000 clauses out of 442026 with flag 106701486/24743000
2277.61/2272.88	c cleaning 221997 clauses out of 444026 with flag 107658004/24966000
2305.53/2300.77	c cleaning 223000 clauses out of 446029 with flag 108606889/25190000
2334.30/2329.52	c cleaning 224004 clauses out of 448032 with flag 109535894/25415003
2361.59/2356.83	c cleaning 225003 clauses out of 450025 with flag 110498153/25641000
2389.55/2384.88	c cleaning 225994 clauses out of 452022 with flag 111499759/25868000
2418.25/2413.54	c cleaning 226984 clauses out of 454028 with flag 112488049/26096000
2447.26/2442.55	c cleaning 228007 clauses out of 456044 with flag 113477854/26325000
2475.45/2470.71	c cleaning 228998 clauses out of 458037 with flag 114463917/26555000
2504.43/2499.71	c cleaning 229999 clauses out of 460041 with flag 115464950/26786002
2533.83/2529.19	c cleaning 231001 clauses out of 462040 with flag 116486636/27018000
2563.73/2559.09	c cleaning 232006 clauses out of 464040 with flag 117458777/27251001
2594.04/2589.33	c cleaning 232997 clauses out of 466034 with flag 118476989/27485001
2623.43/2618.70	c cleaning 234009 clauses out of 468038 with flag 119480085/27720002
2654.62/2649.92	c cleaning 235000 clauses out of 470028 with flag 120478338/27956001
2685.49/2680.82	c cleaning 235992 clauses out of 472027 with flag 121513879/28193000
2717.41/2712.75	c cleaning 237002 clauses out of 474036 with flag 122586563/28431001
2748.42/2743.70	c cleaning 238001 clauses out of 476033 with flag 123672371/28670000
2783.31/2778.63	c cleaning 239001 clauses out of 478032 with flag 124938708/28910000
2815.42/2810.79	c cleaning 239994 clauses out of 480032 with flag 125985751/29151001
2847.07/2842.43	c cleaning 241001 clauses out of 482037 with flag 127038955/29393000
2878.85/2874.28	c cleaning 242002 clauses out of 484036 with flag 128099744/29636000
2911.39/2906.89	c cleaning 242999 clauses out of 486034 with flag 129204559/29880000
2944.13/2939.65	c cleaning 244010 clauses out of 488035 with flag 130278598/30125000
2976.20/2971.76	c cleaning 244996 clauses out of 490026 with flag 131378385/30371001
3009.09/3004.66	c cleaning 246000 clauses out of 492029 with flag 132454643/30618000
3040.60/3036.15	c cleaning 246997 clauses out of 494029 with flag 133561965/30866000
3076.08/3071.60	c cleaning 248007 clauses out of 496033 with flag 134669985/31115001
3110.23/3105.77	c cleaning 248998 clauses out of 498025 with flag 135786241/31365000
3144.03/3139.52	c cleaning 250000 clauses out of 500027 with flag 136856336/31616000
3177.82/3173.32	c cleaning 251004 clauses out of 502031 with flag 137934790/31868004
3211.61/3207.18	c cleaning 251999 clauses out of 504023 with flag 139049112/32121000
3248.42/3243.90	c cleaning 252998 clauses out of 506025 with flag 140177326/32375001
3283.43/3278.92	c cleaning 253992 clauses out of 508027 with flag 141333578/32630001
3317.82/3313.37	c cleaning 255011 clauses out of 510036 with flag 142456810/32886002
3353.83/3349.32	c cleaning 255998 clauses out of 512023 with flag 143582401/33143000
3390.70/3386.29	c cleaning 257001 clauses out of 514025 with flag 144714547/33401000
3426.92/3422.49	c cleaning 258008 clauses out of 516027 with flag 145887173/33660003
3463.09/3458.31	c cleaning 258995 clauses out of 518016 with flag 147011380/33920000
3500.61/3496.05	c cleaning 260001 clauses out of 520022 with flag 148120984/34181001
3536.99/3532.46	c cleaning 260997 clauses out of 522021 with flag 149313330/34443001
3573.03/3568.55	c cleaning 261990 clauses out of 524023 with flag 150475867/34706000
3600.02/3595.51	c starts		: 61280
3600.02/3595.51	c conflicts		: 34909779
3600.02/3595.51	c decisions		: 50780909
3600.02/3595.51	c propagations		: 432686918
3600.02/3595.51	c inspects		: 54723099317
3600.02/3595.51	c shortcuts		: 0
3600.02/3595.51	c learnt literals	: 0
3600.02/3595.51	c learnt binary clauses	: 0
3600.02/3595.51	c learnt ternary clauses	: 0
3600.02/3595.51	c learnt constraints	: 34909779
3600.02/3595.51	c ignored constraints	: 0
3600.02/3595.51	c root simplifications	: 0
3600.02/3595.51	c removed literals (reason simplification)	: 20145801
3600.02/3595.51	c reason swapping (by a shorter reason)	: 0
3600.02/3595.51	c Calls to reduceDB	: 259
3600.02/3595.51	c Number of update (reduction) of LBD	: 9702767
3600.02/3595.51	c Imported unit clauses	: 0
3600.02/3595.51	c No decision after first conflict	: false
3600.02/3595.51	c number of reductions to clauses (during analyze)	: 0
3600.02/3595.51	c number of learned constraints concerned by reduction	: 0
3600.02/3595.51	c number of learning phase by resolution	: 0
3600.02/3595.51	c number of learning phase by cutting planes	: 0
3600.02/3595.51	c number of rounding to 1 operations	: 0
3600.02/3595.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3595.51	c number of reductions of the coefficients by power 2 	: 0
3600.02/3595.51	c number of right shift for reduction by power 2 	: 0
3600.02/3595.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3595.51	c number of ending skipping 	: 0
3600.02/3595.51	c number of internal skipping 	: 0
3600.02/3595.51	c number of derivation steps 	: 0
3600.02/3595.51	c number of skipped derivation steps 	: 0
3600.02/3595.51	c number of remaining unassigned 	: 0
3600.02/3595.51	c number of remaining assigned 	: 0
3600.02/3595.51	c number of falsified literals weakened from reason	: 0
3600.02/3595.51	c number of falsified literals weakened from conflict	: 0
3600.02/3595.51	c time for arithmetic operations	: 0
3600.02/3595.51	c minimum degree of deleted constraints	: null
3600.02/3595.51	c maximum degree of deleted constraints	: null
3600.02/3595.51	c number of deleted constraints	: 0
3600.02/3595.52	c speed (assignments/second)	: 120346.59253366858
3600.02/3595.52	c non guided choices	: 605763
3600.02/3595.53	c timeout
3600.02/3595.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 465812
3600.02/3595.58	s UNKNOWN
3600.02/3595.58	c Total wall clock time (in seconds): 3595.437

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: 63708 MiB (61639 MiB free)
  memory of node 1: 64465 MiB (63535 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542901-1753224403/watcher-4542901-1753224403 -o /tmp/evaluation-result-4542901-1753224403/solver-4542901-1753224403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179941 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542901-1753224403 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542901-1753224403.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB

solver pid=179990, runsolver pid=179981

[startup+0.10006 s]*
/proc/loadavg: 1.02 1.83 2.82 10/333 180067
/proc/meminfo: memFree=128117044/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=18930384 memory=53184 CPUtime=0.1 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 6433 0 75 0 8 2 0 0 20 0 18 0 238119699 19384713216 13296 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4732596 13296 5332 1 0 547532 0
[pid=179990/tid=180000] ppid=179981 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 4971 0 49 0 5 1 0 0 20 0 18 0 238119702 19384713216 13296 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=18930384 memory=16898 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238119704 19384713216 13296 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238119705 19384713216 13296 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53184 KiB

[startup+0.20512 s]*
/proc/loadavg: 1.02 1.83 2.82 14/334 180068
/proc/meminfo: memFree=128073616/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=18996948 memory=62260 CPUtime=0.29 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 7101 0 75 0 26 3 0 0 20 0 19 0 238119699 19452874752 15565 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4749237 15565 5428 1 0 548293 0
[pid=179990/tid=180000] ppid=179981 vsize=18996948 memory=4026990876 CPUtime=0.16 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 5327 0 49 0 14 2 0 0 20 0 19 0 238119702 19452874752 15565 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=18996948 memory=16898 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238119704 19452874752 15565 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=18996948 memory=59585004307431 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238119705 19452874752 15565 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238119717 19452874752 15565 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62260 KiB

[startup+0.305898 s]*
/proc/loadavg: 1.02 1.83 2.82 11/337 180071
/proc/meminfo: memFree=128011928/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=18996948 memory=77756 CPUtime=0.48 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 8903 0 75 0 45 3 0 0 20 0 19 0 238119699 19452874752 19439 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4749237 19439 5428 1 0 548942 0
[pid=179990/tid=180000] ppid=179981 vsize=18996948 memory=-8959174113287250620 CPUtime=0.25 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 5350 0 49 0 23 2 0 0 20 0 19 0 238119702 19452874752 19439 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238119704 19452874752 19439 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238119705 19452874752 19439 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238119717 19452874752 19439 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77756 KiB

[startup+0.700236 s]
/proc/loadavg: 1.02 1.83 2.82 10/337 180071
/proc/meminfo: memFree=127859208/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=18996948 memory=158032 CPUtime=1.25 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 14247 0 75 0 119 6 0 0 20 0 19 0 238119699 19452874752 39508 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4749237 39508 5428 1 0 552994 0
[pid=179990/tid=180000] ppid=179981 vsize=18996948 memory=27264 CPUtime=0.58 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 5439 0 49 0 54 4 0 0 20 0 19 0 238119702 19452874752 39508 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238119704 19452874752 39508 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238119705 19452874752 39508 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238119717 19452874752 39508 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158032 KiB

[startup+1.50016 s]
/proc/loadavg: 1.02 1.83 2.82 10/341 180075
/proc/meminfo: memFree=127620408/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=176268 CPUtime=2.83 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 23009 0 75 0 275 8 0 0 20 0 20 0 238119699 19521036288 44067 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 44067 5460 1 0 554040 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=0 CPUtime=1.35 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 5825 0 49 0 130 5 0 0 20 0 20 0 238119702 19521036288 44067 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 44067 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 44067 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 44067 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176268 KiB

[startup+3.10517 s]
/proc/loadavg: 1.02 1.83 2.82 7/341 180075
/proc/meminfo: memFree=127149916/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=353064 CPUtime=5.47 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 24936 0 75 0 533 14 0 0 20 0 20 0 238119699 19521036288 88266 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 88266 5460 1 0 554042 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=10752 CPUtime=2.92 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 6373 0 49 0 282 10 0 0 20 0 20 0 238119702 19521036288 88266 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=-9103289301363106492 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 88266 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 88266 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 88266 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 353064 KiB

[startup+6.30016 s]
/proc/loadavg: 1.34 1.88 2.84 6/341 180075
/proc/meminfo: memFree=125553188/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=787936 CPUtime=8.72 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 25511 0 75 0 848 24 0 0 20 0 20 0 238119699 19521036288 196984 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 196984 5460 1 0 554043 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=0 CPUtime=6.1 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 6899 0 49 0 590 20 0 0 20 0 20 0 238119702 19521036288 196984 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 196984 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 196984 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=176396 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 196984 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 787936 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 1.92 2.84 6/341 180075
/proc/meminfo: memFree=123143996/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=1312252 CPUtime=15.12 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 26929 0 75 0 1472 40 0 0 20 0 20 0 238119699 19521036288 328063 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 328063 5460 1 0 554043 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=176396 CPUtime=12.47 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 8180 0 49 0 1212 35 0 0 20 0 20 0 238119702 19521036288 328063 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=1312252 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 328063 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 328063 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 328063 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 15.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312252 KiB

[startup+25.5002 s]
/proc/loadavg: 2.32 2.07 2.88 6/341 180144
/proc/meminfo: memFree=123628460/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=1322632 CPUtime=27.92 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 31437 0 75 0 2740 52 0 0 20 0 20 0 238119699 19521036288 330658 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 330658 5492 1 0 554043 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=1312252 CPUtime=25.19 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 9422 0 49 0 2472 47 0 0 20 0 20 0 238119702 19521036288 330658 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 330658 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 330658 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=1320580 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 330658 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 27.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1322632 KiB

[startup+51.105 s]
/proc/loadavg: 3.05 2.26 2.92 6/340 180145
/proc/meminfo: memFree=122853700/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=1324688 CPUtime=53.52 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 34070 0 75 0 5277 75 0 0 20 0 20 0 238119699 19521036288 331172 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0

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

/proc/meminfo: memFree=87851840/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=2168780 CPUtime=3286.82 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 106899 0 75 0 327236 1446 0 0 20 0 20 0 238119699 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 542195 5492 1 0 554625 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=-9103289301363106492 CPUtime=3259.86 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 44286 0 49 0 324635 1351 0 0 20 0 20 0 238119702 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=4480 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 1516 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=2168780 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 3286.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.24 4.19 7/341 180332
/proc/meminfo: memFree=87370816/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=2168780 CPUtime=3346.79 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 107280 0 75 0 333210 1469 0 0 20 0 20 0 238119699 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 542195 5492 1 0 554625 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=-9103289301363106492 CPUtime=3319.55 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 44335 0 49 0 330582 1373 0 0 20 0 20 0 238119702 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=2168780 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 1556 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=-9103289301363106492 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 3346.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.22 4.18 6/341 180334
/proc/meminfo: memFree=86890324/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=2168780 CPUtime=3406.81 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 107415 0 75 0 339190 1491 0 0 20 0 20 0 238119699 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 542195 5492 1 0 554625 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=2168780 CPUtime=3379.13 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 44357 0 49 0 336520 1393 0 0 20 0 20 0 238119702 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=2168780 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=2168780 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 1556 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 542195 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 3406.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168780 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.24 4.19 6/341 180336
/proc/meminfo: memFree=86095648/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=2176716 CPUtime=3467.09 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 111074 0 75 0 345193 1516 0 0 20 0 20 0 238119699 19521036288 544179 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 544179 5492 1 0 556640 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=2168780 CPUtime=3438.77 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 46392 0 49 0 342461 1416 0 0 20 0 20 0 238119702 19521036288 544179 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=2168780 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544179 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=2176716 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 1559 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544179 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 544179 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 3467.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.23 4.18 6/341 180338
/proc/meminfo: memFree=85730496/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=2176844 CPUtime=3526.91 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 111650 0 75 0 351150 1541 0 0 20 0 20 0 238119699 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 544211 5492 1 0 556655 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=2176716 CPUtime=3498.29 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 46586 0 49 0 348389 1440 0 0 20 0 20 0 238119702 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=2176716 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=2176844 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 1559 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=-9103289301363106492 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 3526.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.23 4.19 7/341 180541
/proc/meminfo: memFree=106588612/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=2176844 CPUtime=3586.81 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 113453 0 75 0 357114 1567 0 0 20 0 20 0 238119699 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 544211 5492 1 0 556655 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=5504 CPUtime=3557.95 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 47634 0 49 0 354331 1464 0 0 20 0 20 0 238119702 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=2176844 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=2176844 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 1559 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=-9103289301363106492 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 3586.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.5 s]
/proc/loadavg: 4.28 4.24 4.19 6/342 180544
/proc/meminfo: memFree=105197908/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=2176844 CPUtime=3600.02 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 113509 0 75 0 358432 1570 0 0 20 0 20 0 238119699 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 544211 5492 1 0 556655 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=2176844 CPUtime=3571.07 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 47667 0 49 0 355639 1468 0 0 20 0 20 0 238119702 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 1559 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=2176844 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.45 s, system=15.7214 s

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

[startup+3595.5 s]
/proc/loadavg: 4.28 4.24 4.19 6/342 180544
/proc/meminfo: memFree=105197908/131250000 swapFree=33009904/33010684
[pid=179990] ppid=179981 vsize=19063512 memory=2176844 CPUtime=3600.02 cores=4,6
/proc/179990/stat : 179990 (java) S 179981 179990 179930 0 -1 4194304 113509 0 75 0 358432 1570 0 0 20 0 20 0 238119699 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
/proc/179990/statm: 4765878 544211 5492 1 0 556655 0
[pid=179990/tid=180000] ppid=179981 vsize=19063512 memory=2176844 CPUtime=3571.07 cores=4,6
/proc/179990/task/180000/stat : 180000 (java) R 179981 179990 179930 0 -1 4194368 47667 0 49 0 355639 1468 0 0 20 0 20 0 238119702 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180031] ppid=179981 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/179990/task/180031/stat : 180031 (Finalizer) S 179981 179990 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180044] ppid=179981 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/179990/task/180044/stat : 180044 (Common-Cleaner) S 179981 179990 179930 0 -1 4194368 1559 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
[pid=179990/tid=180068] ppid=179981 vsize=19063512 memory=2176844 CPUtime=0 cores=4,6
/proc/179990/task/180068/stat : 180068 (Timer-0) S 179981 179990 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119717 19521036288 544211 18446744073709551615 94535073763328 94535073767024 140729326297136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94535073774840 94535073775632 94535078838272 140729326299476 140729326299620 140729326299620 140729326305224 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176844 KiB

Child status: 143

Real time (s): 3595.59
CPU time (s): 3600.17
CPU user time (s): 3584.45
CPU system time (s): 15.7214
CPU usage (%): 100.127
Max. virtual memory (cumulated for all children) (KiB): 19064872
Max. memory (cumulated for all children) (KiB): 2176844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.45
system time used= 15.7214
maximum resident set size= 2177996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116046
page faults= 75
swaps= 0
block input operations= 0
block output operations= 16754232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119536
involuntary context switches= 12106


# summary of solver processes directly reported to runsolver:
#   pid: 179990
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3584.45
#   total CPU system time (s): 15.7214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8667 second user time and 9.95687 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-23 00:46:43
IDJOB=4542901
IDBENCH=164900
IDSOLVER=3364
FILE ID=nodeC033/4542901-1753224403
RUNJOBID= nodeC033-1753224403-179941
SLURM_JOB_ID= 9687833
Free space on /tmp= 432592 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542901-1753224403/watcher-4542901-1753224403 -o /tmp/evaluation-result-4542901-1753224403/solver-4542901-1753224403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179941 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542901-1753224403 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542901-1753224403.opb

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

MD5SUM BENCH= b02daac0bd5c49ad8b109680e19e1b42
RANDOM SEED=703055408

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128185324 kB
MemAvailable:   129634660 kB
Buffers:            2128 kB
Cached:          2172244 kB
SwapCached:           64 kB
Active:          1293536 kB
Inactive:         945128 kB
Active(anon):      85236 kB
Inactive(anon):     5284 kB
Active(file):    1208300 kB
Inactive(file):   939844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1316 kB
Writeback:             0 kB
AnonPages:         65084 kB
Mapped:           108896 kB
Shmem:             26228 kB
KReclaimable:     280860 kB
Slab:             379108 kB
SReclaimable:     280860 kB
SUnreclaim:        98248 kB
KernelStack:        4160 kB
PageTables:         3004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     349092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 416704 MiB
End job on nodeC033 at 2025-07-23 01:46:39