Trace number 4498346

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)12 3600.26 3604.52

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb
MD5SUMf2bcbaa2314fdbbaf32cb5f01e98067b
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark7.17507
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1258
Sum of products size (including duplicates)2516
Number of different products1258
Sum of products size2516

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4498346-1751275832.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.20	c ... done. Wall clock time 0.065s.
0.13/0.20	c declared #vars     100
0.13/0.20	c internal #vars     1358
0.13/0.20	c #constraints  2616
0.13/0.20	c constraints type 
0.13/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1258
0.13/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1358
0.13/0.20	c 2616 constraints processed.
0.33/0.21	c objective function length is 100 literals
0.33/0.22	c SATISFIABLE
0.33/0.22	c OPTIMIZING...
0.33/0.22	c Got one! Elapsed wall clock time (in seconds):0.093
0.33/0.22	o 15
0.33/0.26	c Got one! Elapsed wall clock time (in seconds):0.127
0.33/0.26	o 14
0.51/0.38	c Got one! Elapsed wall clock time (in seconds):0.25
0.51/0.38	o 13
1.27/0.71	c cleaning 2668 clauses out of 5347 with flag 8978/5347
2.02/1.29	c cleaning 4341 clauses out of 8681 with flag 23882/11349
3.03/2.15	c cleaning 5672 clauses out of 11343 with flag 43257/18352
3.93/3.10	c cleaning 6834 clauses out of 13667 with flag 64327/26348
5.07/4.18	c cleaning 7914 clauses out of 15834 with flag 87719/35349
6.26/5.31	c cleaning 8950 clauses out of 17920 with flag 113143/45349
7.57/6.64	c cleaning 9979 clauses out of 19969 with flag 142910/56348
9.06/8.06	c cleaning 10994 clauses out of 21992 with flag 175432/68350
10.55/9.53	c cleaning 11987 clauses out of 23996 with flag 209431/81348
12.15/11.14	c cleaning 13001 clauses out of 26009 with flag 247565/95348
13.85/12.88	c cleaning 13989 clauses out of 28007 with flag 287984/110347
15.64/14.66	c cleaning 15007 clauses out of 30018 with flag 330313/126347
17.67/16.67	c cleaning 16008 clauses out of 32016 with flag 375868/143352
19.80/18.70	c cleaning 17002 clauses out of 34003 with flag 423459/161347
22.00/20.93	c cleaning 17995 clauses out of 36001 with flag 476064/180347
24.49/23.43	c cleaning 18994 clauses out of 38006 with flag 531578/200347
27.09/26.09	c cleaning 19999 clauses out of 40016 with flag 587371/221351
29.98/28.93	c cleaning 21008 clauses out of 42018 with flag 644866/243352
32.97/31.95	c cleaning 21998 clauses out of 44005 with flag 705850/266347
35.67/34.68	c cleaning 23003 clauses out of 46007 with flag 769594/290347
36.59/35.53	c Got one! Elapsed wall clock time (in seconds):35.401
36.59/35.53	o 12
37.21/36.13	c cleaning 17911 clauses out of 35823 with flag 14399/303166
37.90/36.81	c cleaning 11954 clauses out of 23911 with flag 30719/309165
38.60/37.59	c cleaning 9473 clauses out of 18960 with flag 49585/316168
39.50/38.42	c cleaning 8734 clauses out of 17486 with flag 70673/324167
40.40/39.34	c cleaning 8867 clauses out of 17749 with flag 94389/333164
41.39/40.37	c cleaning 9438 clauses out of 18884 with flag 119785/343166
42.59/41.56	c cleaning 10220 clauses out of 20445 with flag 150986/354165
43.94/42.89	c cleaning 11114 clauses out of 22227 with flag 183961/366167
45.33/44.25	c cleaning 12054 clauses out of 24110 with flag 218344/379164
46.93/45.81	c cleaning 13028 clauses out of 26056 with flag 256646/393164
48.43/47.33	c cleaning 14001 clauses out of 28028 with flag 296815/408164
50.13/49.03	c cleaning 15015 clauses out of 30029 with flag 339994/424166
51.92/50.85	c cleaning 16004 clauses out of 32012 with flag 386896/441164
53.91/52.85	c cleaning 17005 clauses out of 34009 with flag 436515/459165
56.22/55.12	c cleaning 17987 clauses out of 36003 with flag 490167/478164
58.61/57.53	c cleaning 19005 clauses out of 38017 with flag 546798/498165
61.11/60.04	c cleaning 19999 clauses out of 40011 with flag 608029/519164
63.70/62.64	c cleaning 21001 clauses out of 42014 with flag 669336/541166
66.40/65.31	c cleaning 21998 clauses out of 44012 with flag 734366/564165
69.20/68.15	c cleaning 23007 clauses out of 46017 with flag 801492/588168
72.19/71.11	c cleaning 24004 clauses out of 48009 with flag 872895/613167
75.28/74.27	c cleaning 24990 clauses out of 50004 with flag 945111/639166
78.57/77.50	c cleaning 25998 clauses out of 52013 with flag 1021625/666165
81.97/80.92	c cleaning 27005 clauses out of 54015 with flag 1101415/694165
85.46/84.43	c cleaning 28005 clauses out of 56009 with flag 1185118/723164
89.05/88.08	c cleaning 28995 clauses out of 58005 with flag 1273098/753165
92.84/91.83	c cleaning 29997 clauses out of 60009 with flag 1365595/784164
96.63/95.65	c cleaning 30993 clauses out of 62012 with flag 1460421/816164
100.63/99.61	c cleaning 32006 clauses out of 64020 with flag 1557226/849165
104.52/103.57	c cleaning 33004 clauses out of 66014 with flag 1658740/883165
108.81/107.82	c cleaning 34004 clauses out of 68011 with flag 1760164/918166
113.10/112.18	c cleaning 35002 clauses out of 70006 with flag 1863652/954165
117.60/116.66	c cleaning 35995 clauses out of 72003 with flag 1971393/991164
122.10/121.11	c cleaning 37004 clauses out of 74008 with flag 2082612/1029164
126.48/125.57	c cleaning 37999 clauses out of 76004 with flag 2196291/1068164
131.88/130.95	c cleaning 39003 clauses out of 78008 with flag 2314282/1108167
137.49/136.57	c cleaning 40001 clauses out of 80004 with flag 2434237/1149166
142.98/142.03	c cleaning 40998 clauses out of 82004 with flag 2554988/1191167
148.56/147.63	c cleaning 41991 clauses out of 84005 with flag 2680282/1234166
154.45/153.59	c cleaning 43005 clauses out of 86016 with flag 2808634/1278168
160.34/159.41	c cleaning 43985 clauses out of 88007 with flag 2936728/1323164
166.43/165.54	c cleaning 45004 clauses out of 90022 with flag 3072442/1369164
172.65/171.77	c cleaning 46002 clauses out of 92018 with flag 3207330/1416164
178.84/177.91	c cleaning 46999 clauses out of 94017 with flag 3348790/1464165
184.93/184.00	c cleaning 48006 clauses out of 96019 with flag 3493299/1513166
190.81/189.97	c cleaning 48997 clauses out of 98011 with flag 3639531/1563164
198.00/197.11	c cleaning 50000 clauses out of 100016 with flag 3789056/1614166
204.83/203.99	c cleaning 51009 clauses out of 102018 with flag 3944525/1666168
212.21/211.33	c cleaning 51999 clauses out of 104007 with flag 4097752/1719166
220.30/219.40	c cleaning 52994 clauses out of 106006 with flag 4250504/1773164
228.68/227.84	c cleaning 53993 clauses out of 108012 with flag 4409623/1828164
237.16/236.39	c cleaning 54995 clauses out of 110021 with flag 4567345/1884166
245.89/245.06	c cleaning 56007 clauses out of 112025 with flag 4731415/1941165
254.68/253.82	c cleaning 57004 clauses out of 114017 with flag 4904785/1999164
262.97/262.16	c cleaning 58003 clauses out of 116016 with flag 5085239/2058167
271.24/270.41	c cleaning 59005 clauses out of 118010 with flag 5279833/2118164
279.23/278.48	c cleaning 59986 clauses out of 120006 with flag 5475604/2179165
288.44/287.65	c cleaning 60994 clauses out of 122019 with flag 5653886/2241164
297.12/296.32	c cleaning 62008 clauses out of 124025 with flag 5835568/2304164
307.10/306.31	c cleaning 63004 clauses out of 126022 with flag 6025476/2368169
317.08/316.36	c cleaning 64004 clauses out of 128014 with flag 6222073/2433165
326.99/326.23	c cleaning 65000 clauses out of 130009 with flag 6425518/2499164
337.47/336.73	c cleaning 66000 clauses out of 132010 with flag 6633008/2566165
347.96/347.21	c cleaning 66992 clauses out of 134010 with flag 6842897/2634165
357.93/357.25	c cleaning 68007 clauses out of 136019 with flag 7060987/2703166
367.75/367.08	c cleaning 69001 clauses out of 138013 with flag 7281098/2773167
379.22/378.52	c cleaning 70000 clauses out of 140009 with flag 7511715/2844164
390.70/390.09	c cleaning 70997 clauses out of 142009 with flag 7744341/2916164
402.08/401.46	c cleaning 71998 clauses out of 144012 with flag 7983484/2989164
413.69/413.05	c cleaning 73001 clauses out of 146014 with flag 8224903/3063164
425.06/424.40	c cleaning 73998 clauses out of 148013 with flag 8471556/3138164
436.14/435.52	c cleaning 75008 clauses out of 150017 with flag 8724316/3214166
447.95/447.39	c cleaning 75994 clauses out of 152007 with flag 8975811/3291164
459.32/458.71	c cleaning 77004 clauses out of 154014 with flag 9234363/3369165
470.00/469.43	c cleaning 77999 clauses out of 156009 with flag 9500076/3448164
481.37/480.88	c cleaning 78989 clauses out of 158010 with flag 9761304/3528164
493.39/492.88	c cleaning 80007 clauses out of 160021 with flag 10026543/3609164
504.87/504.38	c cleaning 81002 clauses out of 162015 with flag 10303340/3691165
516.84/516.33	c cleaning 82005 clauses out of 164012 with flag 10584098/3774164
528.91/528.45	c cleaning 83003 clauses out of 166008 with flag 10862712/3858165
542.73/542.22	c cleaning 83999 clauses out of 168004 with flag 11160521/3943164
555.41/554.98	c cleaning 84997 clauses out of 170007 with flag 11483214/4029166
568.49/568.01	c cleaning 86001 clauses out of 172008 with flag 11793672/4116164
582.05/581.69	c cleaning 87002 clauses out of 174007 with flag 12112872/4204164
594.82/594.49	c cleaning 88000 clauses out of 176008 with flag 12419696/4293167
608.45/608.09	c cleaning 88997 clauses out of 178005 with flag 12739033/4383164
622.11/621.71	c cleaning 90003 clauses out of 180010 with flag 13081599/4474166
635.08/634.78	c cleaning 91001 clauses out of 182005 with flag 13419567/4566164
649.65/649.38	c cleaning 91989 clauses out of 184004 with flag 13740242/4659164
666.71/666.48	c cleaning 92994 clauses out of 186015 with flag 14041544/4753164
683.13/682.83	c cleaning 94004 clauses out of 188021 with flag 14357060/4848164
699.20/698.91	c cleaning 95008 clauses out of 190018 with flag 14678879/4944165
715.27/715.08	c cleaning 96000 clauses out of 192010 with flag 14996013/5041165
733.23/733.07	c cleaning 96996 clauses out of 194013 with flag 15296797/5139168
750.90/750.75	c cleaning 98002 clauses out of 196016 with flag 15605633/5238167
767.27/767.19	c cleaning 99001 clauses out of 198011 with flag 15926588/5338164
783.50/783.32	c cleaning 99998 clauses out of 200011 with flag 16255876/5439165
801.27/801.17	c cleaning 101002 clauses out of 202013 with flag 16570934/5541165
819.92/819.89	c cleaning 102000 clauses out of 204010 with flag 16883653/5644164
840.39/840.36	c cleaning 103002 clauses out of 206012 with flag 17200519/5748166
860.24/860.27	c cleaning 103990 clauses out of 208008 with flag 17532673/5853164
879.61/879.63	c cleaning 105009 clauses out of 210019 with flag 17874035/5959165
899.25/899.23	c cleaning 106001 clauses out of 212012 with flag 18218706/6066167
918.71/918.80	c cleaning 107000 clauses out of 214008 with flag 18585548/6174164
939.07/939.15	c cleaning 107998 clauses out of 216008 with flag 18939141/6283164
959.72/959.80	c cleaning 109002 clauses out of 218012 with flag 19283735/6393166
978.68/978.87	c cleaning 109999 clauses out of 220013 with flag 19638135/6504169
999.14/999.37	c cleaning 110991 clauses out of 222009 with flag 19989875/6616164
1021.47/1021.69	c cleaning 112001 clauses out of 224018 with flag 20327655/6729164
1044.72/1044.90	c cleaning 113006 clauses out of 226017 with flag 20662780/6843164
1068.48/1068.71	c cleaning 114003 clauses out of 228013 with flag 21012716/6958166
1091.73/1092.01	c cleaning 114990 clauses out of 230008 with flag 21374585/7074164
1112.79/1113.13	c cleaning 116007 clauses out of 232018 with flag 21737304/7191164
1135.34/1135.74	c cleaning 116996 clauses out of 234011 with flag 22106593/7309164
1160.67/1161.05	c cleaning 118000 clauses out of 236015 with flag 22469005/7428164
1182.92/1183.32	c cleaning 118999 clauses out of 238015 with flag 22834039/7548164
1207.47/1207.99	c cleaning 119998 clauses out of 240016 with flag 23210127/7669164
1230.41/1230.98	c cleaning 121004 clauses out of 242019 with flag 23584932/7791165
1255.05/1255.68	c cleaning 121998 clauses out of 244015 with flag 23970186/7914165
1279.01/1279.67	c cleaning 122997 clauses out of 246016 with flag 24358914/8038164
1300.47/1301.16	c cleaning 124007 clauses out of 248019 with flag 24753200/8163164
1325.47/1325.87	c cleaning 124995 clauses out of 250012 with flag 25157010/8289164
1348.83/1349.23	c cleaning 126007 clauses out of 252019 with flag 25569135/8416166
1373.18/1373.63	c cleaning 126999 clauses out of 254010 with flag 25984651/8544164
1399.33/1399.87	c cleaning 128003 clauses out of 256014 with flag 26427719/8673167
1423.58/1424.17	c cleaning 128994 clauses out of 258008 with flag 26890373/8803164
1446.94/1447.56	c cleaning 130003 clauses out of 260014 with flag 27360449/8934164
1470.76/1471.32	c cleaning 130998 clauses out of 262011 with flag 27799081/9066164
1495.61/1496.23	c cleaning 132002 clauses out of 264014 with flag 28279223/9199165
1519.46/1520.11	c cleaning 132998 clauses out of 266011 with flag 28741885/9333164
1542.91/1543.62	c cleaning 134008 clauses out of 268015 with flag 29205170/9468166
1576.34/1577.13	c cleaning 134990 clauses out of 270005 with flag 29624490/9604164
1609.85/1610.71	c cleaning 135992 clauses out of 272016 with flag 30041980/9741165
1643.67/1644.61	c cleaning 137003 clauses out of 274023 with flag 30463676/9879164
1674.08/1675.02	c cleaning 138002 clauses out of 276021 with flag 30904213/10018165
1700.93/1701.94	c cleaning 138999 clauses out of 278019 with flag 31355574/10158165
1732.16/1733.22	c cleaning 140004 clauses out of 280019 with flag 31788744/10299164
1761.09/1762.22	c cleaning 140997 clauses out of 282016 with flag 32232925/10441165
1792.24/1793.47	c cleaning 142005 clauses out of 284018 with flag 32674937/10584164
1820.48/1821.79	c cleaning 143004 clauses out of 286013 with flag 33137011/10728164
1851.91/1853.20	c cleaning 143987 clauses out of 288010 with flag 33590356/10873165
1885.43/1886.73	c cleaning 145001 clauses out of 290025 with flag 34020122/11019167
1913.37/1914.74	c cleaning 146006 clauses out of 292023 with flag 34456102/11166166
1944.70/1946.12	c cleaning 147006 clauses out of 294017 with flag 34901664/11314166
1981.11/1982.63	c cleaning 147993 clauses out of 296010 with flag 35362782/11463165
2011.44/2013.00	c cleaning 149007 clauses out of 298019 with flag 35833561/11613167
2040.97/2042.68	c cleaning 150001 clauses out of 300009 with flag 36317386/11764164
2074.18/2075.91	c cleaning 150996 clauses out of 302008 with flag 36804847/11916164
2104.42/2106.27	c cleaning 152004 clauses out of 304014 with flag 37301919/12069166
2138.53/2140.39	c cleaning 152995 clauses out of 306008 with flag 37807129/12223164
2168.86/2170.77	c cleaning 154004 clauses out of 308017 with flag 38339899/12378168
2197.41/2199.33	c cleaning 154994 clauses out of 310009 with flag 38873237/12534164
2228.34/2230.31	c cleaning 156004 clauses out of 312018 with flag 39422443/12691167
2258.88/2261.00	c cleaning 157002 clauses out of 314012 with flag 39989875/12849165
2285.63/2287.71	c cleaning 157995 clauses out of 316009 with flag 40544392/13008164
2321.75/2323.95	c cleaning 159001 clauses out of 318015 with flag 41036209/13168165
2356.89/2359.13	c cleaning 159994 clauses out of 320013 with flag 41526088/13329164
2390.20/2392.40	c cleaning 160997 clauses out of 322019 with flag 42018870/13491164
2433.83/2436.12	c cleaning 161992 clauses out of 324022 with flag 42512510/13654164
2472.94/2475.35	c cleaning 163010 clauses out of 326030 with flag 43058948/13818164
2508.86/2511.37	c cleaning 164001 clauses out of 328020 with flag 43598160/13983164
2549.96/2552.54	c cleaning 165006 clauses out of 330019 with flag 44108910/14149164
2583.40/2586.00	c cleaning 165997 clauses out of 332013 with flag 44648653/14316164
2622.72/2625.48	c cleaning 166994 clauses out of 334016 with flag 45171570/14484164
2659.74/2662.50	c cleaning 168002 clauses out of 336026 with flag 45715508/14653168
2701.46/2704.37	c cleaning 169004 clauses out of 338021 with flag 46262002/14823165
2742.39/2745.23	c cleaning 170004 clauses out of 340017 with flag 46806851/14994165
2782.92/2785.82	c cleaning 171007 clauses out of 342014 with flag 47363589/15166166
2824.44/2827.47	c cleaning 172001 clauses out of 344007 with flag 47888704/15339166
2858.67/2861.79	c cleaning 172998 clauses out of 346004 with flag 48433633/15513164
2907.88/2911.00	c cleaning 173994 clauses out of 348008 with flag 48981823/15688166
2947.99/2951.23	c cleaning 174998 clauses out of 350012 with flag 49535806/15864164
2981.13/2984.49	c cleaning 176005 clauses out of 352016 with flag 50100358/16041166
3021.34/3024.73	c cleaning 176997 clauses out of 354009 with flag 50658752/16219164
3066.95/3070.44	c cleaning 177996 clauses out of 356012 with flag 51202725/16398164
3117.15/3120.64	c cleaning 178999 clauses out of 358016 with flag 51752596/16578164
3163.36/3166.99	c cleaning 179998 clauses out of 360020 with flag 52328039/16759167
3206.65/3210.37	c cleaning 181007 clauses out of 362022 with flag 52889339/16941167
3258.43/3262.28	c cleaning 181985 clauses out of 364012 with flag 53456727/17124164
3305.71/3309.64	c cleaning 183009 clauses out of 366028 with flag 54042585/17308165
3349.61/3353.69	c cleaning 183994 clauses out of 368018 with flag 54651545/17493164
3394.90/3399.06	c cleaning 185006 clauses out of 370024 with flag 55265663/17679164
3447.47/3451.74	c cleaning 185999 clauses out of 372018 with flag 55890475/17866164
3494.44/3498.62	c cleaning 186999 clauses out of 374021 with flag 56499949/18054166
3535.36/3539.61	c cleaning 188004 clauses out of 376021 with flag 57109266/18243165
3579.37/3583.74	c cleaning 189003 clauses out of 378017 with flag 57727342/18433165
3600.04/3604.41	c starts		: 7790
3600.04/3604.41	c conflicts		: 18545026
3600.04/3604.41	c decisions		: 38259790
3600.04/3604.41	c propagations		: 3012227852
3600.04/3604.41	c inspects		: 43474074970
3600.04/3604.41	c shortcuts		: 0
3600.04/3604.41	c learnt literals	: 0
3600.04/3604.41	c learnt binary clauses	: 0
3600.04/3604.41	c learnt ternary clauses	: 44
3600.04/3604.41	c learnt constraints	: 18545026
3600.04/3604.41	c ignored constraints	: 0
3600.04/3604.41	c root simplifications	: 0
3600.04/3604.41	c removed literals (reason simplification)	: 1657207
3600.04/3604.41	c reason swapping (by a shorter reason)	: 0
3600.04/3604.41	c Calls to reduceDB	: 206
3600.04/3604.43	c Number of update (reduction) of LBD	: 4841540
3600.04/3604.43	c Imported unit clauses	: 0
3600.04/3604.43	c No decision after first conflict	: false
3600.04/3604.43	c number of reductions to clauses (during analyze)	: 0
3600.04/3604.43	c number of learned constraints concerned by reduction	: 0
3600.04/3604.43	c number of learning phase by resolution	: 0
3600.04/3604.43	c number of learning phase by cutting planes	: 0
3600.04/3604.43	c number of rounding to 1 operations	: 0
3600.04/3604.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3604.43	c number of reductions of the coefficients by power 2 	: 0
3600.04/3604.43	c number of right shift for reduction by power 2 	: 0
3600.04/3604.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3604.43	c number of ending skipping 	: 0
3600.04/3604.43	c number of internal skipping 	: 0
3600.04/3604.43	c number of derivation steps 	: 0
3600.04/3604.43	c number of skipped derivation steps 	: 0
3600.04/3604.43	c number of remaining unassigned 	: 0
3600.04/3604.43	c number of remaining assigned 	: 0
3600.04/3604.43	c number of falsified literals weakened from reason	: 0
3600.04/3604.43	c number of falsified literals weakened from conflict	: 0
3600.04/3604.43	c time for arithmetic operations	: 0
3600.04/3604.44	c minimum degree of deleted constraints	: null
3600.04/3604.44	c maximum degree of deleted constraints	: null
3600.04/3604.44	c number of deleted constraints	: 0
3600.04/3604.44	c speed (assignments/second)	: 835750.0419646853
3600.04/3604.44	c non guided choices	: 0
3600.04/3604.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 300875
3600.04/3604.50	s SATISFIABLE
3600.24/3604.50	c Found 4 solution(s)
3600.24/3604.50	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 
3600.24/3604.50	c objective function=12
3600.24/3604.50	c Total wall clock time (in seconds): 3604.373

Verifier Data 

OK	12

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: 63665 MiB (46321 MiB free)
  memory of node 1: 64507 MiB (60834 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498346-1751275832/watcher-4498346-1751275832 -o /tmp/evaluation-result-4498346-1751275832/solver-4498346-1751275832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751272214-38930 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498346-1751275832.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=40027, runsolver pid=40024
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.13 4.12 4.09 7/335 40045
/proc/meminfo: memFree=109697348/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18930384 memory=59400 CPUtime=0.13 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 6486 0 0 0 11 2 0 0 20 0 18 0 43260959 19384713216 14850 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4732596 14850 5339 1 0 547619 0
[pid=40027/tid=40029] ppid=40024 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 5067 0 0 0 7 1 0 0 20 0 18 0 43260960 19384713216 14850 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18930384 memory=224227754321 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43260962 19384713216 14850 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18930384 memory=59585004335488 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43260962 19384713216 14850 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59400 KiB

[startup+0.205607 s]*
/proc/loadavg: 4.13 4.12 4.09 7/335 40045
/proc/meminfo: memFree=109697348/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18930384 memory=65564 CPUtime=0.33 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 6871 0 0 0 31 2 0 0 20 0 18 0 43260959 19384713216 16391 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4732596 16391 5467 1 0 547931 0
[pid=40027/tid=40029] ppid=40024 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 5359 0 0 0 17 1 0 0 20 0 18 0 43260960 19384713216 16391 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18930384 memory=16195 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43260962 19384713216 16391 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43260962 19384713216 16391 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65564 KiB

[startup+0.305642 s]*
/proc/loadavg: 4.13 4.12 4.09 6/336 40046
/proc/meminfo: memFree=109692496/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18996948 memory=71072 CPUtime=0.51 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 8506 0 0 0 49 2 0 0 20 0 19 0 43260959 19452874752 17768 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4749237 17768 5467 1 0 549116 0
[pid=40027/tid=40029] ppid=40024 vsize=18996948 memory=-6000919489937042539 CPUtime=0.27 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 5413 0 0 0 26 1 0 0 20 0 19 0 43260960 19452874752 17768 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 17768 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 17768 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43260980 19452874752 17768 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71072 KiB

[startup+0.700242 s]
/proc/loadavg: 4.13 4.12 4.09 6/336 40046
/proc/meminfo: memFree=109681408/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18996948 memory=86612 CPUtime=1.27 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 13770 0 0 0 124 3 0 0 20 0 19 0 43260959 19452874752 21653 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4749237 21653 5467 1 0 551881 0
[pid=40027/tid=40029] ppid=40024 vsize=18996948 memory=17792 CPUtime=0.65 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 5425 0 0 0 64 1 0 0 20 0 19 0 43260960 19452874752 21653 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 21653 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 21653 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43260980 19452874752 21653 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86612 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/336 40046
/proc/meminfo: memFree=109672712/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18996948 memory=89844 CPUtime=2.42 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 18101 0 0 0 238 4 0 0 20 0 19 0 43260959 19452874752 22461 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4749237 22461 5467 1 0 552130 0
[pid=40027/tid=40029] ppid=40024 vsize=18996948 memory=10752 CPUtime=1.43 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 5889 0 0 0 142 1 0 0 20 0 19 0 43260960 19452874752 22461 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 22461 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 22461 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43260980 19452874752 22461 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89844 KiB

[startup+3.10552 s]
/proc/loadavg: 4.12 4.12 4.09 5/336 40046
/proc/meminfo: memFree=109668756/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18996948 memory=94056 CPUtime=4.03 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 18669 0 0 0 399 4 0 0 20 0 19 0 43260959 19452874752 23514 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4749237 23514 5467 1 0 552132 0
[pid=40027/tid=40029] ppid=40024 vsize=18996948 memory=10752 CPUtime=3.03 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 6172 0 0 0 302 1 0 0 20 0 19 0 43260960 19452874752 23514 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18996948 memory=-6000919489937042539 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 23514 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 23514 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43260980 19452874752 23514 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94056 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.12 4.09 5/337 40047
/proc/meminfo: memFree=109640084/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18996948 memory=102376 CPUtime=7.27 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 19053 0 0 0 722 5 0 0 20 0 19 0 43260959 19452874752 25594 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4749237 25594 5467 1 0 552132 0
[pid=40027/tid=40029] ppid=40024 vsize=18996948 memory=0 CPUtime=6.23 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 6243 0 0 0 621 2 0 0 20 0 19 0 43260960 19452874752 25594 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 25594 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 25594 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=18996948 memory=89844 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43260980 19452874752 25594 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102376 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.12 4.09 5/337 40047
/proc/meminfo: memFree=109623448/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18996948 memory=118760 CPUtime=13.75 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 23571 0 0 0 1370 5 0 0 20 0 19 0 43260959 19452874752 29690 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4749237 29690 5467 1 0 552132 0
[pid=40027/tid=40029] ppid=40024 vsize=18996948 memory=89844 CPUtime=12.61 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 7314 0 0 0 1259 2 0 0 20 0 19 0 43260960 19452874752 29690 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 29690 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18996948 memory=116712 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 29690 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43260980 19452874752 29690 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 13.75 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118760 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 4.15 4.10 6/337 40047
/proc/meminfo: memFree=109590680/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=18996948 memory=151656 CPUtime=26.59 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 26024 0 0 0 2653 6 0 0 20 0 19 0 43260959 19452874752 37914 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4749237 37914 5499 1 0 552132 0
[pid=40027/tid=40029] ppid=40024 vsize=18996948 memory=10752 CPUtime=25.38 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 7778 0 0 0 2536 2 0 0 20 0 19 0 43260960 19452874752 37914 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=18996948 memory=116712 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 37914 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=18996948 memory=4380 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43260962 19452874752 37914 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43260980 19452874752 37914 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 151656 KiB

[startup+51.1055 s]
/proc/loadavg: 4.30 4.17 4.11 5/338 40182
/proc/meminfo: memFree=126264240/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19063512 memory=178968 CPUtime=52.22 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 28589 0 0 0 5215 7 0 0 20 0 20 0 43260959 19521036288 44742 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4765878 44742 5563 1 0 552421 0
[pid=40027/tid=40029] ppid=40024 vsize=19063512 memory=178968 CPUtime=50.91 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 8438 0 0 0 5088 3 0 0 20 0 20 0 43260960 19521036288 44742 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/339 40348
/proc/meminfo: memFree=117116408/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19063512 memory=1699244 CPUtime=3278.49 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 73372 0 0 0 327751 98 0 0 20 0 20 0 43260959 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4765878 424811 5563 1 0 555592 0
[pid=40027/tid=40029] ppid=40024 vsize=19063512 memory=14824 CPUtime=3272.72 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 30387 0 0 0 327264 8 0 0 20 0 20 0 43260960 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 1685 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43260980 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 3278.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1699244 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/340 40357
/proc/meminfo: memFree=117028256/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19063512 memory=1699244 CPUtime=3338.34 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 73992 0 0 0 333735 99 0 0 20 0 20 0 43260959 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4765878 424811 5563 1 0 555592 0
[pid=40027/tid=40029] ppid=40024 vsize=19063512 memory=14824 CPUtime=3332.55 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 30982 0 0 0 333247 8 0 0 20 0 20 0 43260960 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 1685 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43260980 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 3338.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1699244 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/340 40359
/proc/meminfo: memFree=117027888/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19063512 memory=1699244 CPUtime=3398.2 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 74438 0 0 0 339719 101 0 0 20 0 20 0 43260959 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4765878 424811 5563 1 0 555592 0
[pid=40027/tid=40029] ppid=40024 vsize=19063512 memory=1699244 CPUtime=3392.39 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 31320 0 0 0 339231 8 0 0 20 0 20 0 43260960 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=19063512 memory=-6000919489937042539 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43260980 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 3398.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1699244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/340 40361
/proc/meminfo: memFree=117002960/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19063512 memory=1699244 CPUtime=3458.06 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 74633 0 0 0 345704 102 0 0 20 0 20 0 43260959 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4765878 424811 5563 1 0 555592 0
[pid=40027/tid=40029] ppid=40024 vsize=19063512 memory=1699244 CPUtime=3452.23 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 31508 0 0 0 345215 8 0 0 20 0 20 0 43260960 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=19063512 memory=1699244 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43260980 19521036288 424811 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 3458.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1699244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/340 40363
/proc/meminfo: memFree=116925248/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19063512 memory=1770932 CPUtime=3518.09 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 75416 0 0 0 351705 104 0 0 20 0 20 0 43260959 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4765878 442733 5563 1 0 555592 0
[pid=40027/tid=40029] ppid=40024 vsize=19063512 memory=1699244 CPUtime=3511.92 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 31830 0 0 0 351184 8 0 0 20 0 20 0 43260960 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=19063512 memory=2736 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=19063512 memory=1770932 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 1862 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=19063512 memory=1770932 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43260980 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 3518.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1770932 KiB

[startup+3582.3 s]
/proc/loadavg: 3.73 4.01 4.06 4/315 40400
/proc/meminfo: memFree=118822808/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19063512 memory=1770932 CPUtime=3577.97 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 76085 0 0 0 357692 105 0 0 20 0 20 0 43260959 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4765878 442733 5563 1 0 555592 0
[pid=40027/tid=40029] ppid=40024 vsize=19063512 memory=1770932 CPUtime=3571.78 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 32471 0 0 0 357170 8 0 0 20 0 20 0 43260960 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=19063512 memory=1770932 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 1863 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=19063512 memory=1770932 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43260980 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 3577.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1770932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.4 s]
/proc/loadavg: 3.54 3.94 4.04 4/314 40400
/proc/meminfo: memFree=118822808/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19063512 memory=1770932 CPUtime=3600.04 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 76457 0 0 0 359898 106 0 0 20 0 20 0 43260959 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4765878 442733 5563 1 0 555592 0
[pid=40027/tid=40029] ppid=40024 vsize=19063512 memory=17792 CPUtime=3593.84 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 32837 0 0 0 359376 8 0 0 20 0 20 0 43260960 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 1863 0 0 0 0 0 0 0 20 0 20 0 43260962 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40046] ppid=40024 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/40027/task/40046/stat : 40046 (Timer-0) S 40024 40027 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43260980 19521036288 442733 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1770932 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.19 s, system=1.07011 s

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

[startup+3604.5 s]
/proc/loadavg: 3.54 3.94 4.04 4/314 40400
/proc/meminfo: memFree=118822808/131249996 swapFree=33010684/33010684
[pid=40027] ppid=40024 vsize=19263204 memory=1771700 CPUtime=3600.24 cores=1,3
/proc/40027/stat : 40027 (java) S 40024 40027 38440 0 -1 4194304 78479 0 0 0 359918 106 0 0 20 0 21 0 43260959 19725520896 442925 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
/proc/40027/statm: 4815801 442925 5595 1 0 556527 0
[pid=40027/tid=40029] ppid=40024 vsize=19263204 memory=1699244 CPUtime=3593.93 cores=1,3
/proc/40027/task/40029/stat : 40029 (java) R 40024 40027 38440 0 -1 4194368 32909 0 0 0 359385 8 0 0 20 0 21 0 43260960 19725520896 442925 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40038] ppid=40024 vsize=19263204 memory=10752 CPUtime=0 cores=1,3
/proc/40027/task/40038/stat : 40038 (Finalizer) S 40024 40027 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 43260962 19725520896 442925 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
[pid=40027/tid=40045] ppid=40024 vsize=19263204 memory=21996 CPUtime=0 cores=1,3
/proc/40027/task/40045/stat : 40045 (Common-Cleaner) S 40024 40027 38440 0 -1 4194368 1863 0 0 0 0 0 0 0 20 0 21 0 43260962 19725520896 442925 18446744073709551615 94146684645376 94146684649072 140735982009744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94146684656888 94146684657680 94146700177408 140735982016897 140735982016998 140735982016998 140735982022600 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1771700 KiB

Child status: 143

Real time (s): 3604.52
CPU time (s): 3600.26
CPU user time (s): 3599.19
CPU system time (s): 1.07011
CPU usage (%): 99.8819
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1771700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 1.07011
maximum resident set size= 1771700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103297
involuntary context switches= 5786


# summary of solver processes directly reported to runsolver:
#   pid: 40027
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3599.19
#   total CPU system time (s): 1.07011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16892 second user time and 16.6278 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-30 11:30:32
IDJOB=4498346
IDBENCH=148628
IDSOLVER=3363
FILE ID=nodeC017/4498346-1751275832
RUNJOBID= nodeC017-1751272214-38930
SLURM_JOB_ID= 9594184
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498346-1751275832/watcher-4498346-1751275832 -o /tmp/evaluation-result-4498346-1751275832/solver-4498346-1751275832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751272214-38930 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498346-1751275832.opb

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

MD5SUM BENCH= f2bcbaa2314fdbbaf32cb5f01e98067b
RANDOM SEED=167140629

nodeC017 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.704
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.12
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.049
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.12
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		: 3567.624
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.12
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		: 3565.944
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.12
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.059
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.12
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		: 3600.072
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.12
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		: 3601.229
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109727880 kB
MemAvailable:   112503776 kB
Buffers:            2380 kB
Cached:          3547376 kB
SwapCached:            0 kB
Active:         17579756 kB
Inactive:        3242048 kB
Active(anon):   17290116 kB
Inactive(anon):       12 kB
Active(file):     289640 kB
Inactive(file):  3242036 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               756 kB
Writeback:             0 kB
AnonPages:      17274624 kB
Mapped:           123084 kB
Shmem:             18080 kB
KReclaimable:     166516 kB
Slab:             255312 kB
SReclaimable:     166516 kB
SUnreclaim:        88796 kB
KernelStack:        5168 kB
PageTables:        37600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   21290776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16990208 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC017 at 2025-06-30 12:30:37