Trace number 4451062

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. 1767.49 1775.42

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
MD5SUM71fa1afe6ec5716be864bdb24fc2dd76
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 benchmark40.5307
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1201
Total number of constraints601
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)601
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.11/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.14	c See www.sat4j.org for details.
0.11/0.15	c version CUSTOM.v20240707
0.11/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.18	c java.vm.version	22.0.1+8-16
0.11/0.18	c java.vm.vendor	Oracle Corporation
0.11/0.18	c sun.arch.data.model	64
0.11/0.18	c java.version		22.0.1
0.11/0.18	c os.name		Linux
0.11/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.18	c os.arch		amd64
0.11/0.19	c Free memory 		2113181440
0.11/0.19	c Max memory 		16282288128
0.11/0.19	c Total memory 		2122317824
0.11/0.19	c Number of processors 	2
0.25/0.28	--- Begin Solver configuration ---
0.25/0.28	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.25/0.28	Learn all clauses as in MiniSAT
0.25/0.28	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.28	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.28	Expensive reason simplification
0.25/0.28	Glucose 2.1 dynamic restart strategy
0.25/0.28	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.25/0.28	timeout=2147483s
0.25/0.28	DB Simplification allowed=false
0.25/0.28	Listener: none
0.25/0.28	--- End Solver configuration ---
0.25/0.28	c Pseudo Boolean Optimization by upper bound
0.25/0.28	c --- Begin Solver configuration ---
0.25/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.25/0.28	c Learn all clauses as in MiniSAT
0.25/0.28	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.28	c Expensive reason simplification
0.25/0.28	c Glucose 2.1 dynamic restart strategy
0.25/0.28	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.25/0.28	c timeout=2147483s
0.25/0.28	c DB Simplification allowed=false
0.25/0.28	c Listener: none
0.25/0.28	c --- End Solver configuration ---
0.25/0.28	c solving HOME/instance-4451062-1721829293.opb
0.25/0.29	c reading problem ... 
0.25/0.29	c using VERIPB proof format
0.25/0.29	c  no objective function found
0.41/0.42	c ... done. Wall clock time 0.119s.
0.41/0.42	c declared #vars     1201
0.41/0.42	c #constraints  1202
0.41/0.42	c constraints type 
0.41/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.41/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1200
0.41/0.42	c 1202 constraints processed.
1.74/1.05	c cleaning 2491 clauses out of 5001 with flag 19344/5001
2.53/1.44	c cleaning 4237 clauses out of 8509 with flag 44186/11000
3.11/1.73	c cleaning 5593 clauses out of 11272 with flag 79749/18000
3.52/1.93	c cleaning 6797 clauses out of 13679 with flag 123156/26000
3.90/2.16	c cleaning 7899 clauses out of 15883 with flag 170921/35001
4.29/2.37	c cleaning 8917 clauses out of 17984 with flag 224140/45001
4.65/2.55	c cleaning 9962 clauses out of 20068 with flag 282650/56002
5.00/2.77	c cleaning 11025 clauses out of 22106 with flag 348912/68002
5.20/2.99	c cleaning 12007 clauses out of 24081 with flag 422431/81002
5.53/3.26	c cleaning 12954 clauses out of 26073 with flag 499401/95001
5.82/3.55	c cleaning 13992 clauses out of 28118 with flag 585912/110000
6.21/3.85	c cleaning 14986 clauses out of 30127 with flag 680185/126001
6.75/4.21	c cleaning 16030 clauses out of 32140 with flag 778242/143000
7.18/4.56	c cleaning 17013 clauses out of 34110 with flag 882656/161000
7.61/4.96	c cleaning 17988 clauses out of 36099 with flag 995818/180002
8.02/5.37	c cleaning 19027 clauses out of 38109 with flag 1109446/200000
8.40/5.76	c cleaning 19997 clauses out of 40082 with flag 1226989/221000
8.81/6.17	c cleaning 20989 clauses out of 42085 with flag 1345526/243000
9.29/6.66	c cleaning 21973 clauses out of 44097 with flag 1477657/266001
9.86/7.17	c cleaning 23004 clauses out of 46124 with flag 1612972/290001
10.70/7.77	c cleaning 23983 clauses out of 48121 with flag 1752473/315002
11.45/8.35	c cleaning 25007 clauses out of 50136 with flag 1890925/341000
12.05/8.97	c cleaning 26022 clauses out of 52129 with flag 2035866/368000
13.46/10.38	c cleaning 26997 clauses out of 54107 with flag 2185116/396000
14.58/11.18	c cleaning 27995 clauses out of 56110 with flag 2342134/425000
15.41/11.89	c cleaning 28996 clauses out of 58117 with flag 2505446/455002
16.29/12.65	c cleaning 30036 clauses out of 60120 with flag 2669946/486001
17.17/13.41	c cleaning 30980 clauses out of 62083 with flag 2841075/518000
17.88/14.20	c cleaning 32013 clauses out of 64104 with flag 3016249/551001
18.78/15.04	c cleaning 33004 clauses out of 66090 with flag 3194027/585000
19.76/15.91	c cleaning 33976 clauses out of 68086 with flag 3382132/620000
20.65/16.82	c cleaning 35020 clauses out of 70110 with flag 3570129/656000
21.55/17.76	c cleaning 35989 clauses out of 72091 with flag 3760673/693001
22.65/18.81	c cleaning 37038 clauses out of 74102 with flag 3961807/731001
23.64/19.85	c cleaning 38012 clauses out of 76064 with flag 4162584/770001
24.64/20.88	c cleaning 38968 clauses out of 78053 with flag 4363152/810002
25.74/22.00	c cleaning 40025 clauses out of 80086 with flag 4571911/851003
26.95/23.16	c cleaning 40989 clauses out of 82058 with flag 4789278/893000
28.14/24.33	c cleaning 41994 clauses out of 84070 with flag 5008375/936001
29.43/25.66	c cleaning 43021 clauses out of 86075 with flag 5233770/980000
30.73/26.98	c cleaning 43987 clauses out of 88055 with flag 5467582/1025001
32.02/28.26	c cleaning 45014 clauses out of 90068 with flag 5699826/1071001
33.42/29.62	c cleaning 45976 clauses out of 92054 with flag 5936327/1118001
34.83/31.23	c cleaning 47007 clauses out of 94079 with flag 6173727/1166002
36.32/32.74	c cleaning 47986 clauses out of 96071 with flag 6417783/1215001
37.83/34.29	c cleaning 49029 clauses out of 98084 with flag 6669167/1265000
39.32/35.79	c cleaning 50010 clauses out of 100055 with flag 6919876/1316000
40.91/37.37	c cleaning 50997 clauses out of 102047 with flag 7171571/1368002
42.62/39.03	c cleaning 51993 clauses out of 104049 with flag 7429873/1421001
44.41/40.82	c cleaning 53008 clauses out of 106055 with flag 7694172/1475000
46.10/42.53	c cleaning 53989 clauses out of 108049 with flag 7969027/1530002
48.00/44.40	c cleaning 54974 clauses out of 110059 with flag 8252276/1586001
49.79/46.20	c cleaning 55993 clauses out of 112084 with flag 8528227/1643000
51.49/47.98	c cleaning 57011 clauses out of 114092 with flag 8803286/1701001
53.48/49.90	c cleaning 57992 clauses out of 116081 with flag 9085976/1760001
55.37/51.82	c cleaning 58995 clauses out of 118089 with flag 9371340/1820001
57.36/53.87	c cleaning 59997 clauses out of 120094 with flag 9654975/1881001
59.47/55.94	c cleaning 61039 clauses out of 122097 with flag 9949443/1943001
61.74/58.26	c cleaning 61983 clauses out of 124061 with flag 10256184/2006004
63.94/60.41	c cleaning 63026 clauses out of 126075 with flag 10573974/2070001
66.10/62.88	c cleaning 63997 clauses out of 128049 with flag 10876289/2135001
68.41/65.14	c cleaning 65008 clauses out of 130052 with flag 11191326/2201001
70.89/67.61	c cleaning 65984 clauses out of 132044 with flag 11513140/2268001
73.18/69.93	c cleaning 67003 clauses out of 134059 with flag 11828387/2336000
75.58/72.36	c cleaning 67995 clauses out of 136056 with flag 12150127/2405000
78.06/74.86	c cleaning 68984 clauses out of 138061 with flag 12471288/2475000
80.86/77.64	c cleaning 70020 clauses out of 140078 with flag 12803274/2546001
83.55/80.31	c cleaning 70990 clauses out of 142057 with flag 13141883/2618000
86.26/83.06	c cleaning 71987 clauses out of 144067 with flag 13477868/2691000
89.25/86.05	c cleaning 73000 clauses out of 146082 with flag 13833868/2765002
91.93/88.78	c cleaning 74018 clauses out of 148080 with flag 14180553/2840000
94.72/91.57	c cleaning 74995 clauses out of 150062 with flag 14523205/2916000
97.80/94.95	c cleaning 76018 clauses out of 152067 with flag 14874793/2993000
100.79/98.00	c cleaning 76978 clauses out of 154050 with flag 15231598/3071001
103.90/101.05	c cleaning 77994 clauses out of 156071 with flag 15594241/3150000
106.88/104.08	c cleaning 79010 clauses out of 158077 with flag 15956417/3230000
110.26/107.44	c cleaning 80017 clauses out of 160068 with flag 16312034/3311001
113.56/110.72	c cleaning 80992 clauses out of 162051 with flag 16690892/3393001
116.86/114.08	c cleaning 82013 clauses out of 164059 with flag 17062630/3476001
120.23/117.46	c cleaning 82988 clauses out of 166045 with flag 17439690/3560000
123.84/121.06	c cleaning 84012 clauses out of 168057 with flag 17822282/3645000
127.30/124.62	c cleaning 84996 clauses out of 170045 with flag 18197554/3731000
130.98/128.35	c cleaning 85999 clauses out of 172049 with flag 18582417/3818000
134.69/132.02	c cleaning 87008 clauses out of 174050 with flag 18964768/3906000
138.27/135.63	c cleaning 87985 clauses out of 176043 with flag 19344955/3995001
142.26/139.62	c cleaning 88994 clauses out of 178059 with flag 19742508/4085002
146.15/143.58	c cleaning 89992 clauses out of 180063 with flag 20131278/4176000
150.34/147.76	c cleaning 91016 clauses out of 182071 with flag 20527285/4268000
154.53/151.92	c cleaning 91992 clauses out of 184055 with flag 20922397/4361000
158.51/156.09	c cleaning 92986 clauses out of 186063 with flag 21332690/4455000
162.99/160.57	c cleaning 94024 clauses out of 188077 with flag 21743051/4550000
167.38/164.96	c cleaning 94992 clauses out of 190053 with flag 22162713/4646000
171.58/169.17	c cleaning 96015 clauses out of 192062 with flag 22577676/4743001
176.26/173.80	c cleaning 96980 clauses out of 194048 with flag 22997092/4841002
180.95/178.55	c cleaning 98015 clauses out of 196066 with flag 23419148/4940000
185.84/183.46	c cleaning 99013 clauses out of 198051 with flag 23844471/5040000
190.64/188.31	c cleaning 99977 clauses out of 200038 with flag 24271369/5141000
195.23/192.98	c cleaning 100992 clauses out of 202062 with flag 24695054/5243001
200.43/198.13	c cleaning 102008 clauses out of 204069 with flag 25134650/5346000
205.21/202.91	c cleaning 102997 clauses out of 206062 with flag 25567348/5450001
210.10/207.84	c cleaning 103995 clauses out of 208065 with flag 26003655/5555001
215.18/213.00	c cleaning 105008 clauses out of 210069 with flag 26448818/5661000
220.63/218.42	c cleaning 106021 clauses out of 212061 with flag 26902663/5768000
225.91/223.74	c cleaning 107003 clauses out of 214040 with flag 27354964/5876000
231.21/229.10	c cleaning 108006 clauses out of 216038 with flag 27804933/5985001
236.50/234.36	c cleaning 108989 clauses out of 218032 with flag 28248210/6095001
242.08/239.90	c cleaning 110005 clauses out of 220043 with flag 28714854/6206001
247.59/245.46	c cleaning 110989 clauses out of 222038 with flag 29162847/6318001
253.09/251.05	c cleaning 111993 clauses out of 224049 with flag 29622287/6431001
258.78/256.71	c cleaning 113003 clauses out of 226055 with flag 30094269/6545000
264.66/262.67	c cleaning 113990 clauses out of 228053 with flag 30563605/6660001
270.37/268.39	c cleaning 115021 clauses out of 230063 with flag 31024804/6776001
276.26/274.27	c cleaning 116004 clauses out of 232043 with flag 31495585/6893002
282.38/280.61	c cleaning 116986 clauses out of 234039 with flag 31967722/7011002
288.60/286.88	c cleaning 117999 clauses out of 236051 with flag 32445564/7130000
294.49/292.79	c cleaning 118997 clauses out of 238052 with flag 32936275/7250000
300.78/299.02	c cleaning 120007 clauses out of 240056 with flag 33414311/7371001
307.06/305.32	c cleaning 121006 clauses out of 242048 with flag 33901600/7493000
313.63/312.21	c cleaning 122008 clauses out of 244042 with flag 34386516/7616000
319.91/318.51	c cleaning 122982 clauses out of 246034 with flag 34883640/7740000
327.39/326.02	c cleaning 124022 clauses out of 248053 with flag 35380004/7865001
333.94/332.60	c cleaning 124984 clauses out of 250030 with flag 35879474/7991000
340.57/339.58	c cleaning 126007 clauses out of 252047 with flag 36376959/8118001
347.30/346.39	c cleaning 126997 clauses out of 254039 with flag 36872813/8246000
354.08/353.11	c cleaning 127996 clauses out of 256042 with flag 37382004/8375000
360.97/360.09	c cleaning 128997 clauses out of 258047 with flag 37894591/8505001
367.79/366.85	c cleaning 129997 clauses out of 260050 with flag 38394406/8636001
374.40/373.71	c cleaning 130997 clauses out of 262052 with flag 38900340/8768000
381.36/380.72	c cleaning 132000 clauses out of 264055 with flag 39408657/8901000
388.20/387.66	c cleaning 133003 clauses out of 266055 with flag 39915033/9035000
395.73/395.21	c cleaning 134001 clauses out of 268053 with flag 40446657/9170001
402.61/402.42	c cleaning 135000 clauses out of 270051 with flag 40964257/9306000
409.74/409.69	c cleaning 135994 clauses out of 272051 with flag 41491866/9443000
416.94/416.81	c cleaning 136998 clauses out of 274057 with flag 42010991/9581000
424.08/424.08	c cleaning 138017 clauses out of 276060 with flag 42526649/9720001
432.30/432.46	c cleaning 139000 clauses out of 278042 with flag 43052795/9860000
440.07/440.24	c cleaning 139994 clauses out of 280042 with flag 43599445/10001000
447.21/447.35	c cleaning 140998 clauses out of 282049 with flag 44132708/10143001
454.49/454.69	c cleaning 142010 clauses out of 284052 with flag 44672214/10286002
462.29/462.51	c cleaning 142994 clauses out of 286041 with flag 45206351/10430001
470.22/470.45	c cleaning 144001 clauses out of 288046 with flag 45756753/10575000
477.98/478.19	c cleaning 145012 clauses out of 290048 with flag 46300323/10721003
485.76/485.94	c cleaning 146003 clauses out of 292034 with flag 46882082/10868001
493.58/494.01	c cleaning 146986 clauses out of 294030 with flag 47427967/11016000
501.70/502.02	c cleaning 148006 clauses out of 296045 with flag 47978092/11165001
509.46/509.80	c cleaning 148998 clauses out of 298040 with flag 48534423/11315002
517.36/517.72	c cleaning 149993 clauses out of 300040 with flag 49092716/11466000
525.26/525.92	c cleaning 151015 clauses out of 302049 with flag 49664879/11618002
533.65/534.32	c cleaning 152014 clauses out of 304033 with flag 50239707/11771001
541.70/542.31	c cleaning 152995 clauses out of 306018 with flag 50807461/11925000
549.88/550.52	c cleaning 153986 clauses out of 308026 with flag 51384613/12080003
558.37/559.15	c cleaning 155008 clauses out of 310038 with flag 51963302/12236001
567.31/568.04	c cleaning 156003 clauses out of 312030 with flag 52561341/12393001
575.64/576.33	c cleaning 156990 clauses out of 314026 with flag 53146921/12551000
584.13/585.03	c cleaning 158002 clauses out of 316036 with flag 53734816/12710000
592.61/593.51	c cleaning 159001 clauses out of 318034 with flag 54346472/12870000
601.15/602.03	c cleaning 160012 clauses out of 320033 with flag 54945172/13031000
609.71/610.65	c cleaning 160998 clauses out of 322021 with flag 55560229/13193000
618.28/619.31	c cleaning 161997 clauses out of 324024 with flag 56156383/13356001
627.58/628.62	c cleaning 162997 clauses out of 326026 with flag 56789939/13520000
637.35/638.41	c cleaning 164008 clauses out of 328031 with flag 57426230/13685002
647.29/648.44	c cleaning 164992 clauses out of 330021 with flag 58084865/13851000
656.92/658.07	c cleaning 165997 clauses out of 332030 with flag 58734296/14018001
666.38/667.47	c cleaning 167003 clauses out of 334032 with flag 59379860/14186000
676.63/677.70	c cleaning 167985 clauses out of 336030 with flag 60041995/14355001
686.92/688.08	c cleaning 169000 clauses out of 338044 with flag 60703633/14525000
697.12/698.25	c cleaning 169995 clauses out of 340046 with flag 61358556/14696002
706.87/708.07	c cleaning 171009 clauses out of 342052 with flag 62009367/14868003
717.03/718.19	c cleaning 171991 clauses out of 344041 with flag 62674860/15041001
726.59/727.79	c cleaning 173017 clauses out of 346050 with flag 63322931/15215001
736.68/737.95	c cleaning 174001 clauses out of 348033 with flag 63980215/15390001
746.84/748.09	c cleaning 174993 clauses out of 350032 with flag 64641443/15566001
757.76/758.98	c cleaning 176003 clauses out of 352039 with flag 65316476/15743001
768.76/770.16	c cleaning 176997 clauses out of 354035 with flag 66000517/15921000
779.89/781.24	c cleaning 178011 clauses out of 356039 with flag 66686761/16100001
791.51/792.86	c cleaning 178995 clauses out of 358028 with flag 67385980/16280001
802.40/803.73	c cleaning 180001 clauses out of 360032 with flag 68076709/16461000
812.48/813.83	c cleaning 181002 clauses out of 362033 with flag 68741268/16643002
823.72/825.08	c cleaning 182004 clauses out of 364029 with flag 69434162/16826000
835.29/836.66	c cleaning 182990 clauses out of 366025 with flag 70134014/17010000
846.35/847.65	c cleaning 183997 clauses out of 368036 with flag 70817608/17195001
856.94/858.17	c cleaning 184999 clauses out of 370039 with flag 71495224/17381001
867.07/868.54	c cleaning 185999 clauses out of 372040 with flag 72168060/17568001
878.89/880.36	c cleaning 186994 clauses out of 374041 with flag 72876550/17756001
890.88/892.55	c cleaning 188006 clauses out of 376047 with flag 73590519/17945001
903.33/904.95	c cleaning 189017 clauses out of 378041 with flag 74323905/18135001
914.62/916.14	c cleaning 189992 clauses out of 380025 with flag 75020839/18326002
927.71/930.09	c cleaning 190994 clauses out of 382031 with flag 75750781/18518000
939.95/942.27	c cleaning 192012 clauses out of 384038 with flag 76469645/18711001
953.18/955.83	c cleaning 192995 clauses out of 386025 with flag 77201119/18905000
966.15/968.72	c cleaning 194006 clauses out of 388031 with flag 77929711/19100001
978.81/981.33	c cleaning 194995 clauses out of 390024 with flag 78670468/19296000
991.14/994.01	c cleaning 196003 clauses out of 392029 with flag 79395071/19493000
1004.49/1007.44	c cleaning 196993 clauses out of 394026 with flag 80156793/19691000
1018.25/1022.61	c cleaning 198002 clauses out of 396034 with flag 80921323/19890001
1031.73/1036.03	c cleaning 198998 clauses out of 398031 with flag 81662196/20090000
1044.68/1048.96	c cleaning 200010 clauses out of 400034 with flag 82415622/20291001
1058.50/1063.08	c cleaning 201000 clauses out of 402023 with flag 83177176/20493000
1072.16/1076.63	c cleaning 201992 clauses out of 404023 with flag 83942859/20696000
1086.61/1091.53	c cleaning 203005 clauses out of 406032 with flag 84716399/20900001
1100.67/1105.60	c cleaning 204002 clauses out of 408029 with flag 85508078/21105003
1114.38/1119.65	c cleaning 204991 clauses out of 410025 with flag 86307527/21311001
1129.16/1134.41	c cleaning 206009 clauses out of 412035 with flag 87104654/21518002
1144.02/1149.58	c cleaning 207002 clauses out of 414024 with flag 87917808/21726000
1159.43/1164.98	c cleaning 207989 clauses out of 416022 with flag 88739983/21935000
1174.27/1180.03	c cleaning 209003 clauses out of 418033 with flag 89542175/22145000
1189.42/1195.16	c cleaning 209997 clauses out of 420031 with flag 90366427/22356001
1204.67/1210.64	c cleaning 210992 clauses out of 422034 with flag 91203076/22568001
1220.50/1226.46	c cleaning 212014 clauses out of 424041 with flag 92024267/22781000
1236.81/1243.07	c cleaning 212990 clauses out of 426027 with flag 92862803/22995000
1252.22/1258.43	c cleaning 213997 clauses out of 428038 with flag 93706893/23210001
1267.66/1274.06	c cleaning 215007 clauses out of 430040 with flag 94543608/23426000
1283.44/1289.83	c cleaning 216000 clauses out of 432034 with flag 95379356/23643001
1301.03/1307.63	c cleaning 216992 clauses out of 434033 with flag 96241619/23861000
1317.67/1324.20	c cleaning 218011 clauses out of 436042 with flag 97106131/24080001
1334.81/1341.65	c cleaning 218996 clauses out of 438030 with flag 97975327/24300000
1352.37/1359.33	c cleaning 220007 clauses out of 440034 with flag 98847811/24521000
1369.67/1376.68	c cleaning 220999 clauses out of 442028 with flag 99727690/24743001
1386.49/1393.97	c cleaning 222005 clauses out of 444028 with flag 100604844/24966000
1403.52/1411.00	c cleaning 222999 clauses out of 446024 with flag 101489012/25190001
1421.50/1428.93	c cleaning 223999 clauses out of 448025 with flag 102391116/25415001
1440.03/1447.43	c cleaning 225004 clauses out of 450026 with flag 103305186/25641001
1460.61/1468.13	c cleaning 225992 clauses out of 452021 with flag 104253507/25868000
1478.97/1486.75	c cleaning 227002 clauses out of 454030 with flag 105188898/26096001
1500.01/1507.79	c cleaning 228005 clauses out of 456027 with flag 106139354/26325000
1519.95/1527.86	c cleaning 228999 clauses out of 458024 with flag 107081108/26555002
1540.41/1548.64	c cleaning 230000 clauses out of 460024 with flag 108037420/26786001
1560.04/1568.26	c cleaning 231002 clauses out of 462024 with flag 109006917/27018001
1581.54/1590.95	c cleaning 231999 clauses out of 464022 with flag 109977210/27251001
1603.86/1613.33	c cleaning 233005 clauses out of 466023 with flag 110964481/27485001
1628.05/1637.44	c cleaning 233997 clauses out of 468018 with flag 111964779/27720001
1651.99/1661.44	c cleaning 235001 clauses out of 470020 with flag 112977865/27956000
1676.02/1685.81	c cleaning 236003 clauses out of 472019 with flag 113996420/28193000
1704.06/1713.34	c cleaning 236999 clauses out of 474016 with flag 115035855/28431000
1734.21/1743.63	c cleaning 238002 clauses out of 476017 with flag 116100264/28670000
1767.19/1775.28	c starts		: 20264
1767.19/1775.28	c conflicts		: 28909423
1767.19/1775.28	c decisions		: 39971387
1767.19/1775.28	c propagations		: 246892267
1767.19/1775.28	c inspects		: 30333509623
1767.19/1775.28	c shortcuts		: 0
1767.19/1775.28	c learnt literals	: 13
1767.19/1775.28	c learnt binary clauses	: 77
1767.19/1775.28	c learnt ternary clauses	: 319
1767.19/1775.28	c learnt constraints	: 28909409
1767.19/1775.29	c ignored constraints	: 0
1767.19/1775.29	c root simplifications	: 0
1767.19/1775.29	c removed literals (reason simplification)	: 26408108
1767.19/1775.29	c reason swapping (by a shorter reason)	: 0
1767.19/1775.29	c Calls to reduceDB	: 235
1767.19/1775.29	c Number of update (reduction) of LBD	: 6503561
1767.19/1775.29	c Imported unit clauses	: 0
1767.19/1775.29	c No decision after first conflict	: false
1767.19/1775.29	c number of reductions to clauses (during analyze)	: 0
1767.19/1775.29	c number of learned constraints concerned by reduction	: 0
1767.19/1775.29	c number of learning phase by resolution	: 0
1767.19/1775.29	c number of learning phase by cutting planes	: 0
1767.19/1775.29	c number of rounding to 1 operations	: 0
1767.19/1775.29	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1767.19/1775.29	c number of reductions of the coefficients by power 2 	: 0
1767.19/1775.29	c number of right shift for reduction by power 2 	: 0
1767.19/1775.29	c number of reductions of the coefficients by GCD over coefficients 	: 0
1767.19/1775.29	c number of ending skipping 	: 0
1767.19/1775.29	c number of internal skipping 	: 0
1767.19/1775.29	c number of derivation steps 	: 0
1767.19/1775.29	c number of skipped derivation steps 	: 0
1767.19/1775.29	c number of remaining unassigned 	: 0
1767.19/1775.29	c number of remaining assigned 	: 0
1767.19/1775.29	c number of falsified literals weakened from reason	: 0
1767.19/1775.29	c number of falsified literals weakened from conflict	: 0
1767.19/1775.29	c time for arithmetic operations	: 0
1767.19/1775.29	c minimum degree of deleted constraints	: null
1767.19/1775.29	c maximum degree of deleted constraints	: null
1767.19/1775.29	c number of deleted constraints	: 0
1767.19/1775.29	c speed (assignments/second)	: 139104.97148230596
1767.19/1775.29	c non guided choices	: 2527596
1767.31/1775.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 477347
1767.31/1775.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 77
1767.31/1775.38	s UNSATISFIABLE
1767.31/1775.38	c Total wall clock time (in seconds): 1775.095

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=236643, runsolver pid=236640

[startup+0.100148 s]*
/proc/loadavg: 4.09 4.20 4.27 6/319 236661
/proc/meminfo: memFree=95936480/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=18993908 memory=57156 CPUtime=0.11 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 6518 0 0 0 8 3 0 0 20 0 18 0 18918727 19449761792 14289 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4748477 14289 5882 1 0 550822 0
[pid=236643/tid=236645] ppid=236640 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 5463 0 0 0 6 2 0 0 20 0 18 0 18918727 19449761792 14289 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18918733 19449761792 14289 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=18993908 memory=3618136736603272068 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18918734 19449761792 14289 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57156 KiB

[startup+0.205868 s]*
/proc/loadavg: 4.09 4.20 4.27 5/319 236661
/proc/meminfo: memFree=95927988/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=18993908 memory=64144 CPUtime=0.25 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 7257 0 0 0 21 4 0 0 20 0 18 0 18918727 19449761792 16036 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4748477 16036 5890 1 0 551422 0
[pid=236643/tid=236645] ppid=236640 vsize=18993908 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 5793 0 0 0 16 3 0 0 20 0 18 0 18918727 19449761792 16036 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=18993908 memory=952865 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18918733 19449761792 16036 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18918734 19449761792 16036 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 64144 KiB

[startup+0.306231 s]*
/proc/loadavg: 4.09 4.20 4.27 6/319 236661
/proc/meminfo: memFree=95924316/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=18993908 memory=67172 CPUtime=0.41 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 7549 0 0 0 37 4 0 0 20 0 18 0 18918727 19449761792 16793 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4748477 16793 5905 1 0 551635 0
[pid=236643/tid=236645] ppid=236640 vsize=18993908 memory=-9176476106794705596 CPUtime=0.28 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) S 236640 236643 230684 0 -1 1077936192 5985 0 0 0 25 3 0 0 20 0 18 0 18918727 19449761792 16793 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18918733 19449761792 16793 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18918734 19449761792 16793 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67172 KiB

[startup+0.701143 s]
/proc/loadavg: 4.09 4.20 4.27 7/320 236662
/proc/meminfo: memFree=95907156/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19060472 memory=94244 CPUtime=1.14 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 9708 0 0 0 108 6 0 0 20 0 19 0 18918727 19517923328 23561 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4765118 23561 6045 1 0 553225 0
[pid=236643/tid=236645] ppid=236640 vsize=19060472 memory=5640 CPUtime=0.63 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 6109 0 0 0 59 4 0 0 20 0 19 0 18918727 19517923328 23561 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19060472 memory=12240 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18918733 19517923328 23561 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19060472 memory=5069 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18918734 19517923328 23561 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19060472 memory=2244 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18918769 19517923328 23561 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 94244 KiB

[startup+1.50614 s]
/proc/loadavg: 4.32 4.25 4.29 6/320 236662
/proc/meminfo: memFree=95865212/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19060472 memory=173016 CPUtime=2.73 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 19676 0 0 0 263 10 0 0 20 0 19 0 18918727 19517923328 43254 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4765118 43254 6061 1 0 556816 0
[pid=236643/tid=236645] ppid=236640 vsize=19060472 memory=0 CPUtime=1.42 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 6760 0 0 0 136 6 0 0 20 0 19 0 18918727 19517923328 43254 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18918733 19517923328 43254 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19060472 memory=12240 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18918734 19517923328 43254 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19060472 memory=952902 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18918769 19517923328 43254 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 173016 KiB

[startup+3.10615 s]
/proc/loadavg: 4.32 4.25 4.29 5/321 236663
/proc/meminfo: memFree=95771752/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=202984 CPUtime=5.41 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 22419 0 0 0 528 13 0 0 20 0 20 0 18918727 19586084864 50746 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 50746 6077 1 0 557128 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=0 CPUtime=2.96 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 7200 0 0 0 288 8 0 0 20 0 20 0 18918727 19586084864 50746 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 50746 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=33 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 50746 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 50746 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 202984 KiB

[startup+6.30115 s]
/proc/loadavg: 4.30 4.25 4.28 5/321 236663
/proc/meminfo: memFree=95414328/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=511152 CPUtime=9 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 22931 0 0 0 876 24 0 0 20 0 20 0 18918727 19586084864 127788 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 127788 6077 1 0 557129 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=0 CPUtime=6.07 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 7645 0 0 0 589 18 0 0 20 0 20 0 18918727 19586084864 127788 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=7449624942814323556 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 127788 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=509104 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 127788 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=181616 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 127788 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 9 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 511152 KiB

[startup+12.7004 s]
/proc/loadavg: 4.27 4.24 4.28 5/323 237048
/proc/meminfo: memFree=94853820/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=992932 CPUtime=16.39 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 26754 0 0 0 1599 40 0 0 20 0 20 0 18918727 19586084864 248233 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 248233 6109 1 0 557129 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=828968 CPUtime=12.33 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 8399 0 0 0 1200 33 0 0 20 0 20 0 18918727 19586084864 248233 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=992932 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 248233 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=992904 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 248233 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=2232 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 248233 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 992932 KiB

[startup+25.5004 s]
/proc/loadavg: 4.23 4.23 4.28 5/321 237050
/proc/meminfo: memFree=94368220/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=1326860 CPUtime=29.33 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 32676 0 0 0 2874 59 0 0 20 0 20 0 18918727 19586084864 331715 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 331715 6109 1 0 557129 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=2232 CPUtime=24.98 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 10178 0 0 0 2448 50 0 0 20 0 20 0 18918727 19586084864 331715 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=1070852 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 331715 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=-9176476106794705596 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 331715 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 331715 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 29.33 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1326860 KiB

[startup+51.1134 s]
/proc/loadavg: 4.24 4.24 4.28 4/321 237054
/proc/meminfo: memFree=94054560/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=1333008 CPUtime=54.69 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 35758 0 0 0 5392 77 0 0 20 0 20 0 18918727 19586084864 333252 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 333252 6109 1 0 557129 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=0 CPUtime=50.09 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 11757 0 0 0 4942 67 0 0 20 0 20 0 18918727 19586084864 333252 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=20964 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 333252 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0

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

/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1544 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 546757 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=2187028 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 546757 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1713.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2187028 KiB

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

# cumulated CPU time of all completed processes:  user=1759.97 s, system=7.52527 s

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

[startup+1740.8 s]
/proc/loadavg: 4.34 4.23 4.21 5/319 237549
/proc/meminfo: memFree=79539200/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=2187032 CPUtime=1731.42 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 107492 0 0 0 172400 742 0 0 20 0 20 0 18918727 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 546758 6109 1 0 559994 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=18484 CPUtime=1705.21 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 46076 0 0 0 169883 638 0 0 20 0 20 0 18918727 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1492 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=70176 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1544 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=-9176476106794705596 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1731.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2187032 KiB

[startup+1753.6 s]
/proc/loadavg: 4.27 4.22 4.20 4/319 237552
/proc/meminfo: memFree=79470436/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=2187032 CPUtime=1744.19 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 108051 0 0 0 173674 745 0 0 20 0 20 0 18918727 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 546758 6109 1 0 559994 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=2187028 CPUtime=1717.97 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 46496 0 0 0 171157 640 0 0 20 0 20 0 18918727 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1492 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=2187028 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=2187028 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=2187028 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 546758 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1744.19 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2187032 KiB

[startup+1766.4 s]
/proc/loadavg: 4.21 4.21 4.20 5/319 237553
/proc/meminfo: memFree=79383228/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=2187248 CPUtime=1756.95 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 110544 0 0 0 174948 747 0 0 20 0 20 0 18918727 19586084864 546812 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 546812 6109 1 0 560008 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=12264 CPUtime=1730.5 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 46670 0 0 0 172408 642 0 0 20 0 20 0 18918727 19586084864 546812 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1500 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=5644 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 546812 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=19856 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 546812 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=2187032 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 546812 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1756.95 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2187248 KiB

[startup+1769.6 s]
/proc/loadavg: 4.21 4.21 4.20 8/319 237555
/proc/meminfo: memFree=79356236/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=2187404 CPUtime=1760.59 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 113713 0 0 0 175310 749 0 0 20 0 20 0 18918727 19586084864 546851 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 546851 6109 1 0 560088 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=2187248 CPUtime=1733.68 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 47579 0 0 0 172726 642 0 0 20 0 20 0 18918727 19586084864 546851 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1500 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=5640 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 546851 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=100 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 546851 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=2187248 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 546851 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1760.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2187404 KiB

[startup+1772.8 s]
/proc/loadavg: 4.19 4.21 4.20 5/319 237555
/proc/meminfo: memFree=79338496/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=2189688 CPUtime=1764.21 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 114689 0 0 0 175671 750 0 0 20 0 20 0 18918727 19586084864 547422 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 547422 6109 1 0 560092 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=12264 CPUtime=1736.87 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 47778 0 0 0 173044 643 0 0 20 0 20 0 18918727 19586084864 547422 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1500 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=2232 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 547422 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=2187404 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 547422 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=2187248 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 547422 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1764.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189688 KiB

[startup+1774.4 s]
/proc/loadavg: 4.19 4.21 4.20 5/319 237555
/proc/meminfo: memFree=79267568/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=2189772 CPUtime=1766.4 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 114723 0 0 0 175890 750 0 0 20 0 20 0 18918727 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 547443 6109 1 0 560092 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=70176 CPUtime=1738.47 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 47780 0 0 0 173204 643 0 0 20 0 20 0 18918727 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1500 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=5640 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=18484 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1766.4 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189772 KiB

[startup+1775.2 s]
/proc/loadavg: 4.19 4.21 4.20 5/319 237555
/proc/meminfo: memFree=79263592/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19127036 memory=2189772 CPUtime=1767.19 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 114728 0 0 0 175969 750 0 0 20 0 20 0 18918727 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4781759 547443 6109 1 0 560092 0
[pid=236643/tid=236645] ppid=236640 vsize=19127036 memory=1896 CPUtime=1739.26 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) R 236640 236643 230684 0 -1 4194368 47784 0 0 0 173283 643 0 0 20 0 20 0 18918727 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1500 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18918733 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19127036 memory=70176 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 20 0 18918734 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236662] ppid=236640 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/236643/task/236662/stat : 236662 (Timer-0) S 236640 236643 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18918769 19586084864 547443 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1767.19 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189772 KiB

[startup+1775.4 s]
/proc/loadavg: 4.19 4.21 4.20 5/319 237555
/proc/meminfo: memFree=79263592/131655788 swapFree=131061124/131071996
[pid=236643] ppid=236640 vsize=19260164 memory=2190632 CPUtime=1767.46 cores=0,2
/proc/236643/stat : 236643 (java) S 236640 236643 230684 0 -1 1077936128 116017 0 0 0 175996 750 0 0 20 0 14 0 18918727 19722407936 547658 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
/proc/236643/statm: 4815041 547658 6121 1 0 560795 0
[pid=236643/tid=236645] ppid=236640 vsize=19260164 memory=100 CPUtime=1739.32 cores=0,2
/proc/236643/task/236645/stat : 236645 (java) S 236640 236643 230684 0 -1 1077936192 48447 0 0 0 173289 643 0 0 20 0 14 0 18918727 19722407936 547658 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1501 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236654] ppid=236640 vsize=19260164 memory=20964 CPUtime=0 cores=0,2
/proc/236643/task/236654/stat : 236654 (Finalizer) S 236640 236643 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 14 0 18918733 19722407936 547658 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
[pid=236643/tid=236661] ppid=236640 vsize=19260164 memory=2252 CPUtime=0 cores=0,2
/proc/236643/task/236661/stat : 236661 (Common-Cleaner) S 236640 236643 230684 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 14 0 18918734 19722407936 547658 134679101440 94227036160000 94227036163696 140729046435168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94227036171512 94227036172304 94227045318656 140729046438831 140729046439013 140729046439013 140729046446024 0
Current children cumulated CPU time: 1767.46 s
Current children cumulated vsize: 19260164 KiB
Current children cumulated memory: 2190632 KiB

Child status: 20

Real time (s): 1775.42
CPU time (s): 1767.49
CPU user time (s): 1759.97
CPU system time (s): 7.52527
CPU usage (%): 99.5535
Max. virtual memory (cumulated for all children) (KiB): 19260164
Max. memory (cumulated for all children) (KiB): 2190632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.97
system time used= 7.52527
maximum resident set size= 2192008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7679024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58869
involuntary context switches= 13971


# summary of solver processes directly reported to runsolver:
#   pid: 236643
#   total CPU time (s): 1767.49
#   total CPU user time (s): 1759.97
#   total CPU system time (s): 7.52527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07431 second user time and 17.8625 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-24 15:54:53
IDJOB=4451062
IDBENCH=162341
IDSOLVER=3079
FILE ID=nodeC005/4451062-1721829293
RUNJOBID= nodeC005-1721820325-230694
SLURM_JOB_ID= 7891450
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.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-4451062-1721829293/watcher-4451062-1721829293 -o /tmp/evaluation-result-4451062-1721829293/solver-4451062-1721829293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230694 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451062-1721829293 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451062-1721829293.opb

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

MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
RANDOM SEED=2049239296

nodeC005.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		: 1197.148
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.14
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		: 3647.094
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		: 3491.613
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.14
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.209
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		: 3661.694
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.14
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		: 3654.167
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.286
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.14
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.281
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:        95973336 kB
MemAvailable:   122816924 kB
Buffers:          255532 kB
Cached:         27352032 kB
SwapCached:          612 kB
Active:          2495548 kB
Inactive:       32487856 kB
Active(anon):       1600 kB
Inactive(anon):  7427320 kB
Active(file):    2493948 kB
Inactive(file): 25060536 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:             87660 kB
Writeback:             4 kB
AnonPages:       7375160 kB
Mapped:           138196 kB
Shmem:             53264 kB
KReclaimable:     258268 kB
Slab:             372248 kB
SReclaimable:     258268 kB
SUnreclaim:       113980 kB
KernelStack:        4864 kB
PageTables:        24900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8044912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10848 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7016448 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-24 16:24:29