Trace number 4512294

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)1183 3600.24 3594.62

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-40.opb
MD5SUMdeae341c085f4a1f226bb0b999d26c4b
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 benchmark1183
Best CPU time to get the best result obtained on this benchmark255.025
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120
Total number of constraints40
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 2340
Biggest coefficient in the objective function 39
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 31980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 31980
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)2340
Sum of products size (including duplicates)4680
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	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.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4512294-1751524706.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  objective function found
0.30/0.23	c ... done. Wall clock time 0.092s.
0.30/0.23	c declared #vars     120
0.30/0.23	c internal #vars     2460
0.30/0.23	c #constraints  4760
0.30/0.23	c constraints type 
0.30/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40
0.30/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2340
0.30/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2380
0.30/0.24	c 4760 constraints processed.
0.30/0.25	c objective function length is 2340 literals
0.49/0.32	c SATISFIABLE
0.49/0.32	c OPTIMIZING...
0.49/0.32	c Got one! Elapsed wall clock time (in seconds):0.177
0.49/0.32	o 2908
0.49/0.36	c Got one! Elapsed wall clock time (in seconds):0.218
0.49/0.36	o 1183
1.66/0.97	c cleaning 2579 clauses out of 5171 with flag 11596/5171
2.25/1.36	c cleaning 4287 clauses out of 8589 with flag 24479/11168
2.78/1.81	c cleaning 5646 clauses out of 11303 with flag 39499/18169
3.33/2.31	c cleaning 6823 clauses out of 13657 with flag 56755/26169
3.88/2.89	c cleaning 7908 clauses out of 15834 with flag 76251/35169
4.48/3.49	c cleaning 8961 clauses out of 17925 with flag 98389/45168
5.18/4.09	c cleaning 9980 clauses out of 19964 with flag 122780/56168
5.89/4.77	c cleaning 10991 clauses out of 21985 with flag 149778/68169
6.60/5.48	c cleaning 11996 clauses out of 23993 with flag 178763/81168
7.41/6.20	c cleaning 12998 clauses out of 25997 with flag 210279/95168
8.23/7.06	c cleaning 13996 clauses out of 27999 with flag 243858/110168
9.12/7.95	c cleaning 15000 clauses out of 30005 with flag 278453/126170
10.07/8.89	c cleaning 16001 clauses out of 32003 with flag 315446/143168
11.11/9.87	c cleaning 17001 clauses out of 34002 with flag 354329/161168
12.22/10.93	c cleaning 17997 clauses out of 36001 with flag 396733/180168
13.32/12.04	c cleaning 18993 clauses out of 38004 with flag 439978/200168
14.51/13.22	c cleaning 20003 clauses out of 40013 with flag 485897/221170
15.71/14.46	c cleaning 21000 clauses out of 42008 with flag 533617/243168
17.13/15.84	c cleaning 21997 clauses out of 44008 with flag 582875/266168
18.52/17.22	c cleaning 23006 clauses out of 46011 with flag 635245/290168
20.01/18.71	c cleaning 23997 clauses out of 48005 with flag 692862/315168
21.51/20.28	c cleaning 24998 clauses out of 50008 with flag 750747/341168
23.12/21.90	c cleaning 25998 clauses out of 52010 with flag 809837/368168
24.92/23.63	c cleaning 27006 clauses out of 54012 with flag 872945/396168
26.72/25.45	c cleaning 27996 clauses out of 56006 with flag 936906/425168
28.65/27.39	c cleaning 29002 clauses out of 58011 with flag 1002942/455169
30.74/29.48	c cleaning 30004 clauses out of 60008 with flag 1071496/486168
32.94/31.61	c cleaning 30999 clauses out of 62005 with flag 1142389/518169
35.16/33.80	c cleaning 32000 clauses out of 64005 with flag 1213327/551168
37.26/35.95	c cleaning 32999 clauses out of 66005 with flag 1286659/585168
39.46/38.16	c cleaning 33999 clauses out of 68007 with flag 1363568/620169
41.88/40.51	c cleaning 35004 clauses out of 70009 with flag 1441841/656170
44.27/42.99	c cleaning 35996 clauses out of 72003 with flag 1521951/693168
46.88/45.51	c cleaning 37004 clauses out of 74008 with flag 1605371/731169
49.58/48.24	c cleaning 37999 clauses out of 76003 with flag 1690942/770168
52.50/51.11	c cleaning 39002 clauses out of 78004 with flag 1778512/810168
55.08/53.74	c cleaning 39997 clauses out of 80002 with flag 1867592/851168
57.78/56.47	c cleaning 41003 clauses out of 82007 with flag 1959094/893170
60.70/59.30	c cleaning 41998 clauses out of 84004 with flag 2053666/936170
63.59/62.22	c cleaning 42997 clauses out of 86004 with flag 2148848/980168
66.70/65.34	c cleaning 43999 clauses out of 88007 with flag 2247153/1025168
69.93/68.48	c cleaning 45005 clauses out of 90010 with flag 2347935/1071170
73.02/71.57	c cleaning 45995 clauses out of 92003 with flag 2450561/1118168
76.34/74.81	c cleaning 47002 clauses out of 94009 with flag 2555874/1166169
79.64/78.15	c cleaning 48002 clauses out of 96007 with flag 2664071/1215169
83.16/81.61	c cleaning 49002 clauses out of 98004 with flag 2774774/1265168
86.66/85.17	c cleaning 50002 clauses out of 100003 with flag 2886883/1316169
90.25/88.73	c cleaning 51000 clauses out of 102000 with flag 2999573/1368168
93.44/91.94	c cleaning 51996 clauses out of 104000 with flag 3112749/1421168
96.88/95.36	c cleaning 53002 clauses out of 106004 with flag 3228947/1475168
101.07/99.51	c cleaning 53994 clauses out of 108002 with flag 3353097/1530168
105.26/103.75	c cleaning 55003 clauses out of 110009 with flag 3480769/1586169
109.48/107.97	c cleaning 56000 clauses out of 112005 with flag 3608128/1643168
113.77/112.23	c cleaning 56994 clauses out of 114005 with flag 3738138/1701168
117.87/116.34	c cleaning 58000 clauses out of 116011 with flag 3868442/1760168
122.11/120.52	c cleaning 58999 clauses out of 118012 with flag 4000249/1820169
127.10/125.56	c cleaning 60001 clauses out of 120012 with flag 4137571/1881168
130.79/129.27	c cleaning 61003 clauses out of 122011 with flag 4271568/1943168
134.69/133.15	c cleaning 62005 clauses out of 124009 with flag 4406528/2006169
138.58/137.02	c cleaning 62996 clauses out of 126005 with flag 4543537/2070170
142.97/141.30	c cleaning 64002 clauses out of 128007 with flag 4681241/2135168
147.36/145.76	c cleaning 64999 clauses out of 130006 with flag 4823800/2201169
151.35/149.79	c cleaning 65998 clauses out of 132006 with flag 4965694/2268168
155.44/153.86	c cleaning 67001 clauses out of 134009 with flag 5109389/2336169
159.63/158.01	c cleaning 67997 clauses out of 136007 with flag 5255527/2405168
164.37/162.74	c cleaning 69004 clauses out of 138011 with flag 5404955/2475169
168.67/167.02	c cleaning 70000 clauses out of 140006 with flag 5554153/2546168
172.76/171.15	c cleaning 70994 clauses out of 142006 with flag 5704804/2618168
177.05/175.46	c cleaning 72005 clauses out of 144015 with flag 5858462/2691171
181.44/179.88	c cleaning 73002 clauses out of 146008 with flag 6011392/2765169
186.11/184.43	c cleaning 73994 clauses out of 148005 with flag 6167974/2840168
190.50/188.84	c cleaning 75001 clauses out of 150012 with flag 6326199/2916169
195.08/193.44	c cleaning 75992 clauses out of 152010 with flag 6488457/2993168
199.87/198.28	c cleaning 77003 clauses out of 154018 with flag 6651734/3071168
204.86/203.20	c cleaning 78007 clauses out of 156016 with flag 6815689/3150169
209.84/208.11	c cleaning 79000 clauses out of 158008 with flag 6983288/3230168
214.73/213.09	c cleaning 79998 clauses out of 160008 with flag 7151724/3311168
219.82/218.17	c cleaning 80997 clauses out of 162010 with flag 7323241/3393168
224.90/223.24	c cleaning 82000 clauses out of 164013 with flag 7498069/3476168
230.69/229.07	c cleaning 83002 clauses out of 166015 with flag 7680948/3560170
236.85/235.15	c cleaning 83995 clauses out of 168011 with flag 7863228/3645168
242.54/240.89	c cleaning 85005 clauses out of 170017 with flag 8044633/3731169
248.53/246.89	c cleaning 86003 clauses out of 172011 with flag 8229739/3818168
254.31/252.62	c cleaning 86998 clauses out of 174008 with flag 8415357/3906168
260.10/258.49	c cleaning 88002 clauses out of 176010 with flag 8601666/3995168
265.99/264.34	c cleaning 88999 clauses out of 178008 with flag 8792806/4085168
271.97/270.37	c cleaning 90000 clauses out of 180010 with flag 8982742/4176169
277.98/276.20	c cleaning 90991 clauses out of 182010 with flag 9180767/4268169
283.77/282.05	c cleaning 92003 clauses out of 184018 with flag 9377510/4361168
289.65/287.97	c cleaning 93005 clauses out of 186015 with flag 9576393/4455168
295.44/293.73	c cleaning 94003 clauses out of 188011 with flag 9773789/4550169
301.43/299.77	c cleaning 95003 clauses out of 190008 with flag 9972407/4646169
307.01/305.38	c cleaning 95998 clauses out of 192005 with flag 10174079/4743169
313.58/311.44	c cleaning 97001 clauses out of 194007 with flag 10380097/4841169
319.76/317.65	c cleaning 97996 clauses out of 196005 with flag 10587100/4940168
326.84/324.70	c cleaning 99004 clauses out of 198009 with flag 10804999/5040168
334.14/332.01	c cleaning 99998 clauses out of 200007 with flag 11026559/5141170
340.92/338.84	c cleaning 100994 clauses out of 202007 with flag 11243512/5243168
348.48/346.35	c cleaning 102004 clauses out of 204013 with flag 11463103/5346168
355.07/352.94	c cleaning 103002 clauses out of 206010 with flag 11678918/5450169
361.46/359.33	c cleaning 104000 clauses out of 208007 with flag 11897326/5555168
368.05/365.94	c cleaning 105003 clauses out of 210010 with flag 12115803/5661171
374.43/372.36	c cleaning 105999 clauses out of 212004 with flag 12333954/5768168
381.22/379.19	c cleaning 106995 clauses out of 214006 with flag 12556814/5876169
388.49/386.37	c cleaning 108003 clauses out of 216010 with flag 12781774/5985168
395.47/393.36	c cleaning 108998 clauses out of 218008 with flag 13007429/6095169
403.26/401.18	c cleaning 110000 clauses out of 220009 with flag 13239557/6206168
410.43/408.38	c cleaning 111002 clauses out of 222009 with flag 13470454/6318168
417.62/415.52	c cleaning 111995 clauses out of 224007 with flag 13702047/6431168
424.60/422.58	c cleaning 113005 clauses out of 226014 with flag 13934164/6545170
432.08/429.99	c cleaning 113997 clauses out of 228008 with flag 14177633/6660169
440.06/437.97	c cleaning 115001 clauses out of 230010 with flag 14417057/6776168
447.54/445.43	c cleaning 115994 clauses out of 232009 with flag 14656964/6893168
455.32/453.26	c cleaning 117002 clauses out of 234016 with flag 14900152/7011169
463.40/461.39	c cleaning 117998 clauses out of 236013 with flag 15157219/7130168
471.59/469.41	c cleaning 119005 clauses out of 238016 with flag 15405824/7250169
479.37/477.29	c cleaning 120002 clauses out of 240011 with flag 15654315/7371169
487.35/485.23	c cleaning 121001 clauses out of 242008 with flag 15906063/7493168
495.34/493.22	c cleaning 122003 clauses out of 244007 with flag 16157692/7616168
504.13/502.04	c cleaning 122997 clauses out of 246005 with flag 16412304/7740169
512.21/510.11	c cleaning 124002 clauses out of 248007 with flag 16668922/7865168
520.45/518.36	c cleaning 125000 clauses out of 250006 with flag 16928228/7991169
528.83/526.70	c cleaning 125997 clauses out of 252006 with flag 17186391/8118169
537.51/535.48	c cleaning 126996 clauses out of 254009 with flag 17447366/8246169
545.99/543.95	c cleaning 128006 clauses out of 256012 with flag 17709546/8375168
554.18/552.14	c cleaning 129003 clauses out of 258007 with flag 17972886/8505169
563.07/561.02	c cleaning 130001 clauses out of 260003 with flag 18238724/8636168
572.24/570.24	c cleaning 131000 clauses out of 262002 with flag 18506609/8768168
581.52/579.50	c cleaning 131997 clauses out of 264002 with flag 18779626/8901168
590.13/588.10	c cleaning 132998 clauses out of 266006 with flag 19054075/9035169
598.70/596.69	c cleaning 134004 clauses out of 268007 with flag 19330604/9170168
607.58/605.50	c cleaning 135000 clauses out of 270003 with flag 19606975/9306168
616.45/614.40	c cleaning 135996 clauses out of 272003 with flag 19886162/9443168
625.14/623.11	c cleaning 137001 clauses out of 274007 with flag 20166698/9581168
633.82/631.86	c cleaning 138000 clauses out of 276007 with flag 20449566/9720169
643.19/641.17	c cleaning 138992 clauses out of 278006 with flag 20747031/9860168
651.76/649.79	c cleaning 139999 clauses out of 280015 with flag 21038402/10001169
660.54/658.53	c cleaning 141003 clauses out of 282015 with flag 21333660/10143168
669.63/667.63	c cleaning 141999 clauses out of 284012 with flag 21625286/10286168
679.21/677.27	c cleaning 143001 clauses out of 286014 with flag 21920772/10430169
688.95/686.48	c cleaning 144004 clauses out of 288012 with flag 22217706/10575168
697.93/695.40	c cleaning 145001 clauses out of 290009 with flag 22518473/10721169
707.01/704.56	c cleaning 145995 clauses out of 292008 with flag 22819137/10868169
716.69/714.21	c cleaning 147001 clauses out of 294013 with flag 23123262/11016169
727.17/724.70	c cleaning 148000 clauses out of 296011 with flag 23437160/11165168
737.11/734.65	c cleaning 149005 clauses out of 298012 with flag 23750167/11315169
747.29/744.85	c cleaning 150002 clauses out of 300006 with flag 24063434/11466168
757.36/754.94	c cleaning 150992 clauses out of 302004 with flag 24380167/11618168
766.74/764.39	c cleaning 152002 clauses out of 304012 with flag 24693889/11771168
776.43/774.07	c cleaning 153002 clauses out of 306011 with flag 25011044/11925169
786.90/784.52	c cleaning 154001 clauses out of 308008 with flag 25327819/12080168
796.78/794.42	c cleaning 154998 clauses out of 310007 with flag 25646102/12236168
807.18/804.79	c cleaning 156001 clauses out of 312009 with flag 25965329/12393168
817.65/815.26	c cleaning 157002 clauses out of 314009 with flag 26288232/12551169
828.13/825.77	c cleaning 157997 clauses out of 316006 with flag 26613546/12710168
838.71/836.32	c cleaning 159002 clauses out of 318010 with flag 26940131/12870169
849.69/847.30	c cleaning 160002 clauses out of 320009 with flag 27267818/13031170
860.17/857.83	c cleaning 160994 clauses out of 322005 with flag 27598166/13193168
870.84/868.53	c cleaning 162001 clauses out of 324012 with flag 27932234/13356169
882.32/879.98	c cleaning 163001 clauses out of 326010 with flag 28266557/13520168
893.60/891.21	c cleaning 163997 clauses out of 328009 with flag 28607163/13685168
904.38/902.04	c cleaning 165005 clauses out of 330013 with flag 28947660/13851169
914.95/912.66	c cleaning 165999 clauses out of 332009 with flag 29287243/14018170
925.93/923.61	c cleaning 166998 clauses out of 334008 with flag 29637261/14186168
937.50/935.22	c cleaning 168000 clauses out of 336010 with flag 30006031/14355168
949.62/947.28	c cleaning 169006 clauses out of 338011 with flag 30365397/14525169
961.09/958.72	c cleaning 169997 clauses out of 340004 with flag 30723190/14696168
972.48/970.20	c cleaning 171001 clauses out of 342007 with flag 31077492/14868168
984.25/981.93	c cleaning 171999 clauses out of 344007 with flag 31432003/15041169
994.83/992.53	c cleaning 172997 clauses out of 346007 with flag 31786126/15215168
1005.70/1003.47	c cleaning 174006 clauses out of 348012 with flag 32142710/15390170
1017.01/1014.66	c cleaning 175002 clauses out of 350004 with flag 32500728/15566168
1028.28/1025.96	c cleaning 175996 clauses out of 352002 with flag 32861411/15743168
1039.57/1037.28	c cleaning 177000 clauses out of 354007 with flag 33223485/15921169
1051.14/1048.89	c cleaning 177998 clauses out of 356006 with flag 33589915/16100168
1063.61/1061.32	c cleaning 179002 clauses out of 358009 with flag 33957237/16280169
1074.94/1072.52	c cleaning 180004 clauses out of 360007 with flag 34326835/16461169
1086.42/1084.05	c cleaning 180989 clauses out of 362002 with flag 34699041/16643168
1099.29/1096.99	c cleaning 182002 clauses out of 364013 with flag 35075570/16826168
1111.66/1109.39	c cleaning 183001 clauses out of 366011 with flag 35454002/17010168
1124.43/1121.56	c cleaning 184005 clauses out of 368013 with flag 35830362/17195171
1137.70/1134.87	c cleaning 185001 clauses out of 370007 with flag 36210180/17381170
1150.97/1148.15	c cleaning 186001 clauses out of 372005 with flag 36593737/17568169
1164.24/1161.46	c cleaning 186996 clauses out of 374003 with flag 36975806/17756168
1176.89/1174.01	c cleaning 187999 clauses out of 376008 with flag 37363748/17945169
1190.26/1187.44	c cleaning 188999 clauses out of 378009 with flag 37752444/18135169
1203.23/1200.44	c cleaning 189994 clauses out of 380009 with flag 38140635/18326168
1215.70/1212.98	c cleaning 191000 clauses out of 382016 with flag 38534677/18518169
1229.18/1226.42	c cleaning 192003 clauses out of 384016 with flag 38929189/18711169
1242.15/1239.33	c cleaning 193002 clauses out of 386013 with flag 39325234/18905169
1254.62/1251.86	c cleaning 193999 clauses out of 388010 with flag 39722561/19100168
1267.50/1264.71	c cleaning 195000 clauses out of 390011 with flag 40125276/19296168
1281.86/1279.14	c cleaning 196003 clauses out of 392012 with flag 40536360/19493169
1295.12/1292.44	c cleaning 196996 clauses out of 394009 with flag 40948549/19691169
1308.88/1306.04	c cleaning 198001 clauses out of 396012 with flag 41357111/19890168
1321.65/1318.89	c cleaning 199006 clauses out of 398012 with flag 41765571/20090169
1334.72/1331.98	c cleaning 199995 clauses out of 400006 with flag 42174435/20291169
1348.29/1345.53	c cleaning 201004 clauses out of 402011 with flag 42585145/20493169
1362.58/1359.74	c cleaning 202000 clauses out of 404006 with flag 43000083/20696168
1377.25/1374.43	c cleaning 202992 clauses out of 406007 with flag 43428608/20900169
1391.42/1388.65	c cleaning 204001 clauses out of 408014 with flag 43866624/21105168
1405.69/1402.96	c cleaning 205001 clauses out of 410014 with flag 44293559/21311169
1419.86/1417.13	c cleaning 205999 clauses out of 412012 with flag 44717846/21518168
1434.50/1431.31	c cleaning 207003 clauses out of 414014 with flag 45143035/21726169
1448.47/1445.31	c cleaning 207998 clauses out of 416010 with flag 45569250/21935168
1463.64/1460.52	c cleaning 209000 clauses out of 418012 with flag 45999834/22145168
1477.81/1474.79	c cleaning 209997 clauses out of 420012 with flag 46427930/22356168
1492.97/1489.86	c cleaning 211003 clauses out of 422017 with flag 46859908/22568170
1507.33/1504.23	c cleaning 212004 clauses out of 424014 with flag 47294507/22781170
1520.91/1517.84	c cleaning 212995 clauses out of 426009 with flag 47734118/22995169
1534.38/1531.37	c cleaning 214000 clauses out of 428015 with flag 48173840/23210170
1549.05/1546.02	c cleaning 215005 clauses out of 430014 with flag 48610649/23426169
1563.32/1560.23	c cleaning 216003 clauses out of 432009 with flag 49055132/23643169
1578.11/1575.08	c cleaning 217000 clauses out of 434005 with flag 49501478/23861168
1593.17/1590.12	c cleaning 218002 clauses out of 436006 with flag 49951562/24080169
1608.24/1605.29	c cleaning 219000 clauses out of 438004 with flag 50402965/24300169
1623.60/1620.63	c cleaning 219995 clauses out of 440003 with flag 50863358/24521168
1639.97/1636.94	c cleaning 220999 clauses out of 442009 with flag 51326256/24743169
1654.44/1651.49	c cleaning 222000 clauses out of 444010 with flag 51782220/24966169
1669.91/1666.95	c cleaning 222996 clauses out of 446010 with flag 52239465/25190169
1684.18/1681.29	c cleaning 224003 clauses out of 448014 with flag 52697937/25415169
1699.84/1696.93	c cleaning 225000 clauses out of 450011 with flag 53155510/25641169
1715.58/1712.53	c cleaning 226003 clauses out of 452011 with flag 53617491/25868169
1732.05/1729.04	c cleaning 227001 clauses out of 454007 with flag 54080834/26096168
1747.91/1745.00	c cleaning 228004 clauses out of 456008 with flag 54546295/26325170
1763.48/1760.57	c cleaning 228999 clauses out of 458002 with flag 55014775/26555168
1779.64/1776.73	c cleaning 229999 clauses out of 460004 with flag 55483625/26786169
1795.82/1792.39	c cleaning 230998 clauses out of 462004 with flag 55955696/27018168
1811.09/1807.68	c cleaning 231993 clauses out of 464006 with flag 56429439/27251168
1827.35/1823.93	c cleaning 233002 clauses out of 466015 with flag 56905628/27485170
1845.04/1841.55	c cleaning 233996 clauses out of 468012 with flag 57384326/27720169
1862.10/1858.64	c cleaning 235000 clauses out of 470015 with flag 57879100/27956168
1880.76/1877.34	c cleaning 236004 clauses out of 472016 with flag 58383208/28193169
1897.73/1894.35	c cleaning 236999 clauses out of 474012 with flag 58868494/28431169
1914.92/1911.49	c cleaning 238003 clauses out of 476012 with flag 59356148/28670168
1931.19/1927.74	c cleaning 238997 clauses out of 478010 with flag 59846855/28910169
1947.55/1944.17	c cleaning 240004 clauses out of 480014 with flag 60336266/29151170
1964.71/1961.38	c cleaning 241003 clauses out of 482010 with flag 60830196/29393170
1982.57/1979.11	c cleaning 241995 clauses out of 484005 with flag 61326496/29636168
2000.03/1996.61	c cleaning 242999 clauses out of 486011 with flag 61825563/29880169
2016.79/2013.41	c cleaning 243997 clauses out of 488012 with flag 62326108/30125169
2035.55/2032.26	c cleaning 245002 clauses out of 490015 with flag 62827755/30371169
2053.71/2050.48	c cleaning 245998 clauses out of 492012 with flag 63331146/30618168
2072.15/2068.89	c cleaning 247003 clauses out of 494014 with flag 63839237/30866168
2089.33/2086.09	c cleaning 248001 clauses out of 496011 with flag 64351956/31115168
2108.68/2105.42	c cleaning 249006 clauses out of 498011 with flag 64865746/31365169
2127.00/2123.69	c cleaning 249994 clauses out of 500004 with flag 65388618/31616168
2145.17/2141.83	c cleaning 250999 clauses out of 502011 with flag 65915429/31868169
2164.62/2161.33	c cleaning 252001 clauses out of 504012 with flag 66434717/32121169
2185.55/2181.54	c cleaning 252997 clauses out of 506011 with flag 66963687/32375169
2204.52/2200.58	c cleaning 253997 clauses out of 508013 with flag 67494591/32630168
2222.38/2218.31	c cleaning 255003 clauses out of 510016 with flag 68024707/32886168
2240.34/2236.38	c cleaning 255998 clauses out of 512014 with flag 68562173/33143169
2259.20/2255.28	c cleaning 257005 clauses out of 514015 with flag 69108651/33401168
2279.83/2275.87	c cleaning 258000 clauses out of 516010 with flag 69650466/33660168
2298.99/2295.02	c cleaning 258998 clauses out of 518010 with flag 70190508/33920168
2318.44/2314.56	c cleaning 260000 clauses out of 520012 with flag 70726220/34181168
2337.14/2333.19	c cleaning 261006 clauses out of 522012 with flag 71264596/34443168
2355.79/2351.81	c cleaning 261999 clauses out of 524006 with flag 71803164/34706168
2374.96/2371.10	c cleaning 263001 clauses out of 526007 with flag 72343021/34970168
2393.86/2389.86	c cleaning 263996 clauses out of 528006 with flag 72905594/35235168
2412.83/2408.86	c cleaning 265000 clauses out of 530013 with flag 73447084/35501171
2431.88/2427.99	c cleaning 265989 clauses out of 532011 with flag 73991049/35768169
2452.66/2448.65	c cleaning 267005 clauses out of 534022 with flag 74541222/36036169
2473.72/2469.70	c cleaning 268002 clauses out of 536016 with flag 75104560/36305168
2492.78/2488.81	c cleaning 269001 clauses out of 538014 with flag 75665363/36575168
2512.91/2508.93	c cleaning 270003 clauses out of 540015 with flag 76225116/36846170
2532.37/2528.47	c cleaning 271002 clauses out of 542011 with flag 76788699/37118169
2552.01/2547.46	c cleaning 272002 clauses out of 544011 with flag 77349246/37391171
2572.26/2567.78	c cleaning 272997 clauses out of 546006 with flag 77918544/37665168
2590.49/2586.00	c cleaning 274000 clauses out of 548009 with flag 78479401/37940168
2610.25/2605.78	c cleaning 274996 clauses out of 550009 with flag 79043177/38216168
2629.51/2625.08	c cleaning 276003 clauses out of 552013 with flag 79611050/38493168
2649.83/2645.39	c cleaning 276997 clauses out of 554010 with flag 80186088/38771168
2670.88/2666.47	c cleaning 278003 clauses out of 556015 with flag 80759671/39050170
2691.83/2687.47	c cleaning 279001 clauses out of 558011 with flag 81331590/39330169
2711.80/2707.39	c cleaning 279999 clauses out of 560009 with flag 81903680/39611168
2733.86/2729.41	c cleaning 280997 clauses out of 562010 with flag 82492374/39893168
2754.32/2749.92	c cleaning 282001 clauses out of 564014 with flag 83093790/40176169
2772.71/2768.29	c cleaning 283002 clauses out of 566013 with flag 83675830/40460169
2792.77/2788.35	c cleaning 283997 clauses out of 568011 with flag 84257339/40745169
2811.03/2806.68	c cleaning 285001 clauses out of 570014 with flag 84837897/41031169
2831.09/2826.69	c cleaning 286005 clauses out of 572012 with flag 85423034/41318168
2851.05/2846.63	c cleaning 286998 clauses out of 574007 with flag 86010003/41606168
2871.51/2867.17	c cleaning 288000 clauses out of 576009 with flag 86597618/41895168
2893.18/2888.70	c cleaning 288995 clauses out of 578011 with flag 87194560/42185170
2917.33/2913.00	c cleaning 290006 clauses out of 580014 with flag 87792988/42476168
2938.58/2934.23	c cleaning 290996 clauses out of 582009 with flag 88396688/42768169
2964.20/2959.34	c cleaning 291995 clauses out of 584012 with flag 89013985/43061168
2985.26/2980.42	c cleaning 293005 clauses out of 586017 with flag 89616583/43355168
3009.27/3004.40	c cleaning 293999 clauses out of 588012 with flag 90224270/43650168
3030.22/3025.45	c cleaning 294997 clauses out of 590013 with flag 90837839/43946168
3050.38/3045.64	c cleaning 296009 clauses out of 592017 with flag 91451362/44243169
3073.19/3068.46	c cleaning 296999 clauses out of 594008 with flag 92056476/44541169
3094.35/3089.66	c cleaning 297996 clauses out of 596008 with flag 92662982/44840168
3116.60/3111.92	c cleaning 299005 clauses out of 598013 with flag 93273237/45140169
3141.07/3136.33	c cleaning 299992 clauses out of 600007 with flag 93886124/45441168
3162.31/3157.60	c cleaning 301004 clauses out of 602015 with flag 94504819/45743168
3184.55/3179.95	c cleaning 302000 clauses out of 604012 with flag 95127359/46046169
3207.36/3202.65	c cleaning 303006 clauses out of 606011 with flag 95746198/46350168
3229.72/3225.02	c cleaning 303995 clauses out of 608006 with flag 96362675/46655169
3249.78/3245.14	c cleaning 304993 clauses out of 610010 with flag 96982220/46961168
3274.45/3269.72	c cleaning 305994 clauses out of 612017 with flag 97610203/47268168
3296.11/3291.42	c cleaning 307005 clauses out of 614023 with flag 98237469/47576168
3317.96/3313.38	c cleaning 308003 clauses out of 616018 with flag 98869861/47885168
3342.61/3337.99	c cleaning 309003 clauses out of 618016 with flag 99506998/48195169
3365.16/3360.52	c cleaning 309995 clauses out of 620013 with flag 100145940/48506169
3389.36/3383.99	c cleaning 311001 clauses out of 622017 with flag 100786540/48818168
3412.81/3407.47	c cleaning 312006 clauses out of 624017 with flag 101427892/49131169
3435.24/3429.83	c cleaning 313003 clauses out of 626011 with flag 102066774/49445169
3458.60/3453.24	c cleaning 313998 clauses out of 628009 with flag 102706168/49760170
3479.73/3474.39	c cleaning 314996 clauses out of 630010 with flag 103351601/50076169
3506.18/3500.82	c cleaning 316002 clauses out of 632013 with flag 104010185/50393168
3533.19/3527.71	c cleaning 316999 clauses out of 634011 with flag 104671263/50711168
3558.24/3552.87	c cleaning 318003 clauses out of 636012 with flag 105325968/51030168
3584.15/3578.67	c cleaning 318996 clauses out of 638009 with flag 105979195/51350168
3600.01/3594.52	c starts		: 19069
3600.01/3594.52	c conflicts		: 51578473
3600.01/3594.52	c decisions		: 60008740
3600.01/3594.52	c propagations		: 5679210839
3600.01/3594.52	c inspects		: 20329252918
3600.01/3594.52	c shortcuts		: 0
3600.01/3594.52	c learnt literals	: 0
3600.01/3594.53	c learnt binary clauses	: 0
3600.01/3594.53	c learnt ternary clauses	: 0
3600.01/3594.53	c learnt constraints	: 51578473
3600.01/3594.53	c ignored constraints	: 0
3600.01/3594.53	c root simplifications	: 0
3600.01/3594.53	c removed literals (reason simplification)	: 1098505741
3600.01/3594.53	c reason swapping (by a shorter reason)	: 0
3600.01/3594.53	c Calls to reduceDB	: 316
3600.01/3594.53	c Number of update (reduction) of LBD	: 1085377
3600.01/3594.53	c Imported unit clauses	: 0
3600.01/3594.53	c No decision after first conflict	: false
3600.01/3594.53	c number of reductions to clauses (during analyze)	: 0
3600.01/3594.53	c number of learned constraints concerned by reduction	: 0
3600.01/3594.53	c number of learning phase by resolution	: 0
3600.01/3594.53	c number of learning phase by cutting planes	: 0
3600.01/3594.53	c number of rounding to 1 operations	: 0
3600.01/3594.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3594.53	c number of reductions of the coefficients by power 2 	: 0
3600.01/3594.53	c number of right shift for reduction by power 2 	: 0
3600.01/3594.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3594.53	c number of ending skipping 	: 0
3600.01/3594.53	c number of internal skipping 	: 0
3600.01/3594.53	c number of derivation steps 	: 0
3600.01/3594.53	c number of skipped derivation steps 	: 0
3600.01/3594.53	c number of remaining unassigned 	: 0
3600.01/3594.53	c number of remaining assigned 	: 0
3600.01/3594.53	c number of falsified literals weakened from reason	: 0
3600.01/3594.53	c number of falsified literals weakened from conflict	: 0
3600.01/3594.53	c time for arithmetic operations	: 0
3600.01/3594.53	c minimum degree of deleted constraints	: null
3600.01/3594.53	c maximum degree of deleted constraints	: null
3600.01/3594.53	c number of deleted constraints	: 0
3600.01/3594.53	c speed (assignments/second)	: 1580073.516736361
3600.01/3594.53	c non guided choices	: 37
3600.01/3594.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 547318
3600.01/3594.60	s SATISFIABLE
3600.01/3594.60	c Found 2 solution(s)
3600.20/3594.60	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 
3600.20/3594.61	c objective function=1183
3600.20/3594.61	c Total wall clock time (in seconds): 3594.47

Verifier Data 

OK	1183

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: 63708 MiB (33911 MiB free)
  memory of node 1: 64465 MiB (40570 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512294-1751524706/watcher-4512294-1751524706 -o /tmp/evaluation-result-4512294-1751524706/solver-4512294-1751524706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72932 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4512294-1751524706.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=73564, runsolver pid=73561

[startup+0.10006 s]*
/proc/loadavg: 4.94 4.70 4.56 5/337 73582
/proc/meminfo: memFree=76247268/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=18930384 memory=53368 CPUtime=0.11 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 6470 0 0 0 9 2 0 0 20 0 18 0 68149284 19384713216 13342 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4732596 13342 5368 1 0 547568 0
[pid=73564/tid=73566] ppid=73561 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 4996 0 0 0 5 1 0 0 20 0 18 0 68149285 19384713216 13342 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68149287 19384713216 13342 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=18930384 memory=61784027576291 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68149288 19384713216 13342 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53368 KiB

[startup+0.205736 s]*
/proc/loadavg: 4.94 4.70 4.56 7/337 73582
/proc/meminfo: memFree=76235044/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=18930384 memory=61684 CPUtime=0.3 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 6966 0 0 0 28 2 0 0 20 0 18 0 68149284 19384713216 15421 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4732596 15421 5432 1 0 547861 0
[pid=73564/tid=73566] ppid=73561 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 5285 0 0 0 15 2 0 0 20 0 18 0 68149285 19384713216 15421 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=18930384 memory=13937 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68149287 19384713216 15421 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68149288 19384713216 15421 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61684 KiB

[startup+0.305702 s]*
/proc/loadavg: 4.94 4.70 4.56 6/338 73583
/proc/meminfo: memFree=76226916/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=18996948 memory=70828 CPUtime=0.49 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 7909 0 0 0 46 3 0 0 20 0 19 0 68149284 19452874752 17707 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4749237 17707 5496 1 0 548652 0
[pid=73564/tid=73566] ppid=73561 vsize=18996948 memory=-6000919502754507112 CPUtime=0.25 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 5397 0 0 0 23 2 0 0 20 0 19 0 68149285 19452874752 17707 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68149287 19452874752 17707 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68149288 19452874752 17707 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68149310 19452874752 17707 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70828 KiB

[startup+0.700197 s]
/proc/loadavg: 4.94 4.70 4.56 6/338 73583
/proc/meminfo: memFree=76219292/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=18996948 memory=82336 CPUtime=1.26 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 9784 0 0 0 122 4 0 0 20 0 19 0 68149284 19452874752 20584 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4749237 20584 5496 1 0 549924 0
[pid=73564/tid=73566] ppid=73561 vsize=18996948 memory=18432 CPUtime=0.62 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 5431 0 0 0 60 2 0 0 20 0 19 0 68149285 19452874752 20584 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68149287 19452874752 20584 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68149288 19452874752 20584 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68149310 19452874752 20584 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82336 KiB

[startup+1.50019 s]
/proc/loadavg: 4.94 4.70 4.56 6/338 73583
/proc/meminfo: memFree=76207320/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=18996948 memory=97036 CPUtime=2.47 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 12421 0 0 0 243 4 0 0 20 0 19 0 68149284 19452874752 24259 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4749237 24259 5496 1 0 550415 0
[pid=73564/tid=73566] ppid=73561 vsize=18996948 memory=11136 CPUtime=1.41 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 5797 0 0 0 139 2 0 0 20 0 19 0 68149285 19452874752 24259 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68149287 19452874752 24259 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68149288 19452874752 24259 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68149310 19452874752 24259 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97036 KiB

[startup+3.10548 s]
/proc/loadavg: 4.94 4.70 4.56 5/338 73583
/proc/meminfo: memFree=76174816/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=18996948 memory=123772 CPUtime=4.18 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 14286 0 0 0 413 5 0 0 20 0 19 0 68149284 19452874752 30943 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4749237 30943 5496 1 0 550418 0
[pid=73564/tid=73566] ppid=73561 vsize=18996948 memory=11136 CPUtime=3.01 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 6123 0 0 0 298 3 0 0 20 0 19 0 68149285 19452874752 30943 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=18996948 memory=-6000919502754507112 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68149287 19452874752 30943 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68149288 19452874752 30943 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68149310 19452874752 30943 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 123772 KiB

[startup+6.30017 s]
/proc/loadavg: 4.86 4.69 4.55 5/339 73584
/proc/meminfo: memFree=75896288/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=177820 CPUtime=7.51 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 19450 0 0 0 744 7 0 0 20 0 20 0 68149284 19521036288 44455 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 44455 5560 1 0 550718 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=0 CPUtime=6.18 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 6829 0 0 0 615 3 0 0 20 0 20 0 68149285 19521036288 44455 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 44455 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 44455 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=99084 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 44455 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 7.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177820 KiB

[startup+12.7002 s]
/proc/loadavg: 4.80 4.67 4.55 5/339 73584
/proc/meminfo: memFree=75884232/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=184132 CPUtime=14.01 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 21525 0 0 0 1394 7 0 0 20 0 20 0 68149284 19521036288 46033 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 46033 5560 1 0 550718 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=99084 CPUtime=12.55 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 7432 0 0 0 1252 3 0 0 20 0 20 0 68149285 19521036288 46033 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 46033 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=184132 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 46033 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 46033 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 14.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184132 KiB

[startup+25.5002 s]
/proc/loadavg: 4.76 4.67 4.55 5/339 73718
/proc/meminfo: memFree=97446476/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=227408 CPUtime=26.82 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 22547 0 0 0 2674 8 0 0 20 0 20 0 68149284 19521036288 56852 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 56852 5560 1 0 550718 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=11136 CPUtime=25.26 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 7599 0 0 0 2523 3 0 0 20 0 20 0 68149285 19521036288 56852 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=184132 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 56852 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=227408 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 56852 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=198540 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 56852 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 26.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 227408 KiB

[startup+51.1056 s]
/proc/loadavg: 4.71 4.67 4.55 5/340 73720
/proc/meminfo: memFree=96844152/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=387168 CPUtime=52.5 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 22781 0 0 0 5238 12 0 0 20 0 20 0 68149284 19521036288 96792 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 96792 5560 1 0 550718 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=350292 CPUtime=50.65 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 7629 0 0 0 5062 3 0 0 20 0 20 0 68149285 19521036288 96792 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0

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

[startup+3282.3 s]
/proc/loadavg: 4.31 4.23 4.19 5/339 74031
/proc/meminfo: memFree=106254296/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=2104336 CPUtime=3287.03 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 109452 0 0 0 328591 112 0 0 20 0 20 0 68149284 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 526084 5560 1 0 538531 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=16580 CPUtime=3267.08 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 56682 0 0 0 326692 16 0 0 20 0 20 0 68149285 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=2104336 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=2104336 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 891 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=2104336 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 3287.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2104336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/340 74035
/proc/meminfo: memFree=106253156/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=2104336 CPUtime=3347 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 110449 0 0 0 334587 113 0 0 20 0 20 0 68149284 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 526084 5560 1 0 538531 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=2104336 CPUtime=3326.83 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 57453 0 0 0 332667 16 0 0 20 0 20 0 68149285 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=2104336 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=-6000919502754507112 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 967 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 526084 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 3347 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2104336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/340 74038
/proc/meminfo: memFree=106253052/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=2106128 CPUtime=3407.72 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 116451 0 0 0 340657 115 0 0 20 0 20 0 68149284 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 526532 5560 1 0 538988 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=2104336 CPUtime=3386.56 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 61789 0 0 0 338639 17 0 0 20 0 20 0 68149285 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 1043 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 3407.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/340 74040
/proc/meminfo: memFree=106202924/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=2106128 CPUtime=3467.67 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 117059 0 0 0 346651 116 0 0 20 0 20 0 68149284 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 526532 5560 1 0 538988 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=2104336 CPUtime=3446.31 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 62040 0 0 0 344614 17 0 0 20 0 20 0 68149285 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 1083 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 3467.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/340 74042
/proc/meminfo: memFree=106202560/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=2106128 CPUtime=3527.8 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 117458 0 0 0 352663 117 0 0 20 0 20 0 68149284 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 526532 5560 1 0 538988 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=5632 CPUtime=3505.91 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 62291 0 0 0 350574 17 0 0 20 0 20 0 68149285 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 1083 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 3527.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106128 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/340 74044
/proc/meminfo: memFree=106203708/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=2106128 CPUtime=3587.84 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 118288 0 0 0 358666 118 0 0 20 0 20 0 68149284 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 526532 5560 1 0 538988 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=11136 CPUtime=3565.61 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 62840 0 0 0 356544 17 0 0 20 0 20 0 68149285 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 1083 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 3587.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.5 s]
/proc/loadavg: 4.14 4.17 4.17 5/340 74045
/proc/meminfo: memFree=106203460/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19063512 memory=2106128 CPUtime=3600.01 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 118477 0 0 0 359883 118 0 0 20 0 20 0 68149284 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4765878 526532 5560 1 0 538988 0
[pid=73564/tid=73566] ppid=73561 vsize=19063512 memory=2106128 CPUtime=3577.78 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 63022 0 0 0 357761 17 0 0 20 0 20 0 68149285 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68149287 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 1083 0 0 0 0 0 0 0 20 0 20 0 68149288 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73583] ppid=73561 vsize=19063512 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73583/stat : 73583 (Timer-0) S 73561 73564 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68149310 19521036288 526532 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.19664 s

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

[startup+3594.61 s]
/proc/loadavg: 4.14 4.17 4.17 5/340 74045
/proc/meminfo: memFree=106203460/131249996 swapFree=33010160/33010684
[pid=73564] ppid=73561 vsize=19263204 memory=2106896 CPUtime=3600.2 cores=1,3
/proc/73564/stat : 73564 (java) S 73561 73564 72920 0 -1 4194304 120404 0 0 0 359902 118 0 0 20 0 21 0 68149284 19725520896 526724 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
/proc/73564/statm: 4815801 526724 5592 1 0 539927 0
[pid=73564/tid=73566] ppid=73561 vsize=19263204 memory=18432 CPUtime=3577.84 cores=1,3
/proc/73564/task/73566/stat : 73566 (java) R 73561 73564 72920 0 -1 4194368 63091 0 0 0 357767 17 0 0 20 0 21 0 68149285 19725520896 526724 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73575] ppid=73561 vsize=19263204 memory=2106128 CPUtime=0 cores=1,3
/proc/73564/task/73575/stat : 73575 (Finalizer) S 73561 73564 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68149287 19725520896 526724 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
[pid=73564/tid=73582] ppid=73561 vsize=19263204 memory=-6000919502754507112 CPUtime=0 cores=1,3
/proc/73564/task/73582/stat : 73582 (Common-Cleaner) S 73561 73564 72920 0 -1 4194368 1083 0 0 0 0 0 0 0 20 0 21 0 68149288 19725520896 526724 18446744073709551615 94289857384448 94289857388144 140728747146016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94289857395960 94289857396752 94289867350016 140728747153793 140728747153894 140728747153894 140728747159496 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2106896 KiB

Child status: 143

Real time (s): 3594.62
CPU time (s): 3600.24
CPU user time (s): 3599.05
CPU system time (s): 1.19664
CPU usage (%): 100.156
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.19664
maximum resident set size= 2168840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107439
involuntary context switches= 3712


# summary of solver processes directly reported to runsolver:
#   pid: 73564
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.19664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26645 second user time and 16.4227 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-03 08:38:27
IDJOB=4512294
IDBENCH=160608
IDSOLVER=3363
FILE ID=nodeC032/4512294-1751524706
RUNJOBID= nodeC032-1751521141-72932
SLURM_JOB_ID= 9598644
Free space on /tmp= 430568 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512294-1751524706/watcher-4512294-1751524706 -o /tmp/evaluation-result-4512294-1751524706/solver-4512294-1751524706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72932 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4512294-1751524706.opb

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

MD5SUM BENCH= deae341c085f4a1f226bb0b999d26c4b
RANDOM SEED=1778238884

nodeC032 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.862
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.69
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.825
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.69
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		: 3597.308
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.69
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		: 3521.388
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        76270456 kB
MemAvailable:   92610652 kB
Buffers:            2728 kB
Cached:         17019400 kB
SwapCached:           20 kB
Active:         37440636 kB
Inactive:       16649904 kB
Active(anon):   37083352 kB
Inactive(anon):     3124 kB
Active(file):     357284 kB
Inactive(file): 16646780 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               856 kB
Writeback:            68 kB
AnonPages:      37071480 kB
Mapped:           123900 kB
Shmem:             18048 kB
KReclaimable:     350740 kB
Slab:             444932 kB
SReclaimable:     350740 kB
SUnreclaim:        94192 kB
KernelStack:        5168 kB
PageTables:        76236 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   39406644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  36509696 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430556 MiB
End job on nodeC032 at 2025-07-03 09:38:21