Trace number 4440235

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 2024 2024-07-07? (TO) 3600.49 3515.07

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
MD5SUM3aed2088dafec39bc246433683012fc1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark122880
Best CPU time to get the best result obtained on this benchmark3411.58
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20611
Total number of constraints3921
Number of constraints which are clauses563
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3358
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 135
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073849343
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147557374
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.24/0.70	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.24/0.70	c This is free software under the dual EPL/GNU LGPL licenses.
0.24/0.70	c See www.sat4j.org for details.
0.24/0.72	c version CUSTOM.v20240707
0.24/0.75	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.75	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.75	c java.vm.version	22.0.1+8-16
0.24/0.75	c java.vm.vendor	Oracle Corporation
0.24/0.75	c sun.arch.data.model	64
0.24/0.75	c java.version		22.0.1
0.24/0.75	c os.name		Linux
0.24/0.75	c os.version		4.18.0-301.1.el8.x86_64
0.24/0.75	c os.arch		amd64
0.24/0.76	c Free memory 		2113181440
0.24/0.76	c Max memory 		16282288128
0.24/0.76	c Total memory 		2122317824
0.24/0.77	c Number of processors 	2
0.39/0.87	--- Begin Solver configuration ---
0.39/0.87	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.39/0.87	Learn all clauses as in MiniSAT
0.39/0.87	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.39/0.87	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.39/0.87	Expensive reason simplification
0.39/0.87	Glucose 2.1 dynamic restart strategy
0.39/0.87	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.39/0.87	timeout=2147483s
0.39/0.87	DB Simplification allowed=false
0.39/0.87	Listener: none
0.39/0.87	--- End Solver configuration ---
0.39/0.87	c Pseudo Boolean Optimization by upper bound
0.39/0.87	c --- Begin Solver configuration ---
0.39/0.87	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.39/0.87	c Learn all clauses as in MiniSAT
0.39/0.87	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.39/0.87	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.39/0.87	c Expensive reason simplification
0.39/0.87	c Glucose 2.1 dynamic restart strategy
0.39/0.87	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.39/0.87	c timeout=2147483s
0.39/0.87	c DB Simplification allowed=false
0.39/0.87	c Listener: none
0.39/0.87	c --- End Solver configuration ---
0.39/0.87	c solving HOME/instance-4440235-1723130241.opb
0.39/0.87	c reading problem ... 
0.39/0.88	c using VERIPB proof format
0.39/0.88	c  objective function found
1.95/1.63	c ... done. Wall clock time 0.752s.
1.95/1.64	c declared #vars     20611
1.95/1.64	c #constraints  3922
1.95/1.64	c constraints type 
1.95/1.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3359
1.95/1.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 563
1.95/1.64	c 3922 constraints processed.
1.95/1.67	c objective function length is 135 literals
4.32/2.86	c SATISFIABLE
4.32/2.86	c OPTIMIZING...
4.32/2.87	c Got one! Elapsed wall clock time (in seconds):1.99
4.32/2.87	o 139264
4.92/3.13	c cleaning 2938 clauses out of 5880 with flag 4016/5880
6.09/3.74	c Got one! Elapsed wall clock time (in seconds):2.862
6.09/3.74	o 138240
6.90/4.11	c cleaning 4464 clauses out of 8931 with flag 10029/11869
7.66/4.50	c Got one! Elapsed wall clock time (in seconds):3.623
7.66/4.50	o 135168
7.83/4.63	c cleaning 5022 clauses out of 10047 with flag 4018/17449
8.42/4.92	c Got one! Elapsed wall clock time (in seconds):4.046
8.42/4.92	o 134144
8.71/5.18	c cleaning 5197 clauses out of 10401 with flag 8031/22825
9.27/5.64	c cleaning 5592 clauses out of 11205 with flag 20191/28826
9.93/6.21	c Got one! Elapsed wall clock time (in seconds):5.34
9.93/6.21	o 133120
10.32/6.42	c Got one! Elapsed wall clock time (in seconds):5.546
10.32/6.42	o 132096
10.69/6.61	c cleaning 5685 clauses out of 11380 with flag 6026/34593
11.22/6.99	c cleaning 5847 clauses out of 11695 with flag 18048/40593
14.99/10.74	c Got one! Elapsed wall clock time (in seconds):9.863
14.99/10.74	o 131072
17.31/12.52	c Got one! Elapsed wall clock time (in seconds):11.635
17.31/12.52	o 130048
18.63/13.79	c cleaning 9022 clauses out of 18052 with flag 10549/52797
19.23/14.37	c Got one! Elapsed wall clock time (in seconds):13.496
19.23/14.37	o 129024
19.69/14.79	c cleaning 7024 clauses out of 14061 with flag 8145/57828
20.29/15.36	c cleaning 6510 clauses out of 13037 with flag 20145/63828
21.09/16.13	c cleaning 6754 clauses out of 13528 with flag 34147/70829
21.78/16.90	c cleaning 7383 clauses out of 14773 with flag 50163/78828
24.17/19.18	c cleaning 8182 clauses out of 16390 with flag 90574/87828
26.17/21.18	c Got one! Elapsed wall clock time (in seconds):20.306
26.17/21.18	o 128000
26.60/21.51	c cleaning 6866 clauses out of 13746 with flag 3801/93366
27.00/21.90	c cleaning 6436 clauses out of 12880 with flag 15844/99366
27.50/22.42	c cleaning 6721 clauses out of 13445 with flag 29881/106367
28.21/23.19	c cleaning 7361 clauses out of 14723 with flag 45910/114366
29.09/23.87	c cleaning 8179 clauses out of 16362 with flag 63935/123366
29.87/24.46	c cleaning 9092 clauses out of 18183 with flag 83950/133366
30.52/25.09	c cleaning 10046 clauses out of 20091 with flag 105960/144366
31.20/25.73	c cleaning 11023 clauses out of 22045 with flag 129961/156366
33.12/27.62	c cleaning 12004 clauses out of 24022 with flag 170954/169366
33.91/28.47	c cleaning 13005 clauses out of 26018 with flag 201309/183366
34.87/29.37	c cleaning 14002 clauses out of 28014 with flag 232558/198367
36.96/31.46	c Got one! Elapsed wall clock time (in seconds):30.591
36.96/31.46	o 126976
39.36/33.84	c cleaning 14515 clauses out of 29039 with flag 22037/213394
40.36/34.90	c cleaning 10255 clauses out of 20524 with flag 38704/219394
40.86/35.39	c cleaning 8622 clauses out of 17270 with flag 53980/226395
42.18/36.62	c cleaning 8310 clauses out of 16647 with flag 74407/234394
44.68/39.37	c cleaning 8659 clauses out of 17338 with flag 107256/243395
45.69/40.36	c cleaning 9335 clauses out of 18678 with flag 128628/253394
47.05/41.61	c cleaning 10165 clauses out of 20343 with flag 151909/264394
48.35/42.94	c cleaning 11082 clauses out of 22179 with flag 176189/276395
49.95/44.54	c cleaning 12044 clauses out of 24096 with flag 203585/289394
52.55/47.13	c cleaning 13023 clauses out of 26052 with flag 242492/303394
53.92/48.45	c cleaning 14012 clauses out of 28029 with flag 273826/318394
56.81/51.31	c cleaning 15004 clauses out of 30017 with flag 328559/334394
58.10/52.68	c cleaning 16000 clauses out of 32013 with flag 365205/351394
59.70/54.25	c cleaning 17002 clauses out of 34014 with flag 402663/369395
61.00/55.56	c cleaning 18002 clauses out of 36012 with flag 441005/388395
62.40/56.94	c cleaning 19000 clauses out of 38010 with flag 481187/408395
65.29/59.77	c cleaning 19994 clauses out of 40009 with flag 536599/429394
67.69/62.15	c cleaning 21003 clauses out of 42015 with flag 581168/451394
80.04/74.64	c cleaning 22003 clauses out of 44012 with flag 691219/474394
82.18/76.66	c Got one! Elapsed wall clock time (in seconds):75.781
82.18/76.66	o 125952
83.19/77.65	c cleaning 13616 clauses out of 27250 with flag 9349/479635
84.60/79.10	c cleaning 9786 clauses out of 19634 with flag 41174/485635
88.28/82.73	c cleaning 8412 clauses out of 16848 with flag 70081/492635
89.38/83.84	c cleaning 8213 clauses out of 16436 with flag 91291/500635
91.87/86.30	c cleaning 8606 clauses out of 17224 with flag 127502/509636
92.37/86.84	c cleaning 9299 clauses out of 18617 with flag 148133/519635
94.68/89.07	c cleaning 10160 clauses out of 20320 with flag 187837/530637
99.41/93.62	c cleaning 11070 clauses out of 22158 with flag 254965/542635
104.14/98.21	c cleaning 12034 clauses out of 24088 with flag 312991/555635
105.80/99.66	c cleaning 13020 clauses out of 26055 with flag 342998/569636
107.21/101.06	c cleaning 14015 clauses out of 28035 with flag 374112/584636
108.83/102.22	c cleaning 15006 clauses out of 30019 with flag 407733/600635
110.51/103.51	c cleaning 16005 clauses out of 32013 with flag 445549/617635
114.81/107.82	c Got one! Elapsed wall clock time (in seconds):106.946
114.81/107.83	o 124928
116.02/108.96	c cleaning 14978 clauses out of 29981 with flag 12926/631608
116.62/109.55	c cleaning 10488 clauses out of 21004 with flag 25019/637609
119.62/112.52	c cleaning 8737 clauses out of 17515 with flag 61582/644608
122.54/115.31	c cleaning 8375 clauses out of 16778 with flag 93993/652608
123.44/116.25	c cleaning 8691 clauses out of 17403 with flag 112431/661608
124.44/117.25	c cleaning 9351 clauses out of 18713 with flag 132561/671609
125.54/118.33	c cleaning 10170 clauses out of 20361 with flag 155350/682608
126.63/119.48	c cleaning 11088 clauses out of 22191 with flag 179961/694608
127.94/120.77	c cleaning 12046 clauses out of 24104 with flag 205979/707609
130.83/123.67	c cleaning 13022 clauses out of 26058 with flag 253972/721609
132.13/124.95	c cleaning 14015 clauses out of 28035 with flag 285810/736608
134.92/127.79	c cleaning 15000 clauses out of 30021 with flag 342921/752609
136.60/129.39	c cleaning 16005 clauses out of 32022 with flag 379613/769610
138.35/131.33	c cleaning 17001 clauses out of 34015 with flag 418788/787608
139.95/132.97	c cleaning 18003 clauses out of 36015 with flag 458978/806609
141.55/134.59	c cleaning 19001 clauses out of 38011 with flag 500525/826608
145.06/138.02	c cleaning 20002 clauses out of 40010 with flag 563563/847608
147.74/140.72	c cleaning 20999 clauses out of 42010 with flag 620611/869610
151.04/143.95	c cleaning 21998 clauses out of 44010 with flag 681675/892609
154.14/147.10	c cleaning 23001 clauses out of 46011 with flag 739909/916608
157.53/150.48	c cleaning 23997 clauses out of 48010 with flag 802606/941608
164.16/157.01	c cleaning 25000 clauses out of 50014 with flag 899778/967609
165.86/158.66	c cleaning 26003 clauses out of 52013 with flag 954464/994608
168.58/161.33	c cleaning 27002 clauses out of 54011 with flag 1015927/1022609
172.77/165.54	c cleaning 27995 clauses out of 56008 with flag 1099998/1051608
175.80/168.48	c cleaning 28999 clauses out of 58014 with flag 1161293/1081609
178.79/171.45	c cleaning 30005 clauses out of 60015 with flag 1237381/1112609
182.76/175.25	c cleaning 30997 clauses out of 62010 with flag 1325948/1144609
185.25/177.75	c cleaning 31998 clauses out of 64012 with flag 1395670/1177608
188.14/180.66	c cleaning 33002 clauses out of 66014 with flag 1467169/1211608
193.82/186.20	c cleaning 34001 clauses out of 68012 with flag 1564141/1246608
196.41/188.72	c cleaning 35004 clauses out of 70011 with flag 1636697/1282608
202.33/194.94	c cleaning 35989 clauses out of 72007 with flag 1738654/1319608
206.53/199.12	c cleaning 36998 clauses out of 74018 with flag 1839606/1357608
211.29/203.89	c cleaning 38006 clauses out of 76021 with flag 1935331/1396609
214.18/206.76	c cleaning 38981 clauses out of 78015 with flag 2024109/1436609
231.43/223.98	c cleaning 40009 clauses out of 80034 with flag 2210530/1477609
238.64/231.10	c cleaning 40971 clauses out of 82024 with flag 2334555/1519608
241.92/234.33	c cleaning 42024 clauses out of 84053 with flag 2426019/1562608
246.45/238.72	c cleaning 43010 clauses out of 86029 with flag 2527631/1606608
256.49/248.69	c cleaning 43998 clauses out of 88020 with flag 2664878/1651609
260.96/253.12	c cleaning 45004 clauses out of 90022 with flag 2771123/1697609
273.14/265.21	c cleaning 46003 clauses out of 92018 with flag 2923131/1744609
285.77/277.80	c cleaning 46987 clauses out of 94014 with flag 3073391/1792608
296.51/288.52	c cleaning 48006 clauses out of 96028 with flag 3238250/1841609
302.89/294.99	c cleaning 49008 clauses out of 98022 with flag 3371835/1891609
310.91/302.87	c cleaning 50001 clauses out of 100013 with flag 3509320/1942608
321.70/313.23	c cleaning 50993 clauses out of 102012 with flag 3660127/1994608
325.36/317.05	c cleaning 51997 clauses out of 104019 with flag 3780039/2047608
332.12/323.88	c cleaning 52996 clauses out of 106023 with flag 3940319/2101609
336.77/328.40	c cleaning 54000 clauses out of 108027 with flag 4075819/2156609
341.39/333.08	c cleaning 55009 clauses out of 110027 with flag 4210470/2212609
345.22/336.83	c cleaning 56008 clauses out of 112017 with flag 4329026/2269608
358.79/350.40	c cleaning 56990 clauses out of 114010 with flag 4533573/2327609
367.55/359.11	c cleaning 58005 clauses out of 116020 with flag 4702706/2386609
375.92/367.48	c cleaning 59002 clauses out of 118015 with flag 4853638/2446609
381.81/373.20	c cleaning 59998 clauses out of 120012 with flag 4992780/2507608
394.83/386.39	c cleaning 60998 clauses out of 122015 with flag 5188788/2569609
409.81/401.22	c cleaning 61995 clauses out of 124017 with flag 5389717/2632609
415.21/406.77	c cleaning 62994 clauses out of 126022 with flag 5535081/2696609
420.52/412.04	c cleaning 63978 clauses out of 128028 with flag 5680065/2761609
438.75/429.98	c cleaning 65017 clauses out of 130049 with flag 5906377/2827608
445.22/436.35	c cleaning 66001 clauses out of 132032 with flag 6060795/2894608
463.68/454.81	c cleaning 67007 clauses out of 134032 with flag 6270844/2962609
480.01/470.73	c cleaning 68005 clauses out of 136024 with flag 6487418/3031608
495.73/486.42	c cleaning 69005 clauses out of 138019 with flag 6708878/3101608
508.44/499.35	c cleaning 70009 clauses out of 140017 with flag 6910863/3172611
525.16/515.63	c cleaning 70994 clauses out of 142006 with flag 7126497/3244609
533.14/523.62	c cleaning 72000 clauses out of 144011 with flag 7293275/3317608
543.56/534.19	c cleaning 72990 clauses out of 146011 with flag 7485939/3391608
555.21/545.87	c cleaning 74004 clauses out of 148026 with flag 7687909/3466613
574.95/565.65	c cleaning 75000 clauses out of 150018 with flag 7942268/3542609
592.07/582.32	c cleaning 76006 clauses out of 152018 with flag 8201856/3619609
602.81/593.34	c cleaning 76998 clauses out of 154012 with flag 8413134/3697609
629.45/619.61	c cleaning 77982 clauses out of 156014 with flag 8714581/3776609
644.54/634.87	c cleaning 79005 clauses out of 158033 with flag 8940495/3856610
658.21/648.47	c cleaning 79993 clauses out of 160026 with flag 9201965/3937608
675.52/665.64	c cleaning 81013 clauses out of 162033 with flag 9459492/4019608
695.92/686.11	c cleaning 82003 clauses out of 164021 with flag 9735375/4102609
704.56/694.74	c cleaning 83003 clauses out of 166017 with flag 9936613/4186608
719.11/709.10	c cleaning 83999 clauses out of 168014 with flag 10172988/4271608
741.01/730.89	c cleaning 84995 clauses out of 170015 with flag 10438956/4357608
756.29/746.26	c cleaning 85991 clauses out of 172020 with flag 10678947/4444608
770.62/760.51	c cleaning 87004 clauses out of 174030 with flag 10947624/4532609
783.79/773.60	c cleaning 88003 clauses out of 176025 with flag 11186882/4621608
803.25/792.71	c cleaning 89005 clauses out of 178023 with flag 11462207/4711609
817.48/807.10	c cleaning 89997 clauses out of 180018 with flag 11711255/4802609
845.23/834.32	c cleaning 90995 clauses out of 182021 with flag 12021570/4894609
866.71/855.65	c cleaning 91987 clauses out of 184025 with flag 12340016/4987608
895.32/883.96	c cleaning 93001 clauses out of 186040 with flag 12654291/5081610
905.49/894.08	c cleaning 93991 clauses out of 188038 with flag 12862469/5176609
920.69/909.37	c cleaning 95006 clauses out of 190047 with flag 13119624/5272609
935.73/924.34	c cleaning 96011 clauses out of 192040 with flag 13391683/5369608
957.45/945.86	c cleaning 97004 clauses out of 194029 with flag 13687810/5467608
975.55/964.15	c cleaning 98000 clauses out of 196026 with flag 13977584/5566609
1001.75/990.04	c cleaning 99007 clauses out of 198025 with flag 14310832/5666608
1060.59/1048.64	c cleaning 99992 clauses out of 200018 with flag 14792836/5767608
1082.99/1070.81	c cleaning 101013 clauses out of 202026 with flag 15091766/5869608
1097.03/1084.94	c cleaning 102004 clauses out of 204014 with flag 15346964/5972609
1130.89/1118.47	c cleaning 102995 clauses out of 206010 with flag 15752619/6076609
1133.29/1120.82	c Got one! Elapsed wall clock time (in seconds):1119.951
1133.29/1120.83	o 123904
1136.17/1123.40	c cleaning 60380 clauses out of 120807 with flag 20590/6094401
1139.45/1126.73	c cleaning 33189 clauses out of 66425 with flag 52495/6100399
1141.95/1129.27	c cleaning 19389 clauses out of 40236 with flag 79612/6107399
1145.15/1132.40	c cleaning 8015 clauses out of 28847 with flag 119509/6115399
1150.39/1137.63	c cleaning 8982 clauses out of 29832 with flag 161040/6124399
1155.98/1143.27	c cleaning 9896 clauses out of 30851 with flag 204926/6134400
1158.49/1145.97	c cleaning 10993 clauses out of 31954 with flag 235319/6145399
1162.84/1150.23	c cleaning 11926 clauses out of 32961 with flag 278745/6157399
1164.63/1151.87	c cleaning 13022 clauses out of 34036 with flag 315841/6170400
1171.34/1158.41	c cleaning 13917 clauses out of 35013 with flag 380935/6184399
1174.43/1161.59	c cleaning 14937 clauses out of 36097 with flag 424187/6199400
1176.25/1162.97	c cleaning 15991 clauses out of 37159 with flag 459378/6215399
1177.65/1164.35	c cleaning 16993 clauses out of 38168 with flag 495715/6232399
1179.25/1165.94	c cleaning 17999 clauses out of 39176 with flag 533115/6250400
1180.94/1167.63	c cleaning 18998 clauses out of 40177 with flag 572368/6269400
1182.92/1169.52	c cleaning 19998 clauses out of 41179 with flag 613558/6289400
1186.78/1173.27	c cleaning 20985 clauses out of 42181 with flag 678162/6310400
1188.14/1174.89	c cleaning 21595 clauses out of 43195 with flag 722277/6332399
1190.84/1177.56	c cleaning 22299 clauses out of 44601 with flag 782214/6355400
1194.15/1180.76	c cleaning 23137 clauses out of 46301 with flag 850090/6379399
1198.84/1185.41	c cleaning 24073 clauses out of 48164 with flag 924501/6404399
1201.45/1188.09	c cleaning 25035 clauses out of 50091 with flag 978267/6430399
1204.82/1191.37	c cleaning 26024 clauses out of 52057 with flag 1033617/6457400
1207.53/1194.07	c cleaning 27011 clauses out of 54033 with flag 1090109/6485400
1211.65/1198.10	c cleaning 28007 clauses out of 56022 with flag 1160951/6514400
1215.64/1202.08	c cleaning 29000 clauses out of 58015 with flag 1246133/6544400
1224.00/1210.54	c cleaning 30002 clauses out of 60014 with flag 1334254/6575399
1227.09/1213.67	c cleaning 30999 clauses out of 62014 with flag 1401101/6607401
1237.92/1224.25	c cleaning 31994 clauses out of 64013 with flag 1518696/6640399
1242.91/1229.25	c cleaning 32995 clauses out of 66019 with flag 1606640/6674399
1252.30/1238.50	c cleaning 34005 clauses out of 68024 with flag 1719656/6709399
1262.65/1248.85	c cleaning 35007 clauses out of 70019 with flag 1846051/6745399
1282.61/1268.80	c cleaning 35998 clauses out of 72013 with flag 2010904/6782400
1286.20/1272.48	c cleaning 37001 clauses out of 74014 with flag 2098550/6820399
1290.74/1276.97	c cleaning 37974 clauses out of 76013 with flag 2189603/6859399
1298.13/1284.34	c cleaning 39005 clauses out of 78040 with flag 2313901/6899400
1304.17/1290.33	c cleaning 40005 clauses out of 80037 with flag 2440233/6940402
1328.45/1313.97	c cleaning 40999 clauses out of 82030 with flag 2628492/6982400
1342.94/1328.47	c cleaning 42009 clauses out of 84031 with flag 2778192/7025400
1346.88/1332.34	c cleaning 42997 clauses out of 86022 with flag 2866888/7069400
1352.99/1338.47	c cleaning 44000 clauses out of 88024 with flag 2983201/7114399
1359.99/1345.41	c cleaning 44998 clauses out of 90024 with flag 3110231/7160399
1372.09/1357.36	c cleaning 46009 clauses out of 92026 with flag 3239503/7207399
1377.66/1363.10	c cleaning 46999 clauses out of 94017 with flag 3365132/7255399
1382.00/1367.35	c cleaning 47986 clauses out of 96018 with flag 3480337/7304399
1398.05/1382.81	c cleaning 49010 clauses out of 98033 with flag 3642362/7354400
1407.49/1392.37	c cleaning 50000 clauses out of 100023 with flag 3770402/7405400
1421.45/1405.70	c cleaning 50998 clauses out of 102022 with flag 3936667/7457399
1433.21/1416.84	c cleaning 51997 clauses out of 104024 with flag 4091471/7510399
1444.02/1427.84	c cleaning 53004 clauses out of 106027 with flag 4235381/7564399
1455.51/1438.76	c cleaning 54007 clauses out of 108023 with flag 4387180/7619399
1463.51/1446.73	c cleaning 55000 clauses out of 110017 with flag 4518880/7675400
1469.38/1452.46	c cleaning 55998 clauses out of 112018 with flag 4650452/7732401
1475.01/1457.71	c cleaning 57003 clauses out of 114018 with flag 4767023/7790399
1488.12/1470.64	c cleaning 58000 clauses out of 116015 with flag 4907857/7849399
1499.35/1481.42	c cleaning 59003 clauses out of 118015 with flag 5031628/7909399
1512.18/1494.06	c cleaning 59995 clauses out of 120013 with flag 5195239/7970400
1544.90/1525.30	c cleaning 61005 clauses out of 122017 with flag 5456304/8032399
1551.38/1531.83	c cleaning 61968 clauses out of 124014 with flag 5599701/8095401
1573.92/1554.43	c cleaning 63003 clauses out of 126046 with flag 5813485/8159401
1601.12/1580.76	c cleaning 63994 clauses out of 128043 with flag 6087604/8224401
1609.03/1588.60	c cleaning 65012 clauses out of 130047 with flag 6232585/8290399
1618.78/1598.08	c cleaning 66001 clauses out of 132035 with flag 6386938/8357399
1626.46/1606.08	c cleaning 67001 clauses out of 134034 with flag 6524101/8425399
1636.05/1615.46	c cleaning 68003 clauses out of 136033 with flag 6663006/8494399
1665.26/1644.10	c cleaning 69009 clauses out of 138031 with flag 6916994/8564400
1682.17/1659.94	c cleaning 70004 clauses out of 140021 with flag 7102700/8635399
1699.68/1677.41	c cleaning 71004 clauses out of 142019 with flag 7249085/8707401
1724.52/1701.54	c cleaning 71998 clauses out of 144015 with flag 7448807/8780401
1755.63/1731.83	c cleaning 72994 clauses out of 146017 with flag 7728375/8854401
1764.05/1740.28	c cleaning 73995 clauses out of 148021 with flag 7908879/8929399
1791.19/1766.08	c cleaning 74986 clauses out of 150026 with flag 8181829/9005399
1810.93/1785.09	c cleaning 76001 clauses out of 152041 with flag 8418647/9082400
1822.93/1797.34	c cleaning 77012 clauses out of 154039 with flag 8634835/9160399
1851.40/1825.14	c cleaning 78007 clauses out of 156027 with flag 8896547/9239399
1858.09/1831.82	c cleaning 79005 clauses out of 158020 with flag 9070982/9319399
1871.65/1844.89	c cleaning 79994 clauses out of 160015 with flag 9276079/9400399
1898.20/1870.72	c cleaning 80982 clauses out of 162025 with flag 9537699/9482403
1919.83/1891.87	c cleaning 82016 clauses out of 164039 with flag 9773796/9565399
1946.06/1917.32	c cleaning 83000 clauses out of 166023 with flag 10052811/9649399
1964.00/1934.83	c cleaning 84003 clauses out of 168024 with flag 10301269/9734400
2000.87/1970.20	c cleaning 84988 clauses out of 170020 with flag 10649022/9820399
2017.41/1986.37	c cleaning 86017 clauses out of 172034 with flag 10891248/9907401
2041.07/2009.48	c cleaning 86994 clauses out of 174016 with flag 11127338/9995400
2073.46/2040.42	c cleaning 88003 clauses out of 176021 with flag 11440079/10084399
2095.33/2061.97	c cleaning 89002 clauses out of 178018 with flag 11716870/10174399
2116.89/2083.17	c cleaning 89986 clauses out of 180017 with flag 11996805/10265400
2176.57/2141.83	c cleaning 91006 clauses out of 182031 with flag 12423545/10357400
2221.57/2184.67	c cleaning 91997 clauses out of 184024 with flag 12831359/10450399
2256.22/2218.50	c cleaning 92992 clauses out of 186027 with flag 13153575/10544399
2292.62/2254.39	c cleaning 94001 clauses out of 188036 with flag 13467220/10639400
2329.83/2290.63	c cleaning 95000 clauses out of 190035 with flag 13785392/10735400
2350.05/2310.30	c cleaning 96002 clauses out of 192034 with flag 14038571/10832399
2387.70/2347.59	c cleaning 97008 clauses out of 194032 with flag 14354875/10930399
2419.17/2377.31	c cleaning 97993 clauses out of 196025 with flag 14673597/11029400
2428.51/2386.69	c cleaning 99010 clauses out of 198031 with flag 14897058/11129399
2457.79/2415.04	c cleaning 100002 clauses out of 200022 with flag 15238889/11230400
2501.80/2457.99	c cleaning 101004 clauses out of 202019 with flag 15631069/11332399
2535.16/2490.64	c cleaning 101995 clauses out of 204015 with flag 15990727/11435399
2565.37/2519.86	c cleaning 102992 clauses out of 206020 with flag 16300059/11539399
2605.36/2557.56	c cleaning 103998 clauses out of 208029 with flag 16635455/11644400
2643.00/2594.13	c cleaning 105003 clauses out of 210030 with flag 16970305/11750399
2668.28/2618.88	c cleaning 105995 clauses out of 212028 with flag 17240019/11857400
2692.13/2641.92	c cleaning 106995 clauses out of 214032 with flag 17511446/11965399
2735.36/2684.22	c cleaning 108016 clauses out of 216039 with flag 17881354/12074401
2775.09/2722.64	c cleaning 109005 clauses out of 218022 with flag 18239387/12184400
2798.10/2745.27	c cleaning 109988 clauses out of 220016 with flag 18561024/12295399
2842.70/2787.93	c cleaning 110996 clauses out of 222028 with flag 18971085/12407399
2904.26/2846.39	c cleaning 112001 clauses out of 224032 with flag 19546883/12520399
2922.32/2863.92	c cleaning 113009 clauses out of 226031 with flag 19777774/12634399
2977.30/2917.68	c cleaning 114007 clauses out of 228023 with flag 20260481/12749400
3026.91/2964.88	c cleaning 114984 clauses out of 230015 with flag 20766200/12865399
3058.34/2995.63	c cleaning 115994 clauses out of 232032 with flag 21077920/12982400
3086.14/3023.38	c cleaning 117008 clauses out of 234037 with flag 21318618/13100399
3141.20/3076.25	c cleaning 117999 clauses out of 236029 with flag 21780121/13219399
3173.97/3108.68	c cleaning 119004 clauses out of 238030 with flag 22113255/13339399
3231.03/3162.08	c cleaning 119999 clauses out of 240027 with flag 22570520/13460400
3244.20/3175.31	c cleaning 121003 clauses out of 242028 with flag 22848934/13582400
3298.07/3226.80	c cleaning 121998 clauses out of 244024 with flag 23334423/13705399
3336.59/3263.76	c cleaning 123004 clauses out of 246027 with flag 23698546/13829400
3359.00/3285.15	c cleaning 124003 clauses out of 248023 with flag 23970596/13954400
3408.78/3332.56	c cleaning 124996 clauses out of 250021 with flag 24428868/14080401
3444.78/3367.12	c cleaning 125994 clauses out of 252023 with flag 24793019/14207399
3488.09/3408.92	c cleaning 127002 clauses out of 254029 with flag 25175459/14335399
3529.01/3448.98	c cleaning 128002 clauses out of 256027 with flag 25542284/14464399
3589.04/3504.55	c cleaning 128998 clauses out of 258025 with flag 26011033/14594399
3600.09/3514.83	c starts		: 46019
3600.09/3514.85	c conflicts		: 14637856
3600.09/3514.85	c decisions		: 58865989
3600.09/3514.85	c propagations		: 2400127247
3600.09/3514.85	c inspects		: 13225295666
3600.09/3514.86	c shortcuts		: 0
3600.09/3514.86	c learnt literals	: 0
3600.09/3514.86	c learnt binary clauses	: 19
3600.09/3514.86	c learnt ternary clauses	: 802
3600.09/3514.86	c learnt constraints	: 14637856
3600.09/3514.86	c ignored constraints	: 0
3600.09/3514.86	c root simplifications	: 0
3600.09/3514.86	c removed literals (reason simplification)	: 52820872
3600.09/3514.89	c reason swapping (by a shorter reason)	: 0
3600.09/3514.89	c Calls to reduceDB	: 282
3600.09/3514.89	c Number of update (reduction) of LBD	: 1345046
3600.09/3514.89	c Imported unit clauses	: 0
3600.09/3514.89	c No decision after first conflict	: false
3600.09/3514.89	c number of reductions to clauses (during analyze)	: 0
3600.09/3514.89	c number of learned constraints concerned by reduction	: 0
3600.09/3514.89	c number of learning phase by resolution	: 0
3600.09/3514.89	c number of learning phase by cutting planes	: 0
3600.09/3514.89	c number of rounding to 1 operations	: 0
3600.09/3514.89	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3514.89	c number of reductions of the coefficients by power 2 	: 0
3600.09/3514.89	c number of right shift for reduction by power 2 	: 0
3600.09/3514.89	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3514.89	c number of ending skipping 	: 0
3600.09/3514.89	c number of internal skipping 	: 0
3600.09/3514.89	c number of derivation steps 	: 0
3600.09/3514.89	c number of skipped derivation steps 	: 0
3600.09/3514.89	c number of remaining unassigned 	: 0
3600.09/3514.89	c number of remaining assigned 	: 0
3600.09/3514.89	c number of falsified literals weakened from reason	: 0
3600.09/3514.89	c number of falsified literals weakened from conflict	: 0
3600.09/3514.89	c time for arithmetic operations	: 0
3600.09/3514.89	c minimum degree of deleted constraints	: null
3600.09/3514.89	c maximum degree of deleted constraints	: null
3600.09/3514.89	c number of deleted constraints	: 0
3600.29/3514.91	c speed (assignments/second)	: 683172.7384694384
3600.29/3514.91	c non guided choices	: 2726098
3600.29/3514.99	c timeout
3600.29/3514.99	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.45/3515.00		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.45/3515.00		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.45/3515.00		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.45/3515.00		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.45/3515.00		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.45/3515.00		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.45/3515.00		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

Verifier Data 

ERROR: no interpretation found !

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: 64096 MiB (62746 MiB free)
  memory of node 1: 64473 MiB (63139 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440235-1723130241/watcher-4440235-1723130241 -o /tmp/evaluation-result-4440235-1723130241/solver-4440235-1723130241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1723130240-462548 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440235-1723130241 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440235-1723130241.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=462583, runsolver pid=462579
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 0.13 0.12 0.09 3/235 462589
/proc/meminfo: memFree=128886976/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=37736 memory=2816 CPUtime=0 cores=1,3
/proc/462583/stat : 462583 (java) D 462579 462583 462536 0 -1 4194304 198 0 4 0 0 0 0 0 20 0 1 0 79621175 38641664 704 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 0 0 0 0 17 3 0 0 9 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 9434 704 621 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2816 KiB

[startup+0.213833 s]*
/proc/loadavg: 0.13 0.12 0.09 3/238 462592
/proc/meminfo: memFree=128860812/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=104392 memory=8396 CPUtime=0 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 581 0 43 0 0 0 0 0 20 0 2 0 79621175 106897408 2099 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 0 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 26098 2099 1724 1 0 582 0
[pid=462583/tid=462592] ppid=462579 vsize=104392 memory=4715375754448601405 CPUtime=0 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) D 462579 462583 462536 0 -1 4194368 23 0 9 0 0 0 0 0 20 0 2 0 79621196 106897408 2099 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 8396 KiB

[startup+0.314012 s]*
/proc/loadavg: 0.13 0.12 0.09 5/238 462592
/proc/meminfo: memFree=128838628/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=280436 memory=19328 CPUtime=0.02 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 1321 0 68 0 1 1 0 0 20 0 2 0 79621175 287166464 4832 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16784588 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 70109 4832 2778 1 0 2309 0
[pid=462583/tid=462592] ppid=462579 vsize=280436 memory=-9175351323528897212 CPUtime=0 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) D 462579 462583 462536 0 -1 4194368 763 0 34 0 0 0 0 0 20 0 2 0 79621196 287166464 4832 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16784588 0 0 0 -1 1 0 0 10 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 280436 KiB
Current children cumulated memory: 19328 KiB

[startup+0.700371 s]
/proc/loadavg: 0.13 0.12 0.09 5/244 462602
/proc/meminfo: memFree=128786052/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=18975048 memory=56924 CPUtime=0.24 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 6707 0 171 0 19 5 0 0 20 0 18 0 79621175 19430449152 14231 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4743762 14231 5673 1 0 550974 0
[pid=462583/tid=462592] ppid=462579 vsize=18975048 memory=16236 CPUtime=0.15 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 5532 0 123 0 12 3 0 0 20 0 18 0 79621196 19430449152 14231 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56924 KiB

[startup+1.50085 s]
/proc/loadavg: 0.13 0.12 0.09 14/313 462681
/proc/meminfo: memFree=128545868/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=18975048 memory=156908 CPUtime=1.75 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 9777 0 171 0 165 10 0 0 20 0 18 0 79621175 19430449152 39227 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4743762 39227 5805 1 0 552971 0
[pid=462583/tid=462592] ppid=462579 vsize=18975048 memory=16236 CPUtime=0.89 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 5988 0 123 0 82 7 0 0 20 0 18 0 79621196 19430449152 39227 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=18975048 memory=11448 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 79621231 19430449152 39227 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=18975048 memory=38760 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 79621232 19430449152 39227 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 156908 KiB

[startup+3.10685 s]
/proc/loadavg: 0.92 0.29 0.15 11/318 462688
/proc/meminfo: memFree=127035368/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=184632 CPUtime=4.92 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 20325 0 172 0 477 15 0 0 20 0 20 0 79621175 19566772224 46158 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 46158 5892 1 0 556395 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=38760 CPUtime=2.4 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 8843 0 124 0 232 8 0 0 20 0 20 0 79621196 19566772224 46158 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 46158 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=11448 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 46158 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=38760 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 46158 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184632 KiB

[startup+6.30085 s]
/proc/loadavg: 0.92 0.29 0.15 6/319 462689
/proc/meminfo: memFree=124249560/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=263788 CPUtime=10.12 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 22893 0 172 0 993 19 0 0 20 0 20 0 79621175 19566772224 65947 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 65947 5897 1 0 556662 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=11448 CPUtime=5.5 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 9085 0 124 0 539 11 0 0 20 0 20 0 79621196 19566772224 65947 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 65947 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=38760 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 65947 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=169456 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 65947 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 10.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 263788 KiB

[startup+12.7008 s]
/proc/loadavg: 1.33 0.38 0.18 8/323 462695
/proc/meminfo: memFree=122048492/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=477784 CPUtime=17.59 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 29754 0 172 0 1731 28 0 0 20 0 20 0 79621175 19566772224 119446 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 119446 5913 1 0 556662 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=0 CPUtime=11.59 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 10473 0 124 0 1142 17 0 0 20 0 20 0 79621196 19566772224 119446 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=466512 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 119446 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=38760 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 119446 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=390788 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 119446 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 477784 KiB

[startup+25.5005 s]
/proc/loadavg: 2.51 0.69 0.28 5/323 462697
/proc/meminfo: memFree=120474352/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=1334220 CPUtime=31 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 36847 0 172 0 3047 53 0 0 20 0 20 0 79621175 19566772224 333555 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 333555 5913 1 0 813585 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=0 CPUtime=23.88 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 11960 0 124 0 2352 36 0 0 20 0 20 0 79621196 19566772224 333555 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=1321932 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 333555 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=1319856 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 333555 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 333555 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1334220 KiB

[startup+51.1137 s]
/proc/loadavg: 3.14 0.99 0.39 5/324 462701
/proc/meminfo: memFree=117993776/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=2520744 CPUtime=56.63 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 41402 0 172 0 5572 91 0 0 20 0 20 0 79621175 19566772224 630186 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 630186 5913 1 0 1093502 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=2490024 CPUtime=48.56 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 14471 0 124 0 4785 71 0 0 20 0 20 0 79621196 19566772224 630186 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 64 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=2490024 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 630186 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=2490024 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 630186 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=-8527114452164256444 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 630186 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 56.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2520744 KiB

[startup+102.301 s]
/proc/loadavg: 3.86 1.52 0.60 7/324 462711
/proc/meminfo: memFree=115213860/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=3143028 CPUtime=109.03 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 60160 0 172 0 10771 132 0 0 20 0 20 0 79621175 19566772224 785757 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 785757 5914 1 0 1095144 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=38760 CPUtime=98.32 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 20581 0 124 0 9732 100 0 0 20 0 20 0 79621196 19566772224 785757 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 100 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=5528 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 785757 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 114 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 785757 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=1784 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 785757 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0

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

/proc/meminfo: memFree=69756264/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=2498584 CPUtime=3231.31 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 382640 0 172 0 321268 1863 0 0 20 0 20 0 79621175 19566772224 624646 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 624646 5928 1 0 636829 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=1848376 CPUtime=3062.04 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 127751 0 124 0 304638 1566 0 0 20 0 20 0 79621196 19566772224 624646 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2181 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=1848376 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 624646 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=11448 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 1927 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 624646 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=2098352 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 624646 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 3231.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2498584 KiB

[startup+3222.3 s]
/proc/loadavg: 4.56 4.49 4.28 6/328 464486
/proc/meminfo: memFree=68962504/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=2681828 CPUtime=3293.58 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 384038 0 172 0 327458 1900 0 0 20 0 20 0 79621175 19566772224 670457 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 670457 5928 1 0 682765 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=1848376 CPUtime=3120.04 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 128212 0 124 0 310406 1598 0 0 20 0 20 0 79621196 19566772224 670457 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2222 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=1848376 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 670457 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=2498584 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 1958 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 670457 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=2276 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 670457 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 3293.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2681828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.35 4.45 4.27 5/327 464497
/proc/meminfo: memFree=68645600/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=2381872 CPUtime=3355.2 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 385703 0 172 0 333588 1932 0 0 20 0 20 0 79621175 19566772224 595468 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 595468 5928 1 0 607597 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=11448 CPUtime=3178.35 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 129771 0 124 0 316210 1625 0 0 20 0 20 0 79621196 19566772224 595468 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2260 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=2240 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 595468 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=2381872 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 1958 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 595468 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=2381872 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 595468 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 3355.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2381872 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.42 4.28 6/326 464508
/proc/meminfo: memFree=68098896/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=2265240 CPUtime=3419.18 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 396818 0 172 0 339943 1975 0 0 20 0 20 0 79621175 19566772224 566310 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 566310 5928 1 0 578365 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=25956 CPUtime=3236.16 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 132093 0 124 0 321954 1662 0 0 20 0 20 0 79621196 19566772224 566310 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2293 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=38760 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 566310 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=2657032 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 1989 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 566310 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=2265240 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 566310 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 3419.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2265240 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.40 4.28 5/326 464519
/proc/meminfo: memFree=67843868/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=2015084 CPUtime=3481.43 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 397634 0 172 0 346140 2003 0 0 20 0 20 0 79621175 19566772224 503771 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 503771 5928 1 0 515725 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=38760 CPUtime=3294.25 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 132555 0 124 0 327740 1685 0 0 20 0 20 0 79621196 19566772224 503771 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2321 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=5528 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 503771 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=11448 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 1989 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 503771 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=2015084 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 503771 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 3481.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2015084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.34 4.26 5/326 464529
/proc/meminfo: memFree=67417620/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=1848052 CPUtime=3542.98 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 405407 0 172 0 352258 2040 0 0 20 0 20 0 79621175 19566772224 462013 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 462013 5928 1 0 473965 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=38760 CPUtime=3352.2 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 134435 0 124 0 333505 1715 0 0 20 0 20 0 79621196 19566772224 462013 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2380 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=5528 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 462013 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=11448 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 2077 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 462013 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=1749748 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 462013 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 3542.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1848052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3514.8 s]
/proc/loadavg: 4.28 4.35 4.27 5/326 464539
/proc/meminfo: memFree=66726472/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19108176 memory=2145800 CPUtime=3600.09 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 410274 0 172 0 357930 2079 0 0 20 0 20 0 79621175 19566772224 536450 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4777044 536450 5928 1 0 657709 0
[pid=462583/tid=462592] ppid=462579 vsize=19108176 memory=1765164 CPUtime=3402.58 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 136508 0 124 0 338514 1744 0 0 20 0 20 0 79621196 19566772224 536450 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2422 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19108176 memory=4651424 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 79621231 19566772224 536450 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19108176 memory=2728 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 2077 0 0 0 0 0 0 0 20 0 20 0 79621232 19566772224 536450 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462686] ppid=462579 vsize=19108176 memory=2716 CPUtime=0 cores=1,3
/proc/462583/task/462686/stat : 462686 (Timer-0) S 462579 462583 462536 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 79621344 19566772224 536450 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2145800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.67 s, system=20.8169 s

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

[startup+3515 s]*
/proc/loadavg: 4.28 4.35 4.27 4/327 464542
/proc/meminfo: memFree=66573584/131655788 swapFree=131071996/131071996
[pid=462583] ppid=462579 vsize=19307868 memory=2158684 CPUtime=3600.45 cores=1,3
/proc/462583/stat : 462583 (java) S 462579 462583 462536 0 -1 1077936128 411702 0 172 0 357966 2079 0 0 20 0 21 0 79621175 19771256832 539671 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 0 0 16800975 0 0 0 17 1 0 0 21 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
/proc/462583/statm: 4826967 539671 5928 1 0 658648 0
[pid=462583/tid=462592] ppid=462579 vsize=19307868 memory=-8600296846597399228 CPUtime=3402.78 cores=1,3
/proc/462583/task/462592/stat : 462592 (java) R 462579 462583 462536 0 -1 4194368 136671 0 124 0 338533 1745 0 0 20 0 21 0 79621196 19771256832 539695 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2423 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462610] ppid=462579 vsize=19307868 memory=-5155633680935826750 CPUtime=0 cores=1,3
/proc/462583/task/462610/stat : 462610 (Finalizer) S 462579 462583 462536 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 79621231 19771256832 539695 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=462623] ppid=462579 vsize=19307868 memory=3690193252570759253 CPUtime=0 cores=1,3
/proc/462583/task/462623/stat : 462623 (Common-Cleaner) S 462579 462583 462536 0 -1 1077936192 2077 0 0 0 0 0 0 0 20 0 21 0 79621232 19771256832 539695 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
[pid=462583/tid=464541] ppid=462579 vsize=19307868 memory=3472328296227567233 CPUtime=0.08 cores=1,3
/proc/462583/task/464541/stat : 464541 (Thread-0) R 462579 462583 462536 0 -1 4194368 223 0 0 0 8 0 0 0 20 0 21 0 79972658 19771256832 539695 134679101440 94249838731264 94249838734960 140723397684736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94249838742776 94249838743568 94249870082048 140723397686186 140723397686368 140723397686368 140723397693384 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2158684 KiB

Child status: 143

Real time (s): 3515.07
CPU time (s): 3600.49
CPU user time (s): 3579.67
CPU system time (s): 20.8169
CPU usage (%): 102.43
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4336932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.67
system time used= 20.8169
maximum resident set size= 4336932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411779
page faults= 173
swaps= 0
block input operations= 32416
block output operations= 30529656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135382
involuntary context switches= 17029


# summary of solver processes directly reported to runsolver:
#   pid: 462583
#   total CPU time (s): 3600.49
#   total CPU user time (s): 3579.67
#   total CPU system time (s): 20.8169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1711 second user time and 37.0675 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-08-08 17:17:21
IDJOB=4440235
IDBENCH=146780
IDSOLVER=3079
FILE ID=nodeC005/4440235-1723130241
RUNJOBID= nodeC005-1723130240-462548
SLURM_JOB_ID= 8266876
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440235-1723130241/watcher-4440235-1723130241 -o /tmp/evaluation-result-4440235-1723130241/solver-4440235-1723130241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1723130240-462548 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440235-1723130241 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440235-1723130241.opb

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

MD5SUM BENCH= 3aed2088dafec39bc246433683012fc1
RANDOM SEED=499348665

nodeC005.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		: 1197.324
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	: 6983.72
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		: 1197.227
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.37
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		: 1309.316
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	: 6983.72
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.215
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.37
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		: 1309.582
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	: 6983.72
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		: 1198.563
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.37
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.229
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.72
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.247
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128915664 kB
MemAvailable:   129945908 kB
Buffers:          382104 kB
Cached:          1484208 kB
SwapCached:            0 kB
Active:           787036 kB
Inactive:        1446008 kB
Active(anon):       1408 kB
Inactive(anon):   403352 kB
Active(file):     785628 kB
Inactive(file):  1042656 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            164776 kB
Writeback:             0 kB
AnonPages:        366832 kB
Mapped:           101340 kB
Shmem:             37704 kB
KReclaimable:      84316 kB
Slab:             176056 kB
SReclaimable:      84316 kB
SUnreclaim:        91740 kB
KernelStack:        3664 kB
PageTables:         9484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     642300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29888 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      250696 kB
DirectMap2M:    22722560 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723556 MiB
End job on nodeC005 at 2024-08-08 18:15:57