Trace number 4497934

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT 3194.3 3190.64

General information on the benchmark

NamePB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_15.opb
MD5SUM3f37efef5e3a85e10cfe19dd078fbecb
Bench CategoryDEC-NLC (decision problem, non-linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.034781
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.10/0.10	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4497934-1751270066.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  no objective function found
0.30/0.22	c ... done. Wall clock time 0.082s.
0.30/0.22	c declared #vars     200
0.30/0.22	c internal #vars     1452
0.30/0.22	c #constraints  2807
0.30/0.22	c constraints type 
0.30/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.30/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 203
0.30/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1252
0.30/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1252
0.30/0.22	c 2807 constraints processed.
1.25/0.79	c cleaning 2499 clauses out of 5000 with flag 11482/5000
2.21/1.20	c cleaning 4250 clauses out of 8501 with flag 25684/11000
2.65/1.61	c cleaning 5621 clauses out of 11251 with flag 43637/18000
3.15/2.09	c cleaning 6815 clauses out of 13633 with flag 62849/26003
3.90/2.71	c cleaning 7899 clauses out of 15816 with flag 84042/35001
4.60/3.45	c cleaning 8946 clauses out of 17916 with flag 107704/45000
5.40/4.22	c cleaning 9968 clauses out of 19970 with flag 133725/56000
6.10/4.95	c cleaning 10994 clauses out of 22003 with flag 164018/68001
7.14/5.99	c cleaning 11995 clauses out of 24008 with flag 197322/81000
8.44/7.27	c cleaning 12998 clauses out of 26013 with flag 231743/95000
9.39/8.12	c cleaning 13999 clauses out of 28015 with flag 269550/110000
10.27/8.88	c cleaning 15008 clauses out of 30016 with flag 312548/126000
11.26/9.77	c cleaning 15999 clauses out of 32008 with flag 358764/143000
12.41/10.84	c cleaning 17004 clauses out of 34009 with flag 402712/161000
13.80/12.29	c cleaning 17992 clauses out of 36005 with flag 447628/180000
15.60/14.03	c cleaning 19000 clauses out of 38013 with flag 495718/200000
17.64/16.08	c cleaning 20007 clauses out of 40014 with flag 545605/221001
19.93/18.32	c cleaning 20998 clauses out of 42006 with flag 597522/243000
22.46/20.88	c cleaning 22003 clauses out of 44008 with flag 651900/266000
25.25/23.64	c cleaning 22997 clauses out of 46005 with flag 708252/290000
28.29/26.65	c cleaning 24003 clauses out of 48008 with flag 766839/315000
31.49/29.87	c cleaning 24998 clauses out of 50005 with flag 828176/341000
35.01/33.35	c cleaning 25988 clauses out of 52009 with flag 893070/368002
38.85/37.16	c cleaning 27000 clauses out of 54020 with flag 960340/396001
42.94/41.27	c cleaning 28013 clauses out of 56025 with flag 1029673/425006
47.16/45.48	c cleaning 29003 clauses out of 58008 with flag 1102046/455002
52.15/50.46	c cleaning 30000 clauses out of 60003 with flag 1177216/486000
57.08/55.33	c cleaning 31002 clauses out of 62007 with flag 1253468/518004
61.71/59.98	c cleaning 31996 clauses out of 64002 with flag 1336288/551001
66.20/64.46	c cleaning 33000 clauses out of 66005 with flag 1417949/585000
71.42/69.69	c cleaning 33988 clauses out of 68008 with flag 1501576/620003
79.73/77.93	c cleaning 35016 clauses out of 70041 with flag 1591016/656024
85.22/83.41	c cleaning 35999 clauses out of 72010 with flag 1674560/693009
90.88/89.06	c cleaning 36999 clauses out of 74005 with flag 1766590/731003
95.33/93.47	c cleaning 37997 clauses out of 76004 with flag 1854635/770001
100.51/98.69	c cleaning 38994 clauses out of 78006 with flag 1948906/810000
107.42/105.24	c cleaning 39980 clauses out of 80013 with flag 2045337/851001
112.81/110.62	c cleaning 41008 clauses out of 82033 with flag 2139981/893001
117.25/115.02	c cleaning 42008 clauses out of 84026 with flag 2236220/936002
122.04/119.88	c cleaning 42994 clauses out of 86017 with flag 2336215/980001
129.17/126.93	c cleaning 43986 clauses out of 88022 with flag 2440507/1025000
133.97/131.77	c cleaning 45019 clauses out of 90039 with flag 2544063/1071003
140.20/137.93	c cleaning 45983 clauses out of 92017 with flag 2649597/1118000
148.29/146.01	c cleaning 47017 clauses out of 94034 with flag 2762696/1166000
159.03/156.73	c cleaning 48007 clauses out of 96023 with flag 2877116/1215006
166.91/164.62	c cleaning 48970 clauses out of 98012 with flag 3007589/1265002
178.29/176.06	c cleaning 49978 clauses out of 100040 with flag 3147161/1316000
186.36/184.04	c cleaning 51018 clauses out of 102075 with flag 3284016/1368013
192.14/189.81	c cleaning 51984 clauses out of 104045 with flag 3409866/1421001
199.02/196.71	c cleaning 53014 clauses out of 106060 with flag 3542786/1475000
209.51/207.25	c cleaning 54018 clauses out of 108046 with flag 3699659/1530000
219.69/217.46	c cleaning 54979 clauses out of 110028 with flag 3857146/1586000
231.88/229.50	c cleaning 56000 clauses out of 112050 with flag 3993931/1643001
240.47/238.19	c cleaning 57025 clauses out of 114056 with flag 4142744/1701007
252.32/249.90	c cleaning 58018 clauses out of 116043 with flag 4294358/1760019
262.90/260.50	c cleaning 58993 clauses out of 118006 with flag 4454306/1820000
271.45/268.78	c cleaning 59994 clauses out of 120013 with flag 4609661/1881000
283.53/280.88	c cleaning 60983 clauses out of 122019 with flag 4762456/1943000
292.91/290.22	c cleaning 62004 clauses out of 124039 with flag 4924742/2006003
306.51/303.89	c cleaning 63000 clauses out of 126034 with flag 5078384/2070002
316.99/314.37	c cleaning 63991 clauses out of 128033 with flag 5238235/2135001
327.26/324.69	c cleaning 65018 clauses out of 130041 with flag 5411127/2201000
336.09/333.38	c cleaning 66000 clauses out of 132023 with flag 5583138/2268000
346.67/343.93	c cleaning 67004 clauses out of 134023 with flag 5755308/2336000
355.35/352.66	c cleaning 68002 clauses out of 136021 with flag 5934136/2405002
364.53/361.84	c cleaning 68966 clauses out of 138021 with flag 6115282/2475004
376.42/373.63	c cleaning 70016 clauses out of 140062 with flag 6288098/2546011
384.50/381.72	c cleaning 70997 clauses out of 142044 with flag 6465235/2618009
395.84/392.97	c cleaning 72011 clauses out of 144040 with flag 6640594/2691002
406.31/403.49	c cleaning 72998 clauses out of 146028 with flag 6816362/2765001
415.39/412.59	c cleaning 73971 clauses out of 148029 with flag 7015323/2840000
424.98/422.08	c cleaning 75009 clauses out of 150058 with flag 7228531/2916000
437.15/434.28	c cleaning 76013 clauses out of 152054 with flag 7427784/2993005
447.62/444.39	c cleaning 77004 clauses out of 154038 with flag 7639187/3071002
459.30/456.07	c cleaning 77991 clauses out of 156032 with flag 7847601/3150000
468.85/465.57	c cleaning 78997 clauses out of 158044 with flag 8056629/3230003
478.23/474.91	c cleaning 79994 clauses out of 160044 with flag 8271695/3311000
487.79/484.44	c cleaning 81002 clauses out of 162050 with flag 8485223/3393000
500.38/497.04	c cleaning 81994 clauses out of 164049 with flag 8694600/3476001
512.54/509.21	c cleaning 82984 clauses out of 166054 with flag 8904864/3560000
531.89/528.41	c cleaning 84017 clauses out of 168073 with flag 9143606/3645003
545.66/542.27	c cleaning 85003 clauses out of 170062 with flag 9364126/3731009
565.03/561.65	c cleaning 86001 clauses out of 172050 with flag 9610004/3818000
588.47/585.01	c cleaning 86993 clauses out of 174049 with flag 9870052/3906000
604.33/600.92	c cleaning 88015 clauses out of 176056 with flag 10105456/3995000
617.31/613.98	c cleaning 89006 clauses out of 178042 with flag 10361255/4085001
633.79/630.25	c cleaning 90001 clauses out of 180037 with flag 10602143/4176002
644.67/641.17	c cleaning 90997 clauses out of 182035 with flag 10842630/4268001
656.51/652.40	c cleaning 92005 clauses out of 184037 with flag 11083169/4361000
668.76/664.66	c cleaning 92994 clauses out of 186032 with flag 11327002/4455000
694.60/690.50	c cleaning 94002 clauses out of 188038 with flag 11603899/4550000
724.84/720.87	c cleaning 95016 clauses out of 190036 with flag 11855587/4646000
739.63/735.59	c cleaning 95968 clauses out of 192021 with flag 12091870/4743001
764.69/760.63	c cleaning 96984 clauses out of 194052 with flag 12355054/4841000
792.70/788.66	c cleaning 98007 clauses out of 196068 with flag 12608856/4940000
820.14/816.15	c cleaning 99015 clauses out of 198067 with flag 12848897/5040006
857.74/853.83	c cleaning 99989 clauses out of 200046 with flag 13099235/5141000
877.95/873.91	c cleaning 100996 clauses out of 202058 with flag 13381943/5243001
898.01/894.01	c cleaning 102029 clauses out of 204061 with flag 13679589/5346000
917.65/913.70	c cleaning 103003 clauses out of 206037 with flag 13976073/5450005
944.46/940.56	c cleaning 103998 clauses out of 208033 with flag 14255465/5555004
968.91/965.01	c cleaning 104974 clauses out of 210032 with flag 14535804/5661001
995.18/991.21	c cleaning 106009 clauses out of 212059 with flag 14833582/5768002
1018.13/1014.29	c cleaning 107024 clauses out of 214053 with flag 15117288/5876005
1042.93/1038.51	c cleaning 107979 clauses out of 216027 with flag 15388155/5985003
1065.26/1060.83	c cleaning 108995 clauses out of 218045 with flag 15681228/6095000
1084.70/1080.30	c cleaning 110002 clauses out of 220050 with flag 15968015/6206000
1115.42/1111.06	c cleaning 111009 clauses out of 222048 with flag 16251647/6318000
1142.57/1138.20	c cleaning 111997 clauses out of 224044 with flag 16516492/6431005
1165.52/1161.23	c cleaning 112979 clauses out of 226043 with flag 16784408/6545001
1188.39/1184.07	c cleaning 113991 clauses out of 228063 with flag 17053856/6660000
1218.62/1214.39	c cleaning 115005 clauses out of 230073 with flag 17327193/6776001
1260.84/1256.55	c cleaning 116013 clauses out of 232070 with flag 17685353/6893003
1290.58/1286.31	c cleaning 117010 clauses out of 234054 with flag 18024527/7011000
1320.32/1316.09	c cleaning 117992 clauses out of 236049 with flag 18342303/7130005
1359.25/1355.07	c cleaning 119013 clauses out of 238055 with flag 18648285/7250003
1389.78/1385.64	c cleaning 120005 clauses out of 240045 with flag 18928312/7371006
1422.99/1418.81	c cleaning 121007 clauses out of 242038 with flag 19277711/7493004
1458.63/1454.51	c cleaning 121972 clauses out of 244029 with flag 19646319/7616002
1500.81/1496.36	c cleaning 123018 clauses out of 246055 with flag 19998576/7740000
1532.85/1528.39	c cleaning 123999 clauses out of 248043 with flag 20373565/7865006
1566.49/1562.03	c cleaning 124992 clauses out of 250039 with flag 20704785/7991001
1594.54/1590.12	c cleaning 126011 clauses out of 252046 with flag 21067427/8118000
1630.52/1626.14	c cleaning 127017 clauses out of 254035 with flag 21425086/8246000
1661.05/1656.74	c cleaning 128008 clauses out of 256030 with flag 21800638/8375012
1688.07/1683.76	c cleaning 128997 clauses out of 258016 with flag 22183355/8505006
1726.88/1722.69	c cleaning 129985 clauses out of 260014 with flag 22574403/8636001
1762.32/1758.17	c cleaning 131001 clauses out of 262028 with flag 22949695/8768000
1804.65/1800.41	c cleaning 132006 clauses out of 264029 with flag 23416233/8901002
1848.25/1844.14	c cleaning 133005 clauses out of 266023 with flag 23858116/9035002
1884.55/1880.59	c cleaning 133989 clauses out of 268016 with flag 24223764/9170000
1929.48/1925.46	c cleaning 134992 clauses out of 270027 with flag 24607438/9306000
1990.27/1986.39	c cleaning 136008 clauses out of 272035 with flag 25029682/9443000
2019.52/2015.60	c cleaning 136984 clauses out of 274028 with flag 25384901/9581001
2054.22/2050.36	c cleaning 138014 clauses out of 276043 with flag 25779470/9720000
2092.42/2088.65	c cleaning 139009 clauses out of 278030 with flag 26136900/9860001
2129.66/2125.80	c cleaning 139981 clauses out of 280020 with flag 26549225/10001000
2171.66/2168.00	c cleaning 140993 clauses out of 282040 with flag 26927002/10143001
2218.84/2214.74	c cleaning 142018 clauses out of 284046 with flag 27338380/10286000
2253.46/2249.35	c cleaning 143004 clauses out of 286029 with flag 27744983/10430001
2291.79/2287.79	c cleaning 143996 clauses out of 288024 with flag 28110727/10575000
2336.88/2332.81	c cleaning 144976 clauses out of 290030 with flag 28468594/10721002
2374.11/2370.16	c cleaning 146023 clauses out of 292053 with flag 28909271/10868001
2426.80/2422.80	c cleaning 146995 clauses out of 294029 with flag 29315881/11016000
2462.73/2458.88	c cleaning 148017 clauses out of 296041 with flag 29725416/11165007
2494.27/2490.41	c cleaning 149001 clauses out of 298022 with flag 30237448/11315005
2532.76/2528.91	c cleaning 150000 clauses out of 300018 with flag 30724434/11466002
2566.28/2562.52	c cleaning 151002 clauses out of 302019 with flag 31133455/11618003
2598.03/2594.27	c cleaning 152005 clauses out of 304018 with flag 31557737/11771004
2640.45/2636.72	c cleaning 152989 clauses out of 306013 with flag 32002326/11925004
2674.62/2670.84	c cleaning 153994 clauses out of 308020 with flag 32446226/12080000
2713.95/2710.26	c cleaning 155003 clauses out of 310026 with flag 33027686/12236000
2757.40/2753.34	c cleaning 156009 clauses out of 312023 with flag 33623676/12393000
2798.40/2794.44	c cleaning 156986 clauses out of 314015 with flag 34246047/12551001
2844.74/2840.87	c cleaning 158007 clauses out of 316029 with flag 34813054/12710001
2890.62/2886.85	c cleaning 159011 clauses out of 318022 with flag 35361727/12870001
2924.47/2920.68	c cleaning 160003 clauses out of 320011 with flag 35927742/13031001
2957.59/2953.83	c cleaning 161005 clauses out of 322009 with flag 36453070/13193002
3015.02/3011.23	c cleaning 161997 clauses out of 324004 with flag 37069331/13356002
3055.22/3051.56	c cleaning 162992 clauses out of 326005 with flag 37634185/13520000
3101.79/3098.14	c cleaning 164007 clauses out of 328014 with flag 38256763/13685001
3150.19/3146.63	c cleaning 164990 clauses out of 330007 with flag 38911233/13851001
3191.51/3187.96	c cleaning 165976 clauses out of 332016 with flag 39537106/14018000
3194.10/3190.53	c SATISFIABLE
3194.10/3190.55	c starts		: 1512
3194.10/3190.55	c conflicts		: 14042008
3194.10/3190.55	c decisions		: 34259253
3194.10/3190.55	c propagations		: 178422469
3194.10/3190.55	c inspects		: 19355601904
3194.10/3190.55	c shortcuts		: 0
3194.10/3190.55	c learnt literals	: 0
3194.10/3190.55	c learnt binary clauses	: 0
3194.10/3190.55	c learnt ternary clauses	: 963
3194.10/3190.55	c learnt constraints	: 14042008
3194.10/3190.55	c ignored constraints	: 0
3194.10/3190.55	c root simplifications	: 0
3194.10/3190.55	c removed literals (reason simplification)	: 501025529
3194.10/3190.55	c reason swapping (by a shorter reason)	: 0
3194.10/3190.55	c Calls to reduceDB	: 163
3194.10/3190.56	c Number of update (reduction) of LBD	: 3408758
3194.10/3190.56	c Imported unit clauses	: 0
3194.10/3190.56	c No decision after first conflict	: false
3194.10/3190.56	c number of reductions to clauses (during analyze)	: 0
3194.10/3190.56	c number of learned constraints concerned by reduction	: 0
3194.10/3190.56	c number of learning phase by resolution	: 0
3194.10/3190.56	c number of learning phase by cutting planes	: 0
3194.10/3190.56	c number of rounding to 1 operations	: 0
3194.10/3190.56	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3194.10/3190.56	c number of reductions of the coefficients by power 2 	: 0
3194.10/3190.56	c number of right shift for reduction by power 2 	: 0
3194.10/3190.56	c number of reductions of the coefficients by GCD over coefficients 	: 0
3194.10/3190.56	c number of ending skipping 	: 0
3194.10/3190.56	c number of internal skipping 	: 0
3194.10/3190.56	c number of derivation steps 	: 0
3194.10/3190.56	c number of skipped derivation steps 	: 0
3194.10/3190.56	c number of remaining unassigned 	: 0
3194.10/3190.56	c number of remaining assigned 	: 0
3194.10/3190.56	c number of falsified literals weakened from reason	: 0
3194.10/3190.56	c number of falsified literals weakened from conflict	: 0
3194.10/3190.56	c time for arithmetic operations	: 0
3194.10/3190.57	c minimum degree of deleted constraints	: null
3194.10/3190.57	c maximum degree of deleted constraints	: null
3194.10/3190.57	c number of deleted constraints	: 0
3194.10/3190.57	c speed (assignments/second)	: 55925.935364154546
3194.10/3190.57	c non guided choices	: 1335
3194.24/3190.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 190048
3194.24/3190.63	s SATISFIABLE
3194.24/3190.63	c Found 1 solution(s)
3194.24/3190.63	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 
3194.24/3190.63	c Total wall clock time (in seconds): 3190.488

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497934-1751270066/watcher-4497934-1751270066 -o /tmp/evaluation-result-4497934-1751270066/solver-4497934-1751270066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36245 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497934-1751270066.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=36298, runsolver pid=36285

[startup+0.10006 s]*
/proc/loadavg: 7.12 7.89 6.98 10/332 36369
/proc/meminfo: memFree=129706992/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=18930384 memory=52996 CPUtime=0.1 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 6486 0 76 0 9 1 0 0 20 0 18 0 42684064 19384713216 13249 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4732596 13249 5294 1 0 547552 0
[pid=36298/tid=36319] ppid=36285 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 5016 0 55 0 6 1 0 0 20 0 18 0 42684066 19384713216 13249 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=18930384 memory=2621 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684068 19384713216 13249 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=18930384 memory=55186957796323 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684069 19384713216 13249 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52996 KiB

[startup+0.205922 s]*
/proc/loadavg: 7.12 7.89 6.98 12/332 36369
/proc/meminfo: memFree=129663364/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=18930384 memory=63700 CPUtime=0.3 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 7010 0 76 0 28 2 0 0 20 0 18 0 42684064 19384713216 15925 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4732596 15925 5390 1 0 547867 0
[pid=36298/tid=36319] ppid=36285 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 5316 0 55 0 15 1 0 0 20 0 18 0 42684066 19384713216 15925 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=18930384 memory=2621 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684068 19384713216 15925 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=18930384 memory=55186957796323 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684069 19384713216 15925 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63700 KiB

[startup+0.305885 s]*
/proc/loadavg: 7.12 7.89 6.98 12/336 36373
/proc/meminfo: memFree=129585292/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=18996948 memory=71768 CPUtime=0.49 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 8587 0 76 0 46 3 0 0 20 0 19 0 42684064 19452874752 17942 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4749237 17942 5422 1 0 549036 0
[pid=36298/tid=36319] ppid=36285 vsize=18996948 memory=-6000919489836246636 CPUtime=0.24 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 5371 0 55 0 23 1 0 0 20 0 19 0 42684066 19452874752 17942 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684068 19452874752 17942 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684069 19452874752 17942 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684087 19452874752 17942 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71768 KiB

[startup+0.70023 s]
/proc/loadavg: 7.12 7.89 6.98 11/336 36373
/proc/meminfo: memFree=129561792/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=18996948 memory=90312 CPUtime=1.25 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 13129 0 76 0 121 4 0 0 20 0 19 0 42684064 19452874752 22578 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4749237 22578 5422 1 0 551530 0
[pid=36298/tid=36319] ppid=36285 vsize=18996948 memory=17536 CPUtime=0.64 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 5424 0 55 0 62 2 0 0 20 0 19 0 42684066 19452874752 22578 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684068 19452874752 22578 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684069 19452874752 22578 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684087 19452874752 22578 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90312 KiB

[startup+1.50022 s]
/proc/loadavg: 7.12 7.89 6.98 6/314 36383
/proc/meminfo: memFree=129559792/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=18996948 memory=115680 CPUtime=2.54 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 16843 0 76 0 249 5 0 0 20 0 19 0 42684064 19452874752 28920 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4749237 28920 5422 1 0 552219 0
[pid=36298/tid=36319] ppid=36285 vsize=18996948 memory=10752 CPUtime=1.41 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 5743 0 55 0 139 2 0 0 20 0 19 0 42684066 19452874752 28920 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684068 19452874752 28920 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684069 19452874752 28920 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684087 19452874752 28920 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115680 KiB

[startup+3.10552 s]
/proc/loadavg: 7.12 7.89 6.98 6/338 36440
/proc/meminfo: memFree=129208736/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=193364 CPUtime=4.31 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 20858 0 76 0 424 7 0 0 20 0 20 0 42684064 19521036288 48341 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 48341 5422 1 0 552510 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=10752 CPUtime=2.98 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 6120 0 55 0 295 3 0 0 20 0 20 0 42684066 19521036288 48341 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=-6000919485541279340 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 48341 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 48341 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 48341 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193364 KiB

[startup+6.30023 s]
/proc/loadavg: 6.95 7.85 6.97 7/340 36442
/proc/meminfo: memFree=128815820/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=247648 CPUtime=7.54 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 21162 0 76 0 746 8 0 0 20 0 20 0 42684064 19521036288 61912 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 61912 5422 1 0 552510 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=0 CPUtime=6.12 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 6136 0 55 0 609 3 0 0 20 0 20 0 42684066 19521036288 61912 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 61912 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 61912 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=119776 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 61912 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 7.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 247648 KiB

[startup+12.7002 s]
/proc/loadavg: 6.72 7.78 6.96 5/340 36442
/proc/meminfo: memFree=127915908/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=381724 CPUtime=14.3 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 22902 0 76 0 1419 11 0 0 20 0 20 0 42684064 19521036288 95431 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 95431 5454 1 0 552510 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=119776 CPUtime=12.4 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 6767 0 55 0 1237 3 0 0 20 0 20 0 42684066 19521036288 95431 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=318184 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 95431 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 95431 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=381724 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 95431 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 381724 KiB

[startup+25.5002 s]
/proc/loadavg: 6.19 7.61 6.91 5/340 36442
/proc/meminfo: memFree=126579368/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=561980 CPUtime=27.19 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 25475 0 76 0 2704 15 0 0 20 0 20 0 42684064 19521036288 140495 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 140495 5454 1 0 552510 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=506684 CPUtime=25.01 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 7709 0 55 0 2498 3 0 0 20 0 20 0 42684066 19521036288 140495 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=-6000919472773686892 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 140495 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=-6000919485541279340 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 140495 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=119776 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 140495 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 561980 KiB

[startup+51.1058 s]
/proc/loadavg: 5.52 7.34 6.84 6/340 36443
/proc/meminfo: memFree=123587076/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=793528 CPUtime=52.9 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 26591 0 76 0 5268 22 0 0 20 0 20 0 42684064 19521036288 198382 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 198382 5454 1 0 552510 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=119776 CPUtime=50.36 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 7877 0 55 0 5033 3 0 0 20 0 20 0 42684066 19521036288 198382 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0

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

/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1357 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3105.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168588 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.20 5/340 36667
/proc/meminfo: memFree=112370804/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3165.86 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 97806 0 76 0 316466 120 0 0 20 0 20 0 42684064 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 542147 5486 1 0 555406 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3147.49 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 38621 0 55 0 314739 10 0 0 20 0 20 0 42684066 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=2168588 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=2168588 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=2168588 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3165.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168588 KiB

[startup+3190.64 s]
# the end of solver process 36298 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3193.07 s, system=1.22338 s

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

[startup+3174.4 s]
/proc/loadavg: 4.12 4.12 4.20 5/340 36667
/proc/meminfo: memFree=112341972/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3177.94 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 97870 0 76 0 317674 120 0 0 20 0 20 0 42684064 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 542147 5486 1 0 555406 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=2168460 CPUtime=3159.56 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 38685 0 55 0 315946 10 0 0 20 0 20 0 42684066 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=2168588 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=2168588 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3177.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168588 KiB

[startup+3180.8 s]
/proc/loadavg: 4.11 4.12 4.20 5/340 36668
/proc/meminfo: memFree=112333684/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3184.42 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 98795 0 76 0 318322 120 0 0 20 0 20 0 42684064 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 542147 5486 1 0 555406 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=14848 CPUtime=3165.84 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 38687 0 55 0 316573 11 0 0 20 0 20 0 42684066 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=2168588 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3184.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168588 KiB

[startup+3187.2 s]
/proc/loadavg: 4.09 4.11 4.20 5/340 36669
/proc/meminfo: memFree=112313212/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3190.81 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 98797 0 76 0 318961 120 0 0 20 0 20 0 42684064 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 542147 5486 1 0 555406 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3172.23 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 38687 0 55 0 317212 11 0 0 20 0 20 0 42684066 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3190.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168588 KiB

[startup+3188.8 s]
/proc/loadavg: 4.09 4.11 4.20 5/340 36669
/proc/meminfo: memFree=112313220/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3192.41 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 98797 0 76 0 319121 120 0 0 20 0 20 0 42684064 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 542147 5486 1 0 555406 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=10752 CPUtime=3173.83 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 38687 0 55 0 317372 11 0 0 20 0 20 0 42684066 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=2168588 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3192.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168588 KiB

[startup+3189.6 s]
/proc/loadavg: 4.09 4.11 4.20 5/340 36669
/proc/meminfo: memFree=112309124/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3193.21 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 98797 0 76 0 319201 120 0 0 20 0 20 0 42684064 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 542147 5486 1 0 555406 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=14848 CPUtime=3174.62 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 38687 0 55 0 317451 11 0 0 20 0 20 0 42684066 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=-6000919485541279340 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3193.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168588 KiB

[startup+3190.4 s]
/proc/loadavg: 4.09 4.11 4.20 5/340 36669
/proc/meminfo: memFree=112305028/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19063512 memory=2168588 CPUtime=3194 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 98797 0 76 0 319280 120 0 0 20 0 20 0 42684064 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4765878 542147 5486 1 0 555406 0
[pid=36298/tid=36319] ppid=36285 vsize=19063512 memory=5632 CPUtime=3175.42 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) R 36285 36298 35566 0 -1 4194368 38687 0 55 0 317531 11 0 0 20 0 20 0 42684066 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 42684069 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36371] ppid=36285 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36298/task/36371/stat : 36371 (Timer-0) S 36285 36298 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684087 19521036288 542147 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3194 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168588 KiB

[startup+3190.6 s]
/proc/loadavg: 4.09 4.11 4.20 5/340 36669
/proc/meminfo: memFree=112305028/131249996 swapFree=33010684/33010684
[pid=36298] ppid=36285 vsize=19196640 memory=2169228 CPUtime=3194.24 cores=5,7
/proc/36298/stat : 36298 (java) S 36285 36298 35566 0 -1 4194304 100997 0 76 0 319303 121 0 0 20 0 20 0 42684064 19657359360 542307 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
/proc/36298/statm: 4799160 542307 5486 1 0 556085 0
[pid=36298/tid=36319] ppid=36285 vsize=19196640 memory=2168588 CPUtime=3175.56 cores=5,7
/proc/36298/task/36319/stat : 36319 (java) S 36285 36298 35566 0 -1 4194368 40028 0 55 0 317545 11 0 0 20 0 20 0 42684066 19657359360 542307 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36354] ppid=36285 vsize=19196640 memory=17536 CPUtime=0 cores=5,7
/proc/36298/task/36354/stat : 36354 (Finalizer) S 36285 36298 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684068 19657359360 542307 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
[pid=36298/tid=36369] ppid=36285 vsize=19196640 memory=10752 CPUtime=0 cores=5,7
/proc/36298/task/36369/stat : 36369 (Common-Cleaner) S 36285 36298 35566 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 42684069 19657359360 542307 18446744073709551615 94456474931200 94456474934896 140733136602048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94456474942712 94456474943504 94456490352640 140733136607617 140733136607718 140733136607718 140733136613320 0
Current children cumulated CPU time: 3194.24 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 2169228 KiB

Child status: 10

Real time (s): 3190.64
CPU time (s): 3194.3
CPU user time (s): 3193.07
CPU system time (s): 1.22338
CPU usage (%): 100.115
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2169228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3193.07
system time used= 1.22338
maximum resident set size= 2169356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101195
page faults= 76
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96421
involuntary context switches= 4181


# summary of solver processes directly reported to runsolver:
#   pid: 36298
#   total CPU time (s): 3194.3
#   total CPU user time (s): 3193.07
#   total CPU system time (s): 1.22338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4889 second user time and 15.3862 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 09:54:26
IDJOB=4497934
IDBENCH=148265
IDSOLVER=3363
FILE ID=nodeC015/4497934-1751270066
RUNJOBID= nodeC015-1751270066-36245
SLURM_JOB_ID= 9594182
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_5_15.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497934-1751270066/watcher-4497934-1751270066 -o /tmp/evaluation-result-4497934-1751270066/solver-4497934-1751270066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36245 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4497934-1751270066.opb

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

MD5SUM BENCH= 3f37efef5e3a85e10cfe19dd078fbecb
RANDOM SEED=1298108600

nodeC015 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		: 3600.387
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129768640 kB
MemAvailable:   129727432 kB
Buffers:            3280 kB
Cached:           766508 kB
SwapCached:            0 kB
Active:           336100 kB
Inactive:         510092 kB
Active(anon):      94500 kB
Inactive(anon):        0 kB
Active(file):     241600 kB
Inactive(file):   510092 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3008 kB
Writeback:             0 kB
AnonPages:         79488 kB
Mapped:           102908 kB
Shmem:             18076 kB
KReclaimable:      92680 kB
Slab:             179604 kB
SReclaimable:      92680 kB
SUnreclaim:        86924 kB
KernelStack:        4116 kB
PageTables:         2600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC015 at 2025-06-30 10:47:37