Trace number 4432309

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)19 3600.35 3534.87

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM7cbd9242490819e58478720045b90b69
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.167741
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432309-1721059296.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.17	c ... done. Wall clock time 0.047s.
0.13/0.17	c declared #vars     776
0.13/0.17	c #constraints  868
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 697
0.13/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 165
0.13/0.17	c org.sat4j.specs.Constr$1 => 1
0.13/0.17	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4
0.13/0.17	c 868 constraints processed.
0.13/0.18	c objective function length is 776 literals
0.13/0.19	c SATISFIABLE
0.13/0.19	c OPTIMIZING...
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.073
0.13/0.19	o 19
1.45/0.86	c cleaning 2493 clauses out of 5000 with flag 10282/5000
2.04/1.32	c cleaning 4246 clauses out of 8508 with flag 22621/11001
2.77/1.91	c cleaning 5625 clauses out of 11262 with flag 36999/18001
3.36/2.54	c cleaning 6813 clauses out of 13637 with flag 53621/26001
4.29/3.44	c cleaning 7905 clauses out of 15823 with flag 72323/35000
5.37/4.48	c cleaning 8950 clauses out of 17918 with flag 93094/45000
6.79/5.75	c cleaning 9975 clauses out of 19968 with flag 115918/56000
7.94/6.86	c cleaning 10989 clauses out of 21993 with flag 140747/68000
9.04/8.00	c cleaning 11993 clauses out of 24004 with flag 167514/81000
10.39/9.20	c cleaning 12997 clauses out of 26011 with flag 196544/95000
11.77/10.54	c cleaning 14001 clauses out of 28015 with flag 227406/110001
13.34/12.10	c cleaning 14997 clauses out of 30014 with flag 260287/126001
15.07/13.63	c cleaning 16001 clauses out of 32016 with flag 295262/143000
16.75/15.35	c cleaning 16998 clauses out of 34015 with flag 332404/161000
18.81/17.30	c cleaning 18002 clauses out of 36017 with flag 371564/180000
20.80/19.25	c cleaning 19000 clauses out of 38015 with flag 412746/200000
22.78/21.17	c cleaning 19998 clauses out of 40016 with flag 455917/221001
24.92/23.29	c cleaning 21003 clauses out of 42017 with flag 501301/243000
27.30/25.57	c cleaning 21999 clauses out of 44015 with flag 548663/266001
30.01/28.11	c cleaning 22998 clauses out of 46016 with flag 598072/290001
32.58/30.66	c cleaning 24001 clauses out of 48017 with flag 649595/315000
35.28/33.27	c cleaning 24998 clauses out of 50016 with flag 703208/341000
38.49/36.32	c cleaning 26000 clauses out of 52019 with flag 758914/368001
41.17/39.01	c cleaning 27000 clauses out of 54018 with flag 816631/396000
44.14/42.07	c cleaning 27997 clauses out of 56018 with flag 876246/425000
47.46/45.27	c cleaning 29002 clauses out of 58022 with flag 938006/455001
50.92/48.70	c cleaning 30000 clauses out of 60019 with flag 1001870/486000
54.68/52.39	c cleaning 30996 clauses out of 62021 with flag 1067759/518002
60.14/57.20	c cleaning 32004 clauses out of 64024 with flag 1136250/551001
64.86/61.85	c cleaning 33001 clauses out of 66020 with flag 1206569/585001
69.98/66.93	c cleaning 33996 clauses out of 68019 with flag 1279016/620001
75.26/72.10	c cleaning 35001 clauses out of 70022 with flag 1353430/656000
80.69/77.52	c cleaning 36002 clauses out of 72022 with flag 1429812/693001
86.78/83.58	c cleaning 36998 clauses out of 74020 with flag 1508266/731001
94.51/91.12	c cleaning 38004 clauses out of 76021 with flag 1588873/770000
103.22/99.73	c cleaning 38998 clauses out of 78018 with flag 1671619/810001
111.62/108.09	c cleaning 40004 clauses out of 80020 with flag 1756462/851001
119.25/115.65	c cleaning 40998 clauses out of 82016 with flag 1843290/893001
126.34/122.73	c cleaning 41998 clauses out of 84017 with flag 1932228/936000
137.60/133.95	c cleaning 43001 clauses out of 86019 with flag 2023150/980000
151.34/147.17	c cleaning 44000 clauses out of 88020 with flag 2116219/1025002
166.27/162.17	c cleaning 44997 clauses out of 90019 with flag 2211201/1071001
181.56/177.33	c cleaning 45998 clauses out of 92021 with flag 2308236/1118000
195.11/190.72	c cleaning 47006 clauses out of 94023 with flag 2407788/1166000
208.53/204.10	c cleaning 48002 clauses out of 96018 with flag 2509118/1215001
221.14/216.58	c cleaning 49000 clauses out of 98015 with flag 2612386/1265000
232.83/228.06	c cleaning 49998 clauses out of 100015 with flag 2717736/1316000
244.58/239.13	c cleaning 50998 clauses out of 102017 with flag 2824980/1368000
256.26/250.75	c cleaning 52001 clauses out of 104020 with flag 2934361/1421001
267.38/261.15	c cleaning 52998 clauses out of 106018 with flag 3045799/1475000
278.82/272.34	c cleaning 54000 clauses out of 108021 with flag 3159422/1530001
290.12/283.63	c cleaning 55002 clauses out of 110021 with flag 3275061/1586001
301.92/295.31	c cleaning 56000 clauses out of 112019 with flag 3392259/1643001
314.32/307.74	c cleaning 56998 clauses out of 114018 with flag 3511548/1701000
328.08/321.35	c cleaning 57999 clauses out of 116020 with flag 3633227/1760000
340.19/333.39	c cleaning 58999 clauses out of 118021 with flag 3756779/1820000
354.19/347.03	c cleaning 59996 clauses out of 120022 with flag 3882377/1881000
369.07/361.85	c cleaning 61003 clauses out of 122026 with flag 4010113/1943000
382.62/375.37	c cleaning 62002 clauses out of 124023 with flag 4139514/2006000
394.68/387.00	c cleaning 63000 clauses out of 126023 with flag 4270959/2070002
408.29/400.45	c cleaning 63999 clauses out of 128021 with flag 4404663/2135000
423.70/414.71	c cleaning 65002 clauses out of 130022 with flag 4540047/2201000
434.51/425.38	c cleaning 65999 clauses out of 132020 with flag 4677678/2268000
445.14/435.99	c cleaning 66995 clauses out of 134022 with flag 4817414/2336001
456.10/446.74	c cleaning 67999 clauses out of 136026 with flag 4959332/2405000
469.82/460.20	c cleaning 69005 clauses out of 138027 with flag 5103043/2475000
484.82/475.14	c cleaning 70000 clauses out of 140022 with flag 5248788/2546000
499.25/489.32	c cleaning 70996 clauses out of 142023 with flag 5396712/2618001
511.01/500.88	c cleaning 72003 clauses out of 144027 with flag 5546803/2691001
521.80/511.56	c cleaning 73001 clauses out of 146023 with flag 5699507/2765000
533.23/522.61	c cleaning 74002 clauses out of 148023 with flag 5854366/2840001
545.04/534.13	c cleaning 74997 clauses out of 150020 with flag 6011003/2916000
556.59/545.47	c cleaning 76002 clauses out of 152023 with flag 6169949/2993000
568.12/556.86	c cleaning 76997 clauses out of 154022 with flag 6331105/3071001
582.04/569.38	c cleaning 78001 clauses out of 156024 with flag 6493970/3150000
593.92/581.19	c cleaning 79001 clauses out of 158023 with flag 6659183/3230000
606.72/593.75	c cleaning 79997 clauses out of 160022 with flag 6826389/3311000
618.75/605.76	c cleaning 81001 clauses out of 162025 with flag 6995708/3393000
630.98/617.77	c cleaning 81999 clauses out of 164025 with flag 7167216/3476001
644.03/630.45	c cleaning 83000 clauses out of 166026 with flag 7340519/3560001
656.98/643.25	c cleaning 84005 clauses out of 168027 with flag 7515873/3645002
669.87/655.87	c cleaning 84995 clauses out of 170020 with flag 7693675/3731000
682.24/668.10	c cleaning 86002 clauses out of 172026 with flag 7873280/3818001
696.40/681.93	c cleaning 87003 clauses out of 174024 with flag 8054934/3906001
709.88/695.13	c cleaning 88002 clauses out of 176021 with flag 8238630/3995001
722.98/708.12	c cleaning 89001 clauses out of 178019 with flag 8424823/4085001
736.10/720.95	c cleaning 89999 clauses out of 180017 with flag 8612592/4176000
749.61/734.11	c cleaning 90999 clauses out of 182019 with flag 8802476/4268001
762.75/747.22	c cleaning 92001 clauses out of 184019 with flag 8994384/4361000
776.31/760.64	c cleaning 92997 clauses out of 186019 with flag 9188590/4455001
793.40/775.73	c cleaning 94004 clauses out of 188022 with flag 9384696/4550001
808.69/790.80	c cleaning 94999 clauses out of 190019 with flag 9582913/4646002
823.88/805.61	c cleaning 96001 clauses out of 192019 with flag 9783017/4743001
838.55/820.05	c cleaning 96998 clauses out of 194017 with flag 9985164/4841000
852.95/834.30	c cleaning 97998 clauses out of 196019 with flag 10189662/4940000
868.56/849.66	c cleaning 99000 clauses out of 198022 with flag 10396174/5040001
884.53/865.34	c cleaning 99999 clauses out of 200021 with flag 10604896/5141000
901.40/881.80	c cleaning 101001 clauses out of 202023 with flag 10815075/5243001
917.41/897.76	c cleaning 101999 clauses out of 204021 with flag 11027852/5346000
934.55/914.64	c cleaning 103002 clauses out of 206023 with flag 11242848/5450001
950.30/930.29	c cleaning 103998 clauses out of 208021 with flag 11459290/5555001
967.06/946.63	c cleaning 104999 clauses out of 210023 with flag 11678313/5661001
983.53/962.93	c cleaning 106000 clauses out of 212023 with flag 11899147/5768000
1002.91/982.03	c cleaning 107000 clauses out of 214024 with flag 12122082/5876001
1020.05/999.15	c cleaning 108000 clauses out of 216023 with flag 12346802/5985000
1038.02/1016.99	c cleaning 108999 clauses out of 218023 with flag 12573742/6095000
1056.05/1034.53	c cleaning 110000 clauses out of 220024 with flag 12803055/6206000
1074.06/1052.34	c cleaning 110999 clauses out of 222026 with flag 13033957/6318002
1091.75/1069.69	c cleaning 112000 clauses out of 224025 with flag 13267192/6431000
1111.70/1089.58	c cleaning 113004 clauses out of 226026 with flag 13502681/6545001
1133.53/1109.50	c cleaning 113996 clauses out of 228021 with flag 13740409/6660000
1152.81/1128.50	c cleaning 115004 clauses out of 230025 with flag 13979798/6776000
1172.53/1148.09	c cleaning 115998 clauses out of 232021 with flag 14221505/6893000
1192.32/1167.77	c cleaning 117001 clauses out of 234024 with flag 14465327/7011001
1213.67/1188.79	c cleaning 118001 clauses out of 236022 with flag 14710951/7130000
1234.81/1209.60	c cleaning 118998 clauses out of 238022 with flag 14958638/7250001
1255.33/1230.16	c cleaning 120001 clauses out of 240023 with flag 15208225/7371000
1276.64/1251.08	c cleaning 120997 clauses out of 242022 with flag 15459939/7493000
1298.90/1273.06	c cleaning 122001 clauses out of 244025 with flag 15713729/7616000
1321.75/1295.66	c cleaning 123001 clauses out of 246024 with flag 15969521/7740000
1343.75/1317.12	c cleaning 124003 clauses out of 248023 with flag 16227990/7865000
1365.19/1338.38	c cleaning 125001 clauses out of 250021 with flag 16488218/7991001
1386.68/1359.33	c cleaning 125995 clauses out of 252019 with flag 16750482/8118000
1409.26/1381.71	c cleaning 127003 clauses out of 254025 with flag 17014710/8246001
1431.09/1403.52	c cleaning 128000 clauses out of 256021 with flag 17281163/8375000
1454.33/1426.46	c cleaning 129000 clauses out of 258021 with flag 17549719/8505000
1476.19/1448.00	c cleaning 129999 clauses out of 260021 with flag 17820231/8636000
1497.93/1469.18	c cleaning 130997 clauses out of 262022 with flag 18092827/8768000
1520.08/1491.19	c cleaning 132002 clauses out of 264028 with flag 18367497/8901003
1543.93/1514.51	c cleaning 133001 clauses out of 266023 with flag 18644331/9035000
1566.52/1536.94	c cleaning 134000 clauses out of 268023 with flag 18923202/9170001
1591.56/1559.93	c cleaning 135002 clauses out of 270023 with flag 19203704/9306001
1614.70/1582.51	c cleaning 135996 clauses out of 272020 with flag 19486723/9443000
1638.08/1605.60	c cleaning 137003 clauses out of 274025 with flag 19771290/9581001
1664.54/1631.93	c cleaning 137998 clauses out of 276021 with flag 20058047/9720000
1688.76/1656.12	c cleaning 139002 clauses out of 278023 with flag 20347173/9860000
1712.49/1679.41	c cleaning 140000 clauses out of 280023 with flag 20637927/10001002
1737.05/1703.63	c cleaning 140996 clauses out of 282022 with flag 20931343/10143001
1760.92/1727.20	c cleaning 142000 clauses out of 284025 with flag 21226497/10286000
1785.62/1751.29	c cleaning 143002 clauses out of 286027 with flag 21523793/10430002
1811.01/1776.30	c cleaning 144004 clauses out of 288026 with flag 21823298/10575003
1835.88/1801.17	c cleaning 144996 clauses out of 290019 with flag 22124578/10721000
1860.95/1825.63	c cleaning 145999 clauses out of 292023 with flag 22427786/10868000
1887.21/1851.58	c cleaning 147002 clauses out of 294024 with flag 22733267/11016000
1912.06/1876.16	c cleaning 148001 clauses out of 296024 with flag 23040402/11165002
1938.94/1902.45	c cleaning 148999 clauses out of 298021 with flag 23349975/11315000
1965.58/1928.70	c cleaning 149996 clauses out of 300022 with flag 23661495/11466000
1994.86/1957.85	c cleaning 151002 clauses out of 302026 with flag 23975175/11618000
2023.07/1985.48	c cleaning 151998 clauses out of 304025 with flag 24290804/11771001
2049.19/2011.49	c cleaning 153002 clauses out of 306028 with flag 24608666/11925002
2079.72/2038.62	c cleaning 153999 clauses out of 308025 with flag 24928650/12080001
2108.48/2067.29	c cleaning 155000 clauses out of 310025 with flag 25250683/12236000
2135.98/2094.47	c cleaning 156002 clauses out of 312025 with flag 25574930/12393000
2163.31/2121.34	c cleaning 156998 clauses out of 314023 with flag 25901375/12551000
2191.58/2149.52	c cleaning 158000 clauses out of 316026 with flag 26229786/12710001
2220.36/2177.77	c cleaning 159003 clauses out of 318025 with flag 26560371/12870000
2249.36/2206.53	c cleaning 159998 clauses out of 320022 with flag 26892539/13031000
2278.26/2234.90	c cleaning 160998 clauses out of 322024 with flag 27226733/13193000
2307.28/2263.82	c cleaning 162002 clauses out of 324028 with flag 27563433/13356002
2339.19/2295.34	c cleaning 163005 clauses out of 326025 with flag 27902277/13520001
2371.56/2327.46	c cleaning 163998 clauses out of 328019 with flag 28242795/13685000
2401.92/2357.15	c cleaning 164999 clauses out of 330022 with flag 28585416/13851001
2433.24/2388.20	c cleaning 165999 clauses out of 332022 with flag 28930732/14018000
2467.65/2421.99	c cleaning 167002 clauses out of 334023 with flag 29277548/14186000
2500.08/2454.04	c cleaning 167998 clauses out of 336021 with flag 29626632/14355000
2536.31/2486.97	c cleaning 168997 clauses out of 338023 with flag 29977399/14525000
2567.64/2518.25	c cleaning 170002 clauses out of 340026 with flag 30330664/14696000
2602.65/2552.84	c cleaning 171000 clauses out of 342025 with flag 30685453/14868001
2636.16/2586.15	c cleaning 171998 clauses out of 344024 with flag 31042846/15041000
2671.20/2620.69	c cleaning 173002 clauses out of 346027 with flag 31402150/15215001
2708.05/2657.04	c cleaning 173998 clauses out of 348026 with flag 31763438/15390002
2749.22/2698.10	c cleaning 175005 clauses out of 350027 with flag 32126999/15566001
2789.08/2737.71	c cleaning 176003 clauses out of 352021 with flag 32492416/15743000
2825.59/2774.26	c cleaning 177001 clauses out of 354018 with flag 32859719/15921000
2861.92/2810.11	c cleaning 177999 clauses out of 356017 with flag 33229573/16100000
2899.29/2846.90	c cleaning 178999 clauses out of 358018 with flag 33601203/16280000
2937.80/2885.20	c cleaning 179998 clauses out of 360019 with flag 33974539/16461000
2974.41/2921.48	c cleaning 180997 clauses out of 362021 with flag 34350568/16643000
3010.62/2957.15	c cleaning 182003 clauses out of 364025 with flag 34728170/16826001
3048.54/2994.76	c cleaning 183001 clauses out of 366021 with flag 35107696/17010000
3087.75/3031.10	c cleaning 183996 clauses out of 368020 with flag 35489694/17195000
3129.90/3072.55	c cleaning 185001 clauses out of 370024 with flag 35873313/17381000
3166.11/3108.43	c cleaning 186001 clauses out of 372023 with flag 36259777/17568000
3204.48/3146.47	c cleaning 186994 clauses out of 374022 with flag 36648665/17756000
3241.51/3182.92	c cleaning 188001 clauses out of 376028 with flag 37038645/17945000
3279.34/3220.03	c cleaning 189003 clauses out of 378030 with flag 37431283/18135003
3318.01/3258.50	c cleaning 190001 clauses out of 380025 with flag 37825498/18326001
3357.42/3297.40	c cleaning 190997 clauses out of 382023 with flag 38221875/18518000
3398.35/3337.73	c cleaning 192000 clauses out of 384026 with flag 38620622/18711000
3438.80/3377.46	c cleaning 193004 clauses out of 386027 with flag 39020749/18905001
3480.04/3418.36	c cleaning 193996 clauses out of 388022 with flag 39423244/19100000
3523.39/3461.39	c cleaning 195006 clauses out of 390027 with flag 39828095/19296001
3568.12/3505.71	c cleaning 195999 clauses out of 392020 with flag 40234837/19493000
3600.06/3534.72	c starts		: 2
3600.06/3534.72	c conflicts		: 19664329
3600.06/3534.72	c decisions		: 24996707
3600.06/3534.72	c propagations		: 139856880
3600.06/3534.72	c inspects		: 11436462788
3600.06/3534.72	c shortcuts		: 0
3600.06/3534.72	c learnt literals	: 0
3600.06/3534.72	c learnt binary clauses	: 0
3600.06/3534.72	c learnt ternary clauses	: 0
3600.06/3534.72	c learnt constraints	: 19664329
3600.06/3534.72	c ignored constraints	: 0
3600.06/3534.72	c root simplifications	: 0
3600.06/3534.72	c removed literals (reason simplification)	: 0
3600.06/3534.72	c reason swapping (by a shorter reason)	: 0
3600.06/3534.72	c Calls to reduceDB	: 193
3600.06/3534.72	c Number of update (reduction) of LBD	: 329772
3600.06/3534.72	c Imported unit clauses	: 0
3600.06/3534.72	c No decision after first conflict	: false
3600.06/3534.72	c number of reductions to clauses (during analyze)	: 0
3600.06/3534.72	c number of learned constraints concerned by reduction	: 0
3600.06/3534.72	c number of learning phase by resolution	: 0
3600.06/3534.72	c number of learning phase by cutting planes	: 0
3600.06/3534.72	c number of rounding to 1 operations	: 0
3600.06/3534.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3534.72	c number of reductions of the coefficients by power 2 	: 0
3600.06/3534.72	c number of right shift for reduction by power 2 	: 0
3600.06/3534.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3534.72	c number of ending skipping 	: 0
3600.06/3534.72	c number of internal skipping 	: 0
3600.06/3534.72	c number of derivation steps 	: 0
3600.06/3534.72	c number of skipped derivation steps 	: 0
3600.06/3534.72	c number of remaining unassigned 	: 0
3600.06/3534.72	c number of remaining assigned 	: 0
3600.06/3534.72	c number of falsified literals weakened from reason	: 0
3600.06/3534.72	c number of falsified literals weakened from conflict	: 0
3600.06/3534.72	c time for arithmetic operations	: 0
3600.06/3534.74	c minimum degree of deleted constraints	: null
3600.06/3534.74	c maximum degree of deleted constraints	: null
3600.06/3534.74	c number of deleted constraints	: 0
3600.06/3534.74	c speed (assignments/second)	: 39568.488453416445
3600.06/3534.74	c non guided choices	: 0
3600.27/3534.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 367350
3600.27/3534.82	s SATISFIABLE
3600.27/3534.82	c Found 1 solution(s)
3600.27/3534.82	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 
3600.27/3534.82	c objective function=19
3600.27/3534.82	c Total wall clock time (in seconds): 3534.7

Verifier Data 

OK	19

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: 63968 MiB (62892 MiB free)
  memory of node 1: 64473 MiB (62674 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432309-1721059296/watcher-4432309-1721059296 -o /tmp/evaluation-result-4432309-1721059296/solver-4432309-1721059296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811015 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432309-1721059296.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
solver pid=811053, runsolver pid=811048
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.30 4.24 4.16 9/327 811146
/proc/meminfo: memFree=128416288/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=18975048 memory=63900 CPUtime=0.13 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 7060 0 0 0 12 1 0 0 20 0 18 0 158098534 19430449152 15975 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4743762 15975 5521 1 0 549338 0
[pid=811053/tid=811063] ppid=811048 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 5643 0 0 0 7 1 0 0 20 0 18 0 158098534 19430449152 15975 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=18975048 memory=15932 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158098537 19430449152 15975 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158098537 19430449152 15975 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63900 KiB

[startup+0.210826 s]*
/proc/loadavg: 4.30 4.24 4.16 12/330 811149
/proc/meminfo: memFree=128375976/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19041612 memory=71464 CPUtime=0.33 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 7622 0 0 0 32 1 0 0 20 0 19 0 158098534 19498610688 17866 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4760403 17866 5837 1 0 549947 0
[pid=811053/tid=811063] ppid=811048 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) S 811048 811053 811005 0 -1 1077936192 5936 0 0 0 17 1 0 0 20 0 19 0 158098534 19498610688 17866 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19041612 memory=15932 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 17866 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19041612 memory=14408211646121490 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 17866 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098552 19498610688 17866 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71464 KiB

[startup+0.305726 s]*
/proc/loadavg: 4.30 4.24 4.16 14/330 811149
/proc/meminfo: memFree=128312112/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19041612 memory=77176 CPUtime=0.5 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 9501 0 0 0 48 2 0 0 20 0 19 0 158098534 19498610688 19294 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4760403 19294 5868 1 0 550908 0
[pid=811053/tid=811063] ppid=811048 vsize=19041612 memory=-8526838479124275900 CPUtime=0.26 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 5954 0 0 0 25 1 0 0 20 0 19 0 158098534 19498610688 19294 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 19294 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 19294 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098552 19498610688 19294 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77176 KiB

[startup+0.700491 s]
/proc/loadavg: 4.30 4.24 4.16 10/332 811151
/proc/meminfo: memFree=128208716/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19041612 memory=105388 CPUtime=1.26 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 11761 0 0 0 123 3 0 0 20 0 19 0 158098534 19498610688 26347 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4760403 26347 5868 1 0 552168 0
[pid=811053/tid=811063] ppid=811048 vsize=19041612 memory=12512 CPUtime=0.63 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 5997 0 0 0 61 2 0 0 20 0 19 0 158098534 19498610688 26347 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19041612 memory=12512 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 26347 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098537 19498610688 26347 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19041612 memory=16052 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098552 19498610688 26347 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105388 KiB

[startup+1.50049 s]
/proc/loadavg: 4.76 4.34 4.19 8/332 811151
/proc/meminfo: memFree=128082252/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=204912 CPUtime=2.35 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 15815 0 0 0 229 6 0 0 20 0 20 0 158098534 19566772224 51228 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 51228 5884 1 0 552891 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=12512 CPUtime=1.38 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) S 811048 811053 811005 0 -1 1077936192 6416 0 0 0 135 3 0 0 20 0 20 0 158098534 19566772224 51228 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=16052 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 51228 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 51228 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=1904 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 51228 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204912 KiB

[startup+3.10651 s]
/proc/loadavg: 4.76 4.34 4.19 6/335 811156
/proc/meminfo: memFree=127243172/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=272880 CPUtime=3.99 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 17072 0 0 0 392 7 0 0 20 0 20 0 158098534 19566772224 68220 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 68220 5900 1 0 552894 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=0 CPUtime=2.89 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 6688 0 0 0 286 3 0 0 20 0 20 0 158098534 19566772224 68220 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=12512 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 68220 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 68220 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=40552 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 68220 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 272880 KiB

[startup+6.30024 s]
/proc/loadavg: 4.70 4.33 4.19 6/335 811156
/proc/meminfo: memFree=125877472/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=409180 CPUtime=7.38 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 17942 0 0 0 728 10 0 0 20 0 20 0 158098534 19566772224 102295 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 102295 5900 1 0 552894 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=12512 CPUtime=5.94 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 6867 0 0 0 591 3 0 0 20 0 20 0 158098534 19566772224 102295 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 102295 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=-6163001859702092992 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 102295 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=211056 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 102295 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 409180 KiB

[startup+12.7003 s]
/proc/loadavg: 4.72 4.34 4.20 5/335 811158
/proc/meminfo: memFree=123597884/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=863832 CPUtime=14.09 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 22141 0 0 0 1390 19 0 0 20 0 20 0 158098534 19566772224 215958 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 215958 5913 1 0 740881 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=0 CPUtime=12.01 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 7638 0 0 0 1195 6 0 0 20 0 20 0 158098534 19566772224 215958 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 215958 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=502956 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 215958 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=40552 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 215958 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 14.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 863832 KiB

[startup+25.5005 s]
/proc/loadavg: 4.61 4.33 4.19 5/335 811159
/proc/meminfo: memFree=118396068/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=1700268 CPUtime=27.3 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 25420 0 0 0 2693 37 0 0 20 0 20 0 158098534 19566772224 425067 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 425067 5913 1 0 1052117 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=12088 CPUtime=24.14 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 8456 0 0 0 2404 10 0 0 20 0 20 0 158098534 19566772224 425067 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=6944656592387989600 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 425067 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=409180 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 425067 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=1529176 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 425067 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 27.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1700268 KiB

[startup+51.1065 s]
/proc/loadavg: 4.56 4.35 4.20 5/335 811163
/proc/meminfo: memFree=111041160/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=3030964 CPUtime=53.5 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 30326 0 0 0 5287 63 0 0 20 0 20 0 158098534 19566772224 757741 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 757741 5929 1 0 1173285 0

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

[startup+3222.3 s]
/proc/loadavg: 4.41 4.58 4.68 5/334 812444
/proc/meminfo: memFree=75921896/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=14602904 CPUtime=3281.63 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 350746 0 0 0 327736 427 0 0 20 0 20 0 158098534 19566772224 3650726 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 3650726 5926 1 0 4084717 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=14602904 CPUtime=3138.93 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 95742 0 0 0 313808 85 0 0 20 0 20 0 158098534 19566772224 3650726 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=14602904 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650726 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 1042 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650726 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=14602904 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 3650726 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3281.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14602904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.49 4.64 5/332 812837
/proc/meminfo: memFree=75781312/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=14602908 CPUtime=3342.36 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 354803 0 0 0 333806 430 0 0 20 0 20 0 158098534 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 3650727 5926 1 0 4084717 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=14602904 CPUtime=3197.46 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 97034 0 0 0 319661 85 0 0 20 0 20 0 158098534 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=14602904 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 1110 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3342.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14602908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.41 4.60 6/332 812849
/proc/meminfo: memFree=74979836/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=14602908 CPUtime=3402.94 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 355939 0 0 0 339862 432 0 0 20 0 20 0 158098534 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 3650727 5926 1 0 4084717 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=40552 CPUtime=3256.5 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 97708 0 0 0 325565 85 0 0 20 0 20 0 158098534 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=161 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=40552 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 1110 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3402.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14602908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.40 4.58 6/332 812859
/proc/meminfo: memFree=74490504/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=14602908 CPUtime=3464.08 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 357384 0 0 0 345973 435 0 0 20 0 20 0 158098534 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 3650727 5926 1 0 4084717 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=12088 CPUtime=3315 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 98455 0 0 0 331414 86 0 0 20 0 20 0 158098534 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 1110 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3464.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14602908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.35 4.56 5/332 813106
/proc/meminfo: memFree=88025440/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=14602908 CPUtime=3524.38 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 358722 0 0 0 352001 437 0 0 20 0 20 0 158098534 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 3650727 5926 1 0 4084717 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=-7594607904622273656 CPUtime=3374 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 99353 0 0 0 337314 86 0 0 20 0 20 0 158098534 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 1110 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 3650727 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3524.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14602908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.36 4.54 5/332 813117
/proc/meminfo: memFree=85068664/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=14605072 CPUtime=3587.7 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 380693 0 0 0 358327 443 0 0 20 0 20 0 158098534 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 3651268 5942 1 0 4084718 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=14602908 CPUtime=3432.39 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 102216 0 0 0 343152 87 0 0 20 0 20 0 158098534 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=14602908 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=14604968 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 1111 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=14604956 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14605072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3534.7 s]
/proc/loadavg: 4.27 4.35 4.54 5/332 813118
/proc/meminfo: memFree=84735920/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19108176 memory=14605072 CPUtime=3600.06 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 380885 0 0 0 359563 443 0 0 20 0 20 0 158098534 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4777044 3651268 5942 1 0 4084718 0
[pid=811053/tid=811063] ppid=811048 vsize=19108176 memory=14605072 CPUtime=3444.75 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 102408 0 0 0 344388 87 0 0 20 0 20 0 158098534 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19108176 memory=14605072 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19108176 memory=14605072 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 1111 0 0 0 0 0 0 0 20 0 20 0 158098537 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811148] ppid=811048 vsize=19108176 memory=5500 CPUtime=0 cores=0,2
/proc/811053/task/811148/stat : 811148 (Timer-0) S 811048 811053 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098552 19566772224 3651268 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14605072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.87 s, system=4.48102 s

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

[startup+3534.81 s]
/proc/loadavg: 4.27 4.35 4.54 5/332 813118
/proc/meminfo: memFree=84735920/131524600 swapFree=131071996/131071996
[pid=811053] ppid=811048 vsize=19307868 memory=14605664 CPUtime=3600.27 cores=0,2
/proc/811053/stat : 811053 (java) S 811048 811053 811005 0 -1 1077936128 382191 0 0 0 359583 444 0 0 20 0 21 0 158098534 19771256832 3651416 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
/proc/811053/statm: 4826967 3651416 5941 1 0 4085609 0
[pid=811053/tid=811063] ppid=811048 vsize=19307868 memory=2268 CPUtime=3444.84 cores=0,2
/proc/811053/task/811063/stat : 811063 (java) R 811048 811053 811005 0 -1 4194368 102447 0 0 0 344397 87 0 0 20 0 21 0 158098534 19771256832 3651416 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811098] ppid=811048 vsize=19307868 memory=25944 CPUtime=0 cores=0,2
/proc/811053/task/811098/stat : 811098 (Finalizer) S 811048 811053 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158098537 19771256832 3651416 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
[pid=811053/tid=811119] ppid=811048 vsize=19307868 memory=32872 CPUtime=0 cores=0,2
/proc/811053/task/811119/stat : 811119 (Common-Cleaner) S 811048 811053 811005 0 -1 1077936192 1111 0 0 0 0 0 0 0 20 0 21 0 158098537 19771256832 3651416 134679101440 94177766993920 94177766997616 140728974714800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94177767005432 94177767006224 94177790959616 140728974717959 140728974718049 140728974718049 140728974725064 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14605664 KiB

Child status: 143

Real time (s): 3534.87
CPU time (s): 3600.35
CPU user time (s): 3595.87
CPU system time (s): 4.48102
CPU usage (%): 101.853
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14605664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.87
system time used= 4.48102
maximum resident set size= 14606676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117013
involuntary context switches= 36958


# summary of solver processes directly reported to runsolver:
#   pid: 811053
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3595.87
#   total CPU system time (s): 4.48102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54308 second user time and 19.7541 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 18:01:48
IDJOB=4432309
IDBENCH=146660
IDSOLVER=3058
FILE ID=nodeC032/4432309-1721059296
RUNJOBID= nodeC032-1721059308-811015
SLURM_JOB_ID= 7505498
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432309-1721059296/watcher-4432309-1721059296 -o /tmp/evaluation-result-4432309-1721059296/solver-4432309-1721059296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811015 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432309-1721059296.opb

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

MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=131526430

nodeC032.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	: 0xb00002a
cpu MHz		: 3453.059
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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		: 3229.078
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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		: 3655.522
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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		: 3918.957
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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		: 3677.935
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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		: 3768.030
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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		: 3912.550
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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		: 3735.600
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128583384 kB
MemAvailable:   129724128 kB
Buffers:          364360 kB
Cached:          1605588 kB
SwapCached:            0 kB
Active:           618248 kB
Inactive:        1715336 kB
Active(anon):       1444 kB
Inactive(anon):   399904 kB
Active(file):     616804 kB
Inactive(file):  1315432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1528 kB
Writeback:             0 kB
AnonPages:        364028 kB
Mapped:           103580 kB
Shmem:             37720 kB
KReclaimable:      96660 kB
Slab:             202192 kB
SReclaimable:      96660 kB
SUnreclaim:       105532 kB
KernelStack:        3888 kB
PageTables:         9872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     822212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC032 at 2024-07-15 19:00:43