Trace number 4432519

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)-81 3600.43 3585.63

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.lin.opb
MD5SUM28e415f3c4d8dab53aac16682d7f066d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark7.64941
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables223
Total number of constraints386
Number of constraints which are clauses193
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints193
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 223
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2376
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2376
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.18	c version CUSTOM.v20240707
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2115194816
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2122317824
0.29/0.23	c Number of processors 	2
0.43/0.34	--- Begin Solver configuration ---
0.43/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.43/0.34	Learn all clauses as in MiniSAT
0.43/0.34	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.34	No reason simplification
0.43/0.34	Glucose 2.1 dynamic restart strategy
0.43/0.34	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.43/0.34	timeout=2147483s
0.43/0.34	DB Simplification allowed=false
0.43/0.34	Listener: none
0.43/0.34	--- End Solver configuration ---
0.43/0.35	c Pseudo Boolean Optimization by upper bound
0.43/0.35	c --- Begin Solver configuration ---
0.43/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.43/0.35	c Learn all clauses as in MiniSAT
0.43/0.35	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.35	c No reason simplification
0.43/0.35	c Glucose 2.1 dynamic restart strategy
0.43/0.35	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.43/0.35	c timeout=2147483s
0.43/0.35	c DB Simplification allowed=false
0.43/0.35	c Listener: none
0.43/0.35	c --- End Solver configuration ---
0.43/0.35	c solving HOME/instance-4432519-1721172646.opb
0.43/0.35	c reading problem ... 
0.43/0.35	c  objective function found
0.59/0.45	c ... done. Wall clock time 0.102s.
0.59/0.46	c declared #vars     223
0.59/0.46	c #constraints  386
0.59/0.46	c constraints type 
0.59/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 193
0.59/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 193
0.59/0.46	c 386 constraints processed.
0.59/0.48	c objective function length is 223 literals
0.59/0.49	c SATISFIABLE
0.59/0.50	c OPTIMIZING...
0.59/0.50	c Got one! Elapsed wall clock time (in seconds):0.145
0.59/0.50	o -73
1.30/0.85	c Got one! Elapsed wall clock time (in seconds):0.504
1.30/0.85	o -75
1.91/1.18	c cleaning 2505 clauses out of 5016 with flag 6317/5016
2.49/1.50	c cleaning 4253 clauses out of 8510 with flag 19912/11015
2.99/1.77	c cleaning 5629 clauses out of 11259 with flag 34816/18017
3.38/1.97	c cleaning 6809 clauses out of 13628 with flag 52599/26015
3.73/2.17	c cleaning 7910 clauses out of 15821 with flag 72338/35017
4.06/2.39	c cleaning 8950 clauses out of 17909 with flag 93500/45015
4.45/2.63	c cleaning 9978 clauses out of 19959 with flag 116811/56015
4.75/2.90	c cleaning 10989 clauses out of 21981 with flag 142653/68015
4.96/3.19	c cleaning 11988 clauses out of 23993 with flag 171118/81016
5.36/3.54	c cleaning 12996 clauses out of 26005 with flag 200569/95016
5.66/3.89	c cleaning 14006 clauses out of 28011 with flag 231496/110018
6.06/4.30	c cleaning 14998 clauses out of 30003 with flag 266622/126016
6.64/4.72	c cleaning 16003 clauses out of 32006 with flag 304516/143017
6.91/4.96	c Got one! Elapsed wall clock time (in seconds):4.617
6.91/4.96	o -76
7.13/5.17	c cleaning 16892 clauses out of 33783 with flag 11783/160797
7.42/5.45	c cleaning 11446 clauses out of 22892 with flag 25824/166798
7.72/5.72	c cleaning 9222 clauses out of 18446 with flag 40703/173798
7.92/5.90	c cleaning 8611 clauses out of 17223 with flag 57071/181797
8.14/6.12	c cleaning 8803 clauses out of 17613 with flag 75476/190798
8.32/6.39	c cleaning 9402 clauses out of 18810 with flag 96731/200798
8.72/6.76	c cleaning 10204 clauses out of 20408 with flag 119876/211798
9.13/7.17	c cleaning 11097 clauses out of 22203 with flag 144912/223797
9.62/7.61	c cleaning 12053 clauses out of 24106 with flag 172120/236797
10.21/8.25	c cleaning 13024 clauses out of 26054 with flag 201436/250798
10.91/8.94	c cleaning 14014 clauses out of 28029 with flag 233461/265797
11.41/9.49	c cleaning 15002 clauses out of 30016 with flag 266669/281798
11.91/9.93	c cleaning 16006 clauses out of 32013 with flag 301876/298797
12.41/10.45	c cleaning 17004 clauses out of 34008 with flag 338960/316798
13.11/11.19	c cleaning 18000 clauses out of 36003 with flag 379398/335797
14.12/12.12	c cleaning 18996 clauses out of 38003 with flag 423631/355797
15.02/13.10	c cleaning 20005 clauses out of 40009 with flag 468786/376799
16.30/14.38	c cleaning 20997 clauses out of 42002 with flag 513980/398797
17.41/15.46	c cleaning 22003 clauses out of 44005 with flag 561034/421797
18.02/16.07	c cleaning 23000 clauses out of 46002 with flag 610138/445797
18.80/16.80	c cleaning 23995 clauses out of 48002 with flag 660529/470797
19.61/17.67	c cleaning 24999 clauses out of 50007 with flag 712894/496797
20.41/18.44	c cleaning 26000 clauses out of 52009 with flag 768097/523798
21.21/19.27	c cleaning 27001 clauses out of 54009 with flag 825056/551798
22.41/20.42	c cleaning 28002 clauses out of 56007 with flag 884898/580797
23.83/21.82	c cleaning 29002 clauses out of 58007 with flag 947060/610799
25.23/23.26	c Got one! Elapsed wall clock time (in seconds):22.917
25.23/23.26	o -78
25.23/23.27	c Got one! Elapsed wall clock time (in seconds):22.922
25.23/23.27	o -79
25.65/23.65	c cleaning 31529 clauses out of 63067 with flag 10188/644861
25.85/23.84	c cleaning 18766 clauses out of 37538 with flag 22232/650861
26.06/24.01	c cleaning 12885 clauses out of 25773 with flag 36447/657862
26.32/24.20	c cleaning 10444 clauses out of 20888 with flag 52694/665862
26.51/24.38	c cleaning 9718 clauses out of 19443 with flag 70883/674861
26.87/24.59	c cleaning 9858 clauses out of 19726 with flag 91210/684862
27.55/25.22	c cleaning 10431 clauses out of 20869 with flag 113513/695863
27.86/25.59	c Got one! Elapsed wall clock time (in seconds):25.243
27.86/25.59	o -80
28.09/25.79	c cleaning 12702 clauses out of 25405 with flag 11055/710830
28.38/26.02	c cleaning 9347 clauses out of 18703 with flag 24480/716830
28.57/26.22	c cleaning 8173 clauses out of 16355 with flag 39719/723829
28.78/26.43	c cleaning 8085 clauses out of 16182 with flag 57421/731829
28.98/26.70	c cleaning 8547 clauses out of 17098 with flag 78008/740830
29.28/26.92	c cleaning 9272 clauses out of 18550 with flag 100191/750829
29.48/27.16	c cleaning 10137 clauses out of 20278 with flag 124708/761829
29.77/27.44	c cleaning 11068 clauses out of 22142 with flag 151640/773830
30.23/27.80	c cleaning 12035 clauses out of 24073 with flag 181429/786829
30.62/28.29	c cleaning 13013 clauses out of 26039 with flag 212561/800830
31.12/28.75	c cleaning 14012 clauses out of 28027 with flag 246909/815831
31.62/29.22	c cleaning 15004 clauses out of 30013 with flag 283956/831829
32.12/29.76	c cleaning 16005 clauses out of 32010 with flag 325987/848830
32.61/30.28	c cleaning 17002 clauses out of 34004 with flag 370161/866829
33.21/30.87	c cleaning 18000 clauses out of 36003 with flag 414463/885830
34.11/31.72	c cleaning 18997 clauses out of 38003 with flag 460390/905830
34.80/32.48	c cleaning 19998 clauses out of 40005 with flag 508733/926829
35.40/33.08	c cleaning 20999 clauses out of 42008 with flag 557009/948830
35.79/33.42	c Got one! Elapsed wall clock time (in seconds):33.075
35.79/33.42	o -81
35.99/33.63	c cleaning 19755 clauses out of 39509 with flag 10190/967330
36.09/33.79	c cleaning 12878 clauses out of 25755 with flag 22348/973331
36.28/33.96	c cleaning 9937 clauses out of 19877 with flag 36587/980331
36.49/34.12	c cleaning 8964 clauses out of 17940 with flag 52758/988331
36.69/34.32	c cleaning 8984 clauses out of 17975 with flag 71034/997330
36.89/34.55	c cleaning 9488 clauses out of 18991 with flag 91658/1007330
37.19/34.80	c cleaning 10252 clauses out of 20503 with flag 114891/1018330
37.39/35.06	c cleaning 11123 clauses out of 22254 with flag 139968/1030333
37.88/35.50	c cleaning 12062 clauses out of 24128 with flag 167177/1043330
38.28/35.90	c cleaning 13029 clauses out of 26067 with flag 197264/1057331
38.57/36.29	c cleaning 14016 clauses out of 28038 with flag 228475/1072331
38.98/36.68	c cleaning 15011 clauses out of 30021 with flag 261137/1088330
39.48/37.10	c cleaning 16002 clauses out of 32010 with flag 297018/1105330
40.07/37.71	c cleaning 16999 clauses out of 34008 with flag 336068/1123330
40.67/38.32	c cleaning 18003 clauses out of 36010 with flag 378827/1142331
41.47/39.13	c cleaning 19000 clauses out of 38008 with flag 422976/1162332
41.96/39.67	c cleaning 19997 clauses out of 40007 with flag 468274/1183331
42.55/40.25	c cleaning 21002 clauses out of 42009 with flag 514092/1205330
43.25/40.94	c cleaning 22000 clauses out of 44007 with flag 562911/1228330
44.04/41.70	c cleaning 23002 clauses out of 46007 with flag 615485/1252330
44.73/42.47	c cleaning 24003 clauses out of 48005 with flag 668625/1277330
45.76/43.40	c cleaning 24999 clauses out of 50002 with flag 724712/1303330
46.55/44.22	c cleaning 25999 clauses out of 52004 with flag 782418/1330331
47.25/44.97	c cleaning 26996 clauses out of 54004 with flag 842440/1358330
48.14/45.86	c cleaning 28002 clauses out of 56008 with flag 905979/1387330
48.93/46.63	c cleaning 28997 clauses out of 58007 with flag 969159/1417331
50.22/47.93	c cleaning 30002 clauses out of 60010 with flag 1034333/1448331
51.11/48.84	c cleaning 31000 clauses out of 62008 with flag 1103606/1480331
52.20/49.96	c cleaning 32000 clauses out of 64008 with flag 1171275/1513331
53.31/51.10	c cleaning 33003 clauses out of 66009 with flag 1241162/1547332
54.50/52.23	c cleaning 34002 clauses out of 68005 with flag 1312608/1582331
55.59/53.38	c cleaning 34997 clauses out of 70004 with flag 1385347/1618332
56.78/54.55	c cleaning 35998 clauses out of 72005 with flag 1461123/1655330
58.86/56.68	c cleaning 36997 clauses out of 74008 with flag 1547822/1693331
61.00/58.78	c cleaning 38004 clauses out of 76010 with flag 1636901/1732330
62.98/60.73	c cleaning 38998 clauses out of 78006 with flag 1720675/1772330
64.68/62.48	c cleaning 39998 clauses out of 80008 with flag 1807422/1813330
66.17/63.86	c cleaning 41005 clauses out of 82010 with flag 1896378/1855330
67.49/65.14	c cleaning 41996 clauses out of 84006 with flag 1987604/1898331
69.07/66.72	c cleaning 43000 clauses out of 86010 with flag 2083977/1942331
70.87/68.55	c cleaning 43998 clauses out of 88009 with flag 2182386/1987330
72.80/70.42	c cleaning 45002 clauses out of 90012 with flag 2287829/2033331
74.79/72.41	c cleaning 46005 clauses out of 92010 with flag 2395776/2080331
76.79/74.49	c cleaning 46998 clauses out of 94004 with flag 2501637/2128330
79.22/76.83	c cleaning 48003 clauses out of 96006 with flag 2602976/2177330
81.12/78.74	c cleaning 48996 clauses out of 98003 with flag 2705417/2227330
83.01/80.60	c cleaning 50001 clauses out of 100007 with flag 2820445/2278330
85.49/83.08	c cleaning 50998 clauses out of 102008 with flag 2937573/2330332
87.48/85.08	c cleaning 52005 clauses out of 104010 with flag 3047279/2383332
91.16/88.77	c cleaning 52998 clauses out of 106003 with flag 3157882/2437330
95.12/92.68	c cleaning 54002 clauses out of 108005 with flag 3271055/2492330
98.41/96.01	c cleaning 55001 clauses out of 110003 with flag 3387479/2548330
101.53/99.02	c cleaning 55998 clauses out of 112002 with flag 3504764/2605330
104.88/102.34	c cleaning 56999 clauses out of 114005 with flag 3623548/2663331
108.07/105.53	c cleaning 58001 clauses out of 116005 with flag 3743971/2722330
111.68/109.12	c cleaning 58996 clauses out of 118005 with flag 3867498/2782331
115.11/112.56	c cleaning 60001 clauses out of 120008 with flag 3991939/2843330
118.20/115.63	c cleaning 60998 clauses out of 122007 with flag 4118955/2905330
121.99/119.47	c cleaning 62001 clauses out of 124009 with flag 4247919/2968330
125.68/123.03	c cleaning 62997 clauses out of 126008 with flag 4378549/3032330
130.16/127.51	c cleaning 64002 clauses out of 128011 with flag 4513146/3097330
134.74/132.09	c cleaning 65004 clauses out of 130009 with flag 4648808/3163330
139.52/136.83	c cleaning 65999 clauses out of 132006 with flag 4788579/3230331
144.72/142.07	c cleaning 67004 clauses out of 134007 with flag 4932429/3298331
148.91/146.19	c cleaning 67993 clauses out of 136002 with flag 5075690/3367330
152.19/149.44	c cleaning 69003 clauses out of 138009 with flag 5221656/3437330
156.48/153.78	c cleaning 69999 clauses out of 140007 with flag 5385126/3508331
159.98/157.25	c cleaning 70999 clauses out of 142008 with flag 5539084/3580331
163.66/160.82	c cleaning 71997 clauses out of 144009 with flag 5697683/3653331
166.75/163.91	c cleaning 72999 clauses out of 146013 with flag 5860904/3727332
170.25/167.46	c cleaning 74003 clauses out of 148013 with flag 6023269/3802331
175.45/172.02	c cleaning 74998 clauses out of 150009 with flag 6180625/3878330
178.33/174.99	c cleaning 76005 clauses out of 152011 with flag 6339274/3955330
183.87/180.41	c cleaning 76996 clauses out of 154006 with flag 6515198/4033330
188.13/184.66	c cleaning 78004 clauses out of 156011 with flag 6688419/4112331
192.33/188.87	c cleaning 78999 clauses out of 158007 with flag 6855929/4192331
197.11/193.66	c cleaning 80000 clauses out of 160009 with flag 7022024/4273332
201.84/198.24	c cleaning 81002 clauses out of 162008 with flag 7190095/4355331
206.34/202.77	c cleaning 81999 clauses out of 164006 with flag 7360283/4438331
211.13/207.53	c cleaning 82999 clauses out of 166007 with flag 7531394/4522331
215.74/212.06	c cleaning 84003 clauses out of 168007 with flag 7704958/4607330
219.73/216.10	c cleaning 84997 clauses out of 170005 with flag 7881004/4693331
226.91/223.22	c cleaning 85998 clauses out of 172008 with flag 8085530/4780331
233.58/229.82	c cleaning 87000 clauses out of 174010 with flag 8290800/4868331
238.97/235.21	c cleaning 88000 clauses out of 176010 with flag 8479551/4957331
245.16/241.43	c cleaning 89003 clauses out of 178010 with flag 8669932/5047331
250.01/246.23	c cleaning 89997 clauses out of 180006 with flag 8872706/5138330
256.00/252.24	c cleaning 91000 clauses out of 182009 with flag 9090776/5230330
261.69/257.91	c cleaning 91999 clauses out of 184009 with flag 9279464/5323330
267.18/263.38	c cleaning 92998 clauses out of 186011 with flag 9481194/5417331
272.17/268.32	c cleaning 94003 clauses out of 188013 with flag 9676091/5512331
277.36/273.58	c cleaning 95004 clauses out of 190010 with flag 9872098/5608331
286.85/283.06	c cleaning 96000 clauses out of 192006 with flag 10101742/5705331
295.02/291.25	c cleaning 97000 clauses out of 194006 with flag 10300215/5803331
301.81/298.05	c cleaning 97995 clauses out of 196005 with flag 10500370/5902330
308.80/305.05	c cleaning 99001 clauses out of 198010 with flag 10702332/6002330
315.78/312.08	c cleaning 100001 clauses out of 200009 with flag 10906051/6103330
324.26/320.58	c cleaning 100998 clauses out of 202010 with flag 11110486/6205332
334.24/330.58	c cleaning 102002 clauses out of 204014 with flag 11317407/6308334
342.82/339.17	c cleaning 102997 clauses out of 206010 with flag 11528086/6412332
352.40/348.70	c cleaning 103999 clauses out of 208011 with flag 11740982/6517330
362.17/358.52	c cleaning 105001 clauses out of 210012 with flag 11955204/6623330
371.46/367.80	c cleaning 106002 clauses out of 212011 with flag 12171630/6730330
380.75/377.13	c cleaning 107005 clauses out of 214011 with flag 12391573/6838332
390.21/386.64	c cleaning 107999 clauses out of 216005 with flag 12610850/6947331
403.98/400.48	c cleaning 108997 clauses out of 218005 with flag 12834135/7057330
416.66/413.16	c cleaning 110004 clauses out of 220009 with flag 13058520/7168331
428.54/425.09	c cleaning 111000 clauses out of 222004 with flag 13284825/7280330
442.30/438.88	c cleaning 111995 clauses out of 224004 with flag 13515325/7393330
453.31/449.30	c cleaning 112999 clauses out of 226009 with flag 13747561/7507330
464.29/460.33	c cleaning 114005 clauses out of 228011 with flag 13981641/7622331
474.26/470.31	c cleaning 114994 clauses out of 230005 with flag 14217597/7738330
480.18/476.09	c cleaning 116002 clauses out of 232011 with flag 14457562/7855330
486.27/482.12	c cleaning 117002 clauses out of 234009 with flag 14707715/7973330
496.73/491.55	c cleaning 118001 clauses out of 236008 with flag 14957331/8092331
505.72/500.50	c cleaning 118998 clauses out of 238006 with flag 15202451/8212330
514.40/509.28	c cleaning 119996 clauses out of 240008 with flag 15459041/8333330
521.68/516.54	c cleaning 121006 clauses out of 242012 with flag 15720927/8455330
529.35/524.15	c cleaning 122004 clauses out of 244007 with flag 15968690/8578331
536.92/531.71	c cleaning 123002 clauses out of 246003 with flag 16218676/8702331
542.80/537.69	c cleaning 123997 clauses out of 248000 with flag 16471500/8827330
551.49/546.35	c cleaning 124997 clauses out of 250003 with flag 16752125/8953330
561.34/556.09	c cleaning 126001 clauses out of 252007 with flag 17042572/9080331
572.01/566.79	c cleaning 127000 clauses out of 254006 with flag 17309283/9208331
584.48/579.29	c cleaning 128000 clauses out of 256006 with flag 17570603/9337331
592.57/587.23	c cleaning 128995 clauses out of 258005 with flag 17832286/9467330
601.86/596.52	c cleaning 129997 clauses out of 260010 with flag 18101093/9598330
608.14/602.81	c cleaning 131002 clauses out of 262013 with flag 18372973/9730330
614.35/609.02	c cleaning 131998 clauses out of 264012 with flag 18648858/9863331
620.92/615.53	c cleaning 132997 clauses out of 266014 with flag 18923391/9997331
627.90/622.54	c cleaning 134006 clauses out of 268018 with flag 19202081/10132332
636.37/630.88	c cleaning 135000 clauses out of 270012 with flag 19511969/10268332
646.75/641.21	c cleaning 136003 clauses out of 272010 with flag 19852898/10405330
654.39/648.78	c cleaning 136998 clauses out of 274008 with flag 20133857/10543331
661.28/655.61	c cleaning 137998 clauses out of 276009 with flag 20429010/10682330
672.85/667.20	c cleaning 139000 clauses out of 278012 with flag 20762152/10822331
683.88/678.23	c cleaning 140002 clauses out of 280011 with flag 21097727/10963330
695.67/690.02	c cleaning 141003 clauses out of 282010 with flag 21441393/11105331
716.70/711.06	c cleaning 141997 clauses out of 284006 with flag 21789582/11248330
727.68/722.10	c cleaning 143001 clauses out of 286009 with flag 22089336/11392330
740.31/734.69	c cleaning 143998 clauses out of 288009 with flag 22381632/11537331
752.59/746.94	c cleaning 144998 clauses out of 290011 with flag 22729983/11683331
762.71/757.08	c cleaning 146007 clauses out of 292014 with flag 23064514/11830332
769.68/763.99	c cleaning 146998 clauses out of 294006 with flag 23366125/11978331
780.36/774.64	c cleaning 148000 clauses out of 296008 with flag 23673512/12127331
789.31/783.56	c cleaning 148998 clauses out of 298007 with flag 23984866/12277330
800.49/794.70	c cleaning 150002 clauses out of 300011 with flag 24324922/12428332
821.76/814.61	c cleaning 151000 clauses out of 302007 with flag 24702119/12580330
832.75/825.63	c cleaning 152000 clauses out of 304007 with flag 25070009/12733330
846.76/839.62	c cleaning 153004 clauses out of 306010 with flag 25399520/12887333
860.63/853.54	c cleaning 153994 clauses out of 308003 with flag 25714250/13042330
877.73/870.58	c cleaning 155001 clauses out of 310009 with flag 26034714/13198330
894.11/887.01	c cleaning 156003 clauses out of 312011 with flag 26356331/13355333
907.00/899.77	c cleaning 156993 clauses out of 314005 with flag 26678510/13513330
920.58/913.39	c cleaning 158004 clauses out of 316012 with flag 27003091/13672330
933.36/926.04	c cleaning 159000 clauses out of 318009 with flag 27328477/13832331
952.42/945.17	c cleaning 159997 clauses out of 320008 with flag 27656295/13993330
970.49/963.18	c cleaning 161003 clauses out of 322012 with flag 27987403/14155331
983.06/975.76	c cleaning 161998 clauses out of 324008 with flag 28319574/14318330
1000.82/993.46	c cleaning 163002 clauses out of 326011 with flag 28651790/14482331
1018.29/1010.90	c cleaning 163995 clauses out of 328008 with flag 28988886/14647330
1034.78/1027.36	c cleaning 165005 clauses out of 330013 with flag 29331630/14813330
1054.10/1046.60	c cleaning 166002 clauses out of 332009 with flag 29675263/14980331
1077.96/1070.47	c cleaning 167002 clauses out of 334006 with flag 30017773/15148330
1107.91/1100.30	c cleaning 168002 clauses out of 336004 with flag 30362763/15317330
1127.97/1120.42	c cleaning 168995 clauses out of 338002 with flag 30707531/15487330
1147.23/1139.64	c cleaning 170004 clauses out of 340007 with flag 31059115/15658330
1163.35/1155.76	c cleaning 170999 clauses out of 342004 with flag 31409414/15830331
1183.21/1175.55	c cleaning 172003 clauses out of 344005 with flag 31761341/16003331
1207.62/1200.00	c cleaning 172999 clauses out of 346002 with flag 32114370/16177331
1242.63/1234.94	c cleaning 173994 clauses out of 348003 with flag 32468980/16352331
1280.62/1272.99	c cleaning 175005 clauses out of 350009 with flag 32828457/16528331
1328.72/1321.04	c cleaning 176002 clauses out of 352003 with flag 33187581/16705330
1343.88/1336.17	c cleaning 177000 clauses out of 354002 with flag 33548358/16883331
1361.73/1353.99	c cleaning 177998 clauses out of 356002 with flag 33908265/17062331
1376.01/1368.29	c cleaning 178998 clauses out of 358004 with flag 34271551/17242331
1401.63/1393.82	c cleaning 180000 clauses out of 360005 with flag 34636667/17423330
1414.44/1406.54	c cleaning 180998 clauses out of 362006 with flag 35005089/17605331
1428.92/1420.93	c cleaning 181998 clauses out of 364008 with flag 35374776/17788331
1449.59/1441.69	c cleaning 183000 clauses out of 366009 with flag 35748956/17972330
1472.04/1464.06	c cleaning 184001 clauses out of 368009 with flag 36122218/18157330
1492.03/1482.72	c cleaning 184999 clauses out of 370008 with flag 36496513/18343330
1513.10/1503.78	c cleaning 186000 clauses out of 372011 with flag 36873486/18530332
1532.57/1523.24	c cleaning 187002 clauses out of 374010 with flag 37253052/18718331
1552.53/1543.27	c cleaning 187997 clauses out of 376008 with flag 37634161/18907331
1578.80/1569.45	c cleaning 189006 clauses out of 378011 with flag 38018767/19097331
1612.18/1602.74	c cleaning 189994 clauses out of 380004 with flag 38406246/19288330
1640.93/1631.54	c cleaning 190999 clauses out of 382011 with flag 38798189/19480331
1672.39/1662.90	c cleaning 192000 clauses out of 384011 with flag 39189797/19673330
1711.32/1701.89	c cleaning 193001 clauses out of 386011 with flag 39581469/19867330
1737.78/1728.23	c cleaning 194005 clauses out of 388010 with flag 39977393/20062330
1768.15/1758.53	c cleaning 194999 clauses out of 390007 with flag 40376392/20258332
1799.80/1790.23	c cleaning 196002 clauses out of 392007 with flag 40779640/20455331
1820.06/1810.56	c cleaning 196998 clauses out of 394004 with flag 41181529/20653330
1838.57/1828.92	c cleaning 197999 clauses out of 396006 with flag 41583220/20852330
1855.56/1845.88	c cleaning 199000 clauses out of 398008 with flag 41988352/21052331
1871.97/1862.19	c cleaning 200001 clauses out of 400008 with flag 42393683/21253331
1884.23/1874.48	c cleaning 201001 clauses out of 402007 with flag 42801233/21455331
1901.63/1891.81	c cleaning 201999 clauses out of 404006 with flag 43214398/21658331
1917.11/1907.36	c cleaning 202998 clauses out of 406007 with flag 43631583/21862331
1932.60/1922.85	c cleaning 204002 clauses out of 408008 with flag 44046708/22067330
1949.54/1939.70	c cleaning 205003 clauses out of 410006 with flag 44470793/22273330
1970.08/1960.19	c cleaning 205994 clauses out of 412004 with flag 44955084/22480331
2005.22/1995.34	c cleaning 207001 clauses out of 414011 with flag 45431783/22688332
2029.26/2019.40	c cleaning 207996 clauses out of 416009 with flag 45915611/22897331
2048.27/2038.29	c cleaning 209005 clauses out of 418013 with flag 46387750/23107331
2077.99/2067.97	c cleaning 209999 clauses out of 420007 with flag 46871377/23318330
2108.52/2098.75	c cleaning 210999 clauses out of 422008 with flag 47388102/23530330
2139.67/2129.99	c cleaning 212000 clauses out of 424010 with flag 47911914/23743331
2172.52/2162.64	c cleaning 212997 clauses out of 426010 with flag 48441848/23957331
2204.85/2194.88	c cleaning 213997 clauses out of 428012 with flag 48972697/24172330
2229.80/2219.85	c cleaning 215001 clauses out of 430015 with flag 49476806/24388330
2262.74/2252.74	c cleaning 215998 clauses out of 432014 with flag 50010893/24605330
2283.85/2273.85	c cleaning 217009 clauses out of 434018 with flag 50510611/24823332
2304.01/2293.92	c cleaning 218000 clauses out of 436007 with flag 50996696/25042330
2331.86/2321.87	c cleaning 218999 clauses out of 438008 with flag 51488236/25262331
2355.63/2345.53	c cleaning 219998 clauses out of 440010 with flag 52013423/25483332
2373.42/2363.14	c cleaning 221002 clauses out of 442010 with flag 52502788/25705330
2395.67/2385.47	c cleaning 222000 clauses out of 444009 with flag 53000416/25928331
2433.82/2422.35	c cleaning 222998 clauses out of 446008 with flag 53548284/26152330
2466.60/2455.01	c cleaning 223996 clauses out of 448010 with flag 54095164/26377330
2493.46/2481.87	c cleaning 225003 clauses out of 450015 with flag 54559328/26603331
2517.52/2505.84	c cleaning 226000 clauses out of 452011 with flag 55060238/26830330
2555.26/2543.60	c cleaning 227000 clauses out of 454013 with flag 55620882/27058332
2584.98/2573.22	c cleaning 227995 clauses out of 456012 with flag 56176722/27287331
2611.42/2599.66	c cleaning 229000 clauses out of 458018 with flag 56719152/27517332
2638.77/2627.00	c cleaning 230007 clauses out of 460018 with flag 57255047/27748332
2660.95/2649.07	c cleaning 231001 clauses out of 462010 with flag 57754273/27980331
2684.81/2672.89	c cleaning 232000 clauses out of 464009 with flag 58239293/28213331
2705.88/2693.88	c cleaning 232998 clauses out of 466008 with flag 58723577/28447330
2727.52/2715.48	c cleaning 234002 clauses out of 468011 with flag 59212031/28682331
2748.09/2735.95	c cleaning 235000 clauses out of 470009 with flag 59698438/28918331
2769.18/2757.00	c cleaning 235999 clauses out of 472009 with flag 60187009/29155331
2798.58/2786.22	c cleaning 236999 clauses out of 474010 with flag 60697487/29393331
2824.20/2811.73	c cleaning 237999 clauses out of 476011 with flag 61229279/29632331
2869.81/2857.29	c cleaning 239000 clauses out of 478012 with flag 61854279/29872331
2917.03/2904.33	c cleaning 240002 clauses out of 480011 with flag 62472951/30113330
2961.01/2948.26	c cleaning 240999 clauses out of 482009 with flag 63094905/30355330
3013.56/3000.74	c cleaning 242001 clauses out of 484010 with flag 63732655/30598330
3043.12/3030.24	c cleaning 243002 clauses out of 486010 with flag 64235046/30842331
3074.47/3061.61	c cleaning 244000 clauses out of 488007 with flag 64740311/31087330
3117.24/3104.46	c cleaning 244999 clauses out of 490008 with flag 65365436/31333331
3164.31/3151.46	c cleaning 245997 clauses out of 492009 with flag 65973812/31580331
3188.64/3174.34	c cleaning 247001 clauses out of 494012 with flag 66521586/31828331
3214.44/3200.14	c cleaning 248001 clauses out of 496011 with flag 67023477/32077331
3234.80/3220.43	c cleaning 248997 clauses out of 498009 with flag 67528356/32327330
3263.06/3248.69	c cleaning 250005 clauses out of 500013 with flag 68034647/32578331
3283.98/3269.53	c cleaning 250999 clauses out of 502009 with flag 68548351/32830332
3351.71/3337.37	c cleaning 252001 clauses out of 504008 with flag 69060733/33083330
3378.79/3364.21	c cleaning 253003 clauses out of 506007 with flag 69573901/33337330
3409.69/3395.25	c cleaning 253995 clauses out of 508004 with flag 70088026/33592330
3439.92/3425.48	c cleaning 254998 clauses out of 510010 with flag 70606132/33848331
3469.29/3454.74	c cleaning 256001 clauses out of 512012 with flag 71128694/34105331
3516.69/3502.29	c cleaning 257006 clauses out of 514011 with flag 71650219/34363331
3546.73/3532.24	c cleaning 257993 clauses out of 516005 with flag 72173874/34622331
3594.75/3580.17	c cleaning 259001 clauses out of 518013 with flag 72822484/34882332
3600.02/3585.42	c starts		: 183324
3600.02/3585.43	c conflicts		: 34944404
3600.02/3585.43	c decisions		: 50042475
3600.02/3585.43	c propagations		: 390631076
3600.02/3585.43	c inspects		: 41521422276
3600.02/3585.43	c shortcuts		: 0
3600.02/3585.43	c learnt literals	: 0
3600.02/3585.43	c learnt binary clauses	: 267
3600.02/3585.43	c learnt ternary clauses	: 542
3600.02/3585.43	c learnt constraints	: 34944404
3600.02/3585.43	c ignored constraints	: 0
3600.02/3585.43	c root simplifications	: 0
3600.02/3585.43	c removed literals (reason simplification)	: 0
3600.02/3585.43	c reason swapping (by a shorter reason)	: 0
3600.02/3585.43	c Calls to reduceDB	: 320
3600.02/3585.43	c Number of update (reduction) of LBD	: 803517
3600.02/3585.43	c Imported unit clauses	: 0
3600.02/3585.43	c No decision after first conflict	: false
3600.02/3585.43	c number of reductions to clauses (during analyze)	: 0
3600.02/3585.43	c number of learned constraints concerned by reduction	: 0
3600.02/3585.43	c number of learning phase by resolution	: 0
3600.02/3585.43	c number of learning phase by cutting planes	: 0
3600.02/3585.43	c number of rounding to 1 operations	: 0
3600.02/3585.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3585.43	c number of reductions of the coefficients by power 2 	: 0
3600.02/3585.43	c number of right shift for reduction by power 2 	: 0
3600.02/3585.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3585.43	c number of ending skipping 	: 0
3600.02/3585.44	c number of internal skipping 	: 0
3600.02/3585.44	c number of derivation steps 	: 0
3600.02/3585.44	c number of skipped derivation steps 	: 0
3600.02/3585.44	c number of remaining unassigned 	: 0
3600.02/3585.44	c number of remaining assigned 	: 0
3600.02/3585.44	c number of falsified literals weakened from reason	: 0
3600.02/3585.44	c number of falsified literals weakened from conflict	: 0
3600.02/3585.44	c time for arithmetic operations	: 0
3600.02/3585.44	c minimum degree of deleted constraints	: null
3600.02/3585.44	c maximum degree of deleted constraints	: null
3600.02/3585.44	c number of deleted constraints	: 0
3600.02/3585.45	c speed (assignments/second)	: 108964.01098479619
3600.02/3585.45	c non guided choices	: 0
3600.24/3585.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 320817
3600.24/3585.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 267
3600.24/3585.58	s SATISFIABLE
3600.24/3585.58	c Found 7 solution(s)
3600.24/3585.58	v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 
3600.24/3585.58	c objective function=-81
3600.24/3585.58	c Total wall clock time (in seconds): 3585.233

Verifier Data 

OK	-81

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: 64059 MiB (59315 MiB free)
  memory of node 1: 64510 MiB (59184 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432519-1721172646/watcher-4432519-1721172646 -o /tmp/evaluation-result-4432519-1721172646/solver-4432519-1721172646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870216 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432519-1721172646.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=875283, runsolver pid=875280

[startup+0.10007 s]*
/proc/loadavg: 4.68 4.44 4.30 7/321 875301
/proc/meminfo: memFree=121308376/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=18975048 memory=57716 CPUtime=0.12 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 6347 0 0 0 9 3 0 0 20 0 18 0 169423859 19430449152 14429 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4743762 14429 5693 1 0 550778 0
[pid=875283/tid=875285] ppid=875280 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 5296 0 0 0 5 3 0 0 20 0 18 0 169423860 19430449152 14429 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169423865 19430449152 14429 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=18975048 memory=15823283178361512 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169423866 19430449152 14429 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57716 KiB

[startup+0.217663 s]*
/proc/loadavg: 4.62 4.43 4.29 7/321 875301
/proc/meminfo: memFree=121305436/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=18975048 memory=60460 CPUtime=0.29 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 7003 0 0 0 25 4 0 0 20 0 18 0 169423859 19430449152 15115 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4743762 15115 5718 1 0 551323 0
[pid=875283/tid=875285] ppid=875280 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 1077936192 5617 0 0 0 15 3 0 0 20 0 18 0 169423860 19430449152 15115 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=18975048 memory=1645 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169423865 19430449152 15115 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169423866 19430449152 15115 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60460 KiB

[startup+0.320795 s]*
/proc/loadavg: 4.62 4.43 4.29 7/321 875301
/proc/meminfo: memFree=121300248/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=18975048 memory=65420 CPUtime=0.43 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 7243 0 0 0 38 5 0 0 20 0 18 0 169423859 19430449152 16355 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4743762 16355 5727 1 0 551499 0
[pid=875283/tid=875285] ppid=875280 vsize=18975048 memory=-9175354609161839292 CPUtime=0.25 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 1077936192 5762 0 0 0 22 3 0 0 20 0 18 0 169423860 19430449152 16355 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169423865 19430449152 16355 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169423866 19430449152 16355 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65420 KiB

[startup+0.700935 s]
/proc/loadavg: 4.62 4.43 4.29 7/322 875302
/proc/meminfo: memFree=121296884/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19041612 memory=76152 CPUtime=1.1 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 9476 0 0 0 104 6 0 0 20 0 19 0 169423859 19498610688 19038 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4760403 19038 5901 1 0 553105 0
[pid=875283/tid=875285] ppid=875280 vsize=19041612 memory=5424 CPUtime=0.57 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 5986 0 0 0 53 4 0 0 20 0 19 0 169423860 19498610688 19038 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19041612 memory=11948 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169423865 19498610688 19038 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19041612 memory=279778599166632 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169423866 19498610688 19038 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169423908 19498610688 19038 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76152 KiB

[startup+1.50893 s]
/proc/loadavg: 4.62 4.43 4.29 7/322 875302
/proc/meminfo: memFree=121280508/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19041612 memory=98932 CPUtime=2.69 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 17632 0 0 0 261 8 0 0 20 0 19 0 169423859 19498610688 24733 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4760403 24733 5901 1 0 555561 0
[pid=875283/tid=875285] ppid=875280 vsize=19041612 memory=11948 CPUtime=1.35 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 7008 0 0 0 131 4 0 0 20 0 19 0 169423860 19498610688 24733 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169423865 19498610688 24733 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169423866 19498610688 24733 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19041612 memory=22639 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169423908 19498610688 24733 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98932 KiB

[startup+3.10594 s]
/proc/loadavg: 4.62 4.43 4.29 5/322 875304
/proc/meminfo: memFree=121197452/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19041612 memory=174936 CPUtime=4.96 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 22205 0 0 0 486 10 0 0 20 0 19 0 169423859 19498610688 43734 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4760403 43734 5901 1 0 557590 0
[pid=875283/tid=875285] ppid=875280 vsize=19041612 memory=0 CPUtime=2.94 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 7380 0 0 0 288 6 0 0 20 0 19 0 169423860 19498610688 43734 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169423865 19498610688 43734 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19041612 memory=11948 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169423866 19498610688 43734 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19041612 memory=11656 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169423908 19498610688 43734 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 4.96 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 174936 KiB

[startup+6.30047 s]
/proc/loadavg: 4.57 4.42 4.29 5/323 875305
/proc/meminfo: memFree=121148132/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=217960 CPUtime=8.32 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 23415 0 0 0 819 13 0 0 20 0 20 0 169423859 19566772224 54490 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 54490 5933 1 0 557880 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=11948 CPUtime=5.98 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 7529 0 0 0 592 6 0 0 20 0 20 0 169423860 19566772224 54490 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 54490 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 54490 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=2308 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 54490 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 8.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 217960 KiB

[startup+12.7005 s]
/proc/loadavg: 4.53 4.41 4.29 5/323 875305
/proc/meminfo: memFree=121082100/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=283852 CPUtime=14.71 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 24924 0 0 0 1456 15 0 0 20 0 20 0 169423859 19566772224 70963 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 70963 5933 1 0 557880 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=0 CPUtime=12.13 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 8102 0 0 0 1207 6 0 0 20 0 20 0 169423860 19566772224 70963 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=283852 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 70963 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=2208 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 70963 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 70963 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 14.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 283852 KiB

[startup+25.5089 s]
/proc/loadavg: 4.44 4.40 4.29 5/323 875308
/proc/meminfo: memFree=120745728/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=619440 CPUtime=27.86 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 32094 0 0 0 2763 23 0 0 20 0 20 0 169423859 19566772224 154860 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 154860 5933 1 0 691555 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=283852 CPUtime=24.35 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 10034 0 0 0 2427 8 0 0 20 0 20 0 169423860 19566772224 154860 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 154860 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=571916 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 154860 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=-9175354609161839292 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 154860 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 27.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 619440 KiB

[startup+51.1119 s]
/proc/loadavg: 4.46 4.41 4.29 5/323 875311
/proc/meminfo: memFree=120296984/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=1067052 CPUtime=53.42 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 35946 0 0 0 5304 38 0 0 20 0 20 0 169423859 19566772224 266763 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 266763 5965 1 0 956836 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=938752 CPUtime=48.86 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 11137 0 0 0 4875 11 0 0 20 0 20 0 169423860 19566772224 266763 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 266763 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0

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

/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 1240819 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=4911076 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 2319 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 1240819 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=4963276 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 1240819 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 3236.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4963276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.26 4.21 6/319 877058
/proc/meminfo: memFree=80842432/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=4963336 CPUtime=3296.81 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 265303 0 0 0 329373 308 0 0 20 0 20 0 169423859 19566772224 1240834 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 1240834 5965 1 0 1287695 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=4963312 CPUtime=3253.45 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 107987 0 0 0 325290 55 0 0 20 0 20 0 169423860 19566772224 1240834 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=4963312 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 1240834 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=4963336 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 2406 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 1240834 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=4963336 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 1240834 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 3296.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4963336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.23 4.20 6/319 877070
/proc/meminfo: memFree=80838676/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=4967256 CPUtime=3356.76 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 265606 0 0 0 335366 310 0 0 20 0 20 0 169423859 19566772224 1241814 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 1241814 5965 1 0 1287695 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=4967256 CPUtime=3313.1 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 108136 0 0 0 331254 56 0 0 20 0 20 0 169423860 19566772224 1241814 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=4963340 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 1241814 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=-8621784576454278809 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 2417 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 1241814 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=11656 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 1241814 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 3356.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4967256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.25 4.20 6/319 877080
/proc/meminfo: memFree=80834172/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=4967376 CPUtime=3416.86 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 265881 0 0 0 341373 313 0 0 20 0 20 0 169423859 19566772224 1241844 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 1241844 5965 1 0 1287695 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=11656 CPUtime=3372.65 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 108205 0 0 0 337209 56 0 0 20 0 20 0 169423860 19566772224 1241844 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=11948 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 1241844 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=11656 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 2417 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 1241844 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=4967376 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 1241844 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 3416.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4967376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.22 4.19 6/321 877260
/proc/meminfo: memFree=80194556/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=4967384 CPUtime=3476.87 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 266090 0 0 0 347372 315 0 0 20 0 20 0 169423859 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 1241846 5965 1 0 1287695 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=11948 CPUtime=3432.34 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 108274 0 0 0 343178 56 0 0 20 0 20 0 169423860 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=11656 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=41964 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 2417 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=11656 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 3476.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4967384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.19 4.18 6/321 877271
/proc/meminfo: memFree=80190612/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=4967384 CPUtime=3536.84 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 266181 0 0 0 353366 318 0 0 20 0 20 0 169423859 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 1241846 5965 1 0 1287695 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=4967384 CPUtime=3492.07 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 108293 0 0 0 349151 56 0 0 20 0 20 0 169423860 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=4967384 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=4967384 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 2417 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=4967384 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 3536.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4967384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.20 4.18 6/321 877339
/proc/meminfo: memFree=80187552/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=4967384 CPUtime=3596.93 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 267476 0 0 0 359372 321 0 0 20 0 20 0 169423859 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 1241846 5965 1 0 1287695 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=4967384 CPUtime=3551.69 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 108775 0 0 0 355113 56 0 0 20 0 20 0 169423860 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=2208 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=4967384 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 2418 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=11656 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 3596.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4967384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.4 s]
/proc/loadavg: 4.21 4.20 4.18 6/321 877340
/proc/meminfo: memFree=80187720/131655788 swapFree=131071996/131071996
[pid=875283] ppid=875280 vsize=19108176 memory=4967384 CPUtime=3600.02 cores=5,7
/proc/875283/stat : 875283 (java) S 875280 875283 870201 0 -1 1077936128 267477 0 0 0 359681 321 0 0 20 0 20 0 169423859 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
/proc/875283/statm: 4777044 1241846 5965 1 0 1287695 0
[pid=875283/tid=875285] ppid=875280 vsize=19108176 memory=11612 CPUtime=3554.78 cores=5,7
/proc/875283/task/875285/stat : 875285 (java) R 875280 875283 870201 0 -1 4194368 108776 0 0 0 355422 56 0 0 20 0 20 0 169423860 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875294] ppid=875280 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/875283/task/875294/stat : 875294 (Finalizer) S 875280 875283 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169423865 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875301] ppid=875280 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/875283/task/875301/stat : 875301 (Common-Cleaner) S 875280 875283 870201 0 -1 1077936192 2418 0 0 0 0 0 0 0 20 0 20 0 169423866 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
[pid=875283/tid=875302] ppid=875280 vsize=19108176 memory=2676 CPUtime=0 cores=5,7
/proc/875283/task/875302/stat : 875302 (Timer-0) S 875280 875283 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169423908 19566772224 1241846 134679101440 94785467162624 94785467166320 140735031117392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94785467174136 94785467174928 94785488617472 140735031124999 140735031125089 140735031125089 140735031132104 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4967384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.19 s, system=3.24776 s

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

[startup+3585.61 s]*
/proc/loadavg: 4.21 4.20 4.18 5/303 877343
/proc/meminfo: memFree=85081736/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3585.63
CPU time (s): 3600.43
CPU user time (s): 3597.19
CPU system time (s): 3.24776
CPU usage (%): 100.413
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4968088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.19
system time used= 3.24776
maximum resident set size= 4968568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111334
involuntary context switches= 4551


# summary of solver processes directly reported to runsolver:
#   pid: 875283
#   total CPU time (s): 3600.43
#   total CPU user time (s): 3597.19
#   total CPU system time (s): 3.24776

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2038 second user time and 36.5616 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-17 01:30:58
IDJOB=4432519
IDBENCH=158535
IDSOLVER=3058
FILE ID=nodeC010/4432519-1721172646
RUNJOBID= nodeC010-1721165691-870216
SLURM_JOB_ID= 7505790
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432519-1721172646/watcher-4432519-1721172646 -o /tmp/evaluation-result-4432519-1721172646/solver-4432519-1721172646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870216 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432519-1721172646.opb

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

MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d
RANDOM SEED=1192514306

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3563.018
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.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	: 0xb00001f
cpu MHz		: 3611.212
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.299
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.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	: 0xb00001f
cpu MHz		: 1197.250
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3535.622
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.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	: 0xb00001f
cpu MHz		: 3491.775
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.310
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.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	: 0xb00001f
cpu MHz		: 1197.179
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121345384 kB
MemAvailable:   125740316 kB
Buffers:          438660 kB
Cached:          4742164 kB
SwapCached:            0 kB
Active:           806792 kB
Inactive:        8840812 kB
Active(anon):       1464 kB
Inactive(anon):  4502732 kB
Active(file):     805328 kB
Inactive(file):  4338080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:       4466380 kB
Mapped:           125840 kB
Shmem:             37704 kB
KReclaimable:     183108 kB
Slab:             292576 kB
SReclaimable:     183108 kB
SUnreclaim:       109468 kB
KernelStack:        4860 kB
PageTables:        19060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7467652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4229120 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:      234312 kB
DirectMap2M:    29030400 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC010 at 2024-07-17 02:30:43