Trace number 4521868

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)28 3600.39 3605.59

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
MD5SUMda2c432e6d1460c5833697ae1752095a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark0.022338
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1232
Total number of constraints490
Number of constraints which are clauses259
Number of constraints which are cardinality constraints (but not clauses)140
Number of constraints which are nor clauses,nor cardinality constraints91
Minimum length of a constraint6
Maximum length of a constraint11
Number of terms in the objective function 56
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 56
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.27/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.24	c java.vm.version	22.0.1+8-16
0.27/0.24	c java.vm.vendor	Oracle Corporation
0.27/0.24	c sun.arch.data.model	64
0.27/0.24	c java.version		22.0.1
0.27/0.24	c os.name		Linux
0.27/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.24	c os.arch		amd64
0.27/0.24	c Free memory 		2104792832
0.27/0.24	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.42/0.36	c Pseudo Boolean Optimization by upper bound
0.42/0.36	c --- Begin Solver configuration ---
0.42/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.36	c Learn all clauses as in MiniSAT
0.42/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.36	c Expensive reason simplification
0.42/0.36	c Glucose 2.1 dynamic restart strategy
0.42/0.36	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.42/0.36	c timeout=2147483s
0.42/0.36	c DB Simplification allowed=false
0.42/0.36	c Listener: none
0.42/0.36	c --- End Solver configuration ---
0.42/0.36	c solving HOME/instance-4521868-1751591987.opb
0.42/0.36	c reading problem ... 
0.42/0.37	c  objective function found
0.60/0.49	c ... done. Wall clock time 0.125s.
0.60/0.49	c declared #vars     1232
0.60/0.49	c #constraints  490
0.60/0.49	c constraints type 
0.60/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 231
0.60/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 259
0.60/0.49	c 490 constraints processed.
0.78/0.53	c objective function length is 56 literals
1.50/0.94	c cleaning 2490 clauses out of 5000 with flag 25272/5000
2.09/1.26	c cleaning 4243 clauses out of 8510 with flag 57352/11000
2.49/1.45	c cleaning 5620 clauses out of 11268 with flag 93490/18001
2.86/1.60	c cleaning 6813 clauses out of 13648 with flag 138933/26001
2.86/1.61	c SATISFIABLE
2.86/1.61	c OPTIMIZING...
2.86/1.61	c Got one! Elapsed wall clock time (in seconds):1.247
2.86/1.61	o 28
3.05/1.70	c cleaning 5944 clauses out of 11893 with flag 25986/31059
3.25/1.81	c cleaning 5967 clauses out of 11948 with flag 44298/37058
3.44/1.95	c cleaning 6487 clauses out of 12982 with flag 65302/44059
3.64/2.09	c cleaning 7246 clauses out of 14494 with flag 92434/52058
4.03/2.26	c cleaning 8123 clauses out of 16249 with flag 120006/61059
4.42/2.47	c cleaning 9063 clauses out of 18126 with flag 151998/71059
4.69/2.67	c cleaning 10028 clauses out of 20062 with flag 187041/82058
4.88/2.88	c cleaning 11014 clauses out of 22034 with flag 223884/94058
5.38/3.31	c cleaning 12008 clauses out of 24021 with flag 263993/107059
5.77/3.75	c cleaning 13007 clauses out of 26013 with flag 305512/121059
6.44/4.34	c cleaning 14001 clauses out of 28006 with flag 350132/136059
7.09/4.96	c cleaning 15003 clauses out of 30005 with flag 398435/152059
7.90/5.75	c cleaning 16000 clauses out of 32001 with flag 445937/169058
8.69/6.52	c cleaning 16999 clauses out of 34001 with flag 497147/187058
9.48/7.36	c cleaning 18001 clauses out of 36003 with flag 554720/206059
10.37/8.27	c cleaning 18998 clauses out of 38002 with flag 617462/226059
11.36/9.23	c cleaning 20002 clauses out of 40004 with flag 682545/247059
13.05/10.97	c cleaning 20996 clauses out of 42002 with flag 742784/269059
14.55/12.48	c cleaning 22001 clauses out of 44006 with flag 807895/292059
16.04/13.93	c cleaning 23002 clauses out of 46005 with flag 873151/316059
17.65/15.53	c cleaning 24002 clauses out of 48003 with flag 941899/341059
18.95/16.86	c cleaning 24997 clauses out of 50001 with flag 1011002/367059
20.54/18.40	c cleaning 26000 clauses out of 52004 with flag 1080234/394059
22.25/20.13	c cleaning 26999 clauses out of 54004 with flag 1153569/422059
24.33/22.20	c cleaning 28000 clauses out of 56005 with flag 1228154/451059
26.33/24.29	c cleaning 28998 clauses out of 58005 with flag 1306034/481059
28.52/26.44	c cleaning 30000 clauses out of 60007 with flag 1380979/512059
30.82/28.79	c cleaning 31004 clauses out of 62007 with flag 1459977/544059
33.71/31.67	c cleaning 32001 clauses out of 64003 with flag 1547171/577059
37.00/34.90	c cleaning 32996 clauses out of 66002 with flag 1634066/611059
37.90/35.89	c cleaning 33998 clauses out of 68005 with flag 1719512/646058
39.22/37.16	c cleaning 35000 clauses out of 70007 with flag 1811349/682058
40.80/38.76	c cleaning 36004 clauses out of 72007 with flag 1905694/719058
42.69/40.67	c cleaning 36998 clauses out of 74004 with flag 2001843/757059
44.49/42.49	c cleaning 38001 clauses out of 76006 with flag 2099288/796059
46.58/44.55	c cleaning 39000 clauses out of 78005 with flag 2195871/836059
48.78/46.79	c cleaning 40002 clauses out of 80004 with flag 2291405/877058
51.27/49.22	c cleaning 40996 clauses out of 82003 with flag 2390109/919059
53.66/51.68	c cleaning 42001 clauses out of 84007 with flag 2491485/962059
56.66/54.68	c cleaning 43000 clauses out of 86005 with flag 2595855/1006058
60.06/58.06	c cleaning 43999 clauses out of 88005 with flag 2709844/1051058
63.25/61.24	c cleaning 44999 clauses out of 90006 with flag 2825956/1097058
66.84/64.81	c cleaning 46002 clauses out of 92007 with flag 2945624/1144058
70.53/68.53	c cleaning 46999 clauses out of 94005 with flag 3064783/1192058
74.72/72.77	c cleaning 47998 clauses out of 96006 with flag 3188320/1241058
79.51/77.52	c cleaning 49002 clauses out of 98008 with flag 3313150/1291058
82.91/80.97	c cleaning 50001 clauses out of 100007 with flag 3432606/1342059
88.28/86.38	c cleaning 50999 clauses out of 102006 with flag 3575394/1394059
93.18/91.25	c cleaning 52003 clauses out of 104007 with flag 3715690/1447059
98.56/96.61	c cleaning 52999 clauses out of 106004 with flag 3843240/1501059
101.66/99.79	c cleaning 53994 clauses out of 108004 with flag 3984573/1556058
107.25/105.35	c cleaning 55002 clauses out of 110011 with flag 4131293/1612059
111.05/109.19	c cleaning 55998 clauses out of 112008 with flag 4272068/1669058
114.84/112.98	c cleaning 57000 clauses out of 114011 with flag 4424026/1727059
119.64/117.77	c cleaning 58001 clauses out of 116010 with flag 4573576/1786058
126.22/124.37	c cleaning 59002 clauses out of 118009 with flag 4730502/1846058
131.70/129.81	c cleaning 60000 clauses out of 120008 with flag 4887594/1907059
137.29/135.48	c cleaning 61001 clauses out of 122007 with flag 5037312/1969058
141.69/139.84	c cleaning 62000 clauses out of 124006 with flag 5188812/2032058
147.67/145.84	c cleaning 63001 clauses out of 126006 with flag 5348954/2096058
153.76/151.98	c cleaning 63999 clauses out of 128005 with flag 5504006/2161058
161.95/160.12	c cleaning 65002 clauses out of 130007 with flag 5675059/2227059
170.12/168.33	c cleaning 65999 clauses out of 132005 with flag 5845569/2294059
178.92/177.13	c cleaning 66999 clauses out of 134006 with flag 6023077/2362059
187.16/185.45	c cleaning 68002 clauses out of 136007 with flag 6198486/2431059
196.41/194.72	c cleaning 69000 clauses out of 138004 with flag 6373794/2501058
205.00/203.34	c cleaning 70001 clauses out of 140004 with flag 6560961/2572058
211.88/210.23	c cleaning 70998 clauses out of 142004 with flag 6764708/2644059
220.06/218.40	c cleaning 72000 clauses out of 144005 with flag 6963871/2717058
229.67/228.06	c cleaning 72998 clauses out of 146006 with flag 7164245/2791059
238.44/236.83	c cleaning 74001 clauses out of 148008 with flag 7356047/2866059
248.51/246.97	c cleaning 75001 clauses out of 150007 with flag 7546113/2942059
259.29/257.77	c cleaning 76002 clauses out of 152006 with flag 7757200/3019059
271.16/269.69	c cleaning 76997 clauses out of 154003 with flag 7968752/3097058
285.22/283.73	c cleaning 78000 clauses out of 156006 with flag 8187015/3176058
298.50/297.08	c cleaning 79003 clauses out of 158006 with flag 8407503/3256058
313.15/311.70	c cleaning 80000 clauses out of 160003 with flag 8610433/3337058
327.12/325.75	c cleaning 81000 clauses out of 162003 with flag 8819195/3419058
342.58/341.24	c cleaning 82000 clauses out of 164003 with flag 9023997/3502058
357.89/356.65	c cleaning 82997 clauses out of 166003 with flag 9245598/3586058
370.86/369.67	c cleaning 83998 clauses out of 168007 with flag 9470747/3671059
384.13/383.00	c cleaning 85004 clauses out of 170009 with flag 9697865/3757059
397.50/396.33	c cleaning 85997 clauses out of 172005 with flag 9925501/3844059
414.32/413.16	c cleaning 86999 clauses out of 174007 with flag 10149160/3932058
430.98/429.87	c cleaning 88005 clauses out of 176009 with flag 10397997/4021059
445.94/444.81	c cleaning 88997 clauses out of 178003 with flag 10656003/4111058
462.90/461.85	c cleaning 90000 clauses out of 180006 with flag 10915087/4202058
481.26/480.29	c cleaning 91002 clauses out of 182006 with flag 11175474/4294058
498.92/497.97	c cleaning 91999 clauses out of 184004 with flag 11405945/4387058
517.08/516.16	c cleaning 93000 clauses out of 186006 with flag 11646185/4481059
535.52/534.68	c cleaning 93996 clauses out of 188006 with flag 11904974/4576059
553.52/552.64	c cleaning 95003 clauses out of 190009 with flag 12160214/4672058
575.78/574.91	c cleaning 95999 clauses out of 192007 with flag 12418878/4769059
595.95/595.16	c cleaning 96995 clauses out of 194008 with flag 12670373/4867059
615.51/614.74	c cleaning 98003 clauses out of 196012 with flag 12934498/4966058
633.37/632.61	c cleaning 99004 clauses out of 198009 with flag 13202984/5066058
654.22/653.54	c cleaning 99994 clauses out of 200006 with flag 13477539/5167059
678.35/677.75	c cleaning 101000 clauses out of 202011 with flag 13758515/5269058
700.01/699.41	c cleaning 102005 clauses out of 204011 with flag 14038354/5372058
724.90/724.32	c cleaning 102998 clauses out of 206007 with flag 14317696/5476059
751.74/751.25	c cleaning 104002 clauses out of 208009 with flag 14603570/5581059
767.10/766.64	c cleaning 104994 clauses out of 210006 with flag 14860184/5687058
775.38/774.97	c cleaning 106004 clauses out of 212013 with flag 15123843/5794059
792.68/792.39	c cleaning 107003 clauses out of 214008 with flag 15393792/5902058
810.73/810.47	c cleaning 107998 clauses out of 216005 with flag 15669991/6011058
823.24/822.95	c cleaning 109000 clauses out of 218008 with flag 15963020/6121059
834.02/833.70	c cleaning 109998 clauses out of 220007 with flag 16235112/6232058
850.58/850.32	c cleaning 111002 clauses out of 222009 with flag 16499435/6344058
867.14/866.93	c cleaning 112002 clauses out of 224007 with flag 16760431/6457058
886.69/886.57	c cleaning 113003 clauses out of 226006 with flag 17043724/6571059
907.54/907.48	c cleaning 113999 clauses out of 228002 with flag 17324511/6686058
926.70/926.62	c cleaning 114998 clauses out of 230003 with flag 17613646/6802058
947.17/947.16	c cleaning 115999 clauses out of 232005 with flag 17911625/6919058
962.05/962.05	c cleaning 116997 clauses out of 234007 with flag 18203008/7037059
976.80/976.81	c cleaning 118000 clauses out of 236009 with flag 18492646/7156058
993.98/994.05	c cleaning 119000 clauses out of 238010 with flag 18792503/7276059
1011.63/1011.78	c cleaning 120001 clauses out of 240010 with flag 19103848/7397059
1032.29/1032.42	c cleaning 120999 clauses out of 242008 with flag 19411289/7519058
1054.64/1054.85	c cleaning 122001 clauses out of 244009 with flag 19690068/7642058
1079.58/1079.82	c cleaning 123000 clauses out of 246009 with flag 19974009/7766059
1104.55/1104.88	c cleaning 123998 clauses out of 248009 with flag 20265122/7891059
1130.70/1131.07	c cleaning 125003 clauses out of 250010 with flag 20554964/8017058
1151.03/1151.43	c cleaning 126002 clauses out of 252007 with flag 20850864/8144058
1172.98/1173.41	c cleaning 127001 clauses out of 254005 with flag 21151495/8272058
1196.33/1196.82	c cleaning 128000 clauses out of 256004 with flag 21461882/8401058
1220.70/1221.25	c cleaning 128994 clauses out of 258004 with flag 21778740/8531058
1245.64/1246.26	c cleaning 129999 clauses out of 260010 with flag 22108121/8662058
1271.09/1271.73	c cleaning 131002 clauses out of 262011 with flag 22434701/8794058
1298.14/1298.89	c cleaning 131999 clauses out of 264009 with flag 22761806/8927058
1327.76/1328.53	c cleaning 133002 clauses out of 266010 with flag 23080645/9061058
1362.59/1363.44	c cleaning 134004 clauses out of 268009 with flag 23376584/9196059
1394.96/1395.80	c cleaning 134999 clauses out of 270004 with flag 23682101/9332058
1406.53/1407.46	c cleaning 135997 clauses out of 272006 with flag 24001395/9469059
1435.02/1436.01	c cleaning 137001 clauses out of 274009 with flag 24361195/9607059
1455.67/1456.74	c cleaning 137998 clauses out of 276008 with flag 24740328/9746059
1483.91/1485.03	c cleaning 139004 clauses out of 278010 with flag 25105213/9886059
1509.35/1510.57	c cleaning 139998 clauses out of 280006 with flag 25489349/10027059
1539.28/1540.58	c cleaning 141000 clauses out of 282007 with flag 25879349/10169058
1566.42/1567.77	c cleaning 141999 clauses out of 284008 with flag 26263180/10312059
1588.37/1589.76	c cleaning 142997 clauses out of 286008 with flag 26627949/10456058
1601.74/1603.13	c cleaning 144001 clauses out of 288011 with flag 27002246/10601058
1620.51/1621.97	c cleaning 145002 clauses out of 290010 with flag 27384519/10747058
1633.60/1635.03	c cleaning 146001 clauses out of 292009 with flag 27762275/10894059
1642.77/1644.27	c cleaning 146997 clauses out of 294007 with flag 28111620/11042058
1659.21/1660.42	c cleaning 148003 clauses out of 296010 with flag 28501283/11191058
1685.07/1686.34	c cleaning 149000 clauses out of 298007 with flag 28915893/11341058
1706.12/1707.46	c cleaning 149994 clauses out of 300007 with flag 29304783/11492058
1718.60/1719.95	c cleaning 151000 clauses out of 302014 with flag 29667676/11644059
1762.52/1763.93	c cleaning 152003 clauses out of 304014 with flag 30039087/11797059
1778.98/1780.42	c cleaning 152997 clauses out of 306010 with flag 30402927/11951058
1805.16/1806.68	c cleaning 153999 clauses out of 308013 with flag 30818682/12106058
1830.79/1832.33	c cleaning 155000 clauses out of 310014 with flag 31213241/12262058
1860.24/1861.89	c cleaning 156005 clauses out of 312015 with flag 31604215/12419059
1885.01/1886.66	c cleaning 157000 clauses out of 314010 with flag 32015095/12577059
1919.92/1921.69	c cleaning 157996 clauses out of 316009 with flag 32441679/12736058
1955.14/1956.99	c cleaning 159000 clauses out of 318014 with flag 32845252/12896059
1992.36/1994.24	c cleaning 160007 clauses out of 320013 with flag 33252961/13057058
2028.57/2030.52	c cleaning 161001 clauses out of 322007 with flag 33639353/13219059
2071.20/2073.38	c cleaning 162001 clauses out of 324006 with flag 34055565/13382059
2111.10/2113.33	c cleaning 162998 clauses out of 326005 with flag 34454679/13546059
2151.33/2153.62	c cleaning 164001 clauses out of 328006 with flag 34835633/13711058
2190.44/2192.80	c cleaning 165000 clauses out of 330005 with flag 35233168/13877058
2232.62/2235.05	c cleaning 165999 clauses out of 332006 with flag 35606665/14044059
2276.21/2278.71	c cleaning 167001 clauses out of 334007 with flag 35997987/14212059
2325.20/2327.88	c cleaning 168002 clauses out of 336005 with flag 36408097/14381058
2379.49/2382.23	c cleaning 169002 clauses out of 338003 with flag 36823782/14551058
2435.37/2438.29	c cleaning 169996 clauses out of 340001 with flag 37268166/14722058
2486.64/2489.66	c cleaning 171002 clauses out of 342005 with flag 37713913/14894058
2520.66/2523.75	c cleaning 171994 clauses out of 344003 with flag 38131475/15067058
2551.09/2554.22	c cleaning 172998 clauses out of 346010 with flag 38557838/15241059
2578.54/2581.77	c cleaning 174003 clauses out of 348011 with flag 38992710/15416058
2625.77/2629.01	c cleaning 175000 clauses out of 350009 with flag 39447400/15592059
2666.67/2670.02	c cleaning 176001 clauses out of 352008 with flag 39909362/15769058
2712.71/2716.13	c cleaning 176998 clauses out of 354007 with flag 40378851/15947058
2758.89/2762.46	c cleaning 178002 clauses out of 356009 with flag 40838485/16126058
2794.31/2797.98	c cleaning 178996 clauses out of 358007 with flag 41295306/16306058
2826.45/2830.17	c cleaning 180000 clauses out of 360011 with flag 41776403/16487058
2864.05/2867.89	c cleaning 181000 clauses out of 362011 with flag 42271725/16669058
2885.31/2889.13	c cleaning 181996 clauses out of 364012 with flag 42715721/16852059
2909.17/2913.06	c cleaning 183003 clauses out of 366016 with flag 43173002/17036059
2927.09/2930.91	c cleaning 184001 clauses out of 368013 with flag 43622857/17221059
2943.95/2947.89	c cleaning 185002 clauses out of 370012 with flag 44073094/17407059
2967.86/2971.71	c cleaning 185996 clauses out of 372009 with flag 44559359/17594058
3000.67/3004.62	c cleaning 187003 clauses out of 374014 with flag 45064370/17782059
3020.05/3024.06	c cleaning 187997 clauses out of 376011 with flag 45540947/17971059
3042.13/3046.16	c cleaning 189005 clauses out of 378013 with flag 46066591/18161058
3076.96/3081.06	c cleaning 190000 clauses out of 380009 with flag 46564169/18352059
3118.16/3122.31	c cleaning 191001 clauses out of 382009 with flag 47073919/18544059
3161.55/3165.87	c cleaning 191997 clauses out of 384008 with flag 47586750/18737059
3210.32/3214.76	c cleaning 193002 clauses out of 386011 with flag 48135106/18931059
3256.62/3261.17	c cleaning 193999 clauses out of 388008 with flag 48654867/19126058
3303.29/3308.00	c cleaning 195005 clauses out of 390010 with flag 49191307/19322059
3351.87/3356.68	c cleaning 196000 clauses out of 392005 with flag 49752009/19519059
3380.50/3385.35	c cleaning 196998 clauses out of 394004 with flag 50311217/19717058
3430.57/3435.56	c cleaning 197996 clauses out of 396007 with flag 50857353/19916059
3473.57/3478.63	c cleaning 198999 clauses out of 398010 with flag 51417541/20116058
3519.46/3524.61	c cleaning 200004 clauses out of 400012 with flag 51968808/20317059
3550.68/3556.00	c cleaning 201001 clauses out of 402007 with flag 52479682/20519058
3582.50/3587.81	c cleaning 201999 clauses out of 404007 with flag 53043097/20722059
3600.06/3605.44	c starts		: 20399
3600.06/3605.45	c conflicts		: 20861907
3600.06/3605.46	c decisions		: 21480209
3600.06/3605.46	c propagations		: 155956124
3600.06/3605.46	c inspects		: 43546137927
3600.06/3605.46	c shortcuts		: 0
3600.06/3605.46	c learnt literals	: 0
3600.06/3605.46	c learnt binary clauses	: 16
3600.06/3605.46	c learnt ternary clauses	: 93
3600.06/3605.46	c learnt constraints	: 20861907
3600.06/3605.46	c ignored constraints	: 0
3600.06/3605.46	c root simplifications	: 0
3600.06/3605.46	c removed literals (reason simplification)	: 191369195
3600.06/3605.46	c reason swapping (by a shorter reason)	: 0
3600.06/3605.46	c Calls to reduceDB	: 203
3600.06/3605.46	c Number of update (reduction) of LBD	: 66879
3600.06/3605.46	c Imported unit clauses	: 0
3600.06/3605.46	c No decision after first conflict	: false
3600.06/3605.46	c number of reductions to clauses (during analyze)	: 0
3600.06/3605.46	c number of learned constraints concerned by reduction	: 0
3600.06/3605.47	c number of learning phase by resolution	: 0
3600.06/3605.47	c number of learning phase by cutting planes	: 0
3600.06/3605.47	c number of rounding to 1 operations	: 0
3600.06/3605.47	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3605.47	c number of reductions of the coefficients by power 2 	: 0
3600.06/3605.47	c number of right shift for reduction by power 2 	: 0
3600.06/3605.47	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3605.47	c number of ending skipping 	: 0
3600.06/3605.47	c number of internal skipping 	: 0
3600.06/3605.47	c number of derivation steps 	: 0
3600.06/3605.47	c number of skipped derivation steps 	: 0
3600.06/3605.47	c number of remaining unassigned 	: 0
3600.06/3605.47	c number of remaining assigned 	: 0
3600.06/3605.47	c number of falsified literals weakened from reason	: 0
3600.06/3605.47	c number of falsified literals weakened from conflict	: 0
3600.06/3605.47	c time for arithmetic operations	: 0
3600.06/3605.48	c minimum degree of deleted constraints	: null
3600.06/3605.48	c maximum degree of deleted constraints	: null
3600.06/3605.48	c number of deleted constraints	: 0
3600.06/3605.48	c speed (assignments/second)	: 43261.80477999899
3600.06/3605.48	c non guided choices	: 18728
3600.27/3605.54	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 341840
3600.27/3605.54	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 16
3600.27/3605.54	s SATISFIABLE
3600.27/3605.54	c Found 1 solution(s)
3600.27/3605.55	v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 x681 -x682 -x683 x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 x844 x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 x970 -x971 -x972 -x973 x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 x1027 -x1028 x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 
3600.27/3605.55	c objective function=28
3600.27/3605.55	c Total wall clock time (in seconds): 3605.191

Verifier Data 

OK	28

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: 63794 MiB (44767 MiB free)
  memory of node 1: 64507 MiB (55827 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521868-1751591987/watcher-4521868-1751591987 -o /tmp/evaluation-result-4521868-1751591987/solver-4521868-1751591987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751584695-83037 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4521868-1751591987.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=84172, runsolver pid=84169

[startup+0.100071 s]*
/proc/loadavg: 4.46 4.52 4.62 6/326 84190
/proc/meminfo: memFree=102976504/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=18930384 memory=47244 CPUtime=0.1 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 5662 0 0 0 7 3 0 0 20 0 18 0 74877597 19384713216 11811 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4732596 11811 5147 1 0 546883 0
[pid=84172/tid=84174] ppid=84169 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 4584 0 0 0 4 2 0 0 20 0 18 0 74877599 19384713216 11811 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74877604 19384713216 12067 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=18930384 memory=61792617516369 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74877606 19384713216 12067 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47244 KiB

[startup+0.220059 s]*
/proc/loadavg: 4.46 4.52 4.62 7/326 84190
/proc/meminfo: memFree=102976504/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=18930384 memory=50956 CPUtime=0.27 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 6416 0 0 0 24 3 0 0 20 0 18 0 74877597 19384713216 12739 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4732596 12739 5339 1 0 547496 0
[pid=84172/tid=84174] ppid=84169 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 4961 0 0 0 14 2 0 0 20 0 18 0 74877599 19384713216 12739 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74877604 19384713216 12739 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74877606 19384713216 13284 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50956 KiB

[startup+0.317797 s]*
/proc/loadavg: 4.46 4.52 4.62 7/326 84190
/proc/meminfo: memFree=102972408/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=18930384 memory=58208 CPUtime=0.42 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 6711 0 0 0 39 3 0 0 20 0 18 0 74877597 19384713216 14552 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4732596 14552 5339 1 0 547712 0
[pid=84172/tid=84174] ppid=84169 vsize=18930384 memory=-6000919468395030631 CPUtime=0.24 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 5127 0 0 0 22 2 0 0 20 0 18 0 74877599 19384713216 14552 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74877604 19384713216 14552 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74877606 19384713216 14552 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58208 KiB

[startup+0.700324 s]
/proc/loadavg: 4.46 4.52 4.62 7/326 84190
/proc/meminfo: memFree=102964216/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=18996948 memory=69532 CPUtime=1.1 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 8648 0 0 0 105 5 0 0 20 0 19 0 74877597 19452874752 17383 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4749237 17383 5467 1 0 548965 0
[pid=84172/tid=84174] ppid=84169 vsize=18996948 memory=18688 CPUtime=0.57 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 5370 0 0 0 54 3 0 0 20 0 19 0 74877599 19452874752 17383 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74877604 19452874752 17383 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74877606 19452874752 17383 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69532 KiB

[startup+1.50033 s]
/proc/loadavg: 4.46 4.52 4.62 6/327 84191
/proc/meminfo: memFree=102949656/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=18996948 memory=92824 CPUtime=2.69 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 19161 0 0 0 261 8 0 0 20 0 19 0 74877597 19452874752 23206 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4749237 23206 5499 1 0 552508 0
[pid=84172/tid=84174] ppid=84169 vsize=18996948 memory=3200 CPUtime=1.33 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 5843 0 0 0 130 3 0 0 20 0 19 0 74877599 19452874752 23206 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74877604 19452874752 23206 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74877606 19452874752 23206 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74877651 19452874752 23206 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92824 KiB

[startup+3.10575 s]
/proc/loadavg: 4.46 4.52 4.62 5/327 84191
/proc/meminfo: memFree=102913172/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=18996948 memory=116744 CPUtime=5.18 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 24497 0 0 0 508 10 0 0 20 0 19 0 74877597 19452874752 29186 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4749237 29186 5499 1 0 553915 0
[pid=84172/tid=84174] ppid=84169 vsize=18996948 memory=11264 CPUtime=2.91 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 6926 0 0 0 287 4 0 0 20 0 19 0 74877599 19452874752 29186 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74877604 19452874752 29186 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74877606 19452874752 29186 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74877651 19452874752 29186 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 5.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116744 KiB

[startup+6.30025 s]
/proc/loadavg: 4.42 4.51 4.61 5/327 84191
/proc/meminfo: memFree=102896788/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=18996948 memory=134052 CPUtime=8.49 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 24649 0 0 0 839 10 0 0 20 0 19 0 74877597 19452874752 33513 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4749237 33513 5531 1 0 553915 0
[pid=84172/tid=84174] ppid=84169 vsize=18996948 memory=0 CPUtime=6.06 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 7000 0 0 0 602 4 0 0 20 0 19 0 74877599 19452874752 33513 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74877604 19452874752 33513 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=18996948 memory=140013316741713 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74877606 19452874752 33513 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74877651 19452874752 33513 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134052 KiB

[startup+12.7005 s]
/proc/loadavg: 4.39 4.50 4.61 5/327 84191
/proc/meminfo: memFree=102851740/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=18996948 memory=160680 CPUtime=14.85 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 26016 0 0 0 1473 12 0 0 20 0 19 0 74877597 19452874752 40170 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4749237 40170 5531 1 0 553915 0
[pid=84172/tid=84174] ppid=84169 vsize=18996948 memory=140013316741713 CPUtime=12.41 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 7948 0 0 0 1236 5 0 0 20 0 19 0 74877599 19452874752 40170 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74877604 19452874752 40170 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74877606 19452874752 40170 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74877651 19452874752 40170 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 14.85 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 160680 KiB

[startup+25.5005 s]
/proc/loadavg: 4.53 4.53 4.62 6/328 84193
/proc/meminfo: memFree=102442148/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=175312 CPUtime=27.62 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 27810 0 0 0 2749 13 0 0 20 0 20 0 74877597 19521036288 43828 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 43828 5531 1 0 554204 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=18688 CPUtime=25.17 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 8371 0 0 0 2511 6 0 0 20 0 20 0 74877599 19521036288 43828 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 43828 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=175312 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 43828 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=175312 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74877651 19521036288 43828 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175312 KiB

[startup+51.1137 s]
/proc/loadavg: 4.49 4.52 4.61 5/328 84193
/proc/meminfo: memFree=101434100/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=181528 CPUtime=53.18 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 28800 0 0 0 5303 15 0 0 20 0 20 0 74877597 19521036288 45382 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 45382 5531 1 0 554204 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=181528 CPUtime=50.64 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 8452 0 0 0 5058 6 0 0 20 0 20 0 74877599 19521036288 45382 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=160680 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 45382 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=140013316741713 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 45382 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=164 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 3.13 3.53 3.94 4/301 84461
/proc/meminfo: memFree=106287920/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=1267768 CPUtime=3277.75 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 59761 0 0 0 327538 237 0 0 20 0 20 0 74877597 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 316942 5563 1 0 555522 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=1267768 CPUtime=3264.58 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 18996 0 0 0 326443 15 0 0 20 0 20 0 74877599 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=1267768 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=1267768 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 645 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=1267768 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74877651 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 3277.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1267768 KiB

[startup+3342.3 s]
/proc/loadavg: 3.17 3.47 3.89 4/301 84463
/proc/meminfo: memFree=106279224/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=1267768 CPUtime=3337.6 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 59832 0 0 0 333520 240 0 0 20 0 20 0 74877597 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 316942 5563 1 0 555522 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=11264 CPUtime=3324.39 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 19062 0 0 0 332424 15 0 0 20 0 20 0 74877599 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=1267768 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=1267768 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 645 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=1267768 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74877651 19521036288 316942 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 3337.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1267768 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.39 3.83 4/301 84465
/proc/meminfo: memFree=106242360/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=1302604 CPUtime=3397.45 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 60225 0 0 0 339502 243 0 0 20 0 20 0 74877597 19521036288 325651 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 325651 5563 1 0 555527 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=1300556 CPUtime=3384.21 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 19401 0 0 0 338405 16 0 0 20 0 20 0 74877599 19521036288 325651 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=1267768 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 325651 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=4892 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 645 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 325651 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=1267768 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74877651 19521036288 325651 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 3397.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1302604 KiB

[startup+3462.3 s]
/proc/loadavg: 2.56 3.20 3.74 3/276 84500
/proc/meminfo: memFree=119640028/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=1359964 CPUtime=3457.3 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 60845 0 0 0 345484 246 0 0 20 0 20 0 74877597 19521036288 339991 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 339991 5563 1 0 555531 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=1267768 CPUtime=3444.03 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 19887 0 0 0 344386 17 0 0 20 0 20 0 74877599 19521036288 339991 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=4892 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 339991 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=1343572 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 690 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 339991 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74877651 19521036288 339991 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 3457.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1359964 KiB

[startup+3522.3 s]
/proc/loadavg: 2.30 3.01 3.64 3/276 84502
/proc/meminfo: memFree=119574508/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=1411164 CPUtime=3517.17 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 61271 0 0 0 351468 249 0 0 20 0 20 0 74877597 19521036288 352791 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 352791 5563 1 0 555531 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=1280072 CPUtime=3503.85 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 20224 0 0 0 350367 18 0 0 20 0 20 0 74877599 19521036288 352791 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=1411164 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 352791 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=1394780 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 690 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 352791 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=-6000919468395030631 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74877651 19521036288 352791 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 3517.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1411164 KiB

[startup+3582.3 s]
/proc/loadavg: 2.16 2.84 3.54 3/276 84505
/proc/meminfo: memFree=119479560/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=1499240 CPUtime=3577.01 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 61703 0 0 0 357448 253 0 0 20 0 20 0 74877597 19521036288 374810 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 374810 5563 1 0 555534 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=1394780 CPUtime=3563.67 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 20627 0 0 0 356347 20 0 0 20 0 20 0 74877599 19521036288 374810 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=1468516 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 374810 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=1495144 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 712 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 374810 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=4892 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74877651 19521036288 374810 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 3577.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1499240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.4 s]
/proc/loadavg: 2.11 2.77 3.49 3/275 84507
/proc/meminfo: memFree=119446556/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19063512 memory=1532012 CPUtime=3600.06 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 61777 0 0 0 359751 255 0 0 20 0 20 0 74877597 19521036288 383003 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4765878 383003 5563 1 0 555535 0
[pid=84172/tid=84174] ppid=84169 vsize=19063512 memory=664844140626051375 CPUtime=3586.7 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 20667 0 0 0 358650 20 0 0 20 0 20 0 74877599 19521036288 383003 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19063512 memory=55212677268211 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74877604 19521036288 383003 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19063512 memory=360399 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 712 0 0 0 0 0 0 0 20 0 20 0 74877606 19521036288 383003 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84191] ppid=84169 vsize=19063512 memory=245635481903 CPUtime=0 cores=5,7
/proc/84172/task/84191/stat : 84191 (Timer-0) S 84169 84172 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74877651 19521036288 383003 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1532012 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.81 s, system=2.57934 s

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

[startup+3605.51 s]
/proc/loadavg: 2.11 2.77 3.49 3/275 84507
/proc/meminfo: memFree=119446556/131382112 swapFree=33009904/33010684
[pid=84172] ppid=84169 vsize=19263204 memory=1541040 CPUtime=3600.27 cores=5,7
/proc/84172/stat : 84172 (java) S 84169 84172 83023 0 -1 4194304 64149 0 0 0 359771 256 0 0 20 0 21 0 74877597 19725520896 385260 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
/proc/84172/statm: 4815801 385260 5563 1 0 556474 0
[pid=84172/tid=84174] ppid=84169 vsize=19263204 memory=-6000919468395030631 CPUtime=3586.78 cores=5,7
/proc/84172/task/84174/stat : 84174 (java) R 84169 84172 83023 0 -1 4194368 20878 0 0 0 358658 20 0 0 20 0 21 0 74877599 19725520896 385260 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84183] ppid=84169 vsize=19263204 memory=3200 CPUtime=0 cores=5,7
/proc/84172/task/84183/stat : 84183 (Finalizer) S 84169 84172 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 74877604 19725520896 385260 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
[pid=84172/tid=84190] ppid=84169 vsize=19263204 memory=1529964 CPUtime=0 cores=5,7
/proc/84172/task/84190/stat : 84190 (Common-Cleaner) S 84169 84172 83023 0 -1 4194368 712 0 0 0 0 0 0 0 20 0 21 0 74877606 19725520896 385260 18446744073709551615 94860414345216 94860414348912 140730491628576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94860414356728 94860414357520 94860432060416 140730491636097 140730491636198 140730491636198 140730491641800 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1541040 KiB

Child status: 143

Real time (s): 3605.59
CPU time (s): 3600.39
CPU user time (s): 3597.81
CPU system time (s): 2.57934
CPU usage (%): 99.8558
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1541040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.81
system time used= 2.57934
maximum resident set size= 1541296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105714
involuntary context switches= 4512


# summary of solver processes directly reported to runsolver:
#   pid: 84172
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3597.81
#   total CPU system time (s): 2.57934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.962 second user time and 34.5054 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-04 03:19:47
IDJOB=4521868
IDBENCH=178488
IDSOLVER=3363
FILE ID=nodeC001/4521868-1751591987
RUNJOBID= nodeC001-1751584695-83037
SLURM_JOB_ID= 9598830
Free space on /tmp= 432504 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521868-1751591987/watcher-4521868-1751591987 -o /tmp/evaluation-result-4521868-1751591987/solver-4521868-1751591987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751584695-83037 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4521868-1751591987.opb

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

MD5SUM BENCH= da2c432e6d1460c5833697ae1752095a
RANDOM SEED=973623849

nodeC001 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	: 0xb00001f
cpu MHz		: 3555.186
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.590
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.556
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.378
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.385
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.166
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.186
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.377
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        103009828 kB
MemAvailable:   104151272 kB
Buffers:            1668 kB
Cached:          1926132 kB
SwapCached:          128 kB
Active:         26030232 kB
Inactive:        1688416 kB
Active(anon):   25780372 kB
Inactive(anon):    28256 kB
Active(file):     249860 kB
Inactive(file):  1660160 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               712 kB
Writeback:             0 kB
AnonPages:      25793512 kB
Mapped:           123716 kB
Shmem:             17776 kB
KReclaimable:     141720 kB
Slab:             227664 kB
SReclaimable:     141720 kB
SUnreclaim:        85944 kB
KernelStack:        4992 kB
PageTables:        54220 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   30812228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150296 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  25384960 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432396 MiB
End job on nodeC001 at 2025-07-04 04:19:53