Trace number 4451032

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 2024 2024-07-07UNSAT cert. 1355.03 1352.45

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 benchmark45.8334
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.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.18	c version CUSTOM.v20240707
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2113181440
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2122317824
0.12/0.22	c Number of processors 	2
0.30/0.31	--- Begin Solver configuration ---
0.30/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.31	Learn all clauses as in MiniSAT
0.30/0.31	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.31	Expensive reason simplification
0.30/0.31	Glucose 2.1 dynamic restart strategy
0.30/0.31	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.30/0.31	timeout=2147483s
0.30/0.31	DB Simplification allowed=false
0.30/0.31	Listener: none
0.30/0.31	--- End Solver configuration ---
0.30/0.31	c Pseudo Boolean Optimization by upper bound
0.30/0.31	c --- Begin Solver configuration ---
0.30/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.31	c Learn all clauses as in MiniSAT
0.30/0.31	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.31	c Expensive reason simplification
0.30/0.31	c Glucose 2.1 dynamic restart strategy
0.30/0.31	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.30/0.31	c timeout=2147483s
0.30/0.31	c DB Simplification allowed=false
0.30/0.31	c Listener: none
0.30/0.31	c --- End Solver configuration ---
0.30/0.31	c solving HOME/instance-4451032-1721829152.opb
0.30/0.31	c reading problem ... 
0.44/0.32	c using VERIPB proof format
0.44/0.32	c  no objective function found
0.64/0.45	c ... done. Wall clock time 0.14s.
0.64/0.45	c declared #vars     1301
0.64/0.46	c #constraints  1302
0.64/0.46	c constraints type 
0.64/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.64/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1300
0.64/0.46	c 1302 constraints processed.
1.94/1.16	c cleaning 2495 clauses out of 5002 with flag 21119/5002
2.73/1.58	c cleaning 4241 clauses out of 8505 with flag 46631/11000
3.32/1.85	c cleaning 5579 clauses out of 11264 with flag 81794/18000
3.70/2.03	c cleaning 6808 clauses out of 13686 with flag 121388/26001
3.91/2.20	c cleaning 7867 clauses out of 15877 with flag 167470/35000
4.29/2.39	c cleaning 8925 clauses out of 18010 with flag 226129/45000
4.87/2.64	c cleaning 10006 clauses out of 20085 with flag 286188/56000
5.38/2.97	c cleaning 10998 clauses out of 22080 with flag 359194/68001
5.76/3.28	c cleaning 12000 clauses out of 24082 with flag 433804/81001
6.18/3.54	c cleaning 13000 clauses out of 26082 with flag 514044/95001
6.48/3.81	c cleaning 13976 clauses out of 28081 with flag 596376/110000
6.79/4.16	c cleaning 14960 clauses out of 30105 with flag 698893/126000
7.45/4.65	c cleaning 16033 clauses out of 32145 with flag 825021/143000
8.10/5.03	c cleaning 17037 clauses out of 34113 with flag 929248/161001
8.39/5.38	c cleaning 17952 clauses out of 36075 with flag 1035660/180000
8.78/5.76	c cleaning 18995 clauses out of 38123 with flag 1145161/200000
9.24/6.18	c cleaning 19989 clauses out of 40132 with flag 1259339/221004
9.74/6.61	c cleaning 21047 clauses out of 42141 with flag 1381116/243002
10.15/7.06	c cleaning 21976 clauses out of 44092 with flag 1501482/266000
10.63/7.54	c cleaning 23043 clauses out of 46116 with flag 1640959/290000
11.14/8.03	c cleaning 23938 clauses out of 48073 with flag 1781180/315000
11.86/8.59	c cleaning 25026 clauses out of 50135 with flag 1931850/341000
12.47/9.16	c cleaning 25969 clauses out of 52110 with flag 2083817/368001
13.05/9.75	c cleaning 27035 clauses out of 54140 with flag 2231688/396000
13.67/10.36	c cleaning 28041 clauses out of 56106 with flag 2387012/425001
14.53/11.05	c cleaning 28957 clauses out of 58064 with flag 2549505/455000
15.37/11.77	c cleaning 30020 clauses out of 60108 with flag 2723636/486001
16.39/12.49	c cleaning 30980 clauses out of 62088 with flag 2890468/518001
17.41/13.26	c cleaning 32024 clauses out of 64107 with flag 3066311/551000
18.24/14.12	c cleaning 32967 clauses out of 66084 with flag 3243183/585001
19.11/14.95	c cleaning 34011 clauses out of 68116 with flag 3432806/620000
20.01/15.84	c cleaning 35022 clauses out of 70105 with flag 3619531/656000
20.81/16.69	c cleaning 36020 clauses out of 72083 with flag 3808101/693000
21.82/17.64	c cleaning 36983 clauses out of 74063 with flag 4004328/731000
22.82/18.60	c cleaning 37996 clauses out of 76080 with flag 4199985/770000
23.82/19.61	c cleaning 38994 clauses out of 78087 with flag 4404095/810003
24.91/20.72	c cleaning 39982 clauses out of 80090 with flag 4607917/851000
26.01/21.81	c cleaning 40999 clauses out of 82108 with flag 4819101/893000
27.11/22.98	c cleaning 42045 clauses out of 84109 with flag 5046726/936000
28.32/24.13	c cleaning 42970 clauses out of 86064 with flag 5261246/980000
29.51/25.32	c cleaning 44029 clauses out of 88094 with flag 5487822/1025000
30.70/26.56	c cleaning 45003 clauses out of 90066 with flag 5717228/1071001
32.00/27.81	c cleaning 46000 clauses out of 92062 with flag 5953090/1118000
33.31/29.17	c cleaning 47004 clauses out of 94063 with flag 6188270/1166001
34.79/30.60	c cleaning 47971 clauses out of 96059 with flag 6429901/1215001
36.17/32.14	c cleaning 48988 clauses out of 98087 with flag 6669102/1265000
37.65/33.62	c cleaning 49989 clauses out of 100099 with flag 6925018/1316000
39.06/35.11	c cleaning 51042 clauses out of 102110 with flag 7172103/1368000
40.65/36.60	c cleaning 51979 clauses out of 104069 with flag 7423586/1421001
42.35/38.30	c cleaning 53012 clauses out of 106090 with flag 7690858/1475001
43.85/39.87	c cleaning 54008 clauses out of 108077 with flag 7947890/1530000
45.54/41.55	c cleaning 55025 clauses out of 110071 with flag 8216427/1586002
47.34/43.30	c cleaning 55960 clauses out of 112044 with flag 8487734/1643000
49.05/45.06	c cleaning 57000 clauses out of 114084 with flag 8767068/1701000
50.93/47.01	c cleaning 57998 clauses out of 116084 with flag 9050689/1760000
52.83/48.80	c cleaning 58978 clauses out of 118087 with flag 9327625/1820001
54.63/50.69	c cleaning 59989 clauses out of 120108 with flag 9613895/1881000
56.62/52.61	c cleaning 61035 clauses out of 122119 with flag 9905237/1943000
58.71/54.70	c cleaning 61994 clauses out of 124085 with flag 10199127/2006001
60.81/56.84	c cleaning 63019 clauses out of 126090 with flag 10497347/2070000
62.91/58.90	c cleaning 64021 clauses out of 128072 with flag 10795828/2135001
65.11/61.12	c cleaning 64975 clauses out of 130050 with flag 11104749/2201000
68.67/64.89	c cleaning 66020 clauses out of 132075 with flag 11409523/2268000
71.06/67.21	c cleaning 66992 clauses out of 134057 with flag 11710811/2336002
73.36/69.52	c cleaning 68009 clauses out of 136064 with flag 12027151/2405001
75.87/72.07	c cleaning 68993 clauses out of 138054 with flag 12344602/2475000
78.35/74.55	c cleaning 69996 clauses out of 140062 with flag 12666616/2546001
80.75/76.92	c cleaning 71001 clauses out of 142065 with flag 12988973/2618000
83.24/79.40	c cleaning 72007 clauses out of 144064 with flag 13311907/2691000
85.76/81.97	c cleaning 72995 clauses out of 146058 with flag 13636476/2765001
88.26/84.47	c cleaning 74005 clauses out of 148064 with flag 13963303/2840002
91.05/87.22	c cleaning 74995 clauses out of 150059 with flag 14300116/2916002
93.86/90.02	c cleaning 75995 clauses out of 152063 with flag 14635772/2993001
96.54/92.79	c cleaning 77006 clauses out of 154067 with flag 14972453/3071000
99.35/95.64	c cleaning 78019 clauses out of 156061 with flag 15313545/3150000
102.39/98.62	c cleaning 78979 clauses out of 158042 with flag 15661014/3230000
105.28/101.57	c cleaning 79991 clauses out of 160064 with flag 16011390/3311001
108.28/104.59	c cleaning 81025 clauses out of 162072 with flag 16361772/3393000
111.47/107.70	c cleaning 82004 clauses out of 164047 with flag 16724363/3476000
114.66/110.99	c cleaning 82991 clauses out of 166043 with flag 17085376/3560000
117.88/114.14	c cleaning 83983 clauses out of 168052 with flag 17444180/3645000
120.86/117.18	c cleaning 84999 clauses out of 170071 with flag 17811891/3731002
124.17/120.48	c cleaning 85998 clauses out of 172070 with flag 18174669/3818000
127.46/123.76	c cleaning 86987 clauses out of 174072 with flag 18539602/3906000
131.04/127.49	c cleaning 88006 clauses out of 176085 with flag 18917676/3995000
134.54/130.92	c cleaning 89002 clauses out of 178080 with flag 19291733/4085001
137.83/134.28	c cleaning 89997 clauses out of 180077 with flag 19662884/4176000
141.64/138.02	c cleaning 91014 clauses out of 182080 with flag 20041955/4268000
145.22/141.65	c cleaning 92002 clauses out of 184067 with flag 20429759/4361001
148.81/145.29	c cleaning 92992 clauses out of 186065 with flag 20816505/4455001
152.65/149.08	c cleaning 94022 clauses out of 188073 with flag 21211374/4550001
156.83/153.20	c cleaning 95026 clauses out of 190051 with flag 21612956/4646001
160.93/157.41	c cleaning 95980 clauses out of 192025 with flag 22009306/4743001
164.83/161.30	c cleaning 96996 clauses out of 194044 with flag 22407676/4841000
169.02/165.55	c cleaning 98017 clauses out of 196049 with flag 22815446/4940001
173.71/170.24	c cleaning 98982 clauses out of 198031 with flag 23240223/5040000
178.11/174.62	c cleaning 100006 clauses out of 200049 with flag 23658319/5141000
182.35/178.86	c cleaning 100983 clauses out of 202045 with flag 24083306/5243002
186.75/183.22	c cleaning 102021 clauses out of 204060 with flag 24501111/5346000
190.96/187.53	c cleaning 103014 clauses out of 206039 with flag 24916475/5450000
195.66/192.30	c cleaning 103976 clauses out of 208026 with flag 25344874/5555001
200.56/197.15	c cleaning 104990 clauses out of 210049 with flag 25777631/5661000
205.14/201.77	c cleaning 105989 clauses out of 212059 with flag 26197499/5768000
210.14/206.70	c cleaning 106998 clauses out of 214070 with flag 26635687/5876000
215.39/211.91	c cleaning 108031 clauses out of 216073 with flag 27079029/5985001
220.21/216.81	c cleaning 108994 clauses out of 218042 with flag 27509416/6095001
225.41/222.08	c cleaning 109984 clauses out of 220047 with flag 27954579/6206000
230.62/227.26	c cleaning 111020 clauses out of 222063 with flag 28393868/6318000
235.90/232.50	c cleaning 112015 clauses out of 224043 with flag 28847733/6431000
241.21/237.86	c cleaning 113000 clauses out of 226028 with flag 29303842/6545000
246.60/243.28	c cleaning 113990 clauses out of 228029 with flag 29752366/6660001
252.15/248.83	c cleaning 115008 clauses out of 230038 with flag 30196728/6776000
257.74/254.46	c cleaning 115996 clauses out of 232031 with flag 30653581/6893001
263.56/260.23	c cleaning 116997 clauses out of 234035 with flag 31111765/7011001
268.75/265.42	c cleaning 117996 clauses out of 236037 with flag 31568768/7130000
274.72/271.32	c cleaning 118988 clauses out of 238042 with flag 32033982/7250001
280.41/277.09	c cleaning 120006 clauses out of 240056 with flag 32498916/7371003
286.69/283.30	c cleaning 120991 clauses out of 242047 with flag 32969403/7493000
292.58/289.23	c cleaning 121998 clauses out of 244059 with flag 33434334/7616003
298.65/295.21	c cleaning 123016 clauses out of 246059 with flag 33901830/7740001
304.45/301.02	c cleaning 124006 clauses out of 248042 with flag 34373193/7865000
310.61/307.16	c cleaning 124998 clauses out of 250036 with flag 34846647/7991000
317.05/313.63	c cleaning 125992 clauses out of 252038 with flag 35330886/8118000
323.23/319.86	c cleaning 126997 clauses out of 254046 with flag 35809217/8246000
329.60/326.19	c cleaning 128009 clauses out of 256051 with flag 36288673/8375002
335.49/332.10	c cleaning 128998 clauses out of 258040 with flag 36765694/8505000
341.63/338.18	c cleaning 130004 clauses out of 260043 with flag 37235926/8636001
347.80/344.53	c cleaning 131001 clauses out of 262038 with flag 37718607/8768000
354.15/350.85	c cleaning 131994 clauses out of 264039 with flag 38202798/8901002
360.45/357.17	c cleaning 133010 clauses out of 266043 with flag 38687840/9035000
366.90/363.50	c cleaning 133988 clauses out of 268033 with flag 39178877/9170000
373.09/369.71	c cleaning 135003 clauses out of 270045 with flag 39675222/9306000
379.51/376.23	c cleaning 136008 clauses out of 272042 with flag 40168631/9443000
386.19/382.80	c cleaning 136997 clauses out of 274034 with flag 40663822/9581000
392.49/389.17	c cleaning 138008 clauses out of 276038 with flag 41165185/9720001
399.15/395.75	c cleaning 138990 clauses out of 278030 with flag 41670364/9860001
405.43/402.14	c cleaning 140002 clauses out of 280040 with flag 42172923/10001001
411.92/408.61	c cleaning 141011 clauses out of 282038 with flag 42671825/10143001
418.41/415.01	c cleaning 141994 clauses out of 284027 with flag 43171886/10286001
424.98/421.64	c cleaning 143002 clauses out of 286033 with flag 43688310/10430001
431.64/428.21	c cleaning 143994 clauses out of 288031 with flag 44203318/10575001
438.20/434.95	c cleaning 145000 clauses out of 290036 with flag 44720990/10721000
444.92/441.61	c cleaning 146000 clauses out of 292037 with flag 45238968/10868001
451.78/448.41	c cleaning 146999 clauses out of 294037 with flag 45760432/11016001
458.87/455.57	c cleaning 148008 clauses out of 296038 with flag 46291201/11165001
465.85/462.55	c cleaning 149005 clauses out of 298029 with flag 46814080/11315000
472.91/469.58	c cleaning 149992 clauses out of 300025 with flag 47338475/11466001
479.80/476.45	c cleaning 150998 clauses out of 302032 with flag 47880403/11618000
487.06/483.64	c cleaning 151993 clauses out of 304035 with flag 48424809/11771001
494.14/490.62	c cleaning 153013 clauses out of 306042 with flag 48964239/11925001
501.63/498.33	c cleaning 153987 clauses out of 308029 with flag 49519410/12080001
508.77/505.42	c cleaning 154998 clauses out of 310041 with flag 50062543/12236000
516.14/512.79	c cleaning 156007 clauses out of 312043 with flag 50616440/12393000
523.45/520.07	c cleaning 156999 clauses out of 314037 with flag 51169506/12551001
530.95/527.86	c cleaning 158013 clauses out of 316037 with flag 51725203/12710000
538.52/535.35	c cleaning 158994 clauses out of 318024 with flag 52292433/12870000
546.11/542.93	c cleaning 160003 clauses out of 320030 with flag 52858767/13031000
553.73/550.59	c cleaning 160990 clauses out of 322028 with flag 53433035/13193001
561.51/558.58	c cleaning 162000 clauses out of 324038 with flag 54005711/13356001
569.10/566.14	c cleaning 163005 clauses out of 326037 with flag 54580781/13520000
576.94/573.96	c cleaning 163996 clauses out of 328032 with flag 55162555/13685000
584.87/581.82	c cleaning 164997 clauses out of 330036 with flag 55741925/13851000
593.84/592.32	c cleaning 165999 clauses out of 332039 with flag 56335496/14018000
602.13/600.65	c cleaning 166989 clauses out of 334040 with flag 56956857/14186000
610.25/608.71	c cleaning 168011 clauses out of 336051 with flag 57578751/14355000
618.43/617.04	c cleaning 169002 clauses out of 338040 with flag 58194840/14525000
626.79/625.44	c cleaning 169998 clauses out of 340039 with flag 58829000/14696001
635.15/633.76	c cleaning 171008 clauses out of 342040 with flag 59447851/14868000
643.52/642.04	c cleaning 172006 clauses out of 344032 with flag 60066668/15041000
652.34/650.90	c cleaning 172997 clauses out of 346027 with flag 60701896/15215001
660.80/659.41	c cleaning 174006 clauses out of 348029 with flag 61329986/15390000
669.75/668.32	c cleaning 174992 clauses out of 350023 with flag 61973532/15566000
678.62/677.20	c cleaning 176008 clauses out of 352032 with flag 62622155/15743001
687.38/685.97	c cleaning 177005 clauses out of 354023 with flag 63274312/15921000
696.27/694.75	c cleaning 177989 clauses out of 356019 with flag 63924572/16100001
705.35/703.80	c cleaning 179007 clauses out of 358029 with flag 64577176/16280000
714.38/713.00	c cleaning 179995 clauses out of 360022 with flag 65224241/16461000
723.74/722.23	c cleaning 180993 clauses out of 362028 with flag 65903572/16643001
732.97/731.45	c cleaning 181999 clauses out of 364034 with flag 66568926/16826000
742.51/741.36	c cleaning 183003 clauses out of 366036 with flag 67241910/17010001
752.16/750.90	c cleaning 184004 clauses out of 368032 with flag 67905802/17195000
761.71/760.45	c cleaning 185001 clauses out of 370028 with flag 68581360/17381000
771.75/770.51	c cleaning 185994 clauses out of 372027 with flag 69270735/17568000
781.74/780.46	c cleaning 186996 clauses out of 374033 with flag 69967237/17756000
792.32/791.02	c cleaning 188003 clauses out of 376038 with flag 70683331/17945001
802.66/801.68	c cleaning 189011 clauses out of 378034 with flag 71385754/18135000
813.23/812.13	c cleaning 190004 clauses out of 380023 with flag 72095488/18326000
824.16/823.07	c cleaning 190998 clauses out of 382020 with flag 72810511/18518001
836.02/834.93	c cleaning 192005 clauses out of 384021 with flag 73543935/18711000
847.29/846.23	c cleaning 192992 clauses out of 386016 with flag 74282773/18905000
859.32/858.29	c cleaning 193988 clauses out of 388025 with flag 75047836/19100001
871.74/870.85	c cleaning 194992 clauses out of 390036 with flag 75809596/19296000
884.60/883.66	c cleaning 196006 clauses out of 392045 with flag 76593667/19493001
896.98/896.15	c cleaning 197004 clauses out of 394039 with flag 77375729/19691001
910.19/909.23	c cleaning 198004 clauses out of 396035 with flag 78161662/19890001
923.58/922.54	c cleaning 199003 clauses out of 398030 with flag 78949247/20090000
935.39/934.51	c cleaning 200002 clauses out of 400027 with flag 79730189/20291000
948.24/947.32	c cleaning 201000 clauses out of 402026 with flag 80536689/20493001
961.15/960.47	c cleaning 202001 clauses out of 404026 with flag 81334325/20696001
974.56/973.86	c cleaning 202993 clauses out of 406024 with flag 82137264/20900000
987.29/986.62	c cleaning 204001 clauses out of 408032 with flag 82947342/21105001
1000.38/999.65	c cleaning 205003 clauses out of 410030 with flag 83755376/21311000
1013.36/1012.53	c cleaning 205997 clauses out of 412027 with flag 84563842/21518000
1025.83/1025.04	c cleaning 207000 clauses out of 414031 with flag 85360349/21726001
1039.00/1038.15	c cleaning 208008 clauses out of 416031 with flag 86164558/21935001
1050.90/1050.26	c cleaning 209000 clauses out of 418023 with flag 86948354/22145001
1064.85/1064.12	c cleaning 210005 clauses out of 420022 with flag 87746968/22356000
1077.96/1077.39	c cleaning 210991 clauses out of 422018 with flag 88542031/22568001
1091.02/1090.38	c cleaning 211992 clauses out of 424026 with flag 89352251/22781000
1104.04/1103.35	c cleaning 213001 clauses out of 426034 with flag 90154270/22995000
1117.36/1116.72	c cleaning 214004 clauses out of 428034 with flag 90950474/23210001
1131.74/1131.03	c cleaning 215005 clauses out of 430029 with flag 91768583/23426000
1145.31/1144.75	c cleaning 216000 clauses out of 432024 with flag 92596614/23643000
1160.45/1159.83	c cleaning 217008 clauses out of 434024 with flag 93456493/23861000
1176.07/1175.59	c cleaning 218005 clauses out of 436017 with flag 94351509/24080001
1193.81/1193.20	c cleaning 218995 clauses out of 438012 with flag 95259939/24300001
1211.24/1210.84	c cleaning 219995 clauses out of 440017 with flag 96177933/24521001
1228.64/1228.11	c cleaning 220997 clauses out of 442022 with flag 97116508/24743001
1248.65/1248.25	c cleaning 222000 clauses out of 444025 with flag 98084776/24966001
1269.77/1269.46	c cleaning 223003 clauses out of 446025 with flag 99082739/25190001
1295.07/1294.80	c cleaning 224005 clauses out of 448022 with flag 100097434/25415001
1319.73/1319.48	c cleaning 225003 clauses out of 450018 with flag 101113732/25641002
1348.49/1346.22	c cleaning 225999 clauses out of 452011 with flag 102138944/25868000
1354.81/1352.33	c starts		: 18703
1354.81/1352.33	c conflicts		: 25948909
1354.81/1352.33	c decisions		: 36446774
1354.81/1352.33	c propagations		: 204807027
1354.81/1352.33	c inspects		: 22820091196
1354.81/1352.33	c shortcuts		: 0
1354.81/1352.33	c learnt literals	: 16
1354.81/1352.33	c learnt binary clauses	: 116
1354.81/1352.33	c learnt ternary clauses	: 477
1354.81/1352.33	c learnt constraints	: 25948892
1354.81/1352.33	c ignored constraints	: 0
1354.81/1352.33	c root simplifications	: 0
1354.81/1352.33	c removed literals (reason simplification)	: 22171546
1354.81/1352.33	c reason swapping (by a shorter reason)	: 0
1354.81/1352.33	c Calls to reduceDB	: 223
1354.81/1352.33	c Number of update (reduction) of LBD	: 5756437
1354.81/1352.33	c Imported unit clauses	: 0
1354.81/1352.33	c No decision after first conflict	: false
1354.81/1352.33	c number of reductions to clauses (during analyze)	: 0
1354.81/1352.33	c number of learned constraints concerned by reduction	: 0
1354.81/1352.33	c number of learning phase by resolution	: 0
1354.81/1352.33	c number of learning phase by cutting planes	: 0
1354.81/1352.33	c number of rounding to 1 operations	: 0
1354.81/1352.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1354.81/1352.33	c number of reductions of the coefficients by power 2 	: 0
1354.81/1352.33	c number of right shift for reduction by power 2 	: 0
1354.81/1352.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
1354.81/1352.33	c number of ending skipping 	: 0
1354.81/1352.33	c number of internal skipping 	: 0
1354.81/1352.33	c number of derivation steps 	: 0
1354.81/1352.33	c number of skipped derivation steps 	: 0
1354.81/1352.33	c number of remaining unassigned 	: 0
1354.81/1352.33	c number of remaining assigned 	: 0
1354.81/1352.33	c number of falsified literals weakened from reason	: 0
1354.81/1352.33	c number of falsified literals weakened from conflict	: 0
1354.81/1352.33	c time for arithmetic operations	: 0
1354.81/1352.33	c minimum degree of deleted constraints	: null
1354.81/1352.33	c maximum degree of deleted constraints	: null
1354.81/1352.33	c number of deleted constraints	: 0
1354.81/1352.33	c speed (assignments/second)	: 151500.39945023812
1354.81/1352.33	c non guided choices	: 2495625
1354.97/1352.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 306790
1354.97/1352.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 116
1354.97/1352.41	s UNSATISFIABLE
1354.97/1352.41	c Total wall clock time (in seconds): 1352.105

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (30257 MiB free)
  memory of node 1: 64510 MiB (37570 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451032-1721829152/watcher-4451032-1721829152 -o /tmp/evaluation-result-4451032-1721829152/solver-4451032-1721829152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182132 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451032-1721829152 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451032-1721829152.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=187518, runsolver pid=187515
Current StackSize limit: 8192 KiB


[startup+0.101486 s]*
/proc/loadavg: 4.30 4.44 4.40 7/321 187536
/proc/meminfo: memFree=69418848/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=18975048 memory=56884 CPUtime=0.12 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 6293 0 0 0 9 3 0 0 20 0 18 0 18904307 19430449152 14221 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4743762 14221 5556 1 0 550762 0
[pid=187518/tid=187520] ppid=187515 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) S 187515 187518 182119 0 -1 1077936192 5245 0 0 0 5 2 0 0 20 0 18 0 18904308 19430449152 14221 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18904313 19430449152 14221 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=18975048 memory=14131147652205475 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18904314 19430449152 14221 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56884 KiB

[startup+0.216275 s]*
/proc/loadavg: 4.30 4.44 4.40 5/321 187536
/proc/meminfo: memFree=69413972/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=18975048 memory=64140 CPUtime=0.3 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 7025 0 0 0 26 4 0 0 20 0 18 0 18904307 19430449152 16035 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4743762 16035 5596 1 0 551375 0
[pid=187518/tid=187520] ppid=187515 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 5613 0 0 0 16 3 0 0 20 0 18 0 18904308 19430449152 16035 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=18975048 memory=1057316 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18904313 19430449152 16035 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=18975048 memory=15824391262966388 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18904314 19430449152 16035 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64140 KiB

[startup+0.312988 s]*
/proc/loadavg: 4.30 4.44 4.40 6/321 187536
/proc/meminfo: memFree=69407564/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=18975048 memory=67896 CPUtime=0.44 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 7290 0 0 0 40 4 0 0 20 0 18 0 18904307 19430449152 16974 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4743762 16974 5768 1 0 551565 0
[pid=187518/tid=187520] ppid=187515 vsize=18975048 memory=-8817033656668037820 CPUtime=0.26 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 1077936192 5783 0 0 0 23 3 0 0 20 0 18 0 18904308 19430449152 16974 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18904313 19430449152 16974 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18904314 19430449152 16974 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67896 KiB

[startup+0.701339 s]
/proc/loadavg: 4.30 4.44 4.40 7/322 187537
/proc/meminfo: memFree=69388312/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19041988 memory=94368 CPUtime=1.13 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 9462 0 0 0 107 6 0 0 20 0 19 0 18904307 19498995712 23592 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4760497 23592 5826 1 0 553148 0
[pid=187518/tid=187520] ppid=187515 vsize=19041988 memory=5456 CPUtime=0.58 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 5930 0 0 0 55 3 0 0 20 0 19 0 18904308 19498995712 23592 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19041988 memory=12108 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18904313 19498995712 23592 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19041988 memory=279862753682088 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18904314 19498995712 23592 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19041988 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18904354 19498995712 23592 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19041988 KiB
Current children cumulated memory: 94368 KiB

[startup+1.50385 s]
/proc/loadavg: 4.30 4.44 4.40 6/322 187537
/proc/meminfo: memFree=69352308/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19041612 memory=164964 CPUtime=2.73 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 20307 0 0 0 262 11 0 0 20 0 19 0 18904307 19498610688 41241 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4760403 41241 5858 1 0 556737 0
[pid=187518/tid=187520] ppid=187515 vsize=19041612 memory=12108 CPUtime=1.33 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 6970 0 0 0 128 5 0 0 20 0 19 0 18904308 19498610688 41241 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18904313 19498610688 41241 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18904314 19498610688 41241 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19041612 memory=279862753535248 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18904354 19498610688 41241 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164964 KiB

[startup+3.10564 s]
/proc/loadavg: 4.30 4.44 4.40 5/323 187540
/proc/meminfo: memFree=69256952/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=185052 CPUtime=5.6 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 22925 0 0 0 546 14 0 0 20 0 20 0 18904307 19566772224 46263 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 46263 5890 1 0 557087 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=0 CPUtime=2.89 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 7390 0 0 0 281 8 0 0 20 0 20 0 18904308 19566772224 46263 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 46263 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 46263 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 46263 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185052 KiB

[startup+6.30038 s]
/proc/loadavg: 4.35 4.45 4.41 5/323 187540
/proc/meminfo: memFree=68677664/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=665320 CPUtime=9.43 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 23484 0 0 0 918 25 0 0 20 0 20 0 18904307 19566772224 166330 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 166330 5890 1 0 557091 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=12108 CPUtime=6.04 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 7835 0 0 0 585 19 0 0 20 0 20 0 18904308 19566772224 166330 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 166330 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=3054156605301824660 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 166330 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=173244 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 166330 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 9.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 665320 KiB

[startup+12.7004 s]
/proc/loadavg: 4.33 4.44 4.40 6/323 187540
/proc/meminfo: memFree=68182376/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=1073308 CPUtime=16.76 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 29009 0 0 0 1637 39 0 0 20 0 20 0 18904307 19566772224 268327 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 268327 5905 1 0 557091 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=0 CPUtime=12.39 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 8961 0 0 0 1208 31 0 0 20 0 20 0 18904308 19566772224 268327 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 268327 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=1073224 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 268327 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 268327 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 16.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1073308 KiB

[startup+25.5004 s]
/proc/loadavg: 4.25 4.42 4.40 5/323 187543
/proc/meminfo: memFree=67782916/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=1333464 CPUtime=29.7 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 32431 0 0 0 2916 54 0 0 20 0 20 0 18904307 19566772224 333366 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 333366 5905 1 0 557091 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=1073224 CPUtime=24.97 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 10367 0 0 0 2451 46 0 0 20 0 20 0 18904308 19566772224 333366 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=-8817033656668037820 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 333366 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=67960 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 333366 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 333366 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 29.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333464 KiB

[startup+51.1133 s]
/proc/loadavg: 4.22 4.40 4.39 5/324 187548
/proc/meminfo: memFree=67514204/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=1337584 CPUtime=55.14 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 36870 0 0 0 5442 72 0 0 20 0 20 0 18904307 19566772224 334396 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 334396 5905 1 0 557091 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=1337584 CPUtime=50.15 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 12162 0 0 0 4954 61 0 0 20 0 20 0 18904308 19566772224 334396 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=67960 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 334396 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0

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

/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1241 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 536389 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=2145352 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 536389 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1302.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2145556 KiB

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

# cumulated CPU time of all completed processes:  user=1348.86 s, system=6.16804 s

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

[startup+1305.6 s]
/proc/loadavg: 4.27 4.18 4.21 5/324 188342
/proc/meminfo: memFree=57538444/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=2145556 CPUtime=1305.95 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 85338 0 0 0 129999 596 0 0 20 0 20 0 18904307 19566772224 536389 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 536389 5905 1 0 557116 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=67960 CPUtime=1282.09 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 36668 0 0 0 127704 505 0 0 20 0 20 0 18904308 19566772224 536389 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 760 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=16096 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 536389 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=5456 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1241 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 536389 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=2145556 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 536389 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1305.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2145556 KiB

[startup+1331.2 s]
/proc/loadavg: 4.25 4.18 4.20 5/324 188347
/proc/meminfo: memFree=57217368/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=2189712 CPUtime=1331.87 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 95163 0 0 0 132580 607 0 0 20 0 20 0 18904307 19566772224 547428 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 547428 5905 1 0 560097 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=2097692 CPUtime=1307.43 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 39723 0 0 0 130231 512 0 0 20 0 20 0 18904308 19566772224 547428 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 770 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 547428 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=97 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1302 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 547428 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=2145556 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 547428 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1331.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189712 KiB

[startup+1344 s]*
/proc/loadavg: 4.21 4.17 4.20 5/324 188350
/proc/meminfo: memFree=57129880/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=2191204 CPUtime=1345.79 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 103782 0 0 0 133968 611 0 0 20 0 20 0 18904307 19566772224 547801 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 547801 5905 1 0 560109 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=-8817033656668037820 CPUtime=1320.2 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 41146 0 0 0 131506 514 0 0 20 0 20 0 18904308 19566772224 547801 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 770 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=2656 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 547801 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=5012 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1302 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 547801 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=2191160 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 547801 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1345.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2191204 KiB

[startup+1347.2 s]
/proc/loadavg: 4.19 4.17 4.20 6/324 188350
/proc/meminfo: memFree=57172044/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=2198676 CPUtime=1349.78 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 106172 0 0 0 134366 612 0 0 20 0 20 0 18904307 19566772224 549669 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 549669 5905 1 0 560890 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=2191204 CPUtime=1323.37 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 41244 0 0 0 131823 514 0 0 20 0 20 0 18904308 19566772224 549669 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 770 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=2191204 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 549669 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1302 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 549669 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=5456 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 549669 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1349.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198676 KiB

[startup+1350.4 s]
/proc/loadavg: 4.19 4.17 4.20 5/324 188350
/proc/meminfo: memFree=56990828/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=2195116 CPUtime=1352.99 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 106699 0 0 0 134686 613 0 0 20 0 20 0 18904307 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 548779 5905 1 0 560890 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=2190028 CPUtime=1326.46 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 41572 0 0 0 132131 515 0 0 20 0 20 0 18904308 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 770 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=2190116 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=7128 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1304 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=4776 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1352.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195116 KiB

[startup+1351.2 s]
/proc/loadavg: 4.18 4.17 4.20 5/324 188351
/proc/meminfo: memFree=56981460/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=2195116 CPUtime=1353.78 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 106773 0 0 0 134765 613 0 0 20 0 20 0 18904307 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 548779 5905 1 0 560890 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=5456 CPUtime=1327.25 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 41646 0 0 0 132210 515 0 0 20 0 20 0 18904308 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 770 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=-8817033656668037820 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1304 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=29100 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 548779 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1353.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195116 KiB

[startup+1352 s]*
/proc/loadavg: 4.18 4.17 4.20 6/324 188351
/proc/meminfo: memFree=56972680/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19108176 memory=2195124 CPUtime=1354.59 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 106847 0 0 0 134846 613 0 0 20 0 20 0 18904307 19566772224 548781 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4777044 548781 5905 1 0 560890 0
[pid=187518/tid=187520] ppid=187515 vsize=19108176 memory=-8817033656668037820 CPUtime=1328.06 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) R 187515 187518 182119 0 -1 4194368 41664 0 0 0 132291 515 0 0 20 0 20 0 18904308 19566772224 548781 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 770 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19108176 memory=-4421386491852448607 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19566772224 548781 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19108176 memory=2184600 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1304 0 0 0 0 0 0 0 20 0 20 0 18904314 19566772224 548781 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187537] ppid=187515 vsize=19108176 memory=2828 CPUtime=0 cores=5,7
/proc/187518/task/187537/stat : 187537 (Timer-0) S 187515 187518 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18904354 19566772224 548781 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1354.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195124 KiB

[startup+1352.4 s]
/proc/loadavg: 4.18 4.17 4.20 6/324 188351
/proc/meminfo: memFree=56972680/131655788 swapFree=131063676/131071996
[pid=187518] ppid=187515 vsize=19241304 memory=2196028 CPUtime=1354.97 cores=5,7
/proc/187518/stat : 187518 (java) S 187515 187518 182119 0 -1 1077936128 108674 0 0 0 134883 614 0 0 20 0 20 0 18904307 19703095296 549007 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
/proc/187518/statm: 4810326 549007 5904 1 0 561551 0
[pid=187518/tid=187520] ppid=187515 vsize=19241304 memory=-8817033656668037820 CPUtime=1328.28 cores=5,7
/proc/187518/task/187520/stat : 187520 (java) S 187515 187518 182119 0 -1 1077936192 42847 0 0 0 132312 516 0 0 20 0 20 0 18904308 19703095296 549007 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 783 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187529] ppid=187515 vsize=19241304 memory=5456 CPUtime=0 cores=5,7
/proc/187518/task/187529/stat : 187529 (Finalizer) S 187515 187518 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18904313 19703095296 549007 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
[pid=187518/tid=187536] ppid=187515 vsize=19241304 memory=16096 CPUtime=0 cores=5,7
/proc/187518/task/187536/stat : 187536 (Common-Cleaner) S 187515 187518 182119 0 -1 1077936192 1304 0 0 0 0 0 0 0 20 0 20 0 18904314 19703095296 549007 134679101440 94870106791936 94870106795632 140723825373568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94870106803448 94870106804240 94870109937664 140723825378219 140723825378401 140723825378401 140723825385416 0
Current children cumulated CPU time: 1354.97 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2196028 KiB

Child status: 20

Real time (s): 1352.45
CPU time (s): 1355.03
CPU user time (s): 1348.86
CPU system time (s): 6.16804
CPU usage (%): 100.191
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2198676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1348.86
system time used= 6.16804
maximum resident set size= 2198692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6912848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47573
involuntary context switches= 3268


# summary of solver processes directly reported to runsolver:
#   pid: 187518
#   total CPU time (s): 1355.03
#   total CPU user time (s): 1348.86
#   total CPU system time (s): 6.16804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82295 second user time and 14.7767 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 15:52:33
IDJOB=4451032
IDBENCH=162339
IDSOLVER=3079
FILE ID=nodeC003/4451032-1721829152
RUNJOBID= nodeC003-1721820325-182132
SLURM_JOB_ID= 7891444
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451032-1721829152/watcher-4451032-1721829152 -o /tmp/evaluation-result-4451032-1721829152/solver-4451032-1721829152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182132 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451032-1721829152 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451032-1721829152.opb

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

MD5SUM BENCH= d15c8502de0d235fb9400ddf00f66b48
RANDOM SEED=799964272

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 3630.261
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 3653.939
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.502
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.331
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 3613.839
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.283
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.404
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.288
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        69456420 kB
MemAvailable:   122062472 kB
Buffers:          261928 kB
Cached:         52868312 kB
SwapCached:          800 kB
Active:          2544880 kB
Inactive:       58610384 kB
Active(anon):       2100 kB
Inactive(anon):  8076600 kB
Active(file):    2542780 kB
Inactive(file): 50533784 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063676 kB
Dirty:            151732 kB
Writeback:             0 kB
AnonPages:       8024572 kB
Mapped:           131696 kB
Shmem:             53532 kB
KReclaimable:     591232 kB
Slab:             711348 kB
SReclaimable:     591232 kB
SUnreclaim:       120116 kB
KernelStack:        4896 kB
PageTables:        25620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9012964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7700480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-24 16:15:05