Trace number 4449742

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07OPT cert.18 1849.48 1854.12

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
MD5SUM06b87d46bf38d4b028e9a0f41f22c2e8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark49.4743
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables650
Total number of constraints72640
Number of constraints which are clauses72620
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint21
Number of terms in the objective function 20
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 20
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d 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	Expensive 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@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d 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 Expensive 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-4449742-1721844010.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.91/0.54	c ... done. Wall clock time 0.406s.
0.91/0.54	c declared #vars     650
0.91/0.54	c #constraints  72640
0.91/0.54	c constraints type 
0.91/0.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 20
0.91/0.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20
0.91/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 72600
0.91/0.54	c 72640 constraints processed.
0.91/0.54	c objective function length is 20 literals
1.29/0.73	c SATISFIABLE
1.29/0.73	c OPTIMIZING...
1.29/0.73	c Got one! Elapsed wall clock time (in seconds):0.614
1.29/0.73	o 18
2.64/1.44	c cleaning 2962 clauses out of 5953 with flag 30288/5953
3.83/2.01	c cleaning 4496 clauses out of 8991 with flag 59668/11953
4.81/2.59	c cleaning 5747 clauses out of 11495 with flag 107976/18953
5.95/3.18	c cleaning 6873 clauses out of 13748 with flag 165050/26953
6.83/3.76	c cleaning 7848 clauses out of 15875 with flag 219959/35953
7.60/4.36	c cleaning 9008 clauses out of 18028 with flag 283981/45954
8.61/5.15	c cleaning 9991 clauses out of 20019 with flag 346372/56953
9.56/6.02	c cleaning 10995 clauses out of 22042 with flag 444416/68967
10.68/7.10	c cleaning 12016 clauses out of 24033 with flag 507196/81953
11.49/7.94	c cleaning 12994 clauses out of 26017 with flag 769611/95953
12.38/8.84	c cleaning 14008 clauses out of 28023 with flag 985163/110953
13.37/9.81	c cleaning 14922 clauses out of 30015 with flag 1122652/126953
14.83/11.26	c cleaning 15841 clauses out of 32093 with flag 1241367/143953
15.99/12.36	c cleaning 17080 clauses out of 34252 with flag 1388575/161953
17.38/13.76	c cleaning 18062 clauses out of 36172 with flag 1495416/180953
18.77/15.16	c cleaning 19025 clauses out of 38110 with flag 1631660/200953
20.16/16.58	c cleaning 19948 clauses out of 40085 with flag 1965005/221953
21.79/18.15	c cleaning 21026 clauses out of 42137 with flag 2204941/243953
23.37/19.70	c cleaning 22051 clauses out of 44114 with flag 2445459/266956
25.05/21.48	c cleaning 23009 clauses out of 46060 with flag 2771054/290953
27.03/23.47	c cleaning 23948 clauses out of 48051 with flag 2937764/315953
29.05/25.41	c cleaning 25042 clauses out of 50105 with flag 3200249/341955
31.53/27.90	c cleaning 26026 clauses out of 52062 with flag 3346984/368954
33.41/29.87	c cleaning 27006 clauses out of 54035 with flag 3641439/396953
35.80/32.23	c cleaning 28004 clauses out of 56029 with flag 3851182/425953
38.29/34.76	c cleaning 28990 clauses out of 58025 with flag 4040028/455953
40.62/37.22	c cleaning 29927 clauses out of 60037 with flag 4584046/486955
43.42/40.07	c cleaning 31043 clauses out of 62113 with flag 4942208/518958
46.28/42.80	c cleaning 31789 clauses out of 64065 with flag 5316853/551953
48.77/45.33	c cleaning 33126 clauses out of 66276 with flag 5801035/585953
51.36/47.97	c cleaning 34039 clauses out of 68150 with flag 6330143/620953
54.29/50.89	c cleaning 35028 clauses out of 70111 with flag 6865518/656953
57.28/53.84	c cleaning 36037 clauses out of 72083 with flag 7314812/693953
60.47/57.00	c cleaning 37013 clauses out of 74046 with flag 7792188/731953
63.97/60.59	c cleaning 38003 clauses out of 76033 with flag 8092883/770953
67.34/63.99	c cleaning 38934 clauses out of 78030 with flag 8497679/810953
71.09/67.84	c cleaning 40017 clauses out of 80098 with flag 8838077/851955
74.59/71.31	c cleaning 41035 clauses out of 82080 with flag 9392266/893954
78.05/74.80	c cleaning 41865 clauses out of 84044 with flag 10094294/936953
81.73/78.59	c cleaning 43038 clauses out of 86179 with flag 10661518/980953
86.02/82.83	c cleaning 43911 clauses out of 88141 with flag 11358939/1025953
90.91/87.75	c cleaning 44997 clauses out of 90230 with flag 12818155/1071953
95.20/92.07	c cleaning 45946 clauses out of 92233 with flag 14732307/1118953
99.41/96.28	c cleaning 47021 clauses out of 94287 with flag 17088092/1166953
104.11/101.06	c cleaning 48101 clauses out of 96266 with flag 19333985/1215953
108.99/105.90	c cleaning 49051 clauses out of 98169 with flag 21682302/1265957
114.04/110.76	c cleaning 50049 clauses out of 100113 with flag 23802292/1316953
119.34/116.03	c cleaning 51004 clauses out of 102064 with flag 24353174/1368953
124.28/120.91	c cleaning 51980 clauses out of 104060 with flag 24856769/1421953
128.86/125.57	c cleaning 52963 clauses out of 106080 with flag 25311743/1475953
133.96/130.75	c cleaning 53926 clauses out of 108117 with flag 26457831/1530953
139.17/135.93	c cleaning 54977 clauses out of 110191 with flag 29314341/1586953
143.85/140.64	c cleaning 56009 clauses out of 112214 with flag 30876852/1643953
149.36/146.17	c cleaning 56921 clauses out of 114205 with flag 31403452/1701953
154.93/151.76	c cleaning 58137 clauses out of 116285 with flag 31896926/1760954
160.33/157.12	c cleaning 58962 clauses out of 118147 with flag 33046323/1820953
165.85/162.74	c cleaning 60021 clauses out of 120185 with flag 33735793/1881953
171.43/168.35	c cleaning 60955 clauses out of 122164 with flag 34607486/1943953
178.35/175.26	c cleaning 61942 clauses out of 124209 with flag 36678356/2006953
185.24/182.11	c cleaning 63129 clauses out of 126270 with flag 39487175/2070956
193.23/190.25	c cleaning 64059 clauses out of 128137 with flag 42580113/2135953
199.97/196.96	c cleaning 64973 clauses out of 130078 with flag 43317803/2201953
207.00/203.91	c cleaning 66049 clauses out of 132106 with flag 43822526/2268954
213.58/210.52	c cleaning 66901 clauses out of 134056 with flag 44562071/2336953
219.71/216.64	c cleaning 68069 clauses out of 136155 with flag 45378126/2405953
227.10/224.17	c cleaning 68988 clauses out of 138086 with flag 46039477/2475953
234.54/231.53	c cleaning 69990 clauses out of 140098 with flag 46915814/2546953
242.40/239.30	c cleaning 71038 clauses out of 142108 with flag 47602795/2618953
249.87/246.89	c cleaning 71973 clauses out of 144070 with flag 48431471/2691953
257.99/255.06	c cleaning 73019 clauses out of 146097 with flag 49220082/2765953
265.56/262.68	c cleaning 73944 clauses out of 148078 with flag 50635293/2840953
273.69/270.76	c cleaning 75036 clauses out of 150134 with flag 53881631/2916953
282.37/279.41	c cleaning 76033 clauses out of 152097 with flag 57171286/2993953
291.50/288.64	c cleaning 77019 clauses out of 154064 with flag 57910008/3071953
300.58/297.78	c cleaning 78005 clauses out of 156046 with flag 58693754/3150954
311.17/308.48	c cleaning 78877 clauses out of 158041 with flag 60921433/3230954
320.24/317.57	c cleaning 80029 clauses out of 160163 with flag 65523817/3311953
327.73/325.06	c cleaning 80999 clauses out of 162133 with flag 68330821/3393953
337.18/334.59	c cleaning 81898 clauses out of 164134 with flag 69583514/3476953
347.33/344.78	c cleaning 83103 clauses out of 166236 with flag 73498328/3560953
356.50/353.92	c cleaning 84040 clauses out of 168132 with flag 76598610/3645953
366.65/364.02	c cleaning 84864 clauses out of 170092 with flag 77712127/3731953
376.37/373.73	c cleaning 86078 clauses out of 172229 with flag 78750006/3818954
386.83/384.13	c cleaning 86965 clauses out of 174150 with flag 80378338/3906953
397.90/395.25	c cleaning 87943 clauses out of 176185 with flag 82468922/3995953
407.32/404.78	c cleaning 89053 clauses out of 178242 with flag 86756061/4085953
416.88/414.27	c cleaning 90068 clauses out of 180188 with flag 88480163/4176953
426.51/423.86	c cleaning 91052 clauses out of 182120 with flag 89469237/4268953
437.82/435.22	c cleaning 92004 clauses out of 184068 with flag 92670384/4361953
448.17/445.53	c cleaning 92964 clauses out of 186063 with flag 95583574/4455953
459.14/456.53	c cleaning 93955 clauses out of 188099 with flag 98737189/4550953
470.31/467.71	c cleaning 95015 clauses out of 190143 with flag 103318472/4646953
481.45/478.82	c cleaning 95957 clauses out of 192128 with flag 104328650/4743953
492.81/490.26	c cleaning 97033 clauses out of 194171 with flag 105367015/4841953
504.05/501.44	c cleaning 98068 clauses out of 196138 with flag 106517121/4940953
514.40/511.72	c cleaning 99015 clauses out of 198070 with flag 107740869/5040953
526.85/524.26	c cleaning 99949 clauses out of 200055 with flag 112329165/5141953
538.65/536.07	c cleaning 100932 clauses out of 202105 with flag 116697142/5243953
550.31/547.72	c cleaning 102084 clauses out of 204177 with flag 120416765/5346958
562.64/560.09	c cleaning 102966 clauses out of 206088 with flag 123310721/5450953
575.59/572.92	c cleaning 104023 clauses out of 208121 with flag 127217505/5555953
588.15/585.59	c cleaning 104889 clauses out of 210098 with flag 129810957/5661953
601.73/599.18	c cleaning 106104 clauses out of 212208 with flag 135011087/5768953
614.36/611.74	c cleaning 107003 clauses out of 214104 with flag 136159693/5876953
629.56/627.04	c cleaning 108050 clauses out of 216100 with flag 141659963/5985953
644.10/641.64	c cleaning 108969 clauses out of 218049 with flag 146380364/6095953
658.71/656.21	c cleaning 110036 clauses out of 220080 with flag 151407078/6206954
672.36/669.91	c cleaning 110966 clauses out of 222043 with flag 155658948/6318953
685.82/683.41	c cleaning 112029 clauses out of 224077 with flag 160593084/6431954
698.28/695.81	c cleaning 112963 clauses out of 226046 with flag 164086080/6545953
712.82/710.46	c cleaning 113955 clauses out of 228082 with flag 168899416/6660953
726.72/724.36	c cleaning 114989 clauses out of 230127 with flag 171214229/6776953
740.08/737.75	c cleaning 116005 clauses out of 232138 with flag 176869620/6893954
756.36/754.08	c cleaning 116977 clauses out of 234130 with flag 180918695/7011953
771.20/768.93	c cleaning 118048 clauses out of 236152 with flag 185383065/7130953
785.79/783.52	c cleaning 119031 clauses out of 238103 with flag 190529709/7250953
800.54/798.37	c cleaning 119946 clauses out of 240074 with flag 193855122/7371956
814.71/812.53	c cleaning 121051 clauses out of 242124 with flag 198384076/7493953
828.78/826.66	c cleaning 122019 clauses out of 244072 with flag 203305141/7616953
842.89/841.95	c cleaning 122917 clauses out of 246051 with flag 207868560/7740953
858.03/857.03	c cleaning 124065 clauses out of 248133 with flag 211312342/7865953
872.45/871.59	c cleaning 124900 clauses out of 250066 with flag 216124216/7991953
887.78/886.80	c cleaning 126083 clauses out of 252165 with flag 219318654/8118953
902.78/902.29	c cleaning 126856 clauses out of 254081 with flag 224283324/8246954
918.40/917.81	c cleaning 127936 clauses out of 256223 with flag 227918171/8375953
933.70/933.49	c cleaning 129139 clauses out of 258285 with flag 232990877/8505953
949.27/949.03	c cleaning 129886 clauses out of 260145 with flag 237078355/8636953
964.64/964.65	c cleaning 130915 clauses out of 262257 with flag 241277766/8768953
980.08/980.02	c cleaning 132117 clauses out of 264341 with flag 244699202/8901953
995.89/996.12	c cleaning 133065 clauses out of 266224 with flag 249283102/9035955
1011.42/1011.63	c cleaning 133955 clauses out of 268156 with flag 252961800/9170953
1027.02/1027.50	c cleaning 134947 clauses out of 270200 with flag 257328375/9306954
1043.59/1044.01	c cleaning 136110 clauses out of 272250 with flag 262168553/9443953
1059.07/1059.58	c cleaning 137052 clauses out of 274138 with flag 267170491/9581953
1074.04/1074.50	c cleaning 137874 clauses out of 276084 with flag 271736558/9720953
1090.69/1091.53	c cleaning 138993 clauses out of 278208 with flag 276714980/9860953
1107.12/1107.96	c cleaning 140087 clauses out of 280214 with flag 280587383/10001953
1123.57/1124.50	c cleaning 141054 clauses out of 282125 with flag 285445618/10143953
1140.72/1141.74	c cleaning 142032 clauses out of 284071 with flag 290211627/10286955
1157.74/1158.73	c cleaning 142980 clauses out of 286035 with flag 294851124/10430953
1174.24/1175.24	c cleaning 143995 clauses out of 288053 with flag 299805604/10575953
1190.30/1191.39	c cleaning 144866 clauses out of 290056 with flag 304589249/10721953
1207.78/1208.82	c cleaning 146088 clauses out of 292188 with flag 310067184/10868954
1224.61/1225.60	c cleaning 147043 clauses out of 294098 with flag 314455065/11016954
1240.64/1241.73	c cleaning 147990 clauses out of 296052 with flag 318981853/11165953
1257.44/1258.55	c cleaning 149029 clauses out of 298059 with flag 324176447/11315953
1273.73/1274.83	c cleaning 149999 clauses out of 300028 with flag 328584651/11466953
1290.90/1292.05	c cleaning 150963 clauses out of 302026 with flag 333360649/11618953
1308.94/1309.93	c cleaning 151920 clauses out of 304060 with flag 338818865/11771953
1325.96/1327.09	c cleaning 153058 clauses out of 306140 with flag 342742988/11925954
1343.40/1344.52	c cleaning 153943 clauses out of 308078 with flag 347428794/12080953
1359.97/1361.14	c cleaning 154994 clauses out of 310132 with flag 353198388/12236953
1376.62/1377.80	c cleaning 156053 clauses out of 312135 with flag 359096947/12393953
1393.81/1395.02	c cleaning 157022 clauses out of 314079 with flag 365017174/12551953
1410.56/1411.89	c cleaning 157995 clauses out of 316054 with flag 370803107/12710953
1427.14/1428.49	c cleaning 159005 clauses out of 318056 with flag 376177023/12870953
1444.17/1445.56	c cleaning 159971 clauses out of 320048 with flag 381419434/13031954
1461.79/1463.15	c cleaning 160983 clauses out of 322073 with flag 386291870/13193953
1479.32/1480.77	c cleaning 161960 clauses out of 324088 with flag 391095380/13356955
1496.64/1498.04	c cleaning 163043 clauses out of 326122 with flag 396471011/13520953
1512.86/1514.32	c cleaning 163983 clauses out of 328075 with flag 401546098/13685953
1530.05/1531.59	c cleaning 164920 clauses out of 330087 with flag 406999645/13851953
1547.21/1548.70	c cleaning 166019 clauses out of 332163 with flag 412573188/14018953
1564.60/1568.42	c cleaning 166964 clauses out of 334139 with flag 417807137/14186953
1581.22/1585.02	c cleaning 167996 clauses out of 336170 with flag 422957466/14355953
1598.57/1602.44	c cleaning 169044 clauses out of 338169 with flag 427644561/14525953
1615.91/1619.73	c cleaning 169969 clauses out of 340120 with flag 432887268/14696953
1632.47/1636.32	c cleaning 170959 clauses out of 342146 with flag 438119288/14868953
1649.47/1653.30	c cleaning 172031 clauses out of 344181 with flag 443315763/15041953
1665.39/1669.32	c cleaning 173067 clauses out of 346144 with flag 448629787/15215953
1682.28/1686.24	c cleaning 174021 clauses out of 348071 with flag 453861877/15390953
1698.81/1702.84	c cleaning 174934 clauses out of 350046 with flag 458967970/15566957
1715.56/1719.53	c cleaning 175962 clauses out of 352101 with flag 464003892/15743953
1731.28/1735.31	c cleaning 177053 clauses out of 354130 with flag 468632050/15921953
1747.82/1751.81	c cleaning 178023 clauses out of 356072 with flag 473195959/16100956
1764.41/1769.22	c cleaning 178986 clauses out of 358036 with flag 477761910/16280953
1781.26/1786.01	c cleaning 179930 clauses out of 360039 with flag 482097522/16461953
1797.88/1802.74	c cleaning 181038 clauses out of 362094 with flag 486073958/16643953
1814.13/1818.96	c cleaning 181966 clauses out of 364039 with flag 489960973/16826953
1830.09/1834.95	c cleaning 182971 clauses out of 366048 with flag 493386844/17010953
1846.64/1851.31	c cleaning 181469 clauses out of 368054 with flag 496294923/17195954
1849.35/1854.09	c starts		: 28905
1849.35/1854.09	c conflicts		: 17238715
1849.35/1854.09	c decisions		: 311491514
1849.35/1854.09	c propagations		: 1504053619
1849.35/1854.09	c inspects		: 23472104992
1849.35/1854.09	c shortcuts		: 0
1849.35/1854.09	c learnt literals	: 314
1849.35/1854.09	c learnt binary clauses	: 13499
1849.35/1854.09	c learnt ternary clauses	: 6763923
1849.35/1854.09	c learnt constraints	: 17238400
1849.35/1854.09	c ignored constraints	: 0
1849.35/1854.09	c root simplifications	: 0
1849.35/1854.09	c removed literals (reason simplification)	: 106680182
1849.35/1854.09	c reason swapping (by a shorter reason)	: 0
1849.35/1854.09	c Calls to reduceDB	: 181
1849.35/1854.09	c Number of update (reduction) of LBD	: 12420664
1849.35/1854.09	c Imported unit clauses	: 0
1849.35/1854.09	c No decision after first conflict	: false
1849.35/1854.09	c number of reductions to clauses (during analyze)	: 0
1849.35/1854.09	c number of learned constraints concerned by reduction	: 0
1849.35/1854.09	c number of learning phase by resolution	: 0
1849.35/1854.09	c number of learning phase by cutting planes	: 0
1849.35/1854.09	c number of rounding to 1 operations	: 0
1849.35/1854.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1849.35/1854.09	c number of reductions of the coefficients by power 2 	: 0
1849.35/1854.09	c number of right shift for reduction by power 2 	: 0
1849.35/1854.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
1849.35/1854.09	c number of ending skipping 	: 0
1849.35/1854.09	c number of internal skipping 	: 0
1849.35/1854.09	c number of derivation steps 	: 0
1849.35/1854.09	c number of skipped derivation steps 	: 0
1849.35/1854.09	c number of remaining unassigned 	: 0
1849.35/1854.09	c number of remaining assigned 	: 0
1849.35/1854.09	c number of falsified literals weakened from reason	: 0
1849.35/1854.09	c number of falsified literals weakened from conflict	: 0
1849.35/1854.09	c time for arithmetic operations	: 0
1849.35/1854.09	c minimum degree of deleted constraints	: null
1849.35/1854.09	c maximum degree of deleted constraints	: null
1849.35/1854.09	c number of deleted constraints	: 0
1849.35/1854.10	c speed (assignments/second)	: 811443.9837673829
1849.35/1854.10	c non guided choices	: 2578
1849.35/1854.10	s OPTIMUM FOUND
1849.35/1854.10	c Found 1 solution(s)
1849.35/1854.10	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 x26 x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 x116 x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 x172 x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 -x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 x614 x615 -x616 x617 -x618 x619 -x620 x621 -x622 x623 -x624 -x625 x626 x627 -x628 x629 -x630 x631 -x632 x633 -x634 x635 -x636 -x637 x638 x639 -x640 -x641 x642 x643 -x644 x645 -x646 x647 -x648 -x649 x650 
1849.35/1854.10	c objective function=18
1849.35/1854.10	c Total wall clock time (in seconds): 1853.979

Verifier Data 

OK	18

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED BOUNDS 18 <= obj <= 18
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 18 <= obj <= 18
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 18 <= obj <= 18
--summary--
ALL OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449742-1721844010/watcher-4449742-1721844010 -o /tmp/evaluation-result-4449742-1721844010/solver-4449742-1721844010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721841276-251682 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4449742-1721844010 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449742-1721844010.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=253728, runsolver pid=253725
Current StackSize limit: 8192 KiB


[startup+0.102184 s]*
/proc/loadavg: 5.23 5.22 4.92 5/347 253746
/proc/meminfo: memFree=28462144/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=18975048 memory=65472 CPUtime=0.13 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 7243 0 0 0 12 1 0 0 20 0 18 0 20923851 19430449152 16368 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4743762 16368 5702 1 0 549369 0
[pid=253728/tid=253730] ppid=253725 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 5777 0 0 0 8 1 0 0 20 0 18 0 20923852 19430449152 16368 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20923854 19430449152 16368 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=18975048 memory=14135545649324636 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20923855 19430449152 16368 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65472 KiB

[startup+0.206146 s]*
/proc/loadavg: 5.23 5.22 4.92 7/347 253746
/proc/meminfo: memFree=28443256/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=18975048 memory=84844 CPUtime=0.33 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 7854 0 0 0 31 2 0 0 20 0 18 0 20923851 19430449152 21211 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4743762 21211 5838 1 0 549784 0
[pid=253728/tid=253730] ppid=253725 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 5947 0 0 0 18 1 0 0 20 0 18 0 20923852 19430449152 21211 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=18975048 memory=1991471 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20923854 19430449152 21211 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20923855 19430449152 21211 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84844 KiB

[startup+0.306605 s]*
/proc/loadavg: 5.23 5.22 4.92 6/347 253746
/proc/meminfo: memFree=28402484/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=18975048 memory=123036 CPUtime=0.53 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 9277 0 0 0 50 3 0 0 20 0 18 0 20923851 19430449152 30759 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4743762 30759 5838 1 0 550680 0
[pid=253728/tid=253730] ppid=253725 vsize=18975048 memory=-8816749999898206908 CPUtime=0.29 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 5966 0 0 0 27 2 0 0 20 0 18 0 20923852 19430449152 30759 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20923854 19430449152 30759 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20923855 19430449152 30759 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 123036 KiB

[startup+0.708866 s]
/proc/loadavg: 5.23 5.22 4.92 6/348 253747
/proc/meminfo: memFree=28347324/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=189300 CPUtime=1.29 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 17270 0 0 0 124 5 0 0 20 0 20 0 20923851 19566772224 47325 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 47325 5892 1 0 556567 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=5552 CPUtime=0.66 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 6142 0 0 0 63 3 0 0 20 0 20 0 20923852 19566772224 47325 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 47325 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 47325 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189300 KiB

[startup+1.50662 s]
/proc/loadavg: 5.23 5.22 4.92 8/349 253748
/proc/meminfo: memFree=28303576/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=200592 CPUtime=2.85 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 24910 0 0 0 279 6 0 0 20 0 20 0 20923851 19566772224 50148 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 50148 5908 1 0 557278 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=12936 CPUtime=1.4 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 6580 0 0 0 137 3 0 0 20 0 20 0 20923852 19566772224 50148 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 50148 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 50148 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 50148 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 200592 KiB

[startup+3.10662 s]
/proc/loadavg: 5.23 5.22 4.92 6/345 253748
/proc/meminfo: memFree=28227292/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=214152 CPUtime=5.95 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 27817 0 0 0 587 8 0 0 20 0 20 0 20923851 19566772224 53538 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 53538 5924 1 0 557284 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=0 CPUtime=2.93 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 7282 0 0 0 289 4 0 0 20 0 20 0 20923852 19566772224 53538 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 53538 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 53538 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 53538 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 214152 KiB

[startup+6.31161 s]
/proc/loadavg: 5.21 5.21 4.92 6/345 253748
/proc/meminfo: memFree=27938704/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=477096 CPUtime=9.88 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 28653 0 0 0 974 14 0 0 20 0 20 0 20923851 19566772224 119274 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 119274 5924 1 0 557436 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=0 CPUtime=6.07 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) S 253725 253728 251672 0 -1 1077936192 7532 0 0 0 598 9 0 0 20 0 20 0 20923852 19566772224 119274 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 119274 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 119274 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=75688 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 119274 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 9.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 477096 KiB

[startup+12.7006 s]
/proc/loadavg: 5.20 5.21 4.92 5/345 253749
/proc/meminfo: memFree=27551848/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=639144 CPUtime=16.38 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 33808 0 0 0 1619 19 0 0 20 0 20 0 20923851 19566772224 159786 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 159786 5924 1 0 557436 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=191412 CPUtime=12.32 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 8348 0 0 0 1218 14 0 0 20 0 20 0 20923852 19566772224 159786 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=608424 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 159786 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=214152 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 159786 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 159786 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 16.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 639144 KiB

[startup+25.5006 s]
/proc/loadavg: 4.93 5.15 4.90 5/347 253753
/proc/meminfo: memFree=26030244/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=1787080 CPUtime=29.14 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 39036 0 0 0 2866 48 0 0 20 0 20 0 20923851 19566772224 446770 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 446770 5924 1 0 663961 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=608424 CPUtime=24.91 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 10338 0 0 0 2450 41 0 0 20 0 20 0 20923852 19566772224 446770 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=1758188 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 446770 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 446770 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=7090745425408295000 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 446770 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 29.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1787080 KiB

[startup+51.1069 s]
/proc/loadavg: 4.67 5.07 4.89 4/347 253770
/proc/meminfo: memFree=25423280/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=1787248 CPUtime=54.59 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 44177 0 0 0 5399 60 0 0 20 0 20 0 20923851 19566772224 446812 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 446812 5956 1 0 663963 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=1787080 CPUtime=50.1 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 12688 0 0 0 4958 52 0 0 20 0 20 0 20923852 19566772224 446812 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=1787080 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 446812 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 446812 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0

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

/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1766 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 650470 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=2601880 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 650470 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1777.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2601880 KiB

[startup+1842.3 s]
/proc/loadavg: 1.08 1.19 2.11 2/260 254818
/proc/meminfo: memFree=123435888/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=2603932 CPUtime=1837.44 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 155621 0 0 0 183299 445 0 0 20 0 20 0 20923851 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 650983 5972 1 0 665167 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=2601880 CPUtime=1820.32 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 69344 0 0 0 181659 373 0 0 20 0 20 0 20923852 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 868 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=20256 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=2601880 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1832 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=7204 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1837.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2603932 KiB

[startup+1854.12 s]
# the end of solver process 253728 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1844.99 s, system=4.4895 s

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

[startup+1843.2 s]
/proc/loadavg: 1.08 1.19 2.11 2/260 254818
/proc/meminfo: memFree=123435200/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=2603932 CPUtime=1838.34 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 155641 0 0 0 183389 445 0 0 20 0 20 0 20923851 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 650983 5972 1 0 665167 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=2554152 CPUtime=1821.22 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 69362 0 0 0 181749 373 0 0 20 0 20 0 20923852 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 868 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=2597632 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=2601852 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1832 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=2601876 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1838.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2603932 KiB

[startup+1849.6 s]
/proc/loadavg: 1.14 1.20 2.10 2/260 254820
/proc/meminfo: memFree=123430448/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=2603932 CPUtime=1844.72 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 156305 0 0 0 184027 445 0 0 20 0 20 0 20923851 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 650983 5972 1 0 665167 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=75688 CPUtime=1827.6 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 69907 0 0 0 182386 374 0 0 20 0 20 0 20923852 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 868 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=75688 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1832 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=2601876 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 650983 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1844.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2603932 KiB

[startup+1851.2 s]
/proc/loadavg: 1.14 1.20 2.10 3/260 254820
/proc/meminfo: memFree=123428600/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=2604136 CPUtime=1846.54 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 160752 0 0 0 184208 446 0 0 20 0 20 0 20923851 19566772224 651034 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 651034 5988 1 0 665169 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=2284 CPUtime=1829.09 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 69971 0 0 0 182535 374 0 0 20 0 20 0 20923852 19566772224 651034 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 868 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 651034 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=2603932 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1847 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 651034 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=2604080 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 651034 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1846.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2604136 KiB

[startup+1852.8 s]
/proc/loadavg: 1.14 1.20 2.10 2/260 254820
/proc/meminfo: memFree=123425920/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=2604140 CPUtime=1848.13 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 160793 0 0 0 184366 447 0 0 20 0 20 0 20923851 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 651035 5988 1 0 665169 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=12936 CPUtime=1830.67 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 70012 0 0 0 182693 374 0 0 20 0 20 0 20923852 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 868 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=75688 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1847 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=2603932 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1848.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2604140 KiB

[startup+1853.6 s]
/proc/loadavg: 1.14 1.20 2.10 2/260 254820
/proc/meminfo: memFree=123424308/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=2604140 CPUtime=1848.93 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 160806 0 0 0 184446 447 0 0 20 0 20 0 20923851 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 651035 5988 1 0 665169 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=12936 CPUtime=1831.47 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 70025 0 0 0 182773 374 0 0 20 0 20 0 20923852 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 868 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=2284 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=25588 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1847 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=32540 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 651035 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1848.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2604140 KiB

[startup+1854 s]*
/proc/loadavg: 1.13 1.20 2.10 2/260 254820
/proc/meminfo: memFree=123423708/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19108176 memory=2604200 CPUtime=1849.35 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 161032 0 0 0 184488 447 0 0 20 0 20 0 20923851 19566772224 651050 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4777044 651050 5988 1 0 665169 0
[pid=253728/tid=253730] ppid=253725 vsize=19108176 memory=2696 CPUtime=1831.87 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) R 253725 253728 251672 0 -1 4194368 70129 0 0 0 182813 374 0 0 20 0 20 0 20923852 19566772224 651050 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 868 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19108176 memory=13900 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20923854 19566772224 651050 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19108176 memory=11740 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1847 0 0 0 0 0 0 0 20 0 20 0 20923855 19566772224 651050 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253748] ppid=253725 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/253728/task/253748/stat : 253748 (Timer-0) S 253725 253728 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20923906 19566772224 651050 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1849.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2604200 KiB

[startup+1854.11 s]
/proc/loadavg: 1.13 1.20 2.10 2/260 254820
/proc/meminfo: memFree=123423708/131524600 swapFree=131056028/131071996
[pid=253728] ppid=253725 vsize=19241304 memory=2604776 CPUtime=1849.45 cores=0,2
/proc/253728/stat : 253728 (java) S 253725 253728 251672 0 -1 1077936128 163126 0 0 0 184498 447 0 0 20 0 15 0 20923851 19703095296 651194 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
/proc/253728/statm: 4810326 651194 6003 1 0 665819 0
[pid=253728/tid=253730] ppid=253725 vsize=19241304 memory=2601880 CPUtime=1831.94 cores=0,2
/proc/253728/task/253730/stat : 253730 (java) S 253725 253728 251672 0 -1 1077936192 71369 0 0 0 182819 375 0 0 20 0 15 0 20923852 19703095296 651194 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 872 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253739] ppid=253725 vsize=19241304 memory=2601880 CPUtime=0 cores=0,2
/proc/253728/task/253739/stat : 253739 (Finalizer) S 253725 253728 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20923854 19703095296 651194 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
[pid=253728/tid=253746] ppid=253725 vsize=19241304 memory=7204 CPUtime=0 cores=0,2
/proc/253728/task/253746/stat : 253746 (Common-Cleaner) S 253725 253728 251672 0 -1 1077936192 1847 0 0 0 0 0 0 0 20 0 15 0 20923855 19703095296 651194 134679101440 94858185043968 94858185047664 140723594860096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94858185055480 94858185056272 94858191507456 140723594867627 140723594867809 140723594867809 140723594874824 0
Current children cumulated CPU time: 1849.45 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2604776 KiB

Child status: 30

Real time (s): 1854.12
CPU time (s): 1849.48
CPU user time (s): 1844.99
CPU system time (s): 4.4895
CPU usage (%): 99.7498
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2604776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1844.99
system time used= 4.4895
maximum resident set size= 2605728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5913296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59830
involuntary context switches= 14491


# summary of solver processes directly reported to runsolver:
#   pid: 253728
#   total CPU time (s): 1849.48
#   total CPU user time (s): 1844.99
#   total CPU system time (s): 4.4895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.10232 second user time and 9.73382 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-24 20:00:10
IDJOB=4449742
IDBENCH=176097
IDSOLVER=3079
FILE ID=nodeC015/4449742-1721844010
RUNJOBID= nodeC015-1721841276-251682
SLURM_JOB_ID= 7891558
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449742-1721844010/watcher-4449742-1721844010 -o /tmp/evaluation-result-4449742-1721844010/solver-4449742-1721844010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721841276-251682 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4449742-1721844010 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449742-1721844010.opb

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

MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=378582007

nodeC015.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		: 3653.362
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.37
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		: 3600.105
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.17
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		: 3654.860
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.37
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		: 3687.324
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.17
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		: 3662.007
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.37
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		: 3687.442
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.17
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		: 3599.859
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.37
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		: 3599.840
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.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        28508692 kB
MemAvailable:   80656836 kB
Buffers:          258440 kB
Cached:         52394660 kB
SwapCached:          236 kB
Active:          1101328 kB
Inactive:       100725252 kB
Active(anon):       4640 kB
Inactive(anon): 49221456 kB
Active(file):    1096688 kB
Inactive(file): 51503796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:            174844 kB
Writeback:            12 kB
AnonPages:      49172772 kB
Mapped:           113304 kB
Shmem:             52524 kB
KReclaimable:     609068 kB
Slab:             740840 kB
SReclaimable:     609068 kB
SUnreclaim:       131772 kB
KernelStack:        5280 kB
PageTables:       106388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   49676312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:  48136192 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:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC015 at 2024-07-24 20:31:04