Trace number 4525136

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.42 3575.11

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM17cf67a4eb1c7fd9d1716e80f9f194fb
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.377686
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints67
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 3472
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3471
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c Expensive reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4525136-1751620513.wbo
0.12/0.13	c reading problem ... 
0.12/0.19	c ... done. Wall clock time 0.062s.
0.12/0.19	c declared #vars     4000
0.12/0.19	c internal #vars     4067
0.12/0.19	c #constraints  181
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 52
0.12/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 28
0.12/0.19	c org.sat4j.specs.Constr$1 => 1
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.12/0.19	c 181 constraints processed.
0.33/0.21	c objective function length is 67 literals
0.91/0.59	c SATISFIABLE
0.91/0.59	c OPTIMIZING...
0.91/0.59	c Got one! Elapsed wall clock time (in seconds):0.463
0.91/0.59	o 150
2.89/2.25	c cleaning 2976 clauses out of 5956 with flag 39954/5956
5.32/4.52	c cleaning 4489 clauses out of 8981 with flag 90134/11957
7.65/6.82	c Got one! Elapsed wall clock time (in seconds):6.699
7.65/6.82	o 148
7.65/6.88	c Got one! Elapsed wall clock time (in seconds):6.752
7.65/6.88	o 132
10.86/10.06	c cleaning 8227 clauses out of 16458 with flag 45787/23923
12.03/11.10	c Got one! Elapsed wall clock time (in seconds):10.979
12.03/11.10	o 127
12.03/11.15	c Got one! Elapsed wall clock time (in seconds):11.029
12.03/11.15	o 108
13.99/13.06	c cleaning 6715 clauses out of 13438 with flag 22455/29130
14.68/13.78	c Got one! Elapsed wall clock time (in seconds):13.654
14.68/13.78	o 89
14.84/13.82	c Got one! Elapsed wall clock time (in seconds):13.69
14.84/13.82	o 79
17.08/15.97	c cleaning 6359 clauses out of 12735 with flag 30972/35142
20.04/18.88	c cleaning 6179 clauses out of 12376 with flag 80603/41142
23.28/22.03	c cleaning 6594 clauses out of 13198 with flag 142535/48143
26.98/25.77	c cleaning 7301 clauses out of 14607 with flag 226551/56146
29.63/28.36	c Got one! Elapsed wall clock time (in seconds):28.233
29.63/28.36	o 72
32.52/31.24	c cleaning 9177 clauses out of 18368 with flag 49443/67208
34.18/32.82	c cleaning 7583 clauses out of 15192 with flag 95233/73209
35.78/34.40	c cleaning 7291 clauses out of 14608 with flag 153419/80208
37.91/36.53	c cleaning 7647 clauses out of 15318 with flag 223000/88209
41.36/39.92	c cleaning 8327 clauses out of 16670 with flag 294408/97208
44.82/43.31	c cleaning 9159 clauses out of 18343 with flag 373671/107208
47.81/46.31	c Got one! Elapsed wall clock time (in seconds):46.186
47.81/46.31	o 60
49.28/47.78	c cleaning 11257 clauses out of 22531 with flag 51257/120555
50.90/49.38	c cleaning 8624 clauses out of 17272 with flag 111779/126553
53.05/51.47	c cleaning 7812 clauses out of 15649 with flag 176017/133554
55.35/53.77	c cleaning 7912 clauses out of 15841 with flag 249795/141558
58.27/56.62	c Got one! Elapsed wall clock time (in seconds):56.492
58.27/56.62	o 47
59.78/58.17	c cleaning 10762 clauses out of 21558 with flag 37500/155187
61.63/59.91	c cleaning 8382 clauses out of 16798 with flag 85854/161189
63.42/61.79	c cleaning 7692 clauses out of 15414 with flag 144907/168187
66.09/64.36	c cleaning 7842 clauses out of 15721 with flag 221965/176186
69.48/67.72	c cleaning 8425 clauses out of 16881 with flag 309203/185188
72.45/70.69	c Got one! Elapsed wall clock time (in seconds):70.566
72.45/70.69	o 43
74.14/72.36	c cleaning 10743 clauses out of 21518 with flag 36302/198250
74.14/72.39	c Got one! Elapsed wall clock time (in seconds):72.264
74.14/72.39	o 37
74.44/72.64	c Got one! Elapsed wall clock time (in seconds):72.512
74.44/72.64	o 30
75.09/73.27	c cleaning 8206 clauses out of 16469 with flag 24217/203944
76.69/74.61	c cleaning 7103 clauses out of 14261 with flag 67069/209942
78.19/76.14	c cleaning 7049 clauses out of 14158 with flag 129387/216942
80.09/78.02	c cleaning 7524 clauses out of 15109 with flag 207760/224942
82.48/80.47	c cleaning 8266 clauses out of 16586 with flag 297339/233943
85.67/83.63	c cleaning 9132 clauses out of 18319 with flag 392277/243942
89.84/87.78	c cleaning 10071 clauses out of 20191 with flag 496370/254946
94.02/91.88	c cleaning 11032 clauses out of 22117 with flag 615848/266943
99.31/97.19	c cleaning 12016 clauses out of 24084 with flag 748571/279942
105.76/103.56	c cleaning 13009 clauses out of 26069 with flag 899154/293943
108.86/106.61	c Got one! Elapsed wall clock time (in seconds):106.487
108.86/106.61	o 21
108.86/106.69	c Got one! Elapsed wall clock time (in seconds):106.566
108.86/106.69	o 17
109.45/107.11	c Got one! Elapsed wall clock time (in seconds):106.987
109.45/107.11	o 5
109.94/107.60	c cleaning 13345 clauses out of 26716 with flag 20719/307599
111.14/108.80	c cleaning 9672 clauses out of 19370 with flag 66514/313598
112.53/110.22	c cleaning 8335 clauses out of 16698 with flag 121767/320598
114.42/112.03	c cleaning 8170 clauses out of 16365 with flag 181436/328600
116.41/114.04	c cleaning 8580 clauses out of 17193 with flag 252802/337598
119.00/116.67	c cleaning 9291 clauses out of 18613 with flag 339793/347598
121.49/119.04	c cleaning 10132 clauses out of 20325 with flag 415299/358601
126.05/123.54	c cleaning 11067 clauses out of 22192 with flag 510244/370600
131.55/129.02	c cleaning 12034 clauses out of 24123 with flag 619407/383598
136.19/133.56	c cleaning 13033 clauses out of 26090 with flag 733561/397599
139.48/136.84	c cleaning 14011 clauses out of 28059 with flag 846440/412601
145.79/142.89	c cleaning 15007 clauses out of 30045 with flag 964250/428598
150.88/147.98	c cleaning 16002 clauses out of 32038 with flag 1099565/445598
157.07/154.08	c cleaning 17004 clauses out of 34039 with flag 1234518/463601
165.44/162.49	c cleaning 17999 clauses out of 36032 with flag 1404830/482598
175.33/172.20	c cleaning 19003 clauses out of 38034 with flag 1594835/502599
185.80/182.71	c cleaning 20003 clauses out of 40033 with flag 1800466/523601
191.11/187.88	c cleaning 20997 clauses out of 42027 with flag 1963422/545598
202.18/198.98	c cleaning 22002 clauses out of 44030 with flag 2135175/568598
215.51/212.18	c cleaning 23004 clauses out of 46029 with flag 2329460/592599
230.07/226.78	c cleaning 24002 clauses out of 48025 with flag 2534363/617599
247.54/244.03	c cleaning 24996 clauses out of 50023 with flag 2741895/643599
255.91/252.24	c cleaning 25990 clauses out of 52026 with flag 2950174/670598
263.80/259.67	c cleaning 26998 clauses out of 54042 with flag 3155388/698604
271.87/267.68	c cleaning 28000 clauses out of 56039 with flag 3342807/727599
284.54/280.32	c cleaning 28994 clauses out of 58042 with flag 3579449/757602
299.48/295.16	c cleaning 29995 clauses out of 60049 with flag 3807298/788603
308.53/304.06	c cleaning 31006 clauses out of 62051 with flag 4061158/820600
319.97/315.35	c cleaning 32009 clauses out of 64044 with flag 4328768/853599
330.16/325.58	c cleaning 32994 clauses out of 66034 with flag 4600524/887598
341.91/337.10	c cleaning 33998 clauses out of 68041 with flag 4865224/922599
353.45/348.51	c cleaning 34999 clauses out of 70042 with flag 5151643/958598
375.56/369.94	c cleaning 35996 clauses out of 72043 with flag 5425144/995598
387.11/381.44	c cleaning 37010 clauses out of 74050 with flag 5709004/1033601
396.78/390.91	c cleaning 37997 clauses out of 76038 with flag 5976505/1072599
407.75/401.94	c cleaning 38990 clauses out of 78040 with flag 6248761/1112598
420.99/415.03	c cleaning 40000 clauses out of 80050 with flag 6557394/1153598
441.53/435.46	c cleaning 41000 clauses out of 82051 with flag 6873967/1195599
463.77/457.53	c cleaning 42015 clauses out of 84050 with flag 7256947/1238598
492.66/486.18	c cleaning 42999 clauses out of 86037 with flag 7619523/1282600
510.90/504.24	c cleaning 44005 clauses out of 88038 with flag 7960158/1327600
524.69/517.31	c cleaning 44977 clauses out of 90031 with flag 8281293/1373598
537.87/530.46	c cleaning 46018 clauses out of 92056 with flag 8611328/1420600
573.78/566.23	c cleaning 47008 clauses out of 94039 with flag 8949597/1468601
587.43/579.71	c cleaning 47983 clauses out of 96028 with flag 9272423/1517598
600.97/593.15	c cleaning 48996 clauses out of 98047 with flag 9626513/1567600
619.69/611.72	c cleaning 50017 clauses out of 100050 with flag 9986320/1618599
637.94/629.85	c cleaning 51003 clauses out of 102032 with flag 10346122/1670598
656.13/647.70	c cleaning 51985 clauses out of 104029 with flag 10709947/1723598
690.72/682.25	c cleaning 52997 clauses out of 106045 with flag 11136172/1777599
710.04/701.46	c cleaning 54003 clauses out of 108047 with flag 11548728/1832598
742.11/733.21	c cleaning 54996 clauses out of 110045 with flag 12000984/1888599
760.71/751.04	c cleaning 55993 clauses out of 112049 with flag 12408780/1945599
780.13/770.03	c cleaning 57004 clauses out of 114057 with flag 12829542/2003600
811.37/801.13	c cleaning 57987 clauses out of 116052 with flag 13248826/2062599
856.21/845.74	c cleaning 59001 clauses out of 118064 with flag 13683658/2122598
918.78/908.28	c cleaning 60002 clauses out of 120063 with flag 14156722/2183598
951.39/940.59	c cleaning 61017 clauses out of 122062 with flag 14668619/2245599
975.10/964.17	c cleaning 62014 clauses out of 124045 with flag 15112465/2308599
996.98/985.78	c cleaning 62992 clauses out of 126030 with flag 15546727/2372598
1021.58/1010.22	c cleaning 64005 clauses out of 128039 with flag 15954917/2437599
1043.48/1032.09	c cleaning 65007 clauses out of 130033 with flag 16397465/2503598
1068.98/1057.20	c cleaning 66000 clauses out of 132027 with flag 16890585/2570599
1101.59/1089.79	c cleaning 66991 clauses out of 134026 with flag 17400476/2638598
1128.89/1116.72	c cleaning 68007 clauses out of 136037 with flag 17885594/2707600
1158.34/1145.05	c cleaning 68999 clauses out of 138028 with flag 18357009/2777598
1184.72/1171.27	c cleaning 70013 clauses out of 140030 with flag 18813986/2848599
1224.29/1210.62	c cleaning 70994 clauses out of 142018 with flag 19359521/2920600
1259.76/1245.94	c cleaning 71995 clauses out of 144025 with flag 19919920/2993601
1286.42/1272.48	c cleaning 72995 clauses out of 146028 with flag 20429989/3067599
1316.85/1302.74	c cleaning 74013 clauses out of 148032 with flag 20910998/3142598
1347.01/1332.59	c cleaning 74975 clauses out of 150022 with flag 21398114/3218601
1381.27/1366.64	c cleaning 75996 clauses out of 152048 with flag 21900171/3295602
1455.45/1440.73	c cleaning 77023 clauses out of 154048 with flag 22521539/3373598
1488.79/1473.91	c cleaning 77993 clauses out of 156025 with flag 23015870/3452598
1524.49/1509.39	c cleaning 79005 clauses out of 158035 with flag 23503388/3532601
1561.63/1546.32	c cleaning 80005 clauses out of 160029 with flag 24047226/3613600
1599.04/1583.66	c cleaning 81007 clauses out of 162022 with flag 24582560/3695598
1638.26/1622.50	c cleaning 81989 clauses out of 164015 with flag 25090736/3778598
1675.72/1659.84	c cleaning 82998 clauses out of 166027 with flag 25624775/3862599
1716.63/1700.67	c cleaning 83999 clauses out of 168029 with flag 26226407/3947599
1758.67/1742.29	c cleaning 85008 clauses out of 170029 with flag 26784039/4033598
1798.84/1782.29	c cleaning 85999 clauses out of 172022 with flag 27349998/4120599
1844.80/1827.07	c cleaning 86979 clauses out of 174024 with flag 27975064/4208600
1887.25/1869.18	c cleaning 88002 clauses out of 176043 with flag 28540695/4297598
1932.77/1914.69	c cleaning 89008 clauses out of 178042 with flag 29097617/4387599
1972.44/1954.27	c cleaning 89998 clauses out of 180037 with flag 29697605/4478602
2015.71/1997.46	c cleaning 90994 clauses out of 182036 with flag 30282627/4570599
2061.87/2043.53	c cleaning 92009 clauses out of 184042 with flag 30868161/4663599
2104.22/2085.82	c cleaning 92996 clauses out of 186032 with flag 31473191/4757598
2151.14/2132.79	c cleaning 94008 clauses out of 188037 with flag 32071624/4852599
2196.86/2178.42	c cleaning 94999 clauses out of 190030 with flag 32691692/4948600
2245.90/2227.09	c cleaning 95995 clauses out of 192031 with flag 33299424/5045600
2293.04/2273.99	c cleaning 97013 clauses out of 194036 with flag 33933941/5143600
2341.18/2321.83	c cleaning 98001 clauses out of 196022 with flag 34581131/5242599
2391.18/2371.64	c cleaning 98989 clauses out of 198020 with flag 35233768/5342598
2440.16/2420.38	c cleaning 99998 clauses out of 200031 with flag 35911342/5443598
2489.31/2469.36	c cleaning 101014 clauses out of 202035 with flag 36573910/5545600
2544.20/2524.13	c cleaning 101991 clauses out of 204021 with flag 37244520/5648600
2598.05/2577.96	c cleaning 103006 clauses out of 206028 with flag 37902347/5752598
2650.42/2629.92	c cleaning 104001 clauses out of 208023 with flag 38576614/5857599
2706.53/2685.84	c cleaning 104997 clauses out of 210021 with flag 39323453/5963598
2759.11/2738.21	c cleaning 106000 clauses out of 212025 with flag 40015456/6070599
2814.19/2793.23	c cleaning 106997 clauses out of 214024 with flag 40725865/6178598
2869.32/2847.99	c cleaning 108003 clauses out of 216027 with flag 41435782/6287598
2920.88/2899.23	c cleaning 109004 clauses out of 218027 with flag 42216500/6397601
2981.58/2959.74	c cleaning 109997 clauses out of 220020 with flag 42938573/6508598
3057.26/3034.91	c cleaning 111002 clauses out of 222023 with flag 43724699/6620598
3114.33/3091.74	c cleaning 112003 clauses out of 224025 with flag 44485607/6733602
3175.63/3152.98	c cleaning 112989 clauses out of 226018 with flag 45235954/6847598
3234.59/3211.42	c cleaning 114006 clauses out of 228032 with flag 46018391/6962601
3299.37/3274.85	c cleaning 114996 clauses out of 230024 with flag 46761558/7078599
3368.14/3343.52	c cleaning 115992 clauses out of 232028 with flag 47515340/7195599
3432.06/3407.32	c cleaning 116992 clauses out of 234038 with flag 48294333/7313601
3493.11/3468.24	c cleaning 118002 clauses out of 236044 with flag 49095505/7432599
3556.69/3531.79	c cleaning 119000 clauses out of 238042 with flag 49925112/7552599
3600.06/3574.93	c starts		: 28975
3600.06/3574.94	c conflicts		: 7638275
3600.06/3574.94	c decisions		: 54847003
3600.06/3574.94	c propagations		: 311387349
3600.06/3574.94	c inspects		: 20417297182
3600.06/3574.94	c shortcuts		: 0
3600.06/3574.94	c learnt literals	: 0
3600.06/3574.94	c learnt binary clauses	: 0
3600.06/3574.94	c learnt ternary clauses	: 0
3600.06/3574.94	c learnt constraints	: 7638275
3600.06/3574.94	c ignored constraints	: 0
3600.06/3574.94	c root simplifications	: 0
3600.06/3574.94	c removed literals (reason simplification)	: 37104992
3600.06/3574.94	c reason swapping (by a shorter reason)	: 0
3600.06/3574.94	c Calls to reduceDB	: 150
3600.06/3574.94	c Number of update (reduction) of LBD	: 4028738
3600.06/3574.94	c Imported unit clauses	: 0
3600.06/3574.94	c No decision after first conflict	: false
3600.06/3574.94	c number of reductions to clauses (during analyze)	: 0
3600.06/3574.94	c number of learned constraints concerned by reduction	: 0
3600.06/3574.95	c number of learning phase by resolution	: 0
3600.06/3574.95	c number of learning phase by cutting planes	: 0
3600.06/3574.95	c number of rounding to 1 operations	: 0
3600.06/3574.95	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3574.95	c number of reductions of the coefficients by power 2 	: 0
3600.06/3574.95	c number of right shift for reduction by power 2 	: 0
3600.06/3574.95	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3574.95	c number of ending skipping 	: 0
3600.06/3574.95	c number of internal skipping 	: 0
3600.06/3574.95	c number of derivation steps 	: 0
3600.06/3574.95	c number of skipped derivation steps 	: 0
3600.06/3574.95	c number of remaining unassigned 	: 0
3600.06/3574.95	c number of remaining assigned 	: 0
3600.06/3574.95	c number of falsified literals weakened from reason	: 0
3600.06/3574.95	c number of falsified literals weakened from conflict	: 0
3600.06/3574.95	c time for arithmetic operations	: 0
3600.06/3574.95	c minimum degree of deleted constraints	: null
3600.06/3574.95	c maximum degree of deleted constraints	: null
3600.06/3574.95	c number of deleted constraints	: 0
3600.06/3574.96	c speed (assignments/second)	: 87107.64273337768
3600.06/3574.96	c non guided choices	: 1819594
3600.27/3575.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 204718
3600.27/3575.03	s SATISFIABLE
3600.27/3575.03	c Found 16 solution(s)
3600.27/3575.04	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 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 x3758 -x3759 -x3760 -x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 
3600.27/3575.06	c objective function=5
3600.27/3575.06	c Total wall clock time (in seconds): 3574.936

Verifier Data 

OK	5

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (53008 MiB free)
  memory of node 1: 64465 MiB (52914 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525136-1751620513/watcher-4525136-1751620513 -o /tmp/evaluation-result-4525136-1751620513/solver-4525136-1751620513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86637 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525136-1751620513.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=88721, runsolver pid=88718

[startup+0.100058 s]*
/proc/loadavg: 4.19 4.14 4.10 5/339 88739
/proc/meminfo: memFree=108438952/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=18930384 memory=59696 CPUtime=0.12 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 6510 0 0 0 11 1 0 0 20 0 18 0 77729910 19384713216 14924 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4732596 14924 5376 1 0 547624 0
[pid=88721/tid=88723] ppid=88718 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 5093 0 0 0 7 1 0 0 20 0 18 0 77729911 19384713216 14924 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77729913 19384713216 14924 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=18930384 memory=61784027576291 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77729913 19384713216 14924 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59696 KiB

[startup+0.20615 s]*
/proc/loadavg: 4.19 4.14 4.10 6/339 88739
/proc/meminfo: memFree=108428744/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=18930384 memory=69784 CPUtime=0.33 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 6914 0 0 0 31 2 0 0 20 0 18 0 77729910 19384713216 17446 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4732596 17446 5472 1 0 547958 0
[pid=88721/tid=88723] ppid=88718 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 5353 0 0 0 16 1 0 0 20 0 18 0 77729911 19384713216 17446 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=18930384 memory=13937 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77729913 19384713216 17446 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77729913 19384713216 17446 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69784 KiB

[startup+0.305784 s]*
/proc/loadavg: 4.19 4.14 4.10 7/340 88740
/proc/meminfo: memFree=108424964/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=18996948 memory=73668 CPUtime=0.52 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 8622 0 0 0 50 2 0 0 20 0 19 0 77729910 19452874752 18417 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4749237 18417 5472 1 0 549172 0
[pid=88721/tid=88723] ppid=88718 vsize=18996948 memory=-6000919472773489767 CPUtime=0.26 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 5379 0 0 0 25 1 0 0 20 0 19 0 77729911 19452874752 18417 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77729913 19452874752 18417 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77729913 19452874752 18417 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77729931 19452874752 18417 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73668 KiB

[startup+0.700237 s]
/proc/loadavg: 4.19 4.14 4.10 6/340 88740
/proc/meminfo: memFree=108416332/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=18996948 memory=89724 CPUtime=1.28 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 10433 0 0 0 125 3 0 0 20 0 19 0 77729910 19452874752 22431 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4749237 22431 5472 1 0 550569 0
[pid=88721/tid=88723] ppid=88718 vsize=18996948 memory=18560 CPUtime=0.64 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 5405 0 0 0 63 1 0 0 20 0 19 0 77729911 19452874752 22431 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77729913 19452874752 22431 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77729913 19452874752 22431 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=18996948 memory=4496 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77729931 19452874752 22431 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89724 KiB

[startup+1.50021 s]
/proc/loadavg: 4.19 4.14 4.10 5/340 88740
/proc/meminfo: memFree=108404044/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=18996948 memory=106108 CPUtime=2.13 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 10791 0 0 0 210 3 0 0 20 0 19 0 77729910 19452874752 26527 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4749237 26527 5472 1 0 550570 0
[pid=88721/tid=88723] ppid=88718 vsize=18996948 memory=11136 CPUtime=1.43 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 5541 0 0 0 141 2 0 0 20 0 19 0 77729911 19452874752 26527 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77729913 19452874752 26527 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77729913 19452874752 26527 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=18996948 memory=4496 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77729931 19452874752 26527 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106108 KiB

[startup+3.10571 s]
/proc/loadavg: 4.17 4.13 4.10 5/340 88740
/proc/meminfo: memFree=108362272/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=18996948 memory=135724 CPUtime=3.91 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 15635 0 0 0 386 5 0 0 20 0 19 0 77729910 19452874752 33931 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4749237 33931 5472 1 0 550773 0
[pid=88721/tid=88723] ppid=88718 vsize=18996948 memory=11136 CPUtime=3.03 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 6899 0 0 0 300 3 0 0 20 0 19 0 77729911 19452874752 33931 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=18996948 memory=-6000919472773489767 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77729913 19452874752 33931 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77729913 19452874752 33931 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77729931 19452874752 33931 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 135724 KiB

[startup+6.3002 s]
/proc/loadavg: 4.17 4.13 4.10 5/342 88743
/proc/meminfo: memFree=108264364/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=185352 CPUtime=7.15 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 18928 0 0 0 709 6 0 0 20 0 20 0 77729910 19521036288 46338 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 46338 5536 1 0 551067 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=0 CPUtime=6.2 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 7448 0 0 0 616 4 0 0 20 0 20 0 77729911 19521036288 46338 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 46338 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 46338 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=108284 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 46338 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185352 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/342 88743
/proc/meminfo: memFree=108128024/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=269800 CPUtime=13.69 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 23890 0 0 0 1361 8 0 0 20 0 20 0 77729910 19521036288 67450 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 67450 5536 1 0 551577 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=108284 CPUtime=12.51 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 8354 0 0 0 1247 4 0 0 20 0 20 0 77729911 19521036288 67450 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 67450 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=263492 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 67450 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 67450 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 13.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 269800 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.16 4.10 5/341 88809
/proc/meminfo: memFree=110343660/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=399368 CPUtime=26.78 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 26862 0 0 0 2666 12 0 0 20 0 20 0 77729910 19521036288 99842 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 99842 5568 1 0 551926 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=11136 CPUtime=25.15 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 9251 0 0 0 2511 4 0 0 20 0 20 0 77729911 19521036288 99842 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=263492 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 99842 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=3104 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 99842 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 99842 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 399368 KiB

[startup+51.1057 s]
/proc/loadavg: 4.32 4.18 4.11 5/342 88810
/proc/meminfo: memFree=109549548/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=825828 CPUtime=52.76 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 28258 0 0 0 5256 20 0 0 20 0 20 0 77729910 19521036288 206457 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 206457 5568 1 0 551926 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=793032 CPUtime=50.29 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 9653 0 0 0 5025 4 0 0 20 0 20 0 77729911 19521036288 206457 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=11136 CPUtime=0 cores=5,7

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

/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 2906323 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=11625292 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 2121 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 2906323 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=11625292 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 2906323 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3245.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11625292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.21 4.15 5/339 89136
/proc/meminfo: memFree=91740076/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=12519636 CPUtime=3306.85 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 229951 0 0 0 330338 347 0 0 20 0 20 0 77729910 19521036288 3129909 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 3129909 5568 1 0 4083626 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=12288200 CPUtime=3247.79 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 126286 0 0 0 324713 66 0 0 20 0 20 0 77729911 19521036288 3129909 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=12392648 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3129909 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=12468428 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 2122 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3129909 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=12478672 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 3129909 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3306.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12519636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.15 5/340 89139
/proc/meminfo: memFree=91506244/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=12746988 CPUtime=3366.94 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 234667 0 0 0 336341 353 0 0 20 0 20 0 77729910 19521036288 3186747 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 3186747 5568 1 0 4083640 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=12511440 CPUtime=3307.39 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 129663 0 0 0 330670 69 0 0 20 0 20 0 77729911 19521036288 3186747 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3186747 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=21692 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 2160 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3186747 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=12746988 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 3186747 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3366.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12746988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/340 89145
/proc/meminfo: memFree=91276792/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=12976440 CPUtime=3427.07 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 240570 0 0 0 342346 361 0 0 20 0 20 0 77729910 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 3244110 5568 1 0 4083648 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=16496 CPUtime=3366.93 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 133853 0 0 0 336620 73 0 0 20 0 20 0 77729911 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=12976440 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=12976440 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 2239 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=12976440 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3427.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12976440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/341 89151
/proc/meminfo: memFree=91276444/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=12976440 CPUtime=3487.23 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 246759 0 0 0 348359 364 0 0 20 0 20 0 77729910 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 3244110 5568 1 0 4083648 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=16496 CPUtime=3426.46 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 138369 0 0 0 342572 74 0 0 20 0 20 0 77729911 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=12976440 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=12976440 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 2318 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=-6000919472773489767 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3487.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12976440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/341 89153
/proc/meminfo: memFree=90973296/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=12976440 CPUtime=3547.31 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 252072 0 0 0 354366 365 0 0 20 0 20 0 77729910 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 3244110 5568 1 0 4083648 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=12976440 CPUtime=3486.05 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 142067 0 0 0 348531 74 0 0 20 0 20 0 77729911 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=16496 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=12976440 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 2361 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3547.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12976440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3574.9 s]
/proc/loadavg: 4.20 4.18 4.15 5/341 89156
/proc/meminfo: memFree=90792692/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19063512 memory=12976440 CPUtime=3600.06 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 256386 0 0 0 359639 367 0 0 20 0 20 0 77729910 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4765878 3244110 5568 1 0 4083648 0
[pid=88721/tid=88723] ppid=88718 vsize=19063512 memory=12976440 CPUtime=3538.24 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 145468 0 0 0 353749 75 0 0 20 0 20 0 77729911 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19063512 memory=-6000919472773489767 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19063512 memory=16496 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 2472 0 0 0 0 0 0 0 20 0 20 0 77729913 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88740] ppid=88718 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/88721/task/88740/stat : 88740 (Timer-0) S 88718 88721 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77729931 19521036288 3244110 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12976440 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.71 s, system=3.71744 s

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

[startup+3575 s]*
/proc/loadavg: 4.20 4.18 4.15 6/342 89159
/proc/meminfo: memFree=90792692/131249996 swapFree=33010160/33010684
[pid=88721] ppid=88718 vsize=19263204 memory=12977208 CPUtime=3600.27 cores=5,7
/proc/88721/stat : 88721 (java) S 88718 88721 86624 0 -1 4194304 258746 0 0 0 359659 368 0 0 20 0 21 0 77729910 19725520896 3244302 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
/proc/88721/statm: 4815801 3244302 5568 1 0 4084586 0
[pid=88721/tid=88723] ppid=88718 vsize=19263204 memory=-6000919494147531879 CPUtime=3538.34 cores=5,7
/proc/88721/task/88723/stat : 88723 (java) R 88718 88721 86624 0 -1 4194368 145647 0 0 0 353759 75 0 0 20 0 21 0 77729911 19725520896 3244302 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88732] ppid=88718 vsize=19263204 memory=6900 CPUtime=0 cores=5,7
/proc/88721/task/88732/stat : 88732 (Finalizer) S 88718 88721 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77729913 19725520896 3244302 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=88739] ppid=88718 vsize=19263204 memory=12976440 CPUtime=0 cores=5,7
/proc/88721/task/88739/stat : 88739 (Common-Cleaner) S 88718 88721 86624 0 -1 4194368 2472 0 0 0 0 0 0 0 20 0 21 0 77729913 19725520896 3244302 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
[pid=88721/tid=89159] ppid=88718 vsize=19263204 memory=7024 CPUtime=0.05 cores=5,7
/proc/88721/task/89159/stat : 89159 (Thread-0) R 88718 88721 86624 0 -1 4194368 430 0 0 0 5 0 0 0 20 0 21 0 78087401 19725520896 3244302 18446744073709551615 93863120945152 93863120948848 140730169718208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863120956664 93863120957456 93863124021248 140730169727359 140730169727460 140730169727460 140730169733064 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 12977208 KiB

[startup+3575.11 s]*
/proc/loadavg: 4.20 4.18 4.15 5/323 89159
/proc/meminfo: memFree=103418008/131249996 swapFree=33010160/33010684
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): 3575.11
CPU time (s): 3600.42
CPU user time (s): 3596.71
CPU system time (s): 3.71744
CPU usage (%): 100.708
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 12977208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.71
system time used= 3.71744
maximum resident set size= 12977464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259087
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111702
involuntary context switches= 22551


# summary of solver processes directly reported to runsolver:
#   pid: 88721
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3596.71
#   total CPU system time (s): 3.71744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49191 second user time and 17.0664 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-04 11:15:13
IDJOB=4525136
IDBENCH=143462
IDSOLVER=3380
FILE ID=nodeC032/4525136-1751620513
RUNJOBID= nodeC032-1751616933-86637
SLURM_JOB_ID= 9598926
Free space on /tmp= 429048 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525136-1751620513/watcher-4525136-1751620513 -o /tmp/evaluation-result-4525136-1751620513/solver-4525136-1751620513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86637 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4525136-1751620513.wbo

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

MD5SUM BENCH= 17cf67a4eb1c7fd9d1716e80f9f194fb
RANDOM SEED=1458341241

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        108464372 kB
MemAvailable:   126492780 kB
Buffers:            2728 kB
Cached:         18706028 kB
SwapCached:           20 kB
Active:          3602104 kB
Inactive:       18336532 kB
Active(anon):    3244804 kB
Inactive(anon):     3124 kB
Active(file):     357300 kB
Inactive(file): 18333408 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1816 kB
Writeback:             0 kB
AnonPages:       3232992 kB
Mapped:           124064 kB
Shmem:             18048 kB
KReclaimable:     353876 kB
Slab:             449104 kB
SReclaimable:     353876 kB
SUnreclaim:        95228 kB
KernelStack:        5200 kB
PageTables:         9928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7430776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3057664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429048 MiB
End job on nodeC032 at 2025-07-04 12:14:48