Trace number 4457830

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)-5737 3600.24 3599.14

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb
MD5SUM2490394f4bcefb8d76998a0fa8c11f7f
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 benchmark-5737
Best CPU time to get the best result obtained on this benchmark0.0072
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint250
Maximum length of a constraint250
Number of terms in the objective function 250
Biggest coefficient in the objective function 1278
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 180531
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1278
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 180531
Number of bits of the biggest sum of numbers18
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.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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	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.11	--- Begin Solver configuration ---
0.13/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.11	Learn all clauses as in MiniSAT
0.13/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	No reason simplification
0.13/0.11	Glucose 2.1 dynamic restart strategy
0.13/0.11	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.11	timeout=2147483s
0.13/0.11	DB Simplification allowed=false
0.13/0.11	Listener: none
0.13/0.11	--- End Solver configuration ---
0.13/0.11	c Pseudo Boolean Optimization by upper bound
0.13/0.11	c --- Begin Solver configuration ---
0.13/0.11	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.11	c Learn all clauses as in MiniSAT
0.13/0.11	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	c No reason simplification
0.13/0.11	c Glucose 2.1 dynamic restart strategy
0.13/0.11	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.11	c timeout=2147483s
0.13/0.11	c DB Simplification allowed=false
0.13/0.11	c Listener: none
0.13/0.11	c --- End Solver configuration ---
0.13/0.11	c solving HOME/instance-4457830-1721868686.opb
0.13/0.11	c reading problem ... 
0.13/0.11	c  objective function found
0.13/0.13	c ... done. Wall clock time 0.013s.
0.13/0.13	c declared #vars     250
0.13/0.13	c #constraints  1
0.13/0.13	c constraints type 
0.13/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.13/0.13	c 1 constraints processed.
0.13/0.14	c objective function length is 250 literals
0.13/0.15	c SATISFIABLE
0.13/0.15	c OPTIMIZING...
0.13/0.15	c Got one! Elapsed wall clock time (in seconds):0.03
0.13/0.15	o -2036
0.13/0.16	c Got one! Elapsed wall clock time (in seconds):0.035
0.13/0.16	o -2213
0.13/0.16	c Got one! Elapsed wall clock time (in seconds):0.038
0.13/0.16	o -2219
0.13/0.16	c Got one! Elapsed wall clock time (in seconds):0.04
0.13/0.16	o -2428
0.13/0.16	c Got one! Elapsed wall clock time (in seconds):0.042
0.13/0.16	o -2433
0.13/0.16	c Got one! Elapsed wall clock time (in seconds):0.044
0.13/0.16	o -2436
0.13/0.17	c Got one! Elapsed wall clock time (in seconds):0.053
0.13/0.17	o -2471
0.13/0.17	c Got one! Elapsed wall clock time (in seconds):0.055
0.13/0.17	o -2636
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.068
0.13/0.18	o -2727
0.13/0.20	c Got one! Elapsed wall clock time (in seconds):0.084
0.13/0.20	o -2733
0.13/0.21	c Got one! Elapsed wall clock time (in seconds):0.087
0.13/0.21	o -2953
0.13/0.21	c Got one! Elapsed wall clock time (in seconds):0.089
0.13/0.21	o -2954
0.13/0.21	c Got one! Elapsed wall clock time (in seconds):0.091
0.13/0.21	o -2967
0.13/0.21	c Got one! Elapsed wall clock time (in seconds):0.093
0.13/0.21	o -2972
0.36/0.21	c Got one! Elapsed wall clock time (in seconds):0.096
0.36/0.21	o -2977
0.36/0.21	c Got one! Elapsed wall clock time (in seconds):0.098
0.36/0.21	o -3014
0.36/0.22	c Got one! Elapsed wall clock time (in seconds):0.103
0.36/0.22	o -3211
0.36/0.22	c Got one! Elapsed wall clock time (in seconds):0.106
0.36/0.22	o -3235
0.36/0.23	c Got one! Elapsed wall clock time (in seconds):0.11
0.36/0.23	o -3474
0.36/0.28	c Got one! Elapsed wall clock time (in seconds):0.163
0.36/0.28	o -3495
0.36/0.28	c Got one! Elapsed wall clock time (in seconds):0.167
0.36/0.28	o -3502
0.36/0.28	c Got one! Elapsed wall clock time (in seconds):0.169
0.36/0.28	o -3507
0.36/0.29	c Got one! Elapsed wall clock time (in seconds):0.173
0.36/0.29	o -3740
0.36/0.29	c Got one! Elapsed wall clock time (in seconds):0.178
0.36/0.29	o -3746
0.36/0.30	c Got one! Elapsed wall clock time (in seconds):0.187
0.36/0.31	o -3762
0.36/0.31	c Got one! Elapsed wall clock time (in seconds):0.189
0.36/0.31	o -3767
0.36/0.31	c Got one! Elapsed wall clock time (in seconds):0.192
0.36/0.31	o -3768
0.36/0.31	c Got one! Elapsed wall clock time (in seconds):0.197
0.36/0.31	o -4003
0.56/0.32	c Got one! Elapsed wall clock time (in seconds):0.2
0.56/0.32	o -4008
0.56/0.32	c Got one! Elapsed wall clock time (in seconds):0.202
0.56/0.32	o -4009
0.56/0.32	c Got one! Elapsed wall clock time (in seconds):0.207
0.56/0.32	o -4119
0.56/0.32	c Got one! Elapsed wall clock time (in seconds):0.211
0.56/0.32	o -4350
0.56/0.33	c Got one! Elapsed wall clock time (in seconds):0.215
0.56/0.33	o -4435
0.56/0.33	c Got one! Elapsed wall clock time (in seconds):0.219
0.56/0.33	o -4660
0.56/0.34	c Got one! Elapsed wall clock time (in seconds):0.222
0.56/0.34	o -4745
0.56/0.34	c Got one! Elapsed wall clock time (in seconds):0.226
0.56/0.34	o -4746
0.56/0.34	c Got one! Elapsed wall clock time (in seconds):0.229
0.56/0.34	o -5003
0.56/0.35	c Got one! Elapsed wall clock time (in seconds):0.233
0.56/0.35	o -5098
0.56/0.35	c Got one! Elapsed wall clock time (in seconds):0.236
0.56/0.35	o -5126
0.56/0.40	c Got one! Elapsed wall clock time (in seconds):0.284
0.56/0.40	o -5128
0.73/0.42	c Got one! Elapsed wall clock time (in seconds):0.289
0.73/0.42	o -5140
0.73/0.42	c Got one! Elapsed wall clock time (in seconds):0.294
0.73/0.42	o -5359
0.73/0.42	c Got one! Elapsed wall clock time (in seconds):0.299
0.73/0.42	o -5363
1.30/0.79	c cleaning 3272 clauses out of 6548 with flag 10334/6585
1.98/1.11	c cleaning 4637 clauses out of 9273 with flag 22788/12582
1.98/1.16	c Got one! Elapsed wall clock time (in seconds):1.044
1.98/1.16	o -5427
1.98/1.17	c Got one! Elapsed wall clock time (in seconds):1.062
1.98/1.17	o -5436
1.98/1.18	c Got one! Elapsed wall clock time (in seconds):1.066
1.98/1.18	o -5634
2.31/1.42	c cleaning 5423 clauses out of 10846 with flag 10242/18795
2.70/1.73	c cleaning 5712 clauses out of 11424 with flag 22244/24796
3.27/2.14	c cleaning 6359 clauses out of 12720 with flag 36565/31804
3.50/2.33	c Got one! Elapsed wall clock time (in seconds):2.22
3.50/2.33	o -5735
3.50/2.39	c cleaning 5687 clauses out of 11373 with flag 2048/36817
3.82/2.64	c cleaning 5840 clauses out of 11685 with flag 14525/42816
4.12/2.98	c cleaning 6420 clauses out of 12843 with flag 28760/49815
4.93/3.51	c cleaning 7209 clauses out of 14424 with flag 44962/57816
5.39/3.96	c cleaning 8106 clauses out of 16215 with flag 63072/66816
6.05/4.49	c cleaning 9053 clauses out of 18108 with flag 83071/76815
7.07/5.21	c cleaning 10028 clauses out of 20057 with flag 105478/87817
7.77/5.94	c cleaning 11016 clauses out of 22036 with flag 129865/99824
8.57/6.73	c cleaning 12004 clauses out of 24011 with flag 155967/112815
9.52/7.62	c cleaning 13004 clauses out of 26010 with flag 184141/126818
10.44/8.55	c cleaning 13999 clauses out of 28004 with flag 214844/141816
11.61/9.67	c cleaning 15001 clauses out of 30004 with flag 248166/157815
12.71/10.76	c cleaning 16001 clauses out of 32003 with flag 283565/174815
14.17/12.12	c cleaning 17000 clauses out of 34002 with flag 320249/192816
15.46/13.49	c cleaning 17990 clauses out of 36001 with flag 358425/211815
17.03/14.91	c cleaning 19004 clauses out of 38011 with flag 399489/231815
18.33/16.26	c cleaning 20004 clauses out of 40007 with flag 442566/252816
19.98/17.82	c cleaning 21000 clauses out of 42006 with flag 487049/274819
22.03/19.87	c cleaning 22000 clauses out of 44003 with flag 534716/297816
24.03/21.86	c cleaning 23001 clauses out of 46002 with flag 584311/321815
25.87/23.61	c cleaning 23996 clauses out of 48001 with flag 635549/346816
27.87/25.60	c cleaning 25002 clauses out of 50005 with flag 688379/372816
30.00/27.73	c cleaning 25987 clauses out of 52002 with flag 743933/399815
32.24/29.96	c cleaning 27007 clauses out of 54020 with flag 801495/427820
34.61/32.38	c cleaning 28004 clauses out of 56009 with flag 861137/456816
37.04/34.77	c cleaning 29001 clauses out of 58003 with flag 922693/486815
39.65/37.30	c cleaning 29998 clauses out of 60002 with flag 986598/517815
42.60/40.23	c cleaning 30998 clauses out of 62009 with flag 1051275/549820
45.73/43.33	c cleaning 32003 clauses out of 64007 with flag 1119445/582817
49.00/46.65	c cleaning 33001 clauses out of 66004 with flag 1188942/616817
52.61/50.25	c cleaning 34000 clauses out of 68001 with flag 1260283/651815
56.53/53.89	c cleaning 34997 clauses out of 70003 with flag 1333355/687817
60.29/57.68	c cleaning 35998 clauses out of 72004 with flag 1409314/724815
64.31/61.67	c cleaning 36999 clauses out of 74006 with flag 1489282/762815
68.65/65.92	c cleaning 38003 clauses out of 76007 with flag 1569227/801815
72.62/69.96	c cleaning 39004 clauses out of 78008 with flag 1651054/841819
76.73/74.08	c cleaning 39994 clauses out of 80000 with flag 1735034/882815
81.38/78.69	c cleaning 40992 clauses out of 82009 with flag 1822278/924818
85.93/83.27	c cleaning 42008 clauses out of 84015 with flag 1911658/967816
91.29/88.55	c cleaning 43007 clauses out of 86013 with flag 2002392/1011823
96.64/93.92	c cleaning 43994 clauses out of 87999 with flag 2096324/1056816
102.07/99.35	c cleaning 44999 clauses out of 90005 with flag 2191315/1102816
107.81/105.04	c cleaning 46001 clauses out of 92004 with flag 2288048/1149815
113.66/110.94	c cleaning 47002 clauses out of 94006 with flag 2386453/1197818
120.00/117.26	c cleaning 47998 clauses out of 96001 with flag 2487462/1246815
126.44/123.70	c cleaning 49002 clauses out of 98005 with flag 2590192/1296817
133.89/130.79	c cleaning 49995 clauses out of 100011 with flag 2695631/1347825
140.32/137.26	c cleaning 51003 clauses out of 102008 with flag 2801892/1399817
146.42/143.29	c cleaning 51998 clauses out of 104005 with flag 2911183/1452817
152.91/149.77	c cleaning 52997 clauses out of 106008 with flag 3023342/1506818
159.30/156.02	c cleaning 53994 clauses out of 108011 with flag 3137561/1561818
165.64/162.40	c cleaning 55002 clauses out of 110014 with flag 3254019/1617815
173.66/170.57	c cleaning 56003 clauses out of 112012 with flag 3372108/1674815
181.48/178.34	c cleaning 57006 clauses out of 114012 with flag 3492920/1732818
189.62/186.58	c cleaning 58003 clauses out of 116006 with flag 3614441/1791818
196.35/193.38	c cleaning 58991 clauses out of 118000 with flag 3739714/1851815
205.26/202.34	c cleaning 59996 clauses out of 120009 with flag 3866065/1912815
213.18/210.33	c cleaning 61004 clauses out of 122015 with flag 3994125/1974817
222.16/219.14	c cleaning 62002 clauses out of 124009 with flag 4123543/2037815
231.27/228.33	c cleaning 63002 clauses out of 126011 with flag 4256713/2101819
240.09/237.27	c cleaning 64002 clauses out of 128005 with flag 4391427/2166815
249.86/246.96	c cleaning 65003 clauses out of 130007 with flag 4528662/2232819
261.20/257.67	c cleaning 65992 clauses out of 132000 with flag 4666917/2299815
271.51/268.04	c cleaning 67003 clauses out of 134008 with flag 4807136/2367815
282.03/278.51	c cleaning 67999 clauses out of 136009 with flag 4951500/2436819
292.93/289.56	c cleaning 69000 clauses out of 138006 with flag 5096193/2506815
305.22/301.90	c cleaning 70001 clauses out of 140007 with flag 5242413/2577816
310.40/307.10	c Got one! Elapsed wall clock time (in seconds):306.985
310.40/307.10	o -5737
312.50/309.14	c cleaning 58265 clauses out of 116532 with flag 10439/2624343
313.29/309.93	c cleaning 32131 clauses out of 64264 with flag 22600/2630340
313.78/310.48	c cleaning 19559 clauses out of 39136 with flag 37187/2637343
314.28/310.96	c cleaning 13787 clauses out of 27580 with flag 53572/2645346
314.77/311.49	c cleaning 11389 clauses out of 22793 with flag 71844/2654346
315.27/311.99	c cleaning 10689 clauses out of 21399 with flag 92720/2664341
315.86/312.57	c cleaning 10854 clauses out of 21710 with flag 115029/2675341
316.55/313.20	c cleaning 11423 clauses out of 22855 with flag 139876/2687341
317.25/313.95	c cleaning 12215 clauses out of 24431 with flag 165996/2700340
318.04/314.75	c cleaning 13105 clauses out of 26215 with flag 194165/2714339
318.93/315.67	c cleaning 14056 clauses out of 28111 with flag 224633/2729340
319.95/316.67	c cleaning 15014 clauses out of 30061 with flag 257560/2745346
321.14/317.86	c cleaning 16020 clauses out of 32040 with flag 292628/2762339
322.33/319.07	c cleaning 17011 clauses out of 34021 with flag 329660/2780340
323.70/320.39	c cleaning 18005 clauses out of 36009 with flag 369182/2799339
324.99/321.67	c cleaning 19000 clauses out of 38004 with flag 410418/2819339
326.49/323.18	c cleaning 20005 clauses out of 40011 with flag 453607/2840346
328.18/324.85	c cleaning 21007 clauses out of 42014 with flag 499969/2862354
329.79/326.45	c cleaning 22001 clauses out of 44009 with flag 547866/2885356
331.58/328.24	c cleaning 22996 clauses out of 45994 with flag 597776/2909342
333.48/330.15	c cleaning 23995 clauses out of 47996 with flag 650079/2934341
335.57/332.27	c cleaning 25001 clauses out of 50004 with flag 704079/2960344
337.56/334.25	c cleaning 25999 clauses out of 51998 with flag 760727/2987339
340.14/336.76	c cleaning 26993 clauses out of 53999 with flag 820709/3015339
342.94/339.53	c cleaning 28003 clauses out of 56009 with flag 880212/3044342
345.44/342.09	c cleaning 28994 clauses out of 58005 with flag 941132/3074341
348.33/344.91	c cleaning 30009 clauses out of 60019 with flag 1004508/3105349
351.12/347.70	c cleaning 31000 clauses out of 62000 with flag 1070685/3137340
353.91/350.56	c cleaning 31990 clauses out of 64002 with flag 1139055/3170342
356.90/353.51	c cleaning 33003 clauses out of 66011 with flag 1208916/3204341
360.00/356.68	c cleaning 34001 clauses out of 68009 with flag 1281957/3239342
363.79/360.32	c cleaning 35003 clauses out of 70006 with flag 1357727/3275340
367.38/363.92	c cleaning 36000 clauses out of 72002 with flag 1433303/3312339
370.87/367.45	c cleaning 36996 clauses out of 74012 with flag 1512103/3350349
374.76/371.31	c cleaning 37996 clauses out of 76006 with flag 1592632/3389339
378.65/375.27	c cleaning 39005 clauses out of 78011 with flag 1675332/3429340
383.44/380.08	c cleaning 40000 clauses out of 80004 with flag 1761977/3470339
387.86/384.36	c cleaning 41000 clauses out of 82006 with flag 1848803/3512341
392.65/389.19	c cleaning 42004 clauses out of 84009 with flag 1937904/3555344
397.03/393.52	c cleaning 42990 clauses out of 86001 with flag 2028861/3599340
401.52/398.05	c cleaning 44007 clauses out of 88020 with flag 2123277/3644349
406.20/402.79	c cleaning 44997 clauses out of 90003 with flag 2220872/3690339
411.34/407.82	c cleaning 45993 clauses out of 92005 with flag 2320615/3737340
417.21/413.62	c cleaning 47006 clauses out of 94020 with flag 2419404/3785348
422.80/419.28	c cleaning 48003 clauses out of 96008 with flag 2521273/3834342
428.08/424.58	c cleaning 49001 clauses out of 98007 with flag 2625834/3884344
433.47/429.97	c cleaning 49990 clauses out of 100002 with flag 2732957/3935340
440.24/436.52	c cleaning 50995 clauses out of 102011 with flag 2841375/3987339
447.01/443.31	c cleaning 52004 clauses out of 104016 with flag 2951641/4040339
453.10/449.49	c cleaning 53005 clauses out of 106012 with flag 3066369/4094339
460.79/457.15	c cleaning 54003 clauses out of 108009 with flag 3179682/4149341
468.29/464.21	c cleaning 55000 clauses out of 110005 with flag 3294816/4205340
475.73/471.77	c cleaning 56002 clauses out of 112006 with flag 3412072/4262342
483.46/479.54	c cleaning 56995 clauses out of 114000 with flag 3531319/4320339
491.71/487.81	c cleaning 58000 clauses out of 116006 with flag 3654576/4379340
500.54/496.79	c cleaning 58996 clauses out of 118005 with flag 3779679/4439339
509.05/505.32	c cleaning 60002 clauses out of 120013 with flag 3908585/4500343
518.28/514.65	c cleaning 61005 clauses out of 122011 with flag 4039025/4562343
526.79/523.22	c cleaning 61997 clauses out of 124002 with flag 4168868/4625339
536.89/533.27	c cleaning 63003 clauses out of 126008 with flag 4301769/4689343
545.95/542.35	c cleaning 63994 clauses out of 128001 with flag 4438742/4754339
555.23/551.65	c cleaning 64996 clauses out of 130007 with flag 4577149/4820339
565.20/561.63	c cleaning 66001 clauses out of 132012 with flag 4717071/4887340
575.18/571.68	c cleaning 67008 clauses out of 134018 with flag 4858579/4955347
584.01/580.39	c cleaning 67997 clauses out of 136003 with flag 5002745/5024340
595.38/591.71	c cleaning 68999 clauses out of 138007 with flag 5149085/5094341
606.15/602.59	c cleaning 69998 clauses out of 140006 with flag 5294842/5165339
618.23/614.63	c cleaning 71005 clauses out of 142011 with flag 5445686/5237342
628.54/624.79	c cleaning 72001 clauses out of 144015 with flag 5600519/5310351
640.24/636.51	c cleaning 73001 clauses out of 146004 with flag 5755794/5384342
652.72/649.19	c cleaning 73997 clauses out of 148000 with flag 5913424/5459340
665.51/661.84	c cleaning 75000 clauses out of 150003 with flag 6071575/5535340
679.16/675.57	c cleaning 75983 clauses out of 152003 with flag 6230830/5612341
692.32/688.73	c cleaning 77006 clauses out of 154018 with flag 6395959/5690339
703.14/699.52	c cleaning 78005 clauses out of 156013 with flag 6565678/5769341
717.81/714.34	c cleaning 79003 clauses out of 158006 with flag 6730662/5849339
731.59/728.29	c cleaning 79999 clauses out of 160006 with flag 6899849/5930342
745.55/741.91	c cleaning 81003 clauses out of 162005 with flag 7075492/6012340
759.71/756.29	c cleaning 82003 clauses out of 164005 with flag 7252190/6095343
774.08/770.70	c cleaning 82997 clauses out of 165998 with flag 7430014/6179339
788.87/785.42	c cleaning 83996 clauses out of 168002 with flag 7610497/6264340
804.94/801.56	c cleaning 85000 clauses out of 170006 with flag 7792858/6350340
819.50/816.19	c cleaning 86003 clauses out of 172007 with flag 7976993/6437341
834.73/831.37	c cleaning 87000 clauses out of 174006 with flag 8161447/6525343
851.98/848.72	c cleaning 87997 clauses out of 176003 with flag 8346324/6614340
871.10/868.09	c cleaning 89002 clauses out of 178006 with flag 8531624/6704340
887.65/884.49	c cleaning 90000 clauses out of 180007 with flag 8729770/6795343
904.01/900.89	c cleaning 90995 clauses out of 182004 with flag 8926593/6887340
922.26/919.14	c cleaning 91995 clauses out of 184008 with flag 9121665/6980339
941.48/938.20	c cleaning 93003 clauses out of 186013 with flag 9319750/7074339
961.17/957.89	c cleaning 94001 clauses out of 188011 with flag 9523345/7169340
980.82/977.57	c cleaning 95005 clauses out of 190011 with flag 9726569/7265341
1002.35/998.45	c cleaning 96002 clauses out of 192008 with flag 9932853/7362343
1023.04/1019.10	c cleaning 96998 clauses out of 194002 with flag 10137929/7460339
1042.30/1038.43	c cleaning 98001 clauses out of 196004 with flag 10349146/7559339
1061.49/1057.69	c cleaning 98999 clauses out of 198003 with flag 10564730/7659339
1083.34/1079.50	c cleaning 100000 clauses out of 200007 with flag 10777360/7760342
1105.40/1101.45	c cleaning 101001 clauses out of 202004 with flag 10991291/7862339
1127.30/1123.27	c cleaning 101995 clauses out of 204005 with flag 11210460/7965341
1148.54/1144.54	c cleaning 102995 clauses out of 206008 with flag 11434827/8069339
1169.77/1165.74	c cleaning 104007 clauses out of 208014 with flag 11656319/8174340
1195.29/1191.15	c cleaning 105006 clauses out of 210012 with flag 11882263/8280345
1217.73/1213.67	c cleaning 105991 clauses out of 212000 with flag 12107632/8387339
1241.17/1236.60	c cleaning 107003 clauses out of 214009 with flag 12334231/8495339
1265.69/1261.13	c cleaning 107989 clauses out of 216006 with flag 12565194/8604339
1292.27/1287.65	c cleaning 108998 clauses out of 218019 with flag 12796191/8714341
1316.60/1312.18	c cleaning 110009 clauses out of 220020 with flag 13031512/8825340
1344.27/1339.83	c cleaning 111003 clauses out of 222011 with flag 13267812/8937340
1371.62/1367.29	c cleaning 111984 clauses out of 224008 with flag 13505400/9050340
1399.48/1395.02	c cleaning 113008 clauses out of 226024 with flag 13743428/9164340
1429.06/1424.52	c cleaning 114005 clauses out of 228017 with flag 13989139/9279341
1454.82/1450.37	c cleaning 114996 clauses out of 230010 with flag 14230574/9395339
1486.04/1481.42	c cleaning 116005 clauses out of 232014 with flag 14479124/9512339
1519.05/1514.38	c cleaning 117003 clauses out of 234010 with flag 14727683/9630340
1545.98/1541.37	c cleaning 117992 clauses out of 236009 with flag 14978999/9749342
1578.48/1573.32	c cleaning 119003 clauses out of 238015 with flag 15233249/9869340
1609.44/1604.39	c cleaning 120005 clauses out of 240012 with flag 15492009/9990340
1642.81/1637.62	c cleaning 121003 clauses out of 242011 with flag 15753288/10112344
1673.04/1667.97	c cleaning 122002 clauses out of 244010 with flag 16019137/10235346
1705.87/1700.73	c cleaning 122985 clauses out of 246006 with flag 16282882/10359344
1742.29/1737.25	c cleaning 124012 clauses out of 248024 with flag 16546842/10484347
1774.25/1769.17	c cleaning 125001 clauses out of 250008 with flag 16818180/10610343
1810.60/1805.47	c cleaning 126001 clauses out of 252004 with flag 17088806/10737340
1843.71/1838.61	c cleaning 126993 clauses out of 254002 with flag 17366029/10865339
1879.65/1874.80	c cleaning 128001 clauses out of 256011 with flag 17639730/10994341
1919.36/1914.65	c cleaning 129002 clauses out of 258008 with flag 17915206/11124339
1953.79/1949.16	c cleaning 129999 clauses out of 260006 with flag 18195675/11255339
1990.40/1985.58	c cleaning 131002 clauses out of 262007 with flag 18475369/11387339
2027.92/2023.35	c cleaning 131996 clauses out of 264005 with flag 18759140/11520339
2072.60/2068.26	c cleaning 132994 clauses out of 266013 with flag 19042114/11654343
2112.82/2108.69	c cleaning 134000 clauses out of 268015 with flag 19325275/11789339
2150.31/2146.22	c cleaning 134988 clauses out of 270015 with flag 19615976/11925339
2191.99/2187.92	c cleaning 136014 clauses out of 272028 with flag 19913933/12062340
2235.91/2231.89	c cleaning 137005 clauses out of 274017 with flag 20207843/12200343
2276.35/2272.46	c cleaning 138004 clauses out of 276010 with flag 20504857/12339341
2317.14/2312.73	c cleaning 138996 clauses out of 278004 with flag 20805936/12479339
2359.08/2355.06	c cleaning 140001 clauses out of 280011 with flag 21107962/12620342
2405.30/2401.55	c cleaning 140997 clauses out of 282007 with flag 21409145/12762339
2448.02/2444.47	c cleaning 142005 clauses out of 284011 with flag 21717665/12905340
2492.71/2489.20	c cleaning 142998 clauses out of 286007 with flag 22029696/13049341
2542.62/2539.27	c cleaning 143997 clauses out of 288008 with flag 22332928/13194340
2587.64/2584.14	c cleaning 145002 clauses out of 290010 with flag 22647143/13340339
2631.90/2628.30	c cleaning 146002 clauses out of 292009 with flag 22970710/13487340
2679.20/2675.62	c cleaning 147002 clauses out of 294006 with flag 23291623/13635339
2732.92/2728.89	c cleaning 148000 clauses out of 296005 with flag 23608566/13784341
2782.37/2778.69	c cleaning 149001 clauses out of 298003 with flag 23929281/13934339
2832.73/2829.37	c cleaning 149998 clauses out of 300003 with flag 24254127/14085340
2889.94/2886.96	c cleaning 151002 clauses out of 302005 with flag 24580712/14237340
2944.79/2942.18	c cleaning 152002 clauses out of 304005 with flag 24904388/14390342
2995.77/2993.45	c cleaning 152998 clauses out of 306002 with flag 25232293/14544341
3049.88/3047.66	c cleaning 153996 clauses out of 308003 with flag 25569950/14699340
3103.10/3100.83	c cleaning 154992 clauses out of 310009 with flag 25906557/14855342
3156.10/3153.87	c cleaning 155999 clauses out of 312016 with flag 26240391/15012341
3209.19/3206.91	c cleaning 157010 clauses out of 314023 with flag 26578836/15170347
3258.40/3255.66	c cleaning 158000 clauses out of 316007 with flag 26922930/15329341
3311.34/3308.98	c cleaning 158998 clauses out of 318005 with flag 27265437/15489339
3365.45/3363.56	c cleaning 160001 clauses out of 320008 with flag 27609453/15650340
3423.40/3421.90	c cleaning 161003 clauses out of 322010 with flag 27955263/15812343
3483.59/3482.28	c cleaning 162000 clauses out of 324012 with flag 28300412/15975348
3538.53/3537.24	c cleaning 162999 clauses out of 326008 with flag 28649556/16139344
3600.00/3599.03	c starts		: 38655
3600.00/3599.03	c conflicts		: 16304341
3600.00/3599.03	c decisions		: 21728256
3600.00/3599.03	c propagations		: 147132223
3600.00/3599.03	c inspects		: 23217699956
3600.00/3599.03	c shortcuts		: 0
3600.00/3599.03	c learnt literals	: 64
3600.00/3599.03	c learnt binary clauses	: 24
3600.00/3599.03	c learnt ternary clauses	: 17
3600.00/3599.03	c learnt constraints	: 16304277
3600.00/3599.03	c ignored constraints	: 0
3600.00/3599.03	c root simplifications	: 0
3600.00/3599.03	c removed literals (reason simplification)	: 0
3600.00/3599.03	c reason swapping (by a shorter reason)	: 0
3600.00/3599.03	c Calls to reduceDB	: 233
3600.00/3599.03	c Number of update (reduction) of LBD	: 304305
3600.00/3599.03	c Imported unit clauses	: 0
3600.00/3599.03	c No decision after first conflict	: false
3600.00/3599.03	c number of reductions to clauses (during analyze)	: 0
3600.00/3599.03	c number of learned constraints concerned by reduction	: 0
3600.00/3599.03	c number of learning phase by resolution	: 0
3600.00/3599.03	c number of learning phase by cutting planes	: 0
3600.00/3599.03	c number of rounding to 1 operations	: 0
3600.00/3599.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3599.03	c number of reductions of the coefficients by power 2 	: 0
3600.00/3599.03	c number of right shift for reduction by power 2 	: 0
3600.00/3599.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3599.03	c number of ending skipping 	: 0
3600.00/3599.03	c number of internal skipping 	: 0
3600.00/3599.03	c number of derivation steps 	: 0
3600.00/3599.03	c number of skipped derivation steps 	: 0
3600.00/3599.03	c number of remaining unassigned 	: 0
3600.00/3599.03	c number of remaining assigned 	: 0
3600.00/3599.03	c number of falsified literals weakened from reason	: 0
3600.00/3599.03	c number of falsified literals weakened from conflict	: 0
3600.00/3599.03	c time for arithmetic operations	: 0
3600.00/3599.04	c minimum degree of deleted constraints	: null
3600.00/3599.04	c maximum degree of deleted constraints	: null
3600.00/3599.04	c number of deleted constraints	: 0
3600.00/3599.04	c speed (assignments/second)	: 40882.62199442385
3600.00/3599.04	c non guided choices	: 3
3600.20/3599.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 327982
3600.20/3599.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 24
3600.20/3599.11	s SATISFIABLE
3600.20/3599.11	c Found 48 solution(s)
3600.20/3599.11	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 
3600.20/3599.12	c objective function=-5737
3600.20/3599.12	c Total wall clock time (in seconds): 3599.005

Verifier Data 

OK	-5737

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457830-1721868686/watcher-4457830-1721868686 -o /tmp/evaluation-result-4457830-1721868686/solver-4457830-1721868686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266850 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4457830-1721868686.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=269228, runsolver pid=269225
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 4.90 4.66 4.65 5/330 269246
/proc/meminfo: memFree=93834320/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=18975048 memory=62860 CPUtime=0.13 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 7257 0 0 0 12 1 0 0 20 0 18 0 23392592 19430449152 15715 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4743762 15715 5594 1 0 549346 0
[pid=269228/tid=269230] ppid=269225 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 5770 0 0 0 7 1 0 0 20 0 18 0 23392593 19430449152 15715 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23392595 19430449152 15715 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=18975048 memory=13565998625714195 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 23392596 19430449152 15715 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62860 KiB

[startup+0.211171 s]*
/proc/loadavg: 4.90 4.66 4.65 6/331 269247
/proc/meminfo: memFree=93824988/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19041612 memory=72620 CPUtime=0.36 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 8925 0 0 0 34 2 0 0 20 0 19 0 23392592 19498610688 18155 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4760403 18155 5878 1 0 550671 0
[pid=269228/tid=269230] ppid=269225 vsize=19041612 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 6008 0 0 0 19 1 0 0 20 0 19 0 23392593 19498610688 18155 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19041612 memory=1574935 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23392595 19498610688 18155 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19041612 memory=14127849065940646 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23392596 19498610688 18155 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23392607 19498610688 18155 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72620 KiB

[startup+0.316337 s]*
/proc/loadavg: 4.90 4.66 4.65 6/331 269247
/proc/meminfo: memFree=93816804/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19041612 memory=80580 CPUtime=0.56 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 10427 0 0 0 54 2 0 0 20 0 19 0 23392592 19498610688 20145 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4760403 20145 5878 1 0 551558 0
[pid=269228/tid=269230] ppid=269225 vsize=19041612 memory=-8816755471669764796 CPUtime=0.3 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 6018 0 0 0 29 1 0 0 20 0 19 0 23392593 19498610688 20145 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23392595 19498610688 20145 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23392596 19498610688 20145 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23392607 19498610688 20145 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80580 KiB

[startup+0.700782 s]
/proc/loadavg: 4.90 4.66 4.65 6/331 269247
/proc/meminfo: memFree=93803432/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19041612 memory=110648 CPUtime=1.3 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 14736 0 0 0 127 3 0 0 20 0 19 0 23392592 19498610688 27662 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4760403 27662 5878 1 0 554873 0
[pid=269228/tid=269230] ppid=269225 vsize=19041612 memory=73996 CPUtime=0.68 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 6053 0 0 0 66 2 0 0 20 0 19 0 23392593 19498610688 27662 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19041612 memory=12992 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23392595 19498610688 27662 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19041612 memory=2336 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23392596 19498610688 27662 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19041612 memory=32404 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23392607 19498610688 27662 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110648 KiB

[startup+1.50029 s]
/proc/loadavg: 4.99 4.68 4.65 5/331 269249
/proc/meminfo: memFree=93769812/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19041612 memory=158516 CPUtime=2.5 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 18312 0 0 0 245 5 0 0 20 0 19 0 23392592 19498610688 39117 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4760403 39117 5878 1 0 554938 0
[pid=269228/tid=269230] ppid=269225 vsize=19041612 memory=12992 CPUtime=1.47 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 6666 0 0 0 144 3 0 0 20 0 19 0 23392593 19498610688 39629 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23392595 19498610688 39629 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19041612 memory=2336 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23392596 19498610688 39629 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19041612 memory=32404 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23392607 19498610688 39629 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158516 KiB

[startup+3.10878 s]
/proc/loadavg: 4.99 4.68 4.65 5/332 269250
/proc/meminfo: memFree=93693072/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=204156 CPUtime=4.41 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 20766 0 0 0 435 6 0 0 20 0 20 0 23392592 19566772224 51039 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 51039 5909 1 0 555233 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=0 CPUtime=3.04 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 7508 0 0 0 301 3 0 0 20 0 20 0 23392593 19566772224 51039 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=-8816755471669764796 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 51039 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 51039 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=2336 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 51039 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204156 KiB

[startup+6.30027 s]
/proc/loadavg: 5.23 4.73 4.67 5/332 269250
/proc/meminfo: memFree=93596476/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=300348 CPUtime=8.17 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 24191 0 0 0 808 9 0 0 20 0 20 0 23392592 19566772224 75087 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 75087 5909 1 0 555360 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=2336 CPUtime=6.12 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 7595 0 0 0 609 3 0 0 20 0 20 0 23392593 19566772224 75087 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 75087 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 75087 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 75087 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 300348 KiB

[startup+12.7003 s]
/proc/loadavg: 5.13 4.72 4.67 5/332 269251
/proc/meminfo: memFree=93359240/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=565496 CPUtime=14.75 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 27833 0 0 0 1461 14 0 0 20 0 20 0 23392592 19566772224 141374 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 141374 5909 1 0 661869 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=12992 CPUtime=12.31 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 8242 0 0 0 1227 4 0 0 20 0 20 0 23392593 19566772224 141374 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=427484 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 141374 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=73996 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 141374 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 141374 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 565496 KiB

[startup+25.5003 s]
/proc/loadavg: 4.96 4.70 4.66 5/332 269320
/proc/meminfo: memFree=95208496/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=914040 CPUtime=27.77 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 30661 0 0 0 2755 22 0 0 20 0 20 0 23392592 19566772224 228510 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 228510 5919 1 0 661879 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=914040 CPUtime=24.83 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 9125 0 0 0 2478 5 0 0 20 0 20 0 23392593 19566772224 228510 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 228510 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 228510 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=914040 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 228510 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 27.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 914040 KiB

[startup+51.1068 s]
/proc/loadavg: 4.64 4.65 4.64 5/332 269326
/proc/meminfo: memFree=94659480/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=1430404 CPUtime=53.51 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 34898 0 0 0 5318 33 0 0 20 0 20 0 23392592 19566772224 357601 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 357601 5919 1 0 661879 0

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

[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.27 5/331 271266
/proc/meminfo: memFree=113272984/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=3848780 CPUtime=3284.86 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 253205 0 0 0 328250 236 0 0 20 0 20 0 23392592 19566772224 962195 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 962195 5935 1 0 1043875 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=5508 CPUtime=3249.41 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 92879 0 0 0 324878 63 0 0 20 0 20 0 23392593 19566772224 962195 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=3666508 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 962195 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=3828300 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 2031 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 962195 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=3844684 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 962195 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 3284.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3848780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.26 5/331 271276
/proc/meminfo: memFree=113245620/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=3865172 CPUtime=3344.43 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 254530 0 0 0 334205 238 0 0 20 0 20 0 23392592 19566772224 966293 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 966293 5935 1 0 1043875 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=5508 CPUtime=3308.72 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 93984 0 0 0 330809 63 0 0 20 0 20 0 23392593 19566772224 966293 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=3865172 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 966293 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=3865172 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 2031 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 966293 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=3865172 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 966293 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 3344.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3865172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.26 5/332 271289
/proc/meminfo: memFree=112990616/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=3865292 CPUtime=3403.97 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 258072 0 0 0 340156 241 0 0 20 0 20 0 23392592 19566772224 966323 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 966323 5935 1 0 1043875 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=5508 CPUtime=3368.06 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 95398 0 0 0 336742 64 0 0 20 0 20 0 23392593 19566772224 966323 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=3865172 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 966323 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=3865172 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 2157 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 966323 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 966323 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 3403.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3865292 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.25 5/332 271300
/proc/meminfo: memFree=112715000/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=3865316 CPUtime=3463.74 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 261702 0 0 0 346131 243 0 0 20 0 20 0 23392592 19566772224 966329 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 966329 5935 1 0 1043875 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=5508 CPUtime=3427.39 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 96985 0 0 0 342675 64 0 0 20 0 20 0 23392593 19566772224 966329 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=3865172 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 966329 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=3865172 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 2247 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 966329 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=73996 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 966329 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 3463.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3865316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.24 5/334 271314
/proc/meminfo: memFree=112753256/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=3865340 CPUtime=3523.77 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 266053 0 0 0 352132 245 0 0 20 0 20 0 23392592 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 966335 5935 1 0 1043875 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=11624 CPUtime=3486.99 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 98873 0 0 0 348634 65 0 0 20 0 20 0 23392593 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=3865316 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=3865316 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 2376 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=3865316 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 3523.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3865340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.23 5/333 271326
/proc/meminfo: memFree=112752520/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=3865340 CPUtime=3583.22 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 268164 0 0 0 358075 247 0 0 20 0 20 0 23392592 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 966335 5935 1 0 1043875 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=3865316 CPUtime=3546.41 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 100751 0 0 0 354576 65 0 0 20 0 20 0 23392593 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=25672 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 2467 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 3583.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3865340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599 s]*
/proc/loadavg: 4.11 4.14 4.23 5/333 271327
/proc/meminfo: memFree=112748500/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19108176 memory=3865340 CPUtime=3600 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 270639 0 0 0 359751 249 0 0 20 0 20 0 23392592 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4777044 966335 5935 1 0 1043875 0
[pid=269228/tid=269230] ppid=269225 vsize=19108176 memory=-8673203267890291388 CPUtime=3562.75 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 100959 0 0 0 356210 65 0 0 20 0 20 0 23392593 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19108176 memory=-9054130157928629401 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23392595 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19108176 memory=33524 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 2467 0 0 0 0 0 0 0 20 0 20 0 23392596 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269247] ppid=269225 vsize=19108176 memory=36156 CPUtime=0 cores=0,2
/proc/269228/task/269247/stat : 269247 (Timer-0) S 269225 269228 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23392607 19566772224 966335 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3865340 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.73 s, system=2.509 s

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

[startup+3599.11 s]
/proc/loadavg: 4.11 4.14 4.23 5/333 271327
/proc/meminfo: memFree=112748500/131524600 swapFree=131056796/131071996
[pid=269228] ppid=269225 vsize=19307868 memory=3865964 CPUtime=3600.2 cores=0,2
/proc/269228/stat : 269228 (java) S 269225 269228 266840 0 -1 1077936128 273874 0 0 0 359771 249 0 0 20 0 21 0 23392592 19771256832 966491 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
/proc/269228/statm: 4826967 966491 5934 1 0 1044778 0
[pid=269228/tid=269230] ppid=269225 vsize=19307868 memory=7084560719917968241 CPUtime=3562.86 cores=0,2
/proc/269228/task/269230/stat : 269230 (java) R 269225 269228 266840 0 -1 4194368 100960 0 0 0 356221 65 0 0 20 0 21 0 23392593 19771256832 966491 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269239] ppid=269225 vsize=19307868 memory=140420130742753 CPUtime=0 cores=0,2
/proc/269228/task/269239/stat : 269239 (Finalizer) S 269225 269228 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23392595 19771256832 966491 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
[pid=269228/tid=269246] ppid=269225 vsize=19307868 memory=3865340 CPUtime=0 cores=0,2
/proc/269228/task/269246/stat : 269246 (Common-Cleaner) S 269225 269228 266840 0 -1 1077936192 2467 0 0 0 0 0 0 0 20 0 21 0 23392596 19771256832 966491 134679101440 94257930674176 94257930677872 140731829234064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94257930685688 94257930686480 94257949417472 140731829236743 140731829236833 140731829236833 140731829243848 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3865964 KiB

Child status: 143

Real time (s): 3599.14
CPU time (s): 3600.24
CPU user time (s): 3597.73
CPU system time (s): 2.509
CPU usage (%): 100.031
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3865964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.73
system time used= 2.509
maximum resident set size= 3866836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109473
involuntary context switches= 34695


# summary of solver processes directly reported to runsolver:
#   pid: 269228
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3597.73
#   total CPU system time (s): 2.509

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76041 second user time and 18.3597 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 02:51:26
IDJOB=4457830
IDBENCH=176932
IDSOLVER=3058
FILE ID=nodeC030/4457830-1721868686
RUNJOBID= nodeC030-1721865114-266850
SLURM_JOB_ID= 8089185
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457830-1721868686/watcher-4457830-1721868686 -o /tmp/evaluation-result-4457830-1721868686/solver-4457830-1721868686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266850 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4457830-1721868686.opb

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

MD5SUM BENCH= 2490394f4bcefb8d76998a0fa8c11f7f
RANDOM SEED=2101936449

nodeC030.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		: 3639.429
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.45
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		: 3674.347
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.46
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		: 3632.622
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.45
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		: 3600.093
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.46
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		: 3662.932
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.45
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		: 3671.573
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.46
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		: 3629.241
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        93876636 kB
MemAvailable:   100471236 kB
Buffers:          273148 kB
Cached:          7108732 kB
SwapCached:          300 kB
Active:          2566480 kB
Inactive:       34334160 kB
Active(anon):       2192 kB
Inactive(anon): 29569620 kB
Active(file):    2564288 kB
Inactive(file):  4764540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:              1156 kB
Writeback:             0 kB
AnonPages:      29516012 kB
Mapped:           129988 kB
Shmem:             53048 kB
KReclaimable:     211192 kB
Slab:             333656 kB
SReclaimable:     211192 kB
SUnreclaim:       122464 kB
KernelStack:        5040 kB
PageTables:        67928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   31493492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:  28983296 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-25 03:51:26