Trace number 4459351

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)508 3600.53 3562.53

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-1109824.opb
MD5SUMca6d41f9aded18c9e4512660dff57e08
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 benchmark378
Best CPU time to get the best result obtained on this benchmark18.2111
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.13/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.14	c See www.sat4j.org for details.
0.13/0.15	c version CUSTOM.v20240707
0.13/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.18	c java.vm.version	22.0.1+8-16
0.13/0.18	c java.vm.vendor	Oracle Corporation
0.13/0.18	c sun.arch.data.model	64
0.13/0.18	c java.version		22.0.1
0.13/0.18	c os.name		Linux
0.13/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.18	c os.arch		amd64
0.13/0.19	c Free memory 		2115194816
0.13/0.19	c Max memory 		16282288128
0.13/0.19	c Total memory 		2122317824
0.13/0.19	c Number of processors 	2
0.31/0.29	--- Begin Solver configuration ---
0.31/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.29	Learn all clauses as in MiniSAT
0.31/0.29	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.29	No reason simplification
0.31/0.29	Glucose 2.1 dynamic restart strategy
0.31/0.29	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.31/0.29	timeout=2147483s
0.31/0.29	DB Simplification allowed=false
0.31/0.29	Listener: none
0.31/0.29	--- End Solver configuration ---
0.31/0.30	c Pseudo Boolean Optimization by upper bound
0.31/0.30	c --- Begin Solver configuration ---
0.31/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.30	c Learn all clauses as in MiniSAT
0.31/0.30	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.30	c No reason simplification
0.31/0.30	c Glucose 2.1 dynamic restart strategy
0.31/0.30	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.31/0.30	c timeout=2147483s
0.31/0.30	c DB Simplification allowed=false
0.31/0.30	c Listener: none
0.31/0.30	c --- End Solver configuration ---
0.31/0.30	c solving HOME/instance-4459351-1721887304.opb
0.31/0.30	c reading problem ... 
0.31/0.30	c  objective function found
1.37/0.81	c ... done. Wall clock time 0.503s.
1.37/0.81	c declared #vars     1520
1.37/0.81	c #constraints  29078
1.37/0.81	c constraints type 
1.37/0.81	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1520
1.37/0.81	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 175
1.37/0.81	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27383
1.37/0.81	c 29078 constraints processed.
1.37/0.84	c objective function length is 1512 literals
1.57/0.90	c SATISFIABLE
1.57/0.90	c OPTIMIZING...
1.57/0.90	c Got one! Elapsed wall clock time (in seconds):0.603
1.57/0.90	o 513
3.14/1.73	c cleaning 2585 clauses out of 5170 with flag 21529/5170
3.14/1.77	c Got one! Elapsed wall clock time (in seconds):1.477
3.14/1.77	o 508
3.73/2.10	c cleaning 4009 clauses out of 8018 with flag 24045/10603
4.27/2.47	c cleaning 5002 clauses out of 10008 with flag 55900/16602
5.03/2.92	c cleaning 6001 clauses out of 12006 with flag 94354/23602
5.53/3.41	c cleaning 6996 clauses out of 14005 with flag 135131/31602
6.05/3.98	c cleaning 8004 clauses out of 16009 with flag 185099/40602
6.74/4.63	c cleaning 9000 clauses out of 18008 with flag 249782/50605
7.55/5.43	c cleaning 10000 clauses out of 20006 with flag 307322/61603
8.34/6.29	c cleaning 11002 clauses out of 22006 with flag 377194/73603
9.25/7.11	c cleaning 12003 clauses out of 24007 with flag 451928/86606
10.07/7.93	c cleaning 12998 clauses out of 26000 with flag 513430/100602
11.07/8.92	c cleaning 13995 clauses out of 28002 with flag 576666/115602
12.25/10.10	c cleaning 15002 clauses out of 30007 with flag 649553/131602
13.50/11.28	c cleaning 16002 clauses out of 32007 with flag 744690/148604
14.80/12.57	c cleaning 16998 clauses out of 34003 with flag 840107/166602
16.21/13.93	c cleaning 17990 clauses out of 36005 with flag 926582/185602
17.49/15.29	c cleaning 19001 clauses out of 38015 with flag 1034100/205602
19.12/16.80	c cleaning 19999 clauses out of 40014 with flag 1170632/226602
21.20/18.90	c cleaning 21004 clauses out of 42015 with flag 1335435/248602
23.20/20.93	c cleaning 22003 clauses out of 44013 with flag 1519575/271604
25.54/23.21	c cleaning 22993 clauses out of 46008 with flag 1745646/295602
27.97/25.62	c cleaning 24001 clauses out of 48019 with flag 2028625/320606
30.67/28.20	c cleaning 25004 clauses out of 50014 with flag 2266920/346602
33.58/31.14	c cleaning 26004 clauses out of 52010 with flag 2560975/373602
36.76/34.26	c cleaning 27002 clauses out of 54008 with flag 2864494/401604
40.06/37.44	c cleaning 28003 clauses out of 56006 with flag 3224166/430604
42.85/40.27	c cleaning 28997 clauses out of 58001 with flag 3526980/460602
45.73/43.06	c cleaning 29999 clauses out of 60005 with flag 3800501/491603
48.62/46.00	c cleaning 30996 clauses out of 62006 with flag 4113077/523603
51.69/48.94	c cleaning 32004 clauses out of 64012 with flag 4432441/556605
54.75/51.98	c cleaning 33000 clauses out of 66005 with flag 4738047/590602
57.99/55.17	c cleaning 33997 clauses out of 68005 with flag 5033852/625602
61.18/58.35	c cleaning 34984 clauses out of 70009 with flag 5299678/661603
64.74/61.83	c cleaning 36005 clauses out of 72024 with flag 5567912/698602
68.44/65.59	c cleaning 37004 clauses out of 74019 with flag 5894336/736602
72.23/69.26	c cleaning 38003 clauses out of 76015 with flag 6155223/775602
75.43/72.48	c cleaning 39001 clauses out of 78013 with flag 6399235/815603
79.02/75.97	c cleaning 39992 clauses out of 80011 with flag 6654094/856602
82.71/79.64	c cleaning 41007 clauses out of 82020 with flag 6938545/898603
86.41/83.27	c cleaning 42005 clauses out of 84013 with flag 7249689/941603
90.21/87.01	c cleaning 42999 clauses out of 86007 with flag 7549633/985602
94.19/91.01	c cleaning 43999 clauses out of 88010 with flag 7932708/1030604
99.41/96.10	c cleaning 44993 clauses out of 90009 with flag 8410892/1076602
104.12/100.60	c cleaning 46005 clauses out of 92017 with flag 8861915/1123603
108.33/104.71	c cleaning 47004 clauses out of 94012 with flag 9236649/1171603
112.63/109.07	c cleaning 47998 clauses out of 96007 with flag 9613890/1220602
118.62/114.10	c cleaning 49001 clauses out of 98009 with flag 10011558/1270602
123.26/118.37	c cleaning 50002 clauses out of 100010 with flag 10439593/1321604
129.30/124.38	c cleaning 51001 clauses out of 102008 with flag 10911670/1373604
134.89/129.87	c cleaning 51996 clauses out of 104007 with flag 11395689/1426604
140.59/135.45	c cleaning 53001 clauses out of 106010 with flag 11889058/1480603
146.18/141.10	c cleaning 54000 clauses out of 108009 with flag 12429347/1535603
151.73/146.58	c cleaning 55003 clauses out of 110008 with flag 12868532/1591602
156.81/151.64	c cleaning 56000 clauses out of 112005 with flag 13292006/1648602
162.64/157.44	c cleaning 56996 clauses out of 114005 with flag 13770034/1706602
169.04/163.75	c cleaning 57984 clauses out of 116009 with flag 14277758/1765602
175.33/169.97	c cleaning 59006 clauses out of 118028 with flag 14823518/1825605
181.91/176.44	c cleaning 59981 clauses out of 120019 with flag 15356672/1886602
188.12/182.50	c cleaning 61009 clauses out of 122039 with flag 15863314/1948603
193.81/188.28	c cleaning 62004 clauses out of 124029 with flag 16411734/2011602
200.48/194.85	c cleaning 62986 clauses out of 126026 with flag 16982239/2075603
206.87/201.29	c cleaning 64015 clauses out of 128039 with flag 17566000/2140602
213.36/207.67	c cleaning 65002 clauses out of 130025 with flag 18173279/2206603
219.01/213.13	c cleaning 66007 clauses out of 132023 with flag 18692213/2273603
225.29/219.45	c cleaning 66995 clauses out of 134015 with flag 19237907/2341602
233.75/227.55	c cleaning 68002 clauses out of 136021 with flag 19921322/2410603
242.15/235.86	c cleaning 68996 clauses out of 138021 with flag 20794226/2480605
250.78/244.32	c cleaning 70004 clauses out of 140022 with flag 21668736/2551602
259.62/253.03	c cleaning 70996 clauses out of 142018 with flag 22515963/2623602
267.45/260.75	c cleaning 72004 clauses out of 144022 with flag 23246209/2696602
274.63/267.98	c cleaning 72999 clauses out of 146019 with flag 23916206/2770603
282.73/275.96	c cleaning 74002 clauses out of 148020 with flag 24716248/2845603
291.86/284.91	c cleaning 74996 clauses out of 150019 with flag 25561332/2921604
302.73/295.82	c cleaning 76006 clauses out of 152021 with flag 26529813/2998602
311.64/304.63	c cleaning 77000 clauses out of 154015 with flag 27379812/3076602
318.46/311.31	c cleaning 78000 clauses out of 156017 with flag 28045846/3155604
325.15/318.01	c cleaning 78999 clauses out of 158015 with flag 28731652/3235602
333.45/326.21	c cleaning 79993 clauses out of 160016 with flag 29450359/3316602
340.64/333.43	c cleaning 80997 clauses out of 162023 with flag 30156986/3398602
349.14/341.55	c cleaning 82002 clauses out of 164027 with flag 30833269/3481603
359.51/351.95	c cleaning 82997 clauses out of 166024 with flag 31754326/3565602
367.60/360.00	c cleaning 84005 clauses out of 168027 with flag 32552752/3650602
375.75/367.91	c cleaning 85000 clauses out of 170023 with flag 33462221/3736603
384.29/376.32	c cleaning 85990 clauses out of 172022 with flag 34349135/3823602
392.27/384.31	c cleaning 87009 clauses out of 174032 with flag 35024375/3911602
401.38/393.32	c cleaning 88007 clauses out of 176025 with flag 35734076/4000604
410.21/402.09	c cleaning 88994 clauses out of 178016 with flag 36630078/4090602
419.55/411.20	c cleaning 90001 clauses out of 180023 with flag 37457957/4181603
428.22/419.95	c cleaning 90994 clauses out of 182021 with flag 38271267/4273602
437.39/428.73	c cleaning 91988 clauses out of 184027 with flag 39129040/4366602
446.11/437.30	c cleaning 93005 clauses out of 186040 with flag 39985974/4460603
454.49/445.78	c cleaning 94001 clauses out of 188035 with flag 40824623/4555603
463.49/454.62	c cleaning 94998 clauses out of 190033 with flag 41743419/4651602
472.78/463.89	c cleaning 96004 clauses out of 192036 with flag 42604014/4748603
482.71/473.66	c cleaning 96997 clauses out of 194031 with flag 43410918/4846602
492.68/483.61	c cleaning 98000 clauses out of 196035 with flag 44319124/4945603
502.97/493.85	c cleaning 99013 clauses out of 198037 with flag 45172019/5045605
513.24/503.99	c cleaning 99985 clauses out of 200021 with flag 45991695/5146602
523.48/514.01	c cleaning 101004 clauses out of 202036 with flag 46874565/5248602
533.04/523.66	c cleaning 102007 clauses out of 204033 with flag 47760075/5351603
543.53/534.10	c cleaning 103006 clauses out of 206026 with flag 48674446/5455603
555.25/545.64	c cleaning 103993 clauses out of 208019 with flag 49662238/5560602
567.31/557.32	c cleaning 104981 clauses out of 210026 with flag 50804839/5666602
579.93/569.90	c cleaning 106004 clauses out of 212046 with flag 51957558/5773603
590.10/580.00	c cleaning 107013 clauses out of 214043 with flag 52983827/5881604
600.47/590.32	c cleaning 107998 clauses out of 216028 with flag 53922680/5990602
611.07/600.81	c cleaning 109008 clauses out of 218032 with flag 54832653/6100604
622.30/612.00	c cleaning 110001 clauses out of 220022 with flag 55846723/6211602
633.68/623.37	c cleaning 111006 clauses out of 222021 with flag 56706714/6323602
644.83/634.30	c cleaning 111993 clauses out of 224016 with flag 57654768/6436603
657.08/646.47	c cleaning 112999 clauses out of 226022 with flag 58770760/6550602
670.41/659.65	c cleaning 114004 clauses out of 228028 with flag 60073721/6665607
684.79/673.91	c cleaning 115003 clauses out of 230020 with flag 61383990/6781603
699.92/688.87	c cleaning 116001 clauses out of 232017 with flag 62683041/6898603
711.92/700.79	c cleaning 116997 clauses out of 234015 with flag 63868068/7016602
724.61/713.35	c cleaning 117992 clauses out of 236020 with flag 65106522/7135604
736.65/725.28	c cleaning 119001 clauses out of 238026 with flag 66237505/7255602
748.07/736.53	c cleaning 119998 clauses out of 240025 with flag 67357637/7376602
762.41/750.78	c cleaning 121010 clauses out of 242029 with flag 68739572/7498604
780.06/768.08	c cleaning 121986 clauses out of 244019 with flag 70312384/7621604
796.63/784.26	c cleaning 123001 clauses out of 246031 with flag 71647328/7745602
810.72/798.21	c cleaning 124003 clauses out of 248030 with flag 73029631/7870602
824.31/811.73	c cleaning 124997 clauses out of 250027 with flag 74273738/7996602
836.34/823.63	c cleaning 126008 clauses out of 252031 with flag 75366584/8123603
849.36/836.59	c cleaning 126983 clauses out of 254022 with flag 76581829/8251602
862.13/849.19	c cleaning 128008 clauses out of 256039 with flag 77639464/8380602
875.96/862.83	c cleaning 129001 clauses out of 258031 with flag 78757693/8510602
889.61/876.39	c cleaning 130006 clauses out of 260033 with flag 79996249/8641605
905.74/892.33	c cleaning 130999 clauses out of 262025 with flag 81500315/8773603
923.35/909.83	c cleaning 131992 clauses out of 264025 with flag 83140617/8906602
938.20/924.54	c cleaning 132999 clauses out of 266033 with flag 84681564/9040602
952.30/938.52	c cleaning 134004 clauses out of 268035 with flag 86016044/9175603
971.72/957.87	c cleaning 134999 clauses out of 270033 with flag 87619057/9311605
987.45/973.26	c cleaning 135998 clauses out of 272031 with flag 88977694/9448602
1003.05/988.76	c cleaning 136991 clauses out of 274033 with flag 90314431/9586602
1019.45/1005.03	c cleaning 138010 clauses out of 276043 with flag 91725971/9725603
1036.95/1022.20	c cleaning 139010 clauses out of 278034 with flag 93220017/9865604
1053.07/1038.24	c cleaning 139985 clauses out of 280023 with flag 94838436/10006603
1075.36/1060.20	c cleaning 140986 clauses out of 282037 with flag 96715954/10148602
1095.35/1079.81	c cleaning 142004 clauses out of 284051 with flag 98557398/10291602
1116.00/1100.10	c cleaning 143010 clauses out of 286047 with flag 100279589/10435602
1135.11/1118.79	c cleaning 143985 clauses out of 288037 with flag 101961926/10580602
1154.17/1137.61	c cleaning 145012 clauses out of 290054 with flag 103788747/10726604
1171.82/1155.12	c cleaning 145996 clauses out of 292040 with flag 105259492/10873602
1188.33/1171.55	c cleaning 147003 clauses out of 294044 with flag 106646429/11021602
1205.69/1188.70	c cleaning 148002 clauses out of 296041 with flag 108168240/11170602
1221.45/1204.38	c cleaning 149007 clauses out of 298042 with flag 109592282/11320605
1237.64/1220.34	c cleaning 149998 clauses out of 300035 with flag 110982930/11471605
1254.93/1237.45	c cleaning 150993 clauses out of 302034 with flag 112678155/11623602
1273.98/1256.37	c cleaning 152007 clauses out of 304044 with flag 114519569/11776605
1291.26/1273.40	c cleaning 153009 clauses out of 306037 with flag 116237084/11930605
1310.55/1292.53	c cleaning 153990 clauses out of 308026 with flag 117912995/12085603
1326.82/1308.70	c cleaning 154984 clauses out of 310035 with flag 119313158/12241602
1345.78/1327.46	c cleaning 156007 clauses out of 312051 with flag 121168732/12398602
1367.60/1349.13	c cleaning 156988 clauses out of 314045 with flag 122920860/12556603
1386.43/1367.83	c cleaning 158015 clauses out of 316057 with flag 124614938/12715603
1404.30/1385.64	c cleaning 158995 clauses out of 318042 with flag 126283063/12875603
1424.69/1405.97	c cleaning 159990 clauses out of 320046 with flag 127948159/13036602
1443.97/1425.02	c cleaning 161021 clauses out of 322059 with flag 129543084/13198605
1467.28/1447.99	c cleaning 162005 clauses out of 324036 with flag 131322543/13361603
1485.97/1466.47	c cleaning 162989 clauses out of 326030 with flag 132952920/13525602
1507.00/1487.33	c cleaning 164008 clauses out of 328041 with flag 134868586/13690602
1526.49/1506.75	c cleaning 164991 clauses out of 330033 with flag 136486560/13856602
1546.21/1526.35	c cleaning 166011 clauses out of 332044 with flag 138232344/14023604
1565.00/1545.01	c cleaning 166996 clauses out of 334033 with flag 139748220/14191604
1585.71/1565.65	c cleaning 167991 clauses out of 336037 with flag 141312858/14360604
1612.89/1592.06	c cleaning 168992 clauses out of 338044 with flag 142972397/14530602
1634.03/1613.22	c cleaning 169999 clauses out of 340052 with flag 144895498/14701602
1654.80/1633.99	c cleaning 171017 clauses out of 342053 with flag 146909038/14873602
1676.74/1655.73	c cleaning 172001 clauses out of 344037 with flag 148758494/15046603
1697.74/1676.69	c cleaning 173003 clauses out of 346037 with flag 150568528/15220604
1719.07/1697.80	c cleaning 173998 clauses out of 348033 with flag 152482555/15395603
1740.78/1719.38	c cleaning 175000 clauses out of 350037 with flag 154500879/15571605
1763.68/1742.03	c cleaning 175986 clauses out of 352034 with flag 156442264/15748602
1786.79/1764.91	c cleaning 177012 clauses out of 354048 with flag 158209299/15926602
1809.39/1787.36	c cleaning 178006 clauses out of 356036 with flag 159946567/16105602
1832.17/1809.92	c cleaning 179016 clauses out of 358031 with flag 161660744/16285603
1852.49/1830.02	c cleaning 179978 clauses out of 360015 with flag 163288150/16466603
1874.42/1851.74	c cleaning 180982 clauses out of 362037 with flag 165056904/16648603
1896.86/1873.99	c cleaning 181997 clauses out of 364055 with flag 167073262/16831603
1919.11/1895.95	c cleaning 183014 clauses out of 366057 with flag 168899855/17015602
1941.85/1918.71	c cleaning 184002 clauses out of 368043 with flag 170666892/17200602
1965.83/1942.68	c cleaning 184991 clauses out of 370041 with flag 172567153/17386602
1990.22/1966.83	c cleaning 186019 clauses out of 372052 with flag 174683357/17573604
2015.13/1991.60	c cleaning 187009 clauses out of 374031 with flag 176507646/17761602
2039.13/2015.48	c cleaning 187997 clauses out of 376023 with flag 178629131/17950603
2066.55/2042.33	c cleaning 188992 clauses out of 378025 with flag 180705549/18140602
2093.16/2068.80	c cleaning 190007 clauses out of 380034 with flag 182547713/18331603
2115.63/2091.01	c cleaning 191002 clauses out of 382028 with flag 184497140/18523604
2137.96/2113.03	c cleaning 191996 clauses out of 384026 with flag 186399053/18716604
2160.56/2135.44	c cleaning 192999 clauses out of 386031 with flag 188502199/18910605
2185.00/2159.73	c cleaning 194002 clauses out of 388029 with flag 190689250/19105602
2207.34/2181.92	c cleaning 195006 clauses out of 390029 with flag 192830702/19301604
2232.33/2206.45	c cleaning 195998 clauses out of 392021 with flag 194939521/19498602
2259.87/2233.20	c cleaning 196965 clauses out of 394023 with flag 197007888/19696602
2286.21/2259.25	c cleaning 198009 clauses out of 396058 with flag 199411926/19895602
2308.82/2281.54	c cleaning 199007 clauses out of 398050 with flag 201422025/20095603
2334.62/2307.09	c cleaning 200013 clauses out of 400042 with flag 203627230/20296602
2357.06/2329.57	c cleaning 200993 clauses out of 402031 with flag 205610484/20498604
2379.74/2352.04	c cleaning 202002 clauses out of 404037 with flag 207711288/20701603
2402.83/2374.95	c cleaning 203013 clauses out of 406035 with flag 209553471/20905603
2426.76/2398.67	c cleaning 203995 clauses out of 408021 with flag 211839074/21110602
2453.01/2424.66	c cleaning 204987 clauses out of 410027 with flag 214122581/21316603
2476.58/2447.98	c cleaning 206000 clauses out of 412040 with flag 216123532/21523603
2501.44/2472.59	c cleaning 206994 clauses out of 414040 with flag 218118568/21731603
2525.60/2496.45	c cleaning 208006 clauses out of 416045 with flag 220173771/21940602
2550.48/2521.05	c cleaning 209004 clauses out of 418039 with flag 222456211/22150602
2578.17/2548.46	c cleaning 210000 clauses out of 420037 with flag 224794503/22361604
2605.87/2575.81	c cleaning 210987 clauses out of 422036 with flag 227219247/22573603
2632.28/2601.99	c cleaning 212001 clauses out of 424049 with flag 229343970/22786603
2656.84/2626.24	c cleaning 213013 clauses out of 426047 with flag 231415901/23000602
2683.19/2652.37	c cleaning 213992 clauses out of 428035 with flag 233575099/23215603
2706.73/2675.96	c cleaning 215011 clauses out of 430042 with flag 235484136/23431602
2732.38/2701.48	c cleaning 215997 clauses out of 432031 with flag 237565429/23648602
2759.69/2728.68	c cleaning 216996 clauses out of 434035 with flag 239832519/23866603
2786.58/2755.32	c cleaning 218010 clauses out of 436040 with flag 242001051/24085604
2812.34/2780.99	c cleaning 218992 clauses out of 438029 with flag 243913752/24305603
2843.29/2811.39	c cleaning 220004 clauses out of 440037 with flag 246224011/24526603
2873.30/2841.04	c cleaning 220997 clauses out of 442032 with flag 248775533/24748602
2902.11/2869.54	c cleaning 222001 clauses out of 444038 with flag 251218474/24971605
2930.63/2897.79	c cleaning 223013 clauses out of 446036 with flag 253741957/25195604
2956.87/2924.06	c cleaning 224003 clauses out of 448021 with flag 256095239/25420602
2983.90/2950.91	c cleaning 224986 clauses out of 450019 with flag 258047497/25646603
3009.85/2976.68	c cleaning 225990 clauses out of 452032 with flag 260158041/25873602
3036.99/3003.61	c cleaning 226997 clauses out of 454043 with flag 262499102/26101603
3071.16/3036.69	c cleaning 228001 clauses out of 456046 with flag 265113636/26330603
3100.25/3065.47	c cleaning 228994 clauses out of 458046 with flag 267299185/26560604
3131.87/3096.95	c cleaning 230001 clauses out of 460052 with flag 269760773/26791604
3161.68/3126.52	c cleaning 231001 clauses out of 462049 with flag 272015069/27023602
3189.13/3154.04	c cleaning 231996 clauses out of 464049 with flag 274427025/27256603
3218.60/3183.49	c cleaning 233002 clauses out of 466052 with flag 276899831/27490602
3251.20/3215.88	c cleaning 234002 clauses out of 468052 with flag 279426384/27725604
3279.92/3244.39	c cleaning 235004 clauses out of 470048 with flag 281630032/27961602
3310.47/3274.61	c cleaning 236012 clauses out of 472045 with flag 283865346/28198603
3340.77/3304.69	c cleaning 236979 clauses out of 474032 with flag 286039154/28436602
3369.58/3333.26	c cleaning 238009 clauses out of 476053 with flag 288454789/28675602
3398.43/3361.80	c cleaning 239003 clauses out of 478044 with flag 290541794/28915602
3427.10/3390.17	c cleaning 239999 clauses out of 480041 with flag 292457030/29156602
3457.42/3420.52	c cleaning 241000 clauses out of 482046 with flag 294710739/29398606
3487.55/3450.51	c cleaning 242000 clauses out of 484043 with flag 297074727/29641603
3517.92/3480.70	c cleaning 243000 clauses out of 486042 with flag 299351722/29885602
3546.94/3509.43	c cleaning 243994 clauses out of 488042 with flag 301471594/30130602
3579.08/3541.22	c cleaning 244998 clauses out of 490050 with flag 303638504/30376604
3600.02/3562.22	c starts		: 45344
3600.02/3562.23	c conflicts		: 30565017
3600.02/3562.23	c decisions		: 64354483
3600.02/3562.23	c propagations		: 1982905984
3600.02/3562.23	c inspects		: 28293160964
3600.02/3562.23	c shortcuts		: 0
3600.02/3562.23	c learnt literals	: 0
3600.02/3562.23	c learnt binary clauses	: 304
3600.02/3562.23	c learnt ternary clauses	: 4769
3600.02/3562.23	c learnt constraints	: 30565017
3600.02/3562.23	c ignored constraints	: 0
3600.02/3562.23	c root simplifications	: 0
3600.02/3562.23	c removed literals (reason simplification)	: 0
3600.02/3562.23	c reason swapping (by a shorter reason)	: 0
3600.02/3562.23	c Calls to reduceDB	: 243
3600.02/3562.23	c Number of update (reduction) of LBD	: 8874021
3600.02/3562.23	c Imported unit clauses	: 0
3600.02/3562.23	c No decision after first conflict	: false
3600.02/3562.24	c number of reductions to clauses (during analyze)	: 0
3600.02/3562.24	c number of learned constraints concerned by reduction	: 0
3600.02/3562.24	c number of learning phase by resolution	: 0
3600.02/3562.24	c number of learning phase by cutting planes	: 0
3600.02/3562.24	c number of rounding to 1 operations	: 0
3600.02/3562.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3562.24	c number of reductions of the coefficients by power 2 	: 0
3600.02/3562.24	c number of right shift for reduction by power 2 	: 0
3600.02/3562.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3562.24	c number of ending skipping 	: 0
3600.02/3562.24	c number of internal skipping 	: 0
3600.02/3562.24	c number of derivation steps 	: 0
3600.02/3562.24	c number of skipped derivation steps 	: 0
3600.02/3562.24	c number of remaining unassigned 	: 0
3600.02/3562.24	c number of remaining assigned 	: 0
3600.02/3562.24	c number of falsified literals weakened from reason	: 0
3600.02/3562.24	c number of falsified literals weakened from conflict	: 0
3600.02/3562.24	c time for arithmetic operations	: 0
3600.02/3562.24	c minimum degree of deleted constraints	: null
3600.02/3562.24	c maximum degree of deleted constraints	: null
3600.02/3562.24	c number of deleted constraints	: 0
3600.02/3562.25	c speed (assignments/second)	: 556776.7929596265
3600.02/3562.25	c non guided choices	: 0
3600.22/3562.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 433161
3600.22/3562.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 304
3600.22/3562.39	s SATISFIABLE
3600.22/3562.39	c Found 2 solution(s)
3600.22/3562.39	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 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 
3600.41/3562.40	c objective function=508
3600.41/3562.40	c Total wall clock time (in seconds): 3562.101

Verifier Data 

OK	508

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (9374 MiB free)
  memory of node 1: 64510 MiB (49686 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10023 s]*
/proc/loadavg: 4.26 4.30 4.71 7/318 268579
/proc/meminfo: memFree=60443596/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=18975048 memory=55804 CPUtime=0.13 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 6448 0 0 0 10 3 0 0 20 0 18 0 24719960 19430449152 13951 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4743762 13951 5645 1 0 550801 0
[pid=268561/tid=268563] ppid=268558 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 5397 0 0 0 7 2 0 0 20 0 18 0 24719960 19430449152 13951 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24719966 19430449152 13951 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=18975048 memory=14128957269627868 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24719967 19430449152 13951 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55804 KiB

[startup+0.21622 s]*
/proc/loadavg: 4.26 4.30 4.71 5/318 268579
/proc/meminfo: memFree=60435960/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=18975048 memory=62868 CPUtime=0.31 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 7165 0 0 0 26 5 0 0 20 0 18 0 24719960 19430449152 15717 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4743762 15717 5652 1 0 551391 0
[pid=268561/tid=268563] ppid=268558 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 5725 0 0 0 16 3 0 0 20 0 18 0 24719960 19430449152 15717 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=18975048 memory=1466016 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24719966 19430449152 15717 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24719967 19430449152 15717 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62868 KiB

[startup+0.326216 s]*
/proc/loadavg: 4.26 4.30 4.71 7/318 268579
/proc/meminfo: memFree=60432760/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=18975048 memory=66696 CPUtime=0.49 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 7447 0 0 0 44 5 0 0 20 0 18 0 24719960 19430449152 16674 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4743762 16674 5831 1 0 551565 0
[pid=268561/tid=268563] ppid=268558 vsize=18975048 memory=-8599734970385932988 CPUtime=0.28 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 5874 0 0 0 25 3 0 0 20 0 18 0 24719960 19430449152 16674 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24719966 19430449152 16674 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24719967 19430449152 16674 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66696 KiB

[startup+0.704844 s]
/proc/loadavg: 4.26 4.30 4.71 7/318 268579
/proc/meminfo: memFree=60416444/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=18975048 memory=114592 CPUtime=1.18 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 9141 0 0 0 111 7 0 0 20 0 18 0 24719960 19430449152 28648 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4743762 28648 5847 1 0 552641 0
[pid=268561/tid=268563] ppid=268558 vsize=18975048 memory=5468 CPUtime=0.61 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 5943 0 0 0 56 5 0 0 20 0 18 0 24719960 19430449152 28648 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=18975048 memory=11904 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24719966 19430449152 28648 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24719967 19430449152 28648 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114592 KiB

[startup+1.50122 s]
/proc/loadavg: 4.26 4.30 4.71 7/319 268580
/proc/meminfo: memFree=60351504/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19041612 memory=164720 CPUtime=2.75 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 19767 0 0 0 265 10 0 0 20 0 19 0 24719960 19498610688 41180 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4760403 41180 5901 1 0 556484 0
[pid=268561/tid=268563] ppid=268558 vsize=19041612 memory=11904 CPUtime=1.37 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 6305 0 0 0 131 6 0 0 20 0 19 0 24719960 19498610688 41180 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24719966 19498610688 41180 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24719967 19498610688 41180 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24720044 19498610688 41180 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164720 KiB

[startup+3.10621 s]
/proc/loadavg: 4.26 4.30 4.71 5/320 268581
/proc/meminfo: memFree=60305432/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=193536 CPUtime=5.24 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 22274 0 0 0 513 11 0 0 20 0 20 0 24719960 19566772224 48384 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 48384 5901 1 0 557129 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=0 CPUtime=2.93 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 7492 0 0 0 287 6 0 0 20 0 20 0 24719960 19566772224 48384 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 48384 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 48384 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=11904 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 48384 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193536 KiB

[startup+6.30421 s]
/proc/loadavg: 4.24 4.29 4.70 5/320 268582
/proc/meminfo: memFree=60302704/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=196336 CPUtime=8.45 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 22994 0 0 0 834 11 0 0 20 0 20 0 24719960 19566772224 49084 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 49084 5901 1 0 557129 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=0 CPUtime=6.08 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 7522 0 0 0 602 6 0 0 20 0 20 0 24719960 19566772224 49084 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=11904 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 49084 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 49084 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=72492 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 49084 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 8.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.29 4.70 5/320 268584
/proc/meminfo: memFree=60273692/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=225248 CPUtime=15 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 25671 0 0 0 1486 14 0 0 20 0 20 0 24719960 19566772224 56312 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 56312 5932 1 0 557129 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=141340 CPUtime=12.29 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 8105 0 0 0 1222 7 0 0 20 0 20 0 24719960 19566772224 56312 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=225248 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 56312 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=193536 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 56312 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 56312 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 225248 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.27 4.69 5/320 268585
/proc/meminfo: memFree=60003404/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=509320 CPUtime=27.87 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 29901 0 0 0 2766 21 0 0 20 0 20 0 24719960 19566772224 127330 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 127330 5940 1 0 663638 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=225248 CPUtime=24.37 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 9375 0 0 0 2429 8 0 0 20 0 20 0 24719960 19566772224 127330 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=323756 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 127330 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 127330 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 127330 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 27.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 509320 KiB

[startup+51.1145 s]
/proc/loadavg: 4.23 4.28 4.68 6/320 268590
/proc/meminfo: memFree=59272400/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=979320 CPUtime=53.96 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 35606 0 0 0 5364 32 0 0 20 0 20 0 24719960 19566772224 244830 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 244830 5940 1 0 663648 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=837828 CPUtime=49.35 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 10828 0 0 0 4926 9 0 0 20 0 20 0 24719960 19566772224 244830 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=837828 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 244830 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 244830 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0

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

/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 409468 0 0 0 316882 96 0 0 20 0 20 0 24719960 19566772224 2538977 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=10155892 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 2538977 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=10155908 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 814 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 2538977 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 2538977 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 3257.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10155908 KiB

[startup+3282.3 s]
/proc/loadavg: 2.38 2.26 2.85 4/268 270315
/proc/meminfo: memFree=71861916/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=10155912 CPUtime=3318.15 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 1934366 0 0 0 331305 510 0 0 20 0 20 0 24719960 19566772224 2538978 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 2538978 5940 1 0 3177146 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=10155912 CPUtime=3228.94 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 409712 0 0 0 322798 96 0 0 20 0 20 0 24719960 19566772224 2538978 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=10155908 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 2538978 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 814 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 2538978 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=16192 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 2538978 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 3318.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10155912 KiB

[startup+3342.3 s]
/proc/loadavg: 2.24 2.24 2.80 4/268 270326
/proc/meminfo: memFree=71861628/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=10155916 CPUtime=3378.67 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 1939596 0 0 0 337354 513 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 2538979 5940 1 0 3177146 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=0 CPUtime=3288.06 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 410953 0 0 0 328710 96 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=1992 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 942 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=10155916 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 3378.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10155916 KiB

[startup+3402.3 s]
/proc/loadavg: 2.16 2.22 2.76 4/270 270506
/proc/meminfo: memFree=71860752/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=10155916 CPUtime=3439.26 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 1940454 0 0 0 343412 514 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 2538979 5940 1 0 3177146 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=11644 CPUtime=3347.09 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 411345 0 0 0 334613 96 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=10155916 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 942 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=10155916 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 3439.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10155916 KiB

[startup+3462.3 s]
/proc/loadavg: 2.10 2.19 2.72 4/270 270516
/proc/meminfo: memFree=71860816/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=10155916 CPUtime=3499.31 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 1941510 0 0 0 349414 517 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 2538979 5940 1 0 3177146 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=11644 CPUtime=3406.66 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 411634 0 0 0 340570 96 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=72492 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 942 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 3499.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10155916 KiB

[startup+3522.3 s]
/proc/loadavg: 2.29 2.22 2.69 4/270 270529
/proc/meminfo: memFree=71860588/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=10155916 CPUtime=3559.81 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 2054534 0 0 0 355452 529 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 2538979 5940 1 0 3177146 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=10155916 CPUtime=3465.81 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 411889 0 0 0 346484 97 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=10155916 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=11904 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 942 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=11904 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 3559.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10155916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3562.2 s]
/proc/loadavg: 2.23 2.21 2.67 4/269 270547
/proc/meminfo: memFree=71860324/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19108176 memory=10155916 CPUtime=3600.02 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 2081363 0 0 0 359470 532 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4777044 2538979 5940 1 0 3177146 0
[pid=268561/tid=268563] ppid=268558 vsize=19108176 memory=-8599734970385932988 CPUtime=3505.13 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 412919 0 0 0 350416 97 0 0 20 0 20 0 24719960 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19108176 memory=17700 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24719966 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19108176 memory=21796 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 999 0 0 0 0 0 0 0 20 0 20 0 24719967 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268580] ppid=268558 vsize=19108176 memory=5532 CPUtime=0 cores=0,2
/proc/268561/task/268580/stat : 268580 (Timer-0) S 268558 268561 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24720044 19566772224 2538979 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10155916 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.1 s, system=5.43176 s

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

[startup+3562.4 s]
/proc/loadavg: 2.23 2.21 2.67 4/269 270547
/proc/meminfo: memFree=71860324/131655788 swapFree=131058856/131071996
[pid=268561] ppid=268558 vsize=19307868 memory=10156844 CPUtime=3600.41 cores=0,2
/proc/268561/stat : 268561 (java) S 268558 268561 262286 0 -1 1077936128 2084818 0 0 0 359509 532 0 0 20 0 21 0 24719960 19771256832 2539211 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
/proc/268561/statm: 4826967 2539211 5955 1 0 3178101 0
[pid=268561/tid=268563] ppid=268558 vsize=19307868 memory=10155916 CPUtime=3505.29 cores=0,2
/proc/268561/task/268563/stat : 268563 (java) R 268558 268561 262286 0 -1 4194368 413230 0 0 0 350432 97 0 0 20 0 21 0 24719960 19771256832 2539211 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268572] ppid=268558 vsize=19307868 memory=1832 CPUtime=0 cores=0,2
/proc/268561/task/268572/stat : 268572 (Finalizer) S 268558 268561 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 24719966 19771256832 2539211 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
[pid=268561/tid=268579] ppid=268558 vsize=19307868 memory=26124 CPUtime=0 cores=0,2
/proc/268561/task/268579/stat : 268579 (Common-Cleaner) S 268558 268561 262286 0 -1 1077936192 999 0 0 0 0 0 0 0 20 0 21 0 24719967 19771256832 2539211 134679101440 94789754920960 94789754924656 140735136139440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94789754932472 94789754933264 94789767237632 140735136146439 140735136146529 140735136146529 140735136153544 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10156844 KiB

[startup+3562.5 s]*
/proc/loadavg: 2.23 2.21 2.67 3/251 270550
/proc/meminfo: memFree=81735064/131655788 swapFree=131058856/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3562.53
CPU time (s): 3600.53
CPU user time (s): 3595.1
CPU system time (s): 5.43176
CPU usage (%): 101.067
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10156844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.1
system time used= 5.43176
maximum resident set size= 10157752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2085017
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114676
involuntary context switches= 27267


# summary of solver processes directly reported to runsolver:
#   pid: 268561
#   total CPU time (s): 3600.53
#   total CPU user time (s): 3595.1
#   total CPU system time (s): 5.43176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4082 second user time and 37.592 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-25 08:01:44
IDJOB=4459351
IDBENCH=178773
IDSOLVER=3058
FILE ID=nodeC010/4459351-1721887304
RUNJOBID= nodeC010-1721877730-262296
SLURM_JOB_ID= 8089272
Free space on /tmp= 723684 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-1109824.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459351-1721887304/watcher-4459351-1721887304 -o /tmp/evaluation-result-4459351-1721887304/solver-4459351-1721887304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262296 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459351-1721887304.opb

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

MD5SUM BENCH= ca6d41f9aded18c9e4512660dff57e08
RANDOM SEED=475292133

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        60478116 kB
MemAvailable:   103927460 kB
Buffers:          292356 kB
Cached:         43496148 kB
SwapCached:          192 kB
Active:          2265568 kB
Inactive:       67653312 kB
Active(anon):       2180 kB
Inactive(anon): 26181788 kB
Active(file):    2263388 kB
Inactive(file): 41471524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:              1844 kB
Writeback:            40 kB
AnonPages:      26130108 kB
Mapped:           120388 kB
Shmem:             53520 kB
KReclaimable:     776176 kB
Slab:             896188 kB
SReclaimable:     776176 kB
SUnreclaim:       120012 kB
KernelStack:        4848 kB
PageTables:        61312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   35378732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14784 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21889024 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC010 at 2024-07-25 09:01:07