Trace number 4432227

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)216 3600.35 3554.68

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
MD5SUM15e811bd466a2fe28afb8f0d217d004b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark183
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 476
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432227-1721088832.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.16	c ... done. Wall clock time 0.035s.
0.13/0.16	c declared #vars     476
0.13/0.16	c #constraints  476
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 476
0.13/0.16	c 476 constraints processed.
0.13/0.17	c objective function length is 476 literals
0.13/0.18	c SATISFIABLE
0.13/0.18	c OPTIMIZING...
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.055
0.13/0.18	o 227
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.066
0.13/0.19	o 226
0.13/0.20	c Got one! Elapsed wall clock time (in seconds):0.072
0.13/0.20	o 225
0.13/0.20	c Got one! Elapsed wall clock time (in seconds):0.076
0.13/0.20	o 224
0.33/0.21	c Got one! Elapsed wall clock time (in seconds):0.086
0.33/0.21	o 223
0.33/0.21	c Got one! Elapsed wall clock time (in seconds):0.09
0.33/0.21	o 222
0.33/0.26	c Got one! Elapsed wall clock time (in seconds):0.124
0.33/0.26	o 221
0.33/0.27	c Got one! Elapsed wall clock time (in seconds):0.146
0.33/0.27	o 220
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.173
0.52/0.31	o 219
1.29/0.79	c cleaning 2854 clauses out of 5720 with flag 10843/5720
1.86/1.06	c cleaning 4425 clauses out of 8866 with flag 23394/11720
2.28/1.31	c cleaning 5712 clauses out of 11441 with flag 37964/18720
2.39/1.48	c Got one! Elapsed wall clock time (in seconds):1.354
2.39/1.48	o 218
2.50/1.53	c cleaning 5830 clauses out of 11674 with flag 2084/24665
2.71/1.78	c cleaning 5915 clauses out of 11844 with flag 15026/30665
3.01/2.08	c cleaning 6457 clauses out of 12929 with flag 29829/37665
3.36/2.37	c cleaning 7229 clauses out of 14473 with flag 46497/45666
3.78/2.77	c cleaning 8116 clauses out of 16245 with flag 65250/54667
4.18/3.16	c cleaning 9059 clauses out of 18128 with flag 85983/64666
4.72/3.67	c cleaning 10029 clauses out of 20068 with flag 109246/75665
5.22/4.17	c cleaning 11013 clauses out of 22039 with flag 134388/87665
5.96/4.83	c cleaning 12002 clauses out of 24026 with flag 161772/100665
6.57/5.48	c cleaning 13000 clauses out of 26024 with flag 191196/114665
7.44/6.22	c cleaning 14004 clauses out of 28025 with flag 222698/129666
8.17/6.94	c cleaning 15004 clauses out of 30020 with flag 256126/145665
8.99/7.78	c cleaning 16001 clauses out of 32016 with flag 291538/162665
9.88/8.69	c cleaning 16998 clauses out of 34015 with flag 329086/180665
11.03/9.73	c cleaning 18001 clauses out of 36017 with flag 368661/199665
11.83/10.59	c cleaning 19001 clauses out of 38017 with flag 410680/219666
12.91/11.53	c cleaning 19996 clauses out of 40015 with flag 454813/240665
13.90/12.52	c cleaning 21000 clauses out of 42021 with flag 500633/262667
15.04/13.64	c cleaning 22000 clauses out of 44019 with flag 548838/285665
16.42/14.93	c cleaning 22997 clauses out of 46020 with flag 599098/309666
17.71/16.21	c cleaning 24004 clauses out of 48022 with flag 651448/334665
19.35/17.82	c cleaning 25001 clauses out of 50019 with flag 705754/360666
21.05/19.42	c cleaning 25996 clauses out of 52017 with flag 762529/387665
22.73/21.06	c cleaning 27002 clauses out of 54022 with flag 820946/415666
24.42/22.74	c cleaning 27999 clauses out of 56020 with flag 881604/444666
26.59/24.82	c cleaning 29002 clauses out of 58021 with flag 945113/474666
28.57/26.78	c cleaning 29997 clauses out of 60019 with flag 1009530/505666
30.56/28.75	c cleaning 31001 clauses out of 62021 with flag 1076243/537665
33.03/31.11	c cleaning 32003 clauses out of 64022 with flag 1145038/570667
35.39/33.44	c cleaning 32998 clauses out of 66017 with flag 1216000/604665
37.89/35.95	c cleaning 34000 clauses out of 68019 with flag 1289168/639665
40.05/38.08	c cleaning 35002 clauses out of 70020 with flag 1364239/675666
42.22/40.16	c cleaning 36000 clauses out of 72018 with flag 1441377/712666
44.50/42.36	c cleaning 36996 clauses out of 74018 with flag 1520682/750666
46.79/44.62	c cleaning 38001 clauses out of 76022 with flag 1602160/789666
49.29/47.03	c cleaning 38998 clauses out of 78021 with flag 1685754/829666
51.47/49.28	c cleaning 39999 clauses out of 80022 with flag 1771516/870665
53.98/51.72	c cleaning 41002 clauses out of 82023 with flag 1859467/912665
57.08/54.32	c cleaning 41996 clauses out of 84022 with flag 1949735/955666
59.73/57.00	c cleaning 43004 clauses out of 86027 with flag 2041588/999667
62.42/59.67	c cleaning 44001 clauses out of 88023 with flag 2135154/1044667
66.07/63.22	c cleaning 45003 clauses out of 90021 with flag 2231328/1090666
69.26/66.44	c cleaning 45999 clauses out of 92017 with flag 2329368/1137665
73.16/70.20	c cleaning 47003 clauses out of 94018 with flag 2430120/1185665
76.98/73.96	c cleaning 47997 clauses out of 96016 with flag 2532129/1234666
80.56/77.55	c cleaning 48998 clauses out of 98019 with flag 2636427/1284666
84.18/81.11	c cleaning 50002 clauses out of 100021 with flag 2743219/1335666
88.14/85.11	c cleaning 50999 clauses out of 102018 with flag 2851723/1387665
92.22/89.13	c cleaning 51997 clauses out of 104019 with flag 2961970/1440665
96.11/93.02	c cleaning 53002 clauses out of 106023 with flag 3074420/1494666
99.99/96.89	c cleaning 54002 clauses out of 108021 with flag 3189048/1549666
100.89/97.76	c Got one! Elapsed wall clock time (in seconds):97.638
100.89/97.76	o 217
101.79/98.65	c cleaning 39148 clauses out of 78310 with flag 11585/1573957
102.09/98.98	c cleaning 22574 clauses out of 45164 with flag 24023/1579959
102.39/99.22	c Got one! Elapsed wall clock time (in seconds):99.095
102.39/99.22	o 216
102.65/99.48	c cleaning 17142 clauses out of 34302 with flag 10712/1591671
103.01/99.70	c cleaning 11570 clauses out of 23159 with flag 23511/1597670
103.21/99.93	c cleaning 9287 clauses out of 18590 with flag 37990/1604671
103.50/100.21	c cleaning 8640 clauses out of 17302 with flag 54645/1612670
103.80/100.50	c cleaning 8823 clauses out of 17663 with flag 73298/1621671
104.10/100.82	c cleaning 9411 clauses out of 18839 with flag 94189/1631670
104.54/101.23	c cleaning 10202 clauses out of 20428 with flag 117423/1642670
104.93/101.68	c cleaning 11105 clauses out of 22227 with flag 142391/1654671
105.53/102.20	c cleaning 12052 clauses out of 24121 with flag 169412/1667670
106.03/102.73	c cleaning 13028 clauses out of 26069 with flag 198577/1681670
106.63/103.30	c cleaning 14008 clauses out of 28041 with flag 229719/1696670
107.23/103.93	c cleaning 15006 clauses out of 30034 with flag 262915/1712671
107.93/104.66	c cleaning 16005 clauses out of 32027 with flag 298312/1729670
108.73/105.43	c cleaning 17001 clauses out of 34023 with flag 335849/1747671
109.43/106.17	c cleaning 18003 clauses out of 36021 with flag 375503/1766670
110.21/106.99	c cleaning 18997 clauses out of 38019 with flag 417212/1786671
111.12/107.85	c cleaning 20001 clauses out of 40021 with flag 460812/1807670
112.11/108.83	c cleaning 20999 clauses out of 42021 with flag 506573/1829671
113.11/109.81	c cleaning 22003 clauses out of 44022 with flag 554743/1852671
114.11/110.88	c cleaning 22999 clauses out of 46019 with flag 605134/1876671
115.31/112.04	c cleaning 24001 clauses out of 48019 with flag 657458/1901670
116.60/113.35	c cleaning 24998 clauses out of 50018 with flag 711855/1927670
117.79/114.59	c cleaning 25999 clauses out of 52021 with flag 768202/1954671
119.40/116.19	c cleaning 27002 clauses out of 54022 with flag 827637/1982671
121.09/117.81	c cleaning 27997 clauses out of 56019 with flag 887657/2011670
122.69/119.46	c cleaning 29001 clauses out of 58024 with flag 950087/2041672
124.55/121.26	c cleaning 30001 clauses out of 60022 with flag 1014378/2072671
126.55/123.20	c cleaning 30997 clauses out of 62020 with flag 1081205/2104670
128.44/125.17	c cleaning 32004 clauses out of 64024 with flag 1149798/2137671
130.34/127.06	c cleaning 33001 clauses out of 66019 with flag 1220512/2171670
132.23/128.93	c cleaning 33998 clauses out of 68018 with flag 1293217/2206670
134.12/130.83	c cleaning 35001 clauses out of 70022 with flag 1368198/2242672
136.01/132.76	c cleaning 35997 clauses out of 72019 with flag 1445173/2279670
138.21/134.91	c cleaning 36995 clauses out of 74022 with flag 1524302/2317670
140.41/137.12	c cleaning 38000 clauses out of 76027 with flag 1605618/2356670
142.59/139.35	c cleaning 39005 clauses out of 78028 with flag 1688800/2396671
145.29/142.04	c cleaning 40001 clauses out of 80022 with flag 1773556/2437670
147.98/144.75	c cleaning 41005 clauses out of 82023 with flag 1861335/2479672
151.01/147.65	c cleaning 41999 clauses out of 84017 with flag 1950946/2522671
153.90/150.57	c cleaning 43000 clauses out of 86017 with flag 2042970/2566670
157.19/153.83	c cleaning 43999 clauses out of 88018 with flag 2136542/2611671
160.39/157.01	c cleaning 44999 clauses out of 90018 with flag 2231851/2657670
163.09/159.79	c cleaning 46003 clauses out of 92020 with flag 2329812/2704671
166.69/163.17	c cleaning 47000 clauses out of 94018 with flag 2429567/2752672
169.97/166.42	c cleaning 47998 clauses out of 96016 with flag 2531468/2801670
173.26/169.79	c cleaning 48998 clauses out of 98018 with flag 2635749/2851670
176.87/173.22	c cleaning 50003 clauses out of 100021 with flag 2742237/2902671
180.24/176.64	c cleaning 51001 clauses out of 102017 with flag 2850183/2954670
183.32/179.73	c cleaning 52000 clauses out of 104016 with flag 2960735/3007670
186.68/183.18	c cleaning 53003 clauses out of 106017 with flag 3072927/3061671
190.33/186.64	c cleaning 53999 clauses out of 108014 with flag 3187526/3116671
193.99/190.33	c cleaning 54999 clauses out of 110014 with flag 3304062/3172670
197.16/193.53	c cleaning 55995 clauses out of 112016 with flag 3422525/3229671
202.19/197.61	c cleaning 56996 clauses out of 114020 with flag 3543014/3287670
205.58/201.06	c cleaning 57998 clauses out of 116025 with flag 3665642/3346671
209.42/204.73	c cleaning 59001 clauses out of 118026 with flag 3789988/3406670
213.02/208.35	c cleaning 59996 clauses out of 120025 with flag 3916673/3467670
217.21/212.56	c cleaning 61005 clauses out of 122029 with flag 4045304/3529670
222.41/217.53	c cleaning 62002 clauses out of 124025 with flag 4175456/3592671
226.60/221.76	c cleaning 62999 clauses out of 126022 with flag 4307769/3656670
231.47/226.51	c cleaning 64003 clauses out of 128023 with flag 4442630/3721670
235.76/230.84	c cleaning 65000 clauses out of 130020 with flag 4579788/3787670
240.89/235.85	c cleaning 66000 clauses out of 132022 with flag 4719259/3854672
245.61/240.45	c cleaning 67004 clauses out of 134020 with flag 4861289/3922670
250.21/245.07	c cleaning 67997 clauses out of 136016 with flag 5005445/3991670
255.58/250.20	c cleaning 68999 clauses out of 138020 with flag 5151571/4061671
260.07/254.70	c cleaning 70000 clauses out of 140021 with flag 5299341/4132671
265.63/260.28	c cleaning 71000 clauses out of 142020 with flag 5449321/4204670
271.35/265.71	c cleaning 72002 clauses out of 144020 with flag 5601118/4277670
277.24/271.63	c cleaning 73001 clauses out of 146018 with flag 5755518/4351670
284.20/277.83	c cleaning 73996 clauses out of 148018 with flag 5912040/4426671
290.52/284.12	c cleaning 75002 clauses out of 150021 with flag 6070784/4502670
296.87/290.54	c cleaning 76003 clauses out of 152020 with flag 6231263/4579671
303.29/296.90	c cleaning 76997 clauses out of 154017 with flag 6394571/4657671
309.91/303.42	c cleaning 77999 clauses out of 156020 with flag 6558849/4736671
316.36/309.97	c cleaning 78998 clauses out of 158020 with flag 6726118/4816670
322.31/315.80	c cleaning 79999 clauses out of 160022 with flag 6895605/4897670
328.56/322.13	c cleaning 81000 clauses out of 162023 with flag 7067016/4979670
335.06/328.63	c cleaning 82001 clauses out of 164023 with flag 7241012/5062670
340.90/334.58	c cleaning 83001 clauses out of 166023 with flag 7416450/5146671
347.97/341.59	c cleaning 84001 clauses out of 168022 with flag 7593652/5231671
353.92/347.57	c cleaning 85002 clauses out of 170021 with flag 7773298/5317671
360.45/354.05	c cleaning 86000 clauses out of 172019 with flag 7955245/5404671
366.40/360.09	c cleaning 86995 clauses out of 174018 with flag 8139555/5492670
373.56/367.19	c cleaning 87999 clauses out of 176023 with flag 8325109/5581670
380.89/374.55	c cleaning 89000 clauses out of 178025 with flag 8513081/5671671
387.66/381.12	c cleaning 90000 clauses out of 180025 with flag 8703622/5762671
395.29/388.84	c cleaning 90999 clauses out of 182024 with flag 8896254/5854670
403.69/397.17	c cleaning 92007 clauses out of 184025 with flag 9112507/5947670
414.80/408.36	c cleaning 93004 clauses out of 186018 with flag 9361701/6041670
423.08/416.63	c cleaning 94002 clauses out of 188014 with flag 9612000/6136670
433.41/426.87	c cleaning 95002 clauses out of 190012 with flag 9871951/6232670
442.23/435.80	c cleaning 96000 clauses out of 192010 with flag 10129775/6329670
451.93/445.31	c cleaning 97003 clauses out of 194012 with flag 10390363/6427672
460.31/453.51	c cleaning 97997 clauses out of 196007 with flag 10651789/6526670
469.68/461.78	c cleaning 99001 clauses out of 198010 with flag 10920680/6626670
477.79/469.74	c cleaning 100002 clauses out of 200009 with flag 11179603/6727670
485.81/477.68	c cleaning 101002 clauses out of 202009 with flag 11440864/6829672
493.56/485.28	c cleaning 101999 clauses out of 204006 with flag 11703659/6932671
502.08/493.66	c cleaning 102997 clauses out of 206006 with flag 11975546/7036670
511.22/502.62	c cleaning 104001 clauses out of 208009 with flag 12246357/7141670
519.49/510.83	c cleaning 105003 clauses out of 210009 with flag 12523069/7247671
528.86/520.18	c cleaning 105998 clauses out of 212005 with flag 12809884/7354670
537.36/528.52	c cleaning 106996 clauses out of 214008 with flag 13098624/7462671
545.06/536.13	c cleaning 108003 clauses out of 216011 with flag 13386116/7571670
553.24/544.25	c cleaning 109002 clauses out of 218010 with flag 13670616/7681672
564.09/553.86	c cleaning 110001 clauses out of 220007 with flag 13959567/7792671
573.34/562.99	c cleaning 111000 clauses out of 222006 with flag 14254073/7904671
582.98/572.46	c cleaning 111999 clauses out of 224006 with flag 14542265/8017671
591.70/581.07	c cleaning 112998 clauses out of 226006 with flag 14837542/8131670
601.11/590.32	c cleaning 114000 clauses out of 228008 with flag 15149073/8246670
610.06/599.14	c cleaning 115000 clauses out of 230010 with flag 15456504/8362672
619.12/608.15	c cleaning 115997 clauses out of 232009 with flag 15764018/8479671
627.52/616.49	c cleaning 117003 clauses out of 234012 with flag 16067320/8597671
637.54/626.31	c cleaning 117999 clauses out of 236009 with flag 16367044/8716671
647.87/636.59	c cleaning 119000 clauses out of 238010 with flag 16677383/8836671
658.54/647.19	c cleaning 119996 clauses out of 240009 with flag 16991853/8957670
669.59/656.60	c cleaning 121003 clauses out of 242014 with flag 17307579/9079671
678.47/665.41	c cleaning 122002 clauses out of 244010 with flag 17621399/9202670
688.28/675.16	c cleaning 122997 clauses out of 246008 with flag 17947939/9326670
697.87/684.67	c cleaning 124006 clauses out of 248013 with flag 18270694/9451672
707.04/693.71	c cleaning 125000 clauses out of 250005 with flag 18583595/9577670
718.02/704.45	c cleaning 125996 clauses out of 252005 with flag 18915875/9704670
728.26/714.55	c cleaning 127002 clauses out of 254010 with flag 19258635/9832671
740.15/726.33	c cleaning 128001 clauses out of 256007 with flag 19602410/9961670
751.99/737.84	c cleaning 128998 clauses out of 258006 with flag 19952499/10091670
763.43/749.11	c cleaning 129999 clauses out of 260010 with flag 20307305/10222672
774.05/759.60	c cleaning 131003 clauses out of 262009 with flag 20649778/10354670
786.00/770.51	c cleaning 131997 clauses out of 264007 with flag 20995957/10487671
797.73/782.16	c cleaning 133003 clauses out of 266009 with flag 21353680/10621670
809.35/793.40	c cleaning 133995 clauses out of 268006 with flag 21714946/10756670
821.11/805.10	c cleaning 135002 clauses out of 270011 with flag 22076744/10892670
834.61/818.26	c cleaning 136001 clauses out of 272010 with flag 22449886/11029671
845.97/829.55	c cleaning 136998 clauses out of 274008 with flag 22804277/11167670
856.71/840.26	c cleaning 138005 clauses out of 276012 with flag 23165979/11306672
868.46/851.64	c cleaning 139002 clauses out of 278005 with flag 23534551/11446670
879.81/862.87	c cleaning 140000 clauses out of 280004 with flag 23904690/11587671
890.20/873.17	c cleaning 140999 clauses out of 282003 with flag 24267782/11729670
900.23/883.12	c cleaning 141997 clauses out of 284005 with flag 24635793/11872671
911.53/894.01	c cleaning 142999 clauses out of 286011 with flag 25005980/12016674
924.24/906.63	c cleaning 143999 clauses out of 288008 with flag 25388129/12161670
938.46/919.55	c cleaning 145004 clauses out of 290011 with flag 25762338/12307672
950.17/931.13	c cleaning 146001 clauses out of 292006 with flag 26121645/12454671
962.70/943.44	c cleaning 146998 clauses out of 294005 with flag 26486286/12602671
975.01/955.63	c cleaning 148003 clauses out of 296006 with flag 26843144/12751670
988.15/968.55	c cleaning 148998 clauses out of 298004 with flag 27194581/12901671
1002.41/982.70	c cleaning 149994 clauses out of 300005 with flag 27546292/13052670
1015.44/995.53	c cleaning 151004 clauses out of 302012 with flag 27901861/13204671
1029.80/1009.83	c cleaning 152003 clauses out of 304009 with flag 28261404/13357672
1045.80/1025.62	c cleaning 152997 clauses out of 306005 with flag 28620358/13511671
1061.23/1040.90	c cleaning 153999 clauses out of 308007 with flag 28984096/13666670
1076.58/1055.93	c cleaning 155004 clauses out of 310009 with flag 29345077/13822671
1093.26/1072.35	c cleaning 155997 clauses out of 312004 with flag 29715005/13979670
1111.04/1090.00	c cleaning 157004 clauses out of 314007 with flag 30088486/14137670
1127.34/1106.08	c cleaning 158001 clauses out of 316003 with flag 30463669/14296670
1145.15/1123.71	c cleaning 158998 clauses out of 318002 with flag 30837842/14456670
1167.01/1144.15	c cleaning 160000 clauses out of 320004 with flag 31210193/14617670
1186.57/1163.51	c cleaning 161001 clauses out of 322004 with flag 31578271/14779670
1205.00/1181.95	c cleaning 161998 clauses out of 324003 with flag 31951511/14942670
1221.64/1198.53	c cleaning 162997 clauses out of 326005 with flag 32327942/15106670
1238.34/1214.83	c cleaning 163998 clauses out of 328008 with flag 32712084/15271670
1254.05/1230.46	c cleaning 165003 clauses out of 330011 with flag 33100504/15437671
1270.35/1246.67	c cleaning 166000 clauses out of 332007 with flag 33493329/15604670
1286.85/1263.10	c cleaning 167000 clauses out of 334007 with flag 33888248/15772670
1304.57/1280.49	c cleaning 168000 clauses out of 336007 with flag 34291961/15941670
1322.02/1297.78	c cleaning 168999 clauses out of 338007 with flag 34685906/16111670
1340.74/1316.38	c cleaning 170004 clauses out of 340009 with flag 35090664/16282671
1360.86/1336.04	c cleaning 170993 clauses out of 342005 with flag 35493869/16454671
1378.98/1353.92	c cleaning 172003 clauses out of 344012 with flag 35903456/16627671
1395.11/1369.97	c cleaning 172994 clauses out of 346008 with flag 36305568/16801670
1412.72/1387.29	c cleaning 174002 clauses out of 348014 with flag 36713464/16976670
1432.33/1406.76	c cleaning 175003 clauses out of 350012 with flag 37136050/17152670
1451.77/1426.16	c cleaning 176003 clauses out of 352012 with flag 37557093/17329673
1468.94/1443.06	c cleaning 176998 clauses out of 354006 with flag 37970651/17507670
1484.59/1458.58	c cleaning 178000 clauses out of 356009 with flag 38379571/17686671
1502.27/1476.10	c cleaning 178996 clauses out of 358009 with flag 38806551/17866671
1520.58/1492.17	c cleaning 179997 clauses out of 360012 with flag 39242255/18047670
1540.47/1511.72	c cleaning 181003 clauses out of 362016 with flag 39680439/18229671
1559.99/1530.99	c cleaning 181992 clauses out of 364012 with flag 40111354/18412670
1579.29/1549.92	c cleaning 182999 clauses out of 366020 with flag 40549084/18596670
1598.19/1568.60	c cleaning 184007 clauses out of 368023 with flag 40985364/18781672
1619.24/1589.33	c cleaning 184998 clauses out of 370015 with flag 41421982/18967671
1639.87/1609.71	c cleaning 186004 clauses out of 372017 with flag 41863960/19154671
1657.99/1627.60	c cleaning 187007 clauses out of 374014 with flag 42293783/19342672
1680.85/1650.39	c cleaning 188001 clauses out of 376006 with flag 42724888/19531671
1699.32/1668.57	c cleaning 188999 clauses out of 378004 with flag 43164381/19721670
1721.81/1690.95	c cleaning 190000 clauses out of 380008 with flag 43597208/19912673
1742.13/1711.04	c cleaning 190999 clauses out of 382006 with flag 44032503/20104671
1762.39/1731.19	c cleaning 191997 clauses out of 384006 with flag 44472304/20297670
1782.36/1751.09	c cleaning 193005 clauses out of 386010 with flag 44916961/20491671
1802.71/1771.36	c cleaning 193995 clauses out of 388006 with flag 45375841/20686672
1822.43/1790.93	c cleaning 194997 clauses out of 390009 with flag 45836432/20882670
1844.07/1812.40	c cleaning 195996 clauses out of 392012 with flag 46291714/21079670
1865.62/1833.84	c cleaning 197006 clauses out of 394017 with flag 46746801/21277671
1888.80/1856.79	c cleaning 198003 clauses out of 396010 with flag 47205199/21476670
1910.86/1878.77	c cleaning 198997 clauses out of 398007 with flag 47670891/21676670
1934.79/1902.66	c cleaning 200006 clauses out of 400011 with flag 48131327/21877671
1955.51/1923.28	c cleaning 200996 clauses out of 402005 with flag 48607715/22079671
1979.92/1947.29	c cleaning 201999 clauses out of 404009 with flag 49082214/22282671
2004.26/1971.25	c cleaning 203001 clauses out of 406009 with flag 49541833/22486670
2028.53/1995.25	c cleaning 203995 clauses out of 408008 with flag 50017599/22691670
2054.96/2021.48	c cleaning 205006 clauses out of 410015 with flag 50504512/22897672
2079.31/2043.70	c cleaning 205992 clauses out of 412007 with flag 50989978/23104670
2105.63/2069.79	c cleaning 207004 clauses out of 414015 with flag 51481778/23312670
2131.35/2095.21	c cleaning 208001 clauses out of 416011 with flag 51985275/23521670
2153.17/2116.81	c cleaning 209001 clauses out of 418011 with flag 52497038/23731671
2174.91/2138.36	c cleaning 209994 clauses out of 420009 with flag 52994977/23942670
2198.74/2161.92	c cleaning 211004 clauses out of 422015 with flag 53500170/24154670
2221.42/2184.40	c cleaning 212004 clauses out of 424011 with flag 53991432/24367670
2244.40/2207.10	c cleaning 213000 clauses out of 426007 with flag 54480783/24581670
2265.79/2228.15	c cleaning 213992 clauses out of 428010 with flag 54980577/24796673
2291.19/2253.28	c cleaning 215001 clauses out of 430015 with flag 55506009/25012670
2313.71/2275.41	c cleaning 215999 clauses out of 432014 with flag 56030401/25229670
2338.90/2300.40	c cleaning 217006 clauses out of 434016 with flag 56559014/25447671
2362.59/2323.97	c cleaning 217998 clauses out of 436009 with flag 57078814/25666670
2387.59/2348.88	c cleaning 219002 clauses out of 438012 with flag 57592752/25886671
2411.66/2372.76	c cleaning 220000 clauses out of 440009 with flag 58104444/26107670
2435.85/2396.76	c cleaning 221000 clauses out of 442010 with flag 58623517/26329671
2460.34/2421.12	c cleaning 221995 clauses out of 444009 with flag 59155595/26552670
2483.70/2444.32	c cleaning 223000 clauses out of 446014 with flag 59680458/26776670
2508.10/2468.56	c cleaning 224003 clauses out of 448015 with flag 60209386/27001671
2534.36/2494.74	c cleaning 225001 clauses out of 450011 with flag 60735629/27227670
2559.49/2519.79	c cleaning 225998 clauses out of 452010 with flag 61263121/27454670
2589.44/2549.59	c cleaning 227005 clauses out of 454017 with flag 61802810/27682675
2615.39/2575.24	c cleaning 227998 clauses out of 456008 with flag 62332757/27911671
2644.51/2604.22	c cleaning 228998 clauses out of 458010 with flag 62871994/28141671
2671.10/2630.89	c cleaning 229998 clauses out of 460011 with flag 63415765/28372670
2694.84/2654.68	c cleaning 231002 clauses out of 462014 with flag 63958715/28604671
2719.74/2679.60	c cleaning 231992 clauses out of 464011 with flag 64505380/28837670
2746.48/2706.54	c cleaning 233004 clauses out of 466019 with flag 65059881/29071670
2772.39/2732.67	c cleaning 234004 clauses out of 468016 with flag 65621752/29306671
2805.35/2765.88	c cleaning 234998 clauses out of 470012 with flag 66196224/29542671
2833.97/2794.34	c cleaning 236001 clauses out of 472014 with flag 66755454/29779671
2866.07/2824.88	c cleaning 237006 clauses out of 474012 with flag 67303765/30017670
2896.09/2855.05	c cleaning 238003 clauses out of 476007 with flag 67848582/30256671
2923.16/2881.93	c cleaning 238999 clauses out of 478004 with flag 68393520/30496671
2948.55/2907.19	c cleaning 240000 clauses out of 480004 with flag 68937944/30737670
2978.56/2936.76	c cleaning 240998 clauses out of 482004 with flag 69493377/30979670
3008.04/2966.03	c cleaning 241997 clauses out of 484006 with flag 70038649/31222670
3046.88/3004.90	c cleaning 242989 clauses out of 486009 with flag 70587005/31466670
3071.13/3028.84	c cleaning 244002 clauses out of 488021 with flag 71144329/31711671
3095.47/3053.08	c cleaning 245006 clauses out of 490018 with flag 71711734/31957670
3123.25/3080.82	c cleaning 246002 clauses out of 492012 with flag 72281935/32204670
3152.59/3110.19	c cleaning 246996 clauses out of 494010 with flag 72847556/32452670
3180.21/3137.76	c cleaning 248003 clauses out of 496016 with flag 73415002/32701672
3208.66/3165.73	c cleaning 248999 clauses out of 498011 with flag 73986268/32951670
3235.83/3192.62	c cleaning 250005 clauses out of 500013 with flag 74560081/33202671
3263.05/3219.64	c cleaning 250997 clauses out of 502007 with flag 75135831/33454670
3292.76/3249.15	c cleaning 251998 clauses out of 504011 with flag 75707684/33707671
3323.00/3279.21	c cleaning 253001 clauses out of 506012 with flag 76277213/33961670
3349.37/3305.46	c cleaning 254001 clauses out of 508011 with flag 76857479/34216670
3377.38/3333.44	c cleaning 254998 clauses out of 510010 with flag 77436712/34472670
3409.11/3364.70	c cleaning 256005 clauses out of 512013 with flag 78021447/34729671
3439.32/3394.73	c cleaning 257002 clauses out of 514007 with flag 78609799/34987670
3466.54/3421.89	c cleaning 258003 clauses out of 516008 with flag 79205930/35246673
3494.70/3450.09	c cleaning 258999 clauses out of 518002 with flag 79793489/35506670
3523.61/3478.91	c cleaning 259987 clauses out of 520003 with flag 80389367/35767670
3552.65/3507.47	c cleaning 261004 clauses out of 522017 with flag 80997427/36029671
3581.38/3536.02	c cleaning 261996 clauses out of 524013 with flag 81598158/36292671
3600.03/3554.53	c starts		: 128936
3600.03/3554.53	c conflicts		: 36504653
3600.03/3554.53	c decisions		: 85750604
3600.03/3554.53	c propagations		: 1688741030
3600.03/3554.53	c inspects		: 26245293930
3600.03/3554.53	c shortcuts		: 0
3600.03/3554.53	c learnt literals	: 0
3600.03/3554.53	c learnt binary clauses	: 0
3600.03/3554.53	c learnt ternary clauses	: 0
3600.03/3554.53	c learnt constraints	: 36504653
3600.03/3554.53	c ignored constraints	: 0
3600.03/3554.53	c root simplifications	: 0
3600.03/3554.53	c removed literals (reason simplification)	: 0
3600.03/3554.53	c reason swapping (by a shorter reason)	: 0
3600.03/3554.53	c Calls to reduceDB	: 315
3600.03/3554.53	c Number of update (reduction) of LBD	: 4731272
3600.03/3554.53	c Imported unit clauses	: 0
3600.03/3554.53	c No decision after first conflict	: false
3600.03/3554.53	c number of reductions to clauses (during analyze)	: 0
3600.03/3554.53	c number of learned constraints concerned by reduction	: 0
3600.03/3554.53	c number of learning phase by resolution	: 0
3600.03/3554.53	c number of learning phase by cutting planes	: 0
3600.03/3554.53	c number of rounding to 1 operations	: 0
3600.03/3554.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3554.53	c number of reductions of the coefficients by power 2 	: 0
3600.03/3554.53	c number of right shift for reduction by power 2 	: 0
3600.03/3554.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3554.53	c number of ending skipping 	: 0
3600.03/3554.53	c number of internal skipping 	: 0
3600.03/3554.53	c number of derivation steps 	: 0
3600.03/3554.53	c number of skipped derivation steps 	: 0
3600.03/3554.53	c number of remaining unassigned 	: 0
3600.03/3554.53	c number of remaining assigned 	: 0
3600.03/3554.53	c number of falsified literals weakened from reason	: 0
3600.03/3554.53	c number of falsified literals weakened from conflict	: 0
3600.03/3554.53	c time for arithmetic operations	: 0
3600.03/3554.55	c minimum degree of deleted constraints	: null
3600.03/3554.55	c maximum degree of deleted constraints	: null
3600.03/3554.55	c number of deleted constraints	: 0
3600.03/3554.55	c speed (assignments/second)	: 475117.2374715385
3600.03/3554.55	c non guided choices	: 1
3600.24/3554.63	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 473999
3600.24/3554.63	s SATISFIABLE
3600.24/3554.63	c Found 12 solution(s)
3600.24/3554.63	v -x1 x2 x3 x4 -x5 x6 x7 x8 x9 -x10 x11 -x12 x13 x14 -x15 -x16 -x17 x18 x19 -x20 x21 x22 x23 -x24 x25 x26 x27 x28 -x29 -x30 x31 x32 x33 x34 -x35 x36 -x37 x38 x39 -x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 -x50 -x51 x52 -x53 x54 x55 -x56 -x57 -x58 x59 -x60 x61 x62 -x63 x64 x65 x66 -x67 -x68 -x69 -x70 -x71 x72 x73 -x74 -x75 x76 x77 x78 x79 x80 x81 -x82 x83 -x84 x85 x86 -x87 -x88 x89 x90 -x91 x92 x93 x94 x95 -x96 x97 x98 x99 x100 x101 -x102 -x103 x104 x105 x106 x107 x108 -x109 x110 x111 x112 -x113 x114 x115 x116 x117 -x118 -x119 x120 x121 x122 x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 -x134 x135 x136 x137 -x138 -x139 x140 -x141 x142 x143 x144 x145 -x146 x147 -x148 -x149 x150 x151 x152 x153 x154 x155 x156 -x157 x158 -x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 -x173 -x174 -x175 x176 x177 x178 x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 x188 -x189 x190 -x191 x192 -x193 x194 x195 x196 x197 x198 x199 -x200 x201 x202 x203 -x204 x205 x206 x207 x208 x209 -x210 -x211 -x212 x213 -x214 -x215 x216 x217 x218 -x219 -x220 -x221 x222 x223 -x224 -x225 -x226 x227 x228 x229 -x230 x231 -x232 x233 -x234 -x235 x236 -x237 x238 x239 x240 x241 x242 -x243 -x244 x245 -x246 x247 x248 x249 -x250 -x251 -x252 x253 -x254 x255 x256 x257 -x258 -x259 -x260 x261 x262 x263 x264 -x265 -x266 x267 x268 x269 x270 -x271 -x272 x273 x274 -x275 x276 x277 x278 x279 -x280 -x281 x282 -x283 x284 x285 x286 -x287 x288 x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 x298 x299 -x300 x301 x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 x310 -x311 x312 -x313 x314 -x315 -x316 x317 -x318 -x319 x320 x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 x338 x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 
3600.24/3554.63	c objective function=216
3600.24/3554.63	c Total wall clock time (in seconds): 3554.509

Verifier Data 

OK	216

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: 63931 MiB (59071 MiB free)
  memory of node 1: 64510 MiB (38545 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432227-1721088832/watcher-4432227-1721088832 -o /tmp/evaluation-result-4432227-1721088832/solver-4432227-1721088832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826324 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432227-1721088832.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=827909, runsolver pid=827906

[startup+0.10066 s]*
/proc/loadavg: 4.76 4.89 4.82 5/331 827927
/proc/meminfo: memFree=99915248/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=18975048 memory=64788 CPUtime=0.13 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 7201 0 0 0 11 2 0 0 20 0 18 0 161052893 19430449152 16197 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4743762 16197 5580 1 0 549334 0
[pid=827909/tid=827911] ppid=827906 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 1078198336 5726 0 0 0 7 1 0 0 20 0 18 0 161052893 19430449152 16197 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161052896 19430449152 16197 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 161052896 19430449152 16197 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64788 KiB

[startup+0.206095 s]*
/proc/loadavg: 4.76 4.89 4.82 7/332 827928
/proc/meminfo: memFree=99908760/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19041612 memory=72204 CPUtime=0.33 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 7924 0 0 0 31 2 0 0 20 0 19 0 161052893 19498610688 18051 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4760403 18051 5899 1 0 550026 0
[pid=827909/tid=827911] ppid=827906 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 6008 0 0 0 16 1 0 0 20 0 19 0 161052893 19498610688 18051 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19041612 memory=17963 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161052896 19498610688 18051 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19041612 memory=14697378909259238 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161052896 19498610688 18051 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161052911 19498610688 18051 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72204 KiB

[startup+0.305671 s]*
/proc/loadavg: 4.76 4.89 4.82 8/332 827928
/proc/meminfo: memFree=99899228/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19041612 memory=81468 CPUtime=0.52 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 9745 0 0 0 50 2 0 0 20 0 19 0 161052893 19498610688 20367 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4760403 20367 5899 1 0 550768 0
[pid=827909/tid=827911] ppid=827906 vsize=19041612 memory=-8745253139660513980 CPUtime=0.27 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 6018 0 0 0 26 1 0 0 20 0 19 0 161052893 19498610688 20367 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161052896 19498610688 20367 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161052896 19498610688 20367 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161052911 19498610688 20367 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81468 KiB

[startup+0.701106 s]
/proc/loadavg: 4.76 4.89 4.82 6/332 827928
/proc/meminfo: memFree=99885396/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19041612 memory=105108 CPUtime=1.29 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 13646 0 0 0 125 4 0 0 20 0 19 0 161052893 19498610688 26277 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4760403 26277 5931 1 0 553017 0
[pid=827909/tid=827911] ppid=827906 vsize=19041612 memory=40864 CPUtime=0.65 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 6063 0 0 0 63 2 0 0 20 0 19 0 161052893 19498610688 26277 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19041612 memory=12312 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161052896 19498610688 26277 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19041612 memory=2220 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161052896 19498610688 26277 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19041612 memory=5568 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161052911 19498610688 26277 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105108 KiB

[startup+1.50111 s]
/proc/loadavg: 4.76 4.89 4.82 6/332 827929
/proc/meminfo: memFree=99853844/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19041612 memory=170108 CPUtime=2.5 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 17900 0 0 0 245 5 0 0 20 0 19 0 161052893 19498610688 42527 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4760403 42527 5931 1 0 553292 0
[pid=827909/tid=827911] ppid=827906 vsize=19041612 memory=12312 CPUtime=1.44 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 6727 0 0 0 141 3 0 0 20 0 19 0 161052893 19498610688 42527 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161052896 19498610688 42527 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19041612 memory=2220 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161052896 19498610688 42527 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19041612 memory=5568 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161052911 19498610688 42527 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 170108 KiB

[startup+3.10611 s]
/proc/loadavg: 4.76 4.89 4.82 5/333 827932
/proc/meminfo: memFree=99668380/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19108176 memory=246700 CPUtime=4.18 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 19872 0 0 0 410 8 0 0 20 0 20 0 161052893 19566772224 61675 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4777044 61675 5963 1 0 553583 0
[pid=827909/tid=827911] ppid=827906 vsize=19108176 memory=0 CPUtime=2.93 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 6993 0 0 0 290 3 0 0 20 0 20 0 161052893 19566772224 61675 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19108176 memory=-8745253139660513980 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19566772224 61675 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 161052896 19566772224 61675 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19108176 memory=2220 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19566772224 61675 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 246700 KiB

[startup+6.30021 s]
/proc/loadavg: 4.78 4.89 4.82 5/333 827932
/proc/meminfo: memFree=99310516/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19108176 memory=435436 CPUtime=7.57 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 20561 0 0 0 745 12 0 0 20 0 20 0 161052893 19566772224 108859 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4777044 108859 5963 1 0 553585 0
[pid=827909/tid=827911] ppid=827906 vsize=19108176 memory=2220 CPUtime=5.93 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 7150 0 0 0 590 3 0 0 20 0 20 0 161052893 19566772224 108859 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19566772224 108859 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 161052896 19566772224 108859 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19566772224 108859 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 435436 KiB

[startup+12.7003 s]
/proc/loadavg: 4.71 4.88 4.82 5/333 827933
/proc/meminfo: memFree=98903548/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19108176 memory=815172 CPUtime=14.14 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 23383 0 0 0 1393 21 0 0 20 0 20 0 161052893 19566772224 203793 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4777044 203793 5968 1 0 795884 0
[pid=827909/tid=827911] ppid=827906 vsize=19108176 memory=12312 CPUtime=12.09 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 7886 0 0 0 1203 6 0 0 20 0 20 0 161052893 19566772224 203793 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19108176 memory=673524 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19566772224 203793 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19108176 memory=40864 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 161052896 19566772224 203793 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19566772224 203793 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 14.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 815172 KiB

[startup+25.5003 s]
/proc/loadavg: 4.64 4.85 4.81 5/333 827935
/proc/meminfo: memFree=97672196/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19108176 memory=1460104 CPUtime=27.29 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 26457 0 0 0 2695 34 0 0 20 0 20 0 161052893 19566772224 365026 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4777044 365026 5984 1 0 927483 0
[pid=827909/tid=827911] ppid=827906 vsize=19108176 memory=6943526294502006880 CPUtime=24.4 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 8744 0 0 0 2431 9 0 0 20 0 20 0 161052893 19566772224 365026 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19566772224 365026 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19108176 memory=3444 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 161052896 19566772224 365026 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19566772224 365026 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 27.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1460104 KiB

[startup+51.1059 s]
/proc/loadavg: 4.49 4.80 4.79 6/333 827938
/proc/meminfo: memFree=95404816/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19108176 memory=2291900 CPUtime=53.37 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 29251 0 0 0 5288 49 0 0 20 0 20 0 161052893 19566772224 572975 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4777044 572975 5984 1 0 927485 0

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

[startup+3222.3 s]
/proc/loadavg: 4.14 4.20 4.22 5/331 829840
/proc/meminfo: memFree=78195048/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3265.74 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 314460 0 0 0 326166 408 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4793428 3708358 5984 1 0 4102814 0
[pid=827909/tid=827911] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3154.76 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 119035 0 0 0 315372 104 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 779 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19173712 memory=40972 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 3265.74 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14833432 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.21 5/331 829850
/proc/meminfo: memFree=76538956/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3326.1 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 315866 0 0 0 332201 409 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4793428 3708358 5984 1 0 4102814 0
[pid=827909/tid=827911] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3214.02 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 119976 0 0 0 321298 104 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19173712 memory=2220 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 779 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 3326.1 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14833432 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.21 5/331 829861
/proc/meminfo: memFree=76536432/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3386.35 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 319600 0 0 0 338224 411 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4793428 3708358 5984 1 0 4102814 0
[pid=827909/tid=827911] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3273.39 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 120944 0 0 0 327234 105 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 825 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 3386.35 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14833432 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.18 4.21 5/333 829876
/proc/meminfo: memFree=75940760/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3446.89 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 321082 0 0 0 344276 413 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4793428 3708358 5984 1 0 4102814 0
[pid=827909/tid=827911] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3332.16 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 121809 0 0 0 333111 105 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 825 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19173712 memory=198340509722 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 3446.89 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14833432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.20 5/333 829886
/proc/meminfo: memFree=75597696/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3507.05 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 322823 0 0 0 350289 416 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4793428 3708358 5984 1 0 4102814 0
[pid=827909/tid=827911] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3390.97 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 123153 0 0 0 338991 106 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 825 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 3507.05 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14833432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.19 4.20 5/335 829970
/proc/meminfo: memFree=87457188/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3567.68 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 326776 0 0 0 356350 418 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4793428 3708358 5984 1 0 4102814 0
[pid=827909/tid=827911] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3449.72 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) S 827906 827909 826314 0 -1 1077936192 124005 0 0 0 344865 107 0 0 20 0 20 0 161052893 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 825 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19173712 memory=40972 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19633881088 3708358 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 3567.68 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14833432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3554.5 s]
/proc/loadavg: 4.25 4.19 4.20 5/335 829974
/proc/meminfo: memFree=86251140/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19173712 memory=14835480 CPUtime=3600.03 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 327863 0 0 0 359585 418 0 0 20 0 20 0 161052893 19633881088 3708870 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4793428 3708870 5984 1 0 4102814 0
[pid=827909/tid=827911] ppid=827906 vsize=19173712 memory=14833432 CPUtime=3481.2 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 124462 0 0 0 348013 107 0 0 20 0 20 0 161052893 19633881088 3708870 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19173712 memory=14833432 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708870 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19173712 memory=14835480 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 873 0 0 0 0 0 0 0 20 0 20 0 161052896 19633881088 3708870 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827928] ppid=827906 vsize=19173712 memory=14835480 CPUtime=0 cores=0,2
/proc/827909/task/827928/stat : 827928 (Timer-0) S 827906 827909 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161052911 19633881088 3708870 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14835480 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.11 s, system=4.23535 s

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

[startup+3554.6 s]
/proc/loadavg: 4.25 4.19 4.20 5/335 829974
/proc/meminfo: memFree=86251140/131524600 swapFree=131071996/131071996
[pid=827909] ppid=827906 vsize=19373404 memory=14836192 CPUtime=3600.24 cores=0,2
/proc/827909/stat : 827909 (java) S 827906 827909 826314 0 -1 1077936128 330605 0 0 0 359605 419 0 0 20 0 21 0 161052893 19838365696 3709048 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
/proc/827909/statm: 4843351 3709048 5983 1 0 4103738 0
[pid=827909/tid=827911] ppid=827906 vsize=19373404 memory=12316 CPUtime=3481.3 cores=0,2
/proc/827909/task/827911/stat : 827911 (java) R 827906 827909 826314 0 -1 4194368 124722 0 0 0 348023 107 0 0 20 0 21 0 161052893 19838365696 3709048 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827920] ppid=827906 vsize=19373404 memory=40972 CPUtime=0 cores=0,2
/proc/827909/task/827920/stat : 827920 (Finalizer) S 827906 827909 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161052896 19838365696 3709048 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
[pid=827909/tid=827927] ppid=827906 vsize=19373404 memory=6600 CPUtime=0 cores=0,2
/proc/827909/task/827927/stat : 827927 (Common-Cleaner) S 827906 827909 826314 0 -1 1077936192 873 0 0 0 0 0 0 0 20 0 21 0 161052896 19838365696 3709048 134679101440 94111935422464 94111935426160 140731762792816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94111935433976 94111935434768 94111944511488 140731762795527 140731762795617 140731762795617 140731762802632 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19373404 KiB
Current children cumulated memory: 14836192 KiB

Child status: 143

Real time (s): 3554.68
CPU time (s): 3600.35
CPU user time (s): 3596.11
CPU system time (s): 4.23535
CPU usage (%): 101.285
Max. virtual memory (cumulated for all children) (KiB): 19373404
Max. memory (cumulated for all children) (KiB): 14836192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.11
system time used= 4.23536
maximum resident set size= 14837124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116750
involuntary context switches= 35392


# summary of solver processes directly reported to runsolver:
#   pid: 827909
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3596.11
#   total CPU system time (s): 4.23535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13119 second user time and 17.5451 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 02:14:04
IDJOB=4432227
IDBENCH=147547
IDSOLVER=3058
FILE ID=nodeC033/4432227-1721088832
RUNJOBID= nodeC033-1721085950-826324
SLURM_JOB_ID= 7505580
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432227-1721088832/watcher-4432227-1721088832 -o /tmp/evaluation-result-4432227-1721088832/solver-4432227-1721088832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826324 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432227-1721088832.opb

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

MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=784687295

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        99959520 kB
MemAvailable:   102826400 kB
Buffers:          404212 kB
Cached:          3268520 kB
SwapCached:            0 kB
Active:           654016 kB
Inactive:       30197600 kB
Active(anon):       1556 kB
Inactive(anon): 27215036 kB
Active(file):     652460 kB
Inactive(file):  2982564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1364 kB
Writeback:             0 kB
AnonPages:      27177372 kB
Mapped:           123868 kB
Shmem:             37716 kB
KReclaimable:     143008 kB
Slab:             254960 kB
SReclaimable:     143008 kB
SUnreclaim:       111952 kB
KernelStack:        5056 kB
PageTables:        63220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   34699364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60800 kB
HardwareCorrupted:     0 kB
AnonHugePages:  26695680 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-16 03:13:19