Trace number 4457850

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)-5737 3600.27 3623.58

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.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4457850-1721886948.opb
0.14/0.13	c reading problem ... 
0.18/0.32	c using VERIPB proof format
0.18/0.32	c  objective function found
0.18/0.33	c ... done. Wall clock time 0.203s.
0.18/0.33	c declared #vars     250
0.18/0.33	c #constraints  1
0.18/0.33	c constraints type 
0.18/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.18/0.33	c 1 constraints processed.
0.18/0.34	c objective function length is 250 literals
0.18/0.35	c SATISFIABLE
0.18/0.35	c OPTIMIZING...
0.18/0.35	c Got one! Elapsed wall clock time (in seconds):0.221
0.18/0.35	o -2036
0.18/0.36	c Got one! Elapsed wall clock time (in seconds):0.231
0.18/0.36	o -2213
0.18/0.36	c Got one! Elapsed wall clock time (in seconds):0.236
0.18/0.36	o -2219
0.18/0.37	c Got one! Elapsed wall clock time (in seconds):0.24
0.18/0.37	o -2428
0.18/0.37	c Got one! Elapsed wall clock time (in seconds):0.243
0.18/0.37	o -2433
0.18/0.38	c Got one! Elapsed wall clock time (in seconds):0.249
0.18/0.38	o -2436
0.18/0.39	c Got one! Elapsed wall clock time (in seconds):0.267
0.18/0.39	o -2471
0.18/0.40	c Got one! Elapsed wall clock time (in seconds):0.27
0.18/0.40	o -2636
0.35/0.43	c Got one! Elapsed wall clock time (in seconds):0.296
0.35/0.43	o -2732
0.35/0.45	c Got one! Elapsed wall clock time (in seconds):0.326
0.35/0.46	o -2766
0.35/0.46	c Got one! Elapsed wall clock time (in seconds):0.33
0.35/0.46	o -2953
0.35/0.47	c Got one! Elapsed wall clock time (in seconds):0.334
0.35/0.47	o -3014
0.35/0.47	c Got one! Elapsed wall clock time (in seconds):0.338
0.35/0.47	o -3027
0.35/0.48	c Got one! Elapsed wall clock time (in seconds):0.343
0.35/0.48	o -3032
0.35/0.48	c Got one! Elapsed wall clock time (in seconds):0.347
0.35/0.48	o -3037
0.35/0.49	c Got one! Elapsed wall clock time (in seconds):0.353
0.35/0.49	o -3271
0.35/0.49	c Got one! Elapsed wall clock time (in seconds):0.359
0.35/0.49	o -3272
0.35/0.49	c Got one! Elapsed wall clock time (in seconds):0.367
0.35/0.50	o -3278
0.35/0.50	c Got one! Elapsed wall clock time (in seconds):0.375
0.35/0.50	o -3284
0.55/0.55	c Got one! Elapsed wall clock time (in seconds):0.423
0.55/0.55	o -3286
0.74/0.66	c Got one! Elapsed wall clock time (in seconds):0.53
0.74/0.66	o -3438
0.74/0.67	c Got one! Elapsed wall clock time (in seconds):0.535
0.74/0.67	o -3481
0.74/0.67	c Got one! Elapsed wall clock time (in seconds):0.539
0.74/0.67	o -3542
0.74/0.68	c Got one! Elapsed wall clock time (in seconds):0.544
0.74/0.68	o -3761
0.74/0.68	c Got one! Elapsed wall clock time (in seconds):0.548
0.74/0.68	o -3763
0.74/0.69	c Got one! Elapsed wall clock time (in seconds):0.553
0.74/0.69	o -3764
0.74/0.69	c Got one! Elapsed wall clock time (in seconds):0.558
0.74/0.69	o -4008
0.74/0.69	c Got one! Elapsed wall clock time (in seconds):0.563
0.74/0.69	o -4039
0.92/0.70	c Got one! Elapsed wall clock time (in seconds):0.568
0.92/0.70	o -4136
0.92/0.70	c Got one! Elapsed wall clock time (in seconds):0.573
0.92/0.70	o -4231
0.92/0.71	c Got one! Elapsed wall clock time (in seconds):0.577
0.92/0.71	o -4393
0.92/0.71	c Got one! Elapsed wall clock time (in seconds):0.584
0.92/0.71	o -4523
0.92/0.72	c Got one! Elapsed wall clock time (in seconds):0.59
0.92/0.72	o -4781
0.92/0.73	c Got one! Elapsed wall clock time (in seconds):0.595
0.92/0.73	o -4825
0.92/0.74	c Got one! Elapsed wall clock time (in seconds):0.601
0.92/0.74	o -5017
0.92/0.74	c Got one! Elapsed wall clock time (in seconds):0.607
0.92/0.74	o -5028
0.92/0.75	c Got one! Elapsed wall clock time (in seconds):0.613
0.92/0.75	o -5074
0.92/0.75	c Got one! Elapsed wall clock time (in seconds):0.619
0.92/0.75	o -5337
0.92/0.76	c Got one! Elapsed wall clock time (in seconds):0.628
0.92/0.76	o -5419
0.92/0.78	c Got one! Elapsed wall clock time (in seconds):0.643
0.92/0.78	o -5509
1.13/0.83	c Got one! Elapsed wall clock time (in seconds):0.7
1.13/0.83	o -5525
1.13/0.84	c Got one! Elapsed wall clock time (in seconds):0.706
1.13/0.84	o -5533
1.13/0.87	c Got one! Elapsed wall clock time (in seconds):0.739
1.13/0.87	o -5534
1.13/0.88	c Got one! Elapsed wall clock time (in seconds):0.757
1.13/0.88	o -5537
3.11/1.83	c cleaning 3266 clauses out of 6531 with flag 10367/6568
4.44/2.69	c cleaning 4633 clauses out of 9266 with flag 22386/12569
5.54/12.52	c cleaning 5817 clauses out of 11634 with flag 36408/19570
6.74/13.67	c cleaning 6908 clauses out of 13816 with flag 52416/27569
8.32/15.05	c cleaning 7954 clauses out of 15908 with flag 70431/36569
9.94/16.66	c cleaning 8977 clauses out of 17953 with flag 90437/46568
11.77/18.49	c cleaning 9988 clauses out of 19976 with flag 112444/57568
13.80/20.45	c cleaning 10994 clauses out of 21987 with flag 136448/69567
16.33/22.78	c cleaning 11998 clauses out of 23995 with flag 162455/82569
18.71/25.09	c cleaning 12998 clauses out of 25995 with flag 190465/96567
21.54/27.89	c cleaning 13988 clauses out of 27997 with flag 220472/111567
25.15/31.34	c cleaning 15003 clauses out of 30009 with flag 252477/127567
29.01/35.09	c cleaning 16003 clauses out of 32006 with flag 286483/144567
32.69/38.73	c cleaning 17001 clauses out of 34003 with flag 322494/162567
35.90/41.86	c cleaning 17991 clauses out of 36002 with flag 360504/181567
39.21/45.52	c cleaning 18997 clauses out of 38013 with flag 400514/201569
43.21/49.43	c cleaning 20003 clauses out of 40014 with flag 442522/222567
44.40/50.68	c Got one! Elapsed wall clock time (in seconds):50.546
44.40/50.68	o -5630
45.03/51.29	c cleaning 16112 clauses out of 32248 with flag 10292/234805
45.89/52.10	c cleaning 11069 clauses out of 22140 with flag 22307/240809
46.84/52.98	c cleaning 9034 clauses out of 18070 with flag 36305/247808
48.09/54.10	c cleaning 8521 clauses out of 17041 with flag 52316/255813
49.68/55.78	c cleaning 8756 clauses out of 17512 with flag 70303/264805
52.05/58.04	c cleaning 9382 clauses out of 18764 with flag 90319/274813
53.83/59.84	c cleaning 10188 clauses out of 20375 with flag 112305/285806
55.73/61.72	c cleaning 11095 clauses out of 22189 with flag 136318/297808
57.69/63.68	c cleaning 12046 clauses out of 24092 with flag 162314/310806
59.79/65.71	c cleaning 13020 clauses out of 26045 with flag 190311/324805
61.98/68.00	c cleaning 14010 clauses out of 28025 with flag 220314/339805
64.75/70.69	c cleaning 15009 clauses out of 30017 with flag 252337/355807
66.34/72.24	c Got one! Elapsed wall clock time (in seconds):72.118
66.34/72.24	o -5636
67.44/73.06	c cleaning 15230 clauses out of 30473 with flag 10874/371273
68.44/73.72	c cleaning 10618 clauses out of 21244 with flag 23700/377274
69.45/74.49	c cleaning 8811 clauses out of 17630 with flag 38647/384279
70.61/76.00	c cleaning 8402 clauses out of 16814 with flag 54711/392274
71.87/77.24	c cleaning 8703 clauses out of 17411 with flag 72710/401273
73.27/78.68	c cleaning 9352 clauses out of 18708 with flag 92711/411273
74.91/80.10	c cleaning 10179 clauses out of 20357 with flag 114784/422274
76.22/81.48	c cleaning 11089 clauses out of 22177 with flag 139833/434273
78.22/83.45	c cleaning 12045 clauses out of 24089 with flag 165852/447274
80.36/85.59	c cleaning 13019 clauses out of 26043 with flag 193861/461273
83.16/88.31	c cleaning 14012 clauses out of 28024 with flag 223870/476273
85.43/90.56	c cleaning 14991 clauses out of 30014 with flag 255884/492275
87.53/92.68	c cleaning 16011 clauses out of 32022 with flag 291143/509274
90.89/95.94	c cleaning 17001 clauses out of 34013 with flag 327178/527276
94.17/99.29	c cleaning 17995 clauses out of 36010 with flag 365191/546274
97.26/102.26	c cleaning 19007 clauses out of 38014 with flag 405236/566273
100.16/105.18	c cleaning 20002 clauses out of 40007 with flag 447241/587273
103.71/109.23	c cleaning 21003 clauses out of 42005 with flag 491250/609273
108.99/114.46	c cleaning 22002 clauses out of 44003 with flag 537290/632274
112.99/118.44	c cleaning 23002 clauses out of 46004 with flag 585419/656277
116.71/122.10	c cleaning 23997 clauses out of 47998 with flag 635425/681273
121.44/126.61	c cleaning 25002 clauses out of 50004 with flag 687456/707276
126.79/131.82	c cleaning 25998 clauses out of 52000 with flag 741473/734274
132.17/137.68	c cleaning 27001 clauses out of 54003 with flag 797489/762275
139.39/144.73	c cleaning 27999 clauses out of 56000 with flag 855519/791273
139.71/145.08	c Got one! Elapsed wall clock time (in seconds):144.952
139.71/145.08	o -5637
140.30/145.51	c cleaning 16951 clauses out of 33908 with flag 6337/797182
140.80/146.09	c cleaning 11473 clauses out of 22957 with flag 19414/803182
141.65/146.83	c cleaning 9237 clauses out of 18484 with flag 34194/810182
142.86/148.03	c cleaning 8618 clauses out of 17247 with flag 50195/818182
143.75/148.90	c cleaning 8815 clauses out of 17631 with flag 68214/827184
144.96/150.15	c cleaning 9407 clauses out of 18815 with flag 88210/837183
145.36/150.51	c Got one! Elapsed wall clock time (in seconds):150.381
145.36/150.51	o -5735
145.50/150.61	c cleaning 7288 clauses out of 14587 with flag 2033/842364
146.25/151.31	c cleaning 6649 clauses out of 13299 with flag 14648/848364
146.85/151.98	c cleaning 6824 clauses out of 13654 with flag 28660/855368
147.74/152.84	c cleaning 7411 clauses out of 14826 with flag 44657/863364
148.73/153.84	c cleaning 8207 clauses out of 16416 with flag 62660/872365
149.98/155.03	c cleaning 9089 clauses out of 18208 with flag 82658/882364
151.07/156.14	c cleaning 10061 clauses out of 20122 with flag 104676/893367
152.55/157.66	c cleaning 11027 clauses out of 22060 with flag 128725/905366
154.23/159.39	c cleaning 12009 clauses out of 24036 with flag 155913/918369
156.29/161.33	c cleaning 13011 clauses out of 26022 with flag 184424/932364
158.36/163.43	c cleaning 14008 clauses out of 28015 with flag 214495/947368
161.00/166.03	c cleaning 14998 clauses out of 30003 with flag 246577/963364
163.02/168.42	c cleaning 15990 clauses out of 32005 with flag 281575/980364
165.38/170.73	c cleaning 17005 clauses out of 34015 with flag 317700/998364
167.95/173.33	c cleaning 18008 clauses out of 36016 with flag 355714/1017370
170.88/176.21	c cleaning 19001 clauses out of 38002 with flag 395761/1037364
173.76/179.14	c cleaning 19998 clauses out of 40002 with flag 437771/1058365
177.10/182.44	c cleaning 20997 clauses out of 42003 with flag 481781/1080364
179.90/185.26	c cleaning 22002 clauses out of 44010 with flag 529543/1103369
183.47/188.77	c cleaning 22999 clauses out of 46004 with flag 577926/1127366
187.73/192.91	c cleaning 24001 clauses out of 48002 with flag 627944/1152364
191.22/196.42	c cleaning 24986 clauses out of 50000 with flag 679947/1178364
195.75/202.70	c cleaning 26002 clauses out of 52014 with flag 734482/1205364
200.23/207.15	c cleaning 27006 clauses out of 54012 with flag 791840/1233364
205.13/211.93	c cleaning 28002 clauses out of 56006 with flag 851742/1262364
209.33/216.14	c cleaning 29003 clauses out of 58006 with flag 911787/1292366
215.36/222.15	c cleaning 30002 clauses out of 60003 with flag 974272/1323366
221.12/227.90	c cleaning 30985 clauses out of 61999 with flag 1038357/1355364
226.90/233.55	c cleaning 32003 clauses out of 64014 with flag 1104875/1388364
233.64/240.42	c cleaning 33004 clauses out of 66015 with flag 1173504/1422368
240.00/246.70	c cleaning 34003 clauses out of 68011 with flag 1244001/1457368
247.06/253.75	c cleaning 35002 clauses out of 70005 with flag 1316926/1493365
253.32/259.96	c cleaning 35992 clauses out of 72005 with flag 1391349/1530367
259.43/266.18	c cleaning 36998 clauses out of 74010 with flag 1467571/1568364
266.00/272.65	c cleaning 37994 clauses out of 76012 with flag 1546578/1607364
274.14/280.79	c cleaning 39010 clauses out of 78021 with flag 1626874/1647367
283.26/289.89	c cleaning 39984 clauses out of 80008 with flag 1709135/1688364
293.64/300.33	c cleaning 41014 clauses out of 82030 with flag 1793810/1730370
303.17/309.73	c cleaning 42003 clauses out of 84011 with flag 1880702/1773365
311.15/317.68	c cleaning 43003 clauses out of 86008 with flag 1970806/1817365
320.25/326.72	c cleaning 43999 clauses out of 88005 with flag 2063046/1862365
329.10/335.51	c cleaning 45003 clauses out of 90009 with flag 2156698/1908368
338.47/344.61	c cleaning 46000 clauses out of 92003 with flag 2251079/1955365
347.52/353.65	c cleaning 46997 clauses out of 94002 with flag 2348588/2003364
358.91/365.14	c cleaning 48000 clauses out of 96006 with flag 2446938/2052365
371.07/377.15	c cleaning 48998 clauses out of 98005 with flag 2550496/2102364
384.03/390.14	c cleaning 49996 clauses out of 100007 with flag 2654414/2153364
396.01/402.07	c cleaning 50996 clauses out of 102013 with flag 2760019/2205366
405.62/411.56	c cleaning 51991 clauses out of 104014 with flag 2868672/2258364
415.98/422.06	c cleaning 53010 clauses out of 106024 with flag 2978337/2312365
428.90/434.88	c cleaning 54001 clauses out of 108013 with flag 3089238/2367364
441.23/447.16	c cleaning 55003 clauses out of 110012 with flag 3202583/2423364
448.32/454.37	c Got one! Elapsed wall clock time (in seconds):454.239
448.32/454.37	o -5736
449.43/455.41	c cleaning 50327 clauses out of 100666 with flag 10605/2469022
450.42/456.41	c cleaning 28148 clauses out of 56338 with flag 22790/2475021
451.40/457.37	c cleaning 17581 clauses out of 35191 with flag 36835/2482022
452.30/458.24	c cleaning 12789 clauses out of 25610 with flag 52903/2490022
453.29/459.23	c cleaning 10904 clauses out of 21820 with flag 70967/2499021
454.39/460.39	c cleaning 10456 clauses out of 20917 with flag 91259/2509022
455.74/461.65	c cleaning 10723 clauses out of 21461 with flag 113341/2520022
456.94/462.86	c cleaning 11367 clauses out of 22739 with flag 137423/2532023
458.53/464.43	c cleaning 12186 clauses out of 24373 with flag 164182/2545024
460.59/466.46	c cleaning 13094 clauses out of 26189 with flag 193138/2559026
462.49/468.37	c cleaning 14043 clauses out of 28090 with flag 223258/2574021
464.29/470.13	c cleaning 15022 clauses out of 30049 with flag 255713/2590023
466.34/472.17	c cleaning 16012 clauses out of 32026 with flag 290009/2607022
469.13/474.92	c cleaning 17000 clauses out of 34014 with flag 326332/2625022
471.27/477.10	c cleaning 18007 clauses out of 36014 with flag 366052/2644022
473.76/479.58	c cleaning 19003 clauses out of 38008 with flag 406650/2664023
477.10/483.01	c cleaning 20003 clauses out of 40006 with flag 449839/2685024
480.29/486.22	c cleaning 20996 clauses out of 42001 with flag 494924/2707022
483.14/489.10	c cleaning 21996 clauses out of 44004 with flag 543228/2730022
486.38/492.26	c cleaning 22986 clauses out of 46010 with flag 592102/2754024
490.17/496.07	c cleaning 24011 clauses out of 48023 with flag 644231/2779023
494.02/499.81	c cleaning 25002 clauses out of 50013 with flag 699454/2805024
499.17/504.93	c cleaning 26003 clauses out of 52009 with flag 754694/2832022
502.66/508.43	c cleaning 27002 clauses out of 54006 with flag 811464/2860022
507.13/513.01	c cleaning 28002 clauses out of 56007 with flag 869779/2889025
511.87/517.78	c cleaning 29000 clauses out of 58002 with flag 930507/2919022
516.82/522.69	c cleaning 30001 clauses out of 60003 with flag 993158/2950023
522.59/528.34	c cleaning 30995 clauses out of 62001 with flag 1058096/2982022
527.78/533.53	c cleaning 31998 clauses out of 64005 with flag 1124898/3015021
533.91/539.62	c cleaning 32996 clauses out of 66010 with flag 1193109/3049024
540.00/545.89	c cleaning 34001 clauses out of 68011 with flag 1263760/3084021
547.17/552.93	c cleaning 35004 clauses out of 70010 with flag 1337447/3120021
554.60/560.38	c cleaning 35999 clauses out of 72008 with flag 1413570/3157023
562.35/568.01	c cleaning 36996 clauses out of 74008 with flag 1492028/3195022
569.18/574.99	c cleaning 38006 clauses out of 76013 with flag 1572858/3234023
575.15/580.89	c cleaning 39001 clauses out of 78004 with flag 1654718/3274021
582.12/587.74	c cleaning 40006 clauses out of 80011 with flag 1739055/3315029
591.09/596.64	c cleaning 40995 clauses out of 81997 with flag 1823705/3357021
599.38/609.45	c cleaning 41994 clauses out of 84002 with flag 1911565/3400021
608.65/618.67	c cleaning 43003 clauses out of 86008 with flag 2002939/3444021
616.57/626.55	c cleaning 43993 clauses out of 88005 with flag 2096510/3489021
625.29/635.29	c cleaning 45005 clauses out of 90012 with flag 2191103/3535021
633.71/643.79	c cleaning 46005 clauses out of 92012 with flag 2287134/3582026
643.08/653.01	c cleaning 46998 clauses out of 94002 with flag 2383911/3630021
651.81/661.79	c cleaning 47995 clauses out of 96007 with flag 2483527/3679024
661.60/671.50	c cleaning 49004 clauses out of 98010 with flag 2585296/3729022
673.07/682.95	c cleaning 49993 clauses out of 100008 with flag 2689385/3780024
683.41/693.28	c cleaning 51002 clauses out of 102012 with flag 2794883/3832021
695.18/705.09	c cleaning 52001 clauses out of 104012 with flag 2903123/3885023
706.46/715.90	c cleaning 53000 clauses out of 106010 with flag 3013112/3939022
716.54/726.04	c cleaning 54005 clauses out of 108009 with flag 3125703/3994021
726.58/737.41	c cleaning 54998 clauses out of 110004 with flag 3240258/4050021
736.53/747.31	c cleaning 55999 clauses out of 112006 with flag 3357399/4107021
746.53/757.22	c cleaning 56993 clauses out of 114007 with flag 3475079/4165021
759.62/770.47	c cleaning 58000 clauses out of 116016 with flag 3598450/4224023
772.96/783.61	c cleaning 59003 clauses out of 118015 with flag 3720697/4284022
775.95/786.67	c Got one! Elapsed wall clock time (in seconds):786.545
775.95/786.67	o -5737
776.76/787.48	c cleaning 42360 clauses out of 84730 with flag 10575/4309742
777.63/788.21	c cleaning 24182 clauses out of 48370 with flag 23575/4315742
778.23/788.89	c cleaning 15593 clauses out of 31188 with flag 38140/4322742
778.93/789.58	c cleaning 11788 clauses out of 23594 with flag 54365/4330741
780.04/790.63	c cleaning 10397 clauses out of 20806 with flag 73337/4339741
780.95/791.58	c cleaning 10205 clauses out of 20410 with flag 94883/4349742
782.17/792.72	c cleaning 10599 clauses out of 21204 with flag 117378/4360741
783.38/793.97	c cleaning 11303 clauses out of 22609 with flag 142000/4372745
784.67/795.29	c cleaning 12136 clauses out of 24304 with flag 168141/4385743
786.30/796.89	c cleaning 13079 clauses out of 26168 with flag 197197/4399743
788.02/798.74	c cleaning 14043 clauses out of 28088 with flag 227948/4414742
789.82/800.58	c cleaning 15016 clauses out of 30045 with flag 260001/4430742
791.87/802.59	c cleaning 16014 clauses out of 32030 with flag 294067/4447743
794.16/804.84	c cleaning 17007 clauses out of 34016 with flag 330211/4465743
796.70/807.32	c cleaning 18003 clauses out of 36007 with flag 370730/4484741
799.19/809.81	c cleaning 18994 clauses out of 38004 with flag 411539/4504741
801.94/812.59	c cleaning 19985 clauses out of 40012 with flag 454825/4525743
804.93/815.53	c cleaning 21012 clauses out of 42025 with flag 499686/4547741
807.67/818.22	c cleaning 22005 clauses out of 44016 with flag 548197/4570744
810.67/821.24	c cleaning 22997 clauses out of 46008 with flag 600399/4594741
814.10/824.64	c cleaning 24001 clauses out of 48012 with flag 656962/4619742
817.57/828.29	c cleaning 24987 clauses out of 50010 with flag 710009/4645741
821.37/832.08	c cleaning 26012 clauses out of 52023 with flag 764598/4672741
824.91/835.53	c cleaning 27000 clauses out of 54011 with flag 822582/4700741
829.06/839.62	c cleaning 27999 clauses out of 56011 with flag 882026/4729741
832.95/843.52	c cleaning 29006 clauses out of 58014 with flag 943230/4759743
837.39/847.97	c cleaning 30005 clauses out of 60010 with flag 1006817/4790745
841.93/852.45	c cleaning 31001 clauses out of 62004 with flag 1073687/4822744
846.69/857.19	c cleaning 31996 clauses out of 64000 with flag 1139956/4855741
851.89/862.71	c cleaning 33002 clauses out of 66008 with flag 1209658/4889745
856.88/867.71	c cleaning 33999 clauses out of 68004 with flag 1281361/4924743
862.01/872.83	c cleaning 35001 clauses out of 70005 with flag 1356698/4960743
868.25/879.09	c cleaning 35995 clauses out of 72002 with flag 1435305/4997741
873.76/884.60	c cleaning 36993 clauses out of 74009 with flag 1514520/5035743
882.02/893.36	c cleaning 38005 clauses out of 76016 with flag 1594589/5074743
889.07/900.32	c cleaning 39009 clauses out of 78018 with flag 1675767/5114750
895.84/907.08	c cleaning 40000 clauses out of 80001 with flag 1759188/5155742
901.50/912.65	c cleaning 41000 clauses out of 82002 with flag 1845365/5197743
907.34/918.48	c cleaning 41997 clauses out of 84002 with flag 1933198/5240744
914.21/932.95	c cleaning 42988 clauses out of 86002 with flag 2025855/5284741
921.93/940.63	c cleaning 43994 clauses out of 88016 with flag 2118775/5329743
930.36/948.94	c cleaning 45009 clauses out of 90020 with flag 2214805/5375741
939.32/957.81	c cleaning 45996 clauses out of 92011 with flag 2312261/5422741
948.57/967.72	c cleaning 47006 clauses out of 94017 with flag 2409403/5470743
957.15/976.28	c cleaning 48004 clauses out of 96009 with flag 2510132/5519741
965.20/984.25	c cleaning 49000 clauses out of 98005 with flag 2614583/5569741
975.55/994.63	c cleaning 49994 clauses out of 100004 with flag 2717986/5620741
985.22/1004.25	c cleaning 51004 clauses out of 102010 with flag 2823658/5672741
997.55/1016.54	c cleaning 52001 clauses out of 104007 with flag 2933574/5725742
1006.65/1025.90	c cleaning 53013 clauses out of 106025 with flag 3043586/5779761
1016.14/1035.39	c cleaning 53986 clauses out of 107995 with flag 3156003/5834744
1028.38/1047.59	c cleaning 54997 clauses out of 110006 with flag 3270115/5890741
1039.52/1058.83	c cleaning 56002 clauses out of 112010 with flag 3388261/5947742
1053.38/1072.64	c cleaning 56998 clauses out of 114007 with flag 3505195/6005741
1067.36/1087.43	c cleaning 58001 clauses out of 116009 with flag 3630219/6064741
1082.91/1102.91	c cleaning 59003 clauses out of 118010 with flag 3751222/6124743
1095.98/1116.01	c cleaning 60001 clauses out of 120005 with flag 3879769/6185741
1108.78/1128.70	c cleaning 60994 clauses out of 122006 with flag 4011279/6247743
1121.51/1141.44	c cleaning 61995 clauses out of 124012 with flag 4141029/6310743
1136.33/1156.36	c cleaning 63007 clauses out of 126016 with flag 4276930/6374742
1150.61/1170.54	c cleaning 63990 clauses out of 128008 with flag 4409347/6439741
1168.42/1188.60	c cleaning 65010 clauses out of 130019 with flag 4545412/6505742
1187.26/1207.55	c cleaning 66005 clauses out of 132012 with flag 4682838/6572745
1202.81/1223.09	c cleaning 67003 clauses out of 134007 with flag 4822209/6640745
1219.51/1240.00	c cleaning 67999 clauses out of 136000 with flag 4963894/6709741
1235.00/1255.34	c cleaning 69001 clauses out of 138001 with flag 5108664/6779741
1252.21/1272.66	c cleaning 70001 clauses out of 140004 with flag 5259605/6850746
1270.63/1290.93	c cleaning 70975 clauses out of 141998 with flag 5409890/6922741
1289.66/1309.90	c cleaning 72006 clauses out of 144023 with flag 5559048/6995741
1308.24/1328.46	c cleaning 73006 clauses out of 146018 with flag 5708899/7069742
1326.11/1346.46	c cleaning 74001 clauses out of 148013 with flag 5865478/7144743
1343.02/1363.82	c cleaning 75005 clauses out of 150013 with flag 6021792/7220744
1361.93/1382.64	c cleaning 75995 clauses out of 152006 with flag 6181859/7297742
1381.94/1402.76	c cleaning 77006 clauses out of 154011 with flag 6342848/7375742
1402.71/1423.51	c cleaning 77998 clauses out of 156004 with flag 6504904/7454741
1427.20/1447.94	c cleaning 78998 clauses out of 158009 with flag 6675493/7534744
1446.33/1467.00	c cleaning 80001 clauses out of 160008 with flag 6844337/7615741
1468.14/1488.82	c cleaning 81000 clauses out of 162007 with flag 7012244/7697741
1489.53/1510.18	c cleaning 81996 clauses out of 164008 with flag 7187804/7780742
1511.82/1532.01	c cleaning 83001 clauses out of 166012 with flag 7361331/7864742
1528.71/1549.02	c cleaning 84004 clauses out of 168015 with flag 7538900/7949746
1552.73/1572.88	c cleaning 84993 clauses out of 170007 with flag 7716259/8035742
1575.03/1595.14	c cleaning 85997 clauses out of 172013 with flag 7898506/8122741
1598.65/1618.88	c cleaning 87006 clauses out of 174017 with flag 8079139/8210742
1631.47/1651.68	c cleaning 87999 clauses out of 176011 with flag 8261520/8299742
1655.24/1675.49	c cleaning 89002 clauses out of 178012 with flag 8445006/8389742
1677.93/1697.90	c cleaning 89994 clauses out of 180009 with flag 8636570/8480741
1701.35/1721.30	c cleaning 90995 clauses out of 182015 with flag 8823489/8572741
1732.04/1752.08	c cleaning 91996 clauses out of 184021 with flag 9012638/8665742
1760.02/1779.45	c cleaning 93010 clauses out of 186026 with flag 9208240/8759743
1786.08/1805.52	c cleaning 94001 clauses out of 188014 with flag 9405972/8854741
1814.46/1835.93	c cleaning 95005 clauses out of 190012 with flag 9604134/8950741
1843.33/1864.77	c cleaning 95990 clauses out of 192010 with flag 9802300/9047744
1867.71/1889.18	c cleaning 97005 clauses out of 194018 with flag 10001960/9145743
1895.13/1916.58	c cleaning 98003 clauses out of 196011 with flag 10205395/9244741
1926.19/1947.65	c cleaning 99003 clauses out of 198008 with flag 10413343/9344741
1959.78/1981.90	c cleaning 100003 clauses out of 200007 with flag 10620966/9445743
1995.23/2017.04	c cleaning 100997 clauses out of 202002 with flag 10831032/9547741
2025.07/2046.95	c cleaning 102000 clauses out of 204005 with flag 11043604/9650741
2052.83/2074.71	c cleaning 103006 clauses out of 206013 with flag 11260837/9754749
2079.68/2101.61	c cleaning 103994 clauses out of 207998 with flag 11478992/9859741
2116.11/2138.01	c cleaning 105002 clauses out of 210006 with flag 11700808/9965743
2145.31/2168.95	c cleaning 105996 clauses out of 212002 with flag 11919394/10072741
2180.09/2204.22	c cleaning 106997 clauses out of 214006 with flag 12139765/10180741
2211.82/2235.91	c cleaning 108000 clauses out of 216009 with flag 12365380/10289741
2247.31/2271.03	c cleaning 109004 clauses out of 218010 with flag 12590857/10399742
2295.80/2319.55	c cleaning 109999 clauses out of 220009 with flag 12823031/10510745
2331.18/2354.84	c cleaning 111002 clauses out of 222010 with flag 13052798/10622745
2369.44/2393.08	c cleaning 111999 clauses out of 224004 with flag 13284487/10735741
2411.48/2435.14	c cleaning 113004 clauses out of 226009 with flag 13521876/10849745
2451.39/2474.65	c cleaning 113995 clauses out of 228001 with flag 13770021/10964741
2491.59/2514.89	c cleaning 114989 clauses out of 230009 with flag 14011696/11080744
2531.87/2555.38	c cleaning 116010 clauses out of 232021 with flag 14249020/11197745
2570.99/2594.50	c cleaning 117003 clauses out of 234008 with flag 14495382/11315742
2606.12/2629.68	c cleaning 117999 clauses out of 236015 with flag 14744699/11434752
2644.85/2668.36	c cleaning 119000 clauses out of 238005 with flag 14993898/11554741
2686.57/2710.03	c cleaning 120006 clauses out of 240013 with flag 15246527/11675749
2738.12/2761.57	c cleaning 120990 clauses out of 242001 with flag 15507489/11797743
2788.73/2812.05	c cleaning 122006 clauses out of 244014 with flag 15766948/11920746
2826.27/2849.65	c cleaning 122997 clauses out of 246006 with flag 16023412/12044744
2866.33/2889.60	c cleaning 124004 clauses out of 248008 with flag 16282087/12169743
2918.59/2941.99	c cleaning 124988 clauses out of 250003 with flag 16541489/12295742
2956.88/2980.15	c cleaning 126002 clauses out of 252017 with flag 16808492/12422744
2996.29/3019.57	c cleaning 127006 clauses out of 254014 with flag 17075747/12550743
3040.56/3063.96	c cleaning 128003 clauses out of 256007 with flag 17342010/12679742
3088.10/3111.02	c cleaning 128992 clauses out of 258003 with flag 17607232/12809741
3141.04/3164.14	c cleaning 130005 clauses out of 260012 with flag 17881508/12940742
3189.56/3212.80	c cleaning 131002 clauses out of 262006 with flag 18155581/13072741
3235.83/3259.03	c cleaning 132002 clauses out of 264006 with flag 18436394/13205743
3286.57/3310.02	c cleaning 132997 clauses out of 266003 with flag 18718313/13339742
3329.02/3352.47	c cleaning 134002 clauses out of 268006 with flag 18999315/13474743
3382.82/3406.21	c cleaning 134995 clauses out of 270002 with flag 19280250/13610741
3434.95/3458.32	c cleaning 136005 clauses out of 272010 with flag 19565390/13747744
3492.99/3516.34	c cleaning 136997 clauses out of 274006 with flag 19852501/13885746
3542.95/3566.37	c cleaning 138001 clauses out of 276004 with flag 20144517/14024741
3593.20/3616.64	c cleaning 138992 clauses out of 278004 with flag 20434743/14164742
3600.04/3623.41	c starts		: 35970
3600.04/3623.42	c conflicts		: 14194595
3600.04/3623.42	c decisions		: 19971475
3600.04/3623.42	c propagations		: 101960577
3600.04/3623.42	c inspects		: 17945818761
3600.04/3623.42	c shortcuts		: 0
3600.04/3623.42	c learnt literals	: 62
3600.04/3623.42	c learnt binary clauses	: 48
3600.04/3623.42	c learnt ternary clauses	: 12
3600.04/3623.42	c learnt constraints	: 14194533
3600.04/3623.42	c ignored constraints	: 0
3600.04/3623.42	c root simplifications	: 0
3600.04/3623.42	c removed literals (reason simplification)	: 320017134
3600.04/3623.42	c reason swapping (by a shorter reason)	: 0
3600.04/3623.42	c Calls to reduceDB	: 304
3600.04/3623.42	c Number of update (reduction) of LBD	: 103952
3600.04/3623.42	c Imported unit clauses	: 0
3600.04/3623.42	c No decision after first conflict	: false
3600.04/3623.42	c number of reductions to clauses (during analyze)	: 0
3600.04/3623.42	c number of learned constraints concerned by reduction	: 0
3600.04/3623.42	c number of learning phase by resolution	: 0
3600.04/3623.42	c number of learning phase by cutting planes	: 0
3600.04/3623.42	c number of rounding to 1 operations	: 0
3600.04/3623.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3623.42	c number of reductions of the coefficients by power 2 	: 0
3600.04/3623.42	c number of right shift for reduction by power 2 	: 0
3600.04/3623.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3623.42	c number of ending skipping 	: 0
3600.04/3623.42	c number of internal skipping 	: 0
3600.04/3623.42	c number of derivation steps 	: 0
3600.04/3623.42	c number of skipped derivation steps 	: 0
3600.04/3623.42	c number of remaining unassigned 	: 0
3600.04/3623.42	c number of remaining assigned 	: 0
3600.04/3623.42	c number of falsified literals weakened from reason	: 0
3600.04/3623.42	c number of falsified literals weakened from conflict	: 0
3600.04/3623.42	c time for arithmetic operations	: 0
3600.04/3623.42	c minimum degree of deleted constraints	: null
3600.04/3623.42	c maximum degree of deleted constraints	: null
3600.04/3623.42	c number of deleted constraints	: 0
3600.04/3623.42	c speed (assignments/second)	: 28142.007864040315
3600.04/3623.42	c non guided choices	: 8
3600.04/3623.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 168817
3600.04/3623.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 48
3600.04/3623.49	s SATISFIABLE
3600.04/3623.49	c Found 50 solution(s)
3600.04/3623.49	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.04/3623.50	c objective function=-5737
3600.04/3623.50	c Total wall clock time (in seconds): 3623.373

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=227248, runsolver pid=227245

[startup+0.100351 s]*
/proc/loadavg: 1.41 1.95 2.98 10/335 227266
/proc/meminfo: memFree=118877672/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=18975048 memory=66984 CPUtime=0.14 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 7096 0 0 0 12 2 0 0 20 0 18 0 25223874 19430449152 16746 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4743762 16746 5711 1 0 549321 0
[pid=227248/tid=227250] ppid=227245 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 1077936192 5666 0 0 0 7 1 0 0 20 0 18 0 25223874 19430449152 16746 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25223877 19430449152 16746 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=18975048 memory=14973373508847284 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25223877 19430449152 16746 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66984 KiB

[startup+0.205845 s]*
/proc/loadavg: 1.41 1.95 2.98 6/335 227266
/proc/meminfo: memFree=118784132/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=18975048 memory=67532 CPUtime=0.18 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 7314 0 0 0 16 2 0 0 20 0 18 0 25223874 19430449152 16883 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4743762 16883 5727 1 0 549476 0
[pid=227248/tid=227250] ppid=227245 vsize=18975048 memory=4782652875487838339 CPUtime=0.1 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) D 227245 227248 227049 0 -1 1077936192 5795 0 0 0 9 1 0 0 20 0 18 0 25223874 19430449152 16883 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=18975048 memory=1148849 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25223877 19430449152 16883 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25223877 19430449152 16883 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67532 KiB

[startup+0.305854 s]*
/proc/loadavg: 1.41 1.95 2.98 5/335 227266
/proc/meminfo: memFree=118753224/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=18975048 memory=67532 CPUtime=0.18 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 7314 0 0 0 16 2 0 0 20 0 18 0 25223874 19430449152 16883 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4743762 16883 5727 1 0 549476 0
[pid=227248/tid=227250] ppid=227245 vsize=18975048 memory=-8816192530373386940 CPUtime=0.1 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) D 227245 227248 227049 0 -1 1077936192 5795 0 0 0 9 1 0 0 20 0 18 0 25223874 19430449152 16883 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25223877 19430449152 16883 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25223877 19430449152 16883 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67532 KiB

[startup+0.700235 s]
/proc/loadavg: 1.41 1.95 2.98 8/336 227267
/proc/meminfo: memFree=118633220/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=19041612 memory=146896 CPUtime=0.92 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 9798 0 0 0 87 5 0 0 20 0 19 0 25223874 19498610688 36724 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4760403 36724 5897 1 0 551153 0
[pid=227248/tid=227250] ppid=227245 vsize=19041612 memory=5616 CPUtime=0.47 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 6033 0 0 0 44 3 0 0 20 0 19 0 25223874 19498610688 36724 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19041612 memory=12404 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25223877 19498610688 36724 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 25223877 19498610688 36724 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 25223909 19498610688 36724 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146896 KiB

[startup+1.50623 s]
/proc/loadavg: 1.41 1.95 2.98 9/337 227268
/proc/meminfo: memFree=118164136/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=195692 CPUtime=2.52 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 19619 0 0 0 244 8 0 0 20 0 20 0 25223874 19566772224 48923 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 48923 5945 1 0 555673 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=12404 CPUtime=1.24 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 6390 0 0 0 120 4 0 0 20 0 20 0 25223874 19566772224 48923 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 48923 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 48923 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=279341317661968 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 48923 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195692 KiB

[startup+3.10623 s]
/proc/loadavg: 1.70 2.00 2.99 6/337 227268
/proc/meminfo: memFree=116511480/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=474068 CPUtime=5.04 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 25673 0 0 0 489 15 0 0 20 0 20 0 25223874 19566772224 118517 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 118517 5945 1 0 666904 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=0 CPUtime=2.74 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 7483 0 0 0 265 9 0 0 20 0 20 0 25223874 19566772224 118517 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=12404 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 118517 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 118517 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=11360 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 118517 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 474068 KiB

[startup+6.30035 s]
/proc/loadavg: 1.70 2.00 2.99 2/337 227269
/proc/meminfo: memFree=116346024/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=490316 CPUtime=5.1 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 25699 0 0 0 494 16 0 0 20 0 20 0 25223874 19566772224 122579 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 122579 5945 1 0 666904 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=12404 CPUtime=2.8 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) D 227245 227248 227049 0 -1 4194368 7507 0 0 0 270 10 0 0 20 0 20 0 25223874 19566772224 122579 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 122579 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=199088 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 122579 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 122579 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 490316 KiB

[startup+12.7012 s]
/proc/loadavg: 2.06 2.07 3.00 4/339 227271
/proc/meminfo: memFree=114691808/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=603052 CPUtime=5.83 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 25922 0 0 0 565 18 0 0 20 0 20 0 25223874 19566772224 150763 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 150763 5945 1 0 666910 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=0 CPUtime=3.4 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 7605 0 0 0 328 12 0 0 20 0 20 0 25223874 19566772224 150763 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 891 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=-8816192530373386940 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 150763 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=2308 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 150763 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=11360 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 150763 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 603052 KiB
heavy processes:

[startup+25.5012 s]
/proc/loadavg: 2.43 2.15 3.02 5/336 227273
/proc/meminfo: memFree=109891300/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=1595396 CPUtime=19.2 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 29273 0 0 0 1870 50 0 0 20 0 20 0 25223874 19566772224 398849 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 398849 5945 1 0 861182 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=625636 CPUtime=15.75 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 8761 0 0 0 1537 38 0 0 20 0 20 0 25223874 19566772224 398849 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 891 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=12404 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 398849 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 398849 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=1428252 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 398849 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 19.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1595396 KiB
heavy processes:

[startup+51.1059 s]
/proc/loadavg: 3.03 2.31 3.05 5/339 227281
/proc/meminfo: memFree=104494960/131524600 swapFree=131069668/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=2451748 CPUtime=44.92 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 40715 0 0 0 4405 87 0 0 20 0 20 0 25223874 19566772224 612937 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 612937 5945 1 0 861187 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=2345204 CPUtime=40.37 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 12670 0 0 0 3970 67 0 0 20 0 20 0 25223874 19566772224 612937 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 932 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0

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

[startup+3282.3 s]
/proc/loadavg: 4.86 4.63 4.43 5/342 228886
/proc/meminfo: memFree=56696252/131524600 swapFree=131058148/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=2888924 CPUtime=3258.89 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 323318 0 0 0 324079 1810 0 0 20 0 20 0 25223874 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 722231 5977 1 0 735930 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=11360 CPUtime=3197.4 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 124172 0 0 0 318078 1662 0 0 20 0 20 0 25223874 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4588 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=11360 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 2642 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=11360 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 3258.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2888924 KiB

[startup+3342.3 s]
/proc/loadavg: 4.52 4.58 4.42 5/342 228900
/proc/meminfo: memFree=54579668/131524600 swapFree=131058148/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=2888924 CPUtime=3318.84 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 325535 0 0 0 330053 1831 0 0 20 0 20 0 25223874 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 722231 5977 1 0 735930 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=1832 CPUtime=3256.75 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 125228 0 0 0 323993 1682 0 0 20 0 20 0 25223874 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4603 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=11360 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=16076 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 2720 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=2888924 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 722231 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 3318.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2888924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.52 4.41 5/342 228911
/proc/meminfo: memFree=53222940/131524600 swapFree=131058148/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=2830656 CPUtime=3378.93 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 335176 0 0 0 336041 1852 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 707664 5993 1 0 721314 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=16076 CPUtime=3315.89 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 127235 0 0 0 329889 1700 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4618 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 2721 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 3378.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2830656 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.45 4.39 5/342 228922
/proc/meminfo: memFree=52328308/131524600 swapFree=131058148/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=2830656 CPUtime=3439 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 337805 0 0 0 342024 1876 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 707664 5993 1 0 721314 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=16076 CPUtime=3375.24 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 128049 0 0 0 335801 1723 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4631 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 2803 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 3439 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2830656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.40 4.38 5/336 228933
/proc/meminfo: memFree=51543864/131524600 swapFree=131058148/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=2830656 CPUtime=3498.98 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 338440 0 0 0 348000 1898 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 707664 5993 1 0 721314 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=2830656 CPUtime=3434.69 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 128533 0 0 0 341726 1743 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4643 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=70248 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=5444 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 2805 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 3498.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2830656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.40 4.38 5/336 229079
/proc/meminfo: memFree=88644784/131524600 swapFree=131058148/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=2830656 CPUtime=3558.89 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 341083 0 0 0 353968 1921 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 707664 5993 1 0 721314 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=2830656 CPUtime=3494.15 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 129560 0 0 0 347651 1764 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4656 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=32060 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=12404 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 2805 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 3558.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2830656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3623.4 s]
/proc/loadavg: 4.14 4.34 4.36 5/337 229470
/proc/meminfo: memFree=84188928/131524600 swapFree=131058148/131071996
[pid=227248] ppid=227245 vsize=19108176 memory=2830656 CPUtime=3600.04 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 341348 0 0 0 358067 1937 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4777044 707664 5993 1 0 721315 0
[pid=227248/tid=227250] ppid=227245 vsize=19108176 memory=70248 CPUtime=3534.83 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) R 227245 227248 227049 0 -1 4194368 129668 0 0 0 351704 1779 0 0 20 0 20 0 25223874 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4662 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19108176 memory=12404 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19108176 memory=-8816192530373386940 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 2871 0 0 0 0 0 0 0 20 0 20 0 25223877 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227267] ppid=227245 vsize=19108176 memory=16076 CPUtime=0 cores=5,7
/proc/227248/task/227267/stat : 227267 (Timer-0) S 227245 227248 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223909 19566772224 707664 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2830656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.87 s, system=19.397 s

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

[startup+3623.51 s]
/proc/loadavg: 4.14 4.34 4.36 5/337 229470
/proc/meminfo: memFree=84188928/131524600 swapFree=131058148/131071996
[pid=227248] ppid=227245 vsize=19307868 memory=2831352 CPUtime=3600.23 cores=5,7
/proc/227248/stat : 227248 (java) S 227245 227248 227049 0 -1 1077936128 345277 0 0 0 358086 1937 0 0 20 0 15 0 25223874 19771256832 707838 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
/proc/227248/statm: 4826967 707838 5992 1 0 722275 0
[pid=227248/tid=227250] ppid=227245 vsize=19307868 memory=2830656 CPUtime=3534.92 cores=5,7
/proc/227248/task/227250/stat : 227250 (java) S 227245 227248 227049 0 -1 1077936192 129812 0 0 0 351713 1779 0 0 20 0 15 0 25223874 19771256832 707838 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4662 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227259] ppid=227245 vsize=19307868 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227259/stat : 227259 (Finalizer) S 227245 227248 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 25223877 19771256832 707838 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
[pid=227248/tid=227266] ppid=227245 vsize=19307868 memory=2830656 CPUtime=0 cores=5,7
/proc/227248/task/227266/stat : 227266 (Common-Cleaner) S 227245 227248 227049 0 -1 1077936192 2871 0 0 0 0 0 0 0 20 0 15 0 25223877 19771256832 707838 134679101440 94102322642944 94102322646640 140726464035024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94102322654456 94102322655248 94102325837824 140726464041899 140726464042081 140726464042081 140726464049096 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2831352 KiB

Child status: 143

Real time (s): 3623.58
CPU time (s): 3600.27
CPU user time (s): 3580.87
CPU system time (s): 19.397
CPU usage (%): 99.3566
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3332484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.87
system time used= 19.397
maximum resident set size= 3332880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28547456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127417
involuntary context switches= 10904


# summary of solver processes directly reported to runsolver:
#   pid: 227248
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3580.87
#   total CPU system time (s): 19.397

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.23994 second user time and 18.5901 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-25 07:55:48
IDJOB=4457850
IDBENCH=176932
IDSOLVER=3079
FILE ID=nodeC025/4457850-1721886948
RUNJOBID= nodeC025-1721886943-227062
SLURM_JOB_ID= 8089292
Free space on /tmp= 890028 MiB

SOLVER NAME= Sat4j Resolution 2024 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457850-1721886948/watcher-4457850-1721886948 -o /tmp/evaluation-result-4457850-1721886948/solver-4457850-1721886948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721886943-227062 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4457850-1721886948 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457850-1721886948.opb

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

MD5SUM BENCH= 2490394f4bcefb8d76998a0fa8c11f7f
RANDOM SEED=10812038

nodeC025.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		: 3599.755
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.51
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		: 3642.709
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119001064 kB
MemAvailable:   128884032 kB
Buffers:          300268 kB
Cached:         10356224 kB
SwapCached:          232 kB
Active:          2503808 kB
Inactive:        9302092 kB
Active(anon):       3912 kB
Inactive(anon):  1198732 kB
Active(file):    2499896 kB
Inactive(file):  8103360 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131069668 kB
Dirty:             45480 kB
Writeback:             0 kB
AnonPages:       1149268 kB
Mapped:           136976 kB
Shmem:             53184 kB
KReclaimable:     239072 kB
Slab:             364260 kB
SReclaimable:     239072 kB
SUnreclaim:       125188 kB
KernelStack:        5120 kB
PageTables:        12624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9986708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    821248 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:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC025 at 2024-07-25 08:56:12