Trace number 4451092

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. 1199.3 1202.46

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
MD5SUM1b3727bc41a297c1e3576d09f30c6702
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.802
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1101
Total number of constraints551
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)551
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version CUSTOM.v20240707
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.21	c os.arch		amd64
0.12/0.22	c Free memory 		2113181440
0.12/0.22	c Max memory 		16282288128
0.12/0.22	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.44/0.34	--- Begin Solver configuration ---
0.44/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.34	Learn all clauses as in MiniSAT
0.44/0.34	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.34	Expensive reason simplification
0.44/0.34	Glucose 2.1 dynamic restart strategy
0.44/0.34	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.44/0.34	timeout=2147483s
0.44/0.34	DB Simplification allowed=false
0.44/0.34	Listener: none
0.44/0.34	--- End Solver configuration ---
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c Expensive reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	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.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.35	c solving HOME/instance-4451092-1721829595.opb
0.44/0.35	c reading problem ... 
0.44/0.38	c using VERIPB proof format
0.44/0.38	c  no objective function found
0.55/0.51	c ... done. Wall clock time 0.153s.
0.55/0.51	c declared #vars     1101
0.55/0.51	c #constraints  1102
0.55/0.51	c constraints type 
0.55/0.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.55/0.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1100
0.55/0.51	c 1102 constraints processed.
2.01/1.27	c cleaning 2494 clauses out of 5000 with flag 21321/5000
3.00/1.74	c cleaning 4236 clauses out of 8507 with flag 46643/11001
3.60/2.02	c cleaning 5587 clauses out of 11270 with flag 77237/18000
3.99/2.23	c cleaning 6798 clauses out of 13683 with flag 117508/26000
4.19/2.39	c cleaning 7908 clauses out of 15885 with flag 165059/35000
4.56/2.56	c cleaning 8923 clauses out of 17977 with flag 217580/45000
4.95/2.75	c cleaning 9994 clauses out of 20057 with flag 277552/56003
5.26/3.06	c cleaning 10972 clauses out of 22061 with flag 352542/68001
5.46/3.28	c cleaning 12020 clauses out of 24088 with flag 424251/81000
5.84/3.55	c cleaning 12995 clauses out of 26069 with flag 500403/95001
6.41/3.89	c cleaning 13991 clauses out of 28074 with flag 584649/110001
6.84/4.19	c cleaning 15028 clauses out of 30082 with flag 673282/126000
7.29/4.49	c cleaning 15993 clauses out of 32055 with flag 767841/143001
7.81/4.84	c cleaning 16958 clauses out of 34061 with flag 871564/161000
8.23/5.23	c cleaning 17964 clauses out of 36103 with flag 980033/180000
8.63/5.62	c cleaning 19018 clauses out of 38139 with flag 1089434/200000
9.04/6.02	c cleaning 20043 clauses out of 40122 with flag 1208177/221001
9.45/6.45	c cleaning 21026 clauses out of 42079 with flag 1331186/243001
9.86/6.90	c cleaning 21959 clauses out of 44052 with flag 1455956/266000
10.46/7.40	c cleaning 22982 clauses out of 46093 with flag 1586536/290000
10.96/7.94	c cleaning 23999 clauses out of 48112 with flag 1721178/315001
11.56/8.53	c cleaning 25018 clauses out of 50112 with flag 1860289/341000
12.18/9.15	c cleaning 26022 clauses out of 52095 with flag 2006342/368001
12.87/9.81	c cleaning 27023 clauses out of 54073 with flag 2151733/396001
13.46/10.45	c cleaning 27954 clauses out of 56049 with flag 2305550/425000
14.27/11.27	c cleaning 28995 clauses out of 58096 with flag 2478876/455001
14.97/12.00	c cleaning 30047 clauses out of 60100 with flag 2634141/486000
15.76/12.76	c cleaning 30975 clauses out of 62053 with flag 2803352/518000
16.57/13.56	c cleaning 31989 clauses out of 64079 with flag 2977383/551001
17.46/14.46	c cleaning 32973 clauses out of 66090 with flag 3161209/585001
18.37/15.36	c cleaning 33989 clauses out of 68116 with flag 3345517/620000
19.26/16.28	c cleaning 35015 clauses out of 70128 with flag 3529329/656001
20.26/17.22	c cleaning 36035 clauses out of 72112 with flag 3720198/693000
21.26/18.22	c cleaning 36981 clauses out of 74078 with flag 3923964/731001
22.43/19.33	c cleaning 38038 clauses out of 76098 with flag 4129337/770002
23.53/20.43	c cleaning 38986 clauses out of 78060 with flag 4326809/810002
24.91/21.70	c cleaning 39984 clauses out of 80072 with flag 4535978/851000
26.09/22.82	c cleaning 41002 clauses out of 82089 with flag 4749075/893001
27.20/24.00	c cleaning 42001 clauses out of 84086 with flag 4966777/936000
28.49/25.20	c cleaning 43034 clauses out of 86085 with flag 5182143/980000
29.79/26.48	c cleaning 44011 clauses out of 88052 with flag 5410825/1025001
31.10/27.77	c cleaning 44972 clauses out of 90041 with flag 5637449/1071001
32.61/29.11	c cleaning 46006 clauses out of 92068 with flag 5869455/1118000
33.99/30.58	c cleaning 46991 clauses out of 94062 with flag 6100377/1166000
35.50/32.06	c cleaning 47992 clauses out of 96071 with flag 6340077/1215000
37.00/33.54	c cleaning 49006 clauses out of 98080 with flag 6583022/1265001
39.02/36.13	c cleaning 50017 clauses out of 100073 with flag 6827323/1316000
40.91/38.07	c cleaning 50981 clauses out of 102056 with flag 7087622/1368000
42.70/39.82	c cleaning 52012 clauses out of 104077 with flag 7348005/1421002
44.39/41.51	c cleaning 52982 clauses out of 106064 with flag 7606826/1475001
46.33/43.24	c cleaning 54042 clauses out of 108083 with flag 7874415/1530002
48.14/45.04	c cleaning 54970 clauses out of 110040 with flag 8140907/1586001
50.09/46.93	c cleaning 56003 clauses out of 112070 with flag 8411820/1643001
52.18/48.94	c cleaning 57021 clauses out of 114067 with flag 8683844/1701001
54.16/50.89	c cleaning 58003 clauses out of 116045 with flag 8961561/1760000
56.48/52.94	c cleaning 58997 clauses out of 118044 with flag 9244518/1820002
58.58/55.01	c cleaning 60003 clauses out of 120045 with flag 9526720/1881000
60.87/57.32	c cleaning 60992 clauses out of 122044 with flag 9822562/1943002
62.97/59.45	c cleaning 61985 clauses out of 124052 with flag 10109822/2006002
65.16/61.60	c cleaning 63008 clauses out of 126065 with flag 10403865/2070000
67.26/63.79	c cleaning 63987 clauses out of 128057 with flag 10690418/2135000
69.67/66.33	c cleaning 64995 clauses out of 130072 with flag 10986562/2201002
72.17/68.88	c cleaning 66005 clauses out of 132075 with flag 11293686/2268000
74.86/71.51	c cleaning 67000 clauses out of 134071 with flag 11604363/2336001
77.33/73.98	c cleaning 67997 clauses out of 136070 with flag 11906131/2405000
79.92/76.51	c cleaning 69005 clauses out of 138073 with flag 12212493/2475000
82.62/79.20	c cleaning 70023 clauses out of 140068 with flag 12524734/2546000
85.22/81.84	c cleaning 71005 clauses out of 142047 with flag 12841639/2618002
88.01/84.60	c cleaning 71988 clauses out of 144041 with flag 13168266/2691001
90.90/87.57	c cleaning 73000 clauses out of 146052 with flag 13501034/2765000
93.70/90.34	c cleaning 73989 clauses out of 148054 with flag 13831563/2840002
96.59/93.26	c cleaning 74985 clauses out of 150063 with flag 14167092/2916000
99.52/96.59	c cleaning 76002 clauses out of 152078 with flag 14503378/2993000
103.12/100.23	c cleaning 77022 clauses out of 154077 with flag 14839208/3071001
106.31/103.41	c cleaning 77998 clauses out of 156054 with flag 15189532/3150000
109.51/106.65	c cleaning 79008 clauses out of 158056 with flag 15541232/3230000
113.01/110.16	c cleaning 79992 clauses out of 160049 with flag 15897005/3311001
116.39/113.52	c cleaning 80997 clauses out of 162057 with flag 16248748/3393001
120.00/117.18	c cleaning 81995 clauses out of 164060 with flag 16617857/3476001
123.78/121.00	c cleaning 83025 clauses out of 166064 with flag 16987164/3560000
127.37/124.55	c cleaning 83979 clauses out of 168039 with flag 17349457/3645000
131.00/128.23	c cleaning 85023 clauses out of 170062 with flag 17719112/3731002
134.91/132.18	c cleaning 85988 clauses out of 172038 with flag 18097020/3818001
138.81/136.02	c cleaning 86991 clauses out of 174049 with flag 18463424/3906000
142.79/140.04	c cleaning 88014 clauses out of 176058 with flag 18841927/3995000
146.88/144.13	c cleaning 88997 clauses out of 178045 with flag 19231794/4085001
151.26/148.52	c cleaning 89991 clauses out of 180047 with flag 19621893/4176000
155.56/152.80	c cleaning 91008 clauses out of 182056 with flag 20004094/4268000
159.87/157.19	c cleaning 91999 clauses out of 184050 with flag 20397073/4361002
164.50/162.16	c cleaning 93009 clauses out of 186051 with flag 20789548/4455002
168.97/166.63	c cleaning 93992 clauses out of 188040 with flag 21183361/4550000
173.97/171.66	c cleaning 95010 clauses out of 190049 with flag 21599763/4646001
179.06/176.73	c cleaning 95991 clauses out of 192039 with flag 22023179/4743001
183.85/181.53	c cleaning 96993 clauses out of 194047 with flag 22431973/4841000
188.94/186.69	c cleaning 98003 clauses out of 196055 with flag 22848238/4940001
193.60/191.64	c cleaning 98998 clauses out of 198052 with flag 23252435/5040001
198.72/196.74	c cleaning 99989 clauses out of 200054 with flag 23667155/5141001
203.83/201.83	c cleaning 101005 clauses out of 202065 with flag 24085424/5243001
209.03/207.03	c cleaning 102000 clauses out of 204059 with flag 24511184/5346000
214.31/212.38	c cleaning 103006 clauses out of 206059 with flag 24938250/5450000
219.80/217.85	c cleaning 104001 clauses out of 208053 with flag 25371488/5555000
225.66/223.95	c cleaning 105015 clauses out of 210052 with flag 25804187/5661000
231.24/229.54	c cleaning 105994 clauses out of 212038 with flag 26239549/5768001
237.03/235.30	c cleaning 107009 clauses out of 214044 with flag 26683471/5876001
243.03/241.34	c cleaning 107987 clauses out of 216034 with flag 27121892/5985000
248.83/247.15	c cleaning 109000 clauses out of 218048 with flag 27566848/6095001
254.58/252.95	c cleaning 110012 clauses out of 220049 with flag 28009886/6206002
260.68/259.08	c cleaning 111011 clauses out of 222035 with flag 28457604/6318000
267.17/265.54	c cleaning 111994 clauses out of 224025 with flag 28913131/6431001
273.16/271.57	c cleaning 112997 clauses out of 226030 with flag 29361155/6545000
279.25/277.61	c cleaning 113994 clauses out of 228033 with flag 29811641/6660000
285.41/283.87	c cleaning 114998 clauses out of 230039 with flag 30264472/6776000
291.71/290.15	c cleaning 115999 clauses out of 232041 with flag 30726803/6893000
298.10/296.52	c cleaning 117001 clauses out of 234043 with flag 31190163/7011001
304.99/303.43	c cleaning 118016 clauses out of 236041 with flag 31659841/7130000
311.61/310.11	c cleaning 118989 clauses out of 238025 with flag 32130789/7250000
318.13/316.68	c cleaning 120002 clauses out of 240037 with flag 32596993/7371001
325.34/323.89	c cleaning 120987 clauses out of 242034 with flag 33062282/7493000
332.43/330.97	c cleaning 122014 clauses out of 244048 with flag 33544026/7616001
339.45/337.98	c cleaning 123007 clauses out of 246034 with flag 34010779/7740001
346.34/344.91	c cleaning 123998 clauses out of 248026 with flag 34493445/7865000
353.36/351.94	c cleaning 124982 clauses out of 250028 with flag 34963706/7991000
360.15/358.77	c cleaning 125993 clauses out of 252046 with flag 35435124/8118000
367.15/365.77	c cleaning 127005 clauses out of 254053 with flag 35915624/8246000
373.83/372.49	c cleaning 127996 clauses out of 256048 with flag 36387601/8375000
381.00/379.67	c cleaning 129016 clauses out of 258053 with flag 36870043/8505001
387.99/386.64	c cleaning 130007 clauses out of 260037 with flag 37342855/8636001
395.11/393.75	c cleaning 131000 clauses out of 262032 with flag 37822618/8768003
402.10/400.78	c cleaning 131995 clauses out of 264029 with flag 38306383/8901000
409.82/408.52	c cleaning 133007 clauses out of 266035 with flag 38793012/9035001
416.60/415.38	c cleaning 134000 clauses out of 268029 with flag 39272957/9170002
423.73/422.44	c cleaning 135002 clauses out of 270027 with flag 39763650/9306000
430.71/429.45	c cleaning 135994 clauses out of 272025 with flag 40258616/9443000
437.66/436.59	c cleaning 137008 clauses out of 274032 with flag 40754618/9581001
444.58/443.49	c cleaning 137998 clauses out of 276023 with flag 41242697/9720000
451.80/450.65	c cleaning 139000 clauses out of 278025 with flag 41737363/9860000
458.68/457.51	c cleaning 140007 clauses out of 280025 with flag 42234831/10001000
465.99/464.97	c cleaning 141000 clauses out of 282020 with flag 42733826/10143002
473.09/472.04	c cleaning 141993 clauses out of 284018 with flag 43231558/10286000
480.32/479.23	c cleaning 142989 clauses out of 286027 with flag 43737459/10430002
487.69/486.52	c cleaning 144005 clauses out of 288038 with flag 44244237/10575002
494.77/493.65	c cleaning 145003 clauses out of 290032 with flag 44757787/10721001
502.22/501.15	c cleaning 145995 clauses out of 292028 with flag 45270997/10868000
509.49/508.47	c cleaning 147006 clauses out of 294034 with flag 45784475/11016001
516.94/515.88	c cleaning 147997 clauses out of 296028 with flag 46302496/11165001
524.30/523.19	c cleaning 148997 clauses out of 298031 with flag 46824957/11315001
531.66/530.65	c cleaning 150003 clauses out of 300033 with flag 47356962/11466000
539.41/538.39	c cleaning 151002 clauses out of 302030 with flag 47896584/11618000
547.26/546.11	c cleaning 152006 clauses out of 304029 with flag 48438917/11771001
554.82/553.60	c cleaning 152999 clauses out of 306024 with flag 48982183/11925002
562.95/562.55	c cleaning 153997 clauses out of 308024 with flag 49522312/12080001
570.97/570.57	c cleaning 155007 clauses out of 310026 with flag 50088394/12236000
579.26/578.87	c cleaning 156000 clauses out of 312019 with flag 50657343/12393000
587.75/587.32	c cleaning 156995 clauses out of 314019 with flag 51236684/12551000
596.44/596.14	c cleaning 158004 clauses out of 316026 with flag 51812575/12710002
605.10/604.84	c cleaning 158995 clauses out of 318020 with flag 52407671/12870000
613.93/613.62	c cleaning 160002 clauses out of 320025 with flag 53003916/13031000
623.81/624.45	c cleaning 160993 clauses out of 322024 with flag 53600338/13193001
633.14/633.75	c cleaning 162004 clauses out of 324030 with flag 54210265/13356000
642.26/642.89	c cleaning 163006 clauses out of 326026 with flag 54806338/13520000
651.72/652.60	c cleaning 164010 clauses out of 328021 with flag 55418343/13685001
661.43/662.31	c cleaning 164987 clauses out of 330010 with flag 56039490/13851000
671.74/672.67	c cleaning 165999 clauses out of 332024 with flag 56676217/14018001
682.18/683.34	c cleaning 166999 clauses out of 334024 with flag 57306786/14186000
692.71/693.84	c cleaning 168002 clauses out of 336026 with flag 57951867/14355001
703.41/704.59	c cleaning 168999 clauses out of 338024 with flag 58590498/14525001
714.70/716.39	c cleaning 170000 clauses out of 340025 with flag 59259134/14696001
726.29/727.92	c cleaning 170997 clauses out of 342025 with flag 59917665/14868001
737.70/739.39	c cleaning 171996 clauses out of 344027 with flag 60578241/15041000
749.52/751.21	c cleaning 173015 clauses out of 346031 with flag 61250569/15215000
761.18/762.82	c cleaning 173989 clauses out of 348017 with flag 61920107/15390001
772.72/774.41	c cleaning 175004 clauses out of 350027 with flag 62598570/15566000
785.52/787.22	c cleaning 175999 clauses out of 352024 with flag 63293958/15743001
798.63/800.39	c cleaning 176992 clauses out of 354025 with flag 63990477/15921001
812.76/814.54	c cleaning 178010 clauses out of 356033 with flag 64679914/16100001
825.83/827.68	c cleaning 179005 clauses out of 358023 with flag 65385577/16280001
839.79/842.16	c cleaning 179995 clauses out of 360018 with flag 66091399/16461001
853.22/855.55	c cleaning 181005 clauses out of 362022 with flag 66794752/16643000
866.18/868.56	c cleaning 181992 clauses out of 364017 with flag 67499403/16826000
880.00/882.32	c cleaning 183002 clauses out of 366025 with flag 68204357/17010000
893.34/895.62	c cleaning 183997 clauses out of 368023 with flag 68903175/17195000
906.91/909.25	c cleaning 184997 clauses out of 370026 with flag 69621928/17381000
921.14/923.46	c cleaning 186008 clauses out of 372030 with flag 70337299/17568001
935.99/938.36	c cleaning 187004 clauses out of 374022 with flag 71058510/17756001
949.87/952.15	c cleaning 187996 clauses out of 376017 with flag 71781846/17945000
963.81/966.06	c cleaning 188992 clauses out of 378021 with flag 72489992/18135000
977.88/980.14	c cleaning 190008 clauses out of 380031 with flag 73225441/18326002
991.98/994.29	c cleaning 191001 clauses out of 382022 with flag 73960307/18518001
1006.84/1009.09	c cleaning 192003 clauses out of 384021 with flag 74699506/18711001
1022.75/1024.97	c cleaning 193000 clauses out of 386018 with flag 75462079/18905001
1038.92/1041.01	c cleaning 193999 clauses out of 388017 with flag 76228233/19100000
1055.82/1058.73	c cleaning 195001 clauses out of 390019 with flag 77007065/19296001
1072.86/1075.79	c cleaning 196004 clauses out of 392017 with flag 77810600/19493000
1092.28/1096.83	c cleaning 196998 clauses out of 394013 with flag 78636463/19691000
1110.15/1114.69	c cleaning 197997 clauses out of 396015 with flag 79470303/19890000
1131.38/1135.82	c cleaning 199001 clauses out of 398018 with flag 80335479/20090000
1155.06/1159.59	c cleaning 200006 clauses out of 400017 with flag 81219297/20291000
1182.82/1187.26	c cleaning 201002 clauses out of 402012 with flag 82122922/20493001
1199.04/1202.27	c starts		: 22131
1199.04/1202.28	c conflicts		: 20646944
1199.04/1202.28	c decisions		: 29299640
1199.04/1202.28	c propagations		: 168383257
1199.04/1202.28	c inspects		: 19804304425
1199.04/1202.28	c shortcuts		: 0
1199.04/1202.28	c learnt literals	: 14
1199.04/1202.28	c learnt binary clauses	: 87
1199.04/1202.28	c learnt ternary clauses	: 350
1199.04/1202.28	c learnt constraints	: 20646929
1199.04/1202.28	c ignored constraints	: 0
1199.04/1202.28	c root simplifications	: 0
1199.04/1202.28	c removed literals (reason simplification)	: 17417977
1199.04/1202.28	c reason swapping (by a shorter reason)	: 0
1199.04/1202.28	c Calls to reduceDB	: 198
1199.04/1202.28	c Number of update (reduction) of LBD	: 4513109
1199.04/1202.28	c Imported unit clauses	: 0
1199.04/1202.28	c No decision after first conflict	: false
1199.04/1202.28	c number of reductions to clauses (during analyze)	: 0
1199.04/1202.29	c number of learned constraints concerned by reduction	: 0
1199.04/1202.29	c number of learning phase by resolution	: 0
1199.04/1202.29	c number of learning phase by cutting planes	: 0
1199.04/1202.29	c number of rounding to 1 operations	: 0
1199.04/1202.29	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1199.04/1202.29	c number of reductions of the coefficients by power 2 	: 0
1199.04/1202.29	c number of right shift for reduction by power 2 	: 0
1199.04/1202.29	c number of reductions of the coefficients by GCD over coefficients 	: 0
1199.04/1202.29	c number of ending skipping 	: 0
1199.04/1202.29	c number of internal skipping 	: 0
1199.04/1202.29	c number of derivation steps 	: 0
1199.04/1202.29	c number of skipped derivation steps 	: 0
1199.04/1202.29	c number of remaining unassigned 	: 0
1199.04/1202.29	c number of remaining assigned 	: 0
1199.04/1202.29	c number of falsified literals weakened from reason	: 0
1199.04/1202.29	c number of falsified literals weakened from conflict	: 0
1199.04/1202.29	c time for arithmetic operations	: 0
1199.04/1202.29	c minimum degree of deleted constraints	: null
1199.04/1202.29	c maximum degree of deleted constraints	: null
1199.04/1202.29	c number of deleted constraints	: 0
1199.04/1202.29	c speed (assignments/second)	: 140111.6652895416
1199.04/1202.29	c non guided choices	: 1684917
1199.22/1202.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 354851
1199.22/1202.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 87
1199.22/1202.44	s UNSATISFIABLE
1199.22/1202.44	c Total wall clock time (in seconds): 1202.1

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451092-1721829595/watcher-4451092-1721829595 -o /tmp/evaluation-result-4451092-1721829595/solver-4451092-1721829595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721820325-231946 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451092-1721829595 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451092-1721829595.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=238684, runsolver pid=238681

[startup+0.101029 s]*
/proc/loadavg: 4.13 4.21 4.25 7/327 238702
/proc/meminfo: memFree=74538556/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=18975048 memory=57696 CPUtime=0.12 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 6321 0 0 0 9 3 0 0 20 0 18 0 18948824 19430449152 14424 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4743762 14424 5695 1 0 550802 0
[pid=238684/tid=238686] ppid=238681 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 5262 0 0 0 5 2 0 0 20 0 18 0 18948825 19430449152 14424 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18948830 19430449152 14424 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18948831 19430449152 14424 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57696 KiB

[startup+0.22173 s]*
/proc/loadavg: 4.13 4.21 4.25 8/327 238702
/proc/meminfo: memFree=74531504/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=18975048 memory=62436 CPUtime=0.29 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 6974 0 0 0 25 4 0 0 20 0 18 0 18948824 19430449152 15609 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4743762 15609 5720 1 0 551324 0
[pid=238684/tid=238686] ppid=238681 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 1077936192 5583 0 0 0 15 3 0 0 20 0 18 0 18948825 19430449152 15609 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=18975048 memory=605730 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18948830 19430449152 15609 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18948831 19430449152 15609 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62436 KiB

[startup+0.31479 s]*
/proc/loadavg: 4.13 4.21 4.25 9/327 238702
/proc/meminfo: memFree=74524580/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=18975048 memory=67436 CPUtime=0.44 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 7226 0 0 0 39 5 0 0 20 0 18 0 18948824 19430449152 16859 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4743762 16859 5729 1 0 551535 0
[pid=238684/tid=238686] ppid=238681 vsize=18975048 memory=-9103292604260000444 CPUtime=0.25 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 1077936192 5748 0 0 0 22 3 0 0 20 0 18 0 18948825 19430449152 16859 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18948830 19430449152 16859 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18948831 19430449152 16859 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67436 KiB

[startup+0.700405 s]
/proc/loadavg: 4.13 4.21 4.25 8/328 238703
/proc/meminfo: memFree=74508044/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19041612 memory=85456 CPUtime=1.05 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 8457 0 0 0 99 6 0 0 20 0 19 0 18948824 19498610688 21364 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4760403 21364 5835 1 0 552413 0
[pid=238684/tid=238686] ppid=238681 vsize=19041612 memory=5472 CPUtime=0.51 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 5934 0 0 0 47 4 0 0 20 0 19 0 18948825 19498610688 21364 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19041612 memory=12928 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18948830 19498610688 21364 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19041612 memory=280940387820200 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18948831 19498610688 21364 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18948875 19498610688 21364 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85456 KiB

[startup+1.50101 s]
/proc/loadavg: 4.13 4.21 4.25 6/328 238703
/proc/meminfo: memFree=74472380/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19041612 memory=145904 CPUtime=2.6 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 19465 0 0 0 250 10 0 0 20 0 19 0 18948824 19498610688 36476 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4760403 36476 5860 1 0 556565 0
[pid=238684/tid=238686] ppid=238681 vsize=19041612 memory=12928 CPUtime=1.26 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 7118 0 0 0 120 6 0 0 20 0 19 0 18948825 19498610688 36476 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18948830 19498610688 36476 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18948831 19498610688 36476 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19041612 memory=645086 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18948875 19498610688 36476 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 145904 KiB

[startup+3.10608 s]
/proc/loadavg: 4.13 4.21 4.25 5/329 238704
/proc/meminfo: memFree=74367968/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=185228 CPUtime=5.37 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 21852 0 0 0 523 14 0 0 20 0 20 0 18948824 19566772224 46307 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 46307 5860 1 0 557176 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=0 CPUtime=2.83 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 7483 0 0 0 273 10 0 0 20 0 20 0 18948825 19566772224 46307 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 46307 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 46307 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 46307 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185228 KiB

[startup+6.3004 s]
/proc/loadavg: 4.12 4.21 4.25 5/329 238705
/proc/meminfo: memFree=74094524/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=404200 CPUtime=9.35 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 22408 0 0 0 911 24 0 0 20 0 20 0 18948824 19566772224 101050 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 101050 5860 1 0 557180 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=12928 CPUtime=5.97 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 7893 0 0 0 578 19 0 0 20 0 20 0 18948825 19566772224 101050 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 101050 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 101050 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=2308 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 101050 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 9.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 404200 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.20 4.25 5/329 238707
/proc/meminfo: memFree=73475144/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=920520 CPUtime=15.76 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 25740 0 0 0 1536 40 0 0 20 0 20 0 18948824 19566772224 230130 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 230130 5876 1 0 557180 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=0 CPUtime=12.31 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 9143 0 0 0 1197 34 0 0 20 0 20 0 18948825 19566772224 230130 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=920520 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 230130 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=2316 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 230130 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 230130 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 15.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 920520 KiB

[startup+25.5004 s]
/proc/loadavg: 4.23 4.23 4.25 5/330 238710
/proc/meminfo: memFree=72852324/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=1332240 CPUtime=28.8 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 30885 0 0 0 2821 59 0 0 20 0 20 0 18948824 19566772224 333060 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 333060 5876 1 0 557180 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=920520 CPUtime=24.96 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 11242 0 0 0 2445 51 0 0 20 0 20 0 18948825 19566772224 333060 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 333060 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=1332240 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 333060 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=-9103292604260000444 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 333060 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 28.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1332240 KiB

[startup+51.1143 s]
/proc/loadavg: 4.23 4.22 4.25 5/328 238717
/proc/meminfo: memFree=72439404/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=1338468 CPUtime=54.47 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 38641 0 0 0 5368 79 0 0 20 0 20 0 18948824 19566772224 334617 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 334617 5876 1 0 557180 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=1338456 CPUtime=49.76 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 12921 0 0 0 4908 68 0 0 20 0 20 0 18948825 19566772224 334617 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 58 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 334617 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0

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

/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 830 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 492726 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 492726 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1059.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1970904 KiB

[startup+1122.3 s]
/proc/loadavg: 4.26 4.31 4.30 5/327 238939
/proc/meminfo: memFree=60685284/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=2001656 CPUtime=1117.75 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 80535 0 0 0 111230 545 0 0 20 0 20 0 18948824 19566772224 500414 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 500414 5876 1 0 557180 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=1940184 CPUtime=1099.3 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 33616 0 0 0 109464 466 0 0 20 0 20 0 18948825 19566772224 500414 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 993 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=1954520 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 500414 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=1970904 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 889 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 500414 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=2001656 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 500414 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1117.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2001656 KiB

[startup+1182.3 s]
/proc/loadavg: 4.19 4.28 4.29 5/327 238949
/proc/meminfo: memFree=60137772/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=2114324 CPUtime=1177.93 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 83140 0 0 0 117229 564 0 0 20 0 20 0 18948824 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 528581 5876 1 0 557180 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=1940184 CPUtime=1158.66 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 34950 0 0 0 115387 479 0 0 20 0 20 0 18948825 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1001 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=1954520 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=2069252 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1177.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2114324 KiB

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

# cumulated CPU time of all completed processes:  user=1193.56 s, system=5.74189 s

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

[startup+1190.4 s]
/proc/loadavg: 4.32 4.30 4.30 5/326 238951
/proc/meminfo: memFree=60081584/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=2114324 CPUtime=1186.01 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 83221 0 0 0 118034 567 0 0 20 0 20 0 18948824 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 528581 5876 1 0 557180 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=5472 CPUtime=1166.74 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 35031 0 0 0 116192 482 0 0 20 0 20 0 18948825 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1001 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=2069256 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=2069256 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=2069256 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 528581 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1186.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2114324 KiB

[startup+1196.8 s]
/proc/loadavg: 4.38 4.32 4.30 5/326 238951
/proc/meminfo: memFree=60036452/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=2114336 CPUtime=1192.45 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 84491 0 0 0 118676 569 0 0 20 0 20 0 18948824 19566772224 528584 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 528584 5876 1 0 557180 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=2114324 CPUtime=1173.12 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 35269 0 0 0 116829 483 0 0 20 0 20 0 18948825 19566772224 528584 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1001 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=70328 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 528584 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 528584 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 528584 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1192.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2114336 KiB

[startup+1200 s]*
/proc/loadavg: 4.43 4.33 4.30 7/327 238953
/proc/meminfo: memFree=60002688/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=2117792 CPUtime=1196.68 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 89904 0 0 0 119097 571 0 0 20 0 20 0 18948824 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 529448 5876 1 0 557340 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=-9103292604260000444 CPUtime=1176.32 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 36642 0 0 0 117148 484 0 0 20 0 20 0 18948825 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1001 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=1469368044699288153 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=-9103292604260000444 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1196.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2117792 KiB

[startup+1201.6 s]
/proc/loadavg: 4.43 4.33 4.30 5/327 238953
/proc/meminfo: memFree=59993684/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=2117792 CPUtime=1198.47 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 89940 0 0 0 119276 571 0 0 20 0 20 0 18948824 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 529448 5876 1 0 557340 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=2032 CPUtime=1177.9 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 36643 0 0 0 117306 484 0 0 20 0 20 0 18948825 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1001 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=70328 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1198.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2117792 KiB

[startup+1202 s]*
/proc/loadavg: 4.43 4.33 4.30 5/327 238954
/proc/meminfo: memFree=59985920/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19108176 memory=2117792 CPUtime=1198.89 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 89951 0 0 0 119318 571 0 0 20 0 20 0 18948824 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4777044 529448 5876 1 0 557340 0
[pid=238684/tid=238686] ppid=238681 vsize=19108176 memory=-9103292604260000444 CPUtime=1178.31 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) R 238681 238684 231903 0 -1 4194368 36643 0 0 0 117347 484 0 0 20 0 20 0 18948825 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1001 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19108176 memory=1469368044699288153 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19108176 memory=5188 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 975 0 0 0 0 0 0 0 20 0 20 0 18948831 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238703] ppid=238681 vsize=19108176 memory=2069256 CPUtime=0 cores=1,3
/proc/238684/task/238703/stat : 238703 (Timer-0) S 238681 238684 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18948875 19566772224 529448 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1198.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2117792 KiB

[startup+1202.4 s]
/proc/loadavg: 4.43 4.33 4.30 5/327 238954
/proc/meminfo: memFree=59985920/131655788 swapFree=131071472/131071996
[pid=238684] ppid=238681 vsize=19241304 memory=2118380 CPUtime=1199.22 cores=1,3
/proc/238684/stat : 238684 (java) S 238681 238684 231903 0 -1 1077936128 90970 0 0 0 119349 573 0 0 20 0 20 0 18948824 19703095296 529595 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
/proc/238684/statm: 4810326 529595 5875 1 0 557958 0
[pid=238684/tid=238686] ppid=238681 vsize=19241304 memory=-9103292604260000444 CPUtime=1178.46 cores=1,3
/proc/238684/task/238686/stat : 238686 (java) S 238681 238684 231903 0 -1 1077936192 37335 0 0 0 117361 485 0 0 20 0 20 0 18948825 19703095296 529595 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1022 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238695] ppid=238681 vsize=19241304 memory=70328 CPUtime=0 cores=1,3
/proc/238684/task/238695/stat : 238695 (Finalizer) S 238681 238684 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18948830 19703095296 529595 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
[pid=238684/tid=238702] ppid=238681 vsize=19241304 memory=12928 CPUtime=0 cores=1,3
/proc/238684/task/238702/stat : 238702 (Common-Cleaner) S 238681 238684 231903 0 -1 1077936192 975 0 0 0 0 0 0 0 20 0 20 0 18948831 19703095296 529595 134679101440 93866386341888 93866386345584 140724787560512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93866386353400 93866386354192 93866401267712 140724787565483 140724787565665 140724787565665 140724787572680 0
Current children cumulated CPU time: 1199.22 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2118380 KiB

Child status: 20

Real time (s): 1202.46
CPU time (s): 1199.3
CPU user time (s): 1193.56
CPU system time (s): 5.74189
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2118380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.56
system time used= 5.74189
maximum resident set size= 2119416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5291184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41339
involuntary context switches= 2868


# summary of solver processes directly reported to runsolver:
#   pid: 238684
#   total CPU time (s): 1199.3
#   total CPU user time (s): 1193.56
#   total CPU system time (s): 5.74189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50914 second user time and 13.6771 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-24 15:59:55
IDJOB=4451092
IDBENCH=162346
IDSOLVER=3079
FILE ID=nodeC008/4451092-1721829595
RUNJOBID= nodeC008-1721820325-231946
SLURM_JOB_ID= 7891458
Free space on /tmp= 723736 MiB

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

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

MD5SUM BENCH= 1b3727bc41a297c1e3576d09f30c6702
RANDOM SEED=1713891783

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		: 3584.189
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.19
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		: 1197.143
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.33
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.284
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.19
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.129
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.33
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		: 3636.277
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.19
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		: 3491.597
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.33
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.247
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.19
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.211
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        74576460 kB
MemAvailable:   109890648 kB
Buffers:          270344 kB
Cached:         35792352 kB
SwapCached:           48 kB
Active:          2671656 kB
Inactive:       53631952 kB
Active(anon):       1444 kB
Inactive(anon): 20293528 kB
Active(file):    2670212 kB
Inactive(file): 33338424 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             80252 kB
Writeback:             0 kB
AnonPages:      20240956 kB
Mapped:           139128 kB
Shmem:             53976 kB
KReclaimable:     291164 kB
Slab:             413284 kB
SReclaimable:     291164 kB
SUnreclaim:       122120 kB
KernelStack:        4992 kB
PageTables:        49828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   21459688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:  19879936 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723736 MiB
End job on nodeC008 at 2024-07-24 16:19:57