Trace number 4512229

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 2025-06-06SAT (TO)-96 3600.36 3382.68

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-sporttournament28.opb
MD5SUM390ec8fc201467376172e52d21e0ee7b
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-192
Best CPU time to get the best result obtained on this benchmark116.495
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 972
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 1048
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1048
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)728
Sum of products size (including duplicates)1456
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4512229-1751523166.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.18	c ... done. Wall clock time 0.056s.
0.13/0.19	c declared #vars     378
0.13/0.19	c internal #vars     1106
0.13/0.19	c #constraints  1456
0.13/0.19	c constraints type 
0.13/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 728
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 728
0.13/0.19	c 1456 constraints processed.
0.13/0.19	c objective function length is 972 literals
0.32/0.21	c SATISFIABLE
0.32/0.21	c OPTIMIZING...
0.32/0.21	c Got one! Elapsed wall clock time (in seconds):0.086
0.32/0.21	o -90
0.32/0.26	c Got one! Elapsed wall clock time (in seconds):0.128
0.32/0.26	o -91
1.66/0.99	c cleaning 2528 clauses out of 5061 with flag 10027/5061
2.03/1.16	c Got one! Elapsed wall clock time (in seconds):1.037
2.03/1.16	o -92
2.43/1.44	c cleaning 4024 clauses out of 8059 with flag 6041/10587
2.64/1.69	c Got one! Elapsed wall clock time (in seconds):1.566
2.64/1.69	o -93
2.74/1.77	c cleaning 4617 clauses out of 9250 with flag 2010/15802
3.04/2.10	c Got one! Elapsed wall clock time (in seconds):1.972
3.04/2.10	o -94
3.21/2.19	c cleaning 4880 clauses out of 9777 with flag 2086/20946
3.63/2.58	c cleaning 5442 clauses out of 10896 with flag 14170/26945
4.20/3.08	c cleaning 6221 clauses out of 12454 with flag 28186/33945
4.86/3.68	c cleaning 7111 clauses out of 14234 with flag 44430/41946
5.66/4.33	c cleaning 8055 clauses out of 16122 with flag 62494/50945
6.36/5.02	c cleaning 9029 clauses out of 18067 with flag 82643/60945
7.25/5.82	c cleaning 10012 clauses out of 20038 with flag 104718/71945
8.05/6.60	c cleaning 11007 clauses out of 22027 with flag 128833/83946
9.02/7.51	c cleaning 12007 clauses out of 24021 with flag 155004/96947
10.09/8.53	c cleaning 13001 clauses out of 26013 with flag 183210/110946
11.30/9.62	c cleaning 13997 clauses out of 28012 with flag 213439/125946
11.51/9.88	c Got one! Elapsed wall clock time (in seconds):9.75
11.51/9.88	o -95
11.63/9.98	c cleaning 9550 clauses out of 19110 with flag 2022/131041
12.04/10.38	c cleaning 7769 clauses out of 15559 with flag 14081/137040
12.54/10.85	c cleaning 7389 clauses out of 14789 with flag 28137/144039
13.20/11.44	c cleaning 7694 clauses out of 15401 with flag 44187/152040
13.92/12.02	c cleaning 8346 clauses out of 16707 with flag 62311/161040
14.62/12.74	c cleaning 9169 clauses out of 18360 with flag 82447/171039
15.47/13.54	c cleaning 10089 clauses out of 20191 with flag 104702/182039
16.26/14.32	c cleaning 11042 clauses out of 22102 with flag 128724/194039
17.22/15.28	c cleaning 12024 clauses out of 24060 with flag 154957/207039
18.44/16.30	c cleaning 13011 clauses out of 26036 with flag 183098/221039
19.33/17.29	c cleaning 14005 clauses out of 28025 with flag 213175/236039
20.73/18.53	c cleaning 15004 clauses out of 30020 with flag 245221/252039
22.06/19.77	c cleaning 16003 clauses out of 32016 with flag 279313/269039
23.25/20.95	c cleaning 16997 clauses out of 34014 with flag 315391/287040
24.73/22.33	c cleaning 17999 clauses out of 36016 with flag 353483/306039
26.49/23.90	c cleaning 18997 clauses out of 38018 with flag 393586/326040
27.87/25.36	c cleaning 20003 clauses out of 40021 with flag 435707/347040
29.60/26.98	c cleaning 21001 clauses out of 42018 with flag 479762/369040
31.56/28.70	c cleaning 22003 clauses out of 44017 with flag 525885/392040
33.37/30.47	c cleaning 23003 clauses out of 46013 with flag 574021/416039
35.54/32.43	c cleaning 23998 clauses out of 48012 with flag 624140/441041
37.33/34.24	c cleaning 24995 clauses out of 50012 with flag 676247/467039
39.62/36.39	c cleaning 25998 clauses out of 52017 with flag 730311/494039
41.84/38.46	c cleaning 27000 clauses out of 54020 with flag 786348/522040
44.15/40.60	c cleaning 27999 clauses out of 56019 with flag 844379/551039
47.11/42.94	c cleaning 29000 clauses out of 58020 with flag 904475/581039
49.50/45.27	c cleaning 30001 clauses out of 60020 with flag 966651/612039
52.00/47.67	c cleaning 31003 clauses out of 62020 with flag 1030780/644040
54.62/50.12	c cleaning 31997 clauses out of 64016 with flag 1096855/677039
57.25/52.61	c cleaning 33000 clauses out of 66019 with flag 1164925/711039
59.97/55.29	c cleaning 34000 clauses out of 68020 with flag 1234989/746040
63.02/58.16	c cleaning 35001 clauses out of 70020 with flag 1307087/782040
66.04/60.90	c cleaning 36001 clauses out of 72018 with flag 1381320/819039
68.94/63.78	c cleaning 36998 clauses out of 74017 with flag 1457558/857039
72.03/66.71	c cleaning 38001 clauses out of 76020 with flag 1535636/896040
75.36/69.92	c cleaning 38998 clauses out of 78018 with flag 1615856/936039
78.73/73.15	c cleaning 40000 clauses out of 80020 with flag 1698120/977039
82.17/76.42	c cleaning 41000 clauses out of 82020 with flag 1782292/1019039
85.67/79.77	c cleaning 42000 clauses out of 84021 with flag 1868398/1062040
89.24/83.17	c cleaning 43000 clauses out of 86021 with flag 1956585/1106040
93.74/86.81	c cleaning 43997 clauses out of 88020 with flag 2046862/1151039
98.13/90.81	c cleaning 45002 clauses out of 90024 with flag 2139154/1197040
101.88/94.43	c cleaning 46004 clauses out of 92023 with flag 2233497/1244041
105.90/98.36	c cleaning 46999 clauses out of 94018 with flag 2329772/1292040
110.08/102.24	c cleaning 47998 clauses out of 96019 with flag 2428352/1341040
114.15/106.15	c cleaning 49001 clauses out of 98020 with flag 2528624/1391039
118.60/110.28	c cleaning 50002 clauses out of 100019 with flag 2630809/1442039
122.88/114.38	c cleaning 51001 clauses out of 102017 with flag 2734930/1494039
126.88/118.28	c cleaning 51997 clauses out of 104016 with flag 2840973/1547039
131.39/122.41	c cleaning 52997 clauses out of 106019 with flag 2949065/1601039
136.65/126.59	c cleaning 54001 clauses out of 108022 with flag 3059150/1656039
141.57/131.17	c cleaning 54998 clauses out of 110022 with flag 3171243/1712040
146.36/135.79	c cleaning 56006 clauses out of 112023 with flag 3285459/1769039
151.98/140.91	c cleaning 56996 clauses out of 114018 with flag 3401647/1827040
156.66/145.40	c cleaning 58005 clauses out of 116022 with flag 3519834/1886040
158.62/147.34	c Got one! Elapsed wall clock time (in seconds):147.211
158.62/147.34	o -96
159.22/147.99	c cleaning 46322 clauses out of 92661 with flag 10068/1920684
159.81/148.52	c cleaning 26162 clauses out of 52339 with flag 22190/1926684
160.36/149.03	c cleaning 16579 clauses out of 33178 with flag 36298/1933685
160.85/149.55	c cleaning 12293 clauses out of 24598 with flag 52355/1941684
161.36/150.10	c cleaning 10642 clauses out of 21306 with flag 70422/1950685
162.05/150.71	c cleaning 10323 clauses out of 20663 with flag 90458/1960684
162.75/151.40	c cleaning 10658 clauses out of 21340 with flag 112483/1971684
163.48/152.16	c cleaning 11330 clauses out of 22682 with flag 136640/1983684
164.27/152.99	c cleaning 12168 clauses out of 24352 with flag 162731/1996684
165.27/153.93	c cleaning 13085 clauses out of 26185 with flag 190758/2010685
166.17/154.86	c cleaning 14040 clauses out of 28100 with flag 220786/2025685
167.34/155.99	c cleaning 15024 clauses out of 30060 with flag 252869/2041685
168.54/157.17	c cleaning 16010 clauses out of 32036 with flag 287044/2058685
169.74/158.34	c cleaning 17003 clauses out of 34025 with flag 323132/2076684
170.93/159.57	c cleaning 18004 clauses out of 36023 with flag 361284/2095685
172.23/160.86	c cleaning 18999 clauses out of 38018 with flag 401359/2115684
173.62/162.28	c cleaning 19997 clauses out of 40019 with flag 443462/2136684
175.12/163.75	c cleaning 20999 clauses out of 42022 with flag 487530/2158684
176.73/165.31	c cleaning 22001 clauses out of 44023 with flag 533583/2181684
178.22/166.83	c cleaning 23001 clauses out of 46023 with flag 581696/2205685
179.91/168.51	c cleaning 24002 clauses out of 48022 with flag 631788/2230685
181.61/170.23	c cleaning 25001 clauses out of 50019 with flag 683856/2256684
183.41/172.09	c cleaning 25999 clauses out of 52019 with flag 737925/2283685
185.30/173.97	c cleaning 26999 clauses out of 54019 with flag 793977/2311684
187.40/176.01	c cleaning 28000 clauses out of 56020 with flag 852026/2340684
190.16/178.45	c cleaning 29000 clauses out of 58020 with flag 912191/2370684
192.36/180.68	c cleaning 29997 clauses out of 60020 with flag 974361/2401684
194.96/183.05	c cleaning 31004 clauses out of 62024 with flag 1038464/2433685
197.68/185.63	c cleaning 32003 clauses out of 64019 with flag 1104586/2466684
200.09/188.03	c cleaning 32996 clauses out of 66016 with flag 1172665/2500684
202.96/190.78	c cleaning 33998 clauses out of 68020 with flag 1242777/2535684
205.46/193.20	c cleaning 35001 clauses out of 70022 with flag 1314894/2571684
208.08/195.82	c cleaning 36001 clauses out of 72021 with flag 1388961/2608684
210.58/198.33	c cleaning 36997 clauses out of 74020 with flag 1464997/2646684
213.62/201.26	c cleaning 38004 clauses out of 76025 with flag 1543047/2685686
216.52/204.18	c cleaning 38998 clauses out of 78019 with flag 1623111/2725684
219.90/207.44	c cleaning 39997 clauses out of 80021 with flag 1705127/2766684
222.90/210.43	c cleaning 41000 clauses out of 82025 with flag 1789201/2808685
226.48/213.79	c cleaning 42004 clauses out of 84025 with flag 1875306/2851685
230.23/217.28	c cleaning 43002 clauses out of 86020 with flag 1963347/2895684
233.98/220.80	c cleaning 43998 clauses out of 88018 with flag 2053449/2940684
237.61/224.35	c cleaning 44999 clauses out of 90021 with flag 2145556/2986685
241.58/228.12	c cleaning 46003 clauses out of 92022 with flag 2239670/3033685
245.28/231.62	c cleaning 46996 clauses out of 94019 with flag 2335711/3081685
249.09/235.34	c cleaning 48000 clauses out of 96022 with flag 2433757/3130684
253.25/239.25	c cleaning 49001 clauses out of 98023 with flag 2533901/3180685
257.34/243.12	c cleaning 49998 clauses out of 100022 with flag 2636019/3231685
261.32/247.00	c cleaning 50997 clauses out of 102024 with flag 2740098/3283685
265.30/250.96	c cleaning 52002 clauses out of 104027 with flag 2846197/3336685
269.59/255.05	c cleaning 53002 clauses out of 106024 with flag 2954221/3390684
275.15/259.30	c cleaning 53998 clauses out of 108022 with flag 3064285/3445684
279.47/263.56	c cleaning 55002 clauses out of 110025 with flag 3176385/3501685
284.39/268.21	c cleaning 55999 clauses out of 112023 with flag 3290565/3558685
289.22/272.90	c cleaning 57005 clauses out of 114024 with flag 3406769/3616685
293.95/277.58	c cleaning 58001 clauses out of 116018 with flag 3524975/3675684
298.42/281.99	c cleaning 59003 clauses out of 118018 with flag 3645123/3735685
303.28/286.70	c cleaning 59999 clauses out of 120015 with flag 3767175/3796685
308.24/291.52	c cleaning 60999 clauses out of 122015 with flag 3891230/3858684
313.22/296.48	c cleaning 61997 clauses out of 124016 with flag 4017377/3921684
318.84/301.71	c cleaning 62998 clauses out of 126020 with flag 4145502/3985685
324.03/306.79	c cleaning 63998 clauses out of 128021 with flag 4275618/4050684
329.01/311.69	c cleaning 65001 clauses out of 130023 with flag 4407751/4116684
334.56/317.09	c cleaning 66001 clauses out of 132022 with flag 4541967/4183684
339.97/322.22	c cleaning 66998 clauses out of 134022 with flag 4678113/4251685
345.36/327.54	c cleaning 68001 clauses out of 136023 with flag 4816287/4320684
351.23/333.12	c cleaning 68999 clauses out of 138022 with flag 4956375/4390684
357.02/338.83	c cleaning 70003 clauses out of 140024 with flag 5098536/4461685
362.77/344.52	c cleaning 70999 clauses out of 142020 with flag 5242672/4533684
368.97/350.56	c cleaning 71999 clauses out of 144021 with flag 5388832/4606684
375.14/356.63	c cleaning 73002 clauses out of 146023 with flag 5536933/4680685
381.14/362.56	c cleaning 74002 clauses out of 148020 with flag 5687041/4755684
387.38/368.69	c cleaning 74996 clauses out of 150019 with flag 5839189/4831685
393.84/374.90	c cleaning 75997 clauses out of 152022 with flag 5993260/4908684
400.38/381.39	c cleaning 77002 clauses out of 154026 with flag 6149417/4986685
407.25/388.02	c cleaning 78001 clauses out of 156024 with flag 6307666/5065685
414.28/394.90	c cleaning 79002 clauses out of 158023 with flag 6467852/5145685
421.55/401.98	c cleaning 80004 clauses out of 160021 with flag 6630097/5226685
429.16/409.08	c cleaning 81001 clauses out of 162017 with flag 6794260/5308685
436.53/416.10	c cleaning 81998 clauses out of 164016 with flag 6960435/5391685
444.41/423.53	c cleaning 82999 clauses out of 166017 with flag 7128505/5475684
451.97/430.61	c cleaning 83997 clauses out of 168018 with flag 7298672/5560684
460.43/437.35	c cleaning 85001 clauses out of 170021 with flag 7470802/5646684
468.41/444.90	c cleaning 85997 clauses out of 172021 with flag 7644884/5733685
476.52/452.54	c cleaning 87001 clauses out of 174024 with flag 7821067/5821685
484.30/460.05	c cleaning 88004 clauses out of 176023 with flag 7999273/5910685
492.19/467.43	c cleaning 88999 clauses out of 178020 with flag 8179429/6000686
499.23/474.24	c cleaning 90000 clauses out of 180019 with flag 8361613/6091684
507.14/481.71	c cleaning 90996 clauses out of 182020 with flag 8545800/6183685
515.42/489.58	c cleaning 92001 clauses out of 184023 with flag 8731943/6276684
523.46/497.35	c cleaning 93003 clauses out of 186023 with flag 8919964/6370685
531.65/505.13	c cleaning 93994 clauses out of 188019 with flag 9109988/6465684
539.82/512.88	c cleaning 95004 clauses out of 190025 with flag 9302044/6561684
548.06/520.86	c cleaning 95997 clauses out of 192022 with flag 9496068/6658685
557.07/529.44	c cleaning 97000 clauses out of 194025 with flag 9692130/6756685
565.84/537.79	c cleaning 98002 clauses out of 196025 with flag 9890206/6855685
575.29/546.67	c cleaning 99000 clauses out of 198023 with flag 10090264/6955685
583.86/554.85	c cleaning 99999 clauses out of 200022 with flag 10292317/7056684
592.95/563.59	c cleaning 101001 clauses out of 202024 with flag 10496434/7158685
605.17/573.47	c cleaning 101997 clauses out of 204022 with flag 10702535/7261684
614.58/582.52	c cleaning 103001 clauses out of 206025 with flag 10910623/7365684
624.28/591.67	c cleaning 104003 clauses out of 208025 with flag 11120666/7470685
633.90/600.93	c cleaning 105000 clauses out of 210022 with flag 11332755/7576685
643.87/610.26	c cleaning 105999 clauses out of 212021 with flag 11546796/7683684
654.02/620.07	c cleaning 106998 clauses out of 214022 with flag 11762861/7791684
665.00/630.39	c cleaning 107995 clauses out of 216024 with flag 11980898/7900684
675.19/640.28	c cleaning 109001 clauses out of 218029 with flag 12201007/8010684
684.90/649.42	c cleaning 110001 clauses out of 220029 with flag 12423260/8121685
694.16/658.47	c cleaning 111001 clauses out of 222028 with flag 12647402/8233685
704.02/667.81	c cleaning 111999 clauses out of 224026 with flag 12873581/8346684
715.14/678.32	c cleaning 112998 clauses out of 226027 with flag 13101684/8460684
725.37/688.28	c cleaning 114000 clauses out of 228030 with flag 13331813/8575685
737.25/699.44	c cleaning 115006 clauses out of 230029 with flag 13564253/8691684
748.25/709.79	c cleaning 116002 clauses out of 232025 with flag 13799098/8808686
759.23/720.32	c cleaning 117002 clauses out of 234021 with flag 14035975/8926684
770.42/730.94	c cleaning 118000 clauses out of 236019 with flag 14274855/9045684
783.69/741.73	c cleaning 118998 clauses out of 238019 with flag 14515448/9165684
796.22/753.69	c cleaning 120004 clauses out of 240021 with flag 14757820/9286684
806.97/764.02	c cleaning 120997 clauses out of 242017 with flag 15001891/9408684
819.22/775.66	c cleaning 122000 clauses out of 244022 with flag 15248198/9531686
831.40/787.44	c cleaning 122999 clauses out of 246020 with flag 15496443/9655684
843.49/798.74	c cleaning 123999 clauses out of 248021 with flag 15746816/9780684
855.66/810.41	c cleaning 125002 clauses out of 250023 with flag 15999013/9906685
868.82/822.91	c cleaning 125998 clauses out of 252020 with flag 16253204/10033684
881.20/835.00	c cleaning 127002 clauses out of 254022 with flag 16509487/10161684
894.50/847.53	c cleaning 127997 clauses out of 256020 with flag 16767798/10290684
906.10/858.72	c cleaning 129001 clauses out of 258024 with flag 17028194/10420685
919.64/871.60	c cleaning 130001 clauses out of 260023 with flag 17290455/10551685
933.44/885.04	c cleaning 131001 clauses out of 262022 with flag 17554647/10683685
946.73/897.79	c cleaning 131999 clauses out of 264020 with flag 17820830/10816684
960.89/911.69	c cleaning 132999 clauses out of 266021 with flag 18089427/10950684
974.13/924.22	c cleaning 134001 clauses out of 268023 with flag 18360381/11085685
990.92/936.98	c cleaning 135000 clauses out of 270021 with flag 18632584/11221684
1003.88/949.56	c cleaning 136000 clauses out of 272021 with flag 18907332/11358684
1017.09/962.13	c cleaning 137004 clauses out of 274023 with flag 19183864/11496686
1031.75/976.09	c cleaning 137997 clauses out of 276017 with flag 19462165/11635684
1044.60/988.54	c cleaning 138998 clauses out of 278020 with flag 19742888/11775684
1058.75/1002.07	c cleaning 140000 clauses out of 280023 with flag 20025797/11916685
1073.78/1016.29	c cleaning 141001 clauses out of 282022 with flag 20311011/12058684
1087.87/1029.92	c cleaning 141999 clauses out of 284021 with flag 20597398/12201684
1102.52/1043.94	c cleaning 143001 clauses out of 286024 with flag 20885887/12345686
1117.96/1058.63	c cleaning 143998 clauses out of 288021 with flag 21176695/12490684
1132.60/1072.95	c cleaning 145000 clauses out of 290024 with flag 21469517/12636685
1147.15/1086.99	c cleaning 146003 clauses out of 292023 with flag 21763945/12783684
1162.36/1101.33	c cleaning 146998 clauses out of 294020 with flag 22060243/12931684
1183.49/1118.04	c cleaning 148000 clauses out of 296023 with flag 22358599/13080685
1196.87/1131.01	c cleaning 149002 clauses out of 298023 with flag 22659115/13230685
1211.62/1145.21	c cleaning 149998 clauses out of 300021 with flag 22961392/13381685
1227.28/1160.28	c cleaning 150998 clauses out of 302022 with flag 23265794/13533684
1243.61/1175.75	c cleaning 151999 clauses out of 304024 with flag 23572223/13686684
1259.84/1191.08	c cleaning 153000 clauses out of 306025 with flag 23881542/13840684
1275.52/1206.34	c cleaning 154002 clauses out of 308025 with flag 24192079/13995684
1289.77/1220.05	c cleaning 154997 clauses out of 310024 with flag 24504529/14151685
1305.37/1235.09	c cleaning 156001 clauses out of 312027 with flag 24818715/14308685
1321.10/1250.07	c cleaning 156996 clauses out of 314026 with flag 25134943/14466685
1336.77/1265.00	c cleaning 158000 clauses out of 316030 with flag 25453047/14625685
1353.65/1281.07	c cleaning 159001 clauses out of 318029 with flag 25773277/14785684
1373.01/1296.56	c cleaning 160003 clauses out of 320028 with flag 26095714/14946684
1391.42/1314.03	c cleaning 160998 clauses out of 322025 with flag 26420449/15108684
1407.34/1329.57	c cleaning 162002 clauses out of 324027 with flag 26747123/15271684
1423.28/1344.99	c cleaning 162997 clauses out of 326026 with flag 27075251/15435685
1439.28/1360.38	c cleaning 163997 clauses out of 328028 with flag 27405750/15600684
1457.15/1377.56	c cleaning 165002 clauses out of 330031 with flag 27738313/15766684
1474.47/1394.24	c cleaning 166005 clauses out of 332030 with flag 28073216/15933685
1492.94/1412.07	c cleaning 167004 clauses out of 334025 with flag 28410044/16101685
1509.25/1427.73	c cleaning 168001 clauses out of 336020 with flag 28748730/16270684
1526.27/1444.19	c cleaning 168999 clauses out of 338020 with flag 29088809/16440685
1544.03/1461.24	c cleaning 170002 clauses out of 340021 with flag 29431022/16611685
1563.35/1479.96	c cleaning 170997 clauses out of 342019 with flag 29775657/16783685
1584.72/1497.85	c cleaning 172004 clauses out of 344021 with flag 30122410/16956684
1603.50/1516.09	c cleaning 172995 clauses out of 346018 with flag 30471258/17130685
1620.49/1532.42	c cleaning 174000 clauses out of 348023 with flag 30822618/17305685
1640.16/1551.51	c cleaning 174999 clauses out of 350022 with flag 31175361/17481684
1661.91/1572.03	c cleaning 176000 clauses out of 352024 with flag 31530737/17658685
1680.39/1589.51	c cleaning 177001 clauses out of 354023 with flag 31887399/17836684
1701.96/1610.27	c cleaning 178006 clauses out of 356023 with flag 32246389/18015685
1722.59/1630.01	c cleaning 179002 clauses out of 358017 with flag 32607568/18195685
1744.55/1651.29	c cleaning 179993 clauses out of 360014 with flag 32970282/18376684
1763.83/1669.70	c cleaning 180997 clauses out of 362021 with flag 33335368/18558684
1787.03/1689.18	c cleaning 181999 clauses out of 364024 with flag 33702104/18741684
1806.83/1707.89	c cleaning 183002 clauses out of 366027 with flag 34070180/18925686
1830.08/1730.14	c cleaning 184000 clauses out of 368024 with flag 34440657/19110685
1849.89/1749.06	c cleaning 184998 clauses out of 370023 with flag 34814176/19296684
1872.02/1770.38	c cleaning 185999 clauses out of 372025 with flag 35190803/19483684
1893.79/1791.40	c cleaning 187002 clauses out of 374026 with flag 35568465/19671684
1916.07/1812.58	c cleaning 188002 clauses out of 376024 with flag 35946578/19860684
1936.28/1831.83	c cleaning 188998 clauses out of 378022 with flag 36326656/20050684
1960.89/1851.21	c cleaning 190004 clauses out of 380024 with flag 36708806/20241684
1980.81/1870.47	c cleaning 190998 clauses out of 382020 with flag 37093018/20433684
2004.21/1892.79	c cleaning 192000 clauses out of 384022 with flag 37480330/20626684
2025.95/1913.50	c cleaning 192999 clauses out of 386022 with flag 37869383/20820684
2047.04/1933.71	c cleaning 194001 clauses out of 388024 with flag 38261556/21015685
2068.90/1954.40	c cleaning 194999 clauses out of 390022 with flag 38654573/21211684
2090.61/1975.23	c cleaning 196002 clauses out of 392023 with flag 39049336/21408684
2111.68/1995.54	c cleaning 196995 clauses out of 394022 with flag 39445475/21606685
2137.50/2016.13	c cleaning 198002 clauses out of 396028 with flag 39843516/21805686
2161.71/2039.45	c cleaning 198998 clauses out of 398025 with flag 40245025/22005685
2180.81/2057.77	c cleaning 199999 clauses out of 400026 with flag 40647418/22206684
2205.53/2081.16	c cleaning 201002 clauses out of 402028 with flag 41051577/22408685
2228.40/2103.16	c cleaning 202004 clauses out of 404025 with flag 41457889/22611684
2249.80/2123.81	c cleaning 202995 clauses out of 406021 with flag 41866182/22815684
2273.33/2146.30	c cleaning 203999 clauses out of 408026 with flag 42276417/23020684
2299.08/2167.65	c cleaning 205005 clauses out of 410028 with flag 42689022/23226685
2324.31/2191.62	c cleaning 206000 clauses out of 412022 with flag 43103488/23433684
2344.61/2211.09	c cleaning 207004 clauses out of 414023 with flag 43519785/23641685
2369.80/2234.71	c cleaning 208000 clauses out of 416018 with flag 43938088/23850684
2391.88/2255.90	c cleaning 208998 clauses out of 418019 with flag 44358229/24060685
2417.54/2280.40	c cleaning 210001 clauses out of 420021 with flag 44780343/24271685
2440.76/2302.74	c cleaning 211001 clauses out of 422020 with flag 45204669/24483685
2466.99/2324.25	c cleaning 211993 clauses out of 424018 with flag 45630888/24696684
2491.31/2347.61	c cleaning 213001 clauses out of 426025 with flag 46059084/24910684
2518.01/2373.11	c cleaning 214000 clauses out of 428025 with flag 46489354/25125685
2542.63/2396.74	c cleaning 215002 clauses out of 430025 with flag 46921690/25341685
2567.53/2420.53	c cleaning 215996 clauses out of 432022 with flag 47355998/25558684
2590.20/2442.47	c cleaning 217001 clauses out of 434027 with flag 47792309/25776685
2615.34/2466.54	c cleaning 218001 clauses out of 436025 with flag 48230708/25995684
2644.67/2490.86	c cleaning 219001 clauses out of 438025 with flag 48671823/26215685
2669.98/2515.27	c cleaning 220000 clauses out of 440023 with flag 49114717/26436684
2694.07/2538.10	c cleaning 221001 clauses out of 442023 with flag 49559381/26658684
2719.20/2562.34	c cleaning 222000 clauses out of 444023 with flag 50006037/26881685
2743.32/2585.46	c cleaning 223001 clauses out of 446024 with flag 50454449/27105686
2772.24/2613.10	c cleaning 224001 clauses out of 448021 with flag 50905103/27330684
2796.19/2636.24	c cleaning 224995 clauses out of 450020 with flag 51358204/27556684
2828.43/2663.68	c cleaning 226005 clauses out of 452026 with flag 51813078/27783685
2855.54/2689.51	c cleaning 226994 clauses out of 454021 with flag 52269362/28011685
2885.89/2719.10	c cleaning 228002 clauses out of 456028 with flag 52728120/28240686
2912.57/2744.51	c cleaning 228996 clauses out of 458025 with flag 53189574/28470685
2940.05/2770.89	c cleaning 230001 clauses out of 460029 with flag 53651974/28701685
2964.16/2793.66	c cleaning 231000 clauses out of 462027 with flag 54116243/28933684
2995.81/2819.04	c cleaning 232002 clauses out of 464027 with flag 54582722/29166684
3022.66/2844.87	c cleaning 233002 clauses out of 466026 with flag 55051390/29400685
3053.16/2874.05	c cleaning 233997 clauses out of 468023 with flag 55522333/29635684
3078.18/2897.55	c cleaning 235002 clauses out of 470026 with flag 55994741/29871684
3104.73/2923.28	c cleaning 235999 clauses out of 472026 with flag 56469343/30108686
3134.02/2951.56	c cleaning 237005 clauses out of 474027 with flag 56946044/30346686
3168.48/2978.78	c cleaning 237999 clauses out of 476021 with flag 57424266/30585685
3197.90/3006.98	c cleaning 238996 clauses out of 478021 with flag 57904666/30825684
3227.27/3035.07	c cleaning 239998 clauses out of 480026 with flag 58386927/31066685
3257.05/3063.34	c cleaning 241003 clauses out of 482028 with flag 58871613/31308685
3287.05/3092.45	c cleaning 242001 clauses out of 484026 with flag 59358368/31551686
3314.52/3118.90	c cleaning 243003 clauses out of 486024 with flag 59847065/31795685
3353.46/3152.75	c cleaning 243995 clauses out of 488022 with flag 60337882/32040686
3382.20/3180.36	c cleaning 245003 clauses out of 490026 with flag 60830918/32286685
3412.01/3209.00	c cleaning 245999 clauses out of 492023 with flag 61325800/32533685
3439.54/3235.19	c cleaning 247000 clauses out of 494023 with flag 61822251/32781684
3472.56/3266.90	c cleaning 248000 clauses out of 496023 with flag 62321347/33030684
3505.93/3292.58	c cleaning 249002 clauses out of 498026 with flag 62821933/33280687
3534.41/3319.71	c cleaning 249995 clauses out of 500021 with flag 63324674/33531684
3565.52/3349.59	c cleaning 250998 clauses out of 502027 with flag 63829483/33783685
3597.54/3380.03	c cleaning 251999 clauses out of 504028 with flag 64336029/34036684
3600.03/3382.52	c starts		: 8
3600.03/3382.53	c conflicts		: 34074900
3600.03/3382.53	c decisions		: 35994698
3600.03/3382.53	c propagations		: 246405213
3600.03/3382.53	c inspects		: 4568519224
3600.03/3382.53	c shortcuts		: 0
3600.03/3382.53	c learnt literals	: 0
3600.03/3382.53	c learnt binary clauses	: 0
3600.03/3382.53	c learnt ternary clauses	: 0
3600.03/3382.53	c learnt constraints	: 34074900
3600.03/3382.53	c ignored constraints	: 0
3600.03/3382.53	c root simplifications	: 0
3600.03/3382.53	c removed literals (reason simplification)	: 7062828
3600.03/3382.54	c reason swapping (by a shorter reason)	: 0
3600.03/3382.54	c Calls to reduceDB	: 318
3600.03/3382.54	c Number of update (reduction) of LBD	: 38152
3600.03/3382.54	c Imported unit clauses	: 0
3600.03/3382.54	c No decision after first conflict	: false
3600.03/3382.54	c number of reductions to clauses (during analyze)	: 0
3600.03/3382.54	c number of learned constraints concerned by reduction	: 0
3600.03/3382.54	c number of learning phase by resolution	: 0
3600.03/3382.54	c number of learning phase by cutting planes	: 0
3600.03/3382.54	c number of rounding to 1 operations	: 0
3600.03/3382.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3382.54	c number of reductions of the coefficients by power 2 	: 0
3600.03/3382.54	c number of right shift for reduction by power 2 	: 0
3600.03/3382.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3382.54	c number of ending skipping 	: 0
3600.03/3382.54	c number of internal skipping 	: 0
3600.03/3382.54	c number of derivation steps 	: 0
3600.03/3382.54	c number of skipped derivation steps 	: 0
3600.03/3382.54	c number of remaining unassigned 	: 0
3600.03/3382.54	c number of remaining assigned 	: 0
3600.03/3382.54	c number of falsified literals weakened from reason	: 0
3600.03/3382.54	c number of falsified literals weakened from conflict	: 0
3600.03/3382.54	c time for arithmetic operations	: 0
3600.03/3382.55	c minimum degree of deleted constraints	: null
3600.03/3382.56	c maximum degree of deleted constraints	: null
3600.03/3382.56	c number of deleted constraints	: 0
3600.03/3382.56	c speed (assignments/second)	: 72850.14946677716
3600.03/3382.56	c non guided choices	: 29
3600.23/3382.63	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 290245
3600.23/3382.63	s SATISFIABLE
3600.23/3382.63	c Found 7 solution(s)
3600.23/3382.64	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 
3600.23/3382.64	c objective function=-96
3600.23/3382.64	c Total wall clock time (in seconds): 3382.512

Verifier Data 

OK	-96

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: 63665 MiB (43179 MiB free)
  memory of node 1: 64507 MiB (16954 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512229-1751523166/watcher-4512229-1751523166 -o /tmp/evaluation-result-4512229-1751523166/solver-4512229-1751523166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751519641-73899 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4512229-1751523166.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=74260, runsolver pid=74257

[startup+0.10006 s]*
/proc/loadavg: 4.22 4.19 4.15 5/339 74278
/proc/meminfo: memFree=61559620/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=18930384 memory=59624 CPUtime=0.13 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 6511 0 0 0 11 2 0 0 20 0 18 0 67995429 19384713216 14906 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4732596 14906 5367 1 0 547624 0
[pid=74260/tid=74262] ppid=74257 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 5087 0 0 0 6 1 0 0 20 0 18 0 67995430 19384713216 14906 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67995432 19384713216 14906 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=18930384 memory=55186957820777 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67995433 19384713216 14906 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59624 KiB

[startup+0.206418 s]*
/proc/loadavg: 4.22 4.19 4.15 8/340 74279
/proc/meminfo: memFree=61553760/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=18996948 memory=63708 CPUtime=0.32 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 6922 0 0 0 30 2 0 0 20 0 19 0 67995429 19452874752 15927 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4749237 15927 5463 1 0 548235 0
[pid=74260/tid=74262] ppid=74257 vsize=18996948 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 5373 0 0 0 16 1 0 0 20 0 19 0 67995430 19452874752 15927 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=18996948 memory=2697 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67995432 19452874752 15927 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=18996948 memory=54087446168546 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67995433 19452874752 15927 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67995449 19452874752 15927 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63708 KiB

[startup+0.305664 s]*
/proc/loadavg: 4.22 4.19 4.15 6/340 74279
/proc/meminfo: memFree=61546136/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=18996948 memory=72044 CPUtime=0.51 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 8831 0 0 0 49 2 0 0 20 0 19 0 67995429 19452874752 18011 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4749237 18011 5495 1 0 549331 0
[pid=74260/tid=74262] ppid=74257 vsize=18996948 memory=-6000919477001676904 CPUtime=0.27 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 5409 0 0 0 26 1 0 0 20 0 19 0 67995430 19452874752 18011 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67995432 19452874752 18011 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67995433 19452874752 18011 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67995449 19452874752 18011 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72044 KiB

[startup+0.700234 s]
/proc/loadavg: 4.22 4.19 4.15 6/340 74279
/proc/meminfo: memFree=61534896/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=18996948 memory=101420 CPUtime=1.27 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 12764 0 0 0 124 3 0 0 20 0 19 0 67995429 19452874752 25355 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4749237 25355 5495 1 0 552110 0
[pid=74260/tid=74262] ppid=74257 vsize=18996948 memory=18688 CPUtime=0.64 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 5481 0 0 0 62 2 0 0 20 0 19 0 67995430 19452874752 25355 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67995432 19452874752 25355 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67995433 19452874752 25355 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67995449 19452874752 25355 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101420 KiB

[startup+1.50023 s]
/proc/loadavg: 4.22 4.19 4.15 6/340 74279
/proc/meminfo: memFree=61488772/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=233060 CPUtime=2.54 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 16521 0 0 0 247 7 0 0 20 0 20 0 67995429 19521036288 58265 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 58265 5495 1 0 552679 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=0 CPUtime=1.37 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 6121 0 0 0 134 3 0 0 20 0 20 0 67995430 19521036288 58265 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 58265 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 58265 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 58265 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 233060 KiB

[startup+3.10555 s]
/proc/loadavg: 4.20 4.18 4.14 5/341 74280
/proc/meminfo: memFree=61255308/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=364552 CPUtime=4.29 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 18453 0 0 0 420 9 0 0 20 0 20 0 67995429 19521036288 91138 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 91138 5495 1 0 552700 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=10624 CPUtime=2.85 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 6452 0 0 0 282 3 0 0 20 0 20 0 67995430 19521036288 91138 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=-6000919477001676904 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 91138 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 91138 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 91138 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 4.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 364552 KiB

[startup+6.30021 s]
/proc/loadavg: 4.20 4.18 4.14 5/341 74280
/proc/meminfo: memFree=60827084/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=784548 CPUtime=7.75 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 19814 0 0 0 757 18 0 0 20 0 20 0 67995429 19521036288 196137 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 196137 5495 1 0 941222 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=0 CPUtime=5.81 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 6644 0 0 0 574 7 0 0 20 0 20 0 67995430 19521036288 196137 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 196137 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 196137 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=233060 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 196137 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 784548 KiB

[startup+12.7002 s]
/proc/loadavg: 4.33 4.21 4.15 6/340 74413
/proc/meminfo: memFree=89410492/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=1394784 CPUtime=14.62 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 21798 0 0 0 1429 33 0 0 20 0 20 0 67995429 19521036288 348696 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 348696 5527 1 0 1223240 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=233060 CPUtime=11.82 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 6868 0 0 0 1169 13 0 0 20 0 20 0 67995430 19521036288 348696 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 348696 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 348696 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 348696 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 14.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394784 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.19 4.15 5/320 74503
/proc/meminfo: memFree=100940616/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=2513356 CPUtime=28.07 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 25695 0 0 0 2750 57 0 0 20 0 20 0 67995429 19521036288 628339 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 628339 5527 1 0 1457198 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=0 CPUtime=23.74 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 8034 0 0 0 2354 20 0 0 20 0 20 0 67995430 19521036288 628339 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=1782004 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 628339 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 628339 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=1515740 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 628339 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 28.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2513356 KiB

[startup+51.1055 s]
/proc/loadavg: 4.20 4.19 4.15 5/341 74550
/proc/meminfo: memFree=91439500/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=4441776 CPUtime=55.62 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 43677 0 0 0 5462 100 0 0 20 0 20 0 67995429 19521036288 1110444 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 1110444 5559 1 0 1666324 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=4413044 CPUtime=47.75 cores=4,6

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

[startup+3042.3 s]
/proc/loadavg: 4.33 4.32 4.29 5/340 74707
/proc/meminfo: memFree=51301988/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=14768768 CPUtime=3234.93 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 403667 0 0 0 323060 433 0 0 20 0 20 0 67995429 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 3692192 5559 1 0 4084727 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=14768768 CPUtime=2893.29 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 157822 0 0 0 289189 140 0 0 20 0 20 0 67995430 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 1325 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=-6000919477001676904 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 3234.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14768768 KiB

[startup+3102.3 s]
/proc/loadavg: 4.24 4.29 4.27 6/341 74710
/proc/meminfo: memFree=51301592/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=14768768 CPUtime=3297.46 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 407575 0 0 0 329311 435 0 0 20 0 20 0 67995429 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 3692192 5559 1 0 4084727 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=19840 CPUtime=2950.34 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 159918 0 0 0 294894 140 0 0 20 0 20 0 67995430 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 1330 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 3297.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14768768 KiB

[startup+3162.3 s]
/proc/loadavg: 4.43 4.33 4.29 5/341 74712
/proc/meminfo: memFree=51297648/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=14768768 CPUtime=3363.71 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 416491 0 0 0 335931 440 0 0 20 0 20 0 67995429 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 3692192 5559 1 0 4084727 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=19840 CPUtime=3007.77 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 163244 0 0 0 300636 141 0 0 20 0 20 0 67995430 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 1333 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 3363.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14768768 KiB

[startup+3222.3 s]
/proc/loadavg: 4.42 4.36 4.30 6/341 74714
/proc/meminfo: memFree=51297052/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=14768768 CPUtime=3426.25 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 422518 0 0 0 342182 443 0 0 20 0 20 0 67995429 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 3692192 5559 1 0 4084727 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=14768768 CPUtime=3064.95 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 165603 0 0 0 306353 142 0 0 20 0 20 0 67995430 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=19840 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 1353 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 3426.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14768768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.33 4.29 5/341 74716
/proc/meminfo: memFree=51296688/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=14768768 CPUtime=3488.71 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 428356 0 0 0 348426 445 0 0 20 0 20 0 67995429 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 3692192 5559 1 0 4084727 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=19840 CPUtime=3122.19 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 168915 0 0 0 312077 142 0 0 20 0 20 0 67995430 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=14768768 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 1353 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=19840 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 3692192 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 3488.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14768768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.33 4.29 5/340 74784
/proc/meminfo: memFree=67370604/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=14769280 CPUtime=3558.34 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 438388 0 0 0 355383 451 0 0 20 0 20 0 67995429 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 3692320 5559 1 0 4084810 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=14769280 CPUtime=3178.82 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 172312 0 0 0 317739 143 0 0 20 0 20 0 67995430 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=19840 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=14768896 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 1356 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 3558.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14769280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3382.5 s]
/proc/loadavg: 4.23 4.31 4.28 5/339 74785
/proc/meminfo: memFree=66805036/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19063512 memory=14769280 CPUtime=3600.03 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 441961 0 0 0 359551 452 0 0 20 0 20 0 67995429 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4765878 3692320 5559 1 0 4084810 0
[pid=74260/tid=74262] ppid=74257 vsize=19063512 memory=14768896 CPUtime=3217.35 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 173753 0 0 0 321592 143 0 0 20 0 20 0 67995430 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19063512 memory=14769280 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67995432 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 1368 0 0 0 0 0 0 0 20 0 20 0 67995433 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74279] ppid=74257 vsize=19063512 memory=14769280 CPUtime=0 cores=4,6
/proc/74260/task/74279/stat : 74279 (Timer-0) S 74257 74260 73888 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67995449 19521036288 3692320 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14769280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.79 s, system=4.5667 s

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

[startup+3382.6 s]
/proc/loadavg: 4.23 4.31 4.28 5/339 74785
/proc/meminfo: memFree=66805036/131249988 swapFree=33010160/33010684
[pid=74260] ppid=74257 vsize=19263204 memory=14770048 CPUtime=3600.23 cores=4,6
/proc/74260/stat : 74260 (java) S 74257 74260 73888 0 -1 4194304 443559 0 0 0 359571 452 0 0 20 0 21 0 67995429 19725520896 3692512 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
/proc/74260/statm: 4815801 3692512 5559 1 0 4085787 0
[pid=74260/tid=74262] ppid=74257 vsize=19263204 memory=19840 CPUtime=3217.45 cores=4,6
/proc/74260/task/74262/stat : 74262 (java) R 74257 74260 73888 0 -1 4194368 173945 0 0 0 321602 143 0 0 20 0 21 0 67995430 19725520896 3692512 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74271] ppid=74257 vsize=19263204 memory=4352 CPUtime=0 cores=4,6
/proc/74260/task/74271/stat : 74271 (Finalizer) S 74257 74260 73888 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67995432 19725520896 3692512 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
[pid=74260/tid=74278] ppid=74257 vsize=19263204 memory=1792 CPUtime=0 cores=4,6
/proc/74260/task/74278/stat : 74278 (Common-Cleaner) S 74257 74260 73888 0 -1 4194368 1368 0 0 0 0 0 0 0 20 0 21 0 67995433 19725520896 3692512 18446744073709551615 94523532648448 94523532652144 140732256571056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94523532659960 94523532660752 94523550457856 140732256577921 140732256578022 140732256578022 140732256583624 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14770048 KiB

Child status: 143

Real time (s): 3382.68
CPU time (s): 3600.36
CPU user time (s): 3595.79
CPU system time (s): 4.5667
CPU usage (%): 106.435
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14770048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.79
system time used= 4.5667
maximum resident set size= 14770304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443823
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123306
involuntary context switches= 17925


# summary of solver processes directly reported to runsolver:
#   pid: 74260
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3595.79
#   total CPU system time (s): 4.5667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8405 second user time and 15.6386 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-03 08:12:46
IDJOB=4512229
IDBENCH=160524
IDSOLVER=3363
FILE ID=nodeC034/4512229-1751523166
RUNJOBID= nodeC034-1751519641-73899
SLURM_JOB_ID= 9598639
Free space on /tmp= 431136 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament28.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512229-1751523166/watcher-4512229-1751523166 -o /tmp/evaluation-result-4512229-1751523166/solver-4512229-1751523166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751519641-73899 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4512229-1751523166.opb

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

MD5SUM BENCH= 390ec8fc201467376172e52d21e0ee7b
RANDOM SEED=466228166

nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.761
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.781
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3488.879
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3558.465
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.960
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.760
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3600.657
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        61577244 kB
MemAvailable:   84757168 kB
Buffers:            2128 kB
Cached:         23918908 kB
SwapCached:           36 kB
Active:         45437376 kB
Inactive:       23444300 kB
Active(anon):   44974500 kB
Inactive(anon):     4208 kB
Active(file):     462876 kB
Inactive(file): 23440092 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               712 kB
Writeback:            24 kB
AnonPages:      44963676 kB
Mapped:           124180 kB
Shmem:             18068 kB
KReclaimable:     231988 kB
Slab:             324564 kB
SReclaimable:     231988 kB
SUnreclaim:        92576 kB
KernelStack:        5200 kB
PageTables:        91580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   49354924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  44509184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431144 MiB
End job on nodeC034 at 2025-07-03 09:09:09