Trace number 4459927

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 Default 2024-07-07SAT (TO)-77 3600.33 3518.28

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb
MD5SUMd4235fe4c365567a817121803ba4630e
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 benchmark-142
Best CPU time to get the best result obtained on this benchmark70237.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

Quality of the solution as a function of time


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

Solver Data 

0.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version CUSTOM.v20240707
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.16	c os.name		Linux
0.12/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.16	c os.arch		amd64
0.12/0.17	c Free memory 		2113181440
0.12/0.17	c Max memory 		16282288128
0.12/0.17	c Total memory 		2122317824
0.12/0.18	c Number of processors 	2
0.25/0.27	--- Begin Solver configuration ---
0.25/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.25/0.27	Learn all clauses as in MiniSAT
0.25/0.27	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.27	No reason simplification
0.25/0.27	Glucose 2.1 dynamic restart strategy
0.25/0.27	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.25/0.27	timeout=2147483s
0.25/0.27	DB Simplification allowed=false
0.25/0.27	Listener: none
0.25/0.27	--- End Solver configuration ---
0.25/0.27	c Pseudo Boolean Optimization by upper bound
0.25/0.27	c --- Begin Solver configuration ---
0.25/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.25/0.27	c Learn all clauses as in MiniSAT
0.25/0.27	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.27	c No reason simplification
0.25/0.27	c Glucose 2.1 dynamic restart strategy
0.25/0.27	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.25/0.27	c timeout=2147483s
0.25/0.27	c DB Simplification allowed=false
0.25/0.27	c Listener: none
0.25/0.27	c --- End Solver configuration ---
0.25/0.27	c solving HOME/instance-4459927-1721943093.opb
0.25/0.27	c reading problem ... 
0.25/0.28	c  objective function found
0.72/0.57	c ... done. Wall clock time 0.294s.
0.72/0.58	c declared #vars     1000
0.72/0.58	c internal #vars     7318
0.72/0.58	c #constraints  14138
0.72/0.58	c constraints type 
0.72/0.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
0.72/0.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002
0.72/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
0.72/0.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6318
0.72/0.58	c 14138 constraints processed.
0.72/0.60	c objective function length is 500 literals
4.72/3.58	c cleaning 2498 clauses out of 5001 with flag 36270/5001
9.06/7.53	c cleaning 4251 clauses out of 8502 with flag 51469/11000
12.62/11.07	c cleaning 5625 clauses out of 11251 with flag 67044/18000
17.17/15.21	c cleaning 6813 clauses out of 13626 with flag 83624/26000
21.77/19.78	c cleaning 7901 clauses out of 15814 with flag 102171/35001
27.06/24.91	c cleaning 8949 clauses out of 17912 with flag 125293/45000
32.65/30.43	c cleaning 9982 clauses out of 19963 with flag 151470/56000
38.94/36.60	c cleaning 10990 clauses out of 21982 with flag 177130/68001
45.95/43.45	c cleaning 11994 clauses out of 23992 with flag 203820/81001
53.26/50.61	c cleaning 12992 clauses out of 25998 with flag 233752/95001
60.97/58.21	c cleaning 14002 clauses out of 28006 with flag 267103/110001
69.26/66.38	c cleaning 15000 clauses out of 30004 with flag 303737/126001
77.99/74.90	c cleaning 15997 clauses out of 32004 with flag 343245/143001
88.67/84.53	c cleaning 17003 clauses out of 34007 with flag 383710/161001
98.44/94.16	c cleaning 18002 clauses out of 36004 with flag 426542/180001
106.42/102.06	c cleaning 18999 clauses out of 38001 with flag 470557/200000
112.89/108.30	c cleaning 19997 clauses out of 40002 with flag 512793/221000
120.18/115.48	c cleaning 21002 clauses out of 42005 with flag 557280/243000
131.88/126.97	c cleaning 21998 clauses out of 44003 with flag 605121/266000
144.08/138.92	c cleaning 23002 clauses out of 46005 with flag 658970/290000
158.67/152.85	c cleaning 23998 clauses out of 48004 with flag 715209/315001
171.62/165.59	c cleaning 25002 clauses out of 50006 with flag 773701/341001
185.01/178.63	c cleaning 26002 clauses out of 52003 with flag 834703/368000
198.96/192.31	c cleaning 27001 clauses out of 54001 with flag 896835/396000
215.66/207.92	c cleaning 27994 clauses out of 56000 with flag 961227/425000
230.81/222.88	c cleaning 29001 clauses out of 58006 with flag 1025001/455000
245.97/237.75	c cleaning 30000 clauses out of 60005 with flag 1090683/486000
261.83/253.31	c cleaning 30997 clauses out of 62006 with flag 1161015/518001
278.18/269.40	c cleaning 32002 clauses out of 64009 with flag 1231081/551001
294.78/285.79	c cleaning 32998 clauses out of 66007 with flag 1303341/585001
312.28/302.90	c cleaning 33997 clauses out of 68009 with flag 1380185/620001
330.32/320.71	c cleaning 35003 clauses out of 70012 with flag 1456834/656001
351.13/340.63	c cleaning 36005 clauses out of 72009 with flag 1535673/693001
370.17/359.20	c cleaning 36999 clauses out of 74003 with flag 1616785/731000
389.71/378.53	c cleaning 38002 clauses out of 76004 with flag 1701858/770000
410.20/398.52	c cleaning 39001 clauses out of 78002 with flag 1788114/810000
430.81/418.89	c cleaning 40001 clauses out of 80001 with flag 1877752/851000
451.66/439.50	c cleaning 41001 clauses out of 82001 with flag 1998039/893001
473.14/460.53	c cleaning 42000 clauses out of 84000 with flag 2115763/936001
494.76/481.87	c cleaning 42999 clauses out of 86000 with flag 2234884/980001
516.73/503.45	c cleaning 44001 clauses out of 88001 with flag 2357441/1025001
541.70/526.26	c cleaning 44998 clauses out of 90000 with flag 2486215/1071001
564.61/548.89	c cleaning 46001 clauses out of 92002 with flag 2619850/1118001
588.66/572.48	c cleaning 46992 clauses out of 94000 with flag 2749417/1166000
613.78/597.06	c cleaning 48002 clauses out of 96008 with flag 2887988/1215000
639.13/621.97	c cleaning 49000 clauses out of 98006 with flag 3028027/1265000
664.33/646.89	c cleaning 49999 clauses out of 100006 with flag 3167195/1316000
693.04/673.04	c cleaning 50999 clauses out of 102007 with flag 3303959/1368000
719.08/698.92	c cleaning 51999 clauses out of 104008 with flag 3453142/1421000
747.08/726.58	c cleaning 52996 clauses out of 106009 with flag 3596215/1475000
774.66/753.73	c cleaning 54001 clauses out of 108013 with flag 3730213/1530000
802.90/781.34	c cleaning 55006 clauses out of 110012 with flag 3868075/1586000
831.94/810.07	c cleaning 55996 clauses out of 112006 with flag 4000677/1643000
861.28/838.92	c cleaning 57001 clauses out of 114010 with flag 4144895/1701000
889.78/867.25	c cleaning 58001 clauses out of 116009 with flag 4291446/1760000
922.15/896.83	c cleaning 59001 clauses out of 118008 with flag 4438210/1820000
952.47/926.95	c cleaning 60000 clauses out of 120007 with flag 4584875/1881000
983.68/957.73	c cleaning 61002 clauses out of 122007 with flag 4729640/1943000
1014.70/988.42	c cleaning 61999 clauses out of 124005 with flag 4876355/2006000
1046.96/1020.47	c cleaning 62999 clauses out of 126006 with flag 5031611/2070000
1080.69/1053.79	c cleaning 63998 clauses out of 128007 with flag 5193204/2135000
1115.60/1088.39	c cleaning 65003 clauses out of 130009 with flag 5361518/2201000
1150.68/1122.70	c cleaning 65999 clauses out of 132006 with flag 5528041/2268000
1185.78/1157.35	c cleaning 67004 clauses out of 134007 with flag 5697945/2336000
1228.32/1197.92	c cleaning 68001 clauses out of 136003 with flag 5870044/2405000
1267.11/1236.27	c cleaning 69001 clauses out of 138002 with flag 6039008/2475000
1306.78/1275.21	c cleaning 70001 clauses out of 140001 with flag 6210678/2546000
1346.35/1314.37	c cleaning 71000 clauses out of 142000 with flag 6392120/2618000
1386.89/1354.13	c cleaning 71999 clauses out of 144000 with flag 6562630/2691000
1426.85/1393.48	c cleaning 72997 clauses out of 146001 with flag 6735513/2765000
1466.81/1432.95	c cleaning 74001 clauses out of 148004 with flag 6908234/2840000
1511.74/1475.04	c cleaning 75000 clauses out of 150003 with flag 7075844/2916000
1554.46/1517.15	c cleaning 75999 clauses out of 152003 with flag 7261429/2993000
1596.43/1558.68	c cleaning 77001 clauses out of 154004 with flag 7447433/3071000
1639.91/1601.34	c cleaning 77999 clauses out of 156003 with flag 7635936/3150000
1683.88/1644.67	c cleaning 78994 clauses out of 158004 with flag 7829086/3230000
1728.23/1688.47	c cleaning 80004 clauses out of 160010 with flag 8028721/3311000
1772.45/1732.21	c cleaning 81002 clauses out of 162006 with flag 8237962/3393000
1817.61/1776.69	c cleaning 82000 clauses out of 164004 with flag 8438539/3476000
1862.67/1821.17	c cleaning 82994 clauses out of 166004 with flag 8641990/3560000
1913.68/1867.96	c cleaning 83997 clauses out of 168010 with flag 8858700/3645000
1960.07/1913.70	c cleaning 85000 clauses out of 170013 with flag 9071888/3731000
2007.06/1959.91	c cleaning 85999 clauses out of 172013 with flag 9287468/3818000
2055.08/2007.14	c cleaning 87000 clauses out of 174014 with flag 9492619/3906000
2102.32/2053.52	c cleaning 88006 clauses out of 176014 with flag 9701173/3995000
2150.19/2100.69	c cleaning 89004 clauses out of 178008 with flag 9900366/4085000
2155.97/2106.43	c SATISFIABLE
2155.97/2106.43	c OPTIMIZING...
2155.97/2106.43	c Got one! Elapsed wall clock time (in seconds):2106.152
2155.97/2106.43	o -70
2159.66/2110.08	c cleaning 53313 clauses out of 106625 with flag 29009/4102621
2163.19/2113.47	c cleaning 29656 clauses out of 59312 with flag 41995/4108621
2166.68/2116.97	c cleaning 18328 clauses out of 36656 with flag 56498/4115621
2171.21/2121.28	c cleaning 13160 clauses out of 26328 with flag 77118/4123621
2175.80/2125.85	c cleaning 11078 clauses out of 22168 with flag 100136/4132621
2180.78/2130.85	c cleaning 10534 clauses out of 21089 with flag 125756/4142620
2186.28/2136.32	c cleaning 10772 clauses out of 21555 with flag 151725/4153620
2192.57/2142.47	c cleaning 11389 clauses out of 22783 with flag 178883/4165620
2199.05/2148.92	c cleaning 12191 clauses out of 24395 with flag 208345/4178621
2205.84/2155.79	c cleaning 13100 clauses out of 26204 with flag 240029/4192621
2213.76/2163.44	c cleaning 14051 clauses out of 28104 with flag 272487/4207621
2221.64/2171.33	c cleaning 15025 clauses out of 30053 with flag 306590/4223621
2229.82/2179.56	c cleaning 16012 clauses out of 32028 with flag 342827/4240621
2239.32/2188.83	c cleaning 17000 clauses out of 34016 with flag 381240/4258621
2248.90/2198.40	c cleaning 18007 clauses out of 36016 with flag 421676/4277621
2259.42/2208.65	c cleaning 19003 clauses out of 38009 with flag 464241/4297621
2269.73/2219.09	c cleaning 19999 clauses out of 40006 with flag 508936/4318621
2280.82/2229.93	c cleaning 21004 clauses out of 42007 with flag 555759/4340621
2292.29/2241.45	c cleaning 22001 clauses out of 44002 with flag 602225/4363620
2305.04/2253.84	c cleaning 23001 clauses out of 46001 with flag 650383/4387620
2317.71/2266.53	c cleaning 23996 clauses out of 48000 with flag 700549/4412620
2331.21/2279.72	c cleaning 25002 clauses out of 50004 with flag 752718/4438620
2345.07/2293.34	c cleaning 26001 clauses out of 52002 with flag 806895/4465620
2359.84/2308.14	c cleaning 26997 clauses out of 54002 with flag 863269/4493621
2375.16/2323.22	c cleaning 28001 clauses out of 56005 with flag 921459/4522621
2391.18/2339.04	c cleaning 28998 clauses out of 58004 with flag 981656/4552621
2406.72/2354.61	c cleaning 29999 clauses out of 60006 with flag 1043857/4583621
2422.85/2370.79	c cleaning 30999 clauses out of 62007 with flag 1108068/4615621
2440.20/2387.93	c cleaning 32003 clauses out of 64008 with flag 1174283/4648621
2457.97/2405.34	c cleaning 33001 clauses out of 66005 with flag 1242502/4682621
2478.30/2424.48	c cleaning 34001 clauses out of 68004 with flag 1312737/4717621
2497.21/2443.24	c cleaning 35000 clauses out of 70003 with flag 1384981/4753621
2516.58/2462.49	c cleaning 36001 clauses out of 72003 with flag 1459229/4790621
2536.67/2482.40	c cleaning 36996 clauses out of 74002 with flag 1535777/4828621
2556.96/2502.66	c cleaning 38000 clauses out of 76006 with flag 1614301/4867621
2578.22/2523.87	c cleaning 39003 clauses out of 78006 with flag 1694839/4907621
2599.38/2544.96	c cleaning 40001 clauses out of 80003 with flag 1777353/4948621
2621.38/2566.45	c cleaning 40999 clauses out of 82002 with flag 1861904/4990621
2642.91/2587.72	c cleaning 42000 clauses out of 84003 with flag 1948480/5033621
2664.68/2609.36	c cleaning 43000 clauses out of 86003 with flag 2037071/5077621
2687.58/2631.89	c cleaning 44002 clauses out of 88003 with flag 2127674/5122621
2712.06/2656.08	c cleaning 45001 clauses out of 90001 with flag 2220385/5168621
2737.47/2681.25	c cleaning 45997 clauses out of 92000 with flag 2314986/5215621
2763.81/2707.17	c cleaning 47000 clauses out of 94003 with flag 2411608/5263621
2790.01/2733.11	c cleaning 47992 clauses out of 96003 with flag 2510314/5312621
2817.25/2759.91	c cleaning 49004 clauses out of 98011 with flag 2610973/5362621
2844.01/2786.58	c cleaning 50002 clauses out of 100007 with flag 2713617/5413621
2868.84/2810.92	c Got one! Elapsed wall clock time (in seconds):2810.642
2868.84/2810.92	o -77
2872.98/2814.97	c cleaning 51245 clauses out of 102490 with flag 22318/5466106
2876.37/2818.38	c cleaning 28617 clauses out of 57244 with flag 39709/5472105
2879.36/2821.37	c cleaning 17806 clauses out of 35627 with flag 60428/5479105
2881.76/2823.72	c cleaning 12902 clauses out of 25821 with flag 84445/5487105
2884.53/2826.48	c cleaning 10955 clauses out of 21919 with flag 112000/5496105
2888.02/2829.96	c cleaning 10476 clauses out of 20965 with flag 141307/5506106
2893.51/2835.47	c cleaning 10745 clauses out of 21489 with flag 174748/5517106
2899.84/2841.66	c cleaning 11367 clauses out of 22743 with flag 208758/5529105
2906.33/2848.19	c cleaning 12186 clauses out of 24376 with flag 240616/5542105
2913.72/2855.34	c cleaning 13095 clauses out of 26190 with flag 273596/5556105
2920.11/2861.73	c cleaning 14047 clauses out of 28096 with flag 310496/5571106
2924.99/2866.64	c cleaning 15025 clauses out of 30049 with flag 347851/5587106
2930.61/2872.04	c cleaning 16012 clauses out of 32024 with flag 386207/5604106
2936.08/2877.50	c cleaning 17003 clauses out of 34012 with flag 426126/5622106
2942.45/2883.66	c cleaning 18003 clauses out of 36009 with flag 470501/5641106
2949.14/2890.07	c cleaning 19000 clauses out of 38006 with flag 515945/5661106
2955.31/2896.28	c cleaning 20000 clauses out of 40006 with flag 562833/5682106
2964.25/2904.52	c cleaning 20998 clauses out of 42006 with flag 611951/5704106
2971.99/2911.94	c cleaning 22002 clauses out of 44008 with flag 660447/5727106
2979.52/2919.34	c cleaning 22999 clauses out of 46006 with flag 715466/5751106
2987.21/2927.01	c cleaning 24004 clauses out of 48007 with flag 773841/5776106
2995.51/2935.06	c cleaning 25001 clauses out of 50003 with flag 834551/5802106
3004.16/2943.40	c cleaning 26000 clauses out of 52002 with flag 896215/5829106
3012.69/2951.83	c cleaning 27000 clauses out of 54002 with flag 958901/5857106
3021.74/2960.68	c cleaning 27999 clauses out of 56002 with flag 1021807/5886106
3031.22/2969.62	c cleaning 29114 clauses out of 58227 with flag 1112439/5916330
3040.68/2978.73	c cleaning 30067 clauses out of 60133 with flag 1217518/5947350
3052.84/2990.16	c cleaning 30909 clauses out of 61831 with flag 1301461/5979115
3067.16/3002.33	c cleaning 31963 clauses out of 63925 with flag 1393362/6012118
3080.66/3015.04	c cleaning 33043 clauses out of 66085 with flag 1488378/6046241
3098.95/3032.81	c cleaning 33968 clauses out of 67935 with flag 1571064/6081134
3126.19/3059.26	c cleaning 35090 clauses out of 70180 with flag 1670251/6117347
3159.74/3091.92	c cleaning 35943 clauses out of 71886 with flag 1765964/6154143
3184.81/3116.49	c cleaning 37019 clauses out of 74037 with flag 1871805/6192237
3232.06/3161.46	c cleaning 37973 clauses out of 75945 with flag 2001667/6231164
3270.44/3199.10	c cleaning 39036 clauses out of 78071 with flag 2117713/6271263
3318.30/3246.17	c cleaning 39970 clauses out of 79939 with flag 2227356/6312167
3354.70/3281.80	c cleaning 41009 clauses out of 82017 with flag 2337185/6354215
3391.26/3317.20	c cleaning 41964 clauses out of 83928 with flag 2445916/6397135
3433.37/3356.93	c cleaning 42999 clauses out of 85998 with flag 2563790/6441169
3476.60/3399.42	c cleaning 44057 clauses out of 88114 with flag 2716031/6486284
3526.76/3448.81	c cleaning 45030 clauses out of 90060 with flag 2835999/6532287
3551.96/3473.10	c cleaning 45925 clauses out of 91850 with flag 2961669/6579107
3600.04/3518.14	c starts		: 5166
3600.04/3518.14	c conflicts		: 6626318
3600.04/3518.14	c decisions		: 13499242
3600.04/3518.14	c propagations		: 4845879547
3600.04/3518.14	c inspects		: 31319887285
3600.04/3518.14	c shortcuts		: 0
3600.04/3518.14	c learnt literals	: 0
3600.04/3518.14	c learnt binary clauses	: 18
3600.04/3518.14	c learnt ternary clauses	: 918
3600.04/3518.14	c learnt constraints	: 6626318
3600.04/3518.14	c ignored constraints	: 0
3600.04/3518.14	c root simplifications	: 0
3600.04/3518.14	c removed literals (reason simplification)	: 0
3600.04/3518.14	c reason swapping (by a shorter reason)	: 0
3600.04/3518.14	c Calls to reduceDB	: 176
3600.04/3518.14	c Number of update (reduction) of LBD	: 65057
3600.04/3518.14	c Imported unit clauses	: 0
3600.04/3518.14	c No decision after first conflict	: false
3600.04/3518.14	c number of reductions to clauses (during analyze)	: 0
3600.04/3518.14	c number of learned constraints concerned by reduction	: 0
3600.04/3518.14	c number of learning phase by resolution	: 0
3600.04/3518.14	c number of learning phase by cutting planes	: 0
3600.04/3518.14	c number of rounding to 1 operations	: 0
3600.04/3518.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3518.14	c number of reductions of the coefficients by power 2 	: 0
3600.04/3518.14	c number of right shift for reduction by power 2 	: 0
3600.04/3518.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3518.14	c number of ending skipping 	: 0
3600.04/3518.14	c number of internal skipping 	: 0
3600.04/3518.14	c number of derivation steps 	: 0
3600.04/3518.14	c number of skipped derivation steps 	: 0
3600.04/3518.14	c number of remaining unassigned 	: 0
3600.04/3518.14	c number of remaining assigned 	: 0
3600.04/3518.14	c number of falsified literals weakened from reason	: 0
3600.04/3518.14	c number of falsified literals weakened from conflict	: 0
3600.04/3518.14	c time for arithmetic operations	: 0
3600.04/3518.16	c minimum degree of deleted constraints	: null
3600.04/3518.16	c maximum degree of deleted constraints	: null
3600.04/3518.16	c number of deleted constraints	: 0
3600.04/3518.16	c speed (assignments/second)	: 1377629.578720865
3600.04/3518.16	c non guided choices	: 80
3600.23/3518.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 93118
3600.23/3518.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 18
3600.23/3518.24	s SATISFIABLE
3600.23/3518.24	c Found 2 solution(s)
3600.23/3518.24	v x1 x2 -x3 x4 -x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 x68 x69 x70 x71 x72 x73 -x74 x75 x76 x77 -x78 x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 x143 x144 x145 -x146 -x147 x148 x149 -x150 -x151 x152 x153 x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 x163 -x164 -x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 x263 x264 x265 -x266 -x267 x268 x269 x270 x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 x280 x281 x282 x283 -x284 -x285 x286 -x287 -x288 x289 x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 x315 x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337 x338 x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 x553 x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 x620 x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 -x675 -x676 -x677 x678 x679 -x680 -x681 x682 -x683 x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 x882 -x883 -x884 x885 x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 x900 x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 -x925 -x926 -x927 -x928 -x929 x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 x958 -x959 x960 x961 -x962 x963 -x964 x965 x966 -x967 x968 -x969 -x970 x971 -x972 -x973 x974 -x975 x976 x977 -x978 x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 
3600.23/3518.24	c objective function=-77
3600.23/3518.24	c Total wall clock time (in seconds): 3517.959

Verifier Data 

OK	-77

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: 64059 MiB (42421 MiB free)
  memory of node 1: 64510 MiB (52553 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459927-1721943093/watcher-4459927-1721943093 -o /tmp/evaluation-result-4459927-1721943093/solver-4459927-1721943093 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251129 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459927-1721943093.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=253553, runsolver pid=253550

[startup+0.107218 s]*
/proc/loadavg: 4.35 4.26 4.18 5/319 253571
/proc/meminfo: memFree=97218736/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=18975048 memory=56056 CPUtime=0.12 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 6615 0 0 0 11 1 0 0 20 0 18 0 30298386 19430449152 14014 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4743762 14014 5541 1 0 550925 0
[pid=253553/tid=253555] ppid=253550 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 5512 0 0 0 8 1 0 0 20 0 18 0 30298387 19430449152 14014 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30298389 19430449152 14014 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=18975048 memory=3834596516937596960 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30298390 19430449152 14014 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56056 KiB

[startup+0.216793 s]*
/proc/loadavg: 4.35 4.26 4.18 5/319 253571
/proc/meminfo: memFree=97209848/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=18975048 memory=64744 CPUtime=0.25 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 7236 0 0 0 23 2 0 0 20 0 18 0 30298386 19430449152 16186 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4743762 16186 5545 1 0 551432 0
[pid=253553/tid=253555] ppid=253550 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 1078198336 5738 0 0 0 17 1 0 0 20 0 18 0 30298387 19430449152 16186 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=18975048 memory=1122407 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30298389 19430449152 16186 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=18975048 memory=14131147651172177 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30298390 19430449152 16186 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64744 KiB

[startup+0.31721 s]*
/proc/loadavg: 4.35 4.26 4.18 7/319 253571
/proc/meminfo: memFree=97208588/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=18975048 memory=66696 CPUtime=0.38 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 7555 0 0 0 36 2 0 0 20 0 18 0 30298386 19430449152 16674 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4743762 16674 5705 1 0 551623 0
[pid=253553/tid=253555] ppid=253550 vsize=18975048 memory=-9176195744180970172 CPUtime=0.27 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 5892 0 0 0 26 1 0 0 20 0 18 0 30298387 19430449152 16674 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30298389 19430449152 16674 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30298390 19430449152 16674 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66696 KiB

[startup+0.702204 s]
/proc/loadavg: 4.35 4.26 4.18 7/319 253571
/proc/meminfo: memFree=97166796/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19041612 memory=142408 CPUtime=1.08 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 9521 0 0 0 104 4 0 0 20 0 19 0 30298386 19498610688 35602 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4760403 35602 5878 1 0 553117 0
[pid=253553/tid=253555] ppid=253550 vsize=19041612 memory=5456 CPUtime=0.61 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 6045 0 0 0 59 2 0 0 20 0 19 0 30298387 19498610688 35602 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19041612 memory=12108 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30298389 19498610688 35602 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30298390 19498610688 35602 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 142408 KiB

[startup+1.5012 s]
/proc/loadavg: 4.35 4.26 4.18 7/320 253572
/proc/meminfo: memFree=97129164/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19041612 memory=151588 CPUtime=2.45 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 12385 0 0 0 240 5 0 0 20 0 19 0 30298386 19498610688 37897 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4760403 37897 5910 1 0 554186 0
[pid=253553/tid=253555] ppid=253550 vsize=19041612 memory=12108 CPUtime=1.4 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 6225 0 0 0 137 3 0 0 20 0 19 0 30298387 19498610688 37897 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30298389 19498610688 37897 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30298390 19498610688 37897 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30298447 19498610688 37897 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 151588 KiB

[startup+3.1062 s]
/proc/loadavg: 4.32 4.25 4.18 5/321 253575
/proc/meminfo: memFree=97080312/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19108176 memory=195464 CPUtime=4.05 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 14011 0 0 0 398 7 0 0 20 0 20 0 30298386 19566772224 48866 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4777044 48866 5958 1 0 554476 0
[pid=253553/tid=253555] ppid=253550 vsize=19108176 memory=0 CPUtime=2.87 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 6476 0 0 0 284 3 0 0 20 0 20 0 30298387 19566772224 48866 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19566772224 48866 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 30298390 19566772224 48866 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19566772224 48866 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195464 KiB

[startup+6.30035 s]
/proc/loadavg: 4.32 4.25 4.18 6/320 253642
/proc/meminfo: memFree=99085084/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19108176 memory=193004 CPUtime=7.79 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 16857 0 0 0 772 7 0 0 20 0 20 0 30298386 19566772224 48251 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4777044 48251 5958 1 0 554525 0
[pid=253553/tid=253555] ppid=253550 vsize=19108176 memory=0 CPUtime=6.03 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 7484 0 0 0 600 3 0 0 20 0 20 0 30298387 19566772224 48251 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19566772224 48251 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 30298390 19566772224 48251 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19108176 memory=69356 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19566772224 48251 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193004 KiB

[startup+12.7004 s]
/proc/loadavg: 4.27 4.24 4.18 5/321 253644
/proc/meminfo: memFree=98870704/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19108176 memory=336872 CPUtime=14.42 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 19645 0 0 0 1431 11 0 0 20 0 20 0 30298386 19566772224 84218 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4777044 84218 5958 1 0 554545 0
[pid=253553/tid=253555] ppid=253550 vsize=19108176 memory=281576 CPUtime=12.12 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 8108 0 0 0 1209 3 0 0 20 0 20 0 30298387 19566772224 84218 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19566772224 84218 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19108176 memory=265080 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 20 0 30298390 19566772224 84218 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19108176 memory=195464 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19566772224 84218 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 14.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 336872 KiB

[startup+25.5004 s]
/proc/loadavg: 4.23 4.23 4.18 5/321 253647
/proc/meminfo: memFree=98471032/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19108176 memory=598000 CPUtime=27.66 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 26356 0 0 0 2749 17 0 0 20 0 20 0 30298386 19566772224 149500 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4777044 149500 5958 1 0 661333 0
[pid=253553/tid=253555] ppid=253550 vsize=19108176 memory=-9176195744180970172 CPUtime=24.65 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 9609 0 0 0 2460 5 0 0 20 0 20 0 30298387 19566772224 149500 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19566772224 149500 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19108176 memory=195464 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 20 0 30298390 19566772224 149500 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19108176 memory=193004 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19566772224 149500 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 27.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 598000 KiB

[startup+51.113 s]
/proc/loadavg: 4.22 4.23 4.18 5/321 253650
/proc/meminfo: memFree=97675916/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19108176 memory=1081740 CPUtime=53.77 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 31077 0 0 0 5349 28 0 0 20 0 20 0 30298386 19566772224 270435 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4777044 270435 5958 1 0 661343 0
[pid=253553/tid=253555] ppid=253550 vsize=19108176 memory=1081712 CPUtime=49.55 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 11050 0 0 0 4950 5 0 0 20 0 20 0 30298387 19566772224 270435 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19108176 memory=983344 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19566772224 270435 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19108176 memory=874760 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 20 0 30298390 19566772224 270435 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0

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

[startup+3162.3 s]
/proc/loadavg: 4.13 4.16 4.18 6/320 255383
/proc/meminfo: memFree=89553920/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19173712 memory=5266304 CPUtime=3233.23 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 340186 0 0 0 322917 406 0 0 20 0 20 0 30298386 19633881088 1316576 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4793428 1316576 5973 1 0 1477607 0
[pid=253553/tid=253555] ppid=253550 vsize=19173712 memory=2224 CPUtime=3086.21 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 111069 0 0 0 308570 51 0 0 20 0 20 0 30298387 19633881088 1316576 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19173712 memory=4112636 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19633881088 1316576 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19173712 memory=11756 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 1159 0 0 0 0 0 0 0 20 0 20 0 30298390 19633881088 1316576 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19173712 memory=5266304 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19633881088 1316576 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 3233.23 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 5266304 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/323 255779
/proc/meminfo: memFree=89552744/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19173712 memory=5266376 CPUtime=3294.54 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 340972 0 0 0 329045 409 0 0 20 0 20 0 30298386 19633881088 1316594 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4793428 1316594 5973 1 0 1477618 0
[pid=253553/tid=253555] ppid=253550 vsize=19173712 memory=4112636 CPUtime=3144.57 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 111302 0 0 0 314406 51 0 0 20 0 20 0 30298387 19633881088 1316594 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19173712 memory=5266332 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19633881088 1316594 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19173712 memory=5266332 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 1159 0 0 0 0 0 0 0 20 0 20 0 30298390 19633881088 1316594 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19173712 memory=5266332 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19633881088 1316594 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 3294.54 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 5266376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/320 255789
/proc/meminfo: memFree=89530276/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19173712 memory=5268424 CPUtime=3355.54 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 341644 0 0 0 335142 412 0 0 20 0 20 0 30298386 19633881088 1317106 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4793428 1317106 5973 1 0 1477627 0
[pid=253553/tid=253555] ppid=253550 vsize=19173712 memory=5266376 CPUtime=3203.21 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) S 253550 253553 251119 0 -1 1077936192 111590 0 0 0 320270 51 0 0 20 0 20 0 30298387 19633881088 1317106 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19173712 memory=11756 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19633881088 1317106 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19173712 memory=5266376 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 1159 0 0 0 0 0 0 0 20 0 20 0 30298390 19633881088 1317106 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19173712 memory=5266376 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19633881088 1317106 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 3355.54 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 5268424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/320 255799
/proc/meminfo: memFree=89437592/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19173712 memory=5334088 CPUtime=3418.54 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 342087 0 0 0 341436 418 0 0 20 0 20 0 30298386 19633881088 1333522 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4793428 1333522 5973 1 0 1477627 0
[pid=253553/tid=253555] ppid=253550 vsize=19173712 memory=5334088 CPUtime=3261.49 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 111812 0 0 0 326098 51 0 0 20 0 20 0 30298387 19633881088 1333522 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19173712 memory=5334088 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19633881088 1333522 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19173712 memory=5334088 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 1159 0 0 0 0 0 0 0 20 0 20 0 30298390 19633881088 1333522 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19173712 memory=5334088 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19633881088 1333522 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 3418.54 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 5334088 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.16 4.17 5/321 255978
/proc/meminfo: memFree=89333848/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19173712 memory=5334124 CPUtime=3479.75 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 342441 0 0 0 347555 420 0 0 20 0 20 0 30298386 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4793428 1333531 5973 1 0 1477627 0
[pid=253553/tid=253555] ppid=253550 vsize=19173712 memory=5334088 CPUtime=3319.88 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 111904 0 0 0 331937 51 0 0 20 0 20 0 30298387 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19173712 memory=5334076 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19173712 memory=5334124 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 1166 0 0 0 0 0 0 0 20 0 20 0 30298390 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19173712 memory=11756 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 3479.75 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 5334124 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/321 255989
/proc/meminfo: memFree=89112404/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19173712 memory=5334124 CPUtime=3540.71 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 344621 0 0 0 353647 424 0 0 20 0 20 0 30298386 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4793428 1333531 5973 1 0 1477627 0
[pid=253553/tid=253555] ppid=253550 vsize=19173712 memory=5334088 CPUtime=3378.56 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 112402 0 0 0 337805 51 0 0 20 0 20 0 30298387 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19173712 memory=5334076 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19173712 memory=5334124 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 1169 0 0 0 0 0 0 0 20 0 20 0 30298390 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19173712 memory=11756 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19633881088 1333531 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 3540.71 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 5334124 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3518.11 s]
/proc/loadavg: 4.16 4.15 4.16 5/323 256056
/proc/meminfo: memFree=89088768/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19173712 memory=5338296 CPUtime=3600.04 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 365803 0 0 0 359573 431 0 0 20 0 20 0 30298386 19633881088 1334574 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4793428 1334574 5989 1 0 1477627 0
[pid=253553/tid=253555] ppid=253550 vsize=19173712 memory=28864 CPUtime=3432.73 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 117252 0 0 0 343221 52 0 0 20 0 20 0 30298387 19633881088 1334574 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19173712 memory=5338296 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298389 19633881088 1334574 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19173712 memory=5456 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 1194 0 0 0 0 0 0 0 20 0 20 0 30298390 19633881088 1334574 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253572] ppid=253550 vsize=19173712 memory=5338296 CPUtime=0 cores=0,2
/proc/253553/task/253572/stat : 253572 (Timer-0) S 253550 253553 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298447 19633881088 1334574 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 5338296 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.99 s, system=4.34383 s

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

[startup+3518.21 s]
/proc/loadavg: 4.16 4.15 4.16 5/323 256056
/proc/meminfo: memFree=89088768/131655788 swapFree=131062644/131071996
[pid=253553] ppid=253550 vsize=19373404 memory=5339108 CPUtime=3600.23 cores=0,2
/proc/253553/stat : 253553 (java) S 253550 253553 251119 0 -1 1077936128 367668 0 0 0 359592 431 0 0 20 0 21 0 30298386 19838365696 1334777 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
/proc/253553/statm: 4843351 1334777 5988 1 0 1478560 0
[pid=253553/tid=253555] ppid=253550 vsize=19373404 memory=4940 CPUtime=3432.79 cores=0,2
/proc/253553/task/253555/stat : 253555 (java) R 253550 253553 251119 0 -1 4194368 117306 0 0 0 343227 52 0 0 20 0 21 0 30298387 19838365696 1334777 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253564] ppid=253550 vsize=19373404 memory=100 CPUtime=0 cores=0,2
/proc/253553/task/253564/stat : 253564 (Finalizer) S 253550 253553 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30298389 19838365696 1334777 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
[pid=253553/tid=253571] ppid=253550 vsize=19373404 memory=1828 CPUtime=0 cores=0,2
/proc/253553/task/253571/stat : 253571 (Common-Cleaner) S 253550 253553 251119 0 -1 1077936192 1194 0 0 0 0 0 0 0 20 0 21 0 30298390 19838365696 1334777 134679101440 94856288407552 94856288411248 140729540438160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94856288419064 94856288419856 94856306999296 140729540441094 140729540441184 140729540441184 140729540448200 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19373404 KiB
Current children cumulated memory: 5339108 KiB

Child status: 143

Real time (s): 3518.28
CPU time (s): 3600.33
CPU user time (s): 3595.99
CPU system time (s): 4.34383
CPU usage (%): 102.332
Max. virtual memory (cumulated for all children) (KiB): 19373404
Max. memory (cumulated for all children) (KiB): 9668948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.99
system time used= 4.34383
maximum resident set size= 9668960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119037
involuntary context switches= 31220


# summary of solver processes directly reported to runsolver:
#   pid: 253553
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3595.99
#   total CPU system time (s): 4.34383

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3503 second user time and 33.3056 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-25 23:31:33
IDJOB=4459927
IDBENCH=148665
IDSOLVER=3058
FILE ID=nodeC003/4459927-1721943093
RUNJOBID= nodeC003-1721939462-251129
SLURM_JOB_ID= 8247257
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459927-1721943093/watcher-4459927-1721943093 -o /tmp/evaluation-result-4459927-1721943093/solver-4459927-1721943093 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251129 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459927-1721943093.opb

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

MD5SUM BENCH= d4235fe4c365567a817121803ba4630e
RANDOM SEED=533500584

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 3492.084
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 3493.670
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.278
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.344
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 3661.635
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 3512.231
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.501
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.475
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        97254360 kB
MemAvailable:   127038288 kB
Buffers:          341812 kB
Cached:         29985580 kB
SwapCached:          968 kB
Active:          2551736 kB
Inactive:       30839732 kB
Active(anon):       2580 kB
Inactive(anon):  3114992 kB
Active(file):    2549156 kB
Inactive(file): 27724740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:               916 kB
Writeback:             0 kB
AnonPages:       3063348 kB
Mapped:           130584 kB
Shmem:             53440 kB
KReclaimable:     571776 kB
Slab:             687316 kB
SReclaimable:     571776 kB
SUnreclaim:       115540 kB
KernelStack:        4896 kB
PageTables:        16140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7279400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2779136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-26 00:30:12