Trace number 4440338

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)10 3600.28 3614.34

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8451009eff5aac10a49807ab684bf277
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
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.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- 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-4440338-1721772768.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.14/0.15	c ... done. Wall clock time 0.016s.
0.14/0.15	c declared #vars     146
0.14/0.15	c #constraints  12
0.14/0.15	c constraints type 
0.14/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.14/0.15	c 12 constraints processed.
0.14/0.16	c objective function length is 96 literals
0.52/0.36	c SATISFIABLE
0.52/0.36	c OPTIMIZING...
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.223
0.52/0.36	o 462
0.91/0.59	c Got one! Elapsed wall clock time (in seconds):0.458
0.91/0.59	o 258
1.08/0.63	c Got one! Elapsed wall clock time (in seconds):0.504
1.08/0.63	o 194
1.08/0.66	c Got one! Elapsed wall clock time (in seconds):0.526
1.08/0.66	o 156
1.08/0.67	c Got one! Elapsed wall clock time (in seconds):0.537
1.08/0.67	o 155
1.26/0.76	c Got one! Elapsed wall clock time (in seconds):0.628
1.26/0.76	o 111
1.85/1.02	c cleaning 3403 clauses out of 6819 with flag 4233/6819
2.65/1.43	c cleaning 4700 clauses out of 9412 with flag 16790/12815
3.44/1.81	c cleaning 5847 clauses out of 11712 with flag 31171/19815
4.13/2.21	c cleaning 6926 clauses out of 13867 with flag 47483/27817
4.52/2.59	c cleaning 7958 clauses out of 15939 with flag 65885/36815
5.11/3.07	c cleaning 8980 clauses out of 17982 with flag 86290/46816
5.85/3.61	c cleaning 9994 clauses out of 20002 with flag 108915/57816
5.85/3.63	c Got one! Elapsed wall clock time (in seconds):3.505
5.85/3.63	o 106
5.85/3.68	c Got one! Elapsed wall clock time (in seconds):3.546
5.85/3.68	o 104
5.95/3.70	c Got one! Elapsed wall clock time (in seconds):3.559
5.95/3.70	o 91
5.95/3.77	c Got one! Elapsed wall clock time (in seconds):3.64
5.95/3.77	o 90
6.10/3.82	c Got one! Elapsed wall clock time (in seconds):3.692
6.10/3.82	o 89
6.19/3.95	c Got one! Elapsed wall clock time (in seconds):3.817
6.19/3.95	o 85
6.19/3.98	c Got one! Elapsed wall clock time (in seconds):3.848
6.19/3.98	o 84
6.30/4.03	c Got one! Elapsed wall clock time (in seconds):3.898
6.30/4.03	o 82
6.40/4.12	c cleaning 9809 clauses out of 19652 with flag 2128/67460
6.40/4.18	c Got one! Elapsed wall clock time (in seconds):4.051
6.40/4.18	o 80
6.50/4.20	c Got one! Elapsed wall clock time (in seconds):4.072
6.50/4.20	o 76
6.50/4.22	c Got one! Elapsed wall clock time (in seconds):4.092
6.50/4.22	o 74
6.62/4.31	c Got one! Elapsed wall clock time (in seconds):4.184
6.62/4.31	o 73
6.74/4.44	c cleaning 8216 clauses out of 16460 with flag 4184/74077
6.95/4.68	c cleaning 7122 clauses out of 14244 with flag 16585/80077
7.05/4.75	c Got one! Elapsed wall clock time (in seconds):4.617
7.05/4.75	o 72
7.05/4.76	c Got one! Elapsed wall clock time (in seconds):4.626
7.05/4.76	o 70
7.05/4.79	c Got one! Elapsed wall clock time (in seconds):4.657
7.05/4.79	o 67
7.05/4.80	c Got one! Elapsed wall clock time (in seconds):4.666
7.05/4.80	o 66
7.38/4.91	c Got one! Elapsed wall clock time (in seconds):4.775
7.38/4.91	o 63
7.52/5.02	c cleaning 7250 clauses out of 14519 with flag 4159/87474
7.71/5.27	c cleaning 6620 clauses out of 13269 with flag 16848/93474
8.02/5.57	c cleaning 6820 clauses out of 13651 with flag 31251/100476
8.31/5.89	c cleaning 7401 clauses out of 14826 with flag 47732/108471
8.70/6.27	c cleaning 8204 clauses out of 16428 with flag 66440/117474
9.27/6.71	c cleaning 9100 clauses out of 18222 with flag 87244/127472
9.83/7.23	c cleaning 10046 clauses out of 20122 with flag 109869/138472
10.33/7.78	c cleaning 11025 clauses out of 22075 with flag 134653/150471
10.43/7.89	c Got one! Elapsed wall clock time (in seconds):7.76
10.43/7.89	o 62
10.63/8.01	c cleaning 8022 clauses out of 16057 with flag 4117/155478
10.83/8.23	c cleaning 7010 clauses out of 14037 with flag 16441/161480
11.03/8.48	c cleaning 7002 clauses out of 14026 with flag 30815/168479
11.32/8.79	c cleaning 7503 clauses out of 15024 with flag 47179/176479
11.72/9.14	c cleaning 8253 clauses out of 16520 with flag 65697/185478
12.12/9.51	c cleaning 9120 clauses out of 18267 with flag 86071/195478
12.52/9.93	c cleaning 10066 clauses out of 20147 with flag 108468/206478
12.52/10.00	c Got one! Elapsed wall clock time (in seconds):9.867
12.63/10.00	o 61
12.63/10.03	c Got one! Elapsed wall clock time (in seconds):9.9
12.63/10.03	o 59
12.63/10.05	c Got one! Elapsed wall clock time (in seconds):9.922
12.63/10.05	o 58
12.63/10.06	c Got one! Elapsed wall clock time (in seconds):9.932
12.63/10.06	o 57
12.63/10.08	c Got one! Elapsed wall clock time (in seconds):9.953
12.63/10.08	o 56
12.73/10.16	c Got one! Elapsed wall clock time (in seconds):10.033
12.73/10.16	o 52
12.73/10.18	c Got one! Elapsed wall clock time (in seconds):10.052
12.73/10.18	o 50
12.83/10.28	c cleaning 9289 clauses out of 18583 with flag 4892/214980
13.03/10.43	c Got one! Elapsed wall clock time (in seconds):10.305
13.03/10.43	o 49
13.13/10.51	c cleaning 7462 clauses out of 14939 with flag 2082/220625
13.23/10.68	c Got one! Elapsed wall clock time (in seconds):10.554
13.23/10.68	o 48
13.34/10.70	c Got one! Elapsed wall clock time (in seconds):10.573
13.34/10.70	o 47
13.34/10.75	c cleaning 6498 clauses out of 13000 with flag 2230/226148
13.34/10.78	c Got one! Elapsed wall clock time (in seconds):10.648
13.34/10.78	o 45
13.44/10.88	c Got one! Elapsed wall clock time (in seconds):10.754
13.44/10.88	o 43
13.65/11.01	c cleaning 6512 clauses out of 13040 with flag 7224/232686
13.74/11.11	c Got one! Elapsed wall clock time (in seconds):10.978
13.74/11.11	o 41
13.84/11.26	c cleaning 5931 clauses out of 11873 with flag 6306/238031
14.22/11.55	c cleaning 5968 clauses out of 11941 with flag 20793/244030
14.35/11.63	c Got one! Elapsed wall clock time (in seconds):11.499
14.35/11.63	o 40
14.50/11.77	c cleaning 5634 clauses out of 11274 with flag 6531/249331
14.60/11.80	c Got one! Elapsed wall clock time (in seconds):11.675
14.60/11.80	o 38
14.69/11.90	c Got one! Elapsed wall clock time (in seconds):11.768
14.69/11.90	o 36
14.69/11.99	c cleaning 5412 clauses out of 10836 with flag 4495/254527
15.00/12.26	c cleaning 5706 clauses out of 11421 with flag 18152/260524
15.20/12.47	c Got one! Elapsed wall clock time (in seconds):12.337
15.20/12.47	o 34
15.49/12.71	c cleaning 8022 clauses out of 16047 with flag 11100/270856
15.59/12.85	c Got one! Elapsed wall clock time (in seconds):12.718
15.59/12.85	o 33
15.69/12.97	c cleaning 6795 clauses out of 13589 with flag 4543/276420
15.99/13.25	c cleaning 6390 clauses out of 12793 with flag 18140/282419
16.30/13.58	c cleaning 6698 clauses out of 13405 with flag 34324/289421
16.69/13.94	c cleaning 7350 clauses out of 14706 with flag 52767/297420
17.09/14.35	c cleaning 8172 clauses out of 16353 with flag 73345/306417
17.58/14.80	c cleaning 9092 clauses out of 18183 with flag 97345/316419
18.08/15.30	c cleaning 10036 clauses out of 20091 with flag 122012/327419
18.68/15.90	c cleaning 11024 clauses out of 22054 with flag 148326/339418
18.68/15.95	c Got one! Elapsed wall clock time (in seconds):15.819
18.68/15.95	o 31
18.89/16.15	c cleaning 8231 clauses out of 16469 with flag 8788/344857
19.08/16.39	c cleaning 7116 clauses out of 14233 with flag 21209/350852
19.38/16.66	c cleaning 7052 clauses out of 14116 with flag 35750/357851
19.38/16.68	c Got one! Elapsed wall clock time (in seconds):16.554
19.38/16.68	o 30
19.58/16.89	c cleaning 6402 clauses out of 12805 with flag 10687/363592
19.89/17.11	c cleaning 6202 clauses out of 12405 with flag 23077/369594
19.89/17.12	c Got one! Elapsed wall clock time (in seconds):16.988
19.89/17.12	o 29
20.08/17.31	c cleaning 5835 clauses out of 11684 with flag 10529/375075
20.28/17.51	c Got one! Elapsed wall clock time (in seconds):17.38
20.28/17.51	o 28
20.47/17.75	c Got one! Elapsed wall clock time (in seconds):17.616
20.47/17.75	o 24
20.58/17.83	c cleaning 8532 clauses out of 17072 with flag 2314/386298
20.79/18.09	c Got one! Elapsed wall clock time (in seconds):17.96
20.79/18.09	o 22
21.08/18.39	c cleaning 9603 clauses out of 19206 with flag 10964/396964
21.47/18.70	c cleaning 7798 clauses out of 15604 with flag 24430/402965
21.78/19.01	c cleaning 7402 clauses out of 14806 with flag 39406/409965
22.08/19.36	c cleaning 7699 clauses out of 15404 with flag 56823/417965
22.47/19.77	c cleaning 8354 clauses out of 16707 with flag 75821/426967
22.97/20.29	c cleaning 9173 clauses out of 18350 with flag 96662/436964
23.47/20.74	c cleaning 10091 clauses out of 20181 with flag 119370/447968
23.97/21.24	c cleaning 11042 clauses out of 22088 with flag 144033/459966
24.56/21.83	c cleaning 12019 clauses out of 24044 with flag 170636/472964
25.17/22.46	c cleaning 13007 clauses out of 26027 with flag 199384/486966
25.96/23.23	c cleaning 14008 clauses out of 28018 with flag 230010/501964
26.77/24.02	c cleaning 15001 clauses out of 30012 with flag 262720/517966
27.66/24.93	c cleaning 16004 clauses out of 32010 with flag 297315/534965
28.76/26.03	c cleaning 16999 clauses out of 34005 with flag 334011/552964
29.95/27.29	c cleaning 17997 clauses out of 36006 with flag 372561/571964
31.35/28.68	c cleaning 19002 clauses out of 38011 with flag 413216/591966
32.45/29.74	c Got one! Elapsed wall clock time (in seconds):29.61
32.45/29.74	o 21
33.05/30.30	c cleaning 20575 clauses out of 41158 with flag 10306/614115
33.35/30.61	c cleaning 13289 clauses out of 26585 with flag 22674/620117
33.35/30.63	c Got one! Elapsed wall clock time (in seconds):30.505
33.35/30.63	o 20
33.54/30.88	c cleaning 9612 clauses out of 19235 with flag 10483/626056
33.76/31.09	c cleaning 7808 clauses out of 15625 with flag 22949/632058
34.04/31.33	c cleaning 7400 clauses out of 14817 with flag 37361/639058
34.04/31.34	c Got one! Elapsed wall clock time (in seconds):31.214
34.04/31.34	o 18
34.24/31.52	c cleaning 6428 clauses out of 12871 with flag 10695/644512
34.44/31.71	c cleaning 6212 clauses out of 12440 with flag 23029/650509
34.65/31.98	c cleaning 6613 clauses out of 13228 with flag 37338/657509
34.94/32.28	c cleaning 7306 clauses out of 14615 with flag 53744/665509
35.34/32.65	c cleaning 8152 clauses out of 16310 with flag 72151/674510
35.77/33.25	c cleaning 9079 clauses out of 18157 with flag 92619/684509
36.26/33.70	c cleaning 10040 clauses out of 20080 with flag 115413/695511
36.76/34.20	c cleaning 11016 clauses out of 22039 with flag 140121/707510
36.96/34.46	c Got one! Elapsed wall clock time (in seconds):34.333
36.96/34.46	o 17
37.26/34.74	c cleaning 11494 clauses out of 22987 with flag 10429/719474
37.45/34.98	c cleaning 8743 clauses out of 17491 with flag 22766/725472
37.76/35.25	c cleaning 7869 clauses out of 15747 with flag 37114/732471
38.06/35.55	c cleaning 7932 clauses out of 15878 with flag 53613/740471
38.46/35.93	c cleaning 8476 clauses out of 16951 with flag 72064/749476
38.85/36.32	c cleaning 9230 clauses out of 18471 with flag 92682/759472
39.26/36.76	c cleaning 10115 clauses out of 20241 with flag 115376/770472
39.75/37.25	c cleaning 11062 clauses out of 22125 with flag 140172/782471
40.35/37.82	c cleaning 12030 clauses out of 24065 with flag 166865/795473
40.95/38.47	c cleaning 13013 clauses out of 26033 with flag 195450/809471
41.76/39.20	c cleaning 14006 clauses out of 28020 with flag 226212/824471
42.65/40.11	c cleaning 15005 clauses out of 30014 with flag 259012/840471
43.35/40.82	c Got one! Elapsed wall clock time (in seconds):40.686
43.35/40.82	o 14
43.75/41.22	c cleaning 17090 clauses out of 34185 with flag 10374/859647
44.05/41.51	c cleaning 11545 clauses out of 23093 with flag 23059/865645
44.25/41.79	c cleaning 9260 clauses out of 18550 with flag 37755/872647
44.55/42.08	c cleaning 8645 clauses out of 17289 with flag 55139/880646
44.94/42.41	c cleaning 8815 clauses out of 17643 with flag 74299/889645
45.25/42.78	c cleaning 9415 clauses out of 18829 with flag 95377/899646
45.65/43.18	c cleaning 10202 clauses out of 20414 with flag 117913/910646
46.13/43.68	c cleaning 11105 clauses out of 22210 with flag 142606/922644
46.74/44.21	c cleaning 12054 clauses out of 24109 with flag 169324/935648
47.33/44.83	c cleaning 13025 clauses out of 26052 with flag 198168/949645
48.03/45.51	c cleaning 14012 clauses out of 28027 with flag 228943/964645
48.83/46.37	c cleaning 15000 clauses out of 30014 with flag 261762/980644
49.64/47.19	c cleaning 15999 clauses out of 32014 with flag 296400/997644
50.53/48.08	c cleaning 17008 clauses out of 34015 with flag 333233/1015644
51.63/49.12	c cleaning 18002 clauses out of 36009 with flag 371996/1034646
52.72/50.23	c cleaning 19005 clauses out of 38009 with flag 412773/1054648
53.83/51.32	c cleaning 19996 clauses out of 40001 with flag 455592/1075645
55.12/52.68	c cleaning 21000 clauses out of 42006 with flag 500291/1097646
56.52/54.01	c cleaning 22003 clauses out of 44005 with flag 547259/1120645
57.82/55.38	c cleaning 23000 clauses out of 46003 with flag 596405/1144646
59.51/57.06	c cleaning 23999 clauses out of 48001 with flag 647425/1169644
61.10/58.68	c cleaning 24998 clauses out of 50002 with flag 700747/1195644
62.80/60.37	c cleaning 25999 clauses out of 52006 with flag 755867/1222646
64.79/62.35	c cleaning 27004 clauses out of 54009 with flag 813062/1250648
66.87/64.51	c cleaning 28001 clauses out of 56004 with flag 872194/1279647
68.86/66.59	c cleaning 28992 clauses out of 58000 with flag 933524/1309644
71.15/68.85	c cleaning 30003 clauses out of 60011 with flag 996508/1340647
73.66/71.35	c cleaning 31003 clauses out of 62008 with flag 1061747/1372647
76.05/73.76	c cleaning 32002 clauses out of 64004 with flag 1129063/1405646
78.64/76.33	c cleaning 32996 clauses out of 66001 with flag 1198160/1439645
81.13/78.80	c cleaning 33997 clauses out of 68004 with flag 1269664/1474644
84.14/81.86	c cleaning 34998 clauses out of 70007 with flag 1343076/1510644
87.33/85.03	c cleaning 35996 clauses out of 72009 with flag 1418237/1547644
90.91/88.69	c cleaning 37000 clauses out of 74013 with flag 1495605/1585644
94.70/92.45	c cleaning 38008 clauses out of 76015 with flag 1575127/1624646
98.40/96.21	c cleaning 38998 clauses out of 78005 with flag 1656608/1664644
102.49/100.30	c cleaning 40004 clauses out of 80011 with flag 1740115/1705648
106.38/104.27	c cleaning 41000 clauses out of 82006 with flag 1826327/1747647
106.58/104.49	c Got one! Elapsed wall clock time (in seconds):104.363
106.58/104.49	o 12
107.07/104.90	c cleaning 23451 clauses out of 46927 with flag 4165/1753568
107.37/105.25	c cleaning 14737 clauses out of 29479 with flag 16595/1759571
107.67/105.54	c cleaning 10862 clauses out of 21739 with flag 31219/1766568
107.98/105.83	c cleaning 9428 clauses out of 18878 with flag 48091/1774569
108.28/106.17	c cleaning 9219 clauses out of 18453 with flag 66970/1783572
108.67/106.57	c cleaning 9608 clauses out of 19231 with flag 87870/1793569
109.07/106.99	c cleaning 10309 clauses out of 20622 with flag 110856/1804568
109.67/107.51	c cleaning 11157 clauses out of 22317 with flag 136488/1816572
110.27/108.20	c cleaning 12073 clauses out of 24156 with flag 164099/1829568
111.01/108.87	c cleaning 13042 clauses out of 26083 with flag 193329/1843568
111.81/109.63	c cleaning 14020 clauses out of 28042 with flag 224734/1858569
112.60/110.46	c cleaning 15008 clauses out of 30021 with flag 258809/1874568
113.51/111.31	c cleaning 16006 clauses out of 32016 with flag 294574/1891571
114.30/112.19	c cleaning 16999 clauses out of 34007 with flag 331407/1909568
115.30/113.19	c cleaning 17999 clauses out of 36008 with flag 370223/1928568
115.30/113.19	c Got one! Elapsed wall clock time (in seconds):113.065
115.40/113.20	o 10
115.60/113.49	c cleaning 11506 clauses out of 23031 with flag 10705/1933590
115.90/113.74	c cleaning 8745 clauses out of 17523 with flag 23688/1939588
116.10/113.99	c cleaning 7880 clauses out of 15778 with flag 38497/1946588
116.39/114.24	c cleaning 7950 clauses out of 15900 with flag 55600/1954590
116.70/114.51	c cleaning 8471 clauses out of 16947 with flag 74230/1963587
117.00/114.89	c cleaning 9238 clauses out of 18477 with flag 94656/1973588
117.39/115.28	c cleaning 10118 clauses out of 20238 with flag 117183/1984587
117.89/115.70	c cleaning 11057 clauses out of 22120 with flag 141688/1996587
118.39/116.23	c cleaning 12032 clauses out of 24065 with flag 168226/2009589
118.99/116.83	c cleaning 13016 clauses out of 26031 with flag 196924/2023587
119.69/117.52	c cleaning 14003 clauses out of 28016 with flag 227590/2038588
120.39/118.25	c cleaning 15008 clauses out of 30015 with flag 260131/2054590
121.19/119.03	c cleaning 16002 clauses out of 32006 with flag 294708/2071589
122.09/119.98	c cleaning 16999 clauses out of 34003 with flag 331316/2089588
123.09/120.96	c cleaning 18000 clauses out of 36004 with flag 370112/2108588
124.19/122.01	c cleaning 18994 clauses out of 38004 with flag 411302/2128588
125.28/123.14	c cleaning 20004 clauses out of 40009 with flag 454326/2149587
126.58/124.42	c cleaning 21000 clauses out of 42006 with flag 499348/2171588
128.04/126.04	c cleaning 22001 clauses out of 44006 with flag 546371/2194588
129.44/127.43	c cleaning 23000 clauses out of 46004 with flag 595304/2218587
130.94/128.91	c cleaning 23995 clauses out of 48004 with flag 646003/2243587
132.73/130.79	c cleaning 25004 clauses out of 50009 with flag 698842/2269587
134.73/132.76	c cleaning 26002 clauses out of 52005 with flag 753881/2296587
136.92/134.97	c cleaning 26999 clauses out of 54003 with flag 810873/2324587
139.13/137.11	c cleaning 27999 clauses out of 56004 with flag 870406/2353587
141.31/139.32	c cleaning 29002 clauses out of 58005 with flag 931717/2383587
143.20/141.29	c cleaning 29997 clauses out of 60003 with flag 995079/2414587
145.49/143.56	c cleaning 31001 clauses out of 62006 with flag 1060144/2446587
147.89/145.98	c cleaning 31995 clauses out of 64008 with flag 1127605/2479590
150.48/148.52	c cleaning 33000 clauses out of 66011 with flag 1196616/2513588
153.07/151.19	c cleaning 33999 clauses out of 68013 with flag 1267605/2548590
156.07/154.15	c cleaning 35005 clauses out of 70013 with flag 1341174/2584589
159.04/157.29	c cleaning 35996 clauses out of 72006 with flag 1416480/2621587
162.63/160.81	c cleaning 37003 clauses out of 74011 with flag 1493435/2659588
166.23/164.45	c cleaning 38000 clauses out of 76007 with flag 1573016/2698587
170.01/168.24	c cleaning 39001 clauses out of 78007 with flag 1654730/2738587
173.60/171.81	c cleaning 40005 clauses out of 80010 with flag 1738403/2779591
177.50/175.71	c cleaning 40999 clauses out of 82002 with flag 1823812/2821588
181.59/179.88	c cleaning 42002 clauses out of 84003 with flag 1911550/2864588
186.08/184.30	c cleaning 42997 clauses out of 86000 with flag 2001428/2908587
190.20/188.55	c cleaning 44000 clauses out of 88003 with flag 2092805/2953587
195.09/193.49	c cleaning 45001 clauses out of 90003 with flag 2186449/2999587
199.98/198.37	c cleaning 46002 clauses out of 92004 with flag 2282210/3046589
205.19/203.52	c cleaning 46999 clauses out of 94000 with flag 2380474/3094587
210.27/208.67	c cleaning 47996 clauses out of 96002 with flag 2480361/3143588
215.76/214.13	c cleaning 49001 clauses out of 98008 with flag 2582627/3193590
221.77/220.24	c cleaning 49993 clauses out of 100005 with flag 2686142/3244588
227.92/226.45	c cleaning 51001 clauses out of 102011 with flag 2792061/3296587
234.56/233.11	c cleaning 52003 clauses out of 104010 with flag 2899867/3349587
241.42/240.07	c cleaning 53002 clauses out of 106007 with flag 3010697/3403587
245.68/244.39	c cleaning 53993 clauses out of 108005 with flag 3124170/3458587
249.99/248.75	c cleaning 54996 clauses out of 110012 with flag 3239897/3514587
254.74/253.56	c cleaning 56005 clauses out of 112019 with flag 3356698/3571590
259.30/258.15	c cleaning 57005 clauses out of 114014 with flag 3475266/3629590
263.69/262.54	c cleaning 58002 clauses out of 116007 with flag 3595717/3688588
268.35/267.29	c cleaning 58996 clauses out of 118004 with flag 3718515/3748587
273.65/272.50	c cleaning 60004 clauses out of 120009 with flag 3844021/3809588
279.40/278.30	c cleaning 60998 clauses out of 122005 with flag 3972101/3871588
284.81/283.80	c cleaning 62000 clauses out of 124006 with flag 4101811/3934587
290.07/289.13	c cleaning 62999 clauses out of 126006 with flag 4232988/3998587
296.28/295.36	c cleaning 64005 clauses out of 128012 with flag 4365628/4063592
302.27/301.36	c cleaning 64999 clauses out of 130004 with flag 4500976/4129589
308.19/307.25	c cleaning 65995 clauses out of 132003 with flag 4637535/4196587
314.39/313.53	c cleaning 66998 clauses out of 134008 with flag 4777494/4264587
322.02/321.16	c cleaning 68005 clauses out of 136010 with flag 4919118/4333587
329.69/328.85	c cleaning 68999 clauses out of 138005 with flag 5061901/4403587
337.43/336.57	c cleaning 70004 clauses out of 140009 with flag 5207623/4474590
345.50/344.78	c cleaning 70990 clauses out of 142003 with flag 5356256/4546588
353.83/353.08	c cleaning 71996 clauses out of 144013 with flag 5506342/4619588
361.56/360.71	c cleaning 73002 clauses out of 146016 with flag 5657638/4693587
369.14/368.35	c cleaning 73997 clauses out of 148014 with flag 5811569/4768587
378.96/378.24	c cleaning 75000 clauses out of 150019 with flag 5967382/4844589
388.07/387.43	c cleaning 76004 clauses out of 152017 with flag 6125026/4921587
396.65/396.01	c cleaning 77004 clauses out of 154013 with flag 6284092/4999587
405.48/404.90	c cleaning 78005 clauses out of 156012 with flag 6445877/5078590
413.76/413.21	c cleaning 78996 clauses out of 158005 with flag 6608961/5158588
421.51/420.95	c cleaning 79999 clauses out of 160009 with flag 6773600/5239588
430.39/429.88	c cleaning 81003 clauses out of 162013 with flag 6941841/5321591
440.62/440.16	c cleaning 81999 clauses out of 164006 with flag 7112240/5404587
449.92/449.45	c cleaning 83002 clauses out of 166010 with flag 7285086/5488590
463.65/463.35	c cleaning 84003 clauses out of 168008 with flag 7459997/5573590
476.87/476.51	c cleaning 84992 clauses out of 170006 with flag 7637183/5659591
491.41/491.10	c cleaning 86004 clauses out of 172012 with flag 7817284/5746589
504.65/504.43	c cleaning 87003 clauses out of 174006 with flag 7999425/5834587
519.26/519.10	c cleaning 88000 clauses out of 176004 with flag 8183901/5923588
532.11/531.93	c cleaning 89001 clauses out of 178004 with flag 8369976/6013588
544.37/544.27	c cleaning 90001 clauses out of 180005 with flag 8555736/6104590
557.01/556.92	c cleaning 91002 clauses out of 182006 with flag 8744005/6196592
567.95/567.89	c cleaning 91996 clauses out of 183999 with flag 8932594/6289587
582.31/582.28	c cleaning 92996 clauses out of 186004 with flag 9123641/6383588
598.06/598.05	c cleaning 94004 clauses out of 188007 with flag 9324912/6478587
612.48/612.48	c cleaning 94994 clauses out of 190005 with flag 9527283/6574589
625.87/625.91	c cleaning 95994 clauses out of 192010 with flag 9728486/6671588
639.99/640.04	c cleaning 97003 clauses out of 194015 with flag 9929011/6769587
653.79/654.03	c cleaning 98005 clauses out of 196014 with flag 10131900/6868589
666.79/667.01	c cleaning 98994 clauses out of 198007 with flag 10336335/6968587
682.78/683.15	c cleaning 99994 clauses out of 200014 with flag 10542889/7069588
699.90/700.25	c cleaning 101002 clauses out of 202019 with flag 10752249/7171587
719.35/719.79	c cleaning 102007 clauses out of 204017 with flag 10964655/7274587
738.35/738.74	c cleaning 102999 clauses out of 206010 with flag 11180252/7378587
754.81/755.21	c cleaning 104000 clauses out of 208011 with flag 11395592/7483587
770.85/771.42	c cleaning 105000 clauses out of 210011 with flag 11612947/7589587
791.24/791.80	c cleaning 106000 clauses out of 212011 with flag 11833626/7696587
810.80/811.55	c cleaning 106995 clauses out of 214011 with flag 12056698/7804587
827.21/827.98	c cleaning 108004 clauses out of 216017 with flag 12282223/7913588
843.69/844.53	c cleaning 108998 clauses out of 218012 with flag 12510860/8023587
861.17/862.20	c cleaning 110004 clauses out of 220016 with flag 12739865/8134589
880.73/881.80	c cleaning 111002 clauses out of 222010 with flag 12969785/8246587
902.48/903.78	c cleaning 111994 clauses out of 224008 with flag 13201803/8359587
922.17/923.43	c cleaning 112997 clauses out of 226014 with flag 13436937/8473587
940.76/942.09	c cleaning 114007 clauses out of 228018 with flag 13673457/8588588
958.79/960.18	c cleaning 114998 clauses out of 230010 with flag 13915192/8704587
978.13/979.55	c cleaning 115994 clauses out of 232014 with flag 14153517/8821589
998.10/999.67	c cleaning 117006 clauses out of 234020 with flag 14396034/8939589
1024.04/1025.70	c cleaning 118001 clauses out of 236012 with flag 14643059/9058587
1049.51/1051.48	c cleaning 119003 clauses out of 238013 with flag 14891148/9178589
1073.58/1075.53	c cleaning 119993 clauses out of 240008 with flag 15142560/9299587
1106.69/1109.01	c cleaning 120997 clauses out of 242015 with flag 15395463/9421587
1134.16/1136.55	c cleaning 122010 clauses out of 244022 with flag 15650229/9544591
1162.62/1165.19	c cleaning 122996 clauses out of 246009 with flag 15905861/9668588
1185.75/1188.39	c cleaning 124005 clauses out of 248016 with flag 16162219/9793591
1211.25/1214.10	c cleaning 124999 clauses out of 250010 with flag 16421097/9919590
1238.24/1241.32	c cleaning 125993 clauses out of 252008 with flag 16681786/10046587
1259.64/1262.96	c cleaning 127005 clauses out of 254015 with flag 16943813/10174587
1280.19/1283.63	c cleaning 127995 clauses out of 256010 with flag 17207103/10303587
1300.60/1304.06	c cleaning 129005 clauses out of 258016 with flag 17471470/10433588
1325.25/1328.79	c cleaning 130003 clauses out of 260011 with flag 17740072/10564588
1355.47/1359.07	c cleaning 131002 clauses out of 262011 with flag 18014133/10696591
1386.81/1390.60	c cleaning 132001 clauses out of 264006 with flag 18289119/10829588
1424.89/1429.06	c cleaning 132995 clauses out of 266007 with flag 18568542/10963590
1457.90/1462.26	c cleaning 134000 clauses out of 268015 with flag 18848060/11098593
1492.19/1496.40	c cleaning 134997 clauses out of 270009 with flag 19130062/11234587
1527.99/1532.33	c cleaning 136000 clauses out of 272012 with flag 19416903/11371587
1558.49/1562.95	c cleaning 137001 clauses out of 274012 with flag 19703838/11509587
1592.57/1597.16	c cleaning 138003 clauses out of 276012 with flag 19989291/11648588
1636.38/1641.18	c cleaning 138998 clauses out of 278009 with flag 20278098/11788588
1675.57/1680.42	c cleaning 139996 clauses out of 280010 with flag 20571251/11929587
1715.18/1720.15	c cleaning 140997 clauses out of 282018 with flag 20865570/12071591
1761.52/1766.67	c cleaning 141999 clauses out of 284017 with flag 21162502/12214587
1806.44/1811.68	c cleaning 143005 clauses out of 286021 with flag 21461725/12358590
1852.60/1858.07	c cleaning 144003 clauses out of 288014 with flag 21767910/12503588
1904.28/1909.95	c cleaning 144998 clauses out of 290010 with flag 22075609/12649587
1941.02/1946.84	c cleaning 145998 clauses out of 292014 with flag 22385201/12796589
1997.52/2003.54	c cleaning 147006 clauses out of 294015 with flag 22695860/12944588
2040.30/2046.43	c cleaning 147997 clauses out of 296008 with flag 23005133/13093587
2082.97/2089.24	c cleaning 148998 clauses out of 298011 with flag 23314774/13243587
2145.64/2152.15	c cleaning 150001 clauses out of 300013 with flag 23637158/13394587
2202.37/2209.06	c cleaning 150999 clauses out of 302014 with flag 23957298/13546589
2256.40/2263.54	c cleaning 152002 clauses out of 304013 with flag 24288156/13699587
2302.67/2310.25	c cleaning 153004 clauses out of 306012 with flag 24606501/13853588
2345.00/2353.17	c cleaning 153996 clauses out of 308007 with flag 24926609/14008587
2408.58/2417.38	c cleaning 155001 clauses out of 310013 with flag 25253322/14164589
2461.39/2470.69	c cleaning 156001 clauses out of 312011 with flag 25579684/14321588
2506.27/2515.85	c cleaning 157001 clauses out of 314009 with flag 25906152/14479587
2544.00/2553.96	c cleaning 158004 clauses out of 316011 with flag 26234480/14638590
2595.00/2605.49	c cleaning 159003 clauses out of 318007 with flag 26567703/14798590
2643.32/2654.28	c cleaning 159994 clauses out of 320003 with flag 26900891/14959589
2705.26/2716.71	c cleaning 161005 clauses out of 322012 with flag 27236202/15121592
2759.63/2771.21	c cleaning 161990 clauses out of 324004 with flag 27574771/15284589
2808.01/2819.77	c cleaning 163000 clauses out of 326012 with flag 27914355/15448587
2849.95/2861.89	c cleaning 164003 clauses out of 328012 with flag 28254465/15613587
2907.86/2919.99	c cleaning 165000 clauses out of 330009 with flag 28599435/15779587
2976.99/2989.34	c cleaning 166004 clauses out of 332009 with flag 28949990/15946587
3048.93/3061.47	c cleaning 167004 clauses out of 334010 with flag 29304905/16114592
3109.03/3121.72	c cleaning 167996 clauses out of 336001 with flag 29658564/16283587
3170.23/3183.11	c cleaning 168997 clauses out of 338005 with flag 30016278/16453587
3237.78/3250.96	c cleaning 170004 clauses out of 340008 with flag 30385567/16624587
3296.82/3310.19	c cleaning 171002 clauses out of 342005 with flag 30745184/16796588
3367.42/3380.90	c cleaning 171998 clauses out of 344002 with flag 31113642/16969587
3437.42/3451.15	c cleaning 173001 clauses out of 346005 with flag 31481214/17143588
3511.69/3525.62	c cleaning 173997 clauses out of 348005 with flag 31855588/17318589
3570.75/3584.83	c cleaning 174996 clauses out of 350007 with flag 32223010/17494588
3600.05/3614.21	c starts		: 1944
3600.05/3614.22	c conflicts		: 17584776
3600.05/3614.22	c decisions		: 17955346
3600.05/3614.22	c propagations		: 114824622
3600.05/3614.22	c inspects		: 37503555550
3600.05/3614.22	c shortcuts		: 0
3600.05/3614.22	c learnt literals	: 0
3600.05/3614.22	c learnt binary clauses	: 0
3600.05/3614.22	c learnt ternary clauses	: 0
3600.05/3614.22	c learnt constraints	: 17584776
3600.05/3614.22	c ignored constraints	: 0
3600.05/3614.22	c root simplifications	: 0
3600.05/3614.22	c removed literals (reason simplification)	: 172255897
3600.05/3614.22	c reason swapping (by a shorter reason)	: 0
3600.05/3614.23	c Calls to reduceDB	: 316
3600.05/3614.23	c Number of update (reduction) of LBD	: 825632
3600.05/3614.23	c Imported unit clauses	: 0
3600.05/3614.23	c No decision after first conflict	: false
3600.05/3614.23	c number of reductions to clauses (during analyze)	: 0
3600.05/3614.23	c number of learned constraints concerned by reduction	: 0
3600.05/3614.23	c number of learning phase by resolution	: 0
3600.05/3614.23	c number of learning phase by cutting planes	: 0
3600.05/3614.23	c number of rounding to 1 operations	: 0
3600.05/3614.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3614.23	c number of reductions of the coefficients by power 2 	: 0
3600.05/3614.23	c number of right shift for reduction by power 2 	: 0
3600.05/3614.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3614.23	c number of ending skipping 	: 0
3600.05/3614.23	c number of internal skipping 	: 0
3600.05/3614.23	c number of derivation steps 	: 0
3600.05/3614.23	c number of skipped derivation steps 	: 0
3600.05/3614.23	c number of remaining unassigned 	: 0
3600.05/3614.23	c number of remaining assigned 	: 0
3600.05/3614.23	c number of falsified literals weakened from reason	: 0
3600.05/3614.23	c number of falsified literals weakened from conflict	: 0
3600.05/3614.23	c time for arithmetic operations	: 0
3600.05/3614.23	c minimum degree of deleted constraints	: null
3600.05/3614.23	c maximum degree of deleted constraints	: null
3600.05/3614.23	c number of deleted constraints	: 0
3600.05/3614.23	c speed (assignments/second)	: 31771.58967213106
3600.05/3614.23	c non guided choices	: 1293
3600.24/3614.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 265199
3600.24/3614.30	s SATISFIABLE
3600.24/3614.30	c Found 55 solution(s)
3600.24/3614.30	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 
3600.24/3614.31	c objective function=10
3600.24/3614.31	c Total wall clock time (in seconds): 3614.177

Verifier Data 

OK	10

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10048 s]*
/proc/loadavg: 4.23 4.36 4.37 7/337 137822
/proc/meminfo: memFree=100116248/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=18975048 memory=64708 CPUtime=0.14 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 7246 0 0 0 12 2 0 0 20 0 18 0 13805883 19430449152 16177 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4743762 16177 5543 1 0 549371 0
[pid=137804/tid=137806] ppid=137801 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 1077936192 5767 0 0 0 7 1 0 0 20 0 18 0 13805883 19430449152 16177 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13805886 19430449152 16177 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=18975048 memory=14973373507726935 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13805886 19430449152 16177 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64708 KiB

[startup+0.208053 s]*
/proc/loadavg: 4.23 4.36 4.37 7/338 137823
/proc/meminfo: memFree=100106852/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19041612 memory=73832 CPUtime=0.32 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 8765 0 0 0 30 2 0 0 20 0 19 0 13805883 19498610688 18458 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4760403 18458 5869 1 0 550370 0
[pid=137804/tid=137806] ppid=137801 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 1077936192 6057 0 0 0 16 2 0 0 20 0 19 0 13805883 19498610688 18458 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19041612 memory=5742 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13805886 19498610688 18458 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19041612 memory=14690799019361963 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13805886 19498610688 18458 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13805899 19498610688 18458 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73832 KiB

[startup+0.306717 s]*
/proc/loadavg: 4.23 4.36 4.37 7/338 137823
/proc/meminfo: memFree=100082928/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19041612 memory=93732 CPUtime=0.52 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 9145 0 0 0 49 3 0 0 20 0 19 0 13805883 19498610688 23433 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4760403 23433 5869 1 0 550576 0
[pid=137804/tid=137806] ppid=137801 vsize=19041612 memory=-9105542209345462972 CPUtime=0.27 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 6083 0 0 0 25 2 0 0 20 0 19 0 13805883 19498610688 23433 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13805886 19498610688 23433 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13805886 19498610688 23433 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13805899 19498610688 23433 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93732 KiB

[startup+0.700718 s]
/proc/loadavg: 4.23 4.36 4.37 7/338 137823
/proc/meminfo: memFree=100008852/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=177488 CPUtime=1.26 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 14857 0 0 0 121 5 0 0 20 0 20 0 13805883 19566772224 44372 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 44372 5884 1 0 554282 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=52044 CPUtime=0.62 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 6122 0 0 0 58 4 0 0 20 0 20 0 13805883 19566772224 44372 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 44372 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 44372 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=1932 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 44372 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177488 KiB

[startup+1.5007 s]
/proc/loadavg: 4.23 4.36 4.37 7/339 137824
/proc/meminfo: memFree=99977976/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=183032 CPUtime=2.84 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 22532 0 0 0 278 6 0 0 20 0 20 0 13805883 19566772224 45758 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 45758 5900 1 0 554909 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=12404 CPUtime=1.38 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 6539 0 0 0 134 4 0 0 20 0 20 0 13805883 19566772224 45758 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 45758 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 45758 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=1932 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 45758 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183032 KiB

[startup+3.1067 s]
/proc/loadavg: 4.23 4.36 4.37 4/339 137824
/proc/meminfo: memFree=99510952/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=501204 CPUtime=5.28 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 24697 0 0 0 513 15 0 0 20 0 20 0 13805883 19566772224 125301 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 125301 5916 1 0 554915 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 7111 0 0 0 283 13 0 0 20 0 20 0 13805883 19566772224 125301 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=-9105542209345462972 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 125301 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 125301 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 125301 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 501204 KiB

[startup+6.3007 s]
/proc/loadavg: 4.37 4.39 4.38 5/339 137825
/proc/meminfo: memFree=98827696/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=977956 CPUtime=8.85 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 25644 0 0 0 857 28 0 0 20 0 20 0 13805883 19566772224 244489 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 244489 5916 1 0 554919 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=2308 CPUtime=6.12 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 7852 0 0 0 587 25 0 0 20 0 20 0 13805883 19566772224 244489 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 244489 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 244489 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 244489 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 8.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 977956 KiB

[startup+12.7002 s]
/proc/loadavg: 4.34 4.38 4.38 4/339 137825
/proc/meminfo: memFree=98108964/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=1318344 CPUtime=15.49 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 32024 0 0 0 1506 43 0 0 20 0 20 0 13805883 19566772224 329586 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 329586 5916 1 0 554919 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=12404 CPUtime=12.46 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 9541 0 0 0 1206 40 0 0 20 0 20 0 13805883 19566772224 329586 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=1318196 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 329586 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=52044 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 329586 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 329586 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1318344 KiB

[startup+25.5003 s]
/proc/loadavg: 4.40 4.40 4.38 4/317 137843
/proc/meminfo: memFree=98700160/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=1318420 CPUtime=28.26 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 36194 0 0 0 2772 54 0 0 20 0 20 0 13805883 19566772224 329605 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 329605 5916 1 0 554919 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=11360 CPUtime=25.18 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 11656 0 0 0 2468 50 0 0 20 0 20 0 13805883 19566772224 329605 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 329605 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=1318416 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 329605 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 329605 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1318420 KiB

[startup+51.1059 s]
/proc/loadavg: 4.34 4.38 4.38 5/338 137899
/proc/meminfo: memFree=98154328/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=1318432 CPUtime=53.62 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 41700 0 0 0 5288 74 0 0 20 0 20 0 13805883 19566772224 329608 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 329608 5916 1 0 554919 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/334 139681
/proc/meminfo: memFree=71556952/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=2173584 CPUtime=3269.08 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 185273 0 0 0 325845 1063 0 0 20 0 20 0 13805883 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 543396 5964 1 0 555988 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=52180 CPUtime=3252.43 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 80364 0 0 0 324308 935 0 0 20 0 20 0 13805883 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 674 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=2173584 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 4877 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=27404 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 3269.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/334 139691
/proc/meminfo: memFree=71226416/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=2173584 CPUtime=3328.88 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 187679 0 0 0 331811 1077 0 0 20 0 20 0 13805883 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 543396 5964 1 0 555988 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=11360 CPUtime=3312.09 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 81411 0 0 0 330261 948 0 0 20 0 20 0 13805883 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 681 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=2173584 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=1471054682668171609 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 5004 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=20884 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 3328.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/336 139705
/proc/meminfo: memFree=70882924/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=2173584 CPUtime=3388.73 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 189772 0 0 0 337782 1091 0 0 20 0 20 0 13805883 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 543396 5964 1 0 555988 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=2173584 CPUtime=3371.74 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 83040 0 0 0 336214 960 0 0 20 0 20 0 13805883 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 686 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=2173584 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=2173584 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 5096 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=2173584 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 543396 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 3388.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173584 KiB

[startup+3462.3 s]
/proc/loadavg: 3.90 4.11 4.16 4/310 139748
/proc/meminfo: memFree=88449348/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=2173636 CPUtime=3448.65 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 192720 0 0 0 343760 1105 0 0 20 0 20 0 13805883 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 543409 5964 1 0 555988 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=2173584 CPUtime=3431.33 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 84388 0 0 0 342161 972 0 0 20 0 20 0 13805883 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 689 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=2173584 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 5223 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 3448.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173636 KiB

[startup+3522.3 s]
/proc/loadavg: 3.38 3.92 4.08 4/312 139764
/proc/meminfo: memFree=88269416/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=2173636 CPUtime=3508.4 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 194272 0 0 0 349721 1119 0 0 20 0 20 0 13805883 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 543409 5964 1 0 555988 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=11360 CPUtime=3491.06 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 85676 0 0 0 348122 984 0 0 20 0 20 0 13805883 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 696 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=52180 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=-9105542209345462972 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 5366 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=2173636 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 3508.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173636 KiB

[startup+3582.3 s]
/proc/loadavg: 2.97 3.72 4.00 3/286 139809
/proc/meminfo: memFree=98012456/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=2173636 CPUtime=3568.25 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 197319 0 0 0 355692 1133 0 0 20 0 20 0 13805883 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 543409 5964 1 0 555988 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=11360 CPUtime=3550.68 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 86794 0 0 0 354072 996 0 0 20 0 20 0 13805883 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 702 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=-7089649492985209209 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 5494 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 3568.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.2 s]
/proc/loadavg: 2.59 3.55 3.94 3/286 139813
/proc/meminfo: memFree=97958232/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19108176 memory=2173636 CPUtime=3600.05 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 198413 0 0 0 358864 1141 0 0 20 0 20 0 13805883 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4777044 543409 5964 1 0 555988 0
[pid=137804/tid=137806] ppid=137801 vsize=19108176 memory=2173636 CPUtime=3582.45 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 87564 0 0 0 357242 1003 0 0 20 0 20 0 13805883 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 706 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19108176 memory=32020 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19108176 memory=7076 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 5648 0 0 0 0 0 0 0 20 0 20 0 13805886 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137823] ppid=137801 vsize=19108176 memory=33744 CPUtime=0 cores=0,2
/proc/137804/task/137823/stat : 137823 (Timer-0) S 137801 137804 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13805899 19566772224 543409 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173636 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.85 s, system=11.4297 s

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

[startup+3614.3 s]
/proc/loadavg: 2.59 3.55 3.94 3/286 139813
/proc/meminfo: memFree=97958232/131524600 swapFree=131071996/131071996
[pid=137804] ppid=137801 vsize=19307868 memory=2174664 CPUtime=3600.24 cores=0,2
/proc/137804/stat : 137804 (java) S 137801 137804 132609 0 -1 1077936128 201739 0 0 0 358883 1141 0 0 20 0 21 0 13805883 19771256832 543666 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
/proc/137804/statm: 4826967 543666 5963 1 0 556968 0
[pid=137804/tid=137806] ppid=137801 vsize=19307868 memory=11360 CPUtime=3582.55 cores=0,2
/proc/137804/task/137806/stat : 137806 (java) R 137801 137804 132609 0 -1 4194368 87836 0 0 0 357252 1003 0 0 20 0 21 0 13805883 19771256832 543666 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 706 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137815] ppid=137801 vsize=19307868 memory=52180 CPUtime=0 cores=0,2
/proc/137804/task/137815/stat : 137815 (Finalizer) S 137801 137804 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13805886 19771256832 543666 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
[pid=137804/tid=137822] ppid=137801 vsize=19307868 memory=2173636 CPUtime=0 cores=0,2
/proc/137804/task/137822/stat : 137822 (Common-Cleaner) S 137801 137804 132609 0 -1 1077936192 5648 0 0 0 0 0 0 0 20 0 21 0 13805886 19771256832 543666 134679101440 94713193213952 94713193217648 140732354194256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713193225464 94713193226256 94713193951232 140732354200491 140732354200673 140732354200673 140732354207688 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2174664 KiB

Child status: 143

Real time (s): 3614.34
CPU time (s): 3600.28
CPU user time (s): 3588.85
CPU system time (s): 11.4297
CPU usage (%): 99.611
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2174664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.85
system time used= 11.4297
maximum resident set size= 2175768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8039920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111167
involuntary context switches= 31325


# summary of solver processes directly reported to runsolver:
#   pid: 137804
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3588.85
#   total CPU system time (s): 11.4297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07579 second user time and 18.0294 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-24 00:12:48
IDJOB=4440338
IDBENCH=147612
IDSOLVER=3079
FILE ID=nodeC025/4440338-1721772768
RUNJOBID= nodeC025-1721765643-132619
SLURM_JOB_ID= 7770670
Free space on /tmp= 889996 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.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-4440338-1721772768/watcher-4440338-1721772768 -o /tmp/evaluation-result-4440338-1721772768/solver-4440338-1721772768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721765643-132619 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440338-1721772768 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440338-1721772768.opb

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

MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277
RANDOM SEED=618100369

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		: 3625.625
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		: 3677.458
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		: 3631.585
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		: 3599.994
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		: 3679.309
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		: 3677.501
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		: 3606.210
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.772
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:        100161792 kB
MemAvailable:   123334432 kB
Buffers:          195416 kB
Cached:         23705244 kB
SwapCached:            0 kB
Active:          1334324 kB
Inactive:       29212624 kB
Active(anon):       1528 kB
Inactive(anon):  6690428 kB
Active(file):    1332796 kB
Inactive(file): 22522196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            276704 kB
Writeback:             0 kB
AnonPages:       6646052 kB
Mapped:           128632 kB
Shmem:             45912 kB
KReclaimable:     314940 kB
Slab:             440960 kB
SReclaimable:     314940 kB
SUnreclaim:       126020 kB
KernelStack:        5152 kB
PageTables:        23288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12731324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21056 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6352896 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:      312020 kB
DirectMap2M:    26724352 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC025 at 2024-07-24 01:13:03