Trace number 4502424

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 2025-06-06SAT (TO)-24 3600.15 3598.39

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.10	c java.vm.version	22.0.1+8-16
0.09/0.10	c java.vm.vendor	Oracle Corporation
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		22.0.1
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.15	c Pseudo Boolean Optimization by upper bound
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Glucose 2.1 dynamic restart strategy
0.09/0.15	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.09/0.15	c timeout=2147483s
0.09/0.15	c DB Simplification allowed=false
0.09/0.15	c Listener: none
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-4502424-1751431292.opb
0.09/0.15	c reading problem ... 
0.09/0.15	c  objective function found
0.28/0.26	c ... done. Wall clock time 0.103s.
0.28/0.26	c declared #vars     1835
0.28/0.26	c #constraints  2149
0.28/0.26	c constraints type 
0.28/0.26	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 208
0.28/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1941
0.28/0.26	c 2149 constraints processed.
0.41/0.35	c objective function length is 120 literals
0.51/0.49	c SATISFIABLE
0.51/0.49	c OPTIMIZING...
0.51/0.49	c Got one! Elapsed wall clock time (in seconds):0.337
0.51/0.49	o -16
1.45/0.99	c cleaning 2691 clauses out of 5388 with flag 27836/5388
2.03/1.22	c Got one! Elapsed wall clock time (in seconds):1.066
2.03/1.22	o -17
2.03/1.29	c Got one! Elapsed wall clock time (in seconds):1.146
2.03/1.29	o -18
2.27/1.40	c Got one! Elapsed wall clock time (in seconds):1.253
2.27/1.40	o -19
2.39/1.52	c Got one! Elapsed wall clock time (in seconds):1.367
2.39/1.52	o -20
2.69/1.83	c cleaning 5124 clauses out of 10255 with flag 24251/12946
3.46/2.46	c cleaning 5543 clauses out of 11131 with flag 80158/18946
3.46/2.47	c Got one! Elapsed wall clock time (in seconds):2.323
3.46/2.47	o -21
4.15/3.18	c cleaning 5318 clauses out of 10668 with flag 42476/24026
4.55/3.51	c cleaning 5648 clauses out of 11350 with flag 111030/30026
5.05/4.10	c cleaning 6348 clauses out of 12703 with flag 196586/37027
6.05/5.05	c cleaning 7175 clauses out of 14354 with flag 271567/45026
6.55/5.50	c cleaning 8080 clauses out of 16180 with flag 481217/54027
6.85/5.88	c cleaning 9048 clauses out of 18100 with flag 956107/64027
7.25/6.26	c cleaning 10023 clauses out of 20051 with flag 1420509/75026
7.75/6.74	c cleaning 11013 clauses out of 22029 with flag 1902626/87027
8.25/7.23	c cleaning 11999 clauses out of 24016 with flag 2405040/100027
8.86/7.87	c cleaning 13007 clauses out of 26017 with flag 3007503/114027
9.57/8.50	c cleaning 14001 clauses out of 28010 with flag 3664871/129027
10.38/9.37	c cleaning 15004 clauses out of 30009 with flag 4448804/145027
11.40/10.37	c cleaning 15997 clauses out of 32004 with flag 5213370/162026
12.39/11.32	c cleaning 17003 clauses out of 34008 with flag 5953665/180027
13.39/12.32	c cleaning 18001 clauses out of 36005 with flag 6752534/199027
14.50/13.46	c cleaning 19001 clauses out of 38003 with flag 7456048/219026
15.79/14.80	c cleaning 19996 clauses out of 40003 with flag 8193003/240027
17.39/16.32	c cleaning 21002 clauses out of 42007 with flag 8983566/262027
19.29/18.29	c cleaning 22003 clauses out of 44005 with flag 9706749/285027
21.48/20.42	c cleaning 23000 clauses out of 46002 with flag 10379104/309027
23.87/22.83	c cleaning 24000 clauses out of 48001 with flag 11132433/334026
26.59/25.51	c cleaning 24998 clauses out of 50001 with flag 11731019/360026
29.39/28.33	c cleaning 25998 clauses out of 52004 with flag 12356816/387027
32.58/31.54	c cleaning 27000 clauses out of 54005 with flag 13002852/415026
35.37/34.34	c cleaning 28003 clauses out of 56005 with flag 13576745/444026
39.21/38.12	c cleaning 28996 clauses out of 58003 with flag 14149550/474027
41.22/40.14	c cleaning 29994 clauses out of 60007 with flag 15076436/505027
43.61/42.54	c cleaning 31005 clauses out of 62013 with flag 16068399/537027
46.53/45.45	c cleaning 32004 clauses out of 64007 with flag 17080415/570026
50.32/49.24	c cleaning 33001 clauses out of 66003 with flag 18127305/604026
54.12/53.05	c cleaning 33998 clauses out of 68002 with flag 19062761/639026
58.24/57.18	c cleaning 34993 clauses out of 70004 with flag 20070845/675026
62.83/61.77	c cleaning 36004 clauses out of 72012 with flag 21045804/712027
67.73/66.67	c cleaning 37003 clauses out of 74007 with flag 22144550/750026
73.44/72.33	c cleaning 38000 clauses out of 76004 with flag 23190260/789026
78.73/77.64	c cleaning 38999 clauses out of 78005 with flag 24261910/829027
85.25/84.18	c cleaning 40003 clauses out of 80005 with flag 25327212/870026
92.14/91.06	c cleaning 41000 clauses out of 82002 with flag 26475337/912026
99.31/98.29	c cleaning 41995 clauses out of 84004 with flag 27483668/955028
108.83/107.74	c cleaning 43000 clauses out of 86007 with flag 28457664/999026
113.42/112.37	c cleaning 43995 clauses out of 88008 with flag 29660945/1044027
120.13/119.01	c cleaning 45000 clauses out of 90012 with flag 30862243/1090026
126.12/125.04	c cleaning 45997 clauses out of 92012 with flag 32153801/1137026
132.94/131.89	c cleaning 47002 clauses out of 94016 with flag 33547229/1185027
140.23/139.16	c cleaning 48003 clauses out of 96013 with flag 34797390/1234026
147.44/146.37	c cleaning 49006 clauses out of 98011 with flag 36134688/1284027
155.03/153.99	c cleaning 49997 clauses out of 100005 with flag 37318775/1335027
165.36/164.22	c cleaning 50999 clauses out of 102008 with flag 38646104/1387027
168.06/166.92	c Got one! Elapsed wall clock time (in seconds):166.769
168.06/166.92	o -22
169.16/168.08	c cleaning 33882 clauses out of 67808 with flag 52502/1403826
170.16/169.07	c cleaning 19864 clauses out of 39925 with flag 140844/1409825
170.86/169.79	c cleaning 13494 clauses out of 27061 with flag 264853/1416825
171.31/170.19	c cleaning 10755 clauses out of 21567 with flag 443211/1424825
171.90/170.73	c cleaning 9879 clauses out of 19812 with flag 626032/1433825
172.50/171.37	c cleaning 9945 clauses out of 19934 with flag 796300/1443826
173.40/172.24	c cleaning 10444 clauses out of 20989 with flag 986312/1454826
175.69/174.59	c cleaning 11236 clauses out of 22544 with flag 1128357/1466825
178.29/177.19	c cleaning 12130 clauses out of 24309 with flag 1249861/1479826
179.59/178.46	c cleaning 13064 clauses out of 26179 with flag 1435429/1493826
180.78/179.61	c cleaning 14051 clauses out of 28114 with flag 1630793/1508825
183.22/182.02	c cleaning 14965 clauses out of 30064 with flag 1830948/1524826
186.21/185.01	c cleaning 15960 clauses out of 32098 with flag 2101275/1541825
190.49/189.35	c cleaning 16984 clauses out of 34138 with flag 2444797/1559825
194.56/193.36	c cleaning 17983 clauses out of 36154 with flag 2837289/1578825
198.65/197.49	c cleaning 19001 clauses out of 38171 with flag 3233562/1598825
203.94/202.73	c cleaning 19978 clauses out of 40170 with flag 3737273/1619825
209.42/208.15	c cleaning 21001 clauses out of 42192 with flag 4279239/1641825
215.10/213.82	c cleaning 21995 clauses out of 44192 with flag 4888278/1664826
221.58/220.22	c cleaning 22986 clauses out of 46198 with flag 5526702/1688827
229.77/228.49	c cleaning 23995 clauses out of 48210 with flag 6215388/1713825
239.66/238.03	c cleaning 25009 clauses out of 50215 with flag 6990291/1739825
248.64/247.02	c cleaning 26015 clauses out of 52209 with flag 7822011/1766828
258.08/256.42	c cleaning 27005 clauses out of 54191 with flag 8693119/1794825
267.16/265.58	c cleaning 27990 clauses out of 56188 with flag 9594221/1823827
276.04/274.49	c cleaning 29037 clauses out of 58196 with flag 10242446/1853825
285.29/283.65	c cleaning 30036 clauses out of 60159 with flag 10940619/1884825
291.48/289.80	c cleaning 31048 clauses out of 62123 with flag 11626012/1916825
294.27/292.62	c cleaning 32031 clauses out of 64075 with flag 12198821/1949825
297.77/296.15	c cleaning 33012 clauses out of 66044 with flag 12715913/1983825
300.56/298.98	c cleaning 34011 clauses out of 68032 with flag 13252629/2018825
303.83/302.12	c cleaning 35008 clauses out of 70021 with flag 13775894/2054825
307.12/305.41	c cleaning 36003 clauses out of 72013 with flag 14353499/2091825
310.91/309.20	c cleaning 36999 clauses out of 74011 with flag 14958395/2129826
315.40/313.77	c cleaning 38002 clauses out of 76012 with flag 15585779/2168826
319.49/317.84	c cleaning 39004 clauses out of 78009 with flag 16189287/2208825
323.08/321.41	c cleaning 40002 clauses out of 80005 with flag 16817604/2249825
327.87/326.25	c cleaning 40993 clauses out of 82003 with flag 17497417/2291825
333.53/331.88	c cleaning 42003 clauses out of 84011 with flag 18207532/2334826
338.83/337.13	c cleaning 42998 clauses out of 86008 with flag 18921866/2378826
345.61/344.00	c cleaning 43999 clauses out of 88009 with flag 19676624/2423825
351.90/350.29	c cleaning 45000 clauses out of 90011 with flag 20438021/2469826
357.69/356.01	c cleaning 45997 clauses out of 92010 with flag 21342325/2516825
364.37/362.70	c cleaning 47002 clauses out of 94015 with flag 22222128/2564827
372.96/371.32	c cleaning 47999 clauses out of 96011 with flag 23061354/2613825
382.34/380.74	c cleaning 49003 clauses out of 98012 with flag 23930337/2663825
392.40/390.70	c cleaning 49997 clauses out of 100010 with flag 24891675/2714826
402.28/400.60	c cleaning 51004 clauses out of 102012 with flag 25797935/2766825
411.56/409.95	c cleaning 52005 clauses out of 104010 with flag 26766191/2819827
421.65/420.03	c cleaning 52998 clauses out of 106003 with flag 27696739/2873825
431.43/429.80	c cleaning 54003 clauses out of 108005 with flag 28691346/2928825
442.50/440.96	c cleaning 54998 clauses out of 110002 with flag 29682466/2984825
454.68/453.13	c cleaning 55998 clauses out of 112005 with flag 30708209/3041826
465.86/464.35	c cleaning 57000 clauses out of 114007 with flag 31784541/3099826
479.02/477.45	c cleaning 58000 clauses out of 116008 with flag 32862942/3158827
494.48/492.96	c cleaning 59001 clauses out of 118006 with flag 34025560/3218825
506.27/504.71	c cleaning 60000 clauses out of 120005 with flag 35144504/3279825
519.04/517.58	c cleaning 61000 clauses out of 122007 with flag 36383784/3341827
534.41/532.91	c cleaning 62002 clauses out of 124008 with flag 37577876/3404828
548.66/547.13	c cleaning 62998 clauses out of 126006 with flag 38889628/3468828
562.33/560.83	c cleaning 63998 clauses out of 128006 with flag 40204527/3533826
576.99/575.58	c cleaning 65001 clauses out of 130008 with flag 41546841/3599826
589.57/588.15	c cleaning 66003 clauses out of 132007 with flag 42917227/3666826
603.83/602.49	c cleaning 66996 clauses out of 134004 with flag 44312303/3734826
619.28/617.42	c cleaning 67998 clauses out of 136007 with flag 45821300/3803825
638.44/636.64	c cleaning 68999 clauses out of 138009 with flag 47321218/3873825
659.21/657.44	c cleaning 70001 clauses out of 140010 with flag 48774523/3944825
681.77/680.01	c cleaning 71002 clauses out of 142010 with flag 50195539/4016826
706.21/704.56	c cleaning 72001 clauses out of 144009 with flag 51624465/4089827
736.34/734.65	c cleaning 72997 clauses out of 146007 with flag 52998624/4163826
757.61/755.96	c cleaning 74001 clauses out of 148009 with flag 54377239/4238825
781.46/779.89	c cleaning 75002 clauses out of 150008 with flag 55637766/4314825
804.01/802.41	c cleaning 75998 clauses out of 152006 with flag 57138854/4391825
823.17/821.64	c cleaning 76989 clauses out of 154008 with flag 58601222/4469825
838.82/837.27	c cleaning 77998 clauses out of 156019 with flag 60011936/4548825
856.69/855.14	c cleaning 78999 clauses out of 158021 with flag 61582055/4628825
867.97/866.46	c cleaning 80005 clauses out of 160023 with flag 63139169/4709826
878.74/877.23	c cleaning 81000 clauses out of 162017 with flag 64736269/4791825
893.21/891.71	c cleaning 82006 clauses out of 164017 with flag 66303728/4874825
908.74/907.14	c cleaning 82999 clauses out of 166011 with flag 67771216/4958825
922.31/920.70	c cleaning 84002 clauses out of 168013 with flag 69243178/5043826
936.18/934.69	c cleaning 84996 clauses out of 170011 with flag 70721975/5129826
952.74/951.26	c cleaning 86007 clauses out of 172015 with flag 72362139/5216826
968.50/967.09	c cleaning 86996 clauses out of 174007 with flag 74019801/5304825
983.60/982.09	c cleaning 88002 clauses out of 176011 with flag 75502651/5393825
997.76/996.24	c cleaning 88997 clauses out of 178010 with flag 77027605/5483826
1020.21/1018.77	c cleaning 89993 clauses out of 180012 with flag 78491209/5574825
1044.89/1043.40	c cleaning 90996 clauses out of 182019 with flag 79983478/5666825
1101.20/1099.13	c cleaning 91989 clauses out of 184024 with flag 81658527/5759826
1176.73/1174.72	c cleaning 93009 clauses out of 186035 with flag 83651801/5853826
1215.99/1213.92	c cleaning 93996 clauses out of 188027 with flag 85209635/5948827
1260.71/1258.73	c cleaning 94989 clauses out of 190031 with flag 86793796/6044827
1354.71/1352.85	c cleaning 95994 clauses out of 192043 with flag 88781112/6141828
1357.11/1355.21	c Got one! Elapsed wall clock time (in seconds):1355.057
1357.11/1355.21	o -23
1359.22/1357.26	c cleaning 53834 clauses out of 107736 with flag 67405/6153515
1360.52/1358.54	c cleaning 29891 clauses out of 59901 with flag 143153/6159514
1361.32/1359.39	c cleaning 11578 clauses out of 37010 with flag 201235/6166514
1362.72/1360.71	c cleaning 8002 clauses out of 33433 with flag 253042/6174515
1364.12/1362.16	c cleaning 8893 clauses out of 34433 with flag 312904/6183517
1365.54/1363.52	c cleaning 9997 clauses out of 35540 with flag 373766/6193517
1366.36/1364.38	c cleaning 10997 clauses out of 36541 with flag 422309/6204515
1367.26/1365.27	c cleaning 12010 clauses out of 37544 with flag 480902/6216515
1367.96/1365.95	c cleaning 12977 clauses out of 38534 with flag 552944/6229515
1368.75/1366.73	c cleaning 13997 clauses out of 39557 with flag 624555/6243515
1369.56/1367.59	c cleaning 15000 clauses out of 40559 with flag 717207/6258514
1370.45/1368.49	c cleaning 15975 clauses out of 41559 with flag 803047/6274514
1371.45/1369.45	c cleaning 17003 clauses out of 42585 with flag 899226/6291515
1372.55/1370.59	c cleaning 17996 clauses out of 43581 with flag 965522/6309514
1373.95/1371.91	c cleaning 18984 clauses out of 44586 with flag 1056259/6328515
1376.24/1374.24	c cleaning 19905 clauses out of 45601 with flag 1168928/6348514
1379.04/1377.03	c cleaning 20883 clauses out of 46696 with flag 1284923/6369514
1382.84/1380.85	c cleaning 21871 clauses out of 47815 with flag 1439272/6391516
1385.63/1383.67	c cleaning 22885 clauses out of 48942 with flag 1557039/6414514
1389.77/1387.70	c cleaning 23906 clauses out of 50058 with flag 1737484/6438515
1393.86/1391.89	c cleaning 24915 clauses out of 51151 with flag 1920493/6463514
1399.55/1397.59	c cleaning 25957 clauses out of 52236 with flag 2145914/6489514
1404.43/1402.49	c cleaning 26554 clauses out of 53279 with flag 2332564/6516514
1411.22/1409.22	c cleaning 27342 clauses out of 54731 with flag 2576281/6544520
1419.71/1417.78	c cleaning 28177 clauses out of 56385 with flag 2900064/6573516
1428.78/1426.80	c cleaning 29060 clauses out of 58207 with flag 3293680/6603515
1438.02/1436.07	c cleaning 30018 clauses out of 60146 with flag 3762773/6634514
1447.49/1445.54	c cleaning 31040 clauses out of 62128 with flag 4229375/6666514
1457.48/1455.57	c cleaning 32039 clauses out of 64092 with flag 4713499/6699518
1468.25/1466.39	c cleaning 33006 clauses out of 66050 with flag 5183720/6733515
1481.31/1479.44	c cleaning 34011 clauses out of 68043 with flag 5676272/6768514
1491.79/1489.91	c cleaning 35005 clauses out of 70034 with flag 6270376/6804516
1504.48/1502.54	c cleaning 36001 clauses out of 72028 with flag 6955876/6841515
1518.07/1516.13	c cleaning 36987 clauses out of 74027 with flag 7718431/6879515
1532.33/1530.49	c cleaning 37993 clauses out of 76040 with flag 8456227/6918515
1549.59/1547.79	c cleaning 38997 clauses out of 78046 with flag 9132998/6958514
1569.02/1566.87	c cleaning 40003 clauses out of 80049 with flag 9917473/6999514
1589.98/1587.87	c cleaning 40983 clauses out of 82046 with flag 10764592/7041514
1612.14/1610.07	c cleaning 41999 clauses out of 84064 with flag 11718280/7084515
1635.22/1633.18	c cleaning 42995 clauses out of 86064 with flag 12712126/7128514
1660.84/1658.85	c cleaning 43994 clauses out of 88070 with flag 13849268/7173515
1684.70/1682.79	c cleaning 44988 clauses out of 90075 with flag 14807352/7219514
1706.26/1704.23	c cleaning 45989 clauses out of 92089 with flag 15786619/7266516
1728.62/1726.60	c cleaning 47019 clauses out of 94098 with flag 16777761/7314514
1750.68/1748.73	c cleaning 47998 clauses out of 96080 with flag 17775233/7363515
1777.55/1775.57	c cleaning 49011 clauses out of 98081 with flag 18839754/7413514
1799.60/1797.65	c cleaning 50030 clauses out of 100070 with flag 19996279/7464514
1821.07/1819.15	c cleaning 51000 clauses out of 102043 with flag 21089199/7516517
1847.90/1845.97	c cleaning 51976 clauses out of 104041 with flag 22408843/7569515
1883.81/1881.91	c cleaning 52992 clauses out of 106064 with flag 23804222/7623514
1896.99/1895.10	c cleaning 54030 clauses out of 108073 with flag 24422380/7678515
1904.87/1903.02	c cleaning 55021 clauses out of 110044 with flag 24759052/7734516
1912.44/1910.62	c cleaning 56009 clauses out of 112022 with flag 25074943/7791515
1922.72/1920.90	c cleaning 57000 clauses out of 114013 with flag 25452503/7849515
1933.89/1932.13	c cleaning 58006 clauses out of 116013 with flag 25875982/7908515
1947.14/1945.34	c cleaning 58996 clauses out of 118006 with flag 26393614/7968514
1957.41/1955.63	c cleaning 60002 clauses out of 120011 with flag 26878587/8029515
1968.29/1966.52	c cleaning 60994 clauses out of 122008 with flag 27337757/8091514
1981.85/1980.19	c cleaning 61981 clauses out of 124014 with flag 27956953/8154514
1995.02/1993.31	c cleaning 63013 clauses out of 126033 with flag 28508247/8218514
2005.29/2003.60	c cleaning 64007 clauses out of 128022 with flag 28904183/8283516
2014.18/2012.59	c cleaning 64997 clauses out of 130013 with flag 29295337/8349514
2024.36/2022.77	c cleaning 66004 clauses out of 132017 with flag 29718105/8416515
2034.64/2033.10	c cleaning 67000 clauses out of 134013 with flag 30139161/8484515
2048.94/2047.26	c cleaning 68005 clauses out of 136012 with flag 30628007/8553514
2060.72/2059.02	c cleaning 69000 clauses out of 138008 with flag 31088609/8623515
2078.37/2076.75	c cleaning 70001 clauses out of 140010 with flag 31581138/8694517
2104.02/2102.45	c cleaning 70981 clauses out of 142007 with flag 32472011/8766515
2121.69/2120.17	c cleaning 71995 clauses out of 144029 with flag 33360114/8839518
2141.02/2139.33	c cleaning 73007 clauses out of 146031 with flag 34181988/8913515
2158.08/2156.49	c cleaning 74009 clauses out of 148024 with flag 34965031/8988515
2175.05/2173.40	c cleaning 74998 clauses out of 150014 with flag 35801260/9064514
2222.75/2220.73	c cleaning 75911 clauses out of 152017 with flag 36887679/9141515
2265.79/2263.71	c cleaning 76961 clauses out of 154105 with flag 38086398/9219514
2315.68/2313.58	c cleaning 77976 clauses out of 156144 with flag 39441150/9298514
2378.56/2376.59	c cleaning 78986 clauses out of 158171 with flag 40720708/9378517
2432.05/2430.08	c cleaning 79980 clauses out of 160182 with flag 42128823/9459514
2487.24/2485.18	c cleaning 80995 clauses out of 162202 with flag 43577370/9541514
2535.72/2533.56	c cleaning 82079 clauses out of 164207 with flag 44964477/9624514
2553.59/2551.44	c cleaning 83052 clauses out of 166128 with flag 45717020/9708514
2576.43/2574.30	c cleaning 84027 clauses out of 168077 with flag 46734932/9793515
2593.57/2591.23	c cleaning 85017 clauses out of 170049 with flag 47229981/9879514
2613.22/2610.95	c cleaning 86009 clauses out of 172033 with flag 47724467/9966515
2632.49/2630.27	c cleaning 87010 clauses out of 174024 with flag 48332984/10054515
2660.12/2657.88	c cleaning 87979 clauses out of 176013 with flag 49405937/10143514
2685.38/2683.12	c cleaning 89012 clauses out of 178034 with flag 50474595/10233514
2706.99/2704.75	c cleaning 89977 clauses out of 180023 with flag 51445523/10324515
2734.44/2732.25	c cleaning 91016 clauses out of 182045 with flag 52506097/10416514
2755.99/2753.77	c cleaning 92010 clauses out of 184029 with flag 53386743/10509514
2775.55/2773.37	c cleaning 92999 clauses out of 186019 with flag 54007617/10603514
2797.70/2795.59	c cleaning 93966 clauses out of 188022 with flag 54865503/10698516
2819.66/2817.52	c cleaning 95018 clauses out of 190054 with flag 55698810/10794514
2854.70/2852.59	c cleaning 96017 clauses out of 192038 with flag 56820917/10891516
2917.67/2915.62	c cleaning 96912 clauses out of 194019 with flag 58316081/10989514
2945.92/2943.98	c cleaning 98035 clauses out of 196107 with flag 59332848/11088514
2982.67/2980.65	c cleaning 99029 clauses out of 198072 with flag 60469800/11188514
3027.17/3025.28	c cleaning 100019 clauses out of 200044 with flag 61643322/11289515
3055.21/3053.32	c cleaning 101013 clauses out of 202025 with flag 62610517/11391515
3106.45/3104.57	c cleaning 101944 clauses out of 204011 with flag 64211109/11494514
3145.78/3143.91	c cleaning 102986 clauses out of 206069 with flag 65487659/11598516
3184.73/3182.86	c cleaning 104035 clauses out of 208081 with flag 66837676/11703514
3218.36/3216.55	c cleaning 105015 clauses out of 210047 with flag 67603849/11809515
3244.80/3243.01	c cleaning 106007 clauses out of 212032 with flag 68160031/11916515
3274.64/3272.95	c cleaning 107006 clauses out of 214026 with flag 68946780/12024516
3308.36/3306.63	c cleaning 107999 clauses out of 216019 with flag 69648762/12133515
3350.38/3348.79	c cleaning 108985 clauses out of 218020 with flag 70822844/12243515
3387.73/3386.03	c cleaning 109978 clauses out of 220036 with flag 71880982/12354516
3422.96/3421.36	c cleaning 111018 clauses out of 222056 with flag 72875146/12466514
3458.12/3456.23	c cleaning 111952 clauses out of 224040 with flag 73756229/12579516
3469.21/3467.38	c Got one! Elapsed wall clock time (in seconds):3467.227
3469.21/3467.38	o -24
3470.91/3469.07	c cleaning 69607 clauses out of 144137 with flag 54273/12611565
3472.40/3470.52	c cleaning 5973 clauses out of 80527 with flag 85133/12617562
3473.91/3472.00	c cleaning 6990 clauses out of 81554 with flag 126806/12624562
3475.80/3473.92	c cleaning 7961 clauses out of 82564 with flag 183258/12632562
3478.29/3476.50	c cleaning 9029 clauses out of 83603 with flag 244036/12641562
3480.49/3478.60	c cleaning 9914 clauses out of 84574 with flag 299529/12651562
3481.69/3479.82	c cleaning 11011 clauses out of 85662 with flag 336877/12662564
3483.48/3481.66	c cleaning 11962 clauses out of 86651 with flag 384913/12674564
3485.81/3483.92	c cleaning 12923 clauses out of 87687 with flag 436351/12687562
3488.51/3486.69	c cleaning 14002 clauses out of 88765 with flag 490646/12701563
3492.30/3490.43	c cleaning 14908 clauses out of 89762 with flag 581904/12716562
3495.00/3493.18	c cleaning 15974 clauses out of 90854 with flag 647102/12732562
3497.19/3495.30	c cleaning 17007 clauses out of 91882 with flag 703953/12749564
3500.18/3498.32	c cleaning 17930 clauses out of 92874 with flag 781366/12767563
3503.77/3501.98	c cleaning 18894 clauses out of 93943 with flag 869289/12786562
3507.88/3506.09	c cleaning 19918 clauses out of 95050 with flag 966697/12806563
3512.56/3510.72	c cleaning 20909 clauses out of 96132 with flag 1070322/12827563
3518.15/3516.33	c cleaning 21798 clauses out of 97225 with flag 1193547/12849565
3522.95/3521.10	c cleaning 22966 clauses out of 98424 with flag 1315610/12872562
3526.33/3524.56	c cleaning 23891 clauses out of 99459 with flag 1408813/12896563
3532.52/3530.76	c cleaning 24751 clauses out of 100567 with flag 1571271/12921562
3536.12/3534.38	c cleaning 26050 clauses out of 101816 with flag 1664201/12947562
3542.10/3540.36	c cleaning 26826 clauses out of 102770 with flag 1812886/12974566
3548.68/3546.91	c cleaning 27897 clauses out of 103941 with flag 1968513/13002563
3552.90/3551.12	c cleaning 28962 clauses out of 105043 with flag 2070109/13031562
3560.68/3558.91	c cleaning 29874 clauses out of 106082 with flag 2254444/13061563
3569.96/3568.20	c cleaning 30939 clauses out of 107208 with flag 2462142/13092563
3572.86/3571.12	c cleaning 31988 clauses out of 108269 with flag 2545354/13124563
3576.35/3574.64	c cleaning 32960 clauses out of 109283 with flag 2645913/13157565
3580.44/3578.74	c cleaning 33964 clauses out of 110321 with flag 2752558/13191563
3585.43/3583.70	c cleaning 34949 clauses out of 111356 with flag 2872679/13226562
3589.62/3587.96	c cleaning 35967 clauses out of 112408 with flag 2972669/13262563
3596.11/3594.43	c cleaning 36906 clauses out of 113440 with flag 3123143/13299562
3600.00/3598.31	c starts		: 3905
3600.00/3598.31	c conflicts		: 13317140
3600.00/3598.31	c decisions		: 19798628
3600.00/3598.31	c propagations		: 700614923
3600.00/3598.31	c inspects		: 29049300296
3600.00/3598.31	c shortcuts		: 0
3600.00/3598.31	c learnt literals	: 0
3600.00/3598.31	c learnt binary clauses	: 4583
3600.00/3598.31	c learnt ternary clauses	: 15841
3600.00/3598.31	c learnt constraints	: 13317140
3600.00/3598.31	c ignored constraints	: 0
3600.00/3598.31	c root simplifications	: 0
3600.00/3598.31	c removed literals (reason simplification)	: 337256030
3600.00/3598.31	c reason swapping (by a shorter reason)	: 0
3600.00/3598.31	c Calls to reduceDB	: 286
3600.00/3598.31	c Number of update (reduction) of LBD	: 3220943
3600.00/3598.31	c Imported unit clauses	: 0
3600.00/3598.31	c No decision after first conflict	: false
3600.00/3598.31	c number of reductions to clauses (during analyze)	: 0
3600.00/3598.31	c number of learned constraints concerned by reduction	: 0
3600.00/3598.31	c number of learning phase by resolution	: 0
3600.00/3598.31	c number of learning phase by cutting planes	: 0
3600.00/3598.31	c number of rounding to 1 operations	: 0
3600.00/3598.31	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3598.31	c number of reductions of the coefficients by power 2 	: 0
3600.00/3598.31	c number of right shift for reduction by power 2 	: 0
3600.00/3598.31	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3598.31	c number of ending skipping 	: 0
3600.00/3598.32	c number of internal skipping 	: 0
3600.00/3598.32	c number of derivation steps 	: 0
3600.00/3598.32	c number of skipped derivation steps 	: 0
3600.00/3598.32	c number of remaining unassigned 	: 0
3600.00/3598.32	c number of remaining assigned 	: 0
3600.00/3598.32	c number of falsified literals weakened from reason	: 0
3600.00/3598.32	c number of falsified literals weakened from conflict	: 0
3600.00/3598.32	c time for arithmetic operations	: 0
3600.00/3598.32	c minimum degree of deleted constraints	: null
3600.00/3598.32	c maximum degree of deleted constraints	: null
3600.00/3598.32	c number of deleted constraints	: 0
3600.00/3598.32	c speed (assignments/second)	: 194725.76325953868
3600.00/3598.32	c non guided choices	: 16668
3600.00/3598.36	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 41649
3600.00/3598.36	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 4560
3600.00/3598.36	s SATISFIABLE
3600.00/3598.36	c Found 9 solution(s)
3600.00/3598.36	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 
3600.00/3598.36	c objective function=-24
3600.00/3598.36	c Total wall clock time (in seconds): 3598.213

Verifier Data 

OK	-24

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502424-1751431292/watcher-4502424-1751431292 -o /tmp/evaluation-result-4502424-1751431292/solver-4502424-1751431292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751431292-60440 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502424-1751431292.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 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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=60482, runsolver pid=60475

[startup+0.10006 s]*
/proc/loadavg: 0.45 1.65 2.79 5/322 60555
/proc/meminfo: memFree=126309180/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=18930384 memory=51864 CPUtime=0.09 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 6133 0 0 0 8 1 0 0 20 0 18 0 58807898 19384713216 12966 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4732596 12966 5330 1 0 547251 0
[pid=60482/tid=60490] ppid=60475 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 4974 0 0 0 5 0 0 0 20 0 18 0 58807901 19384713216 12966 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=18930384 memory=2569 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58807903 19384713216 12966 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 58807904 19384713216 12966 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51864 KiB

[startup+0.20596 s]*
/proc/loadavg: 0.45 1.65 2.79 11/333 60566
/proc/meminfo: memFree=126289900/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=18930384 memory=65868 CPUtime=0.28 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 6991 0 0 0 27 1 0 0 20 0 18 0 58807898 19384713216 16467 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4732596 16467 5426 1 0 547899 0
[pid=60482/tid=60490] ppid=60475 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 5283 0 0 0 15 0 0 0 20 0 18 0 58807901 19384713216 16467 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=18930384 memory=2569 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58807903 19384713216 16467 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 58807904 19384713216 16467 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65868 KiB

[startup+0.30587 s]*
/proc/loadavg: 0.45 1.65 2.79 5/333 60566
/proc/meminfo: memFree=126250468/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=18930384 memory=82796 CPUtime=0.41 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 8570 0 0 0 39 2 0 0 20 0 18 0 58807898 19384713216 20699 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4732596 20699 5458 1 0 549002 0
[pid=60482/tid=60490] ppid=60475 vsize=18930384 memory=-6000919472790400105 CPUtime=0.19 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) D 60475 60482 59758 0 -1 4194368 5330 0 0 0 18 1 0 0 20 0 18 0 58807901 19384713216 20699 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58807903 19384713216 20699 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 58807904 19384713216 20699 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 82796 KiB

[startup+0.700266 s]
/proc/loadavg: 0.45 1.65 2.79 9/336 60569
/proc/meminfo: memFree=126101628/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=18996948 memory=93164 CPUtime=1.09 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 10648 0 1 0 106 3 0 0 20 0 19 0 58807898 19452874752 23291 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4749237 23291 5458 1 0 550634 0
[pid=60482/tid=60490] ppid=60475 vsize=18996948 memory=18304 CPUtime=0.5 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 5413 0 1 0 49 1 0 0 20 0 19 0 58807901 19452874752 23291 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58807903 19452874752 23291 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 58807904 19452874752 23291 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58807934 19452874752 23291 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93164 KiB

[startup+1.50025 s]
/proc/loadavg: 0.45 1.65 2.79 8/339 60572
/proc/meminfo: memFree=125612184/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=18996948 memory=115748 CPUtime=2.39 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 18615 0 1 0 234 5 0 0 20 0 19 0 58807898 19452874752 28937 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4749237 28937 5458 1 0 553843 0
[pid=60482/tid=60490] ppid=60475 vsize=18996948 memory=0 CPUtime=1.28 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 5947 0 1 0 126 2 0 0 20 0 19 0 58807901 19452874752 28937 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58807903 19452874752 28937 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 58807904 19452874752 28937 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58807934 19452874752 28937 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115748 KiB

[startup+3.10571 s]
/proc/loadavg: 0.45 1.65 2.79 5/340 60573
/proc/meminfo: memFree=125147428/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=18996948 memory=132788 CPUtime=4.15 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 21428 0 1 0 410 5 0 0 20 0 19 0 58807898 19452874752 33197 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4749237 33197 5458 1 0 553849 0
[pid=60482/tid=60490] ppid=60475 vsize=18996948 memory=10752 CPUtime=2.86 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 6352 0 1 0 284 2 0 0 20 0 19 0 58807901 19452874752 33197 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=18996948 memory=-6000919485557927017 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58807903 19452874752 33197 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 58807904 19452874752 33197 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58807934 19452874752 33197 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132788 KiB

[startup+6.30023 s]
/proc/loadavg: 0.73 1.69 2.79 5/341 60574
/proc/meminfo: memFree=124351208/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=177248 CPUtime=7.35 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 23082 0 1 0 729 6 0 0 20 0 20 0 58807898 19521036288 44312 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 44312 5522 1 0 554138 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=0 CPUtime=6.04 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 6421 0 1 0 601 3 0 0 20 0 20 0 58807901 19521036288 44312 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 44312 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 44312 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 44312 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177248 KiB

[startup+12.7002 s]
/proc/loadavg: 0.99 1.73 2.80 5/341 60574
/proc/meminfo: memFree=123111972/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=183684 CPUtime=13.79 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 25829 0 1 0 1373 6 0 0 20 0 20 0 58807898 19521036288 45921 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 45921 5554 1 0 554138 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=0 CPUtime=12.4 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 6932 0 1 0 1237 3 0 0 20 0 20 0 58807901 19521036288 45921 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 45921 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=-6000919485557927017 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 45921 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=9 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 45921 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 13.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183684 KiB

[startup+25.5003 s]
/proc/loadavg: 1.80 1.87 2.83 6/341 60574
/proc/meminfo: memFree=119236608/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=237072 CPUtime=26.59 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 28252 0 1 0 2651 8 0 0 20 0 20 0 58807898 19521036288 59268 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 59268 5554 1 0 554138 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=-6000919485557927017 CPUtime=25.11 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 7620 0 1 0 2508 3 0 0 20 0 20 0 58807901 19521036288 59268 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=-6000919485557927017 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 59268 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=202164 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 59268 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 59268 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 237072 KiB

[startup+51.1057 s]
/proc/loadavg: 2.55 2.04 2.86 5/340 60575
/proc/meminfo: memFree=117447164/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=331428 CPUtime=52.22 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 28993 0 1 0 5211 11 0 0 20 0 20 0 58807898 19521036288 82857 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 82857 5554 1 0 554138 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=0 CPUtime=50.58 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 7866 0 1 0 5055 3 0 0 20 0 20 0 58807901 19521036288 82857 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=331428 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 82857 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=331428 CPUtime=0 cores=4,6

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

/proc/meminfo: memFree=97643016/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=2365652 CPUtime=3284.11 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 94782 0 1 0 328260 151 0 0 20 0 20 0 58807898 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 591413 5554 1 0 605002 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=6896 CPUtime=3267.42 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 39424 0 1 0 326715 27 0 0 20 0 20 0 58807901 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 1031 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=21612 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 3284.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2365652 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.17 4.15 5/338 60734
/proc/meminfo: memFree=97204880/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=2365652 CPUtime=3343.99 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 94908 0 1 0 334246 153 0 0 20 0 20 0 58807898 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 591413 5554 1 0 605002 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=14720 CPUtime=3327.28 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 39522 0 1 0 332701 27 0 0 20 0 20 0 58807901 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 1031 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 3343.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2365652 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.14 5/339 60739
/proc/meminfo: memFree=97032624/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=2365652 CPUtime=3403.99 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 95644 0 1 0 340246 153 0 0 20 0 20 0 58807898 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 591413 5554 1 0 605002 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=14720 CPUtime=3386.93 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 40066 0 1 0 338666 27 0 0 20 0 20 0 58807901 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 1031 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 591413 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 3403.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2365652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/339 60745
/proc/meminfo: memFree=96913972/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=2365780 CPUtime=3464.21 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 98895 0 1 0 346267 154 0 0 20 0 20 0 58807898 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 591445 5554 1 0 605035 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=14720 CPUtime=3446.72 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 42448 0 1 0 344644 28 0 0 20 0 20 0 58807901 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 1044 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=2365652 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 3464.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2365780 KiB

[startup+3522.3 s]
/proc/loadavg: 3.62 4.01 4.09 4/315 60785
/proc/meminfo: memFree=112175116/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=2365780 CPUtime=3524.14 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 99650 0 1 0 352258 156 0 0 20 0 20 0 58807898 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 591445 5554 1 0 605035 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=2365780 CPUtime=3506.54 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 42910 0 1 0 350626 28 0 0 20 0 20 0 58807901 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=2365780 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=2365780 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 1048 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 3524.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2365780 KiB

[startup+3582.3 s]
/proc/loadavg: 2.87 3.74 3.99 3/291 60827
/proc/meminfo: memFree=121273948/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=2365780 CPUtime=3584.04 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 100300 0 1 0 358246 158 0 0 20 0 20 0 58807898 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 591445 5554 1 0 605035 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=5148 CPUtime=3566.35 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 43428 0 1 0 356606 29 0 0 20 0 20 0 58807901 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=2365780 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 1048 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=2365780 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 3584.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2365780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.3 s]
/proc/loadavg: 2.68 3.65 3.96 3/291 60828
/proc/meminfo: memFree=121273948/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=2365780 CPUtime=3600 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 100645 0 1 0 359842 158 0 0 20 0 20 0 58807898 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 591445 5554 1 0 605035 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=5148 CPUtime=3582.32 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 43753 0 1 0 358203 29 0 0 20 0 20 0 58807901 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=-6000919485557927017 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 1048 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=2365780 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2365780 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.55 s, system=1.60558 s

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

[startup+3598.3 s]
/proc/loadavg: 2.68 3.65 3.96 3/291 60828
/proc/meminfo: memFree=121273948/131250000 swapFree=33010684/33010684
[pid=60482] ppid=60475 vsize=19063512 memory=2365780 CPUtime=3600 cores=4,6
/proc/60482/stat : 60482 (java) S 60475 60482 59758 0 -1 4194304 100645 0 1 0 359842 158 0 0 20 0 20 0 58807898 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
/proc/60482/statm: 4765878 591445 5554 1 0 605035 0
[pid=60482/tid=60490] ppid=60475 vsize=19063512 memory=5148 CPUtime=3582.32 cores=4,6
/proc/60482/task/60490/stat : 60490 (java) R 60475 60482 59758 0 -1 4194368 43753 0 1 0 358203 29 0 0 20 0 20 0 58807901 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60510] ppid=60475 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/60482/task/60510/stat : 60510 (Finalizer) S 60475 60482 59758 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58807903 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60518] ppid=60475 vsize=19063512 memory=-6000919485557927017 CPUtime=0 cores=4,6
/proc/60482/task/60518/stat : 60518 (Common-Cleaner) S 60475 60482 59758 0 -1 4194368 1048 0 0 0 0 0 0 0 20 0 20 0 58807904 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
[pid=60482/tid=60567] ppid=60475 vsize=19063512 memory=2365780 CPUtime=0 cores=4,6
/proc/60482/task/60567/stat : 60567 (Timer-0) S 60475 60482 59758 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58807934 19521036288 591445 18446744073709551615 94302616821760 94302616825456 140726956931440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94302616833272 94302616834064 94302641979392 140726956939649 140726956939750 140726956939750 140726956945352 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2365780 KiB

Child status: 143

Real time (s): 3598.39
CPU time (s): 3600.15
CPU user time (s): 3598.55
CPU system time (s): 1.60558
CPU usage (%): 100.049
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2365780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.55
system time used= 1.60558
maximum resident set size= 2366676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103130
page faults= 1
swaps= 0
block input operations= 144
block output operations= 14744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108042
involuntary context switches= 4850


# summary of solver processes directly reported to runsolver:
#   pid: 60482
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3598.55
#   total CPU system time (s): 1.60558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80252 second user time and 17.4054 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-02 06:41:33
IDJOB=4502424
IDBENCH=155330
IDSOLVER=3363
FILE ID=nodeC026/4502424-1751431292
RUNJOBID= nodeC026-1751431292-60440
SLURM_JOB_ID= 9598365
Free space on /tmp= 432124 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-protfold.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502424-1751431292/watcher-4502424-1751431292 -o /tmp/evaluation-result-4502424-1751431292/solver-4502424-1751431292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751431292-60440 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4502424-1751431292.opb

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

MD5SUM BENCH= 7d697abe2607c9e2486f4e4c4676f6ab
RANDOM SEED=486323026

nodeC026 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		: 3599.831
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.59
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.765
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.59
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		: 3600.132
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.59
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		: 3601.280
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.59
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		: 3600.099
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.59
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		: 3596.241
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.59
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.783
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.819
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126376616 kB
MemAvailable:   129682544 kB
Buffers:            3280 kB
Cached:          4101424 kB
SwapCached:            0 kB
Active:           334020 kB
Inactive:        3841772 kB
Active(anon):      89492 kB
Inactive(anon):        0 kB
Active(file):     244528 kB
Inactive(file):  3841772 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4212 kB
Writeback:            36 kB
AnonPages:         74516 kB
Mapped:           104112 kB
Shmem:             18080 kB
KReclaimable:     117736 kB
Slab:             206896 kB
SReclaimable:     117736 kB
SUnreclaim:        89160 kB
KernelStack:        4048 kB
PageTables:         2780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     339732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431512 MiB
End job on nodeC026 at 2025-07-02 07:41:31