Trace number 4513374

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 1247.54 1246.18

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
MD5SUMd15c8502de0d235fb9400ddf00f66b48
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 benchmark50.3655
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1301
Total number of constraints651
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)651
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4513374-1751217358.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.18	c ... done. Wall clock time 0.047s.
0.12/0.18	c declared #vars     1301
0.12/0.18	c #constraints  1302
0.12/0.18	c constraints type 
0.12/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1300
0.12/0.18	c 1302 constraints processed.
0.51/0.39	c cleaning 2495 clauses out of 5002 with flag 21119/5002
0.90/0.57	c cleaning 4241 clauses out of 8505 with flag 46631/11000
1.28/0.74	c cleaning 5579 clauses out of 11264 with flag 81794/18000
1.48/0.85	c cleaning 6808 clauses out of 13686 with flag 121388/26001
1.67/0.95	c cleaning 7867 clauses out of 15877 with flag 167470/35000
1.86/1.10	c cleaning 8925 clauses out of 18010 with flag 226129/45000
2.44/1.37	c cleaning 10006 clauses out of 20085 with flag 286188/56000
3.02/1.70	c cleaning 10998 clauses out of 22080 with flag 359194/68001
3.21/1.93	c cleaning 12000 clauses out of 24082 with flag 433804/81001
3.43/2.14	c cleaning 13000 clauses out of 26082 with flag 514044/95001
3.62/2.38	c cleaning 13976 clauses out of 28081 with flag 596376/110000
3.92/2.67	c cleaning 14960 clauses out of 30105 with flag 698893/126000
4.46/3.10	c cleaning 16033 clauses out of 32145 with flag 825021/143000
4.78/3.40	c cleaning 17037 clauses out of 34113 with flag 929248/161001
4.98/3.69	c cleaning 17952 clauses out of 36075 with flag 1035660/180000
5.38/4.00	c cleaning 18995 clauses out of 38123 with flag 1145161/200000
5.67/4.31	c cleaning 19989 clauses out of 40132 with flag 1259339/221004
5.97/4.67	c cleaning 21047 clauses out of 42141 with flag 1381116/243002
6.38/5.06	c cleaning 21976 clauses out of 44092 with flag 1501482/266000
6.78/5.48	c cleaning 23043 clauses out of 46116 with flag 1640959/290000
7.28/5.90	c cleaning 23938 clauses out of 48073 with flag 1781180/315000
7.68/6.38	c cleaning 25026 clauses out of 50135 with flag 1931850/341000
8.18/6.85	c cleaning 25969 clauses out of 52110 with flag 2083817/368001
8.67/7.35	c cleaning 27035 clauses out of 54140 with flag 2231688/396000
9.17/7.86	c cleaning 28041 clauses out of 56106 with flag 2387012/425001
9.77/8.42	c cleaning 28957 clauses out of 58064 with flag 2549505/455000
10.37/9.04	c cleaning 30020 clauses out of 60108 with flag 2723636/486001
10.96/9.66	c cleaning 30980 clauses out of 62088 with flag 2890468/518001
11.66/10.31	c cleaning 32024 clauses out of 64107 with flag 3066311/551000
12.26/10.99	c cleaning 32967 clauses out of 66084 with flag 3243183/585001
13.06/11.70	c cleaning 34011 clauses out of 68116 with flag 3432806/620000
13.76/12.48	c cleaning 35022 clauses out of 70105 with flag 3619531/656000
14.56/13.22	c cleaning 36020 clauses out of 72083 with flag 3808101/693000
15.38/14.09	c cleaning 36983 clauses out of 74063 with flag 4004328/731000
16.28/14.98	c cleaning 37996 clauses out of 76080 with flag 4199985/770000
17.27/15.92	c cleaning 38994 clauses out of 78087 with flag 4404095/810003
18.17/16.85	c cleaning 39982 clauses out of 80090 with flag 4607917/851000
19.17/17.86	c cleaning 40999 clauses out of 82108 with flag 4819101/893000
20.27/18.97	c cleaning 42045 clauses out of 84109 with flag 5046726/936000
21.26/19.98	c cleaning 42970 clauses out of 86064 with flag 5261246/980000
22.37/21.08	c cleaning 44029 clauses out of 88094 with flag 5487822/1025000
23.56/22.21	c cleaning 45003 clauses out of 90066 with flag 5717228/1071001
24.66/23.36	c cleaning 46000 clauses out of 92062 with flag 5953090/1118000
25.98/24.66	c cleaning 47004 clauses out of 94063 with flag 6188270/1166001
27.28/25.94	c cleaning 47971 clauses out of 96059 with flag 6429901/1215001
28.57/27.27	c cleaning 48988 clauses out of 98087 with flag 6669102/1265000
29.97/28.65	c cleaning 49989 clauses out of 100099 with flag 6925018/1316000
31.37/30.06	c cleaning 51042 clauses out of 102110 with flag 7172103/1368000
32.76/31.49	c cleaning 51979 clauses out of 104069 with flag 7423586/1421001
34.37/33.04	c cleaning 53012 clauses out of 106090 with flag 7690858/1475001
35.89/34.58	c cleaning 54008 clauses out of 108077 with flag 7947890/1530000
37.49/36.18	c cleaning 55025 clauses out of 110071 with flag 8216427/1586002
39.18/37.84	c cleaning 55960 clauses out of 112044 with flag 8487734/1643000
40.88/39.54	c cleaning 57000 clauses out of 114084 with flag 8767068/1701000
42.68/41.36	c cleaning 57998 clauses out of 116084 with flag 9050689/1760000
44.48/43.13	c cleaning 58978 clauses out of 118087 with flag 9327625/1820001
46.27/44.97	c cleaning 59989 clauses out of 120108 with flag 9613895/1881000
48.30/46.90	c cleaning 61035 clauses out of 122119 with flag 9905237/1943000
50.20/48.83	c cleaning 61994 clauses out of 124085 with flag 10199127/2006001
52.29/50.93	c cleaning 63019 clauses out of 126090 with flag 10497347/2070000
54.29/52.92	c cleaning 64021 clauses out of 128072 with flag 10795828/2135001
56.39/55.06	c cleaning 64975 clauses out of 130050 with flag 11104749/2201000
58.49/57.15	c cleaning 66020 clauses out of 132075 with flag 11409523/2268000
60.72/59.34	c cleaning 66992 clauses out of 134057 with flag 11710811/2336002
62.91/61.56	c cleaning 68009 clauses out of 136064 with flag 12027151/2405001
65.31/63.91	c cleaning 68993 clauses out of 138054 with flag 12344602/2475000
67.70/66.31	c cleaning 69996 clauses out of 140062 with flag 12666616/2546001
70.00/68.65	c cleaning 71001 clauses out of 142065 with flag 12988973/2618000
72.40/71.10	c cleaning 72007 clauses out of 144064 with flag 13311907/2691000
75.00/73.64	c cleaning 72995 clauses out of 146058 with flag 13636476/2765001
77.40/76.09	c cleaning 74005 clauses out of 148064 with flag 13963303/2840002
80.09/78.78	c cleaning 74995 clauses out of 150059 with flag 14300116/2916002
82.78/81.40	c cleaning 75995 clauses out of 152063 with flag 14635772/2993001
85.48/84.14	c cleaning 77006 clauses out of 154067 with flag 14972453/3071000
88.20/86.88	c cleaning 78019 clauses out of 156061 with flag 15313545/3150000
91.08/89.74	c cleaning 78979 clauses out of 158042 with flag 15661014/3230000
93.88/92.59	c cleaning 79991 clauses out of 160064 with flag 16011390/3311001
96.77/95.49	c cleaning 81025 clauses out of 162072 with flag 16361772/3393000
99.77/98.49	c cleaning 82004 clauses out of 164047 with flag 16724363/3476000
102.99/101.63	c cleaning 82991 clauses out of 166043 with flag 17085376/3560000
105.98/104.67	c cleaning 83983 clauses out of 168052 with flag 17444180/3645000
108.98/107.60	c cleaning 84999 clauses out of 170071 with flag 17811891/3731002
112.07/110.73	c cleaning 85998 clauses out of 172070 with flag 18174669/3818000
115.16/113.80	c cleaning 86987 clauses out of 174072 with flag 18539602/3906000
118.39/117.07	c cleaning 88006 clauses out of 176085 with flag 18917676/3995000
121.68/120.31	c cleaning 89002 clauses out of 178080 with flag 19291733/4085001
124.87/123.50	c cleaning 89997 clauses out of 180077 with flag 19662884/4176000
128.26/126.95	c cleaning 91014 clauses out of 182080 with flag 20041955/4268000
131.89/130.50	c cleaning 92002 clauses out of 184067 with flag 20429759/4361001
135.39/134.05	c cleaning 92992 clauses out of 186065 with flag 20816505/4455001
138.97/137.61	c cleaning 94022 clauses out of 188073 with flag 21211374/4550001
142.86/141.54	c cleaning 95026 clauses out of 190051 with flag 21612956/4646001
146.69/145.31	c cleaning 95980 clauses out of 192025 with flag 22009306/4743001
150.28/149.00	c cleaning 96996 clauses out of 194044 with flag 22407676/4841000
154.37/153.05	c cleaning 98017 clauses out of 196049 with flag 22815446/4940001
158.66/157.39	c cleaning 98982 clauses out of 198031 with flag 23240223/5040000
162.85/161.57	c cleaning 100006 clauses out of 200049 with flag 23658319/5141000
166.84/165.57	c cleaning 100983 clauses out of 202045 with flag 24083306/5243002
171.08/169.75	c cleaning 102021 clauses out of 204060 with flag 24501111/5346000
175.07/173.74	c cleaning 103014 clauses out of 206039 with flag 24916475/5450000
179.37/178.09	c cleaning 103976 clauses out of 208026 with flag 25344874/5555001
183.95/182.62	c cleaning 104990 clauses out of 210049 with flag 25777631/5661000
188.15/186.81	c cleaning 105989 clauses out of 212059 with flag 26197499/5768000
192.88/191.50	c cleaning 106998 clauses out of 214070 with flag 26635687/5876000
197.57/196.28	c cleaning 108031 clauses out of 216073 with flag 27079029/5985001
202.06/200.76	c cleaning 108994 clauses out of 218042 with flag 27509416/6095001
206.85/205.56	c cleaning 109984 clauses out of 220047 with flag 27954579/6206000
211.64/210.35	c cleaning 111020 clauses out of 222063 with flag 28393868/6318000
216.53/215.22	c cleaning 112015 clauses out of 224043 with flag 28847733/6431000
221.32/220.10	c cleaning 113000 clauses out of 226028 with flag 29303842/6545000
226.55/225.20	c cleaning 113990 clauses out of 228029 with flag 29752366/6660001
231.45/230.15	c cleaning 115008 clauses out of 230038 with flag 30196728/6776000
236.73/235.41	c cleaning 115996 clauses out of 232031 with flag 30653581/6893001
241.92/240.61	c cleaning 116997 clauses out of 234035 with flag 31111765/7011001
246.81/245.51	c cleaning 117996 clauses out of 236037 with flag 31568768/7130000
252.20/250.92	c cleaning 118988 clauses out of 238042 with flag 32033982/7250001
257.48/256.27	c cleaning 120006 clauses out of 240056 with flag 32498916/7371003
263.18/261.91	c cleaning 120991 clauses out of 242047 with flag 32969403/7493000
268.61/267.36	c cleaning 121998 clauses out of 244059 with flag 33434334/7616003
274.00/272.78	c cleaning 123016 clauses out of 246059 with flag 33901830/7740001
279.29/278.04	c cleaning 124006 clauses out of 248042 with flag 34373193/7865000
284.77/283.53	c cleaning 124998 clauses out of 250036 with flag 34846647/7991000
290.46/289.23	c cleaning 125992 clauses out of 252038 with flag 35330886/8118000
296.15/294.92	c cleaning 126997 clauses out of 254046 with flag 35809217/8246000
301.75/300.56	c cleaning 128009 clauses out of 256051 with flag 36288673/8375002
307.30/306.07	c cleaning 128998 clauses out of 258040 with flag 36765694/8505000
312.68/311.47	c cleaning 130004 clauses out of 260043 with flag 37235926/8636001
318.28/317.02	c cleaning 131001 clauses out of 262038 with flag 37718607/8768000
323.86/322.65	c cleaning 131994 clauses out of 264039 with flag 38202798/8901002
329.65/328.43	c cleaning 133010 clauses out of 266043 with flag 38687840/9035000
335.24/334.09	c cleaning 133988 clauses out of 268033 with flag 39178877/9170000
341.02/339.87	c cleaning 135003 clauses out of 270045 with flag 39675222/9306000
346.81/345.62	c cleaning 136008 clauses out of 272042 with flag 40168631/9443000
352.86/351.68	c cleaning 136997 clauses out of 274034 with flag 40663822/9581000
358.65/357.46	c cleaning 138008 clauses out of 276038 with flag 41165185/9720001
364.54/363.34	c cleaning 138990 clauses out of 278030 with flag 41670364/9860001
370.24/369.07	c cleaning 140002 clauses out of 280040 with flag 42172923/10001001
375.91/374.77	c cleaning 141011 clauses out of 282038 with flag 42671825/10143001
381.70/380.55	c cleaning 141994 clauses out of 284027 with flag 43171886/10286001
387.68/386.56	c cleaning 143002 clauses out of 286033 with flag 43688310/10430001
393.67/392.54	c cleaning 143994 clauses out of 288031 with flag 44203318/10575001
399.65/398.57	c cleaning 145000 clauses out of 290036 with flag 44720990/10721000
405.63/404.59	c cleaning 146000 clauses out of 292037 with flag 45238968/10868001
411.82/410.78	c cleaning 146999 clauses out of 294037 with flag 45760432/11016001
418.40/417.34	c cleaning 148008 clauses out of 296038 with flag 46291201/11165001
424.73/423.65	c cleaning 149005 clauses out of 298029 with flag 46814080/11315000
431.02/429.95	c cleaning 149992 clauses out of 300025 with flag 47338475/11466001
437.40/436.32	c cleaning 150998 clauses out of 302032 with flag 47880403/11618000
443.89/442.83	c cleaning 151993 clauses out of 304035 with flag 48424809/11771001
450.27/449.20	c cleaning 153013 clauses out of 306042 with flag 48964239/11925001
457.07/456.08	c cleaning 153987 clauses out of 308029 with flag 49519410/12080001
463.45/462.46	c cleaning 154998 clauses out of 310041 with flag 50062543/12236000
470.14/469.15	c cleaning 156007 clauses out of 312043 with flag 50616440/12393000
476.92/475.92	c cleaning 156999 clauses out of 314037 with flag 51169506/12551001
483.60/482.66	c cleaning 158013 clauses out of 316037 with flag 51725203/12710000
490.50/489.58	c cleaning 158994 clauses out of 318024 with flag 52292433/12870000
497.65/496.60	c cleaning 160003 clauses out of 320030 with flag 52858767/13031000
504.65/503.61	c cleaning 160990 clauses out of 322028 with flag 53433035/13193001
511.53/510.58	c cleaning 162000 clauses out of 324038 with flag 54005711/13356001
518.51/517.58	c cleaning 163005 clauses out of 326037 with flag 54580781/13520000
525.70/524.74	c cleaning 163996 clauses out of 328032 with flag 55162555/13685000
532.78/531.86	c cleaning 164997 clauses out of 330036 with flag 55741925/13851000
540.06/539.17	c cleaning 165999 clauses out of 332039 with flag 56335496/14018000
547.74/546.81	c cleaning 166989 clauses out of 334040 with flag 56956857/14186000
555.22/554.30	c cleaning 168011 clauses out of 336051 with flag 57578751/14355000
562.60/561.77	c cleaning 169002 clauses out of 338040 with flag 58194840/14525000
570.58/569.64	c cleaning 169998 clauses out of 340039 with flag 58829000/14696001
578.07/577.19	c cleaning 171008 clauses out of 342040 with flag 59447851/14868000
585.55/584.69	c cleaning 172006 clauses out of 344032 with flag 60066668/15041000
593.63/592.70	c cleaning 172997 clauses out of 346027 with flag 60701896/15215001
601.21/600.39	c cleaning 174006 clauses out of 348029 with flag 61329986/15390000
609.49/608.61	c cleaning 174992 clauses out of 350023 with flag 61973532/15566000
617.37/616.58	c cleaning 176008 clauses out of 352032 with flag 62622155/15743001
625.47/624.61	c cleaning 177005 clauses out of 354023 with flag 63274312/15921000
633.35/632.54	c cleaning 177989 clauses out of 356019 with flag 63924572/16100001
641.73/640.99	c cleaning 179007 clauses out of 358029 with flag 64577176/16280000
650.01/649.21	c cleaning 179995 clauses out of 360022 with flag 65224241/16461000
658.70/657.97	c cleaning 180993 clauses out of 362028 with flag 65903572/16643001
667.16/666.39	c cleaning 181999 clauses out of 364034 with flag 66568926/16826000
676.14/675.31	c cleaning 183003 clauses out of 366036 with flag 67241910/17010001
684.83/684.05	c cleaning 184004 clauses out of 368032 with flag 67905802/17195000
693.70/692.99	c cleaning 185001 clauses out of 370028 with flag 68581360/17381000
702.89/702.12	c cleaning 185994 clauses out of 372027 with flag 69270735/17568000
712.16/711.40	c cleaning 186996 clauses out of 374033 with flag 69967237/17756000
722.04/721.35	c cleaning 188003 clauses out of 376038 with flag 70683331/17945001
731.63/730.98	c cleaning 189011 clauses out of 378034 with flag 71385754/18135000
741.41/740.78	c cleaning 190004 clauses out of 380023 with flag 72095488/18326000
751.59/750.90	c cleaning 190998 clauses out of 382020 with flag 72810511/18518001
762.46/761.86	c cleaning 192005 clauses out of 384021 with flag 73543935/18711000
773.24/772.62	c cleaning 192992 clauses out of 386016 with flag 74282773/18905000
784.73/784.06	c cleaning 193988 clauses out of 388025 with flag 75047836/19100001
796.20/795.59	c cleaning 194992 clauses out of 390036 with flag 75809596/19296000
808.37/807.75	c cleaning 196006 clauses out of 392045 with flag 76593667/19493001
820.04/819.43	c cleaning 197004 clauses out of 394039 with flag 77375729/19691001
832.41/831.85	c cleaning 198004 clauses out of 396035 with flag 78161662/19890001
844.40/843.86	c cleaning 199003 clauses out of 398030 with flag 78949247/20090000
855.77/855.29	c cleaning 200002 clauses out of 400027 with flag 79730189/20291000
867.75/867.28	c cleaning 201000 clauses out of 402026 with flag 80536689/20493001
880.32/879.87	c cleaning 202001 clauses out of 404026 with flag 81334325/20696001
892.79/892.30	c cleaning 202993 clauses out of 406024 with flag 82137264/20900000
904.87/904.40	c cleaning 204001 clauses out of 408032 with flag 82947342/21105001
917.04/916.63	c cleaning 205003 clauses out of 410030 with flag 83755376/21311000
929.60/929.02	c cleaning 205997 clauses out of 412027 with flag 84563842/21518000
941.16/940.67	c cleaning 207000 clauses out of 414031 with flag 85360349/21726001
953.24/952.79	c cleaning 208008 clauses out of 416031 with flag 86164558/21935001
964.71/964.24	c cleaning 209000 clauses out of 418023 with flag 86948354/22145001
977.49/977.02	c cleaning 210005 clauses out of 420022 with flag 87746968/22356000
989.76/989.35	c cleaning 210991 clauses out of 422018 with flag 88542031/22568001
1001.83/1001.44	c cleaning 211992 clauses out of 424026 with flag 89352251/22781000
1013.81/1013.45	c cleaning 213001 clauses out of 426034 with flag 90154270/22995000
1026.19/1025.89	c cleaning 214004 clauses out of 428034 with flag 90950474/23210001
1039.66/1039.36	c cleaning 215005 clauses out of 430029 with flag 91768583/23426000
1053.09/1052.23	c cleaning 216000 clauses out of 432024 with flag 92596614/23643000
1067.06/1066.29	c cleaning 217008 clauses out of 434024 with flag 93456493/23861000
1081.63/1080.86	c cleaning 218005 clauses out of 436017 with flag 94351509/24080001
1097.69/1096.99	c cleaning 218995 clauses out of 438012 with flag 95259939/24300001
1114.26/1113.59	c cleaning 219995 clauses out of 440017 with flag 96177933/24521001
1130.12/1129.47	c cleaning 220997 clauses out of 442022 with flag 97116508/24743001
1149.07/1148.44	c cleaning 222000 clauses out of 444025 with flag 98084776/24966001
1169.42/1168.87	c cleaning 223003 clauses out of 446025 with flag 99082739/25190001
1193.36/1192.82	c cleaning 224005 clauses out of 448022 with flag 100097434/25415001
1217.42/1216.84	c cleaning 225003 clauses out of 450018 with flag 101113732/25641002
1241.82/1240.61	c cleaning 225999 clauses out of 452011 with flag 102138944/25868000
1247.32/1246.07	c starts		: 18703
1247.32/1246.08	c conflicts		: 25948909
1247.32/1246.08	c decisions		: 36446774
1247.32/1246.08	c propagations		: 204807027
1247.32/1246.08	c inspects		: 22820091196
1247.32/1246.08	c shortcuts		: 0
1247.32/1246.08	c learnt literals	: 16
1247.32/1246.08	c learnt binary clauses	: 116
1247.32/1246.08	c learnt ternary clauses	: 477
1247.32/1246.08	c learnt constraints	: 25948892
1247.32/1246.08	c ignored constraints	: 0
1247.32/1246.08	c root simplifications	: 0
1247.32/1246.08	c removed literals (reason simplification)	: 22171546
1247.32/1246.08	c reason swapping (by a shorter reason)	: 0
1247.32/1246.08	c Calls to reduceDB	: 223
1247.32/1246.08	c Number of update (reduction) of LBD	: 5756437
1247.32/1246.08	c Imported unit clauses	: 0
1247.32/1246.08	c No decision after first conflict	: false
1247.32/1246.08	c number of reductions to clauses (during analyze)	: 0
1247.32/1246.08	c number of learned constraints concerned by reduction	: 0
1247.32/1246.08	c number of learning phase by resolution	: 0
1247.32/1246.08	c number of learning phase by cutting planes	: 0
1247.32/1246.08	c number of rounding to 1 operations	: 0
1247.32/1246.08	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1247.32/1246.08	c number of reductions of the coefficients by power 2 	: 0
1247.32/1246.08	c number of right shift for reduction by power 2 	: 0
1247.32/1246.08	c number of reductions of the coefficients by GCD over coefficients 	: 0
1247.32/1246.08	c number of ending skipping 	: 0
1247.32/1246.08	c number of internal skipping 	: 0
1247.32/1246.08	c number of derivation steps 	: 0
1247.32/1246.08	c number of skipped derivation steps 	: 0
1247.32/1246.09	c number of remaining unassigned 	: 0
1247.32/1246.09	c number of remaining assigned 	: 0
1247.32/1246.09	c number of falsified literals weakened from reason	: 0
1247.32/1246.09	c number of falsified literals weakened from conflict	: 0
1247.32/1246.09	c time for arithmetic operations	: 0
1247.32/1246.09	c minimum degree of deleted constraints	: null
1247.32/1246.09	c maximum degree of deleted constraints	: null
1247.32/1246.09	c number of deleted constraints	: 0
1247.32/1246.09	c speed (assignments/second)	: 164384.93569703485
1247.32/1246.09	c non guided choices	: 2495625
1247.45/1246.16	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 306790
1247.45/1246.16	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 116
1247.45/1246.16	s UNSATISFIABLE
1247.45/1246.16	c Total wall clock time (in seconds): 1246.033

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513374-1751217358/watcher-4513374-1751217358 -o /tmp/evaluation-result-4513374-1751217358/solver-4513374-1751217358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751208407-26873 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513374-1751217358.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100058 s]*
/proc/loadavg: 4.11 4.10 4.09 5/338 28202
/proc/meminfo: memFree=123785908/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=18930384 memory=57844 CPUtime=0.12 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 6590 0 0 0 11 1 0 0 20 0 18 0 37413545 19384713216 14461 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4732596 14461 5335 1 0 547623 0
[pid=28184/tid=28186] ppid=28181 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 5086 0 0 0 7 1 0 0 20 0 18 0 37413547 19384713216 14461 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37413549 19384713216 14461 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=18930384 memory=60684515966010 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37413549 19384713216 14461 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57844 KiB

[startup+0.205784 s]*
/proc/loadavg: 4.11 4.10 4.09 7/339 28203
/proc/meminfo: memFree=123777716/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=18996948 memory=76712 CPUtime=0.32 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 7120 0 0 0 30 2 0 0 20 0 19 0 37413545 19452874752 19178 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4749237 19178 5431 1 0 548230 0
[pid=28184/tid=28186] ppid=28181 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 5315 0 0 0 15 1 0 0 20 0 19 0 37413547 19452874752 19178 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=18996948 memory=16880 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 19178 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 19178 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37413564 19452874752 19178 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76712 KiB

[startup+0.305719 s]*
/proc/loadavg: 4.11 4.10 4.09 6/339 28203
/proc/meminfo: memFree=123773684/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=18996948 memory=80856 CPUtime=0.51 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 8747 0 0 0 48 3 0 0 20 0 19 0 37413545 19452874752 20214 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4749237 20214 5431 1 0 549263 0
[pid=28184/tid=28186] ppid=28181 vsize=18996948 memory=-6000919502721213549 CPUtime=0.26 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 5324 0 0 0 25 1 0 0 20 0 19 0 37413547 19452874752 20214 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 20214 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 20214 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37413564 19452874752 20214 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80856 KiB

[startup+0.700208 s]
/proc/loadavg: 4.11 4.10 4.09 6/339 28203
/proc/meminfo: memFree=123755528/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=18996948 memory=103068 CPUtime=1.28 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 16090 0 0 0 124 4 0 0 20 0 19 0 37413545 19452874752 25767 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4749237 25767 5463 1 0 553141 0
[pid=28184/tid=28186] ppid=28181 vsize=18996948 memory=17408 CPUtime=0.65 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 5368 0 0 0 64 1 0 0 20 0 19 0 37413547 19452874752 25767 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 25767 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 25767 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37413564 19452874752 25767 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103068 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.10 4.09 6/339 28203
/proc/meminfo: memFree=123743556/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=18996948 memory=113692 CPUtime=2.82 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 21109 0 0 0 277 5 0 0 20 0 19 0 37413545 19452874752 28423 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4749237 28423 5463 1 0 553144 0
[pid=28184/tid=28186] ppid=28181 vsize=18996948 memory=0 CPUtime=1.45 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 5711 0 0 0 143 2 0 0 20 0 19 0 37413547 19452874752 28423 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 28423 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 28423 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37413564 19452874752 28423 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113692 KiB

[startup+3.10558 s]
/proc/loadavg: 4.11 4.10 4.09 5/339 28203
/proc/meminfo: memFree=123723236/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=18996948 memory=132260 CPUtime=4.46 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 21955 0 0 0 440 6 0 0 20 0 19 0 37413545 19452874752 33065 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4749237 33065 5463 1 0 553146 0
[pid=28184/tid=28186] ppid=28181 vsize=18996948 memory=10752 CPUtime=3.06 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 6044 0 0 0 303 3 0 0 20 0 19 0 37413547 19452874752 33065 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=18996948 memory=-6000919502721213549 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 33065 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37413549 19452874752 33065 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37413564 19452874752 33065 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 4.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132260 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.10 4.09 5/339 28203
/proc/meminfo: memFree=123686372/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=177124 CPUtime=7.68 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 23492 0 0 0 761 7 0 0 20 0 20 0 37413545 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 44281 5495 1 0 553435 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=0 CPUtime=6.23 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 6183 0 0 0 620 3 0 0 20 0 20 0 37413547 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=115748 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177124 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/340 28204
/proc/meminfo: memFree=123466412/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=177124 CPUtime=14.06 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 24978 0 0 0 1399 7 0 0 20 0 20 0 37413545 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 44281 5495 1 0 553435 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=115748 CPUtime=12.61 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 7058 0 0 0 1257 4 0 0 20 0 20 0 37413547 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=177124 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 44281 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 14.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177124 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/339 28204
/proc/meminfo: memFree=123441836/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=199836 CPUtime=26.88 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 28089 0 0 0 2679 9 0 0 20 0 20 0 37413545 19521036288 49959 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 49959 5495 1 0 553435 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=177124 CPUtime=25.34 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 7629 0 0 0 2530 4 0 0 20 0 20 0 37413547 19521036288 49959 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 49959 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=185412 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 49959 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 49959 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 26.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199836 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.09 5/338 28204
/proc/meminfo: memFree=123371964/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=271732 CPUtime=52.5 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 29565 0 0 0 5240 10 0 0 20 0 20 0 37413545 19521036288 67933 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 67933 5495 1 0 553435 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=199836 CPUtime=50.81 cores=5,7

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

/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 369 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=1899040 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1063.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1899040 KiB

[startup+1122.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/339 28256
/proc/meminfo: memFree=121408060/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=1899040 CPUtime=1123.04 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 55067 0 0 0 112242 62 0 0 20 0 20 0 37413545 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 474760 5527 1 0 558406 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=164 CPUtime=1117.99 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 18972 0 0 0 111791 8 0 0 20 0 20 0 37413547 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=-6000919502721213549 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 392 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1123.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1899040 KiB

[startup+1182.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/339 28258
/proc/meminfo: memFree=121408196/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=1899040 CPUtime=1182.89 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 55668 0 0 0 118226 63 0 0 20 0 20 0 37413545 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 474760 5527 1 0 558406 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=164 CPUtime=1177.82 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 19373 0 0 0 117774 8 0 0 20 0 20 0 37413547 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 427 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=1899040 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 474760 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1182.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1899040 KiB

[startup+1242.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/339 28260
/proc/meminfo: memFree=121408100/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=1902752 CPUtime=1243.61 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 61121 0 0 0 124296 65 0 0 20 0 20 0 37413545 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 475688 5527 1 0 558565 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=2273 CPUtime=1237.56 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 19918 0 0 0 123748 8 0 0 20 0 20 0 37413547 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=1899040 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=1899680 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 428 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=-6000919502721213549 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1243.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1902752 KiB

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

# cumulated CPU time of all completed processes:  user=1246.87 s, system=0.671527 s

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

[startup+1243.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/339 28260
/proc/meminfo: memFree=121408100/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=1902752 CPUtime=1244.51 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 61121 0 0 0 124386 65 0 0 20 0 20 0 37413545 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 475688 5527 1 0 558565 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=5632 CPUtime=1238.46 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 19918 0 0 0 123838 8 0 0 20 0 20 0 37413547 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 428 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1244.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1902752 KiB

[startup+1244.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/339 28260
/proc/meminfo: memFree=121408100/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=1902752 CPUtime=1246.1 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 61121 0 0 0 124545 65 0 0 20 0 20 0 37413545 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 475688 5527 1 0 558565 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=14384 CPUtime=1240.06 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 19918 0 0 0 123998 8 0 0 20 0 20 0 37413547 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=1902752 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 428 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1246.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1902752 KiB

[startup+1245.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/339 28260
/proc/meminfo: memFree=121408108/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=1902752 CPUtime=1246.9 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 61123 0 0 0 124625 65 0 0 20 0 20 0 37413545 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 475688 5527 1 0 558565 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=5632 CPUtime=1240.85 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 19918 0 0 0 124077 8 0 0 20 0 20 0 37413547 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 428 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=1902752 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1246.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1902752 KiB

[startup+1246 s]*
/proc/loadavg: 4.08 4.10 4.09 5/339 28260
/proc/meminfo: memFree=121408108/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19063512 memory=1902752 CPUtime=1247.32 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 61125 0 0 0 124667 65 0 0 20 0 20 0 37413545 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4765878 475688 5527 1 0 558565 0
[pid=28184/tid=28186] ppid=28181 vsize=19063512 memory=-6000919502721213549 CPUtime=1241.26 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) R 28181 28184 26860 0 -1 4194368 19918 0 0 0 124118 8 0 0 20 0 20 0 37413547 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19063512 memory=4426084724834463391 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19063512 memory=6900 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 428 0 0 0 0 0 0 0 20 0 20 0 37413549 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28203] ppid=28181 vsize=19063512 memory=1889572 CPUtime=0 cores=5,7
/proc/28184/task/28203/stat : 28203 (Timer-0) S 28181 28184 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37413564 19521036288 475688 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1247.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1902752 KiB

[startup+1246.11 s]
/proc/loadavg: 4.08 4.10 4.09 5/339 28260
/proc/meminfo: memFree=121408108/131249996 swapFree=33010684/33010684
[pid=28184] ppid=28181 vsize=19196640 memory=1903264 CPUtime=1247.45 cores=5,7
/proc/28184/stat : 28184 (java) S 28181 28184 26860 0 -1 4194304 62105 0 0 0 124679 66 0 0 20 0 20 0 37413545 19657359360 475816 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
/proc/28184/statm: 4799160 475816 5527 1 0 559199 0
[pid=28184/tid=28186] ppid=28181 vsize=19196640 memory=1902752 CPUtime=1241.32 cores=5,7
/proc/28184/task/28186/stat : 28186 (java) S 28181 28184 26860 0 -1 4194368 20521 0 0 0 124124 8 0 0 20 0 20 0 37413547 19657359360 475816 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28195] ppid=28181 vsize=19196640 memory=2273 CPUtime=0 cores=5,7
/proc/28184/task/28195/stat : 28195 (Finalizer) S 28181 28184 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37413549 19657359360 475816 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
[pid=28184/tid=28202] ppid=28181 vsize=19196640 memory=1899040 CPUtime=0 cores=5,7
/proc/28184/task/28202/stat : 28202 (Common-Cleaner) S 28181 28184 26860 0 -1 4194368 428 0 0 0 0 0 0 0 20 0 20 0 37413549 19657359360 475816 18446744073709551615 94462746058752 94462746062448 140720718100624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462746070264 94462746071056 94462773993472 140720718109057 140720718109158 140720718109158 140720718114760 0
Current children cumulated CPU time: 1247.45 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1903264 KiB

Child status: 20

Real time (s): 1246.18
CPU time (s): 1247.54
CPU user time (s): 1246.87
CPU system time (s): 0.671527
CPU usage (%): 100.11
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1903264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1246.87
system time used= 0.671527
maximum resident set size= 1903648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62254
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37800
involuntary context switches= 1494


# summary of solver processes directly reported to runsolver:
#   pid: 28184
#   total CPU time (s): 1247.54
#   total CPU user time (s): 1246.87
#   total CPU system time (s): 0.671527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.64222 second user time and 5.36529 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 19:15:58
IDJOB=4513374
IDBENCH=162339
IDSOLVER=3363
FILE ID=nodeC022/4513374-1751217358
RUNJOBID= nodeC022-1751208407-26873
SLURM_JOB_ID= 9587640
Free space on /tmp= 433060 MiB

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

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

MD5SUM BENCH= d15c8502de0d235fb9400ddf00f66b48
RANDOM SEED=935828599

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.733
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		: 3599.699
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.439
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		: 3599.809
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.695
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		: 3584.010
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		: 3407.190
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		: 3599.712
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:        123823084 kB
MemAvailable:   124478532 kB
Buffers:            3280 kB
Cached:          1460060 kB
SwapCached:            0 kB
Active:          5607404 kB
Inactive:        1211700 kB
Active(anon):    5373824 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1211700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               680 kB
Writeback:            16 kB
AnonPages:       5358836 kB
Mapped:           122192 kB
Shmem:             18060 kB
KReclaimable:      98412 kB
Slab:             185676 kB
SReclaimable:      98412 kB
SUnreclaim:        87264 kB
KernelStack:        5232 kB
PageTables:        14216 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7079608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5117952 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 19:36:44