Trace number 4542900

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 2025-06-06? (TO) 3600.23 3604.41

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4542900-1753219617.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.16	c ... done. Wall clock time 0.032s.
0.13/0.16	c declared #vars     289
0.13/0.16	c #constraints  146
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 144
0.13/0.16	c 146 constraints processed.
0.52/0.37	c cleaning 2493 clauses out of 5002 with flag 16219/5002
0.90/0.54	c cleaning 4246 clauses out of 8508 with flag 36840/11001
1.28/0.76	c cleaning 5625 clauses out of 11262 with flag 61079/18001
1.68/0.90	c cleaning 6809 clauses out of 13638 with flag 88375/26002
1.88/1.05	c cleaning 7903 clauses out of 15827 with flag 121814/35000
2.23/1.20	c cleaning 8947 clauses out of 17925 with flag 156883/45001
2.33/1.36	c cleaning 9977 clauses out of 19978 with flag 196445/56001
2.54/1.57	c cleaning 10989 clauses out of 22001 with flag 244280/68001
2.73/1.79	c cleaning 12007 clauses out of 24014 with flag 293449/81003
3.14/2.14	c cleaning 12991 clauses out of 26004 with flag 356765/95000
3.33/2.40	c cleaning 13995 clauses out of 28014 with flag 411646/110001
3.63/2.69	c cleaning 14995 clauses out of 30018 with flag 474208/126000
4.07/3.08	c cleaning 15994 clauses out of 32023 with flag 544971/143000
4.38/3.38	c cleaning 16995 clauses out of 34029 with flag 612532/161000
4.79/3.72	c cleaning 17993 clauses out of 36034 with flag 684474/180000
5.19/4.11	c cleaning 19007 clauses out of 38041 with flag 761258/200000
5.68/4.65	c cleaning 20001 clauses out of 40035 with flag 847040/221001
6.20/5.11	c cleaning 21005 clauses out of 42034 with flag 933054/243001
6.69/5.63	c cleaning 21998 clauses out of 44031 with flag 1023829/266003
7.39/6.35	c cleaning 22998 clauses out of 46031 with flag 1136281/290001
7.89/6.89	c cleaning 24003 clauses out of 48034 with flag 1231371/315002
8.49/7.47	c cleaning 25000 clauses out of 50029 with flag 1331972/341000
9.59/8.57	c cleaning 26005 clauses out of 52029 with flag 1446550/368000
10.28/9.24	c cleaning 26997 clauses out of 54028 with flag 1559590/396004
10.88/9.89	c cleaning 27992 clauses out of 56029 with flag 1665069/425002
11.58/10.56	c cleaning 29008 clauses out of 58035 with flag 1778918/455000
12.28/11.27	c cleaning 29980 clauses out of 60027 with flag 1899337/486000
13.19/12.13	c cleaning 31014 clauses out of 62049 with flag 2026904/518002
13.99/12.98	c cleaning 32006 clauses out of 64033 with flag 2147824/551000
14.88/13.85	c cleaning 32992 clauses out of 66028 with flag 2275235/585001
15.88/14.82	c cleaning 34001 clauses out of 68035 with flag 2409898/620000
16.78/15.77	c cleaning 35006 clauses out of 70034 with flag 2547204/656000
17.88/16.85	c cleaning 36000 clauses out of 72028 with flag 2691614/693000
18.97/17.93	c cleaning 37001 clauses out of 74029 with flag 2845863/731001
20.20/19.17	c cleaning 37998 clauses out of 76027 with flag 3008445/770000
21.39/20.35	c cleaning 39007 clauses out of 78030 with flag 3158383/810001
22.59/21.56	c cleaning 39997 clauses out of 80023 with flag 3316556/851001
23.89/22.88	c cleaning 41004 clauses out of 82027 with flag 3481430/893002
25.28/24.26	c cleaning 41995 clauses out of 84021 with flag 3654063/936000
26.98/25.94	c cleaning 43001 clauses out of 86028 with flag 3844589/980002
28.61/27.51	c cleaning 43992 clauses out of 88025 with flag 4018016/1025000
30.01/28.97	c cleaning 44993 clauses out of 90033 with flag 4188754/1071000
31.61/30.58	c cleaning 46007 clauses out of 92040 with flag 4375791/1118000
33.30/32.20	c cleaning 47006 clauses out of 94034 with flag 4553841/1166001
35.20/34.14	c cleaning 47996 clauses out of 96027 with flag 4777755/1215000
36.89/35.86	c cleaning 49002 clauses out of 98034 with flag 4966911/1265003
38.82/37.70	c cleaning 50001 clauses out of 100030 with flag 5164871/1316001
40.71/39.60	c cleaning 50999 clauses out of 102028 with flag 5364111/1368000
42.71/41.67	c cleaning 52003 clauses out of 104030 with flag 5576859/1421001
44.70/43.60	c cleaning 53001 clauses out of 106026 with flag 5778640/1475000
46.74/45.66	c cleaning 53997 clauses out of 108028 with flag 5997225/1530003
48.84/47.73	c cleaning 55002 clauses out of 110029 with flag 6217207/1586001
51.03/49.92	c cleaning 56014 clauses out of 112027 with flag 6433334/1643001
53.23/52.19	c cleaning 56989 clauses out of 114012 with flag 6659408/1701000
55.62/54.51	c cleaning 58001 clauses out of 116023 with flag 6883537/1760000
58.04/56.93	c cleaning 58991 clauses out of 118022 with flag 7116722/1820000
60.53/59.43	c cleaning 59993 clauses out of 120032 with flag 7343575/1881001
63.03/61.93	c cleaning 60998 clauses out of 122038 with flag 7593535/1943000
65.82/64.72	c cleaning 61996 clauses out of 124041 with flag 7844377/2006001
68.64/67.50	c cleaning 63009 clauses out of 126044 with flag 8098161/2070000
71.34/70.24	c cleaning 63997 clauses out of 128035 with flag 8356698/2135000
74.33/73.21	c cleaning 65003 clauses out of 130038 with flag 8648054/2201000
77.72/76.64	c cleaning 66001 clauses out of 132035 with flag 8972718/2268000
80.55/79.49	c cleaning 66992 clauses out of 134034 with flag 9251764/2336000
83.84/82.72	c cleaning 68002 clauses out of 136043 with flag 9565984/2405001
87.03/85.94	c cleaning 69011 clauses out of 138040 with flag 9859602/2475000
90.47/89.34	c cleaning 69996 clauses out of 140030 with flag 10166802/2546001
93.66/92.59	c cleaning 70995 clauses out of 142033 with flag 10462138/2618000
97.05/95.91	c cleaning 72001 clauses out of 144039 with flag 10753755/2691001
100.44/99.38	c cleaning 73003 clauses out of 146037 with flag 11050517/2765000
104.75/103.65	c cleaning 73999 clauses out of 148034 with flag 11401152/2840000
108.44/107.36	c cleaning 74998 clauses out of 150035 with flag 11719089/2916000
112.14/111.02	c cleaning 76003 clauses out of 152037 with flag 12037678/2993000
115.87/114.73	c cleaning 77004 clauses out of 154035 with flag 12352810/3071001
119.86/118.75	c cleaning 77999 clauses out of 156030 with flag 12711303/3150000
123.85/122.78	c cleaning 78998 clauses out of 158031 with flag 13041867/3230000
128.09/126.97	c cleaning 80002 clauses out of 160033 with flag 13360489/3311000
132.18/131.04	c cleaning 80995 clauses out of 162032 with flag 13694615/3393001
136.27/135.18	c cleaning 81998 clauses out of 164039 with flag 14018287/3476003
140.86/139.71	c cleaning 83004 clauses out of 166038 with flag 14370290/3560000
145.15/144.07	c cleaning 84004 clauses out of 168035 with flag 14745889/3645001
149.96/148.84	c cleaning 85005 clauses out of 170032 with flag 15111162/3731002
154.55/153.43	c cleaning 85997 clauses out of 172025 with flag 15463164/3818000
159.34/158.26	c cleaning 86999 clauses out of 174029 with flag 15835813/3906001
163.93/162.89	c cleaning 87994 clauses out of 176030 with flag 16211255/3995001
169.12/168.07	c cleaning 89004 clauses out of 178036 with flag 16611346/4085001
174.16/173.01	c cleaning 89994 clauses out of 180031 with flag 17013006/4176000
179.35/178.24	c cleaning 90997 clauses out of 182039 with flag 17389864/4268002
184.54/183.49	c cleaning 91997 clauses out of 184040 with flag 17796435/4361000
191.12/190.04	c cleaning 92998 clauses out of 186043 with flag 18278819/4455000
196.60/195.51	c cleaning 94015 clauses out of 188045 with flag 18673628/4550000
201.94/200.87	c cleaning 94998 clauses out of 190030 with flag 19072967/4646000
208.03/206.99	c cleaning 96005 clauses out of 192033 with flag 19521851/4743001
213.91/212.82	c cleaning 96998 clauses out of 194027 with flag 19966214/4841000
219.70/218.66	c cleaning 97997 clauses out of 196030 with flag 20358449/4940001
225.58/224.58	c cleaning 99011 clauses out of 198033 with flag 20766181/5040001
231.63/230.52	c cleaning 99994 clauses out of 200022 with flag 21176462/5141001
237.62/236.50	c cleaning 100998 clauses out of 202028 with flag 21594437/5243001
244.50/243.45	c cleaning 101997 clauses out of 204029 with flag 22050161/5346000
250.59/249.56	c cleaning 102995 clauses out of 206032 with flag 22474818/5450000
257.18/256.12	c cleaning 104001 clauses out of 208037 with flag 22901805/5555000
263.65/262.61	c cleaning 105004 clauses out of 210036 with flag 23331719/5661000
270.33/269.38	c cleaning 106001 clauses out of 212033 with flag 23747087/5768001
278.11/277.14	c cleaning 107003 clauses out of 214031 with flag 24255577/5876000
285.29/284.32	c cleaning 107997 clauses out of 216031 with flag 24737068/5985003
292.08/291.14	c cleaning 108999 clauses out of 218033 with flag 25174306/6095002
298.96/298.00	c cleaning 109993 clauses out of 220032 with flag 25617685/6206000
306.05/305.11	c cleaning 111010 clauses out of 222039 with flag 26072337/6318000
313.42/312.50	c cleaning 111997 clauses out of 224029 with flag 26534518/6431000
321.01/320.18	c cleaning 113000 clauses out of 226032 with flag 27031225/6545000
328.89/328.09	c cleaning 114005 clauses out of 228032 with flag 27536566/6660000
336.57/335.73	c cleaning 114998 clauses out of 230027 with flag 28034000/6776000
344.35/343.53	c cleaning 116002 clauses out of 232030 with flag 28525893/6893001
352.52/351.75	c cleaning 116999 clauses out of 234031 with flag 29021949/7011004
360.40/359.65	c cleaning 118003 clauses out of 236029 with flag 29494718/7130001
368.79/368.09	c cleaning 118996 clauses out of 238025 with flag 29978752/7250000
376.96/376.23	c cleaning 119993 clauses out of 240030 with flag 30480916/7371001
385.44/384.77	c cleaning 121006 clauses out of 242037 with flag 30980759/7493001
394.14/393.39	c cleaning 122001 clauses out of 244030 with flag 31511007/7616000
402.62/401.86	c cleaning 122994 clauses out of 246030 with flag 32017232/7740001
411.30/410.58	c cleaning 124005 clauses out of 248035 with flag 32516664/7865000
420.48/419.78	c cleaning 125003 clauses out of 250031 with flag 33054041/7991001
429.67/428.97	c cleaning 125998 clauses out of 252027 with flag 33576259/8118000
438.45/437.75	c cleaning 126998 clauses out of 254029 with flag 34140895/8246000
452.51/451.82	c cleaning 127992 clauses out of 256031 with flag 34836703/8375000
462.19/461.50	c cleaning 129000 clauses out of 258040 with flag 35379989/8505001
471.59/470.84	c cleaning 130007 clauses out of 260039 with flag 35925118/8636000
481.27/480.56	c cleaning 131001 clauses out of 262034 with flag 36479450/8768002
492.04/491.32	c cleaning 132006 clauses out of 264031 with flag 37119657/8901000
502.02/501.33	c cleaning 132997 clauses out of 266026 with flag 37676952/9035001
511.99/511.33	c cleaning 133985 clauses out of 268028 with flag 38269155/9170000
522.55/521.84	c cleaning 134999 clauses out of 270043 with flag 38834661/9306000
532.83/532.14	c cleaning 136005 clauses out of 272045 with flag 39406209/9443001
543.00/542.39	c cleaning 137000 clauses out of 274040 with flag 39993517/9581001
554.49/553.88	c cleaning 138007 clauses out of 276039 with flag 40636645/9720000
565.46/564.84	c cleaning 139005 clauses out of 278033 with flag 41220950/9860001
576.13/575.58	c cleaning 140003 clauses out of 280029 with flag 41827560/10001002
587.41/586.89	c cleaning 141003 clauses out of 282028 with flag 42411987/10143004
598.49/597.91	c cleaning 141996 clauses out of 284021 with flag 43013062/10286000
610.56/610.03	c cleaning 143000 clauses out of 286026 with flag 43618271/10430001
622.84/622.38	c cleaning 143992 clauses out of 288027 with flag 44245142/10575002
634.59/634.02	c cleaning 145005 clauses out of 290034 with flag 44889080/10721001
646.07/645.58	c cleaning 145998 clauses out of 292028 with flag 45509618/10868000
659.04/658.56	c cleaning 147008 clauses out of 294031 with flag 46197187/11016001
671.91/671.41	c cleaning 147994 clauses out of 296022 with flag 46900856/11165000
684.28/683.83	c cleaning 148991 clauses out of 298029 with flag 47511702/11315001
696.75/696.30	c cleaning 150005 clauses out of 300038 with flag 48149776/11466001
709.43/709.06	c cleaning 151006 clauses out of 302036 with flag 48757130/11618004
722.51/722.12	c cleaning 151996 clauses out of 304026 with flag 49416069/11771000
735.67/735.34	c cleaning 152988 clauses out of 306030 with flag 50072330/11925000
749.56/748.81	c cleaning 154005 clauses out of 308044 with flag 50720657/12080002
763.52/762.82	c cleaning 155003 clauses out of 310037 with flag 51411178/12236000
777.69/777.02	c cleaning 155998 clauses out of 312036 with flag 52120928/12393002
791.86/791.29	c cleaning 157001 clauses out of 314036 with flag 52811991/12551000
805.64/805.08	c cleaning 157993 clauses out of 316035 with flag 53512621/12710000
819.61/819.10	c cleaning 159009 clauses out of 318042 with flag 54162397/12870000
833.97/833.48	c cleaning 160006 clauses out of 320034 with flag 54830609/13031001
849.12/848.53	c cleaning 160993 clauses out of 322028 with flag 55520396/13193001
863.49/863.00	c cleaning 162006 clauses out of 324035 with flag 56241831/13356001
877.96/877.40	c cleaning 162989 clauses out of 326030 with flag 56924171/13520002
892.93/892.40	c cleaning 164006 clauses out of 328040 with flag 57611817/13685001
908.50/908.09	c cleaning 165000 clauses out of 330033 with flag 58288984/13851000
923.46/923.09	c cleaning 166002 clauses out of 332035 with flag 58980571/14018002
939.02/938.62	c cleaning 166999 clauses out of 334031 with flag 59657348/14186000
954.28/953.96	c cleaning 167998 clauses out of 336033 with flag 60381137/14355001
970.54/970.14	c cleaning 168989 clauses out of 338034 with flag 61104940/14525000
986.50/986.19	c cleaning 170004 clauses out of 340046 with flag 61865933/14696001
1002.96/1002.68	c cleaning 171005 clauses out of 342042 with flag 62567455/14868001
1020.02/1019.77	c cleaning 171996 clauses out of 344036 with flag 63273429/15041000
1036.19/1035.95	c cleaning 173001 clauses out of 346040 with flag 63990476/15215000
1052.85/1052.60	c cleaning 173996 clauses out of 348039 with flag 64717137/15390000
1069.91/1069.79	c cleaning 175007 clauses out of 350044 with flag 65568720/15566001
1086.86/1086.77	c cleaning 176004 clauses out of 352038 with flag 66289058/15743002
1103.82/1103.79	c cleaning 177003 clauses out of 354033 with flag 67071688/15921001
1120.64/1120.59	c cleaning 177991 clauses out of 356030 with flag 67845904/16100001
1138.00/1137.97	c cleaning 178996 clauses out of 358038 with flag 68605825/16280000
1155.66/1155.66	c cleaning 180003 clauses out of 360043 with flag 69379834/16461001
1173.43/1173.46	c cleaning 181002 clauses out of 362039 with flag 70142312/16643000
1191.38/1191.48	c cleaning 181998 clauses out of 364037 with flag 70994259/16826000
1208.74/1208.83	c cleaning 183002 clauses out of 366039 with flag 71786643/17010000
1226.70/1226.88	c cleaning 184001 clauses out of 368038 with flag 72564821/17195001
1245.37/1245.52	c cleaning 184989 clauses out of 370036 with flag 73349520/17381000
1264.02/1264.25	c cleaning 186013 clauses out of 372047 with flag 74181159/17568000
1284.24/1284.48	c cleaning 186998 clauses out of 374034 with flag 75041340/17756000
1326.63/1326.93	c cleaning 188002 clauses out of 376037 with flag 76239607/17945001
1369.02/1369.46	c cleaning 189001 clauses out of 378035 with flag 77568457/18135001
1394.45/1394.90	c cleaning 189997 clauses out of 380033 with flag 78630949/18326000
1413.70/1414.23	c cleaning 191000 clauses out of 382038 with flag 79440081/18518002
1433.56/1434.13	c cleaning 191998 clauses out of 384038 with flag 80259013/18711002
1453.30/1453.90	c cleaning 193000 clauses out of 386040 with flag 81082522/18905002
1474.35/1475.02	c cleaning 194004 clauses out of 388039 with flag 81957116/19100001
1495.71/1496.16	c cleaning 195001 clauses out of 390034 with flag 82862424/19296000
1517.56/1518.02	c cleaning 196002 clauses out of 392034 with flag 83772550/19493001
1539.01/1539.57	c cleaning 197005 clauses out of 394031 with flag 84629490/19691000
1560.87/1561.48	c cleaning 198000 clauses out of 396027 with flag 85568722/19890001
1580.92/1581.58	c cleaning 198994 clauses out of 398026 with flag 86446062/20090000
1602.37/1603.01	c cleaning 199998 clauses out of 400032 with flag 87347822/20291000
1625.33/1626.07	c cleaning 200994 clauses out of 402034 with flag 88188373/20493000
1646.47/1647.20	c cleaning 202011 clauses out of 404042 with flag 89047299/20696002
1669.65/1670.34	c cleaning 202988 clauses out of 406030 with flag 90019412/20900001
1692.71/1693.44	c cleaning 204010 clauses out of 408042 with flag 90924250/21105001
1715.36/1716.13	c cleaning 204995 clauses out of 410032 with flag 91831768/21311001
1738.21/1739.05	c cleaning 205993 clauses out of 412037 with flag 92711669/21518001
1760.65/1761.54	c cleaning 207008 clauses out of 414044 with flag 93601587/21726001
1783.79/1784.70	c cleaning 208000 clauses out of 416037 with flag 94471031/21935002
1807.33/1808.39	c cleaning 209003 clauses out of 418036 with flag 95342974/22145001
1830.77/1831.86	c cleaning 210008 clauses out of 420032 with flag 96240874/22356000
1854.74/1855.71	c cleaning 210995 clauses out of 422024 with flag 97170559/22568000
1878.68/1879.78	c cleaning 211988 clauses out of 424029 with flag 98059848/22781000
1902.73/1903.82	c cleaning 212995 clauses out of 426041 with flag 98973299/22995000
1928.87/1930.02	c cleaning 214008 clauses out of 428048 with flag 100033945/23210002
1955.11/1956.30	c cleaning 215003 clauses out of 430038 with flag 100934817/23426000
1980.85/1982.11	c cleaning 216003 clauses out of 432036 with flag 101869278/23643001
2006.79/2008.11	c cleaning 216997 clauses out of 434032 with flag 102793337/23861000
2030.68/2032.01	c cleaning 217999 clauses out of 436037 with flag 103751093/24080002
2056.82/2058.26	c cleaning 219008 clauses out of 438037 with flag 104766986/24300001
2081.26/2082.75	c cleaning 220002 clauses out of 440029 with flag 105724898/24521001
2106.51/2108.06	c cleaning 221000 clauses out of 442026 with flag 106701486/24743000
2131.84/2133.41	c cleaning 221997 clauses out of 444026 with flag 107658004/24966000
2158.09/2159.77	c cleaning 223000 clauses out of 446029 with flag 108606889/25190000
2185.52/2187.24	c cleaning 224004 clauses out of 448032 with flag 109535894/25415003
2211.46/2213.22	c cleaning 225003 clauses out of 450025 with flag 110498153/25641000
2238.40/2240.15	c cleaning 225994 clauses out of 452022 with flag 111499759/25868000
2265.53/2267.33	c cleaning 226984 clauses out of 454028 with flag 112488049/26096000
2293.26/2295.14	c cleaning 228007 clauses out of 456044 with flag 113477854/26325000
2320.39/2322.35	c cleaning 228998 clauses out of 458037 with flag 114463917/26555000
2347.41/2349.45	c cleaning 229999 clauses out of 460041 with flag 115464950/26786002
2375.64/2377.79	c cleaning 231001 clauses out of 462040 with flag 116486636/27018000
2404.57/2406.74	c cleaning 232006 clauses out of 464040 with flag 117458777/27251001
2433.70/2435.94	c cleaning 232997 clauses out of 466034 with flag 118476989/27485001
2462.42/2464.38	c cleaning 234009 clauses out of 468038 with flag 119480085/27720002
2492.75/2494.74	c cleaning 235000 clauses out of 470028 with flag 120478338/27956001
2522.59/2524.62	c cleaning 235992 clauses out of 472027 with flag 121513879/28193000
2553.53/2555.62	c cleaning 237002 clauses out of 474036 with flag 122586563/28431001
2583.46/2585.68	c cleaning 238001 clauses out of 476033 with flag 123672371/28670000
2617.58/2619.87	c cleaning 239001 clauses out of 478032 with flag 124938708/28910000
2648.51/2650.84	c cleaning 239994 clauses out of 480032 with flag 125985751/29151001
2678.15/2680.53	c cleaning 241001 clauses out of 482037 with flag 127038955/29393000
2707.75/2710.13	c cleaning 242002 clauses out of 484036 with flag 128099744/29636000
2738.18/2740.66	c cleaning 242999 clauses out of 486034 with flag 129204559/29880000
2770.01/2772.52	c cleaning 244010 clauses out of 488035 with flag 130278598/30125000
2801.13/2803.75	c cleaning 244996 clauses out of 490026 with flag 131378385/30371001
2833.07/2835.76	c cleaning 246000 clauses out of 492029 with flag 132454643/30618000
2863.69/2866.41	c cleaning 246997 clauses out of 494029 with flag 133561965/30866000
2898.23/2901.05	c cleaning 248007 clauses out of 496033 with flag 134669985/31115001
2930.94/2933.86	c cleaning 248998 clauses out of 498025 with flag 135786241/31365000
2963.87/2966.80	c cleaning 250000 clauses out of 500027 with flag 136856336/31616000
2996.90/2999.96	c cleaning 251004 clauses out of 502031 with flag 137934790/31868004
3029.98/3032.94	c cleaning 251999 clauses out of 504023 with flag 139049112/32121000
3065.59/3068.66	c cleaning 252998 clauses out of 506025 with flag 140177326/32375001
3100.00/3103.13	c cleaning 253992 clauses out of 508027 with flag 141333578/32630001
3133.82/3137.04	c cleaning 255011 clauses out of 510036 with flag 142456810/32886002
3168.92/3172.25	c cleaning 255998 clauses out of 512023 with flag 143582401/33143000
3205.33/3208.74	c cleaning 257001 clauses out of 514025 with flag 144714547/33401000
3240.04/3243.55	c cleaning 258008 clauses out of 516027 with flag 145887173/33660003
3274.65/3278.26	c cleaning 258995 clauses out of 518016 with flag 147011380/33920000
3310.55/3314.22	c cleaning 260001 clauses out of 520022 with flag 148120984/34181001
3345.78/3349.54	c cleaning 260997 clauses out of 522021 with flag 149313330/34443001
3381.09/3385.00	c cleaning 261990 clauses out of 524023 with flag 150475867/34706000
3417.69/3421.55	c cleaning 262998 clauses out of 526033 with flag 151639920/34970000
3455.31/3459.22	c cleaning 263998 clauses out of 528035 with flag 152805690/35235000
3492.93/3496.94	c cleaning 264988 clauses out of 530037 with flag 153940664/35501000
3529.94/3534.06	c cleaning 266014 clauses out of 532049 with flag 155073399/35768000
3567.25/3571.46	c cleaning 267000 clauses out of 534035 with flag 156210127/36036000
3600.07/3604.31	c timeout
3600.07/3604.32	c starts		: 63866
3600.07/3604.32	c conflicts		: 36287506
3600.07/3604.32	c decisions		: 52811096
3600.07/3604.32	c propagations		: 449582564
3600.07/3604.32	c inspects		: 57829769906
3600.07/3604.32	c shortcuts		: 0
3600.07/3604.32	c learnt literals	: 0
3600.07/3604.32	c learnt binary clauses	: 0
3600.07/3604.32	c learnt ternary clauses	: 0
3600.07/3604.32	c learnt constraints	: 36287506
3600.07/3604.32	c ignored constraints	: 0
3600.07/3604.32	c root simplifications	: 0
3600.07/3604.32	c removed literals (reason simplification)	: 20979076
3600.07/3604.32	c reason swapping (by a shorter reason)	: 0
3600.07/3604.32	c Calls to reduceDB	: 264
3600.07/3604.32	c Number of update (reduction) of LBD	: 10076101
3600.07/3604.32	c Imported unit clauses	: 0
3600.07/3604.32	c No decision after first conflict	: false
3600.07/3604.32	c number of reductions to clauses (during analyze)	: 0
3600.07/3604.32	c number of learned constraints concerned by reduction	: 0
3600.07/3604.32	c number of learning phase by resolution	: 0
3600.07/3604.32	c number of learning phase by cutting planes	: 0
3600.07/3604.32	c number of rounding to 1 operations	: 0
3600.07/3604.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3604.32	c number of reductions of the coefficients by power 2 	: 0
3600.07/3604.32	c number of right shift for reduction by power 2 	: 0
3600.07/3604.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3604.32	c number of ending skipping 	: 0
3600.07/3604.32	c number of internal skipping 	: 0
3600.07/3604.32	c number of derivation steps 	: 0
3600.07/3604.32	c number of skipped derivation steps 	: 0
3600.07/3604.33	c number of remaining unassigned 	: 0
3600.07/3604.33	c number of remaining assigned 	: 0
3600.07/3604.33	c number of falsified literals weakened from reason	: 0
3600.07/3604.33	c number of falsified literals weakened from conflict	: 0
3600.07/3604.33	c time for arithmetic operations	: 0
3600.07/3604.33	c minimum degree of deleted constraints	: null
3600.07/3604.33	c maximum degree of deleted constraints	: null
3600.07/3604.33	c number of deleted constraints	: 0
3600.07/3604.33	c speed (assignments/second)	: 124739.76322942019
3600.07/3604.33	c non guided choices	: 629337
3600.07/3604.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 518541
3600.07/3604.39	s UNKNOWN
3600.07/3604.39	c Total wall clock time (in seconds): 3604.266

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542900-1753219617/watcher-4542900-1753219617 -o /tmp/evaluation-result-4542900-1753219617/solver-4542900-1753219617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753212428-151457 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542900-1753219617.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.08 4.09 4.10 6/337 152424
/proc/meminfo: memFree=116488696/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=18930384 memory=58024 CPUtime=0.13 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 6604 0 0 0 11 2 0 0 20 0 18 0 237640332 19384713216 14506 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4732596 14506 5368 1 0 547640 0
[pid=152406/tid=152408] ppid=152403 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 5099 0 0 0 7 1 0 0 20 0 18 0 237640333 19384713216 14506 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237640335 19384713216 14506 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=18930384 memory=60684515961493 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237640335 19384713216 14506 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58024 KiB

[startup+0.205966 s]*
/proc/loadavg: 4.08 4.09 4.10 6/338 152425
/proc/meminfo: memFree=116477480/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=18996948 memory=62920 CPUtime=0.32 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 7607 0 0 0 30 2 0 0 20 0 19 0 237640332 19452874752 15730 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4749237 15730 5464 1 0 548369 0
[pid=152406/tid=152408] ppid=152403 vsize=18996948 memory=4026925340 CPUtime=0.16 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 5307 0 0 0 15 1 0 0 20 0 19 0 237640333 19452874752 15730 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=18996948 memory=2573 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 15730 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=18996948 memory=59585004307431 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 15730 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640348 19452874752 15730 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62920 KiB

[startup+0.305812 s]*
/proc/loadavg: 4.08 4.09 4.10 6/338 152425
/proc/meminfo: memFree=116473700/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=18996948 memory=66680 CPUtime=0.52 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 8896 0 0 0 49 3 0 0 20 0 19 0 237640332 19452874752 16670 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4749237 16670 5464 1 0 549275 0
[pid=152406/tid=152408] ppid=152403 vsize=18996948 memory=-8961431440757400252 CPUtime=0.26 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 5313 0 0 0 25 1 0 0 20 0 19 0 237640333 19452874752 16670 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 16670 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 16670 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640348 19452874752 16670 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66680 KiB

[startup+0.700259 s]
/proc/loadavg: 4.08 4.09 4.10 6/338 152425
/proc/meminfo: memFree=116451540/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=18996948 memory=88536 CPUtime=1.28 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 14671 0 0 0 124 4 0 0 20 0 19 0 237640332 19452874752 22134 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4749237 22134 5464 1 0 552606 0
[pid=152406/tid=152408] ppid=152403 vsize=18996948 memory=27392 CPUtime=0.64 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 5363 0 0 0 62 2 0 0 20 0 19 0 237640333 19452874752 22134 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 22134 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 22134 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640348 19452874752 22134 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88536 KiB

[startup+1.50025 s]
/proc/loadavg: 4.08 4.09 4.10 6/338 152425
/proc/meminfo: memFree=116437488/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=18996948 memory=103268 CPUtime=2.54 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 17762 0 0 0 249 5 0 0 20 0 19 0 237640332 19452874752 25817 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4749237 25817 5464 1 0 552609 0
[pid=152406/tid=152408] ppid=152403 vsize=18996948 memory=0 CPUtime=1.43 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 5669 0 0 0 141 2 0 0 20 0 19 0 237640333 19452874752 25817 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 25817 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 25817 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640348 19452874752 25817 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103268 KiB

[startup+3.10551 s]
/proc/loadavg: 4.07 4.09 4.10 4/315 152436
/proc/meminfo: memFree=122877864/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=18996948 memory=132064 CPUtime=4.19 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 18701 0 0 0 413 6 0 0 20 0 19 0 237640332 19452874752 33016 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4749237 33016 5464 1 0 552613 0
[pid=152406/tid=152408] ppid=152403 vsize=18996948 memory=10752 CPUtime=3.03 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 6017 0 0 0 300 3 0 0 20 0 19 0 237640333 19452874752 33016 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=18996948 memory=-8961431440757400252 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 33016 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237640335 19452874752 33016 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640348 19452874752 33016 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132064 KiB

[startup+6.30019 s]
/proc/loadavg: 4.07 4.09 4.10 5/339 152493
/proc/meminfo: memFree=122769560/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=176012 CPUtime=7.39 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 19955 0 0 0 732 7 0 0 20 0 20 0 237640332 19521036288 44003 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 44003 5464 1 0 552902 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=0 CPUtime=6.2 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 6063 0 0 0 616 4 0 0 20 0 20 0 237640333 19521036288 44003 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 44003 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 44003 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=105316 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 44003 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176012 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.10 5/338 152560
/proc/meminfo: memFree=124273956/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=182240 CPUtime=13.79 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 22497 0 0 0 1372 7 0 0 20 0 20 0 237640332 19521036288 45560 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 45560 5464 1 0 552902 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=105316 CPUtime=12.57 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 7028 0 0 0 1253 4 0 0 20 0 20 0 237640333 19521036288 45560 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 45560 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=-8961431440757400252 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 45560 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 45560 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 13.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182240 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.10 5/339 152627
/proc/meminfo: memFree=124147940/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=200928 CPUtime=26.58 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 23480 0 0 0 2650 8 0 0 20 0 20 0 237640332 19521036288 50232 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 50232 5496 1 0 552902 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=0 CPUtime=25.31 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 7600 0 0 0 2527 4 0 0 20 0 20 0 237640333 19521036288 50232 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=200928 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 50232 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=182368 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 50232 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=27392 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 50232 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 200928 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.09 4.10 5/339 152628
/proc/meminfo: memFree=123731768/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=324272 CPUtime=52.23 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 25300 0 0 0 5213 10 0 0 20 0 20 0 237640332 19521036288 81068 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 81068 5496 1 0 552902 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=324272 CPUtime=50.72 cores=0,2

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

/proc/meminfo: memFree=111188332/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3278.73 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 74949 0 0 0 327757 116 0 0 20 0 20 0 237640332 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 542969 5496 1 0 556640 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3271.09 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 33000 0 0 0 327088 21 0 0 20 0 20 0 237640333 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 758 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 3278.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/340 152814
/proc/meminfo: memFree=111183896/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3338.6 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 76042 0 0 0 333742 118 0 0 20 0 20 0 237640332 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 542969 5496 1 0 556657 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=10752 CPUtime=3330.93 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 33828 0 0 0 333071 22 0 0 20 0 20 0 237640333 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 758 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 3338.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171876 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/340 152816
/proc/meminfo: memFree=111183556/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3398.53 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 77757 0 0 0 339733 120 0 0 20 0 20 0 237640332 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 542969 5496 1 0 556659 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3390.69 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 34781 0 0 0 339047 22 0 0 20 0 20 0 237640333 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 772 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 3398.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/339 152818
/proc/meminfo: memFree=111171396/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3458.4 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 77970 0 0 0 345719 121 0 0 20 0 20 0 237640332 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 542969 5496 1 0 556659 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3450.53 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 34854 0 0 0 345031 22 0 0 20 0 20 0 237640333 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 785 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 3458.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/339 152820
/proc/meminfo: memFree=111168236/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3518.26 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 78106 0 0 0 351704 122 0 0 20 0 20 0 237640332 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 542969 5496 1 0 556659 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=14720 CPUtime=3510.37 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 34960 0 0 0 351015 22 0 0 20 0 20 0 237640333 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 785 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 3518.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/340 152825
/proc/meminfo: memFree=111094156/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3578.13 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 78655 0 0 0 357689 124 0 0 20 0 20 0 237640332 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 542969 5496 1 0 556659 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=46464 CPUtime=3570.22 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 35442 0 0 0 357000 22 0 0 20 0 20 0 237640333 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 785 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 3578.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.3 s]
/proc/loadavg: 3.91 4.07 4.08 3/290 152893
/proc/meminfo: memFree=120503724/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3600.07 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 78754 0 0 0 359882 125 0 0 20 0 20 0 237640332 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 542969 5496 1 0 556659 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3592.15 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 35528 0 0 0 359192 23 0 0 20 0 20 0 237640333 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 785 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=-8961431440757400252 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171876 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.96 s, system=1.26936 s

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

[startup+3604.3 s]
/proc/loadavg: 3.91 4.07 4.08 3/290 152893
/proc/meminfo: memFree=120503724/131250000 swapFree=33010672/33010684
[pid=152406] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3600.07 cores=0,2
/proc/152406/stat : 152406 (java) S 152403 152406 151447 0 -1 4194304 78754 0 0 0 359882 125 0 0 20 0 20 0 237640332 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
/proc/152406/statm: 4765878 542969 5496 1 0 556659 0
[pid=152406/tid=152408] ppid=152403 vsize=19063512 memory=2171876 CPUtime=3592.15 cores=0,2
/proc/152406/task/152408/stat : 152408 (java) R 152403 152406 151447 0 -1 4194368 35528 0 0 0 359192 23 0 0 20 0 20 0 237640333 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152417] ppid=152403 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/152406/task/152417/stat : 152417 (Finalizer) S 152403 152406 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152424] ppid=152403 vsize=19063512 memory=2171876 CPUtime=0 cores=0,2
/proc/152406/task/152424/stat : 152424 (Common-Cleaner) S 152403 152406 151447 0 -1 4194368 785 0 0 0 0 0 0 0 20 0 20 0 237640335 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
[pid=152406/tid=152425] ppid=152403 vsize=19063512 memory=-8961431440757400252 CPUtime=0 cores=0,2
/proc/152406/task/152425/stat : 152425 (Timer-0) S 152403 152406 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640348 19521036288 542969 18446744073709551615 93935334498304 93935334502000 140734830627680 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93935334509816 93935334510608 93935364386816 140734830631295 140734830631396 140734830631396 140734830637000 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171876 KiB

Child status: 143

Real time (s): 3604.41
CPU time (s): 3600.23
CPU user time (s): 3598.96
CPU system time (s): 1.26936
CPU usage (%): 99.884
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2171876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.96
system time used= 1.26936
maximum resident set size= 2172900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103386
involuntary context switches= 8751


# summary of solver processes directly reported to runsolver:
#   pid: 152406
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.96
#   total CPU system time (s): 1.26936

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.88458 second user time and 17.2688 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-22 23:26:57
IDJOB=4542900
IDBENCH=164900
IDSOLVER=3363
FILE ID=nodeC026/4542900-1753219617
RUNJOBID= nodeC026-1753212428-151457
SLURM_JOB_ID= 9687803
Free space on /tmp= 432980 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542900-1753219617/watcher-4542900-1753219617 -o /tmp/evaluation-result-4542900-1753219617/solver-4542900-1753219617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753212428-151457 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542900-1753219617.opb

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

MD5SUM BENCH= b02daac0bd5c49ad8b109680e19e1b42
RANDOM SEED=807312188

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        116514844 kB
MemAvailable:   121305560 kB
Buffers:            2128 kB
Cached:          5416164 kB
SwapCached:            4 kB
Active:          9483252 kB
Inactive:        4274024 kB
Active(anon):    8359912 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4268680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1836 kB
Writeback:             0 kB
AnonPages:       8342032 kB
Mapped:           129228 kB
Shmem:             26268 kB
KReclaimable:     459496 kB
Slab:             564480 kB
SReclaimable:     459496 kB
SUnreclaim:       104984 kB
KernelStack:        5216 kB
PageTables:        19816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   12614588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8095744 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC026 at 2025-07-23 00:27:01