Trace number 4432228

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)225 3600.3 3554.86

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
MD5SUMf4fbd70ee8b80515313bebcddc52f82a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark181
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 476
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432228-1721088793.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.14/0.16	c ... done. Wall clock time 0.041s.
0.14/0.16	c declared #vars     476
0.14/0.16	c #constraints  476
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 476
0.14/0.16	c 476 constraints processed.
0.14/0.17	c objective function length is 476 literals
0.14/0.18	c SATISFIABLE
0.14/0.18	c OPTIMIZING...
0.14/0.18	c Got one! Elapsed wall clock time (in seconds):0.06
0.14/0.18	o 230
0.35/0.24	c Got one! Elapsed wall clock time (in seconds):0.13
0.35/0.24	o 229
1.12/0.66	c cleaning 2631 clauses out of 5274 with flag 10274/5274
1.49/0.87	c cleaning 4312 clauses out of 8643 with flag 22613/11274
1.49/0.88	c Got one! Elapsed wall clock time (in seconds):0.763
1.49/0.88	o 228
1.76/1.06	c cleaning 4773 clauses out of 9562 with flag 10203/16505
2.05/1.27	c cleaning 5389 clauses out of 10789 with flag 22430/22505
2.37/1.56	c cleaning 6192 clauses out of 12399 with flag 36599/29504
2.47/1.63	c Got one! Elapsed wall clock time (in seconds):1.515
2.47/1.63	o 227
2.57/1.73	c cleaning 5676 clauses out of 11375 with flag 6167/34672
2.77/1.94	c cleaning 5844 clauses out of 11700 with flag 18550/40673
3.14/2.26	c cleaning 6420 clauses out of 12856 with flag 32998/47673
3.51/2.58	c cleaning 7215 clauses out of 14435 with flag 49980/55672
3.91/2.97	c cleaning 8102 clauses out of 16220 with flag 69002/64672
4.46/3.42	c cleaning 9050 clauses out of 18118 with flag 89823/74672
4.86/3.85	c cleaning 10026 clauses out of 20069 with flag 112399/85673
5.39/4.37	c cleaning 11014 clauses out of 22043 with flag 137515/97673
5.89/4.85	c Got one! Elapsed wall clock time (in seconds):4.738
5.89/4.85	o 226
6.19/5.19	c cleaning 14324 clauses out of 28674 with flag 10548/115318
6.54/5.49	c cleaning 10166 clauses out of 20350 with flag 22949/121318
6.86/5.76	c cleaning 8586 clauses out of 17183 with flag 37552/128317
7.19/6.06	c cleaning 8291 clauses out of 16598 with flag 54115/136318
7.48/6.38	c cleaning 8646 clauses out of 17306 with flag 72639/145317
7.91/6.79	c cleaning 9324 clauses out of 18661 with flag 93264/155318
8.41/7.21	c cleaning 10161 clauses out of 20336 with flag 115611/166317
8.81/7.68	c cleaning 11079 clauses out of 22176 with flag 140062/178318
9.44/8.25	c cleaning 12037 clauses out of 24097 with flag 166610/191318
10.04/8.81	c cleaning 13015 clauses out of 26060 with flag 195440/205318
10.79/9.50	c cleaning 14015 clauses out of 28045 with flag 226472/220318
11.40/10.19	c cleaning 15007 clauses out of 30029 with flag 259658/236317
12.24/10.99	c cleaning 16003 clauses out of 32023 with flag 294584/253318
13.14/11.88	c cleaning 17002 clauses out of 34020 with flag 331709/271318
14.04/12.75	c cleaning 18000 clauses out of 36017 with flag 371260/290317
15.11/13.74	c cleaning 18997 clauses out of 38018 with flag 412923/310318
16.10/14.73	c cleaning 20000 clauses out of 40020 with flag 456641/331317
17.28/15.81	c cleaning 21000 clauses out of 42021 with flag 501866/353318
18.37/16.89	c cleaning 22000 clauses out of 44021 with flag 549681/376318
19.48/17.96	c cleaning 23002 clauses out of 46021 with flag 599512/400318
20.77/19.15	c cleaning 24000 clauses out of 48019 with flag 651285/425318
21.96/20.37	c cleaning 24999 clauses out of 50018 with flag 705062/451317
23.55/21.83	c cleaning 26007 clauses out of 52020 with flag 760879/478318
24.86/23.18	c cleaning 26994 clauses out of 54012 with flag 819811/506317
26.40/24.66	c cleaning 28000 clauses out of 56018 with flag 880033/535317
28.04/26.23	c cleaning 29002 clauses out of 58019 with flag 942478/565318
29.73/27.96	c cleaning 30002 clauses out of 60017 with flag 1006782/596318
31.78/29.98	c cleaning 31000 clauses out of 62015 with flag 1073741/628318
33.96/32.09	c cleaning 32001 clauses out of 64014 with flag 1142945/661317
35.84/33.95	c cleaning 32999 clauses out of 66013 with flag 1213768/695317
38.00/36.08	c cleaning 33995 clauses out of 68015 with flag 1286612/730318
40.51/38.44	c cleaning 35001 clauses out of 70019 with flag 1362033/766317
42.68/40.60	c cleaning 35999 clauses out of 72018 with flag 1439027/803317
45.01/42.92	c cleaning 37000 clauses out of 74019 with flag 1518340/841317
47.41/45.23	c cleaning 38001 clauses out of 76019 with flag 1599892/880317
49.59/47.45	c cleaning 39002 clauses out of 78019 with flag 1683261/920318
52.03/49.88	c cleaning 39998 clauses out of 80016 with flag 1769113/961317
54.63/52.40	c cleaning 41000 clauses out of 82019 with flag 1857219/1003318
57.05/54.83	c cleaning 41997 clauses out of 84019 with flag 1946783/1046318
59.65/57.49	c cleaning 43000 clauses out of 86021 with flag 2038386/1090317
62.74/60.51	c cleaning 44000 clauses out of 88022 with flag 2132403/1135318
66.14/63.93	c cleaning 45002 clauses out of 90021 with flag 2228855/1181317
69.63/67.42	c cleaning 46002 clauses out of 92020 with flag 2327311/1228318
72.53/70.39	c cleaning 47002 clauses out of 94018 with flag 2428015/1276318
75.92/73.71	c cleaning 47998 clauses out of 96015 with flag 2530220/1325317
79.61/77.43	c cleaning 48997 clauses out of 98017 with flag 2635278/1375317
83.31/81.12	c cleaning 50001 clauses out of 100020 with flag 2742930/1426317
88.81/86.17	c cleaning 51004 clauses out of 102020 with flag 2853304/1478318
94.81/91.22	c cleaning 52000 clauses out of 104016 with flag 2963856/1531318
98.77/95.12	c cleaning 52999 clauses out of 106016 with flag 3076913/1585318
103.16/99.44	c cleaning 53999 clauses out of 108016 with flag 3192571/1640317
107.26/103.50	c cleaning 54997 clauses out of 110018 with flag 3309950/1696318
111.43/107.61	c cleaning 56003 clauses out of 112021 with flag 3429587/1753318
115.61/111.76	c cleaning 56994 clauses out of 114017 with flag 3552907/1811317
119.92/115.98	c cleaning 58002 clauses out of 116024 with flag 3676651/1870318
123.61/119.61	c cleaning 59000 clauses out of 118021 with flag 3802406/1930317
127.38/123.39	c cleaning 60001 clauses out of 120021 with flag 3929801/1991317
131.57/127.53	c cleaning 60998 clauses out of 122021 with flag 4059370/2053318
135.64/131.51	c cleaning 62000 clauses out of 124022 with flag 4191502/2116317
139.43/135.36	c cleaning 62997 clauses out of 126022 with flag 4324739/2180317
143.90/139.75	c cleaning 64001 clauses out of 128026 with flag 4459752/2245318
148.74/144.49	c cleaning 64998 clauses out of 130024 with flag 4598037/2311317
152.83/148.58	c cleaning 66003 clauses out of 132026 with flag 4737529/2378317
156.86/152.42	c cleaning 67003 clauses out of 134023 with flag 4878792/2446317
160.46/156.05	c cleaning 68001 clauses out of 136020 with flag 5019922/2515317
164.65/160.11	c cleaning 69001 clauses out of 138020 with flag 5164498/2585318
168.65/164.19	c cleaning 69995 clauses out of 140018 with flag 5310544/2656317
173.23/168.61	c cleaning 71000 clauses out of 142025 with flag 5461412/2728319
178.86/173.32	c cleaning 72002 clauses out of 144025 with flag 5612666/2801319
183.12/177.63	c cleaning 73001 clauses out of 146023 with flag 5766605/2875319
187.34/181.82	c cleaning 74000 clauses out of 148021 with flag 5922687/2950318
191.61/186.18	c cleaning 74997 clauses out of 150020 with flag 6080269/3026317
197.04/191.45	c cleaning 76001 clauses out of 152023 with flag 6240234/3103317
202.74/197.16	c cleaning 77002 clauses out of 154022 with flag 6402794/3181317
210.40/204.74	c cleaning 78002 clauses out of 156022 with flag 6570938/3260319
216.89/211.25	c cleaning 79002 clauses out of 158018 with flag 6738986/3340317
223.59/217.87	c cleaning 80001 clauses out of 160018 with flag 6909090/3421319
229.98/224.24	c cleaning 80997 clauses out of 162015 with flag 7081246/3503317
236.61/230.77	c cleaning 82002 clauses out of 164019 with flag 7256279/3586318
242.45/236.62	c cleaning 82994 clauses out of 166016 with flag 7431104/3670317
249.40/243.55	c cleaning 84000 clauses out of 168022 with flag 7610255/3755317
257.09/251.21	c cleaning 85007 clauses out of 170023 with flag 7790605/3841318
265.06/259.17	c cleaning 86000 clauses out of 172015 with flag 7973810/3928317
273.04/267.14	c cleaning 86998 clauses out of 174015 with flag 8158509/4016317
281.66/275.55	c cleaning 87998 clauses out of 176017 with flag 8344660/4105317
290.00/283.78	c cleaning 88997 clauses out of 178020 with flag 8533045/4195318
297.15/290.76	c cleaning 89998 clauses out of 180022 with flag 8724335/4286317
307.42/300.10	c cleaning 91004 clauses out of 182024 with flag 8925732/4378317
318.18/310.62	c cleaning 92001 clauses out of 184021 with flag 9120882/4471318
328.01/320.38	c cleaning 92999 clauses out of 186020 with flag 9318105/4565318
339.39/331.64	c cleaning 94003 clauses out of 188021 with flag 9518605/4660318
351.02/343.10	c cleaning 94997 clauses out of 190018 with flag 9720445/4756318
361.47/353.43	c cleaning 95997 clauses out of 192020 with flag 9924536/4853317
371.12/362.99	c cleaning 97003 clauses out of 194024 with flag 10131627/4951318
380.07/371.72	c cleaning 97997 clauses out of 196021 with flag 10340286/5050318
389.29/380.75	c cleaning 98999 clauses out of 198023 with flag 10551789/5150317
397.58/388.80	c cleaning 100003 clauses out of 200026 with flag 10764168/5251319
406.02/397.13	c cleaning 101002 clauses out of 202021 with flag 10978922/5353317
414.51/405.54	c cleaning 101998 clauses out of 204020 with flag 11194829/5456318
422.65/413.62	c cleaning 102995 clauses out of 206021 with flag 11410967/5560317
431.44/422.35	c cleaning 104004 clauses out of 208027 with flag 11629692/5665318
444.09/433.91	c cleaning 105003 clauses out of 210023 with flag 11851134/5771318
453.35/443.19	c cleaning 105998 clauses out of 212020 with flag 12075385/5878318
463.11/452.82	c cleaning 106996 clauses out of 214021 with flag 12299914/5986317
472.43/462.01	c cleaning 108003 clauses out of 216026 with flag 12527458/6095318
482.27/471.80	c cleaning 109000 clauses out of 218022 with flag 12755898/6205317
491.02/480.56	c cleaning 109997 clauses out of 220023 with flag 12987472/6316318
496.09/485.43	c Got one! Elapsed wall clock time (in seconds):485.321
496.09/485.44	o 225
498.90/488.21	c cleaning 97042 clauses out of 194105 with flag 10782/6400397
500.10/489.41	c cleaning 51525 clauses out of 103063 with flag 23166/6406397
500.60/489.93	c cleaning 29262 clauses out of 58538 with flag 37636/6413397
501.00/490.32	c cleaning 18626 clauses out of 37275 with flag 54073/6421396
501.30/490.66	c cleaning 13815 clauses out of 27649 with flag 72615/6430396
501.70/491.05	c cleaning 11906 clauses out of 23834 with flag 93283/6440396
502.09/491.47	c cleaning 11454 clauses out of 22928 with flag 115997/6451396
502.59/491.95	c cleaning 11727 clauses out of 23475 with flag 140885/6463397
503.20/492.54	c cleaning 12362 clauses out of 24748 with flag 168690/6476397
503.81/493.13	c cleaning 13185 clauses out of 26385 with flag 197786/6490396
504.40/493.74	c cleaning 14090 clauses out of 28201 with flag 228917/6505397
505.10/494.40	c cleaning 15044 clauses out of 30110 with flag 262052/6521396
505.80/495.16	c cleaning 16022 clauses out of 32066 with flag 297463/6538396
506.60/495.98	c cleaning 17010 clauses out of 34044 with flag 334788/6556396
507.49/496.83	c cleaning 18004 clauses out of 36034 with flag 373984/6575396
508.39/497.77	c cleaning 19002 clauses out of 38031 with flag 415176/6595397
509.29/498.69	c cleaning 20001 clauses out of 40028 with flag 458990/6616396
510.41/499.70	c cleaning 21000 clauses out of 42028 with flag 505464/6638397
511.41/500.71	c cleaning 22003 clauses out of 44028 with flag 553770/6661397
512.41/501.78	c cleaning 22999 clauses out of 46025 with flag 604309/6685397
513.51/502.87	c cleaning 24000 clauses out of 48026 with flag 656910/6710397
514.81/504.11	c cleaning 25001 clauses out of 50025 with flag 711738/6736396
516.00/505.36	c cleaning 26001 clauses out of 52025 with flag 768854/6763397
517.96/507.23	c cleaning 27001 clauses out of 54023 with flag 832584/6791396
519.76/509.00	c cleaning 27999 clauses out of 56022 with flag 896872/6820396
521.55/510.88	c cleaning 29001 clauses out of 58023 with flag 959363/6850396
523.55/512.89	c cleaning 30000 clauses out of 60023 with flag 1023978/6881397
525.54/514.85	c cleaning 30998 clauses out of 62022 with flag 1090824/6913396
527.50/516.73	c cleaning 32006 clauses out of 64025 with flag 1159940/6946397
529.20/518.44	c cleaning 32996 clauses out of 66018 with flag 1230989/6980396
531.20/520.50	c cleaning 34005 clauses out of 68023 with flag 1304077/7015397
533.09/522.36	c cleaning 35000 clauses out of 70018 with flag 1378820/7051397
535.19/524.41	c cleaning 35999 clauses out of 72017 with flag 1455964/7088396
537.47/526.62	c cleaning 36995 clauses out of 74019 with flag 1535456/7126397
539.56/528.73	c cleaning 38003 clauses out of 76024 with flag 1617912/7165397
541.56/530.74	c cleaning 38998 clauses out of 78021 with flag 1701934/7205397
544.06/533.28	c cleaning 40004 clauses out of 80023 with flag 1787599/7246397
546.55/535.71	c cleaning 40999 clauses out of 82018 with flag 1875244/7288396
549.31/538.47	c cleaning 42002 clauses out of 84019 with flag 1964892/7331396
552.01/541.16	c cleaning 42996 clauses out of 86018 with flag 2056800/7375397
554.80/543.94	c cleaning 44001 clauses out of 88022 with flag 2150797/7420397
557.80/546.97	c cleaning 44998 clauses out of 90020 with flag 2247168/7466396
560.50/549.61	c cleaning 46000 clauses out of 92022 with flag 2345447/7513396
563.50/552.52	c cleaning 47001 clauses out of 94022 with flag 2445843/7561396
566.50/555.59	c cleaning 48001 clauses out of 96021 with flag 2549246/7610396
569.59/558.67	c cleaning 48999 clauses out of 98020 with flag 2654265/7660396
572.59/561.62	c cleaning 49995 clauses out of 100022 with flag 2761052/7711397
575.98/565.06	c cleaning 51002 clauses out of 102027 with flag 2869624/7763397
579.69/568.60	c cleaning 52002 clauses out of 104025 with flag 2979468/7816397
583.19/572.17	c cleaning 53004 clauses out of 106022 with flag 3091701/7870396
587.08/576.08	c cleaning 53998 clauses out of 108018 with flag 3206211/7925396
590.77/579.70	c cleaning 54999 clauses out of 110020 with flag 3322701/7981396
594.56/583.52	c cleaning 55999 clauses out of 112022 with flag 3441961/8038397
598.55/587.43	c cleaning 57002 clauses out of 114023 with flag 3563023/8096397
602.74/591.68	c cleaning 57999 clauses out of 116020 with flag 3686537/8155396
606.83/595.72	c cleaning 58996 clauses out of 118022 with flag 3812594/8215397
611.14/600.06	c cleaning 60005 clauses out of 120027 with flag 3939732/8276398
616.09/604.83	c cleaning 61001 clauses out of 122021 with flag 4069534/8338397
620.48/609.23	c cleaning 61997 clauses out of 124019 with flag 4200998/8401396
624.67/613.48	c cleaning 63000 clauses out of 126023 with flag 4334354/8465397
629.06/617.86	c cleaning 63999 clauses out of 128022 with flag 4470553/8530396
634.49/623.13	c cleaning 64998 clauses out of 130023 with flag 4609435/8596396
639.17/627.86	c cleaning 66003 clauses out of 132026 with flag 4751413/8663397
644.26/632.99	c cleaning 66999 clauses out of 134022 with flag 4895397/8731396
649.50/638.01	c cleaning 68003 clauses out of 136024 with flag 5041378/8800397
654.26/642.88	c cleaning 68997 clauses out of 138020 with flag 5188767/8870396
659.22/647.87	c cleaning 70004 clauses out of 140023 with flag 5336670/8941396
664.27/652.91	c cleaning 71002 clauses out of 142020 with flag 5487537/9013397
669.60/658.25	c cleaning 71998 clauses out of 144017 with flag 5641394/9086396
674.59/663.22	c cleaning 72997 clauses out of 146019 with flag 5798299/9160396
679.87/668.59	c cleaning 74001 clauses out of 148023 with flag 5957572/9235397
685.26/673.99	c cleaning 75002 clauses out of 150021 with flag 6119233/9311396
690.15/678.89	c cleaning 75999 clauses out of 152020 with flag 6282438/9388397
695.84/684.43	c cleaning 76999 clauses out of 154020 with flag 6446890/9466396
700.73/689.31	c cleaning 78002 clauses out of 156022 with flag 6613466/9545397
705.92/694.58	c cleaning 78996 clauses out of 158019 with flag 6781964/9625396
711.91/700.33	c cleaning 80001 clauses out of 160023 with flag 6953027/9706396
717.70/706.12	c cleaning 81001 clauses out of 162023 with flag 7126279/9788397
725.08/713.56	c cleaning 82002 clauses out of 164021 with flag 7304289/9871396
732.40/720.70	c cleaning 82999 clauses out of 166019 with flag 7482189/9955396
739.24/727.60	c cleaning 84002 clauses out of 168021 with flag 7662003/10040397
746.08/734.27	c cleaning 85000 clauses out of 170019 with flag 7843302/10126397
752.36/740.58	c cleaning 85999 clauses out of 172018 with flag 8027195/10213396
761.32/749.49	c cleaning 87000 clauses out of 174020 with flag 8210570/10301397
769.10/757.21	c cleaning 88002 clauses out of 176020 with flag 8395487/10390397
777.90/765.91	c cleaning 88995 clauses out of 178017 with flag 8582744/10480396
785.09/773.19	c cleaning 90001 clauses out of 180022 with flag 8771993/10571396
793.75/781.69	c cleaning 91002 clauses out of 182021 with flag 8962781/10663396
801.93/789.82	c cleaning 92001 clauses out of 184020 with flag 9155682/10756397
809.65/797.44	c cleaning 92997 clauses out of 186018 with flag 9352851/10850396
817.84/805.69	c cleaning 94003 clauses out of 188022 with flag 9553237/10945397
825.09/812.74	c cleaning 94999 clauses out of 190018 with flag 9757118/11041396
834.67/822.36	c cleaning 96001 clauses out of 192019 with flag 9964353/11138396
843.65/831.25	c cleaning 97003 clauses out of 194019 with flag 10172991/11236397
853.23/840.86	c cleaning 97997 clauses out of 196016 with flag 10380703/11335397
862.53/850.03	c cleaning 99000 clauses out of 198019 with flag 10589380/11435397
870.61/858.14	c cleaning 99996 clauses out of 200018 with flag 10801251/11536396
881.13/867.94	c cleaning 101001 clauses out of 202023 with flag 11016150/11638397
889.72/876.54	c cleaning 101999 clauses out of 204022 with flag 11232951/11741397
898.73/885.43	c cleaning 102995 clauses out of 206023 with flag 11450319/11845397
906.81/893.57	c cleaning 104003 clauses out of 208027 with flag 11671736/11950396
916.03/902.70	c cleaning 105003 clauses out of 210024 with flag 11894745/12056396
925.03/911.82	c cleaning 106002 clauses out of 212022 with flag 12121194/12163397
933.22/919.93	c cleaning 107002 clauses out of 214019 with flag 12351930/12271396
941.09/927.89	c cleaning 108002 clauses out of 216017 with flag 12580579/12380396
950.27/937.00	c cleaning 108998 clauses out of 218016 with flag 12810538/12490397
960.45/947.11	c cleaning 109998 clauses out of 220017 with flag 13044062/12601396
970.60/957.19	c cleaning 110999 clauses out of 222019 with flag 13280711/12713396
980.87/967.47	c cleaning 111999 clauses out of 224020 with flag 13520910/12826396
992.23/978.68	c cleaning 112998 clauses out of 226021 with flag 13765155/12940396
1003.22/989.52	c cleaning 114002 clauses out of 228025 with flag 14005448/13055398
1013.30/999.61	c cleaning 114999 clauses out of 230021 with flag 14248237/13171396
1025.20/1011.49	c cleaning 115997 clauses out of 232022 with flag 14494349/13288396
1037.78/1024.05	c cleaning 117001 clauses out of 234025 with flag 14741525/13406396
1050.15/1036.27	c cleaning 117997 clauses out of 236024 with flag 14989484/13525396
1063.94/1049.99	c cleaning 119000 clauses out of 238027 with flag 15239269/13645396
1076.18/1062.07	c cleaning 120005 clauses out of 240027 with flag 15491937/13766396
1088.84/1074.52	c cleaning 121004 clauses out of 242023 with flag 15746687/13888397
1102.90/1088.55	c cleaning 121997 clauses out of 244018 with flag 16002544/14011396
1115.34/1100.89	c cleaning 123000 clauses out of 246021 with flag 16261701/14135396
1126.71/1112.23	c cleaning 123994 clauses out of 248021 with flag 16528176/14260396
1138.38/1123.96	c cleaning 125002 clauses out of 250027 with flag 16794758/14386396
1152.17/1137.73	c cleaning 126004 clauses out of 252026 with flag 17062356/14513397
1163.75/1149.07	c cleaning 127000 clauses out of 254021 with flag 17333109/14641396
1174.47/1159.61	c cleaning 128002 clauses out of 256022 with flag 17606633/14770397
1185.95/1171.07	c cleaning 128997 clauses out of 258020 with flag 17880150/14900397
1198.41/1183.43	c cleaning 129997 clauses out of 260023 with flag 18158132/15031397
1212.24/1197.23	c cleaning 131004 clauses out of 262025 with flag 18437224/15163396
1224.86/1209.79	c cleaning 132003 clauses out of 264022 with flag 18719360/15296397
1238.37/1222.05	c cleaning 133001 clauses out of 266018 with flag 19002496/15430396
1250.53/1234.11	c cleaning 133996 clauses out of 268017 with flag 19289840/15565396
1261.86/1245.49	c cleaning 135000 clauses out of 270022 with flag 19582211/15701397
1273.26/1256.86	c cleaning 135999 clauses out of 272021 with flag 19871750/15838396
1286.46/1270.07	c cleaning 137001 clauses out of 274022 with flag 20165290/15976396
1300.82/1284.21	c cleaning 138001 clauses out of 276021 with flag 20457191/16115396
1314.46/1297.84	c cleaning 138996 clauses out of 278020 with flag 20750684/16255396
1329.85/1313.18	c cleaning 140001 clauses out of 280024 with flag 21049539/16396396
1345.86/1329.01	c cleaning 141002 clauses out of 282023 with flag 21350180/16538396
1362.47/1345.43	c cleaning 141997 clauses out of 284022 with flag 21652157/16681397
1381.08/1363.93	c cleaning 143000 clauses out of 286024 with flag 21956563/16825396
1397.20/1379.95	c cleaning 144003 clauses out of 288025 with flag 22259227/16970397
1413.21/1395.86	c cleaning 144996 clauses out of 290021 with flag 22566008/17116396
1429.45/1412.05	c cleaning 146004 clauses out of 292025 with flag 22877199/17263396
1444.31/1426.84	c cleaning 147004 clauses out of 294022 with flag 23191987/17411397
1458.57/1440.98	c cleaning 147995 clauses out of 296018 with flag 23511690/17560397
1477.88/1460.03	c cleaning 149001 clauses out of 298023 with flag 23833211/17710397
1495.42/1477.46	c cleaning 149998 clauses out of 300022 with flag 24155926/17861397
1511.75/1493.73	c cleaning 151001 clauses out of 302023 with flag 24478233/18013396
1528.54/1510.53	c cleaning 151998 clauses out of 304023 with flag 24801944/18166397
1545.86/1527.62	c cleaning 153000 clauses out of 306024 with flag 25129731/18320396
1564.02/1545.54	c cleaning 154001 clauses out of 308025 with flag 25459934/18475397
1580.12/1561.37	c cleaning 154997 clauses out of 310023 with flag 25793076/18631396
1597.98/1577.68	c cleaning 156002 clauses out of 312026 with flag 26127047/18788396
1616.51/1596.06	c cleaning 157001 clauses out of 314024 with flag 26461278/18946396
1634.64/1613.91	c cleaning 158000 clauses out of 316023 with flag 26798786/19105396
1653.72/1632.79	c cleaning 158999 clauses out of 318023 with flag 27140090/19265396
1671.34/1650.06	c cleaning 159999 clauses out of 320024 with flag 27481376/19426396
1690.24/1668.61	c cleaning 161003 clauses out of 322026 with flag 27822932/19588397
1709.53/1687.60	c cleaning 162003 clauses out of 324023 with flag 28165962/19751397
1726.39/1704.29	c cleaning 162999 clauses out of 326019 with flag 28511577/19915396
1745.77/1723.42	c cleaning 164000 clauses out of 328020 with flag 28858842/20080396
1765.15/1742.56	c cleaning 164999 clauses out of 330020 with flag 29205518/20246396
1786.14/1763.26	c cleaning 165995 clauses out of 332022 with flag 29554577/20413397
1808.91/1784.55	c cleaning 167003 clauses out of 334027 with flag 29905278/20581397
1830.18/1805.55	c cleaning 167996 clauses out of 336023 with flag 30259070/20750396
1852.42/1827.68	c cleaning 169002 clauses out of 338028 with flag 30614514/20920397
1872.22/1847.10	c cleaning 170001 clauses out of 340025 with flag 30974563/21091396
1893.11/1868.10	c cleaning 171000 clauses out of 342025 with flag 31337811/21263397
1916.14/1890.97	c cleaning 171999 clauses out of 344024 with flag 31701723/21436396
1934.46/1909.24	c cleaning 172998 clauses out of 346025 with flag 32069919/21610396
1951.80/1926.44	c cleaning 174001 clauses out of 348028 with flag 32437495/21785397
1972.17/1946.82	c cleaning 175008 clauses out of 350027 with flag 32808916/21961397
1988.90/1963.31	c cleaning 175997 clauses out of 352018 with flag 33181760/22138396
2010.91/1985.04	c cleaning 177001 clauses out of 354021 with flag 33559111/22316396
2031.49/2005.46	c cleaning 177998 clauses out of 356021 with flag 33938852/22495397
2053.49/2027.17	c cleaning 179003 clauses out of 358022 with flag 34316611/22675396
2074.93/2048.49	c cleaning 180002 clauses out of 360020 with flag 34698722/22856397
2099.41/2072.68	c cleaning 180994 clauses out of 362017 with flag 35077461/23038396
2120.97/2093.84	c cleaning 182003 clauses out of 364023 with flag 35462642/23221396
2143.47/2116.18	c cleaning 182995 clauses out of 366021 with flag 35853687/23405397
2166.53/2138.96	c cleaning 183999 clauses out of 368025 with flag 36247725/23590396
2183.36/2155.75	c cleaning 185002 clauses out of 370026 with flag 36640198/23776396
2202.91/2175.16	c cleaning 185999 clauses out of 372024 with flag 37033073/23963396
2223.95/2194.63	c cleaning 186999 clauses out of 374025 with flag 37431816/24151396
2246.08/2216.40	c cleaning 188000 clauses out of 376026 with flag 37830628/24340396
2271.25/2241.59	c cleaning 189004 clauses out of 378027 with flag 38229746/24530397
2293.66/2263.81	c cleaning 189997 clauses out of 380023 with flag 38630923/24721397
2317.99/2287.70	c cleaning 191003 clauses out of 382025 with flag 39031755/24913396
2346.57/2316.04	c cleaning 191999 clauses out of 384023 with flag 39433777/25106397
2370.68/2339.93	c cleaning 193002 clauses out of 386023 with flag 39843092/25300396
2392.83/2362.00	c cleaning 194001 clauses out of 388022 with flag 40255638/25495397
2416.68/2385.49	c cleaning 194999 clauses out of 390021 with flag 40669585/25691397
2437.96/2406.58	c cleaning 195999 clauses out of 392021 with flag 41086668/25888396
2465.06/2433.57	c cleaning 197003 clauses out of 394022 with flag 41505054/26086396
2489.93/2457.82	c cleaning 197997 clauses out of 396019 with flag 41926021/26285396
2515.52/2483.22	c cleaning 198998 clauses out of 398022 with flag 42345218/26485396
2541.64/2509.29	c cleaning 200004 clauses out of 400026 with flag 42767748/26686398
2568.28/2535.60	c cleaning 201001 clauses out of 402021 with flag 43192004/26888397
2595.36/2562.53	c cleaning 202000 clauses out of 404019 with flag 43615549/27091396
2619.95/2587.00	c cleaning 202997 clauses out of 406019 with flag 44044287/27295396
2642.88/2609.42	c cleaning 204002 clauses out of 408023 with flag 44480295/27500397
2670.36/2636.70	c cleaning 205002 clauses out of 410021 with flag 44919091/27706397
2699.84/2665.50	c cleaning 205998 clauses out of 412018 with flag 45356934/27913396
2724.16/2689.69	c cleaning 206999 clauses out of 414020 with flag 45798132/28121396
2753.86/2719.23	c cleaning 207999 clauses out of 416021 with flag 46238699/28330396
2782.63/2746.14	c cleaning 209000 clauses out of 418024 with flag 46685332/28540398
2807.24/2770.59	c cleaning 209998 clauses out of 420022 with flag 47130429/28751396
2832.74/2795.64	c cleaning 210998 clauses out of 422025 with flag 47583295/28963397
2857.33/2820.18	c cleaning 212003 clauses out of 424027 with flag 48032085/29176397
2885.78/2848.61	c cleaning 213002 clauses out of 426024 with flag 48481372/29390397
2908.51/2871.13	c cleaning 213995 clauses out of 428022 with flag 48932266/29605397
2938.70/2901.30	c cleaning 214999 clauses out of 430027 with flag 49386586/29821397
2967.43/2929.69	c cleaning 216000 clauses out of 432027 with flag 49841629/30038396
2998.17/2960.16	c cleaning 217006 clauses out of 434029 with flag 50297496/30256398
3029.34/2991.08	c cleaning 218000 clauses out of 436021 with flag 50758250/30475396
3065.81/3027.50	c cleaning 218996 clauses out of 438021 with flag 51218823/30695396
3090.10/3051.78	c cleaning 220001 clauses out of 440025 with flag 51687574/30916396
3120.33/3081.67	c cleaning 220997 clauses out of 442024 with flag 52156861/31138396
3148.20/3109.38	c cleaning 222001 clauses out of 444028 with flag 52627755/31361397
3179.08/3139.81	c cleaning 223002 clauses out of 446028 with flag 53100164/31585398
3204.36/3164.97	c cleaning 224004 clauses out of 448025 with flag 53579746/31810397
3229.48/3189.69	c cleaning 224999 clauses out of 450021 with flag 54059015/32036397
3253.17/3213.24	c cleaning 226003 clauses out of 452022 with flag 54542070/32263397
3276.81/3236.53	c cleaning 227000 clauses out of 454018 with flag 55034483/32491396
3300.07/3259.76	c cleaning 227993 clauses out of 456018 with flag 55526518/32720396
3327.17/3283.93	c cleaning 229003 clauses out of 458025 with flag 56017029/32950396
3354.16/3310.70	c cleaning 229999 clauses out of 460023 with flag 56513842/33181397
3380.35/3336.67	c cleaning 231005 clauses out of 462024 with flag 57003725/33413397
3414.29/3370.67	c cleaning 231998 clauses out of 464018 with flag 57493032/33646396
3441.30/3397.34	c cleaning 233001 clauses out of 466021 with flag 57984168/33880397
3471.29/3426.80	c cleaning 233996 clauses out of 468019 with flag 58485726/34115396
3497.62/3452.89	c cleaning 235001 clauses out of 470023 with flag 58986806/34351396
3525.58/3480.59	c cleaning 235999 clauses out of 472023 with flag 59491182/34588397
3560.47/3515.28	c cleaning 237001 clauses out of 474024 with flag 59996191/34826397
3590.52/3545.27	c cleaning 237998 clauses out of 476022 with flag 60496398/35065396
3600.02/3554.71	c starts		: 7
3600.02/3554.71	c conflicts		: 35189697
3600.02/3554.71	c decisions		: 48083926
3600.02/3554.71	c propagations		: 671502695
3600.02/3554.71	c inspects		: 24606244186
3600.02/3554.71	c shortcuts		: 0
3600.02/3554.71	c learnt literals	: 0
3600.02/3554.71	c learnt binary clauses	: 0
3600.02/3554.71	c learnt ternary clauses	: 0
3600.02/3554.71	c learnt constraints	: 35189697
3600.02/3554.71	c ignored constraints	: 0
3600.02/3554.71	c root simplifications	: 0
3600.02/3554.71	c removed literals (reason simplification)	: 0
3600.02/3554.71	c reason swapping (by a shorter reason)	: 0
3600.02/3554.71	c Calls to reduceDB	: 355
3600.02/3554.71	c Number of update (reduction) of LBD	: 1015962
3600.02/3554.71	c Imported unit clauses	: 0
3600.02/3554.71	c No decision after first conflict	: false
3600.02/3554.71	c number of reductions to clauses (during analyze)	: 0
3600.02/3554.71	c number of learned constraints concerned by reduction	: 0
3600.02/3554.71	c number of learning phase by resolution	: 0
3600.02/3554.71	c number of learning phase by cutting planes	: 0
3600.02/3554.71	c number of rounding to 1 operations	: 0
3600.02/3554.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3554.72	c number of reductions of the coefficients by power 2 	: 0
3600.02/3554.72	c number of right shift for reduction by power 2 	: 0
3600.02/3554.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3554.72	c number of ending skipping 	: 0
3600.02/3554.72	c number of internal skipping 	: 0
3600.02/3554.72	c number of derivation steps 	: 0
3600.02/3554.72	c number of skipped derivation steps 	: 0
3600.02/3554.72	c number of remaining unassigned 	: 0
3600.02/3554.72	c number of remaining assigned 	: 0
3600.02/3554.72	c number of falsified literals weakened from reason	: 0
3600.02/3554.72	c number of falsified literals weakened from conflict	: 0
3600.02/3554.72	c time for arithmetic operations	: 0
3600.02/3554.72	c minimum degree of deleted constraints	: null
3600.02/3554.72	c maximum degree of deleted constraints	: null
3600.02/3554.72	c number of deleted constraints	: 0
3600.02/3554.73	c speed (assignments/second)	: 188913.29435048832
3600.02/3554.73	c non guided choices	: 0
3600.21/3554.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 362325
3600.21/3554.82	s SATISFIABLE
3600.21/3554.82	c Found 6 solution(s)
3600.21/3554.82	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 
3600.21/3554.82	c objective function=225
3600.21/3554.82	c Total wall clock time (in seconds): 3554.704

Verifier Data 

OK	225

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: 63931 MiB (45571 MiB free)
  memory of node 1: 64510 MiB (38854 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432228-1721088793/watcher-4432228-1721088793 -o /tmp/evaluation-result-4432228-1721088793/solver-4432228-1721088793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826325 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432228-1721088793.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.101728 s]*
/proc/loadavg: 4.79 4.91 4.82 5/330 827854
/proc/meminfo: memFree=86410684/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=18975048 memory=62756 CPUtime=0.14 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 7247 0 0 0 12 2 0 0 20 0 18 0 161049011 19430449152 15689 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4743762 15689 5602 1 0 549354 0
[pid=827834/tid=827836] ppid=827831 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 5778 0 0 0 7 1 0 0 20 0 18 0 161049011 19430449152 15689 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161049014 19430449152 15689 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161049014 19430449152 15689 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62756 KiB

[startup+0.213203 s]*
/proc/loadavg: 4.79 4.91 4.82 7/331 827855
/proc/meminfo: memFree=86404040/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19041612 memory=69988 CPUtime=0.35 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 7871 0 0 0 33 2 0 0 20 0 19 0 161049011 19498610688 17497 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4760403 17497 5854 1 0 549950 0
[pid=827834/tid=827836] ppid=827831 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 6031 0 0 0 17 1 0 0 20 0 19 0 161049011 19498610688 17497 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19041612 memory=17963 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161049014 19498610688 17497 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19041612 memory=14697378909259238 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161049014 19498610688 17497 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161049029 19498610688 17497 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69988 KiB

[startup+0.306204 s]*
/proc/loadavg: 4.79 4.91 4.82 7/331 827855
/proc/meminfo: memFree=86396248/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19041612 memory=77676 CPUtime=0.53 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 9973 0 0 0 51 2 0 0 20 0 19 0 161049011 19498610688 19419 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4760403 19419 5854 1 0 550791 0
[pid=827834/tid=827836] ppid=827831 vsize=19041612 memory=-9104697784431649468 CPUtime=0.27 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 6039 0 0 0 26 1 0 0 20 0 19 0 161049011 19498610688 19419 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161049014 19498610688 19419 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161049014 19498610688 19419 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161049029 19498610688 19419 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77676 KiB

[startup+0.707493 s]
/proc/loadavg: 4.79 4.91 4.82 6/331 827855
/proc/meminfo: memFree=86383060/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19041612 memory=107560 CPUtime=1.31 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 13628 0 0 0 128 3 0 0 20 0 19 0 161049011 19498610688 26890 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4760403 26890 5870 1 0 553108 0
[pid=827834/tid=827836] ppid=827831 vsize=19041612 memory=40864 CPUtime=0.66 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 6129 0 0 0 64 2 0 0 20 0 19 0 161049011 19498610688 26890 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19041612 memory=12312 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161049014 19498610688 26890 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19041612 memory=2220 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161049014 19498610688 26890 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19041612 memory=5568 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161049029 19498610688 26890 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107560 KiB

[startup+1.50122 s]
/proc/loadavg: 4.79 4.91 4.82 5/331 827855
/proc/meminfo: memFree=86332892/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=195168 CPUtime=2.37 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 17979 0 0 0 231 6 0 0 20 0 20 0 161049011 19566772224 48792 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 48792 5870 1 0 553567 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=12312 CPUtime=1.4 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 6523 0 0 0 137 3 0 0 20 0 20 0 161049011 19566772224 48792 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 48792 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 48792 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=5568 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 48792 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195168 KiB

[startup+3.1057 s]
/proc/loadavg: 4.72 4.90 4.82 5/332 827856
/proc/meminfo: memFree=86218684/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=254856 CPUtime=4.11 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 19608 0 0 0 404 7 0 0 20 0 20 0 161049011 19566772224 63714 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 63714 5870 1 0 553570 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=0 CPUtime=2.93 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 6905 0 0 0 290 3 0 0 20 0 20 0 161049011 19566772224 63714 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=-9104697784431649468 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 63714 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 63714 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 63714 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 254856 KiB

[startup+6.30121 s]
/proc/loadavg: 4.72 4.90 4.82 5/332 827856
/proc/meminfo: memFree=85976320/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=525312 CPUtime=7.48 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 20651 0 0 0 735 13 0 0 20 0 20 0 161049011 19566772224 131328 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 131328 5878 1 0 768720 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=2220 CPUtime=5.9 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 7094 0 0 0 585 5 0 0 20 0 20 0 161049011 19566772224 131328 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 131328 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 131328 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 131328 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 525312 KiB

[startup+12.7003 s]
/proc/loadavg: 4.69 4.88 4.82 6/332 827857
/proc/meminfo: memFree=85568492/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=921964 CPUtime=14.04 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 23276 0 0 0 1385 19 0 0 20 0 20 0 161049011 19566772224 230491 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 230491 5878 1 0 902410 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=12312 CPUtime=12.02 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 7844 0 0 0 1194 8 0 0 20 0 20 0 161049011 19566772224 230491 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=664580 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 230491 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=40864 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 230491 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 230491 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 14.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 921964 KiB

[startup+25.5003 s]
/proc/loadavg: 4.89 4.92 4.83 6/333 827860
/proc/meminfo: memFree=84686452/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=1746584 CPUtime=27.3 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 24676 0 0 0 2695 35 0 0 20 0 20 0 161049011 19566772224 436646 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 436646 5878 1 0 1029844 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=6943526294502006880 CPUtime=24.29 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 8198 0 0 0 2417 12 0 0 20 0 20 0 161049011 19566772224 436646 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 436646 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=3444 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 436646 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 436646 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 27.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1746584 KiB

[startup+51.1057 s]
/proc/loadavg: 4.71 4.88 4.82 5/333 827933
/proc/meminfo: memFree=98903548/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=2816964 CPUtime=53.34 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 28962 0 0 0 5276 58 0 0 20 0 20 0 161049011 19566772224 704241 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 704241 5878 1 0 1153089 0

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

[startup+3222.3 s]
/proc/loadavg: 4.15 4.21 4.23 5/331 829831
/proc/meminfo: memFree=78819684/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=11627580 CPUtime=3262.33 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 311035 0 0 0 325899 334 0 0 20 0 20 0 161049011 19566772224 2906895 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 2906895 5910 1 0 3137903 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=5564824 CPUtime=3165.38 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 93036 0 0 0 316451 87 0 0 20 0 20 0 161049011 19566772224 2906895 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=11627580 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 2906895 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=11627580 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 1335 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 2906895 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=11627580 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 2906895 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 3262.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11627580 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.22 5/331 829843
/proc/meminfo: memFree=77335704/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=12397300 CPUtime=3325.58 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 336476 0 0 0 332206 352 0 0 20 0 20 0 161049011 19566772224 3099325 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 3099325 5910 1 0 3989383 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=5564824 CPUtime=3223.74 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 102488 0 0 0 322285 89 0 0 20 0 20 0 161049011 19566772224 3099325 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=-9104697784431649468 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3099325 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=11629628 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 1387 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3099325 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=18552 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 3099325 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 3325.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12397300 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.21 6/331 829853
/proc/meminfo: memFree=76539208/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=13191924 CPUtime=3386.23 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 339268 0 0 0 338254 369 0 0 20 0 20 0 161049011 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 3297981 5910 1 0 3989383 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=5564824 CPUtime=3282.45 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 103895 0 0 0 328144 101 0 0 20 0 20 0 161049011 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=13052660 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=13191924 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 1388 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=13191924 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 3386.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13191924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.19 4.21 5/331 829864
/proc/meminfo: memFree=76294320/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=13191924 CPUtime=3446.36 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 340833 0 0 0 344265 371 0 0 20 0 20 0 161049011 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 3297981 5910 1 0 3989383 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=5564824 CPUtime=3341.65 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 104585 0 0 0 334064 101 0 0 20 0 20 0 161049011 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=13191924 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 1389 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=13191924 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 3446.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13191924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.20 5/333 829879
/proc/meminfo: memFree=75936696/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=13191924 CPUtime=3507.11 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 343529 0 0 0 350339 372 0 0 20 0 20 0 161049011 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 3297981 5910 1 0 3989383 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=5564824 CPUtime=3400.65 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 106096 0 0 0 339964 101 0 0 20 0 20 0 161049011 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=40972 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=3272 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 1389 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 3297981 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 3507.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13191924 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.20 5/335 829894
/proc/meminfo: memFree=75164608/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=13191972 CPUtime=3567.66 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 348068 0 0 0 356392 374 0 0 20 0 20 0 161049011 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 3297993 5910 1 0 3989383 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=5564824 CPUtime=3459.83 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 107008 0 0 0 345881 102 0 0 20 0 20 0 161049011 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=3272 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=13191972 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 1446 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=13191972 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 3567.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13191972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3554.7 s]
/proc/loadavg: 4.15 4.16 4.19 5/335 829900
/proc/meminfo: memFree=74852468/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19108176 memory=13191972 CPUtime=3600.02 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 348147 0 0 0 359627 375 0 0 20 0 20 0 161049011 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4777044 3297993 5910 1 0 3989383 0
[pid=827834/tid=827836] ppid=827831 vsize=19108176 memory=5564824 CPUtime=3492.13 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 107081 0 0 0 349111 102 0 0 20 0 20 0 161049011 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19108176 memory=13191972 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19108176 memory=13191972 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 1446 0 0 0 0 0 0 0 20 0 20 0 161049014 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827855] ppid=827831 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/827834/task/827855/stat : 827855 (Timer-0) S 827831 827834 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161049029 19566772224 3297993 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13191972 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.5 s, system=3.79304 s

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

[startup+3554.8 s]
/proc/loadavg: 4.15 4.16 4.19 5/335 829900
/proc/meminfo: memFree=74852468/131524600 swapFree=131071996/131071996
[pid=827834] ppid=827831 vsize=19307868 memory=13192744 CPUtime=3600.21 cores=4,6
/proc/827834/stat : 827834 (java) S 827831 827834 826314 0 -1 1077936128 350730 0 0 0 359646 375 0 0 20 0 21 0 161049011 19771256832 3298186 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
/proc/827834/statm: 4826967 3298186 5925 1 0 3990289 0
[pid=827834/tid=827836] ppid=827831 vsize=19307868 memory=11548 CPUtime=3492.2 cores=4,6
/proc/827834/task/827836/stat : 827836 (java) R 827831 827834 826314 0 -1 4194368 107155 0 0 0 349118 102 0 0 20 0 21 0 161049011 19771256832 3298186 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827845] ppid=827831 vsize=19307868 memory=11548 CPUtime=0 cores=4,6
/proc/827834/task/827845/stat : 827845 (Finalizer) S 827831 827834 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161049014 19771256832 3298186 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
[pid=827834/tid=827852] ppid=827831 vsize=19307868 memory=2768 CPUtime=0 cores=4,6
/proc/827834/task/827852/stat : 827852 (Common-Cleaner) S 827831 827834 826314 0 -1 1077936192 1446 0 0 0 0 0 0 0 20 0 21 0 161049014 19771256832 3298186 134679101440 94796084772864 94796084776560 140721004094880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94796084784376 94796084785168 94796109008896 140721004098567 140721004098657 140721004098657 140721004105672 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13192744 KiB

Child status: 143

Real time (s): 3554.86
CPU time (s): 3600.3
CPU user time (s): 3596.5
CPU system time (s): 3.79304
CPU usage (%): 101.278
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13192744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.5
system time used= 3.79304
maximum resident set size= 13193776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118172
involuntary context switches= 14440


# summary of solver processes directly reported to runsolver:
#   pid: 827834
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3596.5
#   total CPU system time (s): 3.79304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65997 second user time and 17.3818 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 02:13:25
IDJOB=4432228
IDBENCH=147545
IDSOLVER=3058
FILE ID=nodeC033/4432228-1721088793
RUNJOBID= nodeC033-1721085950-826325
SLURM_JOB_ID= 7505580
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432228-1721088793/watcher-4432228-1721088793 -o /tmp/evaluation-result-4432228-1721088793/solver-4432228-1721088793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826325 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432228-1721088793.opb

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

MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=784687295

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3659.090
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3600.188
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3688.902
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3692.501
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3640.442
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3688.735
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3609.381
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 3599.944
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        86452828 kB
MemAvailable:   89319152 kB
Buffers:          404144 kB
Cached:          3268020 kB
SwapCached:            0 kB
Active:           653956 kB
Inactive:       43677220 kB
Active(anon):       1556 kB
Inactive(anon): 40695164 kB
Active(file):     652400 kB
Inactive(file):  2982056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:      40657816 kB
Mapped:           123900 kB
Shmem:             37716 kB
KReclaimable:     143032 kB
Slab:             255196 kB
SReclaimable:     143032 kB
SUnreclaim:       112164 kB
KernelStack:        5040 kB
PageTables:        89540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   46421856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60800 kB
HardwareCorrupted:     0 kB
AnonHugePages:  40024064 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC033 at 2024-07-16 03:12:40