Trace number 4454104

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.23 3608.49

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
MD5SUMea45ea8fc9874a86ca315aec231afca1
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 benchmark0.64065
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3220
Total number of constraints1680
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint92
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 35184372088832
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 140737488355327
Number of bits of the biggest sum of numbers47
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4454104-1721494156.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.059s.
0.13/0.18	c declared #vars     3220
0.13/0.18	c #constraints  3359
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1334
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2025
0.13/0.18	c 3359 constraints processed.
1.28/0.71	c cleaning 2496 clauses out of 5000 with flag 31452/5000
1.81/1.02	c cleaning 4244 clauses out of 8504 with flag 86958/11000
2.19/1.25	c cleaning 5620 clauses out of 11260 with flag 136527/18000
2.58/1.48	c cleaning 6801 clauses out of 13640 with flag 193081/26000
2.95/1.76	c cleaning 7888 clauses out of 15839 with flag 260887/35000
3.40/2.19	c cleaning 8944 clauses out of 17951 with flag 353366/45000
3.80/2.52	c cleaning 9981 clauses out of 20007 with flag 428763/56000
4.11/2.84	c cleaning 10979 clauses out of 22026 with flag 499831/68000
4.60/3.21	c cleaning 12024 clauses out of 24048 with flag 583327/81001
4.90/3.50	c cleaning 12994 clauses out of 26024 with flag 664961/95001
5.40/4.07	c cleaning 13989 clauses out of 28029 with flag 775812/110000
5.79/4.44	c cleaning 14985 clauses out of 30040 with flag 869379/126000
6.23/4.81	c cleaning 16012 clauses out of 32056 with flag 970615/143001
6.85/5.43	c cleaning 17004 clauses out of 34043 with flag 1078925/161000
7.74/6.36	c cleaning 18006 clauses out of 36040 with flag 1208383/180001
8.44/7.06	c cleaning 18998 clauses out of 38033 with flag 1330595/200000
8.94/7.57	c cleaning 20007 clauses out of 40035 with flag 1454372/221000
9.44/8.06	c cleaning 20970 clauses out of 42028 with flag 1570596/243000
10.64/9.24	c cleaning 22009 clauses out of 44059 with flag 1733718/266001
11.24/9.84	c cleaning 23006 clauses out of 46050 with flag 1874788/290001
11.94/10.58	c cleaning 23988 clauses out of 48043 with flag 2016874/315000
12.75/11.31	c cleaning 25002 clauses out of 50055 with flag 2167632/341000
13.47/12.06	c cleaning 25997 clauses out of 52054 with flag 2327724/368001
14.47/13.01	c cleaning 26995 clauses out of 54057 with flag 2512447/396001
15.16/13.74	c cleaning 27977 clauses out of 56061 with flag 2681144/425000
16.05/14.69	c cleaning 29019 clauses out of 58085 with flag 2862070/455001
16.95/15.52	c cleaning 30008 clauses out of 60067 with flag 3038421/486002
17.85/16.43	c cleaning 31000 clauses out of 62057 with flag 3224140/518000
18.95/17.58	c cleaning 31964 clauses out of 64062 with flag 3410237/551005
20.14/18.78	c cleaning 33009 clauses out of 66093 with flag 3601557/585000
21.14/19.79	c cleaning 33975 clauses out of 68085 with flag 3792064/620001
22.83/21.42	c cleaning 35010 clauses out of 70109 with flag 4004812/656000
24.23/22.83	c cleaning 36012 clauses out of 72099 with flag 4231991/693000
25.73/24.37	c cleaning 37020 clauses out of 74087 with flag 4457022/731000
26.82/25.46	c cleaning 37981 clauses out of 76067 with flag 4664294/770000
28.22/26.87	c cleaning 39029 clauses out of 78086 with flag 4880553/810000
29.72/28.22	c cleaning 40001 clauses out of 80057 with flag 5109673/851000
31.12/29.62	c cleaning 41008 clauses out of 82056 with flag 5340432/893000
32.62/31.11	c cleaning 41993 clauses out of 84051 with flag 5575911/936003
34.21/32.76	c cleaning 42979 clauses out of 86055 with flag 5821330/980000
35.71/34.24	c cleaning 43995 clauses out of 88076 with flag 6066911/1025000
37.40/35.94	c cleaning 45021 clauses out of 90081 with flag 6312862/1071000
39.30/37.84	c cleaning 46010 clauses out of 92060 with flag 6562346/1118000
41.63/40.11	c cleaning 47014 clauses out of 94051 with flag 6830588/1166001
43.32/41.87	c cleaning 47981 clauses out of 96036 with flag 7098256/1215000
45.02/43.52	c cleaning 49000 clauses out of 98057 with flag 7356547/1265002
46.78/45.21	c cleaning 50017 clauses out of 100057 with flag 7626248/1316002
48.47/46.96	c cleaning 50963 clauses out of 102039 with flag 7909560/1368001
50.37/48.80	c cleaning 51989 clauses out of 104075 with flag 8179656/1421000
52.26/50.75	c cleaning 53024 clauses out of 106089 with flag 8465312/1475003
55.26/53.70	c cleaning 54016 clauses out of 108065 with flag 8793769/1530003
57.35/55.86	c cleaning 54999 clauses out of 110049 with flag 9091526/1586003
59.84/58.33	c cleaning 56008 clauses out of 112047 with flag 9392742/1643000
61.93/60.40	c cleaning 56985 clauses out of 114042 with flag 9695776/1701003
64.07/62.57	c cleaning 58027 clauses out of 116054 with flag 9990159/1760000
66.57/65.04	c cleaning 58972 clauses out of 118028 with flag 10297844/1820001
68.75/67.21	c cleaning 59988 clauses out of 120055 with flag 10618450/1881000
71.25/69.74	c cleaning 60984 clauses out of 122068 with flag 10950236/1943001
74.45/72.95	c cleaning 62025 clauses out of 124084 with flag 11289574/2006001
77.35/75.82	c cleaning 62983 clauses out of 126058 with flag 11622552/2070000
79.84/78.39	c cleaning 64023 clauses out of 128076 with flag 11946780/2135001
82.83/81.33	c cleaning 64995 clauses out of 130052 with flag 12310885/2201000
85.82/84.33	c cleaning 65987 clauses out of 132058 with flag 12651103/2268001
89.32/87.89	c cleaning 67025 clauses out of 134072 with flag 12999385/2336002
92.02/90.59	c cleaning 68002 clauses out of 136045 with flag 13356790/2405000
95.51/94.05	c cleaning 69014 clauses out of 138048 with flag 13722950/2475005
98.60/97.16	c cleaning 69986 clauses out of 140030 with flag 14081890/2546001
102.00/100.51	c cleaning 71010 clauses out of 142044 with flag 14446109/2618001
105.60/104.12	c cleaning 71982 clauses out of 144033 with flag 14817895/2691000
109.38/107.95	c cleaning 72998 clauses out of 146053 with flag 15218790/2765002
112.82/111.33	c cleaning 73998 clauses out of 148054 with flag 15577071/2840001
116.21/114.74	c cleaning 74970 clauses out of 150055 with flag 15960276/2916000
120.29/118.81	c cleaning 75992 clauses out of 152085 with flag 16353046/2993000
124.28/122.87	c cleaning 77023 clauses out of 154095 with flag 16724274/3071002
128.40/126.98	c cleaning 78003 clauses out of 156071 with flag 17138916/3150001
134.39/132.91	c cleaning 79006 clauses out of 158067 with flag 17581238/3230000
137.88/136.44	c cleaning 80019 clauses out of 160062 with flag 17990060/3311001
141.96/140.59	c cleaning 80986 clauses out of 162042 with flag 18399460/3393000
145.95/144.59	c cleaning 82006 clauses out of 164056 with flag 18814300/3476000
150.05/148.66	c cleaning 83006 clauses out of 166051 with flag 19229493/3560001
154.04/152.60	c cleaning 84000 clauses out of 168045 with flag 19656004/3645001
158.15/156.72	c cleaning 84956 clauses out of 170044 with flag 20065021/3731000
163.23/161.82	c cleaning 85972 clauses out of 172089 with flag 20508509/3818001
167.62/166.21	c cleaning 87046 clauses out of 174117 with flag 20960805/3906001
172.20/170.87	c cleaning 88023 clauses out of 176074 with flag 21419565/3995004
176.90/175.55	c cleaning 89000 clauses out of 178047 with flag 21860486/4085000
181.39/180.05	c cleaning 90002 clauses out of 180047 with flag 22272037/4176000
185.67/184.38	c cleaning 91006 clauses out of 182045 with flag 22700732/4268000
190.65/189.32	c cleaning 91980 clauses out of 184039 with flag 23175325/4361000
195.24/193.98	c cleaning 93004 clauses out of 186059 with flag 23628453/4455000
199.97/198.66	c cleaning 94012 clauses out of 188058 with flag 24085989/4550003
205.06/203.77	c cleaning 94989 clauses out of 190043 with flag 24583529/4646000
211.24/209.90	c cleaning 96005 clauses out of 192055 with flag 25086427/4743001
218.72/217.49	c cleaning 96991 clauses out of 194052 with flag 25600989/4841003
223.61/222.35	c cleaning 97943 clauses out of 196058 with flag 26074456/4940000
231.74/230.40	c cleaning 99011 clauses out of 198116 with flag 26658400/5040001
236.44/235.15	c cleaning 100017 clauses out of 200106 with flag 27146078/5141002
241.92/240.64	c cleaning 101028 clauses out of 202087 with flag 27634517/5243000
247.20/245.96	c cleaning 102010 clauses out of 204059 with flag 28138683/5346000
252.79/251.55	c cleaning 102948 clauses out of 206049 with flag 28635730/5450000
258.54/257.21	c cleaning 104016 clauses out of 208103 with flag 29141838/5555002
264.43/263.15	c cleaning 105029 clauses out of 210091 with flag 29666046/5661006
269.71/268.43	c cleaning 105907 clauses out of 212056 with flag 30168761/5768000
275.08/273.87	c cleaning 106956 clauses out of 214149 with flag 30670903/5876000
281.01/279.75	c cleaning 108027 clauses out of 216194 with flag 31186147/5985001
287.12/285.89	c cleaning 108992 clauses out of 218167 with flag 31713415/6095001
293.60/292.31	c cleaning 110006 clauses out of 220175 with flag 32237278/6206001
301.67/300.46	c cleaning 111044 clauses out of 222168 with flag 32829438/6318000
309.16/307.92	c cleaning 111774 clauses out of 224124 with flag 33420628/6431000
316.04/314.89	c cleaning 112993 clauses out of 226352 with flag 33985165/6545002
323.81/322.65	c cleaning 114153 clauses out of 228357 with flag 34579855/6660000
330.48/329.23	c cleaning 114877 clauses out of 230204 with flag 35133412/6776000
337.95/336.70	c cleaning 115727 clauses out of 232329 with flag 35735696/6893002
344.83/343.68	c cleaning 116933 clauses out of 234600 with flag 36298071/7011000
351.51/350.34	c cleaning 117863 clauses out of 236668 with flag 36852358/7130001
357.79/356.60	c cleaning 118605 clauses out of 238808 with flag 37411284/7250004
364.87/363.74	c cleaning 119800 clauses out of 241199 with flag 37973641/7371000
372.05/370.90	c cleaning 120738 clauses out of 243400 with flag 38588847/7493001
379.30/378.13	c cleaning 121976 clauses out of 245661 with flag 39163289/7616000
386.18/385.09	c cleaning 122625 clauses out of 247685 with flag 39729187/7740000
394.05/392.91	c cleaning 123990 clauses out of 250060 with flag 40307158/7865000
401.93/400.87	c cleaning 124945 clauses out of 252072 with flag 40896276/7991002
410.00/408.92	c cleaning 125845 clauses out of 254127 with flag 41473314/8118002
417.78/416.74	c cleaning 126673 clauses out of 256281 with flag 42077696/8246001
425.76/424.71	c cleaning 127816 clauses out of 258608 with flag 42687397/8375001
435.12/434.18	c cleaning 128797 clauses out of 260793 with flag 43295549/8505002
442.45/441.52	c cleaning 129571 clauses out of 262995 with flag 43866642/8636001
450.37/449.53	c cleaning 130383 clauses out of 265423 with flag 44489503/8768000
458.50/457.72	c cleaning 131905 clauses out of 268041 with flag 45119898/8901001
466.42/465.75	c cleaning 132951 clauses out of 270135 with flag 45731606/9035000
475.73/475.15	c cleaning 133659 clauses out of 272184 with flag 46355085/9170000
483.85/483.34	c cleaning 134594 clauses out of 274527 with flag 46979299/9306002
491.97/491.56	c cleaning 135696 clauses out of 276935 with flag 47602232/9443004
501.58/501.11	c cleaning 136911 clauses out of 279235 with flag 48241665/9581000
510.39/510.02	c cleaning 137720 clauses out of 281326 with flag 48883481/9720002
519.30/519.02	c cleaning 138753 clauses out of 283604 with flag 49546507/9860000
529.51/529.37	c cleaning 140020 clauses out of 285852 with flag 50250171/10001001
538.92/538.88	c cleaning 140674 clauses out of 287831 with flag 50929316/10143000
547.73/547.78	c cleaning 141920 clauses out of 290159 with flag 51548924/10286002
557.43/557.57	c cleaning 142776 clauses out of 292237 with flag 52206922/10430000
567.44/567.66	c cleaning 143745 clauses out of 294462 with flag 52886323/10575001
578.60/578.54	c cleaning 144795 clauses out of 296717 with flag 53564606/10721001
588.23/588.27	c cleaning 145674 clauses out of 298921 with flag 54264644/10868000
597.30/597.35	c cleaning 146521 clauses out of 301247 with flag 54930201/11016000
608.17/608.23	c cleaning 147890 clauses out of 303726 with flag 55653458/11165000
618.24/618.34	c cleaning 148984 clauses out of 305836 with flag 56345282/11315000
628.92/629.03	c cleaning 149930 clauses out of 307852 with flag 57060731/11466000
639.07/639.23	c cleaning 150702 clauses out of 309922 with flag 57757630/11618000
649.44/649.65	c cleaning 151649 clauses out of 312222 with flag 58472839/11771002
659.18/659.36	c cleaning 152690 clauses out of 314571 with flag 59177605/11925000
669.64/669.85	c cleaning 153550 clauses out of 316883 with flag 59888986/12080002
680.11/680.38	c cleaning 154908 clauses out of 319331 with flag 60590156/12236000
690.69/690.93	c cleaning 155264 clauses out of 321423 with flag 61317843/12393000
701.55/701.88	c cleaning 156699 clauses out of 324159 with flag 62035230/12551000
712.41/712.70	c cleaning 158138 clauses out of 326462 with flag 62834866/12710002
722.89/723.27	c cleaning 158738 clauses out of 328323 with flag 63554192/12870001
733.95/734.35	c cleaning 159577 clauses out of 330586 with flag 64289889/13031002
745.01/745.49	c cleaning 160809 clauses out of 333007 with flag 65093531/13193000
755.78/756.26	c cleaning 161659 clauses out of 335202 with flag 65843924/13356004
766.75/767.24	c cleaning 162375 clauses out of 337539 with flag 66581728/13520000
778.33/778.76	c cleaning 163582 clauses out of 340164 with flag 67314275/13685000
790.60/791.02	c cleaning 164764 clauses out of 342583 with flag 68057090/13851001
802.75/803.23	c cleaning 165841 clauses out of 344818 with flag 68804752/14018000
814.32/814.88	c cleaning 166882 clauses out of 346978 with flag 69573457/14186001
826.79/827.35	c cleaning 167723 clauses out of 349097 with flag 70338519/14355002
840.45/841.06	c cleaning 168869 clauses out of 351373 with flag 71117256/14525001
853.51/854.10	c cleaning 169641 clauses out of 353504 with flag 71904213/14696001
867.46/868.19	c cleaning 170553 clauses out of 355862 with flag 72690909/14868000
880.93/881.69	c cleaning 172040 clauses out of 358309 with flag 73497838/15041000
893.49/894.14	c cleaning 172559 clauses out of 360270 with flag 74258762/15215001
906.06/906.72	c cleaning 173771 clauses out of 362710 with flag 75048512/15390000
918.82/919.57	c cleaning 174831 clauses out of 364940 with flag 75823440/15566001
931.58/932.33	c cleaning 175654 clauses out of 367109 with flag 76575805/15743001
946.14/946.97	c cleaning 176839 clauses out of 369454 with flag 77386243/15921000
962.69/963.50	c cleaning 177721 clauses out of 371615 with flag 78246440/16100000
977.95/978.83	c cleaning 178919 clauses out of 373896 with flag 79077892/16280002
993.11/993.95	c cleaning 179909 clauses out of 375975 with flag 79876505/16461000
1007.18/1008.05	c cleaning 180666 clauses out of 378070 with flag 80705593/16643004
1023.03/1023.99	c cleaning 181856 clauses out of 380400 with flag 81514671/16826000
1036.29/1037.23	c cleaning 182703 clauses out of 382544 with flag 82305026/17010000
1049.95/1050.95	c cleaning 183852 clauses out of 384841 with flag 83131127/17195000
1064.60/1065.61	c cleaning 184542 clauses out of 386990 with flag 83962997/17381001
1079.37/1080.48	c cleaning 185645 clauses out of 389447 with flag 84820578/17568000
1093.41/1094.45	c cleaning 186800 clauses out of 391802 with flag 85647906/17756000
1108.66/1109.73	c cleaning 188055 clauses out of 394002 with flag 86521042/17945000
1122.83/1123.95	c cleaning 188630 clauses out of 395947 with flag 87356425/18135000
1137.99/1139.18	c cleaning 189522 clauses out of 398317 with flag 88261939/18326000
1152.74/1153.98	c cleaning 190672 clauses out of 400797 with flag 89090724/18518002
1167.09/1168.39	c cleaning 191644 clauses out of 403123 with flag 89929965/18711000
1182.15/1183.43	c cleaning 192945 clauses out of 405488 with flag 90767713/18905009
1198.61/1199.93	c cleaning 193724 clauses out of 407536 with flag 91672217/19100002
1214.16/1215.54	c cleaning 194633 clauses out of 409811 with flag 92543293/19296001
1232.33/1233.67	c cleaning 195957 clauses out of 412180 with flag 93418290/19493003
1248.59/1249.90	c cleaning 196803 clauses out of 414220 with flag 94297416/19691000
1264.25/1265.65	c cleaning 197542 clauses out of 416417 with flag 95190965/19890000
1281.09/1282.55	c cleaning 198849 clauses out of 418876 with flag 96094309/20090001
1299.34/1300.89	c cleaning 199903 clauses out of 421027 with flag 97063566/20291001
1316.68/1318.23	c cleaning 200940 clauses out of 423124 with flag 97951492/20493001
1332.94/1334.51	c cleaning 201697 clauses out of 425183 with flag 98842674/20696000
1349.19/1350.86	c cleaning 202684 clauses out of 427486 with flag 99737666/20900000
1365.73/1367.42	c cleaning 203548 clauses out of 429803 with flag 100621467/21105001
1383.30/1385.01	c cleaning 204425 clauses out of 432255 with flag 101592898/21311001
1401.55/1403.26	c cleaning 205530 clauses out of 434831 with flag 102515013/21518002
1420.10/1421.87	c cleaning 206926 clauses out of 437299 with flag 103446495/21726000
1436.85/1438.68	c cleaning 207708 clauses out of 439375 with flag 104387948/21935002
1457.19/1459.07	c cleaning 209039 clauses out of 441665 with flag 105381295/22145000
1476.02/1477.99	c cleaning 209836 clauses out of 443626 with flag 106364047/22356000
1495.77/1497.78	c cleaning 210808 clauses out of 445792 with flag 107346650/22568002
1517.01/1519.07	c cleaning 211859 clauses out of 447984 with flag 108313310/22781002
1536.24/1538.22	c cleaning 212416 clauses out of 450127 with flag 109315190/22995004
1554.99/1557.05	c cleaning 213530 clauses out of 452710 with flag 110302989/23210003
1572.05/1574.11	c cleaning 214529 clauses out of 455178 with flag 111245813/23426001
1589.79/1591.92	c cleaning 215800 clauses out of 457649 with flag 112224132/23643001
1609.73/1611.95	c cleaning 216773 clauses out of 459848 with flag 113248941/23861000
1629.28/1631.51	c cleaning 217783 clauses out of 462077 with flag 114255358/24080002
1651.32/1653.16	c cleaning 218956 clauses out of 464293 with flag 115254328/24300001
1672.95/1674.82	c cleaning 219804 clauses out of 466337 with flag 116261303/24521001
1694.09/1696.08	c cleaning 220673 clauses out of 468533 with flag 117274115/24743001
1714.04/1716.02	c cleaning 221572 clauses out of 470861 with flag 118310123/24966002
1734.68/1736.76	c cleaning 222600 clauses out of 473287 with flag 119356679/25190000
1755.12/1757.23	c cleaning 223636 clauses out of 475687 with flag 120380166/25415000
1776.05/1778.24	c cleaning 224356 clauses out of 478052 with flag 121460185/25641001
1796.80/1798.92	c cleaning 225681 clauses out of 480697 with flag 122451985/25868002
1817.74/1819.98	c cleaning 226501 clauses out of 483014 with flag 123453505/26096000
1841.37/1843.68	c cleaning 227460 clauses out of 485513 with flag 124501580/26325000
1861.42/1863.72	c cleaning 228724 clauses out of 488054 with flag 125509083/26555001
1886.05/1888.49	c cleaning 229854 clauses out of 490329 with flag 126572760/26786000
1908.98/1911.46	c cleaning 230829 clauses out of 492477 with flag 127659665/27018002
1933.50/1936.01	c cleaning 232066 clauses out of 494646 with flag 128764134/27251000
1956.44/1959.06	c cleaning 232734 clauses out of 496582 with flag 129788028/27485002
1977.18/1979.78	c cleaning 233323 clauses out of 498847 with flag 130827219/27720001
2001.52/2004.11	c cleaning 234566 clauses out of 501523 with flag 131859966/27956000
2022.05/2024.72	c cleaning 235709 clauses out of 503958 with flag 132864258/28193001
2043.50/2046.27	c cleaning 236586 clauses out of 506248 with flag 133930242/28431000
2064.43/2067.28	c cleaning 237800 clauses out of 508663 with flag 134980604/28670001
2091.15/2094.07	c cleaning 238840 clauses out of 510862 with flag 136155769/28910000
2113.09/2116.02	c cleaning 239562 clauses out of 513023 with flag 137198592/29151001
2136.02/2139.08	c cleaning 240846 clauses out of 515460 with flag 138266737/29393000
2158.81/2161.72	c cleaning 241749 clauses out of 517615 with flag 139324773/29636001
2182.24/2185.21	c cleaning 242774 clauses out of 519867 with flag 140402347/29880002
2206.27/2209.33	c cleaning 243568 clauses out of 522091 with flag 141470177/30125000
2228.40/2231.56	c cleaning 244774 clauses out of 524523 with flag 142533582/30371000
2252.94/2256.17	c cleaning 245462 clauses out of 526750 with flag 143609814/30618001
2275.97/2279.22	c cleaning 246398 clauses out of 529287 with flag 144716391/30866000
2299.89/2303.20	c cleaning 247788 clauses out of 531889 with flag 145837655/31115000
2324.12/2327.53	c cleaning 248727 clauses out of 534103 with flag 146966731/31365002
2349.94/2353.40	c cleaning 249679 clauses out of 536374 with flag 148114543/31616000
2375.82/2379.39	c cleaning 250840 clauses out of 538696 with flag 149218189/31868001
2403.96/2407.71	c cleaning 251561 clauses out of 540855 with flag 150383928/32121000
2429.82/2433.81	c cleaning 252673 clauses out of 543294 with flag 151500938/32375000
2454.28/2458.51	c cleaning 253815 clauses out of 545622 with flag 152649846/32630001
2479.84/2484.39	c cleaning 254465 clauses out of 547807 with flag 153760790/32886001
2506.49/2511.25	c cleaning 255477 clauses out of 550342 with flag 154871964/33143001
2534.10/2538.96	c cleaning 256606 clauses out of 552865 with flag 156005549/33401001
2563.42/2568.36	c cleaning 257564 clauses out of 555258 with flag 157172561/33660000
2588.65/2593.66	c cleaning 258671 clauses out of 557695 with flag 158343936/33920001
2613.89/2618.94	c cleaning 259248 clauses out of 560023 with flag 159478537/34181000
2640.22/2645.34	c cleaning 260556 clauses out of 562775 with flag 160665580/34443000
2665.44/2670.69	c cleaning 261552 clauses out of 565219 with flag 161808545/34706000
2693.97/2699.22	c cleaning 262726 clauses out of 567668 with flag 162960856/34970001
2719.92/2725.17	c cleaning 263621 clauses out of 569941 with flag 164108433/35235000
2747.44/2752.79	c cleaning 264634 clauses out of 572321 with flag 165301201/35501001
2776.15/2781.51	c cleaning 265685 clauses out of 574687 with flag 166499813/35768001
2803.47/2808.91	c cleaning 266520 clauses out of 577001 with flag 167624197/36036000
2831.29/2836.90	c cleaning 267684 clauses out of 579482 with flag 168836702/36305001
2858.99/2864.62	c cleaning 268655 clauses out of 581797 with flag 170006545/36575000
2887.21/2893.00	c cleaning 269572 clauses out of 584142 with flag 171169110/36846000
2916.23/2922.04	c cleaning 270623 clauses out of 586570 with flag 172347331/37118000
2949.19/2955.15	c cleaning 271696 clauses out of 588950 with flag 173600425/37391003
2976.53/2982.73	c cleaning 272511 clauses out of 591252 with flag 174752721/37665001
3007.15/3013.65	c cleaning 273619 clauses out of 593742 with flag 175960882/37940002
3048.66/3055.54	c cleaning 275059 clauses out of 596124 with flag 177245295/38216003
3078.09/3085.21	c cleaning 275328 clauses out of 598063 with flag 178418652/38493001
3107.31/3114.71	c cleaning 276659 clauses out of 600735 with flag 179591614/38771001
3137.14/3144.86	c cleaning 277354 clauses out of 603076 with flag 180805662/39050001
3167.60/3175.07	c cleaning 278440 clauses out of 605721 with flag 182010608/39330000
3198.62/3206.13	c cleaning 279659 clauses out of 608282 with flag 183241316/39611001
3230.52/3238.15	c cleaning 280645 clauses out of 610622 with flag 184453051/39893000
3260.04/3267.73	c cleaning 281463 clauses out of 612977 with flag 185694676/40176000
3292.07/3299.70	c cleaning 282654 clauses out of 615514 with flag 186968792/40460000
3323.19/3330.91	c cleaning 283514 clauses out of 617860 with flag 188177023/40745000
3354.50/3362.39	c cleaning 284428 clauses out of 620347 with flag 189413621/41031001
3386.32/3394.28	c cleaning 285570 clauses out of 622918 with flag 190694704/41318000
3416.33/3424.37	c cleaning 286175 clauses out of 625348 with flag 191937550/41606000
3448.84/3456.96	c cleaning 287477 clauses out of 628173 with flag 193201570/41895000
3485.53/3493.71	c cleaning 288601 clauses out of 630696 with flag 194471580/42185000
3521.08/3529.25	c cleaning 290108 clauses out of 633095 with flag 195819472/42476000
3553.00/3561.29	c cleaning 290484 clauses out of 634989 with flag 197138040/42768002
3585.02/3593.38	c cleaning 291686 clauses out of 637504 with flag 198414968/43061001
3600.07/3608.41	c starts		: 24766
3600.07/3608.41	c conflicts		: 43215285
3600.07/3608.41	c decisions		: 69488197
3600.07/3608.41	c propagations		: 1551535096
3600.07/3608.41	c inspects		: 59966949239
3600.07/3608.41	c shortcuts		: 0
3600.07/3608.41	c learnt literals	: 0
3600.07/3608.41	c learnt binary clauses	: 21
3600.07/3608.41	c learnt ternary clauses	: 94
3600.07/3608.41	c learnt constraints	: 43215285
3600.07/3608.42	c ignored constraints	: 0
3600.07/3608.42	c root simplifications	: 0
3600.07/3608.42	c removed literals (reason simplification)	: 0
3600.07/3608.42	c reason swapping (by a shorter reason)	: 0
3600.07/3608.42	c Calls to reduceDB	: 289
3600.07/3608.42	c Number of update (reduction) of LBD	: 15657395
3600.07/3608.42	c Imported unit clauses	: 0
3600.07/3608.42	c No decision after first conflict	: false
3600.07/3608.42	c number of reductions to clauses (during analyze)	: 0
3600.07/3608.42	c number of learned constraints concerned by reduction	: 0
3600.07/3608.42	c number of learning phase by resolution	: 0
3600.07/3608.42	c number of learning phase by cutting planes	: 0
3600.07/3608.42	c number of rounding to 1 operations	: 0
3600.07/3608.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3608.42	c number of reductions of the coefficients by power 2 	: 0
3600.07/3608.42	c number of right shift for reduction by power 2 	: 0
3600.07/3608.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3608.42	c number of ending skipping 	: 0
3600.07/3608.42	c number of internal skipping 	: 0
3600.07/3608.42	c number of derivation steps 	: 0
3600.07/3608.42	c number of skipped derivation steps 	: 0
3600.07/3608.42	c number of remaining unassigned 	: 0
3600.07/3608.42	c number of remaining assigned 	: 0
3600.07/3608.42	c number of falsified literals weakened from reason	: 0
3600.07/3608.42	c number of falsified literals weakened from conflict	: 0
3600.07/3608.42	c time for arithmetic operations	: 0
3600.07/3608.42	c minimum degree of deleted constraints	: null
3600.07/3608.42	c maximum degree of deleted constraints	: null
3600.07/3608.42	c number of deleted constraints	: 0
3600.07/3608.42	c speed (assignments/second)	: 429998.8265718021
3600.07/3608.42	c non guided choices	: 5547766
3600.07/3608.43	c timeout
3600.07/3608.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 500081
3600.07/3608.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 21
3600.07/3608.48	s UNKNOWN
3600.07/3608.48	c Total wall clock time (in seconds): 3608.358

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61488 MiB free)
  memory of node 1: 64473 MiB (63358 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454104-1721494156/watcher-4454104-1721494156 -o /tmp/evaluation-result-4454104-1721494156/solver-4454104-1721494156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721494169-1077062 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4454104-1721494156.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
solver pid=1077111, runsolver pid=1077105
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 3.87 4.10 4.09 9/323 1077193
/proc/meminfo: memFree=127669344/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=18975048 memory=67224 CPUtime=0.13 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 7170 0 0 0 11 2 0 0 20 0 18 0 201581758 19430449152 16806 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4743762 16806 5697 1 0 549319 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 5733 0 0 0 7 1 0 0 20 0 18 0 201581759 19430449152 16806 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=18975048 memory=1676398 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201581761 19430449152 16806 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 201581762 19430449152 16806 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67224 KiB

[startup+0.20612 s]*
/proc/loadavg: 3.87 4.10 4.09 14/327 1077197
/proc/meminfo: memFree=127640200/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19041612 memory=77008 CPUtime=0.32 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 7609 0 0 0 30 2 0 0 20 0 19 0 201581758 19498610688 19252 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4760403 19252 5767 1 0 549887 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19041612 memory=8603368907145347203 CPUtime=0.18 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 5950 0 0 0 17 1 0 0 20 0 19 0 201581759 19498610688 19252 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19041612 memory=1676398 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 19252 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19041612 memory=15544020042516215 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 19252 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581777 19498610688 19252 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77008 KiB

[startup+0.305719 s]*
/proc/loadavg: 3.87 4.10 4.09 14/327 1077197
/proc/meminfo: memFree=127617852/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19041612 memory=80688 CPUtime=0.52 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 9395 0 0 0 49 3 0 0 20 0 19 0 201581758 19498610688 20172 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4760403 20172 5846 1 0 550633 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19041612 memory=-7306911702968068710 CPUtime=0.28 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 5959 0 0 0 27 1 0 0 20 0 19 0 201581759 19498610688 20172 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 20172 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 20172 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581777 19498610688 20172 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80688 KiB

[startup+0.700405 s]
/proc/loadavg: 4.44 4.21 4.13 16/327 1077197
/proc/meminfo: memFree=127583740/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19041612 memory=88444 CPUtime=1.28 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 11411 0 0 0 125 3 0 0 20 0 19 0 201581758 19498610688 22111 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4760403 22111 5878 1 0 552012 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19041612 memory=49836 CPUtime=0.66 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 5961 0 0 0 65 1 0 0 20 0 19 0 201581759 19498610688 22111 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 22111 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19041612 memory=2248 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 22111 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19041612 memory=39476 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581777 19498610688 22111 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88444 KiB

[startup+1.50026 s]
/proc/loadavg: 4.44 4.21 4.13 7/327 1077197
/proc/meminfo: memFree=127529240/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19041612 memory=110364 CPUtime=2.76 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 22330 0 0 0 271 5 0 0 20 0 19 0 201581758 19498610688 27591 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4760403 27591 5878 1 0 555394 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19041612 memory=12420 CPUtime=1.46 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 6372 0 0 0 144 2 0 0 20 0 19 0 201581759 19498610688 27591 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 27591 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19041612 memory=2248 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 27591 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19041612 memory=39476 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581777 19498610688 27591 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110364 KiB

[startup+3.10612 s]
/proc/loadavg: 4.44 4.21 4.13 7/328 1077198
/proc/meminfo: memFree=127327900/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19041612 memory=129000 CPUtime=4.5 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 22897 0 0 0 445 5 0 0 20 0 19 0 201581758 19498610688 32250 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4760403 32250 5878 1 0 555395 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19041612 memory=0 CPUtime=3.06 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 6567 0 0 0 304 2 0 0 20 0 19 0 201581759 19498610688 32250 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 32250 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19041612 memory=2020 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 32250 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19041612 memory=2248 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581777 19498610688 32250 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129000 KiB

[startup+6.30021 s]
/proc/loadavg: 4.40 4.21 4.13 5/329 1077199
/proc/meminfo: memFree=127181792/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19041612 memory=155612 CPUtime=7.74 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 26057 0 0 0 768 6 0 0 20 0 19 0 201581758 19498610688 38903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4760403 38903 5900 1 0 555398 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19041612 memory=12420 CPUtime=6.23 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 7210 0 0 0 621 2 0 0 20 0 19 0 201581759 19498610688 38903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19041612 memory=2248 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 38903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 38903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581777 19498610688 38903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 155612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.37 4.21 4.13 5/331 1077203
/proc/meminfo: memFree=126954936/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=194948 CPUtime=14.16 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 29847 0 0 0 1409 7 0 0 20 0 20 0 201581758 19566772224 48737 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 48737 5932 1 0 555687 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=194932 CPUtime=12.61 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 7981 0 0 0 1258 3 0 0 20 0 20 0 201581759 19566772224 48737 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 48737 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=12420 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 48737 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 48737 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194948 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.20 4.13 5/331 1077204
/proc/meminfo: memFree=126622436/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=205464 CPUtime=26.92 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 32125 0 0 0 2685 7 0 0 20 0 20 0 201581758 19566772224 51366 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 51366 5932 1 0 555687 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=194932 CPUtime=25.35 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 8963 0 0 0 2532 3 0 0 20 0 20 0 201581759 19566772224 51366 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 51366 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=3509 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 51366 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 51366 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 26.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205464 KiB

[startup+51.106 s]
/proc/loadavg: 4.64 4.29 4.16 5/333 1077214
/proc/meminfo: memFree=125658920/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=317716 CPUtime=52.67 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 41714 0 0 0 5256 11 0 0 20 0 20 0 201581758 19566772224 79429 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 79429 5932 1 0 556568 0

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

/proc/meminfo: memFree=113947760/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=2083436 CPUtime=3214.76 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 153025 0 0 0 321346 130 0 0 20 0 20 0 201581758 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 520859 5947 1 0 561612 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=2083436 CPUtime=3204.3 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 70858 0 0 0 320411 19 0 0 20 0 20 0 201581759 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=2083436 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=2083436 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 3932 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=2083436 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 3214.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2083436 KiB

[startup+3282.3 s]
/proc/loadavg: 3.20 3.18 3.30 4/306 1079010
/proc/meminfo: memFree=113946948/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=2083436 CPUtime=3274.6 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 154262 0 0 0 327329 131 0 0 20 0 20 0 201581758 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 520859 5947 1 0 561612 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=2083436 CPUtime=3264.11 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 71949 0 0 0 326392 19 0 0 20 0 20 0 201581759 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=2083436 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=5468 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 4013 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=49836 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 520859 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 3274.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2083436 KiB

[startup+3342.3 s]
/proc/loadavg: 3.19 3.18 3.29 4/306 1079022
/proc/meminfo: memFree=113942244/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=2087612 CPUtime=3334.55 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 156576 0 0 0 333322 133 0 0 20 0 20 0 201581758 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 521903 5947 1 0 561613 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=2087612 CPUtime=3323.82 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 72859 0 0 0 332362 20 0 0 20 0 20 0 201581759 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=-7306911702968200038 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 4053 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 3334.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2087612 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.16 3.27 4/304 1079032
/proc/meminfo: memFree=113941684/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=2087612 CPUtime=3394.39 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 157839 0 0 0 339304 135 0 0 20 0 20 0 201581758 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 521903 5947 1 0 561613 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=2087612 CPUtime=3383.63 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 73979 0 0 0 338343 20 0 0 20 0 20 0 201581759 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=2087612 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 4134 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=49836 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 521903 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 3394.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2087612 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.14 3.26 4/304 1079043
/proc/meminfo: memFree=113938916/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=2087644 CPUtime=3454.23 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 159111 0 0 0 345286 137 0 0 20 0 20 0 201581758 19566772224 521911 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 521911 5947 1 0 561613 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=2087612 CPUtime=3443.44 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 75112 0 0 0 344324 20 0 0 20 0 20 0 201581759 19566772224 521911 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 521911 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=2087644 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 4215 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 521911 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=2087644 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 521911 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 3454.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2087644 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.13 3.25 4/304 1079054
/proc/meminfo: memFree=113937788/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=2088100 CPUtime=3514.2 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 161913 0 0 0 351281 139 0 0 20 0 20 0 201581758 19566772224 522025 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 522025 5947 1 0 561774 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=2087672 CPUtime=3503.11 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 76429 0 0 0 350291 20 0 0 20 0 20 0 201581759 19566772224 522025 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=2087612 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 522025 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 4325 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 522025 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=12420 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 522025 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 3514.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2088100 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.15 3.25 3/278 1079098
/proc/meminfo: memFree=123671776/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=2088120 CPUtime=3574.05 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 162811 0 0 0 357264 141 0 0 20 0 20 0 201581758 19566772224 522030 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 522030 5947 1 0 561774 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=12420 CPUtime=3562.92 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 77227 0 0 0 356272 20 0 0 20 0 20 0 201581759 19566772224 522030 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 522030 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=5468 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 4374 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 522030 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=49836 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 522030 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 3574.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2088120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 2.82 3.07 3.22 2/252 1079135
/proc/meminfo: memFree=125841584/131524600 swapFree=131071996/131071996
[pid=1077111] ppid=1077105 vsize=19108176 memory=2088200 CPUtime=3600.07 cores=0,2
/proc/1077111/stat : 1077111 (java) S 1077105 1077111 1077052 0 -1 1077936128 163490 0 0 0 359866 141 0 0 20 0 20 0 201581758 19566772224 522050 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
/proc/1077111/statm: 4777044 522050 5947 1 0 561774 0
[pid=1077111/tid=1077120] ppid=1077105 vsize=19108176 memory=39476 CPUtime=3588.94 cores=0,2
/proc/1077111/task/1077120/stat : 1077120 (java) R 1077105 1077111 1077052 0 -1 4194368 77850 0 0 0 358874 20 0 0 20 0 20 0 201581759 19566772224 522050 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077160] ppid=1077105 vsize=19108176 memory=26000 CPUtime=0 cores=0,2
/proc/1077111/task/1077160/stat : 1077160 (Finalizer) S 1077105 1077111 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 522050 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077193] ppid=1077105 vsize=19108176 memory=5536 CPUtime=0 cores=0,2
/proc/1077111/task/1077193/stat : 1077193 (Common-Cleaner) S 1077105 1077111 1077052 0 -1 1077936192 4374 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 522050 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
[pid=1077111/tid=1077196] ppid=1077105 vsize=19108176 memory=32192 CPUtime=0 cores=0,2
/proc/1077111/task/1077196/stat : 1077196 (Timer-0) S 1077105 1077111 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581777 19566772224 522050 134679101440 94731829489664 94731829493360 140736646415200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94731829501176 94731829501968 94731857821696 140736646423557 140736646423647 140736646423647 140736646430664 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2088200 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3608.49 s]
# the end of solver process 1077111 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3598.79 s, system=1.43189 s

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

Child status: 143

Real time (s): 3608.49
CPU time (s): 3600.23
CPU user time (s): 3598.79
CPU system time (s): 1.43189
CPU usage (%): 99.7709
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2088200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.79
system time used= 1.43188
maximum resident set size= 2089172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103746
involuntary context switches= 28445


# summary of solver processes directly reported to runsolver:
#   pid: 1077111
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.79
#   total CPU system time (s): 1.43189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51684 second user time and 17.9909 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-20 18:49:29
IDJOB=4454104
IDBENCH=176057
IDSOLVER=3058
FILE ID=nodeC026/4454104-1721494156
RUNJOBID= nodeC026-1721494169-1077062
SLURM_JOB_ID= 7545802
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454104-1721494156/watcher-4454104-1721494156 -o /tmp/evaluation-result-4454104-1721494156/solver-4454104-1721494156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721494169-1077062 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4454104-1721494156.opb

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

MD5SUM BENCH= ea45ea8fc9874a86ca315aec231afca1
RANDOM SEED=139930465

nodeC026.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	: 0xb00002a
cpu MHz		: 3437.414
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3206.813
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3625.953
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3641.702
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3363.636
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3294.434
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3533.711
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.355
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127847148 kB
MemAvailable:   129714188 kB
Buffers:          617248 kB
Cached:          2079664 kB
SwapCached:            0 kB
Active:          1142560 kB
Inactive:        1890352 kB
Active(anon):       1448 kB
Inactive(anon):   380464 kB
Active(file):    1141112 kB
Inactive(file):  1509888 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2196 kB
Writeback:             0 kB
AnonPages:        332776 kB
Mapped:           107516 kB
Shmem:             45912 kB
KReclaimable:     111728 kB
Slab:             226064 kB
SReclaimable:     111728 kB
SUnreclaim:       114336 kB
KernelStack:        3872 kB
PageTables:         9828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     805804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      283348 kB
DirectMap2M:    33044480 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC026 at 2024-07-20 19:49:37