Trace number 4513446

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-06UNSAT 1058.98 1058.91

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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.11	c java.vm.version	22.0.1+8-16
0.10/0.11	c java.vm.vendor	Oracle Corporation
0.10/0.11	c sun.arch.data.model	64
0.10/0.11	c java.version		22.0.1
0.10/0.11	c os.name		Linux
0.10/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.11	c os.arch		amd64
0.10/0.11	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.12	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4513446-1751219267.opb
0.10/0.15	c reading problem ... 
0.10/0.15	c  no objective function found
0.10/0.20	c ... done. Wall clock time 0.05s.
0.10/0.20	c declared #vars     1101
0.10/0.20	c #constraints  1102
0.10/0.20	c constraints type 
0.10/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.10/0.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1100
0.10/0.20	c 1102 constraints processed.
0.67/0.45	c cleaning 2494 clauses out of 5000 with flag 21321/5000
1.24/0.71	c cleaning 4236 clauses out of 8507 with flag 46643/11001
1.44/0.82	c cleaning 5587 clauses out of 11270 with flag 77237/18000
1.64/0.93	c cleaning 6798 clauses out of 13683 with flag 117508/26000
1.83/1.05	c cleaning 7908 clauses out of 15885 with flag 165059/35000
2.01/1.17	c cleaning 8923 clauses out of 17977 with flag 217580/45000
2.35/1.32	c cleaning 9994 clauses out of 20057 with flag 277552/56003
2.55/1.57	c cleaning 10972 clauses out of 22061 with flag 352542/68001
2.74/1.75	c cleaning 12020 clauses out of 24088 with flag 424251/81000
2.95/1.94	c cleaning 12995 clauses out of 26069 with flag 500403/95001
3.24/2.20	c cleaning 13991 clauses out of 28074 with flag 584649/110001
3.44/2.44	c cleaning 15028 clauses out of 30082 with flag 673282/126000
3.66/2.68	c cleaning 15993 clauses out of 32055 with flag 767841/143001
3.99/2.97	c cleaning 16958 clauses out of 34061 with flag 871564/161000
4.30/3.26	c cleaning 17964 clauses out of 36103 with flag 980033/180000
4.60/3.57	c cleaning 19018 clauses out of 38139 with flag 1089434/200000
4.99/3.91	c cleaning 20043 clauses out of 40122 with flag 1208177/221001
5.29/4.27	c cleaning 21026 clauses out of 42079 with flag 1331186/243001
5.70/4.63	c cleaning 21959 clauses out of 44052 with flag 1455956/266000
6.10/5.04	c cleaning 22982 clauses out of 46093 with flag 1586536/290000
6.49/5.47	c cleaning 23999 clauses out of 48112 with flag 1721178/315001
6.99/5.97	c cleaning 25018 clauses out of 50112 with flag 1860289/341000
7.49/6.46	c cleaning 26022 clauses out of 52095 with flag 2006342/368001
8.00/6.99	c cleaning 27023 clauses out of 54073 with flag 2151733/396001
8.60/7.51	c cleaning 27954 clauses out of 56049 with flag 2305550/425000
9.30/8.23	c cleaning 28995 clauses out of 58096 with flag 2478876/455001
9.90/8.86	c cleaning 30047 clauses out of 60100 with flag 2634141/486000
10.60/9.50	c cleaning 30975 clauses out of 62053 with flag 2803352/518000
11.20/10.19	c cleaning 31989 clauses out of 64079 with flag 2977383/551001
11.99/10.91	c cleaning 32973 clauses out of 66090 with flag 3161209/585001
12.69/11.69	c cleaning 33989 clauses out of 68116 with flag 3345517/620000
13.49/12.47	c cleaning 35015 clauses out of 70128 with flag 3529329/656001
14.29/13.27	c cleaning 36035 clauses out of 72112 with flag 3720198/693000
15.19/14.12	c cleaning 36981 clauses out of 74078 with flag 3923964/731001
16.09/15.06	c cleaning 38038 clauses out of 76098 with flag 4129337/770002
17.08/16.04	c cleaning 38986 clauses out of 78060 with flag 4326809/810002
18.08/17.09	c cleaning 39984 clauses out of 80072 with flag 4535978/851000
19.17/18.12	c cleaning 41002 clauses out of 82089 with flag 4749075/893001
20.27/19.20	c cleaning 42001 clauses out of 84086 with flag 4966777/936000
21.36/20.31	c cleaning 43034 clauses out of 86085 with flag 5182143/980000
22.46/21.50	c cleaning 44011 clauses out of 88052 with flag 5410825/1025001
23.66/22.69	c cleaning 44972 clauses out of 90041 with flag 5637449/1071001
24.97/23.92	c cleaning 46006 clauses out of 92068 with flag 5869455/1118000
26.27/25.21	c cleaning 46991 clauses out of 94062 with flag 6100377/1166000
27.56/26.57	c cleaning 47992 clauses out of 96071 with flag 6340077/1215000
28.97/27.94	c cleaning 49006 clauses out of 98080 with flag 6583022/1265001
30.37/29.37	c cleaning 50017 clauses out of 100073 with flag 6827323/1316000
31.87/30.86	c cleaning 50981 clauses out of 102056 with flag 7087622/1368000
33.36/32.40	c cleaning 52012 clauses out of 104077 with flag 7348005/1421002
34.96/33.96	c cleaning 52982 clauses out of 106064 with flag 7606826/1475001
36.56/35.58	c cleaning 54042 clauses out of 108083 with flag 7874415/1530002
38.25/37.26	c cleaning 54970 clauses out of 110040 with flag 8140907/1586001
40.05/39.03	c cleaning 56003 clauses out of 112070 with flag 8411820/1643001
41.98/40.96	c cleaning 57021 clauses out of 114067 with flag 8683844/1701001
43.87/42.80	c cleaning 58003 clauses out of 116045 with flag 8961561/1760000
45.76/44.73	c cleaning 58997 clauses out of 118044 with flag 9244518/1820002
47.66/46.69	c cleaning 60003 clauses out of 120045 with flag 9526720/1881000
49.75/48.76	c cleaning 60992 clauses out of 122044 with flag 9822562/1943002
51.85/50.81	c cleaning 61985 clauses out of 124052 with flag 10109822/2006002
53.98/52.92	c cleaning 63008 clauses out of 126065 with flag 10403865/2070000
56.07/55.02	c cleaning 63987 clauses out of 128057 with flag 10690418/2135000
58.26/57.27	c cleaning 64995 clauses out of 130072 with flag 10986562/2201002
60.66/59.60	c cleaning 66005 clauses out of 132075 with flag 11293686/2268000
63.05/62.10	c cleaning 67000 clauses out of 134071 with flag 11604363/2336001
65.44/64.41	c cleaning 67997 clauses out of 136070 with flag 11906131/2405000
67.87/66.83	c cleaning 69005 clauses out of 138073 with flag 12212493/2475000
70.36/69.30	c cleaning 70023 clauses out of 140068 with flag 12524734/2546000
72.86/71.81	c cleaning 71005 clauses out of 142047 with flag 12841639/2618002
75.45/74.44	c cleaning 71988 clauses out of 144041 with flag 13168266/2691001
78.15/77.15	c cleaning 73000 clauses out of 146052 with flag 13501034/2765000
80.83/79.81	c cleaning 73989 clauses out of 148054 with flag 13831563/2840002
83.66/82.65	c cleaning 74985 clauses out of 150063 with flag 14167092/2916000
86.35/85.39	c cleaning 76002 clauses out of 152078 with flag 14503378/2993000
89.34/88.30	c cleaning 77022 clauses out of 154077 with flag 14839208/3071001
92.33/91.36	c cleaning 77998 clauses out of 156054 with flag 15189532/3150000
95.42/94.47	c cleaning 79008 clauses out of 158056 with flag 15541232/3230000
98.75/97.76	c cleaning 79992 clauses out of 160049 with flag 15897005/3311001
101.94/100.95	c cleaning 80997 clauses out of 162057 with flag 16248748/3393001
105.43/104.44	c cleaning 81995 clauses out of 164060 with flag 16617857/3476001
108.92/107.94	c cleaning 83025 clauses out of 166064 with flag 16987164/3560000
112.31/111.36	c cleaning 83979 clauses out of 168039 with flag 17349457/3645000
115.84/114.89	c cleaning 85023 clauses out of 170062 with flag 17719112/3731002
119.73/118.72	c cleaning 85988 clauses out of 172038 with flag 18097020/3818001
123.22/122.27	c cleaning 86991 clauses out of 174049 with flag 18463424/3906000
127.11/126.15	c cleaning 88014 clauses out of 176058 with flag 18841927/3995000
131.00/130.07	c cleaning 88997 clauses out of 178045 with flag 19231794/4085001
135.12/134.19	c cleaning 89991 clauses out of 180047 with flag 19621893/4176000
139.21/138.24	c cleaning 91008 clauses out of 182056 with flag 20004094/4268000
143.40/142.43	c cleaning 91999 clauses out of 184050 with flag 20397073/4361002
147.60/146.69	c cleaning 93009 clauses out of 186051 with flag 20789548/4455002
151.89/150.90	c cleaning 93992 clauses out of 188040 with flag 21183361/4550000
156.49/155.52	c cleaning 95010 clauses out of 190049 with flag 21599763/4646001
161.18/160.23	c cleaning 95991 clauses out of 192039 with flag 22023179/4743001
165.57/164.68	c cleaning 96993 clauses out of 194047 with flag 22431973/4841000
170.36/169.41	c cleaning 98003 clauses out of 196055 with flag 22848238/4940001
174.70/173.79	c cleaning 98998 clauses out of 198052 with flag 23252435/5040001
179.48/178.52	c cleaning 99989 clauses out of 200054 with flag 23667155/5141001
184.18/183.24	c cleaning 101005 clauses out of 202065 with flag 24085424/5243001
189.07/188.11	c cleaning 102000 clauses out of 204059 with flag 24511184/5346000
193.86/192.90	c cleaning 103006 clauses out of 206059 with flag 24938250/5450000
198.85/197.97	c cleaning 104001 clauses out of 208053 with flag 25371488/5555000
204.16/203.30	c cleaning 105015 clauses out of 210052 with flag 25804187/5661000
209.35/208.49	c cleaning 105994 clauses out of 212038 with flag 26239549/5768001
214.73/213.86	c cleaning 107009 clauses out of 214044 with flag 26683471/5876001
220.23/219.34	c cleaning 107987 clauses out of 216034 with flag 27121892/5985000
225.62/224.74	c cleaning 109000 clauses out of 218048 with flag 27566848/6095001
230.84/230.00	c cleaning 110012 clauses out of 220049 with flag 28009886/6206002
236.52/235.65	c cleaning 111011 clauses out of 222035 with flag 28457604/6318000
242.30/241.43	c cleaning 111994 clauses out of 224025 with flag 28913131/6431001
247.79/246.94	c cleaning 112997 clauses out of 226030 with flag 29361155/6545000
253.38/252.50	c cleaning 113994 clauses out of 228033 with flag 29811641/6660000
258.97/258.15	c cleaning 114998 clauses out of 230039 with flag 30264472/6776000
264.75/263.92	c cleaning 115999 clauses out of 232041 with flag 30726803/6893000
270.49/269.64	c cleaning 117001 clauses out of 234043 with flag 31190163/7011001
276.77/275.94	c cleaning 118016 clauses out of 236041 with flag 31659841/7130000
282.75/281.94	c cleaning 118989 clauses out of 238025 with flag 32130789/7250000
288.64/287.87	c cleaning 120002 clauses out of 240037 with flag 32596993/7371001
295.12/294.31	c cleaning 120987 clauses out of 242034 with flag 33062282/7493000
301.50/300.76	c cleaning 122014 clauses out of 244048 with flag 33544026/7616001
307.68/306.98	c cleaning 123007 clauses out of 246034 with flag 34010779/7740001
313.87/313.19	c cleaning 123998 clauses out of 248026 with flag 34493445/7865000
320.21/319.46	c cleaning 124982 clauses out of 250028 with flag 34963706/7991000
326.30/325.57	c cleaning 125993 clauses out of 252046 with flag 35435124/8118000
332.48/331.72	c cleaning 127005 clauses out of 254053 with flag 35915624/8246000
338.27/337.58	c cleaning 127996 clauses out of 256048 with flag 36387601/8375000
344.55/343.84	c cleaning 129016 clauses out of 258053 with flag 36870043/8505001
350.84/350.19	c cleaning 130007 clauses out of 260037 with flag 37342855/8636001
357.33/356.64	c cleaning 131000 clauses out of 262032 with flag 37822618/8768003
363.71/363.06	c cleaning 131995 clauses out of 264029 with flag 38306383/8901000
370.19/369.50	c cleaning 133007 clauses out of 266035 with flag 38793012/9035001
376.43/375.78	c cleaning 134000 clauses out of 268029 with flag 39272957/9170002
382.72/382.08	c cleaning 135002 clauses out of 270027 with flag 39763650/9306000
389.00/388.38	c cleaning 135994 clauses out of 272025 with flag 40258616/9443000
395.18/394.51	c cleaning 137008 clauses out of 274032 with flag 40754618/9581001
401.17/400.54	c cleaning 137998 clauses out of 276023 with flag 41242697/9720000
407.45/406.80	c cleaning 139000 clauses out of 278025 with flag 41737363/9860000
413.55/412.94	c cleaning 140007 clauses out of 280025 with flag 42234831/10001000
420.03/419.45	c cleaning 141000 clauses out of 282020 with flag 42733826/10143002
426.41/425.81	c cleaning 141993 clauses out of 284018 with flag 43231558/10286000
432.79/432.20	c cleaning 142989 clauses out of 286027 with flag 43737459/10430002
439.25/438.67	c cleaning 144005 clauses out of 288038 with flag 44244237/10575002
445.54/444.95	c cleaning 145003 clauses out of 290032 with flag 44757787/10721001
452.02/451.44	c cleaning 145995 clauses out of 292028 with flag 45270997/10868000
458.50/457.94	c cleaning 147006 clauses out of 294034 with flag 45784475/11016001
464.98/464.43	c cleaning 147997 clauses out of 296028 with flag 46302496/11165001
471.27/470.72	c cleaning 148997 clauses out of 298031 with flag 46824957/11315001
477.76/477.21	c cleaning 150003 clauses out of 300033 with flag 47356962/11466000
484.44/483.94	c cleaning 151002 clauses out of 302030 with flag 47896584/11618000
491.03/490.58	c cleaning 152006 clauses out of 304029 with flag 48438917/11771001
497.62/497.15	c cleaning 152999 clauses out of 306024 with flag 48982183/11925002
504.38/503.88	c cleaning 153997 clauses out of 308024 with flag 49522312/12080001
511.57/511.03	c cleaning 155007 clauses out of 310026 with flag 50088394/12236000
518.95/518.47	c cleaning 156000 clauses out of 312019 with flag 50657343/12393000
526.33/525.89	c cleaning 156995 clauses out of 314019 with flag 51236684/12551000
533.91/533.48	c cleaning 158004 clauses out of 316026 with flag 51812575/12710002
541.79/541.31	c cleaning 158995 clauses out of 318020 with flag 52407671/12870000
549.37/549.00	c cleaning 160002 clauses out of 320025 with flag 53003916/13031000
557.45/557.00	c cleaning 160993 clauses out of 322024 with flag 53600338/13193001
565.62/565.26	c cleaning 162004 clauses out of 324030 with flag 54210265/13356000
573.90/573.53	c cleaning 163006 clauses out of 326026 with flag 54806338/13520000
582.28/581.97	c cleaning 164010 clauses out of 328021 with flag 55418343/13685001
591.05/590.72	c cleaning 164987 clauses out of 330010 with flag 56039490/13851000
600.23/599.94	c cleaning 165999 clauses out of 332024 with flag 56676217/14018001
609.61/609.38	c cleaning 166999 clauses out of 334024 with flag 57306786/14186000
619.07/618.83	c cleaning 168002 clauses out of 336026 with flag 57951867/14355001
628.55/628.38	c cleaning 168999 clauses out of 338024 with flag 58590498/14525001
638.63/638.42	c cleaning 170000 clauses out of 340025 with flag 59259134/14696001
648.80/648.66	c cleaning 170997 clauses out of 342025 with flag 59917665/14868001
659.07/658.92	c cleaning 171996 clauses out of 344027 with flag 60578241/15041000
669.44/669.38	c cleaning 173015 clauses out of 346031 with flag 61250569/15215000
679.91/679.86	c cleaning 173989 clauses out of 348017 with flag 61920107/15390001
690.28/690.25	c cleaning 175004 clauses out of 350027 with flag 62598570/15566000
701.76/701.71	c cleaning 175999 clauses out of 352024 with flag 63293958/15743001
713.41/713.48	c cleaning 176992 clauses out of 354025 with flag 63990477/15921001
724.69/724.79	c cleaning 178010 clauses out of 356033 with flag 64679914/16100001
736.65/736.71	c cleaning 179005 clauses out of 358023 with flag 65385577/16280001
749.02/749.10	c cleaning 179995 clauses out of 360018 with flag 66091399/16461001
760.90/761.05	c cleaning 181005 clauses out of 362022 with flag 66794752/16643000
772.26/772.47	c cleaning 181992 clauses out of 364017 with flag 67499403/16826000
784.43/784.69	c cleaning 183002 clauses out of 366025 with flag 68204357/17010000
796.29/796.52	c cleaning 183997 clauses out of 368023 with flag 68903175/17195000
808.47/808.74	c cleaning 184997 clauses out of 370026 with flag 69621928/17381000
820.93/821.25	c cleaning 186008 clauses out of 372030 with flag 70337299/17568001
833.89/834.22	c cleaning 187004 clauses out of 374022 with flag 71058510/17756001
846.15/846.35	c cleaning 187996 clauses out of 376017 with flag 71781846/17945000
858.03/858.26	c cleaning 188992 clauses out of 378021 with flag 72489992/18135000
870.10/870.32	c cleaning 190008 clauses out of 380031 with flag 73225441/18326002
882.27/882.52	c cleaning 191001 clauses out of 382022 with flag 73960307/18518001
894.94/895.26	c cleaning 192003 clauses out of 384021 with flag 74699506/18711001
908.51/908.87	c cleaning 193000 clauses out of 386018 with flag 75462079/18905001
922.17/922.56	c cleaning 193999 clauses out of 388017 with flag 76228233/19100000
935.94/936.35	c cleaning 195001 clauses out of 390019 with flag 77007065/19296001
950.50/950.95	c cleaning 196004 clauses out of 392017 with flag 77810600/19493000
966.70/967.01	c cleaning 196998 clauses out of 394013 with flag 78636463/19691000
982.26/982.68	c cleaning 197997 clauses out of 396015 with flag 79470303/19890000
1000.81/1001.24	c cleaning 199001 clauses out of 398018 with flag 80335479/20090000
1021.68/1022.15	c cleaning 200006 clauses out of 400017 with flag 81219297/20291000
1045.62/1046.12	c cleaning 201002 clauses out of 402012 with flag 82122922/20493001
1058.73/1058.78	c starts		: 22131
1058.73/1058.79	c conflicts		: 20646944
1058.73/1058.79	c decisions		: 29299640
1058.73/1058.79	c propagations		: 168383257
1058.73/1058.79	c inspects		: 19804304425
1058.73/1058.79	c shortcuts		: 0
1058.73/1058.79	c learnt literals	: 14
1058.73/1058.79	c learnt binary clauses	: 87
1058.73/1058.79	c learnt ternary clauses	: 350
1058.73/1058.79	c learnt constraints	: 20646929
1058.73/1058.79	c ignored constraints	: 0
1058.73/1058.79	c root simplifications	: 0
1058.73/1058.79	c removed literals (reason simplification)	: 17417977
1058.73/1058.79	c reason swapping (by a shorter reason)	: 0
1058.73/1058.79	c Calls to reduceDB	: 198
1058.73/1058.79	c Number of update (reduction) of LBD	: 4513109
1058.73/1058.79	c Imported unit clauses	: 0
1058.73/1058.79	c No decision after first conflict	: false
1058.73/1058.79	c number of reductions to clauses (during analyze)	: 0
1058.73/1058.79	c number of learned constraints concerned by reduction	: 0
1058.73/1058.79	c number of learning phase by resolution	: 0
1058.73/1058.79	c number of learning phase by cutting planes	: 0
1058.73/1058.79	c number of rounding to 1 operations	: 0
1058.73/1058.79	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1058.73/1058.79	c number of reductions of the coefficients by power 2 	: 0
1058.73/1058.79	c number of right shift for reduction by power 2 	: 0
1058.73/1058.80	c number of reductions of the coefficients by GCD over coefficients 	: 0
1058.86/1058.80	c number of ending skipping 	: 0
1058.86/1058.80	c number of internal skipping 	: 0
1058.86/1058.80	c number of derivation steps 	: 0
1058.86/1058.80	c number of skipped derivation steps 	: 0
1058.86/1058.80	c number of remaining unassigned 	: 0
1058.86/1058.80	c number of remaining assigned 	: 0
1058.86/1058.80	c number of falsified literals weakened from reason	: 0
1058.86/1058.80	c number of falsified literals weakened from conflict	: 0
1058.86/1058.80	c time for arithmetic operations	: 0
1058.86/1058.80	c minimum degree of deleted constraints	: null
1058.86/1058.81	c maximum degree of deleted constraints	: null
1058.86/1058.81	c number of deleted constraints	: 0
1058.86/1058.81	c speed (assignments/second)	: 159062.21141129796
1058.86/1058.81	c non guided choices	: 1684917
1058.86/1058.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 354851
1058.86/1058.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 87
1058.86/1058.88	s UNSATISFIABLE
1058.86/1058.88	c Total wall clock time (in seconds): 1058.727

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: 63665 MiB (62993 MiB free)
  memory of node 1: 64507 MiB (63097 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513446-1751219267/watcher-4513446-1751219267 -o /tmp/evaluation-result-4513446-1751219267/solver-4513446-1751219267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28439 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513446-1751219267.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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=28483, runsolver pid=28479

[startup+0.100058 s]*
/proc/loadavg: 1.45 2.22 3.08 7/332 28566
/proc/meminfo: memFree=129026816/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=18930384 memory=52816 CPUtime=0.1 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 6430 0 86 0 8 2 0 0 20 0 18 0 37604455 19384713216 13204 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4732596 13204 5272 1 0 547513 0
[pid=28483/tid=28495] ppid=28479 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 4928 0 85 0 5 1 0 0 20 0 18 0 37604457 19384713216 13204 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=18930384 memory=16880 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37604460 19384713216 13204 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37604460 19384713216 13204 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52816 KiB

[startup+0.205988 s]*
/proc/loadavg: 1.45 2.22 3.08 12/333 28567
/proc/meminfo: memFree=128959468/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=18996948 memory=72044 CPUtime=0.28 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 7023 0 86 0 26 2 0 0 20 0 19 0 37604455 19452874752 18011 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4749237 18011 5400 1 0 548186 0
[pid=28483/tid=28495] ppid=28479 vsize=18996948 memory=4026597660 CPUtime=0.15 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 5256 0 85 0 14 1 0 0 20 0 19 0 37604457 19452874752 18011 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=18996948 memory=16880 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 18011 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=18996948 memory=59585004307431 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 18011 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (java) R 28479 28483 28429 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 37604476 19452874752 18011 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72044 KiB

[startup+0.305879 s]*
/proc/loadavg: 1.45 2.22 3.08 9/336 28570
/proc/meminfo: memFree=128934380/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=18996948 memory=79488 CPUtime=0.48 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 10791 0 86 0 45 3 0 0 20 0 19 0 37604455 19452874752 19872 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4749237 19872 5400 1 0 550125 0
[pid=28483/tid=28495] ppid=28479 vsize=18996948 memory=-6000919506999207021 CPUtime=0.24 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 5286 0 85 0 23 1 0 0 20 0 19 0 37604457 19452874752 19872 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 19872 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 19872 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604476 19452874752 19872 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79488 KiB

[startup+0.700235 s]
/proc/loadavg: 1.45 2.22 3.08 10/336 28570
/proc/meminfo: memFree=128902284/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=18996948 memory=95208 CPUtime=1.24 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 14920 0 86 0 120 4 0 0 20 0 19 0 37604455 19452874752 23802 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4749237 23802 5400 1 0 552799 0
[pid=28483/tid=28495] ppid=28479 vsize=18996948 memory=17408 CPUtime=0.59 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 5378 0 85 0 58 1 0 0 20 0 19 0 37604457 19452874752 23802 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 23802 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 23802 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604476 19452874752 23802 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95208 KiB

[startup+1.50022 s]
/proc/loadavg: 1.97 2.32 3.11 8/336 28570
/proc/meminfo: memFree=128853492/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=18996948 memory=105912 CPUtime=2.55 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 18521 0 86 0 251 4 0 0 20 0 19 0 37604455 19452874752 26478 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4749237 26478 5400 1 0 552803 0
[pid=28483/tid=28495] ppid=28479 vsize=18996948 memory=10752 CPUtime=1.37 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 5685 0 85 0 136 1 0 0 20 0 19 0 37604457 19452874752 26478 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 26478 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 26478 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604476 19452874752 26478 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105912 KiB

[startup+3.10939 s]
/proc/loadavg: 1.97 2.32 3.11 5/336 28570
/proc/meminfo: memFree=128739168/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=18996948 memory=128696 CPUtime=4.2 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 19410 0 86 0 415 5 0 0 20 0 19 0 37604455 19452874752 32174 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4749237 32174 5432 1 0 552805 0
[pid=28483/tid=28495] ppid=28479 vsize=18996948 memory=10752 CPUtime=2.97 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 6023 0 85 0 295 2 0 0 20 0 19 0 37604457 19452874752 32174 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=18996948 memory=-6000919468378055789 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 32174 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 32174 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604476 19452874752 32174 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 128696 KiB

[startup+6.3002 s]
/proc/loadavg: 2.14 2.35 3.11 5/337 28571
/proc/meminfo: memFree=128591756/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=18996948 memory=160388 CPUtime=7.39 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 19683 0 86 0 734 5 0 0 20 0 19 0 37604455 19452874752 40097 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4749237 40097 5432 1 0 552805 0
[pid=28483/tid=28495] ppid=28479 vsize=18996948 memory=0 CPUtime=6.15 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 6149 0 85 0 613 2 0 0 20 0 19 0 37604457 19452874752 40097 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 40097 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 40097 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=18996948 memory=14384 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604476 19452874752 40097 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 160388 KiB

[startup+12.7002 s]
/proc/loadavg: 2.28 2.38 3.12 5/340 28574
/proc/meminfo: memFree=128538304/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=173088 CPUtime=13.79 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 22124 0 86 0 1373 6 0 0 20 0 20 0 37604455 19521036288 43272 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 43272 5464 1 0 553094 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=173088 CPUtime=12.53 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 7084 0 85 0 1250 3 0 0 20 0 20 0 37604457 19521036288 43272 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 43272 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 43272 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 43272 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 13.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173088 KiB

[startup+25.5002 s]
/proc/loadavg: 2.63 2.45 3.13 5/340 28574
/proc/meminfo: memFree=128438720/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=181336 CPUtime=26.56 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 24434 0 86 0 2649 7 0 0 20 0 20 0 37604455 19521036288 45334 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 45334 5464 1 0 553094 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=173088 CPUtime=25.27 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 7670 0 85 0 2524 3 0 0 20 0 20 0 37604457 19521036288 45334 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 45334 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 45334 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=181336 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 45334 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 26.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181336 KiB

[startup+51.1057 s]
/proc/loadavg: 3.17 2.60 3.16 5/340 28574
/proc/meminfo: memFree=128159676/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=230860 CPUtime=52.15 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 26454 0 86 0 5207 8 0 0 20 0 20 0 37604455 19521036288 57715 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 57715 5464 1 0 553094 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=230860 CPUtime=50.75 cores=0,2

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

/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=2145208 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1001.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145208 KiB

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

# cumulated CPU time of all completed processes:  user=1058.3 s, system=0.682681 s

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

[startup+1024 s]*
/proc/loadavg: 4.13 4.06 3.81 5/339 28639
/proc/meminfo: memFree=121389540/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=2145208 CPUtime=1023.57 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 38479 0 86 0 102291 66 0 0 20 0 20 0 37604455 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 536302 5464 1 0 561446 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=-6000919506999207021 CPUtime=1019.86 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 13762 0 85 0 101960 26 0 0 20 0 20 0 37604457 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=6880 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=1797612 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=6900 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1023.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145208 KiB

[startup+1036.8 s]
/proc/loadavg: 4.10 4.06 3.82 5/340 28641
/proc/meminfo: memFree=121389344/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=2145208 CPUtime=1036.33 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 38541 0 86 0 103567 66 0 0 20 0 20 0 37604455 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 536302 5464 1 0 561446 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=2145208 CPUtime=1032.62 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 13824 0 85 0 103236 26 0 0 20 0 20 0 37604457 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=5551305772747468881 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1036.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145208 KiB

[startup+1049.6 s]
/proc/loadavg: 4.09 4.05 3.82 5/340 28641
/proc/meminfo: memFree=121389720/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=2145208 CPUtime=1049.1 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 38545 0 86 0 104844 66 0 0 20 0 20 0 37604455 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 536302 5464 1 0 561446 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=3328 CPUtime=1045.39 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 13826 0 85 0 104513 26 0 0 20 0 20 0 37604457 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=2145208 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=2145208 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1049.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145208 KiB

[startup+1052.8 s]
/proc/loadavg: 4.08 4.05 3.82 5/340 28641
/proc/meminfo: memFree=121389504/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=2145208 CPUtime=1052.31 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 39413 0 86 0 105165 66 0 0 20 0 20 0 37604455 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 536302 5464 1 0 561446 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=10752 CPUtime=1048.58 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 13911 0 85 0 104832 26 0 0 20 0 20 0 37604457 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=2145208 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 536302 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1052.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145208 KiB

[startup+1056 s]*
/proc/loadavg: 4.07 4.05 3.82 5/340 28641
/proc/meminfo: memFree=121385512/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=2148408 CPUtime=1055.71 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 42782 0 86 0 105505 66 0 0 20 0 20 0 37604455 19521036288 537102 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 537102 5464 1 0 561446 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=-6000919506999207021 CPUtime=1051.77 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 14592 0 85 0 105151 26 0 0 20 0 20 0 37604457 19521036288 537102 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=-4050210904893866640 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 537102 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=4788 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 537102 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=6900 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 537102 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1055.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2148408 KiB

[startup+1057.6 s]
/proc/loadavg: 4.07 4.05 3.82 5/340 28641
/proc/meminfo: memFree=121385008/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=2148584 CPUtime=1057.61 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 43928 0 86 0 105695 66 0 0 20 0 20 0 37604455 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 537146 5464 1 0 561446 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=2145256 CPUtime=1053.36 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 14638 0 85 0 105310 26 0 0 20 0 20 0 37604457 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=2151276 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=-6000919468378055789 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=-6000919468378055789 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1057.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2148584 KiB

[startup+1058.4 s]
/proc/loadavg: 4.07 4.05 3.82 5/340 28641
/proc/meminfo: memFree=121385016/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19063512 memory=2148584 CPUtime=1058.43 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 43937 0 86 0 105777 66 0 0 20 0 20 0 37604455 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4765878 537146 5464 1 0 561446 0
[pid=28483/tid=28495] ppid=28479 vsize=19063512 memory=14384 CPUtime=1054.16 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) R 28479 28483 28429 0 -1 4194368 14639 0 85 0 105390 26 0 0 20 0 20 0 37604457 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19063512 memory=2148584 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28568] ppid=28479 vsize=19063512 memory=2148584 CPUtime=0 cores=0,2
/proc/28483/task/28568/stat : 28568 (Timer-0) S 28479 28483 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604476 19521036288 537146 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1058.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2148584 KiB

[startup+1058.8 s]
/proc/loadavg: 4.07 4.05 3.82 5/340 28641
/proc/meminfo: memFree=121385016/131249996 swapFree=33010684/33010684
[pid=28483] ppid=28479 vsize=19196640 memory=2149224 CPUtime=1058.86 cores=0,2
/proc/28483/stat : 28483 (java) S 28479 28483 28429 0 -1 4194304 45139 0 86 0 105819 67 0 0 20 0 20 0 37604455 19657359360 537306 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
/proc/28483/statm: 4799160 537306 5496 1 0 562064 0
[pid=28483/tid=28495] ppid=28479 vsize=19196640 memory=7245577201579234449 CPUtime=1054.54 cores=0,2
/proc/28483/task/28495/stat : 28495 (java) S 28479 28483 28429 0 -1 4194368 15465 0 85 0 105428 26 0 0 20 0 20 0 37604457 19657359360 537306 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28527] ppid=28479 vsize=19196640 memory=8514726395714820749 CPUtime=0 cores=0,2
/proc/28483/task/28527/stat : 28527 (Finalizer) S 28479 28483 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19657359360 537306 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
[pid=28483/tid=28543] ppid=28479 vsize=19196640 memory=1404222122299264374 CPUtime=0 cores=0,2
/proc/28483/task/28543/stat : 28543 (Common-Cleaner) S 28479 28483 28429 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 37604460 19657359360 537306 18446744073709551615 94662227308544 94662227312240 140736144723728 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94662227320056 94662227320848 94662251892736 140736144730497 140736144730598 140736144730598 140736144736200 0
Current children cumulated CPU time: 1058.86 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 2149224 KiB

Child status: 20

Real time (s): 1058.91
CPU time (s): 1058.98
CPU user time (s): 1058.3
CPU system time (s): 0.682681
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2149224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1058.3
system time used= 0.682681
maximum resident set size= 2149480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45448
page faults= 86
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32793
involuntary context switches= 3587


# summary of solver processes directly reported to runsolver:
#   pid: 28483
#   total CPU time (s): 1058.98
#   total CPU user time (s): 1058.3
#   total CPU system time (s): 0.682681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1796 second user time and 5.25283 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 19:47:47
IDJOB=4513446
IDBENCH=162346
IDSOLVER=3363
FILE ID=nodeC022/4513446-1751219267
RUNJOBID= nodeC022-1751219267-28439
SLURM_JOB_ID= 9587670
Free space on /tmp= 433064 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513446-1751219267/watcher-4513446-1751219267 -o /tmp/evaluation-result-4513446-1751219267/solver-4513446-1751219267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28439 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4513446-1751219267.opb

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

MD5SUM BENCH= 1b3727bc41a297c1e3576d09f30c6702
RANDOM SEED=571939227

nodeC022 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.717
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.44
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		: 2875.390
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.44
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.056
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.44
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		: 3532.280
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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.44
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.706
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.44
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		: 1831.037
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.44
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.824
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.44
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		: 3425.265
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129121008 kB
MemAvailable:   129774020 kB
Buffers:            3280 kB
Cached:          1457608 kB
SwapCached:            0 kB
Active:           315776 kB
Inactive:        1209268 kB
Active(anon):      82216 kB
Inactive(anon):        0 kB
Active(file):     233560 kB
Inactive(file):  1209268 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1304 kB
Writeback:             0 kB
AnonPages:         67236 kB
Mapped:           102244 kB
Shmem:             18060 kB
KReclaimable:      98444 kB
Slab:             184960 kB
SReclaimable:      98444 kB
SUnreclaim:        86516 kB
KernelStack:        3940 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC022 at 2025-06-29 20:05:26