Trace number 4448564

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 Default 2024-07-07UNSAT 658.333 655.57

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x90split.opb
MD5SUMe216a9526ca3dc38bcdba98c3f3990b1
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 benchmark22.0111
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables901
Total number of constraints451
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)451
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.13/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.14	c See www.sat4j.org for details.
0.13/0.16	c version CUSTOM.v20240707
0.13/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.19	c java.vm.version	22.0.1+8-16
0.13/0.19	c java.vm.vendor	Oracle Corporation
0.13/0.19	c sun.arch.data.model	64
0.13/0.19	c java.version		22.0.1
0.13/0.19	c os.name		Linux
0.13/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.19	c os.arch		amd64
0.13/0.20	c Free memory 		2115194816
0.13/0.20	c Max memory 		16282288128
0.13/0.20	c Total memory 		2122317824
0.13/0.21	c Number of processors 	2
0.31/0.29	--- Begin Solver configuration ---
0.31/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.29	Learn all clauses as in MiniSAT
0.31/0.29	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.29	No reason simplification
0.31/0.29	Glucose 2.1 dynamic restart strategy
0.31/0.29	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.31/0.29	timeout=2147483s
0.31/0.29	DB Simplification allowed=false
0.31/0.29	Listener: none
0.31/0.29	--- End Solver configuration ---
0.31/0.29	c Pseudo Boolean Optimization by upper bound
0.31/0.29	c --- Begin Solver configuration ---
0.31/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.29	c Learn all clauses as in MiniSAT
0.31/0.29	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.29	c No reason simplification
0.31/0.29	c Glucose 2.1 dynamic restart strategy
0.31/0.29	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.31/0.29	c timeout=2147483s
0.31/0.29	c DB Simplification allowed=false
0.31/0.29	c Listener: none
0.31/0.29	c --- End Solver configuration ---
0.31/0.30	c solving HOME/instance-4448564-1721357699.opb
0.31/0.30	c reading problem ... 
0.31/0.30	c  no objective function found
0.48/0.41	c ... done. Wall clock time 0.111s.
0.48/0.41	c declared #vars     901
0.48/0.41	c #constraints  902
0.48/0.41	c constraints type 
0.48/0.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.48/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 900
0.48/0.41	c 902 constraints processed.
1.40/0.81	c cleaning 2495 clauses out of 5002 with flag 19365/5002
2.00/1.13	c cleaning 4235 clauses out of 8505 with flag 45468/11000
2.57/1.40	c cleaning 5621 clauses out of 11270 with flag 77082/18000
2.76/1.55	c cleaning 6803 clauses out of 13649 with flag 114860/26000
2.92/1.69	c cleaning 7888 clauses out of 15847 with flag 164872/35001
3.22/1.86	c cleaning 8962 clauses out of 17959 with flag 221166/45001
3.58/2.03	c cleaning 9934 clauses out of 19998 with flag 281658/56002
3.68/2.19	c cleaning 10986 clauses out of 22062 with flag 344691/68000
3.87/2.37	c cleaning 12003 clauses out of 24076 with flag 419047/81000
4.08/2.56	c cleaning 12976 clauses out of 26073 with flag 496720/95000
4.28/2.78	c cleaning 14007 clauses out of 28097 with flag 581159/110000
4.47/3.01	c cleaning 14989 clauses out of 30090 with flag 674769/126000
4.84/3.26	c cleaning 15997 clauses out of 32103 with flag 775243/143002
5.21/3.54	c cleaning 17024 clauses out of 34104 with flag 877869/161000
5.51/3.84	c cleaning 17998 clauses out of 36082 with flag 988383/180002
5.83/4.16	c cleaning 18998 clauses out of 38083 with flag 1104523/200001
6.24/4.50	c cleaning 19964 clauses out of 40084 with flag 1222162/221000
6.54/4.87	c cleaning 21032 clauses out of 42120 with flag 1340899/243000
6.94/5.29	c cleaning 21993 clauses out of 44088 with flag 1462967/266000
7.44/5.71	c cleaning 22995 clauses out of 46095 with flag 1590445/290000
7.85/6.14	c cleaning 23989 clauses out of 48100 with flag 1722644/315000
8.34/6.62	c cleaning 25032 clauses out of 50111 with flag 1855098/341000
8.85/7.17	c cleaning 26005 clauses out of 52080 with flag 1997229/368001
9.44/7.71	c cleaning 27018 clauses out of 54075 with flag 2143471/396001
9.96/8.27	c cleaning 27985 clauses out of 56057 with flag 2293534/425001
10.55/8.85	c cleaning 29005 clauses out of 58071 with flag 2451286/455000
11.15/9.49	c cleaning 29988 clauses out of 60066 with flag 2605290/486000
11.95/10.20	c cleaning 30981 clauses out of 62078 with flag 2768858/518000
12.65/10.92	c cleaning 32048 clauses out of 64097 with flag 2935779/551000
13.36/11.69	c cleaning 33000 clauses out of 66052 with flag 3107619/585003
14.26/12.50	c cleaning 33987 clauses out of 68050 with flag 3285272/620001
15.06/13.36	c cleaning 35009 clauses out of 70062 with flag 3465763/656000
15.96/14.24	c cleaning 36014 clauses out of 72053 with flag 3651462/693000
16.87/15.13	c cleaning 36974 clauses out of 74040 with flag 3836981/731001
17.77/16.07	c cleaning 37998 clauses out of 76066 with flag 4029582/770001
18.76/17.09	c cleaning 39001 clauses out of 78068 with flag 4223434/810001
19.96/18.24	c cleaning 39990 clauses out of 80068 with flag 4426236/851002
21.15/19.41	c cleaning 41030 clauses out of 82076 with flag 4629469/893000
22.35/20.62	c cleaning 41982 clauses out of 84048 with flag 4836455/936002
23.55/21.84	c cleaning 43009 clauses out of 86064 with flag 5047491/980000
24.86/23.15	c cleaning 43977 clauses out of 88056 with flag 5263404/1025001
26.14/24.41	c cleaning 45009 clauses out of 90079 with flag 5481796/1071001
27.54/25.82	c cleaning 46001 clauses out of 92069 with flag 5703174/1118000
28.94/27.25	c cleaning 47018 clauses out of 94068 with flag 5927978/1166000
30.43/28.74	c cleaning 47998 clauses out of 96050 with flag 6161682/1215000
31.93/30.25	c cleaning 48996 clauses out of 98052 with flag 6397211/1265000
33.63/31.97	c cleaning 50011 clauses out of 100057 with flag 6635585/1316001
35.23/33.57	c cleaning 51005 clauses out of 102046 with flag 6874150/1368001
36.92/35.20	c cleaning 52011 clauses out of 104040 with flag 7115594/1421000
38.52/36.88	c cleaning 52985 clauses out of 106029 with flag 7360288/1475000
40.32/38.63	c cleaning 53999 clauses out of 108045 with flag 7610128/1530001
42.12/40.41	c cleaning 54999 clauses out of 110045 with flag 7860493/1586000
43.92/42.27	c cleaning 56008 clauses out of 112046 with flag 8117041/1643000
46.03/44.31	c cleaning 56991 clauses out of 114038 with flag 8373178/1701000
47.93/46.20	c cleaning 57996 clauses out of 116048 with flag 8631231/1760001
49.74/48.09	c cleaning 58999 clauses out of 118051 with flag 8890257/1820000
51.92/50.20	c cleaning 60001 clauses out of 120054 with flag 9158152/1881002
53.92/52.25	c cleaning 61010 clauses out of 122053 with flag 9429994/1943002
56.01/54.38	c cleaning 61991 clauses out of 124042 with flag 9700241/2006001
58.22/56.57	c cleaning 62989 clauses out of 126050 with flag 9977776/2070000
60.62/58.94	c cleaning 64016 clauses out of 128062 with flag 10257466/2135001
63.02/61.31	c cleaning 65007 clauses out of 130045 with flag 10545886/2201000
65.22/63.58	c cleaning 66009 clauses out of 132038 with flag 10822444/2268000
67.82/66.12	c cleaning 67003 clauses out of 134029 with flag 11111911/2336000
70.21/68.56	c cleaning 67994 clauses out of 136027 with flag 11403704/2405001
72.71/71.05	c cleaning 68990 clauses out of 138033 with flag 11700094/2475001
75.50/73.80	c cleaning 70006 clauses out of 140042 with flag 12001589/2546000
78.21/76.51	c cleaning 70993 clauses out of 142037 with flag 12295213/2618001
80.90/79.23	c cleaning 72011 clauses out of 144043 with flag 12597280/2691000
83.71/82.06	c cleaning 72990 clauses out of 146032 with flag 12903705/2765000
86.39/84.74	c cleaning 74004 clauses out of 148043 with flag 13210538/2840001
89.40/87.71	c cleaning 74993 clauses out of 150038 with flag 13527982/2916000
92.29/90.60	c cleaning 76003 clauses out of 152045 with flag 13854182/2993000
94.99/93.39	c cleaning 77001 clauses out of 154042 with flag 14177868/3071000
97.99/96.32	c cleaning 78016 clauses out of 156042 with flag 14504998/3150001
100.89/99.22	c cleaning 79005 clauses out of 158026 with flag 14828767/3230001
104.00/102.38	c cleaning 79995 clauses out of 160020 with flag 15168098/3311000
106.99/105.38	c cleaning 81004 clauses out of 162025 with flag 15503649/3393000
109.98/108.38	c cleaning 81984 clauses out of 164021 with flag 15840822/3476000
113.29/111.62	c cleaning 83007 clauses out of 166037 with flag 16182419/3560000
116.48/114.85	c cleaning 84000 clauses out of 168031 with flag 16527662/3645001
119.87/118.27	c cleaning 85010 clauses out of 170030 with flag 16867866/3731000
123.27/121.69	c cleaning 85991 clauses out of 172020 with flag 17215629/3818000
126.57/124.93	c cleaning 87005 clauses out of 174030 with flag 17553025/3906001
129.96/128.35	c cleaning 87999 clauses out of 176024 with flag 17906771/3995000
133.46/131.87	c cleaning 89004 clauses out of 178026 with flag 18259862/4085001
137.15/135.53	c cleaning 89996 clauses out of 180021 with flag 18610992/4176000
140.76/139.17	c cleaning 90994 clauses out of 182026 with flag 18968958/4268001
144.35/142.71	c cleaning 91994 clauses out of 184032 with flag 19331912/4361001
147.94/146.31	c cleaning 92996 clauses out of 186037 with flag 19695997/4455000
151.84/150.22	c cleaning 94010 clauses out of 188041 with flag 20069210/4550000
155.64/154.02	c cleaning 95000 clauses out of 190032 with flag 20440844/4646001
159.33/157.79	c cleaning 96003 clauses out of 192032 with flag 20811421/4743001
163.32/161.77	c cleaning 96993 clauses out of 194028 with flag 21190304/4841000
167.22/165.69	c cleaning 98007 clauses out of 196035 with flag 21570180/4940000
171.52/169.90	c cleaning 98997 clauses out of 198031 with flag 21959401/5040003
175.62/174.09	c cleaning 100001 clauses out of 200032 with flag 22342492/5141001
179.90/178.32	c cleaning 100999 clauses out of 202032 with flag 22732481/5243002
184.41/182.85	c cleaning 102002 clauses out of 204031 with flag 23120621/5346000
188.52/186.92	c cleaning 103000 clauses out of 206030 with flag 23508228/5450001
192.91/191.31	c cleaning 104003 clauses out of 208029 with flag 23902083/5555000
197.30/195.74	c cleaning 104997 clauses out of 210026 with flag 24300075/5661000
201.80/200.22	c cleaning 105995 clauses out of 212031 with flag 24693140/5768002
206.50/204.93	c cleaning 107018 clauses out of 214036 with flag 25095505/5876002
211.19/209.66	c cleaning 107993 clauses out of 216017 with flag 25501755/5985001
216.19/214.68	c cleaning 108998 clauses out of 218024 with flag 25905101/6095001
220.98/219.48	c cleaning 109993 clauses out of 220025 with flag 26309857/6206000
225.78/224.22	c cleaning 110994 clauses out of 222032 with flag 26721125/6318000
230.47/228.95	c cleaning 112003 clauses out of 224038 with flag 27130419/6431000
235.47/233.99	c cleaning 113011 clauses out of 226036 with flag 27540911/6545001
240.57/239.01	c cleaning 114001 clauses out of 228024 with flag 27955157/6660000
245.66/244.12	c cleaning 114998 clauses out of 230024 with flag 28377224/6776001
251.05/249.51	c cleaning 116010 clauses out of 232026 with flag 28808405/6893001
256.45/254.92	c cleaning 116992 clauses out of 234015 with flag 29244116/7011000
262.23/260.76	c cleaning 117999 clauses out of 236026 with flag 29691153/7130003
267.92/266.45	c cleaning 119003 clauses out of 238025 with flag 30140997/7250001
273.75/272.23	c cleaning 119994 clauses out of 240022 with flag 30594539/7371001
279.74/278.27	c cleaning 120995 clauses out of 242028 with flag 31066651/7493001
285.92/284.41	c cleaning 122003 clauses out of 244033 with flag 31534377/7616001
292.12/290.67	c cleaning 123008 clauses out of 246029 with flag 32008229/7740000
298.40/296.95	c cleaning 124001 clauses out of 248021 with flag 32482650/7865000
305.00/303.53	c cleaning 124996 clauses out of 250020 with flag 32968091/7991000
311.60/310.18	c cleaning 125998 clauses out of 252026 with flag 33456973/8118002
318.68/317.28	c cleaning 127003 clauses out of 254027 with flag 33960548/8246001
325.67/324.20	c cleaning 128006 clauses out of 256025 with flag 34461527/8375002
332.71/331.29	c cleaning 129000 clauses out of 258017 with flag 34974407/8505000
339.69/338.24	c cleaning 129993 clauses out of 260017 with flag 35485894/8636000
346.68/345.26	c cleaning 130999 clauses out of 262025 with flag 35996560/8768001
353.67/352.27	c cleaning 132001 clauses out of 264026 with flag 36511405/8901001
361.08/359.63	c cleaning 133006 clauses out of 266024 with flag 37032035/9035000
368.17/366.76	c cleaning 133997 clauses out of 268018 with flag 37547897/9170000
375.05/373.62	c cleaning 134994 clauses out of 270021 with flag 38065255/9306000
382.34/380.93	c cleaning 136001 clauses out of 272028 with flag 38596078/9443001
389.78/388.32	c cleaning 137002 clauses out of 274027 with flag 39124522/9581001
397.17/395.72	c cleaning 137999 clauses out of 276024 with flag 39662341/9720000
404.95/403.54	c cleaning 139000 clauses out of 278027 with flag 40205943/9860002
412.14/410.75	c cleaning 139997 clauses out of 280025 with flag 40751888/10001000
419.82/418.48	c cleaning 141009 clauses out of 282029 with flag 41300799/10143001
427.72/426.34	c cleaning 142002 clauses out of 284019 with flag 41852658/10286000
435.30/433.98	c cleaning 143001 clauses out of 286018 with flag 42412836/10430001
442.79/441.42	c cleaning 143999 clauses out of 288018 with flag 42978035/10575002
450.39/449.08	c cleaning 144996 clauses out of 290017 with flag 43539180/10721000
458.47/457.11	c cleaning 145999 clauses out of 292022 with flag 44114749/10868001
466.78/465.45	c cleaning 146997 clauses out of 294022 with flag 44714524/11016000
474.78/473.40	c cleaning 148002 clauses out of 296025 with flag 45295583/11165000
482.76/481.41	c cleaning 149001 clauses out of 298024 with flag 45876576/11315001
491.24/489.97	c cleaning 150000 clauses out of 300023 with flag 46477223/11466001
499.44/498.12	c cleaning 151000 clauses out of 302022 with flag 47082080/11618000
507.81/506.45	c cleaning 152001 clauses out of 304022 with flag 47705673/11771000
517.08/515.70	c cleaning 153002 clauses out of 306022 with flag 48347081/11925001
526.26/524.92	c cleaning 154001 clauses out of 308019 with flag 48972998/12080000
535.05/533.75	c cleaning 154998 clauses out of 310018 with flag 49614315/12236000
544.13/542.79	c cleaning 156002 clauses out of 312021 with flag 50257677/12393001
552.72/551.36	c cleaning 156998 clauses out of 314018 with flag 50899825/12551000
562.40/561.02	c cleaning 158002 clauses out of 316021 with flag 51547226/12710001
572.27/570.98	c cleaning 159006 clauses out of 318019 with flag 52205154/12870001
583.24/581.81	c cleaning 160002 clauses out of 320013 with flag 52866753/13031001
593.63/592.20	c cleaning 160998 clauses out of 322011 with flag 53529957/13193001
604.80/603.46	c cleaning 162003 clauses out of 324013 with flag 54202018/13356001
618.18/616.81	c cleaning 162996 clauses out of 326010 with flag 54902715/13520001
630.84/629.54	c cleaning 164004 clauses out of 328016 with flag 55605341/13685003
646.61/645.25	c cleaning 164997 clauses out of 330009 with flag 56336440/13851000
658.09/655.44	c starts		: 16516
658.09/655.44	c conflicts		: 14009555
658.09/655.44	c decisions		: 19932433
658.09/655.44	c propagations		: 109413854
658.09/655.44	c inspects		: 11875627264
658.09/655.45	c shortcuts		: 0
658.09/655.45	c learnt literals	: 14
658.09/655.45	c learnt binary clauses	: 11
658.09/655.45	c learnt ternary clauses	: 22
658.09/655.45	c learnt constraints	: 14009540
658.09/655.45	c ignored constraints	: 0
658.09/655.45	c root simplifications	: 0
658.09/655.45	c removed literals (reason simplification)	: 0
658.09/655.45	c reason swapping (by a shorter reason)	: 0
658.09/655.45	c Calls to reduceDB	: 162
658.09/655.45	c Number of update (reduction) of LBD	: 2924047
658.09/655.45	c Imported unit clauses	: 0
658.09/655.45	c No decision after first conflict	: false
658.09/655.45	c number of reductions to clauses (during analyze)	: 0
658.09/655.45	c number of learned constraints concerned by reduction	: 0
658.09/655.45	c number of learning phase by resolution	: 0
658.09/655.45	c number of learning phase by cutting planes	: 0
658.09/655.45	c number of rounding to 1 operations	: 0
658.09/655.45	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
658.09/655.45	c number of reductions of the coefficients by power 2 	: 0
658.09/655.45	c number of right shift for reduction by power 2 	: 0
658.09/655.47	c number of reductions of the coefficients by GCD over coefficients 	: 0
658.09/655.47	c number of ending skipping 	: 0
658.09/655.47	c number of internal skipping 	: 0
658.09/655.47	c number of derivation steps 	: 0
658.09/655.47	c number of skipped derivation steps 	: 0
658.09/655.47	c number of remaining unassigned 	: 0
658.09/655.47	c number of remaining assigned 	: 0
658.09/655.47	c number of falsified literals weakened from reason	: 0
658.09/655.47	c number of falsified literals weakened from conflict	: 0
658.09/655.47	c time for arithmetic operations	: 0
658.09/655.47	c minimum degree of deleted constraints	: null
658.09/655.47	c maximum degree of deleted constraints	: null
658.09/655.47	c number of deleted constraints	: 0
658.09/655.47	c speed (assignments/second)	: 167035.89137629917
658.09/655.47	c non guided choices	: 888442
658.24/655.53	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 323541
658.24/655.53	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 11
658.24/655.53	s UNSATISFIABLE
658.24/655.53	c Total wall clock time (in seconds): 655.24

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: 64059 MiB (57559 MiB free)
  memory of node 1: 64510 MiB (61111 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448564-1721357699/watcher-4448564-1721357699 -o /tmp/evaluation-result-4448564-1721357699/solver-4448564-1721357699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980651 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4448564-1721357699.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=983923, runsolver pid=983920

[startup+0.100408 s]*
/proc/loadavg: 4.17 4.24 4.18 7/318 983941
/proc/meminfo: memFree=121484396/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=18975048 memory=55576 CPUtime=0.13 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 6473 0 0 0 11 2 0 0 20 0 18 0 187926273 19430449152 13894 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4743762 13894 5601 1 0 550818 0
[pid=983923/tid=983925] ppid=983920 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 5399 0 0 0 7 1 0 0 20 0 18 0 187926273 19430449152 13894 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187926278 19430449152 13894 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187926279 19430449152 13894 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55576 KiB

[startup+0.215179 s]*
/proc/loadavg: 4.17 4.24 4.18 6/318 983941
/proc/meminfo: memFree=121481344/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=18975048 memory=61104 CPUtime=0.31 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 7150 0 0 0 29 2 0 0 20 0 18 0 187926273 19430449152 15276 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4743762 15276 5721 1 0 551366 0
[pid=983923/tid=983925] ppid=983920 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 5708 0 0 0 17 2 0 0 20 0 18 0 187926273 19430449152 15276 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=18975048 memory=5697 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187926278 19430449152 15276 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187926279 19430449152 15276 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61104 KiB

[startup+0.318135 s]*
/proc/loadavg: 4.17 4.24 4.18 7/318 983941
/proc/meminfo: memFree=121476240/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=18975048 memory=64292 CPUtime=0.48 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 7443 0 0 0 46 2 0 0 20 0 18 0 187926273 19430449152 16073 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4743762 16073 5745 1 0 551579 0
[pid=983923/tid=983925] ppid=983920 vsize=18975048 memory=-9177035771013800636 CPUtime=0.28 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 1077936192 5883 0 0 0 26 2 0 0 20 0 18 0 187926273 19430449152 16073 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187926278 19430449152 16073 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187926279 19430449152 16073 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64292 KiB

[startup+0.709242 s]
/proc/loadavg: 4.17 4.24 4.18 6/319 983942
/proc/meminfo: memFree=121466032/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19041612 memory=84300 CPUtime=1.2 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 11726 0 0 0 116 4 0 0 20 0 19 0 187926273 19498610688 21075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4760403 21075 5893 1 0 554074 0
[pid=983923/tid=983925] ppid=983920 vsize=19041612 memory=5512 CPUtime=0.62 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 5960 0 0 0 60 2 0 0 20 0 19 0 187926273 19498610688 21075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187926278 19498610688 21075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19041612 memory=279968114598568 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187926279 19498610688 21075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187926316 19498610688 21075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84300 KiB

[startup+1.50028 s]
/proc/loadavg: 4.17 4.24 4.18 6/319 983942
/proc/meminfo: memFree=121455420/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19041612 memory=98624 CPUtime=2.76 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 18590 0 0 0 271 5 0 0 20 0 19 0 187926273 19498610688 24656 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4760403 24656 5893 1 0 555939 0
[pid=983923/tid=983925] ppid=983920 vsize=19041612 memory=11992 CPUtime=1.38 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 6460 0 0 0 136 2 0 0 20 0 19 0 187926273 19498610688 24656 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187926278 19498610688 24656 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187926279 19498610688 24656 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19041612 memory=279968114451728 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187926316 19498610688 24656 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98624 KiB

[startup+3.12797 s]
/proc/loadavg: 4.17 4.24 4.18 5/319 983942
/proc/meminfo: memFree=121421060/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19041612 memory=121572 CPUtime=4.77 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 19580 0 0 0 472 5 0 0 20 0 19 0 187926273 19498610688 30393 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4760403 30393 5896 1 0 555943 0
[pid=983923/tid=983925] ppid=983920 vsize=19041612 memory=0 CPUtime=3 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 6778 0 0 0 297 3 0 0 20 0 19 0 187926273 19498610688 30393 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187926278 19498610688 30393 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187926279 19498610688 30393 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19041612 memory=11600 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187926316 19498610688 30393 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 121572 KiB

[startup+6.30044 s]
/proc/loadavg: 4.31 4.26 4.19 5/319 983944
/proc/meminfo: memFree=121387480/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19041612 memory=154928 CPUtime=8.04 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 20176 0 0 0 798 6 0 0 20 0 19 0 187926273 19498610688 38732 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4760403 38732 5912 1 0 555943 0
[pid=983923/tid=983925] ppid=983920 vsize=19041612 memory=11992 CPUtime=6.16 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 7095 0 0 0 612 4 0 0 20 0 19 0 187926273 19498610688 38732 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187926278 19498610688 38732 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19041612 memory=-7163974055829550171 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187926279 19498610688 38732 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19041612 memory=100672 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187926316 19498610688 38732 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 154928 KiB

[startup+12.7005 s]
/proc/loadavg: 4.29 4.26 4.19 5/320 983945
/proc/meminfo: memFree=121360412/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=180056 CPUtime=14.46 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 22754 0 0 0 1438 8 0 0 20 0 20 0 187926273 19566772224 45014 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 45014 5960 1 0 556232 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=0 CPUtime=12.53 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 7837 0 0 0 1249 4 0 0 20 0 20 0 187926273 19566772224 45014 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 45014 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=180056 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 45014 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 45014 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 14.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180056 KiB

[startup+25.5005 s]
/proc/loadavg: 4.22 4.25 4.18 5/320 983948
/proc/meminfo: memFree=121327364/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=188484 CPUtime=27.24 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 25359 0 0 0 2715 9 0 0 20 0 20 0 187926273 19566772224 47121 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 47121 5960 1 0 556232 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=180056 CPUtime=25.25 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 8907 0 0 0 2521 4 0 0 20 0 20 0 187926273 19566772224 47121 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=-9177035771013800636 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 47121 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 47121 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 47121 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 27.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188484 KiB

[startup+51.113 s]
/proc/loadavg: 4.29 4.26 4.19 5/320 984334
/proc/meminfo: memFree=121268936/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=246016 CPUtime=52.83 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 28884 0 0 0 5271 12 0 0 20 0 20 0 187926273 19566772224 61504 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 61504 5960 1 0 556232 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=43996 CPUtime=50.54 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 10514 0 0 0 5050 4 0 0 20 0 20 0 187926273 19566772224 61504 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=211108 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 61504 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0

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

/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 536 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 275129 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=1100516 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 275129 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 583.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1100516 KiB

[startup+642.3 s]
/proc/loadavg: 4.55 4.46 4.31 5/320 985826
/proc/meminfo: memFree=114485704/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=1176300 CPUtime=643.71 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 49574 0 0 0 64309 62 0 0 20 0 20 0 187926273 19566772224 294075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 294075 5960 1 0 556232 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=11600 CPUtime=637.13 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 18996 0 0 0 63706 7 0 0 20 0 20 0 187926273 19566772224 294075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=1100516 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 294075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 580 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 294075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=-9177035771013800636 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 294075 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 643.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1176300 KiB

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

# cumulated CPU time of all completed processes:  user=657.676 s, system=0.656493 s

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

[startup+646.4 s]
/proc/loadavg: 4.51 4.45 4.30 5/319 985828
/proc/meminfo: memFree=114164916/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=1176320 CPUtime=647.85 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 50976 0 0 0 64723 62 0 0 20 0 20 0 187926273 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 294080 5960 1 0 556232 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=1176300 CPUtime=641.22 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 19084 0 0 0 64115 7 0 0 20 0 20 0 187926273 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=1176300 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=1176308 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 580 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 647.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1176320 KiB

[startup+649.6 s]
/proc/loadavg: 4.55 4.46 4.31 5/319 985828
/proc/meminfo: memFree=114162812/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=1176320 CPUtime=651.04 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 50978 0 0 0 65042 62 0 0 20 0 20 0 187926273 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 294080 5960 1 0 556232 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=1176308 CPUtime=644.41 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 19084 0 0 0 64434 7 0 0 20 0 20 0 187926273 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=1176320 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=1176308 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 580 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=2756 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 294080 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 651.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1176320 KiB

[startup+652.801 s]
/proc/loadavg: 4.55 4.46 4.31 6/319 985828
/proc/meminfo: memFree=114087136/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=1180340 CPUtime=654.81 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 56096 0 0 0 65418 63 0 0 20 0 20 0 187926273 19566772224 295085 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 295085 5960 1 0 556380 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=1100516 CPUtime=647.6 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 19995 0 0 0 64753 7 0 0 20 0 20 0 187926273 19566772224 295085 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 295085 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=7017846619297900647 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 580 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 295085 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 295085 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 654.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1180340 KiB

[startup+654.403 s]
/proc/loadavg: 4.50 4.45 4.31 6/319 985830
/proc/meminfo: memFree=114066328/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=1180640 CPUtime=656.93 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 56190 0 0 0 65630 63 0 0 20 0 20 0 187926273 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 295160 5960 1 0 556396 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=18972 CPUtime=649.2 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 20028 0 0 0 64913 7 0 0 20 0 20 0 187926273 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=2244 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=1840 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 580 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=19104 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 656.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1180640 KiB

[startup+655.2 s]
/proc/loadavg: 4.50 4.45 4.31 5/319 985830
/proc/meminfo: memFree=114066012/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=1180640 CPUtime=657.89 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 56204 0 0 0 65725 64 0 0 20 0 20 0 187926273 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 295160 5960 1 0 556396 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=11600 CPUtime=649.99 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 20030 0 0 0 64992 7 0 0 20 0 20 0 187926273 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 580 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 657.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1180640 KiB

[startup+655.4 s]
/proc/loadavg: 4.50 4.45 4.31 5/319 985830
/proc/meminfo: memFree=114066012/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19108176 memory=1180640 CPUtime=658.09 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 56204 0 0 0 65745 64 0 0 20 0 20 0 187926273 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4777044 295160 5960 1 0 556396 0
[pid=983923/tid=983925] ppid=983920 vsize=19108176 memory=43996 CPUtime=650.19 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) R 983920 983923 980639 0 -1 4194368 20030 0 0 0 65012 7 0 0 20 0 20 0 187926273 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19108176 memory=-9177035771013800636 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 580 0 0 0 0 0 0 0 20 0 20 0 187926279 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983942] ppid=983920 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/983923/task/983942/stat : 983942 (Timer-0) S 983920 983923 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187926316 19566772224 295160 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 658.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1180640 KiB

[startup+655.501 s]
/proc/loadavg: 4.50 4.45 4.31 5/319 985830
/proc/meminfo: memFree=114066012/131655788 swapFree=131071996/131071996
[pid=983923] ppid=983920 vsize=19241304 memory=1181128 CPUtime=658.24 cores=1,3
/proc/983923/stat : 983923 (java) S 983920 983923 980639 0 -1 1077936128 57649 0 0 0 65760 64 0 0 20 0 20 0 187926273 19703095296 295282 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
/proc/983923/statm: 4810326 295282 5959 1 0 557014 0
[pid=983923/tid=983925] ppid=983920 vsize=19241304 memory=11600 CPUtime=650.21 cores=1,3
/proc/983923/task/983925/stat : 983925 (java) S 983920 983923 980639 0 -1 1077936192 20917 0 0 0 65014 7 0 0 20 0 20 0 187926273 19703095296 295282 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983934] ppid=983920 vsize=19241304 memory=1100516 CPUtime=0 cores=1,3
/proc/983923/task/983934/stat : 983934 (Finalizer) S 983920 983923 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187926278 19703095296 295282 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
[pid=983923/tid=983941] ppid=983920 vsize=19241304 memory=11600 CPUtime=0 cores=1,3
/proc/983923/task/983941/stat : 983941 (Common-Cleaner) S 983920 983923 980639 0 -1 1077936192 580 0 0 0 0 0 0 0 20 0 20 0 187926279 19703095296 295282 134679101440 94653965336576 94653965340272 140728915001216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94653965348088 94653965348880 94653974007808 140728915010566 140728915010656 140728915010656 140728915017672 0
Current children cumulated CPU time: 658.24 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1181128 KiB

Child status: 20

Real time (s): 655.57
CPU time (s): 658.333
CPU user time (s): 657.676
CPU system time (s): 0.656493
CPU usage (%): 100.421
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1181128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 657.676
system time used= 0.656493
maximum resident set size= 1182168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20924
involuntary context switches= 759


# summary of solver processes directly reported to runsolver:
#   pid: 983923
#   total CPU time (s): 658.333
#   total CPU user time (s): 657.676
#   total CPU system time (s): 0.656493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.47774 second user time and 6.98428 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:55:11
IDJOB=4448564
IDBENCH=160430
IDSOLVER=3058
FILE ID=nodeC008/4448564-1721357699
RUNJOBID= nodeC008-1721354365-980651
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x90split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448564-1721357699/watcher-4448564-1721357699 -o /tmp/evaluation-result-4448564-1721357699/solver-4448564-1721357699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980651 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448564-1721357699.opb

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

MD5SUM BENCH= e216a9526ca3dc38bcdba98c3f3990b1
RANDOM SEED=1802508292

nodeC008.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		: 3666.956
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	: 6983.91
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		: 2294.744
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.400
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	: 6983.91
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		: 2394.490
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		: 3670.401
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	: 6983.91
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		: 3655.819
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.428
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	: 6983.91
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.373
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:        121519636 kB
MemAvailable:   123812928 kB
Buffers:          545712 kB
Cached:          2566340 kB
SwapCached:            0 kB
Active:          1060304 kB
Inactive:        8473032 kB
Active(anon):       1476 kB
Inactive(anon):  6457532 kB
Active(file):    1058828 kB
Inactive(file):  2015500 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               748 kB
Writeback:             0 kB
AnonPages:       6421348 kB
Mapped:           126204 kB
Shmem:             37704 kB
KReclaimable:     117992 kB
Slab:             222736 kB
SReclaimable:     117992 kB
SUnreclaim:       104744 kB
KernelStack:        4848 kB
PageTables:        22676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8363144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58720 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6115328 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC008 at 2024-07-19 05:06:06