Trace number 4513447

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-06UNSAT cert. 1157.46 1157.82

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
MD5SUM1b3727bc41a297c1e3576d09f30c6702
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 benchmark26.048
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1101
Total number of constraints551
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)551
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.19	c See www.sat4j.org for details.
0.01/0.20	c version PB25.v20250606
0.09/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.21	c java.vm.version	22.0.1+8-16
0.09/0.21	c java.vm.vendor	Oracle Corporation
0.09/0.21	c sun.arch.data.model	64
0.09/0.21	c java.version		22.0.1
0.09/0.21	c os.name		Linux
0.09/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.21	c os.arch		amd64
0.09/0.22	c Free memory 		2104792832
0.09/0.22	c Max memory 		16282288128
0.09/0.22	c Total memory 		2113929216
0.09/0.22	c Number of processors 	2
0.09/0.26	c Pseudo Boolean Optimization by upper bound
0.09/0.26	c --- Begin Solver configuration ---
0.09/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.26	c Learn all clauses as in MiniSAT
0.09/0.26	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.26	c Expensive reason simplification
0.09/0.26	c Glucose 2.1 dynamic restart strategy
0.09/0.26	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.09/0.26	c timeout=2147483s
0.09/0.26	c DB Simplification allowed=false
0.09/0.26	c Listener: none
0.09/0.26	c --- End Solver configuration ---
0.09/0.26	c solving HOME/instance-4513447-1751218367.opb
0.09/0.26	c reading problem ... 
0.09/0.26	c using VERIPB proof format
0.09/0.26	c  no objective function found
0.27/0.31	c ... done. Wall clock time 0.054s.
0.27/0.31	c declared #vars     1101
0.27/0.31	c #constraints  1102
0.27/0.31	c constraints type 
0.27/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.27/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1100
0.27/0.31	c 1102 constraints processed.
0.84/0.67	c cleaning 2494 clauses out of 5000 with flag 21321/5000
1.42/0.98	c cleaning 4236 clauses out of 8507 with flag 46643/11001
2.02/1.25	c cleaning 5587 clauses out of 11270 with flag 77237/18000
2.41/1.44	c cleaning 6798 clauses out of 13683 with flag 117508/26000
2.81/1.61	c cleaning 7908 clauses out of 15885 with flag 165059/35000
3.01/1.76	c cleaning 8923 clauses out of 17977 with flag 217580/45000
3.38/1.95	c cleaning 9994 clauses out of 20057 with flag 277552/56003
3.76/2.25	c cleaning 10972 clauses out of 22061 with flag 352542/68001
3.95/2.47	c cleaning 12020 clauses out of 24088 with flag 424251/81000
4.32/2.73	c cleaning 12995 clauses out of 26069 with flag 500403/95001
4.73/3.05	c cleaning 13991 clauses out of 28074 with flag 584649/110001
5.04/3.35	c cleaning 15028 clauses out of 30082 with flag 673282/126000
5.36/3.64	c cleaning 15993 clauses out of 32055 with flag 767841/143001
5.80/4.00	c cleaning 16958 clauses out of 34061 with flag 871564/161000
6.10/4.36	c cleaning 17964 clauses out of 36103 with flag 980033/180000
6.50/4.76	c cleaning 19018 clauses out of 38139 with flag 1089434/200000
6.91/5.18	c cleaning 20043 clauses out of 40122 with flag 1208177/221001
7.41/5.61	c cleaning 21026 clauses out of 42079 with flag 1331186/243001
7.81/6.05	c cleaning 21959 clauses out of 44052 with flag 1455956/266000
8.30/6.54	c cleaning 22982 clauses out of 46093 with flag 1586536/290000
8.81/7.06	c cleaning 23999 clauses out of 48112 with flag 1721178/315001
9.40/7.64	c cleaning 25018 clauses out of 50112 with flag 1860289/341000
10.01/8.25	c cleaning 26022 clauses out of 52095 with flag 2006342/368001
10.70/8.90	c cleaning 27023 clauses out of 54073 with flag 2151733/396001
11.30/9.56	c cleaning 27954 clauses out of 56049 with flag 2305550/425000
12.22/10.44	c cleaning 28995 clauses out of 58096 with flag 2478876/455001
13.07/11.30	c cleaning 30047 clauses out of 60100 with flag 2634141/486000
13.77/12.05	c cleaning 30975 clauses out of 62053 with flag 2803352/518000
14.57/12.85	c cleaning 31989 clauses out of 64079 with flag 2977383/551001
15.39/13.69	c cleaning 32973 clauses out of 66090 with flag 3161209/585001
16.32/14.58	c cleaning 33989 clauses out of 68116 with flag 3345517/620000
17.22/15.49	c cleaning 35015 clauses out of 70128 with flag 3529329/656001
18.21/16.42	c cleaning 36035 clauses out of 72112 with flag 3720198/693000
19.27/17.41	c cleaning 36981 clauses out of 74078 with flag 3923964/731001
20.33/18.49	c cleaning 38038 clauses out of 76098 with flag 4129337/770002
21.43/19.54	c cleaning 38986 clauses out of 78060 with flag 4326809/810002
22.60/20.69	c cleaning 39984 clauses out of 80072 with flag 4535978/851000
23.79/21.81	c cleaning 41002 clauses out of 82089 with flag 4749075/893001
25.01/23.05	c cleaning 42001 clauses out of 84086 with flag 4966777/936000
26.23/24.24	c cleaning 43034 clauses out of 86085 with flag 5182143/980000
27.56/25.53	c cleaning 44011 clauses out of 88052 with flag 5410825/1025001
28.86/26.81	c cleaning 44972 clauses out of 90041 with flag 5637449/1071001
30.16/28.15	c cleaning 46006 clauses out of 92068 with flag 5869455/1118000
31.55/29.54	c cleaning 46991 clauses out of 94062 with flag 6100377/1166000
33.07/31.02	c cleaning 47992 clauses out of 96071 with flag 6340077/1215000
34.47/32.55	c cleaning 49006 clauses out of 98080 with flag 6583022/1265001
35.98/34.07	c cleaning 50017 clauses out of 100073 with flag 6827323/1316000
37.60/35.68	c cleaning 50981 clauses out of 102056 with flag 7087622/1368000
39.30/37.31	c cleaning 52012 clauses out of 104077 with flag 7348005/1421002
40.90/38.99	c cleaning 52982 clauses out of 106064 with flag 7606826/1475001
42.74/40.77	c cleaning 54042 clauses out of 108083 with flag 7874415/1530002
44.63/42.60	c cleaning 54970 clauses out of 110040 with flag 8140907/1586001
46.53/44.52	c cleaning 56003 clauses out of 112070 with flag 8411820/1643001
48.52/46.55	c cleaning 57021 clauses out of 114067 with flag 8683844/1701001
50.53/48.53	c cleaning 58003 clauses out of 116045 with flag 8961561/1760000
52.53/50.54	c cleaning 58997 clauses out of 118044 with flag 9244518/1820002
54.52/52.58	c cleaning 60003 clauses out of 120045 with flag 9526720/1881000
56.71/54.75	c cleaning 60992 clauses out of 122044 with flag 9822562/1943002
58.94/56.91	c cleaning 61985 clauses out of 124052 with flag 10109822/2006002
61.04/59.08	c cleaning 63008 clauses out of 126065 with flag 10403865/2070000
63.23/61.29	c cleaning 63987 clauses out of 128057 with flag 10690418/2135000
65.63/63.74	c cleaning 64995 clauses out of 130072 with flag 10986562/2201002
68.14/66.21	c cleaning 66005 clauses out of 132075 with flag 11293686/2268000
70.64/68.78	c cleaning 67000 clauses out of 134071 with flag 11604363/2336001
73.04/71.17	c cleaning 67997 clauses out of 136070 with flag 11906131/2405000
75.53/73.65	c cleaning 69005 clauses out of 138073 with flag 12212493/2475000
78.14/76.24	c cleaning 70023 clauses out of 140068 with flag 12524734/2546000
80.73/78.85	c cleaning 71005 clauses out of 142047 with flag 12841639/2618002
83.43/81.58	c cleaning 71988 clauses out of 144041 with flag 13168266/2691001
86.22/84.38	c cleaning 73000 clauses out of 146052 with flag 13501034/2765000
89.03/87.17	c cleaning 73989 clauses out of 148054 with flag 13831563/2840002
91.93/90.07	c cleaning 74985 clauses out of 150063 with flag 14167092/2916000
94.80/93.06	c cleaning 76002 clauses out of 152078 with flag 14503378/2993000
97.91/96.12	c cleaning 77022 clauses out of 154077 with flag 14839208/3071001
100.99/99.26	c cleaning 77998 clauses out of 156054 with flag 15189532/3150000
104.18/102.47	c cleaning 79008 clauses out of 158056 with flag 15541232/3230000
107.58/105.82	c cleaning 79992 clauses out of 160049 with flag 15897005/3311001
110.89/109.15	c cleaning 80997 clauses out of 162057 with flag 16248748/3393001
114.48/112.76	c cleaning 81995 clauses out of 164060 with flag 16617857/3476001
118.16/116.42	c cleaning 83025 clauses out of 166064 with flag 16987164/3560000
121.67/119.99	c cleaning 83979 clauses out of 168039 with flag 17349457/3645000
125.36/123.74	c cleaning 85023 clauses out of 170062 with flag 17719112/3731002
129.35/127.71	c cleaning 85988 clauses out of 172038 with flag 18097020/3818001
133.06/131.44	c cleaning 86991 clauses out of 174049 with flag 18463424/3906000
137.05/135.47	c cleaning 88014 clauses out of 176058 with flag 18841927/3995000
141.14/139.55	c cleaning 88997 clauses out of 178045 with flag 19231794/4085001
145.45/143.82	c cleaning 89991 clauses out of 180047 with flag 19621893/4176000
149.65/148.08	c cleaning 91008 clauses out of 182056 with flag 20004094/4268000
154.04/152.46	c cleaning 91999 clauses out of 184050 with flag 20397073/4361002
158.54/157.09	c cleaning 93009 clauses out of 186051 with flag 20789548/4455002
163.02/161.56	c cleaning 93992 clauses out of 188040 with flag 21183361/4550000
167.94/166.46	c cleaning 95010 clauses out of 190049 with flag 21599763/4646001
172.83/171.33	c cleaning 95991 clauses out of 192039 with flag 22023179/4743001
177.42/175.96	c cleaning 96993 clauses out of 194047 with flag 22431973/4841000
182.33/180.89	c cleaning 98003 clauses out of 196055 with flag 22848238/4940001
186.90/185.54	c cleaning 98998 clauses out of 198052 with flag 23252435/5040001
191.92/190.56	c cleaning 99989 clauses out of 200054 with flag 23667155/5141001
196.91/195.55	c cleaning 101005 clauses out of 202065 with flag 24085424/5243001
202.01/200.66	c cleaning 102000 clauses out of 204059 with flag 24511184/5346000
207.12/205.77	c cleaning 103006 clauses out of 206059 with flag 24938250/5450000
212.51/211.12	c cleaning 104001 clauses out of 208053 with flag 25371488/5555000
218.17/216.80	c cleaning 105015 clauses out of 210052 with flag 25804187/5661000
223.65/222.30	c cleaning 105994 clauses out of 212038 with flag 26239549/5768001
229.23/227.97	c cleaning 107009 clauses out of 214044 with flag 26683471/5876001
235.05/233.78	c cleaning 107987 clauses out of 216034 with flag 27121892/5985000
240.73/239.48	c cleaning 109000 clauses out of 218048 with flag 27566848/6095001
246.36/245.09	c cleaning 110012 clauses out of 220049 with flag 28009886/6206002
252.39/251.19	c cleaning 111011 clauses out of 222035 with flag 28457604/6318000
258.60/257.39	c cleaning 111994 clauses out of 224025 with flag 28913131/6431001
264.49/263.28	c cleaning 112997 clauses out of 226030 with flag 29361155/6545000
270.52/269.24	c cleaning 113994 clauses out of 228033 with flag 29811641/6660000
276.50/275.29	c cleaning 114998 clauses out of 230039 with flag 30264472/6776000
282.78/281.57	c cleaning 115999 clauses out of 232041 with flag 30726803/6893000
288.85/287.66	c cleaning 117001 clauses out of 234043 with flag 31190163/7011001
295.63/294.41	c cleaning 118016 clauses out of 236041 with flag 31659841/7130000
302.06/300.89	c cleaning 118989 clauses out of 238025 with flag 32130789/7250000
308.45/307.27	c cleaning 120002 clauses out of 240037 with flag 32596993/7371001
315.40/314.30	c cleaning 120987 clauses out of 242034 with flag 33062282/7493000
322.38/321.22	c cleaning 122014 clauses out of 244048 with flag 33544026/7616001
329.11/327.97	c cleaning 123007 clauses out of 246034 with flag 34010779/7740001
335.80/334.67	c cleaning 123998 clauses out of 248026 with flag 34493445/7865000
342.56/341.46	c cleaning 124982 clauses out of 250028 with flag 34963706/7991000
349.32/348.15	c cleaning 125993 clauses out of 252046 with flag 35435124/8118000
356.00/354.85	c cleaning 127005 clauses out of 254053 with flag 35915624/8246000
362.56/361.34	c cleaning 127996 clauses out of 256048 with flag 36387601/8375000
369.44/368.20	c cleaning 129016 clauses out of 258053 with flag 36870043/8505001
376.44/376.45	c cleaning 130007 clauses out of 260037 with flag 37342855/8636001
383.53/383.50	c cleaning 131000 clauses out of 262032 with flag 37822618/8768003
390.56/390.55	c cleaning 131995 clauses out of 264029 with flag 38306383/8901000
397.54/397.59	c cleaning 133007 clauses out of 266035 with flag 38793012/9035001
404.46/404.45	c cleaning 134000 clauses out of 268029 with flag 39272957/9170002
411.38/411.46	c cleaning 135002 clauses out of 270027 with flag 39763650/9306000
418.40/418.41	c cleaning 135994 clauses out of 272025 with flag 40258616/9443000
425.25/425.22	c cleaning 137008 clauses out of 274032 with flag 40754618/9581001
431.84/431.87	c cleaning 137998 clauses out of 276023 with flag 41242697/9720000
438.88/438.91	c cleaning 139000 clauses out of 278025 with flag 41737363/9860000
445.66/445.70	c cleaning 140007 clauses out of 280025 with flag 42234831/10001000
452.89/452.90	c cleaning 141000 clauses out of 282020 with flag 42733826/10143002
459.94/459.94	c cleaning 141993 clauses out of 284018 with flag 43231558/10286000
467.00/467.60	c cleaning 142989 clauses out of 286027 with flag 43737459/10430002
474.14/474.75	c cleaning 144005 clauses out of 288038 with flag 44244237/10575002
481.28/481.81	c cleaning 145003 clauses out of 290032 with flag 44757787/10721001
488.36/488.99	c cleaning 145995 clauses out of 292028 with flag 45270997/10868000
495.71/496.23	c cleaning 147006 clauses out of 294034 with flag 45784475/11016001
502.82/503.49	c cleaning 147997 clauses out of 296028 with flag 46302496/11165001
509.95/510.50	c cleaning 148997 clauses out of 298031 with flag 46824957/11315001
517.19/517.75	c cleaning 150003 clauses out of 300033 with flag 47356962/11466000
524.58/525.17	c cleaning 151002 clauses out of 302030 with flag 47896584/11618000
532.04/532.65	c cleaning 152006 clauses out of 304029 with flag 48438917/11771001
539.39/539.97	c cleaning 152999 clauses out of 306024 with flag 48982183/11925002
546.77/547.32	c cleaning 153997 clauses out of 308024 with flag 49522312/12080001
554.71/555.23	c cleaning 155007 clauses out of 310026 with flag 50088394/12236000
562.98/563.50	c cleaning 156000 clauses out of 312019 with flag 50657343/12393000
571.06/571.67	c cleaning 156995 clauses out of 314019 with flag 51236684/12551000
579.50/580.02	c cleaning 158004 clauses out of 316026 with flag 51812575/12710002
588.15/588.60	c cleaning 158995 clauses out of 318020 with flag 52407671/12870000
596.54/597.32	c cleaning 160002 clauses out of 320025 with flag 53003916/13031000
605.36/606.11	c cleaning 160993 clauses out of 322024 with flag 53600338/13193001
614.40/615.13	c cleaning 162004 clauses out of 324030 with flag 54210265/13356000
623.39/624.21	c cleaning 163006 clauses out of 326026 with flag 54806338/13520000
632.62/633.46	c cleaning 164010 clauses out of 328021 with flag 55418343/13685001
642.16/642.96	c cleaning 164987 clauses out of 330010 with flag 56039490/13851000
652.34/653.14	c cleaning 165999 clauses out of 332024 with flag 56676217/14018001
662.51/663.36	c cleaning 166999 clauses out of 334024 with flag 57306786/14186000
672.84/673.60	c cleaning 168002 clauses out of 336026 with flag 57951867/14355001
683.18/684.03	c cleaning 168999 clauses out of 338024 with flag 58590498/14525001
693.95/694.87	c cleaning 170000 clauses out of 340025 with flag 59259134/14696001
705.07/705.94	c cleaning 170997 clauses out of 342025 with flag 59917665/14868001
716.14/717.09	c cleaning 171996 clauses out of 344027 with flag 60578241/15041000
727.57/728.44	c cleaning 173015 clauses out of 346031 with flag 61250569/15215000
738.84/739.79	c cleaning 173989 clauses out of 348017 with flag 61920107/15390001
750.22/751.12	c cleaning 175004 clauses out of 350027 with flag 62598570/15566000
762.64/763.53	c cleaning 175999 clauses out of 352024 with flag 63293958/15743001
775.44/776.32	c cleaning 176992 clauses out of 354025 with flag 63990477/15921001
787.62/788.56	c cleaning 178010 clauses out of 356033 with flag 64679914/16100001
800.54/801.43	c cleaning 179005 clauses out of 358023 with flag 65385577/16280001
813.91/814.86	c cleaning 179995 clauses out of 360018 with flag 66091399/16461001
826.95/827.85	c cleaning 181005 clauses out of 362022 with flag 66794752/16643000
839.35/840.54	c cleaning 181992 clauses out of 364017 with flag 67499403/16826000
852.66/853.85	c cleaning 183002 clauses out of 366025 with flag 68204357/17010000
865.63/866.86	c cleaning 183997 clauses out of 368023 with flag 68903175/17195000
879.06/880.20	c cleaning 184997 clauses out of 370026 with flag 69621928/17381000
892.80/893.94	c cleaning 186008 clauses out of 372030 with flag 70337299/17568001
907.01/908.22	c cleaning 187004 clauses out of 374022 with flag 71058510/17756001
920.34/921.59	c cleaning 187996 clauses out of 376017 with flag 71781846/17945000
933.81/935.00	c cleaning 188992 clauses out of 378021 with flag 72489992/18135000
947.34/948.52	c cleaning 190008 clauses out of 380031 with flag 73225441/18326002
961.03/962.24	c cleaning 191001 clauses out of 382022 with flag 73960307/18518001
975.46/976.63	c cleaning 192003 clauses out of 384021 with flag 74699506/18711001
990.79/992.01	c cleaning 193000 clauses out of 386018 with flag 75462079/18905001
1006.20/1007.41	c cleaning 193999 clauses out of 388017 with flag 76228233/19100000
1021.76/1023.03	c cleaning 195001 clauses out of 390019 with flag 77007065/19296001
1038.27/1039.50	c cleaning 196004 clauses out of 392017 with flag 77810600/19493000
1055.76/1057.02	c cleaning 196998 clauses out of 394013 with flag 78636463/19691000
1072.91/1074.18	c cleaning 197997 clauses out of 396015 with flag 79470303/19890000
1093.02/1094.35	c cleaning 199001 clauses out of 398018 with flag 80335479/20090000
1115.83/1117.14	c cleaning 200006 clauses out of 400017 with flag 81219297/20291000
1142.08/1143.48	c cleaning 201002 clauses out of 402012 with flag 82122922/20493001
1157.30/1157.72	c starts		: 22131
1157.30/1157.73	c conflicts		: 20646944
1157.30/1157.73	c decisions		: 29299640
1157.30/1157.73	c propagations		: 168383257
1157.30/1157.73	c inspects		: 19804304425
1157.30/1157.73	c shortcuts		: 0
1157.30/1157.73	c learnt literals	: 14
1157.30/1157.73	c learnt binary clauses	: 87
1157.30/1157.73	c learnt ternary clauses	: 350
1157.30/1157.73	c learnt constraints	: 20646929
1157.30/1157.73	c ignored constraints	: 0
1157.30/1157.73	c root simplifications	: 0
1157.30/1157.73	c removed literals (reason simplification)	: 17417977
1157.30/1157.73	c reason swapping (by a shorter reason)	: 0
1157.30/1157.73	c Calls to reduceDB	: 198
1157.30/1157.73	c Number of update (reduction) of LBD	: 4513109
1157.30/1157.73	c Imported unit clauses	: 0
1157.30/1157.73	c No decision after first conflict	: false
1157.30/1157.73	c number of reductions to clauses (during analyze)	: 0
1157.30/1157.73	c number of learned constraints concerned by reduction	: 0
1157.30/1157.73	c number of learning phase by resolution	: 0
1157.30/1157.73	c number of learning phase by cutting planes	: 0
1157.30/1157.73	c number of rounding to 1 operations	: 0
1157.30/1157.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1157.30/1157.73	c number of reductions of the coefficients by power 2 	: 0
1157.30/1157.73	c number of right shift for reduction by power 2 	: 0
1157.30/1157.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
1157.30/1157.73	c number of ending skipping 	: 0
1157.30/1157.73	c number of internal skipping 	: 0
1157.30/1157.73	c number of derivation steps 	: 0
1157.30/1157.73	c number of skipped derivation steps 	: 0
1157.30/1157.73	c number of remaining unassigned 	: 0
1157.30/1157.73	c number of remaining assigned 	: 0
1157.30/1157.73	c number of falsified literals weakened from reason	: 0
1157.30/1157.73	c number of falsified literals weakened from conflict	: 0
1157.30/1157.73	c time for arithmetic operations	: 0
1157.30/1157.73	c minimum degree of deleted constraints	: null
1157.30/1157.73	c maximum degree of deleted constraints	: null
1157.30/1157.73	c number of deleted constraints	: 0
1157.30/1157.73	c speed (assignments/second)	: 145482.55677321472
1157.30/1157.73	c non guided choices	: 1684917
1157.42/1157.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 354851
1157.42/1157.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 87
1157.42/1157.81	s UNSATISFIABLE
1157.42/1157.81	c Total wall clock time (in seconds): 1157.549

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 17:00:19 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513447-1751218367/watcher-4513447-1751218367 -o /tmp/evaluation-result-4513447-1751218367/solver-4513447-1751218367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30658 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513447-1751218367 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4513447-1751218367.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=30711, runsolver pid=30699

[startup+0.100072 s]*
/proc/loadavg: 1.07 3.56 5.86 1/291 30743
/proc/meminfo: memFree=129886144/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=18130736 memory=27152 CPUtime=0.01 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 3301 0 195 0 0 1 0 0 20 0 7 0 37515358 18565873664 6788 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16784588 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4532684 6788 3168 1 0 540973 0
[pid=30711/tid=30720] ppid=30699 vsize=18130736 memory=4026532124 CPUtime=0.01 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) D 30699 30711 30647 0 -1 4194368 2707 0 195 0 0 1 0 0 20 0 7 0 37515362 18565873664 6788 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16784588 1 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 27152 KiB

[startup+0.205576 s]*
/proc/loadavg: 1.07 3.56 5.86 6/336 30788
/proc/meminfo: memFree=129837236/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=18930384 memory=53484 CPUtime=0.09 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 5953 0 343 0 7 2 0 0 20 0 18 0 37515358 19384713216 13371 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4732596 13371 5250 1 0 547287 0
[pid=30711/tid=30720] ppid=30699 vsize=18930384 memory=3472328300254200092 CPUtime=0.06 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 4769 0 315 0 4 2 0 0 20 0 18 0 37515362 19384713216 13371 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=18930384 memory=2569 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 18 0 37515372 19384713216 13371 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 37515373 19384713216 13371 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53484 KiB

[startup+0.305632 s]*
/proc/loadavg: 1.07 3.56 5.86 13/336 30788
/proc/meminfo: memFree=129778008/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=18930384 memory=73164 CPUtime=0.27 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 6657 0 345 0 23 4 0 0 20 0 18 0 37515358 19384713216 18291 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4732596 18291 5378 1 0 547893 0
[pid=30711/tid=30720] ppid=30699 vsize=18930384 memory=-6000919507150007404 CPUtime=0.15 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 5085 0 315 0 12 3 0 0 20 0 18 0 37515362 19384713216 18291 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=18930384 memory=-4421386504753802084 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 18 0 37515372 19384713216 18291 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 37515373 19384713216 18291 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 73164 KiB

[startup+0.700238 s]
/proc/loadavg: 1.07 3.56 5.86 11/340 30792
/proc/meminfo: memFree=129674796/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=18996948 memory=127568 CPUtime=1.03 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 15598 0 346 0 97 6 0 0 20 0 19 0 37515358 19452874752 31892 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4749237 31892 5378 1 0 553196 0
[pid=30711/tid=30720] ppid=30699 vsize=18996948 memory=17408 CPUtime=0.47 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 5239 0 316 0 43 4 0 0 20 0 19 0 37515362 19452874752 31892 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 19 0 37515372 19452874752 31892 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=18996948 memory=5760 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37515373 19452874752 31892 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=18996948 memory=4252 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37515390 19452874752 31892 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 127568 KiB

[startup+1.50023 s]
/proc/loadavg: 1.07 3.56 5.86 9/340 30792
/proc/meminfo: memFree=129411848/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=175776 CPUtime=2.61 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 21728 0 346 0 251 10 0 0 20 0 20 0 37515358 19521036288 43944 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 43944 5410 1 0 553860 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=0 CPUtime=1.25 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 5649 0 316 0 119 6 0 0 20 0 20 0 37515362 19521036288 43944 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 43944 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 43944 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 43944 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175776 KiB

[startup+3.10551 s]
/proc/loadavg: 1.70 3.65 5.88 6/344 30796
/proc/meminfo: memFree=129041292/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=249952 CPUtime=4.84 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 23792 0 346 0 470 14 0 0 20 0 20 0 37515358 19521036288 62488 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 62488 5410 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=0 CPUtime=2.84 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 6159 0 316 0 274 10 0 0 20 0 20 0 37515362 19521036288 62488 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 62488 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=-6000919468344372332 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 62488 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 62488 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 249952 KiB

[startup+6.30022 s]
/proc/loadavg: 1.70 3.65 5.88 5/344 30796
/proc/meminfo: memFree=127557576/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=629760 CPUtime=8.1 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 24639 0 346 0 784 26 0 0 20 0 20 0 37515358 19521036288 157440 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 157440 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=0 CPUtime=6.01 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 6795 0 316 0 580 21 0 0 20 0 20 0 37515362 19521036288 157440 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=8326441210107759524 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 157440 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=436452 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 157440 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 157440 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 8.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 629760 KiB

[startup+12.7002 s]
/proc/loadavg: 2.13 3.68 5.87 5/345 30798
/proc/meminfo: memFree=125278220/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=1135664 CPUtime=14.47 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 28351 0 346 0 1405 42 0 0 20 0 20 0 37515358 19521036288 283916 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 283916 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=3977020626098747683 CPUtime=12.29 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 7938 0 316 0 1193 36 0 0 20 0 20 0 37515362 19521036288 283916 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 283916 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 283916 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=629760 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 283916 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1135664 KiB

[startup+25.5002 s]
/proc/loadavg: 2.42 3.69 5.85 5/345 30798
/proc/meminfo: memFree=124273716/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=1322152 CPUtime=27.56 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 32548 0 346 0 2702 54 0 0 20 0 20 0 37515358 19521036288 330538 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 330538 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=3977020626098747683 CPUtime=25.03 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 9378 0 316 0 2456 47 0 0 20 0 20 0 37515362 19521036288 330538 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 330538 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 330538 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=1141808 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 330538 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 27.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1322152 KiB

[startup+51.1051 s]
/proc/loadavg: 2.96 3.71 5.79 5/346 30799
/proc/meminfo: memFree=123789732/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=1326320 CPUtime=53.13 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 36516 0 346 0 5246 67 0 0 20 0 20 0 37515358 19521036288 331580 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 331580 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=14720 CPUtime=50.44 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 10523 0 316 0 4984 60 0 0 20 0 20 0 37515362 19521036288 331580 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=1135664 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 331580 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=7234580259614777939 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 331580 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=1221684 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 331580 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0

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

/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 556 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=2125348 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1121.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125348 KiB

[startup+1157.82 s]
# the end of solver process 30711 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1152.76 s, system=4.69164 s

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

[startup+1126.4 s]
/proc/loadavg: 4.15 4.13 4.64 5/344 30856
/proc/meminfo: memFree=109808612/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=2125348 CPUtime=1125.15 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 58846 0 346 0 112056 459 0 0 20 0 20 0 37515358 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 531337 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=1915976 CPUtime=1114.07 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 22140 0 316 0 110995 412 0 0 20 0 20 0 37515362 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=1934504 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 556 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=1915976 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1125.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125348 KiB

[startup+1139.2 s]
/proc/loadavg: 4.18 4.14 4.63 5/344 30856
/proc/meminfo: memFree=109713568/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=2125348 CPUtime=1137.92 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 58923 0 346 0 113331 461 0 0 20 0 20 0 37515358 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 531337 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=5760 CPUtime=1126.84 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 22205 0 316 0 112270 414 0 0 20 0 20 0 37515362 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 556 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=2125348 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1137.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125348 KiB

[startup+1145.6 s]
/proc/loadavg: 4.17 4.14 4.63 5/344 30857
/proc/meminfo: memFree=109669564/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=2125348 CPUtime=1144.28 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 59177 0 346 0 113965 463 0 0 20 0 20 0 37515358 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 531337 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=10752 CPUtime=1133.18 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 22364 0 316 0 112903 415 0 0 20 0 20 0 37515362 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 644 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 531337 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1144.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125348 KiB

[startup+1152 s]*
/proc/loadavg: 4.14 4.13 4.62 5/344 30857
/proc/meminfo: memFree=109630228/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=2129460 CPUtime=1150.75 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 60875 0 346 0 114610 465 0 0 20 0 20 0 37515358 19521036288 532365 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 532365 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=4660 CPUtime=1139.5 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 22542 0 316 0 113533 417 0 0 20 0 20 0 37515362 19521036288 532365 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 532365 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=6944656592387989600 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 644 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 532365 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=6944656592455097440 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 532365 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1150.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129460 KiB

[startup+1155.2 s]
/proc/loadavg: 4.14 4.13 4.62 6/344 30857
/proc/meminfo: memFree=109585132/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=2131764 CPUtime=1154.45 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 65301 0 346 0 114979 466 0 0 20 0 20 0 37515358 19521036288 532941 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 532941 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=14720 CPUtime=1142.67 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 23246 0 316 0 113850 417 0 0 20 0 20 0 37515362 19521036288 532941 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=2130484 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 532941 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=2129460 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 644 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 532941 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=10112 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 532941 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1154.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2131764 KiB

[startup+1156.8 s]
/proc/loadavg: 4.14 4.13 4.62 5/344 30857
/proc/meminfo: memFree=109585140/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=2131892 CPUtime=1156.32 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 65368 0 346 0 115165 467 0 0 20 0 20 0 37515358 19521036288 532973 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 532973 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=-6000919468344372332 CPUtime=1144.28 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 23247 0 316 0 114010 418 0 0 20 0 20 0 37515362 19521036288 532973 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 532973 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 644 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 532973 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 532973 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1156.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2131892 KiB

[startup+1157.6 s]
/proc/loadavg: 4.13 4.13 4.62 5/345 30858
/proc/meminfo: memFree=109577076/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19063512 memory=2132020 CPUtime=1157.14 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 65373 0 346 0 115247 467 0 0 20 0 20 0 37515358 19521036288 533005 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4765878 533005 5442 1 0 553880 0
[pid=30711/tid=30720] ppid=30699 vsize=19063512 memory=4764 CPUtime=1145.07 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) R 30699 30711 30647 0 -1 4194368 23247 0 316 0 114089 418 0 0 20 0 20 0 37515362 19521036288 533005 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19063512 memory=2892 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19521036288 533005 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19063512 memory=21612 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 644 0 0 0 0 0 0 0 20 0 20 0 37515373 19521036288 533005 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30789] ppid=30699 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/30711/task/30789/stat : 30789 (Timer-0) S 30699 30711 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37515390 19521036288 533005 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1157.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132020 KiB

[startup+1157.8 s]
/proc/loadavg: 4.13 4.13 4.62 5/345 30858
/proc/meminfo: memFree=109577076/131250000 swapFree=33010684/33010684
[pid=30711] ppid=30699 vsize=19196640 memory=2132532 CPUtime=1157.42 cores=4,6
/proc/30711/stat : 30711 (java) S 30699 30711 30647 0 -1 4194304 66524 0 347 0 115274 468 0 0 20 0 20 0 37515358 19657359360 533133 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
/proc/30711/statm: 4799160 533133 5474 1 0 554498 0
[pid=30711/tid=30720] ppid=30699 vsize=19196640 memory=1920 CPUtime=1145.17 cores=4,6
/proc/30711/task/30720/stat : 30720 (java) S 30699 30711 30647 0 -1 4194368 24072 0 317 0 114099 418 0 0 20 0 20 0 37515362 19657359360 533133 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30756] ppid=30699 vsize=19196640 memory=-6000919468344372332 CPUtime=0 cores=4,6
/proc/30711/task/30756/stat : 30756 (Finalizer) S 30699 30711 30647 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 37515372 19657359360 533133 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
[pid=30711/tid=30788] ppid=30699 vsize=19196640 memory=2736 CPUtime=0 cores=4,6
/proc/30711/task/30788/stat : 30788 (Common-Cleaner) S 30699 30711 30647 0 -1 4194368 644 0 0 0 0 0 0 0 20 0 20 0 37515373 19657359360 533133 18446744073709551615 94710004441088 94710004444784 140731434252592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94710004452600 94710004453392 94710028902400 140731434260784 140731434260966 140731434260966 140731434266568 0
Current children cumulated CPU time: 1157.42 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 2132532 KiB

Child status: 20

Real time (s): 1157.82
CPU time (s): 1157.46
CPU user time (s): 1152.76
CPU system time (s): 4.69164
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2132532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1152.76
system time used= 4.69164
maximum resident set size= 2132788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66723
page faults= 348
swaps= 0
block input operations= 18304
block output operations= 5337912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39890
involuntary context switches= 4767


# summary of solver processes directly reported to runsolver:
#   pid: 30711
#   total CPU time (s): 1157.46
#   total CPU user time (s): 1152.76
#   total CPU system time (s): 4.69164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.54866 second user time and 4.91841 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 19:32:47
IDJOB=4513447
IDBENCH=162346
IDSOLVER=3364
FILE ID=nodeC026/4513447-1751218367
RUNJOBID= nodeC026-1751218367-30658
SLURM_JOB_ID= 9587668
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513447-1751218367/watcher-4513447-1751218367 -o /tmp/evaluation-result-4513447-1751218367/solver-4513447-1751218367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30658 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513447-1751218367 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4513447-1751218367.opb

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

MD5SUM BENCH= 1b3727bc41a297c1e3576d09f30c6702
RANDOM SEED=480749724

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129929408 kB
MemAvailable:   129739064 kB
Buffers:            3280 kB
Cached:           618900 kB
SwapCached:            0 kB
Active:           293144 kB
Inactive:         396324 kB
Active(anon):      85368 kB
Inactive(anon):        0 kB
Active(file):     207776 kB
Inactive(file):   396324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2592 kB
Writeback:             0 kB
AnonPages:         70304 kB
Mapped:           102632 kB
Shmem:             18080 kB
KReclaimable:      89592 kB
Slab:             175652 kB
SReclaimable:      89592 kB
SUnreclaim:        86060 kB
KernelStack:        4024 kB
PageTables:         2676 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 433056 MiB
End job on nodeC026 at 2025-06-29 19:52:05