Trace number 4502425

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 VeriPB 2025-06-06SAT (TO)-23 3351.59 3700.14

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
MD5SUM7d697abe2607c9e2486f4e4c4676f6ab
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark72000.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1835
Total number of constraints2112
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint882
Number of terms in the objective function 120
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 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.11/0.10	c Free memory 		2104792832
0.11/0.10	c Max memory 		16282288128
0.11/0.10	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4502425-1751428625.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c using VERIPB proof format
0.11/0.14	c  objective function found
0.31/0.25	c ... done. Wall clock time 0.106s.
0.31/0.25	c declared #vars     1835
0.31/0.25	c #constraints  2149
0.31/0.25	c constraints type 
0.31/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 208
0.31/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1941
0.31/0.25	c 2149 constraints processed.
0.31/0.27	c objective function length is 120 literals
0.68/0.46	c SATISFIABLE
0.68/0.46	c OPTIMIZING...
0.68/0.47	c Got one! Elapsed wall clock time (in seconds):0.328
0.68/0.47	o -16
2.05/1.17	c cleaning 2691 clauses out of 5388 with flag 27836/5388
2.84/1.57	c Got one! Elapsed wall clock time (in seconds):1.433
2.84/1.57	o -17
3.23/1.70	c Got one! Elapsed wall clock time (in seconds):1.56
3.23/1.70	o -18
3.43/1.84	c Got one! Elapsed wall clock time (in seconds):1.705
3.43/1.84	o -19
3.83/2.01	c Got one! Elapsed wall clock time (in seconds):1.877
3.83/2.01	o -20
4.61/2.44	c cleaning 5124 clauses out of 10255 with flag 24251/12946
5.90/3.24	c cleaning 5543 clauses out of 11131 with flag 80158/18946
5.90/3.25	c Got one! Elapsed wall clock time (in seconds):3.114
5.90/3.25	o -21
7.02/4.11	c cleaning 5318 clauses out of 10668 with flag 42476/24026
7.62/4.51	c cleaning 5648 clauses out of 11350 with flag 111030/30026
8.32/5.28	c cleaning 6348 clauses out of 12703 with flag 196586/37027
9.51/6.48	c cleaning 7175 clauses out of 14354 with flag 271567/45026
10.12/7.09	c cleaning 8080 clauses out of 16180 with flag 481217/54027
10.71/7.65	c cleaning 9048 clauses out of 18100 with flag 956107/64027
11.32/8.44	c cleaning 10023 clauses out of 20051 with flag 1420509/75026
11.93/9.09	c cleaning 11013 clauses out of 22029 with flag 1902626/87027
12.63/9.76	c cleaning 11999 clauses out of 24016 with flag 2405040/100027
13.53/10.60	c cleaning 13007 clauses out of 26017 with flag 3007503/114027
14.34/11.46	c cleaning 14001 clauses out of 28010 with flag 3664871/129027
15.46/12.54	c cleaning 15004 clauses out of 30009 with flag 4448804/145027
16.68/13.75	c cleaning 15997 clauses out of 32004 with flag 5213370/162026
17.89/14.96	c cleaning 17003 clauses out of 34008 with flag 5953665/180027
19.18/16.23	c cleaning 18001 clauses out of 36005 with flag 6752534/199027
20.60/17.67	c cleaning 19001 clauses out of 38003 with flag 7456048/219026
22.19/19.28	c cleaning 19996 clauses out of 40003 with flag 8193003/240027
24.01/21.05	c cleaning 21002 clauses out of 42007 with flag 8983566/262027
26.20/23.21	c cleaning 22003 clauses out of 44005 with flag 9706749/285027
28.41/25.48	c cleaning 23000 clauses out of 46002 with flag 10379104/309027
31.02/28.20	c cleaning 24000 clauses out of 48001 with flag 11132433/334026
33.73/30.94	c cleaning 24998 clauses out of 50001 with flag 11731019/360026
36.72/33.93	c cleaning 25998 clauses out of 52004 with flag 12356816/387027
39.94/37.14	c cleaning 27000 clauses out of 54005 with flag 13002852/415026
43.13/40.34	c cleaning 28003 clauses out of 56005 with flag 13576745/444026
47.23/44.48	c cleaning 28996 clauses out of 58003 with flag 14149550/474027
49.74/46.96	c cleaning 29994 clauses out of 60007 with flag 15076436/505027
52.65/49.80	c cleaning 31005 clauses out of 62013 with flag 16068399/537027
55.86/53.05	c cleaning 32004 clauses out of 64007 with flag 17080415/570026
59.92/57.25	c cleaning 33001 clauses out of 66003 with flag 18127305/604026
64.13/61.49	c cleaning 33998 clauses out of 68002 with flag 19062761/639026
68.53/65.83	c cleaning 34993 clauses out of 70004 with flag 20070845/675026
73.23/70.56	c cleaning 36004 clauses out of 72012 with flag 21045804/712027
78.43/75.70	c cleaning 37003 clauses out of 74007 with flag 22144550/750026
84.00/81.43	c cleaning 38000 clauses out of 76004 with flag 23190260/789026
89.27/86.77	c cleaning 38999 clauses out of 78005 with flag 24261910/829027
95.38/92.81	c cleaning 40003 clauses out of 80005 with flag 25327212/870026
101.59/99.06	c cleaning 41000 clauses out of 82002 with flag 26475337/912026
108.08/105.58	c cleaning 41995 clauses out of 84004 with flag 27483668/955028
116.07/113.68	c cleaning 43000 clauses out of 86007 with flag 28457664/999026
120.89/118.48	c cleaning 43995 clauses out of 88008 with flag 29660945/1044027
127.00/124.59	c cleaning 45000 clauses out of 90012 with flag 30862243/1090026
133.11/130.67	c cleaning 45997 clauses out of 92012 with flag 32153801/1137026
140.01/137.65	c cleaning 47002 clauses out of 94016 with flag 33547229/1185027
147.33/144.91	c cleaning 48003 clauses out of 96013 with flag 34797390/1234026
154.87/152.42	c cleaning 49006 clauses out of 98011 with flag 36134688/1284027
163.05/160.59	c cleaning 49997 clauses out of 100005 with flag 37318775/1335027
173.78/171.30	c cleaning 50999 clauses out of 102008 with flag 38646104/1387027
176.84/174.31	c Got one! Elapsed wall clock time (in seconds):174.177
176.84/174.31	o -22
178.13/175.63	c cleaning 33882 clauses out of 67808 with flag 52502/1403826
179.22/176.77	c cleaning 19864 clauses out of 39925 with flag 140844/1409825
180.11/177.62	c cleaning 13494 clauses out of 27061 with flag 264853/1416825
180.51/178.09	c cleaning 10755 clauses out of 21567 with flag 443211/1424825
181.20/178.78	c cleaning 9879 clauses out of 19812 with flag 626032/1433825
182.14/179.65	c cleaning 9945 clauses out of 19934 with flag 796300/1443826
183.24/180.76	c cleaning 10444 clauses out of 20989 with flag 986312/1454826
185.93/183.49	c cleaning 11236 clauses out of 22544 with flag 1128357/1466825
189.21/186.62	c cleaning 12130 clauses out of 24309 with flag 1249861/1479826
190.78/200.07	c cleaning 13064 clauses out of 26179 with flag 1435429/1493826
192.32/201.55	c cleaning 14051 clauses out of 28114 with flag 1630793/1508825
195.10/204.30	c cleaning 14965 clauses out of 30064 with flag 1830948/1524826
198.64/207.84	c cleaning 15960 clauses out of 32098 with flag 2101275/1541825
203.57/212.79	c cleaning 16984 clauses out of 34138 with flag 2444797/1559825
208.28/217.49	c cleaning 17983 clauses out of 36154 with flag 2837289/1578825
213.30/222.48	c cleaning 19001 clauses out of 38171 with flag 3233562/1598825
219.46/228.54	c cleaning 19978 clauses out of 40170 with flag 3737273/1619825
225.72/234.71	c cleaning 21001 clauses out of 42192 with flag 4279239/1641825
232.34/296.05	c cleaning 21995 clauses out of 44192 with flag 4888278/1664826
239.46/303.22	c cleaning 22986 clauses out of 46198 with flag 5526702/1688827
248.15/311.93	c cleaning 23995 clauses out of 48210 with flag 6215388/1713825
257.95/321.72	c cleaning 25009 clauses out of 50215 with flag 6990291/1739825
267.92/333.95	c cleaning 26015 clauses out of 52209 with flag 7822011/1766828
278.06/344.03	c cleaning 27005 clauses out of 54191 with flag 8693119/1794825
287.97/353.94	c cleaning 27990 clauses out of 56188 with flag 9594221/1823827
296.91/362.82	c cleaning 29037 clauses out of 58196 with flag 10242446/1853825
306.30/372.13	c cleaning 30036 clauses out of 60159 with flag 10940619/1884825
313.07/379.13	c cleaning 31048 clauses out of 62123 with flag 11626012/1916825
316.59/382.65	c cleaning 32031 clauses out of 64075 with flag 12198821/1949825
320.72/386.75	c cleaning 33012 clauses out of 66044 with flag 12715913/1983825
324.17/390.20	c cleaning 34011 clauses out of 68032 with flag 13252629/2018825
327.69/393.76	c cleaning 35008 clauses out of 70021 with flag 13775894/2054825
331.52/397.54	c cleaning 36003 clauses out of 72013 with flag 14353499/2091825
335.74/401.76	c cleaning 36999 clauses out of 74011 with flag 14958395/2129826
340.87/406.78	c cleaning 38002 clauses out of 76012 with flag 15585779/2168826
345.57/411.40	c cleaning 39004 clauses out of 78009 with flag 16189287/2208825
349.68/415.56	c cleaning 40002 clauses out of 80005 with flag 16817604/2249825
354.98/435.74	c cleaning 40993 clauses out of 82003 with flag 17497417/2291825
361.05/441.81	c cleaning 42003 clauses out of 84011 with flag 18207532/2334826
366.57/447.38	c cleaning 42998 clauses out of 86008 with flag 18921866/2378826
373.28/454.17	c cleaning 43999 clauses out of 88009 with flag 19676624/2423825
380.36/461.25	c cleaning 45000 clauses out of 90011 with flag 20438021/2469826
386.60/467.44	c cleaning 45997 clauses out of 92010 with flag 21342325/2516825
393.23/474.06	c cleaning 47002 clauses out of 94015 with flag 22222128/2564827
401.43/490.11	c cleaning 47999 clauses out of 96011 with flag 23061354/2613825
409.94/498.60	c cleaning 49003 clauses out of 98012 with flag 23930337/2663825
418.66/507.47	c cleaning 49997 clauses out of 100010 with flag 24891675/2714826
427.58/516.30	c cleaning 51004 clauses out of 102012 with flag 25797935/2766825
437.10/533.49	c cleaning 52005 clauses out of 104010 with flag 26766191/2819827
446.52/542.80	c cleaning 52998 clauses out of 106003 with flag 27696739/2873825
455.50/551.87	c cleaning 54003 clauses out of 108005 with flag 28691346/2928825
465.01/567.12	c cleaning 54998 clauses out of 110002 with flag 29682466/2984825
476.12/578.39	c cleaning 55998 clauses out of 112005 with flag 30708209/3041826
486.47/588.63	c cleaning 57000 clauses out of 114007 with flag 31784541/3099826
497.96/600.15	c cleaning 58000 clauses out of 116008 with flag 32862942/3158827
511.02/642.05	c cleaning 59001 clauses out of 118006 with flag 34025560/3218825
522.63/653.66	c cleaning 60000 clauses out of 120005 with flag 35144504/3279825
535.79/666.81	c cleaning 61000 clauses out of 122007 with flag 36383784/3341827
549.41/714.12	c cleaning 62002 clauses out of 124008 with flag 37577876/3404828
561.73/727.49	c cleaning 62998 clauses out of 126006 with flag 38889628/3468828
576.37/742.12	c cleaning 63998 clauses out of 128006 with flag 40204527/3533826
591.18/765.37	c cleaning 65001 clauses out of 130008 with flag 41546841/3599826
603.69/777.83	c cleaning 66003 clauses out of 132007 with flag 42917227/3666826
616.11/790.26	c cleaning 66996 clauses out of 134004 with flag 44312303/3734826
628.61/815.89	c cleaning 67998 clauses out of 136007 with flag 45821300/3803825
645.09/832.56	c cleaning 68999 clauses out of 138009 with flag 47321218/3873825
662.79/850.22	c cleaning 70001 clauses out of 140010 with flag 48774523/3944825
680.99/871.25	c cleaning 71002 clauses out of 142010 with flag 50195539/4016826
699.96/890.67	c cleaning 72001 clauses out of 144009 with flag 51624465/4089827
723.35/914.28	c cleaning 72997 clauses out of 146007 with flag 52998624/4163826
740.79/931.77	c cleaning 74001 clauses out of 148009 with flag 54377239/4238825
760.84/959.34	c cleaning 75002 clauses out of 150008 with flag 55637766/4314825
780.52/978.86	c cleaning 75998 clauses out of 152006 with flag 57138854/4391825
798.48/996.84	c cleaning 76989 clauses out of 154008 with flag 58601222/4469825
812.50/1010.89	c cleaning 77998 clauses out of 156019 with flag 60011936/4548825
830.28/1028.60	c cleaning 78999 clauses out of 158021 with flag 61582055/4628825
843.17/1041.40	c cleaning 80005 clauses out of 160023 with flag 63139169/4709826
855.36/1054.31	c cleaning 81000 clauses out of 162017 with flag 64736269/4791825
871.06/1070.07	c cleaning 82006 clauses out of 164017 with flag 66303728/4874825
886.72/1085.85	c cleaning 82999 clauses out of 166011 with flag 67771216/4958825
901.53/1105.72	c cleaning 84002 clauses out of 168013 with flag 69243178/5043826
916.51/1120.77	c cleaning 84996 clauses out of 170011 with flag 70721975/5129826
934.28/1138.55	c cleaning 86007 clauses out of 172015 with flag 72362139/5216826
951.32/1157.83	c cleaning 86996 clauses out of 174007 with flag 74019801/5304825
967.16/1173.62	c cleaning 88002 clauses out of 176011 with flag 75502651/5393825
982.45/1188.96	c cleaning 88997 clauses out of 178010 with flag 77027605/5483826
1006.74/1213.26	c cleaning 89993 clauses out of 180012 with flag 78491209/5574825
1032.77/1245.17	c cleaning 90996 clauses out of 182019 with flag 79983478/5666825
1091.25/1309.52	c cleaning 91989 clauses out of 184024 with flag 81658527/5759826
1161.99/1381.20	c cleaning 93009 clauses out of 186035 with flag 83651801/5853826
1196.09/1415.28	c cleaning 93996 clauses out of 188027 with flag 85209635/5948827
1237.14/1463.94	c cleaning 94989 clauses out of 190031 with flag 86793796/6044827
1313.43/1551.51	c cleaning 95994 clauses out of 192043 with flag 88781112/6141828
1315.93/1554.06	c Got one! Elapsed wall clock time (in seconds):1553.923
1315.93/1554.06	o -23
1318.00/1556.07	c cleaning 53834 clauses out of 107736 with flag 67405/6153515
1319.40/1557.46	c cleaning 29891 clauses out of 59901 with flag 143153/6159514
1320.39/1558.50	c cleaning 11578 clauses out of 37010 with flag 201235/6166514
1322.01/1560.01	c cleaning 8002 clauses out of 33433 with flag 253042/6174515
1323.69/1561.72	c cleaning 8893 clauses out of 34433 with flag 312904/6183517
1325.44/1563.41	c cleaning 9997 clauses out of 35540 with flag 373766/6193517
1326.47/1564.49	c cleaning 10997 clauses out of 36541 with flag 422309/6204515
1327.66/1565.62	c cleaning 12010 clauses out of 37544 with flag 480902/6216515
1328.60/1566.57	c cleaning 12977 clauses out of 38534 with flag 552944/6229515
1329.60/1567.58	c cleaning 13997 clauses out of 39557 with flag 624555/6243515
1330.80/1568.70	c cleaning 15000 clauses out of 40559 with flag 717207/6258514
1332.03/1569.92	c cleaning 15975 clauses out of 41559 with flag 803047/6274514
1333.23/1571.18	c cleaning 17003 clauses out of 42585 with flag 899226/6291515
1334.72/1572.62	c cleaning 17996 clauses out of 43581 with flag 965522/6309514
1336.45/1574.31	c cleaning 18984 clauses out of 44586 with flag 1056259/6328515
1339.25/1577.11	c cleaning 19905 clauses out of 45601 with flag 1168928/6348514
1342.57/1580.49	c cleaning 20883 clauses out of 46696 with flag 1284923/6369514
1347.19/1585.08	c cleaning 21871 clauses out of 47815 with flag 1439272/6391516
1350.42/1588.28	c cleaning 22885 clauses out of 48942 with flag 1557039/6414514
1354.98/1592.81	c cleaning 23906 clauses out of 50058 with flag 1737484/6438515
1359.72/1597.58	c cleaning 24915 clauses out of 51151 with flag 1920493/6463514
1366.03/1603.81	c cleaning 25957 clauses out of 52236 with flag 2145914/6489514
1371.35/1609.17	c cleaning 26554 clauses out of 53279 with flag 2332564/6516514
1378.36/1616.15	c cleaning 27342 clauses out of 54731 with flag 2576281/6544520
1386.73/1624.51	c cleaning 28177 clauses out of 56385 with flag 2900064/6573516
1395.83/1633.54	c cleaning 29060 clauses out of 58207 with flag 3293680/6603515
1405.24/1642.96	c cleaning 30018 clauses out of 60146 with flag 3762773/6634514
1415.63/1653.33	c cleaning 31040 clauses out of 62128 with flag 4229375/6666514
1426.63/1664.25	c cleaning 32039 clauses out of 64092 with flag 4713499/6699518
1436.94/1674.51	c cleaning 33006 clauses out of 66050 with flag 5183720/6733515
1449.40/1686.93	c cleaning 34011 clauses out of 68043 with flag 5676272/6768514
1460.01/1697.38	c cleaning 35005 clauses out of 70034 with flag 6270376/6804516
1471.97/1709.34	c cleaning 36001 clauses out of 72028 with flag 6955876/6841515
1484.72/1722.04	c cleaning 36987 clauses out of 74027 with flag 7718431/6879515
1497.87/1735.18	c cleaning 37993 clauses out of 76040 with flag 8456227/6918515
1513.48/1750.78	c cleaning 38997 clauses out of 78046 with flag 9132998/6958514
1529.94/1767.19	c cleaning 40003 clauses out of 80049 with flag 9917473/6999514
1547.97/1785.13	c cleaning 40983 clauses out of 82046 with flag 10764592/7041514
1567.22/1804.31	c cleaning 41999 clauses out of 84064 with flag 11718280/7084515
1587.25/1824.36	c cleaning 42995 clauses out of 86064 with flag 12712126/7128514
1609.52/1846.51	c cleaning 43994 clauses out of 88070 with flag 13849268/7173515
1630.27/1867.24	c cleaning 44988 clauses out of 90075 with flag 14807352/7219514
1649.57/1886.43	c cleaning 45989 clauses out of 92089 with flag 15786619/7266516
1670.87/1907.71	c cleaning 47019 clauses out of 94098 with flag 16777761/7314514
1692.32/1929.13	c cleaning 47998 clauses out of 96080 with flag 17775233/7363515
1715.97/1952.75	c cleaning 49011 clauses out of 98081 with flag 18839754/7413514
1735.95/1972.69	c cleaning 50030 clauses out of 100070 with flag 19996279/7464514
1758.90/1995.50	c cleaning 51000 clauses out of 102043 with flag 21089199/7516517
1785.66/2022.20	c cleaning 51976 clauses out of 104041 with flag 22408843/7569515
1816.51/2052.90	c cleaning 52992 clauses out of 106064 with flag 23804222/7623514
1828.30/2064.71	c cleaning 54030 clauses out of 108073 with flag 24422380/7678515
1835.32/2071.71	c cleaning 55021 clauses out of 110044 with flag 24759052/7734516
1842.13/2078.51	c cleaning 56009 clauses out of 112022 with flag 25074943/7791515
1850.54/2086.91	c cleaning 57000 clauses out of 114013 with flag 25452503/7849515
1859.74/2096.18	c cleaning 58006 clauses out of 116013 with flag 25875982/7908515
1871.76/2108.10	c cleaning 58996 clauses out of 118006 with flag 26393614/7968514
1880.33/2116.73	c cleaning 60002 clauses out of 120011 with flag 26878587/8029515
1889.32/2125.76	c cleaning 60994 clauses out of 122008 with flag 27337757/8091514
1901.21/2137.69	c cleaning 61981 clauses out of 124014 with flag 27956953/8154514
1913.45/2149.85	c cleaning 63013 clauses out of 126033 with flag 28508247/8218514
1922.36/2158.73	c cleaning 64007 clauses out of 128022 with flag 28904183/8283516
1930.88/2167.25	c cleaning 64997 clauses out of 130013 with flag 29295337/8349514
1940.07/2176.49	c cleaning 66004 clauses out of 132017 with flag 29718105/8416515
1949.83/2186.13	c cleaning 67000 clauses out of 134013 with flag 30139161/8484515
1962.04/2198.33	c cleaning 68005 clauses out of 136012 with flag 30628007/8553514
1972.85/2209.15	c cleaning 69000 clauses out of 138008 with flag 31088609/8623515
1986.69/2222.97	c cleaning 70001 clauses out of 140010 with flag 31581138/8694517
2010.29/2246.31	c cleaning 70981 clauses out of 142007 with flag 32472011/8766515
2028.10/2264.17	c cleaning 71995 clauses out of 144029 with flag 33360114/8839518
2048.54/2284.62	c cleaning 73007 clauses out of 146031 with flag 34181988/8913515
2065.34/2301.37	c cleaning 74009 clauses out of 148024 with flag 34965031/8988515
2082.74/2318.54	c cleaning 74998 clauses out of 150014 with flag 35801260/9064514
2124.56/2360.13	c cleaning 75911 clauses out of 152017 with flag 36887679/9141515
2166.91/2402.31	c cleaning 76961 clauses out of 154105 with flag 38086398/9219514
2220.77/2458.37	c cleaning 77976 clauses out of 156144 with flag 39441150/9298514
2283.70/2520.92	c cleaning 78986 clauses out of 158171 with flag 40720708/9378517
2338.79/2575.65	c cleaning 79980 clauses out of 160182 with flag 42128823/9459514
2398.04/2634.16	c cleaning 80995 clauses out of 162202 with flag 43577370/9541514
2447.29/2682.73	c cleaning 82079 clauses out of 164207 with flag 44964477/9624514
2466.01/2701.10	c cleaning 83052 clauses out of 166128 with flag 45717020/9708514
2488.72/2723.35	c cleaning 84027 clauses out of 168077 with flag 46734932/9793515
2505.96/2740.20	c cleaning 85017 clauses out of 170049 with flag 47229981/9879514
2526.15/2760.36	c cleaning 86009 clauses out of 172033 with flag 47724467/9966515
2546.91/2780.76	c cleaning 87010 clauses out of 174024 with flag 48332984/10054515
2576.18/2809.27	c cleaning 87979 clauses out of 176013 with flag 49405937/10143514
2604.85/2836.91	c cleaning 89012 clauses out of 178034 with flag 50474595/10233514
2629.19/2860.92	c cleaning 89977 clauses out of 180023 with flag 51445523/10324515
2659.88/2890.97	c cleaning 91016 clauses out of 182045 with flag 52506097/10416514
2683.71/2914.62	c cleaning 92010 clauses out of 184029 with flag 53386743/10509514
2704.94/2935.64	c cleaning 92999 clauses out of 186019 with flag 54007617/10603514
2729.18/2959.39	c cleaning 93966 clauses out of 188022 with flag 54865503/10698516
2753.14/2982.76	c cleaning 95018 clauses out of 190054 with flag 55698810/10794514
2791.43/3020.14	c cleaning 96017 clauses out of 192038 with flag 56820917/10891516
2855.99/3084.58	c cleaning 96912 clauses out of 194019 with flag 58316081/10989514
2886.11/3114.71	c cleaning 98035 clauses out of 196107 with flag 59332848/11088514
2925.70/3154.06	c cleaning 99029 clauses out of 198072 with flag 60469800/11188514
2974.91/3202.62	c cleaning 100019 clauses out of 200044 with flag 61643322/11289515
3005.29/3233.05	c cleaning 101013 clauses out of 202025 with flag 62610517/11391515
3058.58/3285.99	c cleaning 101944 clauses out of 204011 with flag 64211109/11494514
3101.79/3328.65	c cleaning 102986 clauses out of 206069 with flag 65487659/11598516
3144.18/3372.24	c cleaning 104035 clauses out of 208081 with flag 66837676/11703514
3172.05/3400.09	c cleaning 105015 clauses out of 210047 with flag 67603849/11809515
3196.61/3424.50	c cleaning 106007 clauses out of 212032 with flag 68160031/11916515
3224.94/3453.10	c cleaning 107006 clauses out of 214026 with flag 68946780/12024516
3256.82/3485.17	c cleaning 107999 clauses out of 216019 with flag 69648762/12133515
3295.99/3543.90	c cleaning 108985 clauses out of 218020 with flag 70822844/12243515
3335.18/3683.85	c cleaning 109978 clauses out of 220036 with flag 71880982/12354516
3351.37/3700.01	c starts		: 3642
3351.37/3700.02	c conflicts		: 12406378
3351.37/3700.02	c decisions		: 18213139
3351.37/3700.02	c propagations		: 636558403
3351.37/3700.02	c inspects		: 27092135095
3351.37/3700.02	c shortcuts		: 0
3351.37/3700.02	c learnt literals	: 0
3351.37/3700.02	c learnt binary clauses	: 3863
3351.37/3700.02	c learnt ternary clauses	: 14305
3351.37/3700.02	c learnt constraints	: 12406378
3351.37/3700.02	c ignored constraints	: 0
3351.37/3700.02	c root simplifications	: 0
3351.37/3700.02	c removed literals (reason simplification)	: 315964402
3351.37/3700.02	c reason swapping (by a shorter reason)	: 0
3351.37/3700.02	c Calls to reduceDB	: 251
3351.37/3700.02	c Number of update (reduction) of LBD	: 2972240
3351.37/3700.02	c Imported unit clauses	: 0
3351.37/3700.02	c No decision after first conflict	: false
3351.37/3700.02	c number of reductions to clauses (during analyze)	: 0
3351.37/3700.02	c number of learned constraints concerned by reduction	: 0
3351.37/3700.02	c number of learning phase by resolution	: 0
3351.37/3700.02	c number of learning phase by cutting planes	: 0
3351.37/3700.02	c number of rounding to 1 operations	: 0
3351.37/3700.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3351.37/3700.02	c number of reductions of the coefficients by power 2 	: 0
3351.37/3700.02	c number of right shift for reduction by power 2 	: 0
3351.37/3700.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3351.37/3700.02	c number of ending skipping 	: 0
3351.37/3700.02	c number of internal skipping 	: 0
3351.37/3700.02	c number of derivation steps 	: 0
3351.37/3700.02	c number of skipped derivation steps 	: 0
3351.37/3700.02	c number of remaining unassigned 	: 0
3351.37/3700.02	c number of remaining assigned 	: 0
3351.37/3700.02	c number of falsified literals weakened from reason	: 0
3351.37/3700.02	c number of falsified literals weakened from conflict	: 0
3351.37/3700.02	c time for arithmetic operations	: 0
3351.37/3700.02	c minimum degree of deleted constraints	: null
3351.37/3700.02	c maximum degree of deleted constraints	: null
3351.37/3700.02	c number of deleted constraints	: 0
3351.37/3700.02	c speed (assignments/second)	: 172054.90196608411
3351.37/3700.02	c non guided choices	: 16047
3351.37/3700.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 158057
3351.37/3700.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 3863
3351.37/3700.10	s SATISFIABLE
3351.37/3700.10	c Found 8 solution(s)
3351.37/3700.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 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 
3351.37/3700.10	c objective function=-23
3351.37/3700.10	c Total wall clock time (in seconds): 3699.962

Verifier Data 

OK	-23

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: 63708 MiB (62447 MiB free)
  memory of node 1: 64465 MiB (16327 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502425-1751428625/watcher-4502425-1751428625 -o /tmp/evaluation-result-4502425-1751428625/solver-4502425-1751428625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751422121-58940 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502425-1751428625 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502425-1751428625.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=59912, runsolver pid=59909

[startup+0.100059 s]*
/proc/loadavg: 3.35 3.32 3.21 6/322 59930
/proc/meminfo: memFree=80636672/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=18930384 memory=55548 CPUtime=0.11 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 6493 0 0 0 10 1 0 0 20 0 18 0 58540987 19384713216 13887 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4732596 13887 5368 1 0 547573 0
[pid=59912/tid=59914] ppid=59909 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 5013 0 0 0 6 1 0 0 20 0 18 0 58540989 19384713216 13887 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=18930384 memory=215637821742 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58540991 19384713216 13887 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=18930384 memory=33750 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58540992 19384713216 13887 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55548 KiB

[startup+0.205866 s]*
/proc/loadavg: 3.35 3.32 3.21 7/322 59930
/proc/meminfo: memFree=80616080/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=18930384 memory=68084 CPUtime=0.31 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 7051 0 0 0 29 2 0 0 20 0 18 0 58540987 19384713216 17021 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4732596 17021 5432 1 0 547951 0
[pid=59912/tid=59914] ppid=59909 vsize=18930384 memory=4026734107 CPUtime=0.16 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 5294 0 0 0 15 1 0 0 20 0 18 0 58540989 19384713216 17021 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=18930384 memory=211342852430 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58540991 19384713216 17021 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=18930384 memory=54087446200353 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58540992 19384713216 17021 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68084 KiB

[startup+0.305779 s]*
/proc/loadavg: 3.35 3.32 3.21 7/323 59931
/proc/meminfo: memFree=80609716/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=18996948 memory=83652 CPUtime=0.49 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 8775 0 0 0 47 2 0 0 20 0 19 0 58540987 19452874752 20913 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4749237 20913 5464 1 0 549384 0
[pid=59912/tid=59914] ppid=59909 vsize=18996948 memory=-6000919468495168362 CPUtime=0.23 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 5435 0 0 0 22 1 0 0 20 0 19 0 58540989 19452874752 20913 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58540991 19452874752 20913 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 58540992 19452874752 20913 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58541016 19452874752 20913 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83652 KiB

[startup+0.700231 s]
/proc/loadavg: 3.35 3.32 3.21 6/323 59931
/proc/meminfo: memFree=80582432/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=18996948 memory=145884 CPUtime=1.25 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 11750 0 0 0 121 4 0 0 20 0 19 0 58540987 19452874752 36471 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4749237 36471 5496 1 0 551365 0
[pid=59912/tid=59914] ppid=59909 vsize=18996948 memory=17920 CPUtime=0.57 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 5479 0 0 0 55 2 0 0 20 0 19 0 58540989 19452874752 36471 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58540991 19452874752 36471 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 58540992 19452874752 36471 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58541016 19452874752 36471 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145884 KiB

[startup+1.50024 s]
/proc/loadavg: 3.35 3.32 3.21 6/324 59932
/proc/meminfo: memFree=80509480/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=176924 CPUtime=2.84 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 21536 0 0 0 278 6 0 0 20 0 20 0 58540987 19521036288 44231 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 44231 5528 1 0 554019 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=10752 CPUtime=1.34 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 6628 0 0 0 131 3 0 0 20 0 20 0 58540989 19521036288 44231 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 44231 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 44231 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=211309297979 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 44231 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176924 KiB

[startup+3.10569 s]
/proc/loadavg: 3.48 3.35 3.22 6/324 59932
/proc/meminfo: memFree=80384576/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=226140 CPUtime=5.81 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 24172 0 0 0 574 7 0 0 20 0 20 0 58540987 19521036288 56535 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 56535 5528 1 0 554320 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=10752 CPUtime=2.9 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 7262 0 0 0 285 5 0 0 20 0 20 0 58540989 19521036288 56535 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=-6000919468495168362 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 56535 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 56535 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 56535 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 226140 KiB

[startup+6.30021 s]
/proc/loadavg: 3.48 3.35 3.22 4/324 59932
/proc/meminfo: memFree=79916456/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=662564 CPUtime=9.41 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 25392 0 0 0 925 16 0 0 20 0 20 0 58540987 19521036288 165641 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 165641 5528 1 0 554864 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=0 CPUtime=6.06 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 7865 0 0 0 593 13 0 0 20 0 20 0 58540989 19521036288 165641 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 165641 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 165641 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 165641 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 662564 KiB

[startup+12.7002 s]
/proc/loadavg: 3.44 3.35 3.22 4/324 59933
/proc/meminfo: memFree=79025144/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1311928 CPUtime=15.69 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 30350 0 0 0 1536 33 0 0 20 0 20 0 58540987 19521036288 327982 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 327982 5560 1 0 554864 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=2760 CPUtime=12.22 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 9294 0 0 0 1193 29 0 0 20 0 20 0 58540989 19521036288 327982 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=1311928 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 327982 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 327982 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 327982 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 15.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1311928 KiB

[startup+25.5002 s]
/proc/loadavg: 3.41 3.35 3.22 4/324 59933
/proc/meminfo: memFree=78588320/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1332536 CPUtime=28.51 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 33578 0 0 0 2808 43 0 0 20 0 20 0 58540987 19521036288 333134 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 333134 5560 1 0 554864 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=0 CPUtime=24.93 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 10606 0 0 0 2455 38 0 0 20 0 20 0 58540989 19521036288 333134 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=1330488 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 333134 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=1330488 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 333134 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=1330488 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 333134 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 28.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1332536 KiB

[startup+51.1057 s]
/proc/loadavg: 3.35 3.33 3.22 4/324 59933
/proc/meminfo: memFree=77821280/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1340732 CPUtime=53.96 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 36386 0 0 0 5342 54 0 0 20 0 20 0 58540987 19521036288 335183 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 335183 5560 1 0 554864 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=1332536 CPUtime=50.2 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 11615 0 0 0 4972 48 0 0 20 0 20 0 58540989 19521036288 335183 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0

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

/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 225643 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=902572 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 225643 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=902572 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 225643 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 3054.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 902572 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.23 3.46 4/318 60515
/proc/meminfo: memFree=107241912/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=902572 CPUtime=3115.44 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 134849 0 0 0 310522 1022 0 0 20 0 20 0 58540987 19521036288 225643 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 225643 5560 1 0 237240 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=902572 CPUtime=3056.84 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 55990 0 0 0 304773 911 0 0 20 0 20 0 58540989 19521036288 225643 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=902572 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 225643 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=902572 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 1250 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 225643 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 225643 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 3115.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 902572 KiB

[startup+3402.3 s]
/proc/loadavg: 3.04 3.18 3.43 4/318 60517
/proc/meminfo: memFree=106550200/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1069324 CPUtime=3174.36 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 136577 0 0 0 316394 1042 0 0 20 0 20 0 58540987 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 267331 5560 1 0 279000 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=14976 CPUtime=3114.78 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 56151 0 0 0 310549 929 0 0 20 0 20 0 58540989 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 3174.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1069324 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.18 3.41 4/317 60519
/proc/meminfo: memFree=106055144/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1069324 CPUtime=3233.99 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 136638 0 0 0 322344 1055 0 0 20 0 20 0 58540987 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 267331 5560 1 0 279000 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=14976 CPUtime=3173.64 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 56158 0 0 0 316423 941 0 0 20 0 20 0 58540989 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 3233.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1069324 KiB

[startup+3522.3 s]
/proc/loadavg: 3.27 3.20 3.41 4/318 60522
/proc/meminfo: memFree=105647444/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1069324 CPUtime=3292.46 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 136728 0 0 0 328178 1068 0 0 20 0 20 0 58540987 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 267331 5560 1 0 279000 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=1069324 CPUtime=3231.4 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) D 59909 59912 58903 0 -1 4194368 56170 0 0 0 322188 952 0 0 20 0 20 0 58540989 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 3292.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1069324 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.18 3.38 2/317 60524
/proc/meminfo: memFree=105395792/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1069324 CPUtime=3315.43 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 136790 0 0 0 330468 1075 0 0 20 0 20 0 58540987 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 267331 5560 1 0 279000 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=14976 CPUtime=3253.61 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) D 59909 59912 58903 0 -1 4194368 56187 0 0 0 324403 958 0 0 20 0 20 0 58540989 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=6724 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 3315.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1069324 KiB

[startup+3642.3 s]
/proc/loadavg: 3.11 3.16 3.36 1/318 60529
/proc/meminfo: memFree=105402104/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1069324 CPUtime=3315.72 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 136818 0 0 0 330496 1076 0 0 20 0 20 0 58540987 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 267331 5560 1 0 279000 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=1069324 CPUtime=3253.87 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 56187 0 0 0 324429 958 0 0 20 0 20 0 58540989 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 1290 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=1069324 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 3315.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1069324 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 3.09 3.14 3.34 4/318 60531
/proc/meminfo: memFree=105140356/131249996 swapFree=33010160/33010684
[pid=59912] ppid=59909 vsize=19063512 memory=1069324 CPUtime=3351.37 cores=4,6
/proc/59912/stat : 59912 (java) S 59909 59912 58903 0 -1 4194304 136869 0 0 0 334051 1086 0 0 20 0 20 0 58540987 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
/proc/59912/statm: 4765878 267331 5560 1 0 279000 0
[pid=59912/tid=59914] ppid=59909 vsize=19063512 memory=-6000919481313291369 CPUtime=3288.7 cores=4,6
/proc/59912/task/59914/stat : 59914 (java) R 59909 59912 58903 0 -1 4194368 56198 0 0 0 327902 968 0 0 20 0 20 0 58540989 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59923] ppid=59909 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/59912/task/59923/stat : 59923 (Finalizer) S 59909 59912 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58540991 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59930] ppid=59909 vsize=19063512 memory=5436 CPUtime=0 cores=4,6
/proc/59912/task/59930/stat : 59930 (Common-Cleaner) S 59909 59912 58903 0 -1 4194368 1290 0 0 0 0 0 0 0 20 0 20 0 58540992 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
[pid=59912/tid=59931] ppid=59909 vsize=19063512 memory=6640 CPUtime=0 cores=4,6
/proc/59912/task/59931/stat : 59931 (Timer-0) S 59909 59912 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58541016 19521036288 267331 18446744073709551615 93990070493184 93990070496880 140728222271936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93990070504696 93990070505488 93990076649472 140728222279984 140728222280166 140728222280166 140728222285768 0
Current children cumulated CPU time: 3351.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1069324 KiB

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

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

# cumulated CPU time of all completed processes:  user=3340.71 s, system=10.8817 s

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

[startup+3700.11 s]*
/proc/loadavg: 3.09 3.14 3.34 5/300 60534
/proc/meminfo: memFree=106182468/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3700.14
CPU time (s): 3351.59
CPU user time (s): 3340.71
CPU system time (s): 10.8817
CPU usage (%): 90.58
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2169812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3340.71
system time used= 10.8817
maximum resident set size= 2169812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18880608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138891
involuntary context switches= 14958


# summary of solver processes directly reported to runsolver:
#   pid: 59912
#   total CPU time (s): 3351.59
#   total CPU user time (s): 3340.71
#   total CPU system time (s): 10.8817

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86392 second user time and 18.1676 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-02 05:57:06
IDJOB=4502425
IDBENCH=155330
IDSOLVER=3364
FILE ID=nodeC029/4502425-1751428625
RUNJOBID= nodeC029-1751422121-58940
SLURM_JOB_ID= 9598351
Free space on /tmp= 432560 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-protfold.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502425-1751428625/watcher-4502425-1751428625 -o /tmp/evaluation-result-4502425-1751428625/solver-4502425-1751428625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751422121-58940 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502425-1751428625 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502425-1751428625.opb

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

MD5SUM BENCH= 7d697abe2607c9e2486f4e4c4676f6ab
RANDOM SEED=847149317

nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 2036.656
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.718
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3032.549
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3598.928
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3601.279
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.711
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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.726
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3601.004
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        80664608 kB
MemAvailable:   105546712 kB
Buffers:            2128 kB
Cached:         25658312 kB
SwapCached:           40 kB
Active:         24340596 kB
Inactive:       25237924 kB
Active(anon):   23931448 kB
Inactive(anon):     4768 kB
Active(file):     409148 kB
Inactive(file): 25233156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:          10225216 kB
Writeback:             4 kB
AnonPages:      23920820 kB
Mapped:           123288 kB
Shmem:             18020 kB
KReclaimable:     158076 kB
Slab:             567192 kB
SReclaimable:     158076 kB
SUnreclaim:       409116 kB
KernelStack:        4928 kB
PageTables:        50084 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   24405464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151192 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23549952 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432572 MiB
End job on nodeC029 at 2025-07-02 06:58:46