Trace number 4498307

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)27 3600.26 3605.62

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_10_3.opb
MD5SUM7ed4b1f68a2dd72a6ed8e05a5ba93e3e
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark3586.55
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint11
Maximum length of a constraint21
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products2488
Sum of products size4976

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		2104792832
0.09/0.10	c Max memory 		16282288128
0.09/0.10	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.14	c Pseudo Boolean Optimization by upper bound
0.09/0.14	c --- Begin Solver configuration ---
0.09/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.14	c Learn all clauses as in MiniSAT
0.09/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.14	c Expensive reason simplification
0.09/0.14	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.14	c timeout=2147483s
0.09/0.14	c DB Simplification allowed=false
0.09/0.14	c Listener: none
0.09/0.14	c --- End Solver configuration ---
0.09/0.14	c solving HOME/instance-4498307-1751275472.opb
0.09/0.14	c reading problem ... 
0.09/0.14	c  objective function found
0.29/0.23	c ... done. Wall clock time 0.08s.
0.29/0.23	c declared #vars     200
0.29/0.23	c internal #vars     2688
0.29/0.23	c #constraints  5176
0.29/0.23	c constraints type 
0.29/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2488
0.29/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2688
0.29/0.23	c 5176 constraints processed.
0.29/0.24	c objective function length is 200 literals
0.29/0.26	c SATISFIABLE
0.29/0.26	c OPTIMIZING...
0.29/0.26	c Got one! Elapsed wall clock time (in seconds):0.113
0.29/0.26	o 29
0.29/0.27	c Got one! Elapsed wall clock time (in seconds):0.122
0.29/0.27	o 28
2.19/1.58	c cleaning 2503 clauses out of 5010 with flag 14121/5010
3.96/3.16	c cleaning 4251 clauses out of 8505 with flag 29992/11008
5.77/4.96	c cleaning 5622 clauses out of 11251 with flag 50255/18005
7.87/7.04	c cleaning 6798 clauses out of 13629 with flag 71939/26005
10.21/9.31	c cleaning 7916 clauses out of 15832 with flag 96462/35006
12.80/11.94	c cleaning 8954 clauses out of 17916 with flag 125078/45006
15.80/14.93	c cleaning 9973 clauses out of 19963 with flag 155290/56007
18.89/18.06	c cleaning 10989 clauses out of 21988 with flag 188341/68005
22.29/21.45	c cleaning 12002 clauses out of 24005 with flag 223573/81011
26.09/25.22	c cleaning 12999 clauses out of 26000 with flag 261763/95008
30.38/29.42	c cleaning 14000 clauses out of 28000 with flag 305052/110007
34.69/33.80	c cleaning 14996 clauses out of 29998 with flag 349016/126005
39.33/38.35	c cleaning 15998 clauses out of 32005 with flag 394649/143008
44.07/43.05	c cleaning 16995 clauses out of 34006 with flag 444729/161007
49.17/48.11	c cleaning 17980 clauses out of 36009 with flag 498235/180005
54.26/53.25	c cleaning 18996 clauses out of 38029 with flag 552693/200005
59.25/58.26	c cleaning 20005 clauses out of 40034 with flag 613763/221006
64.44/63.45	c cleaning 21003 clauses out of 42029 with flag 675847/243006
70.13/69.12	c cleaning 21993 clauses out of 44025 with flag 737752/266005
75.91/75.01	c cleaning 23001 clauses out of 46033 with flag 803479/290006
82.04/81.06	c cleaning 23998 clauses out of 48031 with flag 873000/315005
88.32/87.30	c cleaning 25000 clauses out of 50034 with flag 949258/341006
94.71/93.74	c cleaning 26013 clauses out of 52035 with flag 1028732/368007
102.01/101.01	c cleaning 27011 clauses out of 54021 with flag 1109650/396006
109.29/108.36	c cleaning 27993 clauses out of 56009 with flag 1195504/425005
116.98/116.00	c cleaning 29007 clauses out of 58021 with flag 1280534/455010
125.06/124.17	c cleaning 29998 clauses out of 60009 with flag 1369560/486005
133.43/132.59	c cleaning 30998 clauses out of 62012 with flag 1461715/518006
142.02/141.16	c cleaning 32006 clauses out of 64013 with flag 1551734/551005
151.19/150.30	c cleaning 33001 clauses out of 66007 with flag 1645864/585005
160.20/159.37	c cleaning 33992 clauses out of 68006 with flag 1740038/620005
169.67/168.82	c cleaning 35001 clauses out of 70015 with flag 1839258/656006
179.05/178.24	c cleaning 35986 clauses out of 72013 with flag 1938396/693005
189.13/188.34	c cleaning 37010 clauses out of 74028 with flag 2046976/731006
199.11/198.36	c cleaning 37993 clauses out of 76018 with flag 2154850/770006
209.47/208.76	c cleaning 39010 clauses out of 78024 with flag 2264614/810005
219.91/219.20	c cleaning 40001 clauses out of 80016 with flag 2375788/851007
230.59/229.90	c cleaning 41007 clauses out of 82018 with flag 2488880/893010
241.46/240.88	c cleaning 42002 clauses out of 84006 with flag 2609382/936005
252.44/251.88	c cleaning 42999 clauses out of 86004 with flag 2732680/980005
263.84/263.27	c cleaning 43996 clauses out of 88005 with flag 2853639/1025005
275.32/274.73	c cleaning 44990 clauses out of 90009 with flag 2974122/1071005
282.40/281.86	c Got one! Elapsed wall clock time (in seconds):281.717
282.40/281.86	o 27
283.91/283.35	c cleaning 39516 clauses out of 79059 with flag 14185/1105045
285.51/284.97	c cleaning 22772 clauses out of 45543 with flag 30341/1111045
287.30/286.75	c cleaning 14874 clauses out of 29770 with flag 49857/1118044
289.20/288.66	c cleaning 11433 clauses out of 22896 with flag 72934/1126044
291.49/290.90	c cleaning 10224 clauses out of 20463 with flag 98640/1135044
293.89/293.33	c cleaning 10117 clauses out of 20240 with flag 126589/1145045
296.38/295.88	c cleaning 10558 clauses out of 21123 with flag 156899/1156045
299.27/298.76	c cleaning 11268 clauses out of 22565 with flag 189554/1168045
302.57/302.04	c cleaning 12139 clauses out of 24296 with flag 225271/1181044
306.06/305.50	c cleaning 13076 clauses out of 26159 with flag 263769/1195046
309.67/309.14	c cleaning 14038 clauses out of 28081 with flag 304294/1210044
313.56/313.01	c cleaning 15023 clauses out of 30049 with flag 346964/1226050
317.75/317.29	c cleaning 15996 clauses out of 32020 with flag 392807/1243044
322.34/321.80	c cleaning 16994 clauses out of 34024 with flag 440915/1261044
327.03/326.56	c cleaning 18013 clauses out of 36031 with flag 492467/1280045
331.92/331.49	c cleaning 18994 clauses out of 38017 with flag 546050/1300044
337.11/336.64	c cleaning 20007 clauses out of 40023 with flag 605345/1321044
342.60/342.17	c cleaning 21005 clauses out of 42016 with flag 665791/1343044
348.18/347.70	c cleaning 21998 clauses out of 44011 with flag 728775/1366044
353.98/353.53	c cleaning 22999 clauses out of 46013 with flag 793608/1390044
359.98/359.58	c cleaning 24008 clauses out of 48017 with flag 862547/1415047
366.47/366.03	c cleaning 24999 clauses out of 50008 with flag 931937/1441046
373.25/372.81	c cleaning 25992 clauses out of 52007 with flag 1008144/1468044
380.33/379.91	c cleaning 26999 clauses out of 54016 with flag 1081994/1496045
387.42/387.08	c cleaning 27998 clauses out of 56016 with flag 1158688/1525044
394.90/394.54	c cleaning 29006 clauses out of 58020 with flag 1238479/1555046
402.38/402.07	c cleaning 30004 clauses out of 60013 with flag 1319742/1586045
410.16/409.83	c cleaning 31003 clauses out of 62008 with flag 1404002/1618044
417.97/417.67	c cleaning 31995 clauses out of 64007 with flag 1489599/1651046
426.55/426.26	c cleaning 32996 clauses out of 66014 with flag 1578576/1685048
435.63/435.33	c cleaning 33993 clauses out of 68014 with flag 1672614/1720044
444.61/444.39	c cleaning 35006 clauses out of 70021 with flag 1771504/1756044
454.09/453.81	c cleaning 36001 clauses out of 72015 with flag 1872108/1793044
463.78/463.57	c cleaning 36995 clauses out of 74015 with flag 1974047/1831045
473.57/473.37	c cleaning 38003 clauses out of 76022 with flag 2082394/1870047
483.84/483.60	c cleaning 38995 clauses out of 78017 with flag 2191063/1910045
494.12/493.90	c cleaning 40007 clauses out of 80021 with flag 2301817/1951044
504.90/504.74	c cleaning 40991 clauses out of 82014 with flag 2411907/1993044
515.77/515.67	c cleaning 41999 clauses out of 84023 with flag 2527767/2036044
526.84/526.79	c cleaning 43008 clauses out of 86024 with flag 2649806/2080044
537.61/537.59	c cleaning 43991 clauses out of 88016 with flag 2770108/2125044
548.49/548.46	c cleaning 45000 clauses out of 90025 with flag 2898331/2171044
559.96/559.99	c cleaning 46006 clauses out of 92026 with flag 3026274/2218045
572.26/572.23	c cleaning 47000 clauses out of 94019 with flag 3161063/2266044
584.44/584.45	c cleaning 48009 clauses out of 96019 with flag 3298406/2315044
597.21/597.29	c cleaning 48998 clauses out of 98010 with flag 3443947/2365044
610.53/610.57	c cleaning 49999 clauses out of 100013 with flag 3595557/2416045
623.80/623.84	c cleaning 50985 clauses out of 102013 with flag 3747326/2468044
636.91/636.99	c cleaning 51999 clauses out of 104031 with flag 3901481/2521047
650.18/650.27	c cleaning 52989 clauses out of 106029 with flag 4051862/2575044
663.96/664.01	c cleaning 54016 clauses out of 108040 with flag 4213163/2630044
678.32/678.41	c cleaning 55004 clauses out of 110024 with flag 4384594/2686044
692.59/692.75	c cleaning 56006 clauses out of 112022 with flag 4563027/2743046
707.50/707.61	c cleaning 57006 clauses out of 114014 with flag 4740810/2801044
722.37/722.52	c cleaning 57987 clauses out of 116008 with flag 4916830/2860044
737.33/737.51	c cleaning 59003 clauses out of 118021 with flag 5098301/2920044
752.90/753.19	c cleaning 59991 clauses out of 120018 with flag 5281761/2981044
769.17/769.46	c cleaning 61003 clauses out of 122027 with flag 5471883/3043044
785.26/785.53	c cleaning 62006 clauses out of 124026 with flag 5654885/3106046
801.42/801.75	c cleaning 63007 clauses out of 126019 with flag 5847501/3170045
818.99/819.37	c cleaning 64002 clauses out of 128011 with flag 6043586/3235044
835.16/835.52	c cleaning 65002 clauses out of 130009 with flag 6236367/3301044
852.72/853.14	c cleaning 65998 clauses out of 132007 with flag 6437090/3368044
869.72/870.17	c cleaning 66991 clauses out of 134009 with flag 6631164/3436044
886.97/887.41	c cleaning 67991 clauses out of 136019 with flag 6825971/3505045
904.53/905.03	c cleaning 69010 clauses out of 138030 with flag 7028638/3575047
922.18/922.78	c cleaning 69995 clauses out of 140017 with flag 7236383/3646044
939.83/940.44	c cleaning 70998 clauses out of 142022 with flag 7441205/3718044
957.79/958.42	c cleaning 72012 clauses out of 144025 with flag 7652983/3791045
976.81/977.42	c cleaning 72985 clauses out of 146013 with flag 7871812/3865045
995.56/996.28	c cleaning 73997 clauses out of 148027 with flag 8104095/3940044
1015.01/1015.72	c cleaning 75005 clauses out of 150035 with flag 8335311/4016049
1034.97/1035.76	c cleaning 76011 clauses out of 152028 with flag 8565531/4093047
1055.41/1056.25	c cleaning 77001 clauses out of 154014 with flag 8802098/4171044
1075.56/1076.42	c cleaning 78002 clauses out of 156013 with flag 9042772/4250044
1096.18/1097.03	c cleaning 78993 clauses out of 158012 with flag 9285539/4330045
1117.91/1118.84	c cleaning 79990 clauses out of 160018 with flag 9532189/4411044
1139.76/1140.73	c cleaning 81009 clauses out of 162028 with flag 9778029/4493044
1161.51/1162.59	c cleaning 82005 clauses out of 164019 with flag 10020542/4576044
1184.45/1185.57	c cleaning 82992 clauses out of 166014 with flag 10259270/4660044
1208.10/1209.27	c cleaning 84005 clauses out of 168022 with flag 10495335/4745044
1232.18/1233.30	c cleaning 84998 clauses out of 170017 with flag 10735485/4831044
1255.83/1257.09	c cleaning 86001 clauses out of 172019 with flag 10974825/4918044
1280.17/1281.47	c cleaning 87000 clauses out of 174018 with flag 11214634/5006044
1303.82/1305.17	c cleaning 87991 clauses out of 176018 with flag 11456178/5095044
1327.86/1329.22	c cleaning 89001 clauses out of 178027 with flag 11695477/5185044
1352.72/1354.10	c cleaning 90002 clauses out of 180028 with flag 11941699/5276046
1378.44/1379.86	c cleaning 90991 clauses out of 182024 with flag 12197502/5368044
1404.28/1405.77	c cleaning 92005 clauses out of 184036 with flag 12451007/5461047
1429.23/1430.77	c cleaning 93014 clauses out of 186028 with flag 12707883/5555044
1456.57/1458.12	c cleaning 93988 clauses out of 188014 with flag 12984403/5650044
1482.10/1483.76	c cleaning 95005 clauses out of 190026 with flag 13266735/5746044
1508.35/1510.10	c cleaning 96006 clauses out of 192022 with flag 13538382/5843045
1536.08/1537.88	c cleaning 97001 clauses out of 194015 with flag 13819088/5941044
1564.40/1566.16	c cleaning 97997 clauses out of 196014 with flag 14102123/6040044
1593.24/1595.07	c cleaning 98995 clauses out of 198017 with flag 14390615/6140044
1620.87/1622.79	c cleaning 100005 clauses out of 200024 with flag 14676474/6241046
1650.01/1651.93	c cleaning 101000 clauses out of 202017 with flag 14955056/6343044
1678.64/1680.67	c cleaning 101998 clauses out of 204019 with flag 15241418/6446046
1707.98/1710.09	c cleaning 103006 clauses out of 206021 with flag 15533492/6550046
1737.82/1739.91	c cleaning 104007 clauses out of 208014 with flag 15823156/6655045
1767.74/1769.88	c cleaning 104991 clauses out of 210006 with flag 16120361/6761044
1797.07/1799.22	c cleaning 105998 clauses out of 212017 with flag 16423902/6868046
1827.10/1829.34	c cleaning 106997 clauses out of 214018 with flag 16721763/6976045
1857.44/1859.74	c cleaning 108002 clauses out of 216023 with flag 17021070/7085047
1888.07/1890.41	c cleaning 109002 clauses out of 218018 with flag 17327127/7195044
1920.61/1923.08	c cleaning 110001 clauses out of 220016 with flag 17634858/7306044
1953.44/1955.93	c cleaning 111003 clauses out of 222015 with flag 17945962/7418044
1985.25/1987.44	c cleaning 112006 clauses out of 224014 with flag 18259135/7531046
2015.97/2018.26	c cleaning 112996 clauses out of 226006 with flag 18570478/7645044
2046.99/2049.33	c cleaning 114001 clauses out of 228012 with flag 18886951/7760046
2079.11/2081.59	c cleaning 114999 clauses out of 230012 with flag 19212789/7876047
2111.13/2113.62	c cleaning 115996 clauses out of 232010 with flag 19533496/7993044
2143.05/2145.69	c cleaning 116992 clauses out of 234015 with flag 19858610/8111045
2175.74/2178.33	c cleaning 118004 clauses out of 236022 with flag 20190125/8230044
2210.27/2212.98	c cleaning 118996 clauses out of 238018 with flag 20522841/8350044
2245.79/2248.59	c cleaning 120000 clauses out of 240022 with flag 20856434/8471044
2279.02/2281.81	c cleaning 121006 clauses out of 242022 with flag 21201467/8593044
2314.44/2317.31	c cleaning 122004 clauses out of 244016 with flag 21550858/8716044
2351.36/2354.38	c cleaning 122996 clauses out of 246012 with flag 21888832/8840044
2388.29/2391.35	c cleaning 123986 clauses out of 248017 with flag 22239570/8965045
2423.62/2426.63	c cleaning 125011 clauses out of 250030 with flag 22592070/9091044
2460.85/2463.98	c cleaning 125998 clauses out of 252020 with flag 22945510/9218045
2497.77/2500.99	c cleaning 126994 clauses out of 254021 with flag 23304660/9346044
2535.49/2538.76	c cleaning 128004 clauses out of 256028 with flag 23662044/9475045
2571.90/2575.21	c cleaning 129002 clauses out of 258023 with flag 24019694/9605044
2609.82/2613.28	c cleaning 129997 clauses out of 260022 with flag 24390655/9736045
2646.83/2650.22	c cleaning 131006 clauses out of 262027 with flag 24764393/9868047
2683.95/2687.48	c cleaning 132002 clauses out of 264018 with flag 25141226/10001044
2721.57/2725.15	c cleaning 133002 clauses out of 266017 with flag 25507920/10135045
2758.47/2762.16	c cleaning 133991 clauses out of 268014 with flag 25879171/10270044
2797.57/2801.32	c cleaning 135012 clauses out of 270027 with flag 26256241/10406048
2834.78/2838.67	c cleaning 135990 clauses out of 272011 with flag 26639507/10543044
2873.07/2876.95	c cleaning 136994 clauses out of 274022 with flag 27030849/10681045
2910.78/2914.72	c cleaning 138011 clauses out of 276027 with flag 27425649/10820044
2949.90/2953.94	c cleaning 138992 clauses out of 278018 with flag 27829588/10960046
2990.12/2994.28	c cleaning 140003 clauses out of 280025 with flag 28238030/11101045
3031.42/3035.60	c cleaning 141001 clauses out of 282021 with flag 28644290/11243044
3072.43/3076.79	c cleaning 142010 clauses out of 284022 with flag 29043372/11386046
3113.03/3117.38	c cleaning 142977 clauses out of 286010 with flag 29450050/11530044
3154.74/3159.19	c cleaning 144011 clauses out of 288035 with flag 29872106/11675046
3197.42/3201.95	c cleaning 144999 clauses out of 290025 with flag 30282652/11821047
3241.11/3245.74	c cleaning 146007 clauses out of 292023 with flag 30702481/11968044
3284.31/3289.10	c cleaning 146994 clauses out of 294017 with flag 31119080/12116045
3330.39/3335.28	c cleaning 147999 clauses out of 296022 with flag 31543958/12265044
3373.48/3378.45	c cleaning 148990 clauses out of 298023 with flag 31972712/12415044
3418.97/3424.05	c cleaning 150009 clauses out of 300034 with flag 32417675/12566045
3462.46/3467.67	c cleaning 151001 clauses out of 302028 with flag 32856197/12718048
3507.05/3512.37	c cleaning 151992 clauses out of 304023 with flag 33285023/12871044
3553.15/3558.50	c cleaning 153017 clauses out of 306033 with flag 33729782/13025046
3598.73/3604.29	c cleaning 153992 clauses out of 308016 with flag 34168400/13180046
3600.02/3605.51	c starts		: 426
3600.02/3605.53	c conflicts		: 13184812
3600.02/3605.53	c decisions		: 33514133
3600.02/3605.53	c propagations		: 6878935499
3600.02/3605.53	c inspects		: 41543690559
3600.02/3605.53	c shortcuts		: 0
3600.02/3605.53	c learnt literals	: 0
3600.02/3605.53	c learnt binary clauses	: 0
3600.02/3605.53	c learnt ternary clauses	: 4
3600.02/3605.53	c learnt constraints	: 13184812
3600.02/3605.53	c ignored constraints	: 0
3600.02/3605.53	c root simplifications	: 0
3600.02/3605.53	c removed literals (reason simplification)	: 801793
3600.02/3605.53	c reason swapping (by a shorter reason)	: 0
3600.02/3605.53	c Calls to reduceDB	: 193
3600.02/3605.53	c Number of update (reduction) of LBD	: 3506490
3600.02/3605.53	c Imported unit clauses	: 0
3600.02/3605.53	c No decision after first conflict	: false
3600.02/3605.53	c number of reductions to clauses (during analyze)	: 0
3600.02/3605.53	c number of learned constraints concerned by reduction	: 0
3600.02/3605.53	c number of learning phase by resolution	: 0
3600.02/3605.53	c number of learning phase by cutting planes	: 0
3600.02/3605.53	c number of rounding to 1 operations	: 0
3600.02/3605.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3605.53	c number of reductions of the coefficients by power 2 	: 0
3600.02/3605.53	c number of right shift for reduction by power 2 	: 0
3600.02/3605.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3605.53	c number of ending skipping 	: 0
3600.02/3605.53	c number of internal skipping 	: 0
3600.02/3605.53	c number of derivation steps 	: 0
3600.02/3605.53	c number of skipped derivation steps 	: 0
3600.02/3605.53	c number of remaining unassigned 	: 0
3600.02/3605.53	c number of remaining assigned 	: 0
3600.02/3605.53	c number of falsified literals weakened from reason	: 0
3600.02/3605.53	c number of falsified literals weakened from conflict	: 0
3600.02/3605.53	c time for arithmetic operations	: 0
3600.02/3605.53	c minimum degree of deleted constraints	: null
3600.02/3605.53	c maximum degree of deleted constraints	: null
3600.02/3605.53	c number of deleted constraints	: 0
3600.02/3605.53	c speed (assignments/second)	: 1908014.345329149
3600.02/3605.53	c non guided choices	: 0
3600.23/3605.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 158790
3600.23/3605.60	s SATISFIABLE
3600.23/3605.60	c Found 3 solution(s)
3600.23/3605.61	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 
3600.23/3605.61	c objective function=27
3600.23/3605.61	c Total wall clock time (in seconds): 3605.464

Verifier Data 

OK	27

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498307-1751275472/watcher-4498307-1751275472 -o /tmp/evaluation-result-4498307-1751275472/solver-4498307-1751275472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751275470-44425 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498307-1751275472.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44608, runsolver pid=44605

[startup+0.100059 s]*
/proc/loadavg: 3.13 3.14 3.17 7/337 44626
/proc/meminfo: memFree=128843340/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18930384 memory=52056 CPUtime=0.09 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 6159 0 0 0 8 1 0 0 20 0 18 0 43224764 19384713216 13014 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4732596 13014 5360 1 0 547262 0
[pid=44608/tid=44610] ppid=44605 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 4984 0 0 0 5 1 0 0 20 0 18 0 43224767 19384713216 13014 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43224769 19384713216 13014 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18930384 memory=60684515953973 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43224769 19384713216 13014 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52056 KiB

[startup+0.20626 s]*
/proc/loadavg: 3.13 3.14 3.17 6/337 44626
/proc/meminfo: memFree=128833872/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18930384 memory=63832 CPUtime=0.29 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 6998 0 0 0 27 2 0 0 20 0 18 0 43224764 19384713216 15958 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4732596 15958 5424 1 0 547880 0
[pid=44608/tid=44610] ppid=44605 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 5296 0 0 0 14 1 0 0 20 0 18 0 43224767 19384713216 15958 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18930384 memory=14860 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43224769 19384713216 15958 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43224769 19384713216 15958 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63832 KiB

[startup+0.30558 s]*
/proc/loadavg: 3.13 3.14 3.17 6/338 44627
/proc/meminfo: memFree=128827760/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18996948 memory=70624 CPUtime=0.48 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 8288 0 0 0 45 3 0 0 20 0 19 0 43224764 19452874752 17656 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4749237 17656 5456 1 0 548695 0
[pid=44608/tid=44610] ppid=44605 vsize=18996948 memory=-6000919485675235435 CPUtime=0.24 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 5427 0 0 0 22 2 0 0 20 0 19 0 43224767 19452874752 17656 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 17656 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 17656 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224789 19452874752 17656 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70624 KiB

[startup+0.700229 s]
/proc/loadavg: 3.13 3.14 3.17 6/338 44627
/proc/meminfo: memFree=128815852/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18996948 memory=81828 CPUtime=1.24 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 13370 0 0 0 121 3 0 0 20 0 19 0 43224764 19452874752 20457 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4749237 20457 5456 1 0 551393 0
[pid=44608/tid=44610] ppid=44605 vsize=18996948 memory=17664 CPUtime=0.62 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 5432 0 0 0 60 2 0 0 20 0 19 0 43224767 19452874752 20457 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 20457 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 20457 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224789 19452874752 20457 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 81828 KiB

[startup+1.50015 s]
/proc/loadavg: 3.13 3.14 3.17 5/338 44627
/proc/meminfo: memFree=128805644/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18996948 memory=86152 CPUtime=2.19 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 14085 0 0 0 216 3 0 0 20 0 19 0 43224764 19452874752 21538 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4749237 21538 5456 1 0 551396 0
[pid=44608/tid=44610] ppid=44605 vsize=18996948 memory=0 CPUtime=1.41 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 5538 0 0 0 139 2 0 0 20 0 19 0 43224767 19452874752 21538 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 21538 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 21538 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224789 19452874752 21538 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86152 KiB

[startup+3.10541 s]
/proc/loadavg: 3.13 3.14 3.17 5/338 44627
/proc/meminfo: memFree=128793696/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18996948 memory=90528 CPUtime=3.96 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 18337 0 0 0 392 4 0 0 20 0 19 0 43224764 19452874752 22632 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4749237 22632 5456 1 0 551425 0
[pid=44608/tid=44610] ppid=44605 vsize=18996948 memory=10624 CPUtime=3.01 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 6670 0 0 0 299 2 0 0 20 0 19 0 43224767 19452874752 22632 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18996948 memory=-6000919485675235435 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 22632 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 22632 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224789 19452874752 22632 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90528 KiB

[startup+6.30014 s]
/proc/loadavg: 3.20 3.15 3.18 5/338 44627
/proc/meminfo: memFree=128776808/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18996948 memory=91244 CPUtime=7.16 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 20112 0 0 0 712 4 0 0 20 0 19 0 43224764 19452874752 22811 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4749237 22811 5456 1 0 551427 0
[pid=44608/tid=44610] ppid=44605 vsize=18996948 memory=0 CPUtime=6.2 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 7306 0 0 0 618 2 0 0 20 0 19 0 43224767 19452874752 22811 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 22811 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 22811 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=18996948 memory=86280 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224789 19452874752 22811 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91244 KiB

[startup+12.7001 s]
/proc/loadavg: 3.27 3.16 3.18 5/338 44627
/proc/meminfo: memFree=128739740/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18996948 memory=101740 CPUtime=13.6 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 23104 0 0 0 1355 5 0 0 20 0 19 0 43224764 19452874752 25435 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4749237 25435 5456 1 0 551427 0
[pid=44608/tid=44610] ppid=44605 vsize=18996948 memory=86280 CPUtime=12.58 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 7915 0 0 0 1256 2 0 0 20 0 19 0 43224767 19452874752 25435 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18996948 memory=99692 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 25435 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 25435 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224789 19452874752 25435 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 13.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101740 KiB

[startup+25.5002 s]
/proc/loadavg: 3.43 3.21 3.20 5/338 44627
/proc/meminfo: memFree=128659176/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=18996948 memory=122476 CPUtime=26.39 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 25054 0 0 0 2633 6 0 0 20 0 19 0 43224764 19452874752 30619 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4749237 30619 5488 1 0 551427 0
[pid=44608/tid=44610] ppid=44605 vsize=18996948 memory=120428 CPUtime=25.34 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 9090 0 0 0 2532 2 0 0 20 0 19 0 43224767 19452874752 30619 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 30619 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=18996948 memory=2209 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43224769 19452874752 30619 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224789 19452874752 30619 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 26.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122476 KiB

[startup+51.1054 s]
/proc/loadavg: 3.70 3.29 3.22 5/341 44631
/proc/meminfo: memFree=128497788/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19063512 memory=177608 CPUtime=52.17 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 27154 0 0 0 5210 7 0 0 20 0 20 0 43224764 19521036288 44402 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4765878 44402 5552 1 0 551716 0
[pid=44608/tid=44610] ppid=44605 vsize=19063512 memory=160492 CPUtime=50.87 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 9170 0 0 0 5084 3 0 0 20 0 20 0 43224767 19521036288 44402 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/340 44809
/proc/meminfo: memFree=121689104/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19063512 memory=1586188 CPUtime=3277.62 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 63539 0 0 0 327674 88 0 0 20 0 20 0 43224764 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4765878 396547 5552 1 0 555939 0
[pid=44608/tid=44610] ppid=44605 vsize=19063512 memory=1586188 CPUtime=3272.56 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 25181 0 0 0 327235 21 0 0 20 0 20 0 43224767 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=19063512 memory=1586188 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=19063512 memory=-6000919485675235435 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 835 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224789 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3277.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1586188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/339 44811
/proc/meminfo: memFree=121688644/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19063512 memory=1586188 CPUtime=3337.47 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 64309 0 0 0 333658 89 0 0 20 0 20 0 43224764 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4765878 396547 5552 1 0 555939 0
[pid=44608/tid=44610] ppid=44605 vsize=19063512 memory=14432 CPUtime=3332.4 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 25842 0 0 0 333218 22 0 0 20 0 20 0 43224767 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=19063512 memory=1586188 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=19063512 memory=1586188 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 835 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224789 19521036288 396547 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3337.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1586188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.16 4.10 5/340 44814
/proc/meminfo: memFree=121672752/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19063512 memory=1600524 CPUtime=3397.33 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 64945 0 0 0 339642 91 0 0 20 0 20 0 43224764 19521036288 400131 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4765878 400131 5552 1 0 555939 0
[pid=44608/tid=44610] ppid=44605 vsize=19063512 memory=1586188 CPUtime=3392.24 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 26401 0 0 0 339201 23 0 0 20 0 20 0 43224767 19521036288 400131 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=19063512 memory=1588236 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 400131 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=19063512 memory=1590284 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 885 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 400131 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=19063512 memory=1594380 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224789 19521036288 400131 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3397.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1600524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/340 44816
/proc/meminfo: memFree=121583372/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19063512 memory=1682444 CPUtime=3457.17 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 65685 0 0 0 345624 93 0 0 20 0 20 0 43224764 19521036288 420611 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4765878 420611 5552 1 0 555939 0
[pid=44608/tid=44610] ppid=44605 vsize=19063512 memory=14432 CPUtime=3452.08 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 26928 0 0 0 345184 24 0 0 20 0 20 0 43224767 19521036288 420611 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 420611 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 935 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 420611 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224789 19521036288 420611 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3457.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1682444 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/340 44819
/proc/meminfo: memFree=121451060/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19063512 memory=1762316 CPUtime=3517.03 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 65848 0 0 0 351607 96 0 0 20 0 20 0 43224764 19521036288 440579 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4765878 440579 5552 1 0 555939 0
[pid=44608/tid=44610] ppid=44605 vsize=19063512 memory=17664 CPUtime=3511.92 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 27034 0 0 0 351166 26 0 0 20 0 20 0 43224767 19521036288 440579 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 440579 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=19063512 memory=9344 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 935 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 440579 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224789 19521036288 440579 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3517.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1762316 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/341 44822
/proc/meminfo: memFree=121229360/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19063512 memory=1844236 CPUtime=3576.89 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 66335 0 0 0 357590 99 0 0 20 0 20 0 43224764 19521036288 461059 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4765878 461059 5552 1 0 555939 0
[pid=44608/tid=44610] ppid=44605 vsize=19063512 memory=14432 CPUtime=3571.77 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 27492 0 0 0 357148 29 0 0 20 0 20 0 43224767 19521036288 461059 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 461059 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 935 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 461059 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224789 19521036288 461059 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3576.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1844236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.5 s]
/proc/loadavg: 4.04 4.11 4.08 2/270 44880
/proc/meminfo: memFree=127190264/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19063512 memory=1877008 CPUtime=3600.02 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 67173 0 0 0 359900 102 0 0 20 0 20 0 43224764 19521036288 469252 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4765878 469252 5552 1 0 555940 0
[pid=44608/tid=44610] ppid=44605 vsize=19063512 memory=-6000919485675235435 CPUtime=3594.9 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 28193 0 0 0 359459 31 0 0 20 0 20 0 43224767 19521036288 469252 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=19063512 memory=1846284 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 469252 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=19063512 memory=-6000919485675235435 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 935 0 0 0 0 0 0 0 20 0 20 0 43224769 19521036288 469252 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44627] ppid=44605 vsize=19063512 memory=1854476 CPUtime=0 cores=4,6
/proc/44608/task/44627/stat : 44627 (Timer-0) S 44605 44608 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224789 19521036288 469252 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1877008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.22 s, system=1.03901 s

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

[startup+3605.6 s]
/proc/loadavg: 4.04 4.11 4.08 2/270 44880
/proc/meminfo: memFree=127190264/131250000 swapFree=33010684/33010684
[pid=44608] ppid=44605 vsize=19263204 memory=1885888 CPUtime=3600.23 cores=4,6
/proc/44608/stat : 44608 (java) S 44605 44608 43192 0 -1 4194304 68921 0 0 0 359920 103 0 0 20 0 21 0 43224764 19725520896 471472 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
/proc/44608/statm: 4815801 471472 5552 1 0 556867 0
[pid=44608/tid=44610] ppid=44605 vsize=19263204 memory=17664 CPUtime=3595 cores=4,6
/proc/44608/task/44610/stat : 44610 (java) R 44605 44608 43192 0 -1 4194368 28440 0 0 0 359469 31 0 0 20 0 21 0 43224767 19725520896 471472 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44619] ppid=44605 vsize=19263204 memory=5064 CPUtime=0 cores=4,6
/proc/44608/task/44619/stat : 44619 (Finalizer) S 44605 44608 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 43224769 19725520896 471472 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
[pid=44608/tid=44626] ppid=44605 vsize=19263204 memory=4916 CPUtime=0 cores=4,6
/proc/44608/task/44626/stat : 44626 (Common-Cleaner) S 44605 44608 43192 0 -1 4194368 935 0 0 0 0 0 0 0 20 0 21 0 43224769 19725520896 471472 18446744073709551615 94421234368512 94421234372208 140726069522064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94421234380024 94421234380816 94421266997248 140726069528961 140726069529062 140726069529062 140726069534664 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1885888 KiB

Child status: 143

Real time (s): 3605.62
CPU time (s): 3600.26
CPU user time (s): 3599.22
CPU system time (s): 1.03901
CPU usage (%): 99.8512
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1885888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.22
system time used= 1.03901
maximum resident set size= 1886016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102773
involuntary context switches= 3443


# summary of solver processes directly reported to runsolver:
#   pid: 44608
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3599.22
#   total CPU system time (s): 1.03901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42943 second user time and 16.7199 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 11:24:32
IDJOB=4498307
IDBENCH=148600
IDSOLVER=3363
FILE ID=nodeC016/4498307-1751275472
RUNJOBID= nodeC016-1751275470-44425
SLURM_JOB_ID= 9594183
Free space on /tmp= 433060 MiB

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

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

MD5SUM BENCH= 7ed4b1f68a2dd72a6ed8e05a5ba93e3e
RANDOM SEED=229526148

nodeC016 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.323
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.797
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.738
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3664.236
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.733
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.278
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.727
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128869384 kB
MemAvailable:   129584784 kB
Buffers:            3280 kB
Cached:          1519244 kB
SwapCached:            0 kB
Active:           565736 kB
Inactive:        1261940 kB
Active(anon):     323244 kB
Inactive(anon):        0 kB
Active(file):     242492 kB
Inactive(file):  1261940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4344 kB
Writeback:             0 kB
AnonPages:        308364 kB
Mapped:           122924 kB
Shmem:             18072 kB
KReclaimable:     100416 kB
Slab:             187716 kB
SReclaimable:     100416 kB
SUnreclaim:        87300 kB
KernelStack:        5152 kB
PageTables:         4332 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7033920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433064 MiB
End job on nodeC016 at 2025-06-30 12:24:38