Trace number 4526486

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.24 3604.51

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-pedck60-L12_wcsp.wbo
MD5SUMa03eca185af8829ae31b2e71631e3582
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1.28361
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints36600
Number of soft constraints36540
Number of constraints which are clauses36540
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 61
Min constraint cost 1
Max constraint cost 61
Sum of constraints costs 2196540
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4526486-1751632001.wbo
0.13/0.13	c reading problem ... 
0.70/0.50	c ... done. Wall clock time 0.367s.
0.70/0.50	c declared #vars     600
0.70/0.50	c internal #vars     37140
0.70/0.50	c #constraints  36661
0.70/0.50	c constraints type 
0.70/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 540
0.70/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 60
0.70/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.70/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36060
0.70/0.50	c 36661 constraints processed.
0.89/0.52	c objective function length is 36540 literals
1.09/0.67	c SATISFIABLE
1.09/0.67	c OPTIMIZING...
1.09/0.68	c Got one! Elapsed wall clock time (in seconds):0.549
1.09/0.68	o 54
1.27/0.74	c Got one! Elapsed wall clock time (in seconds):0.612
1.27/0.74	o 43
1.27/0.78	c Got one! Elapsed wall clock time (in seconds):0.65
1.27/0.78	o 42
1.47/0.81	c Got one! Elapsed wall clock time (in seconds):0.682
1.47/0.81	o 28
1.47/0.84	c Got one! Elapsed wall clock time (in seconds):0.711
1.47/0.84	o 27
1.47/0.86	c Got one! Elapsed wall clock time (in seconds):0.735
1.47/0.86	o 23
3.20/1.73	c cleaning 2568 clauses out of 5137 with flag 26311/5137
4.07/2.55	c cleaning 4285 clauses out of 8569 with flag 66082/11137
5.39/3.53	c cleaning 5643 clauses out of 11285 with flag 113656/18138
6.50/4.62	c cleaning 6819 clauses out of 13643 with flag 169027/26139
7.69/5.86	c cleaning 7908 clauses out of 15823 with flag 231789/35138
9.09/7.24	c cleaning 8955 clauses out of 17916 with flag 315118/45139
10.69/8.81	c cleaning 9976 clauses out of 19960 with flag 413306/56138
12.51/10.63	c cleaning 10992 clauses out of 21984 with flag 515248/68138
14.40/12.57	c cleaning 11994 clauses out of 23991 with flag 620756/81137
16.40/14.59	c cleaning 12996 clauses out of 25998 with flag 739461/95138
18.70/16.84	c cleaning 13992 clauses out of 28001 with flag 866173/110137
21.09/19.24	c cleaning 15002 clauses out of 30010 with flag 1009190/126138
23.74/21.86	c cleaning 16004 clauses out of 32007 with flag 1159088/143137
26.55/24.61	c cleaning 16994 clauses out of 34003 with flag 1316974/161137
28.81/26.83	c cleaning 18000 clauses out of 36009 with flag 1416138/180137
31.21/29.28	c cleaning 18988 clauses out of 38009 with flag 1530517/200137
33.80/31.87	c cleaning 20004 clauses out of 40021 with flag 1638528/221137
34.30/32.30	c Got one! Elapsed wall clock time (in seconds):32.174
34.30/32.30	o 22
34.60/32.57	c cleaning 12792 clauses out of 25597 with flag 11890/226717
35.30/33.28	c cleaning 9389 clauses out of 18806 with flag 44559/232718
36.20/34.13	c cleaning 8192 clauses out of 16416 with flag 86838/239717
37.10/35.09	c cleaning 8106 clauses out of 16225 with flag 132037/247718
38.20/36.16	c cleaning 8558 clauses out of 17118 with flag 184472/256717
39.39/37.36	c cleaning 9268 clauses out of 18560 with flag 239698/266717
40.80/38.75	c cleaning 10149 clauses out of 20297 with flag 309063/277722
42.29/40.27	c cleaning 11058 clauses out of 22143 with flag 381256/289717
43.89/41.88	c cleaning 12038 clauses out of 24085 with flag 449674/302717
45.79/43.70	c cleaning 13024 clauses out of 26047 with flag 535533/316717
47.68/45.66	c cleaning 14002 clauses out of 28024 with flag 622788/331718
49.78/47.70	c cleaning 15009 clauses out of 30021 with flag 713835/347717
51.98/49.93	c cleaning 16006 clauses out of 32013 with flag 805699/364718
54.37/52.31	c cleaning 17002 clauses out of 34007 with flag 909729/382718
56.87/54.82	c cleaning 17990 clauses out of 36004 with flag 1015174/401717
59.47/57.47	c cleaning 18998 clauses out of 38014 with flag 1126676/421717
62.36/60.34	c cleaning 20000 clauses out of 40016 with flag 1257090/442717
65.36/63.31	c cleaning 21005 clauses out of 42016 with flag 1393641/464717
68.45/66.40	c cleaning 21999 clauses out of 44012 with flag 1525295/487718
71.85/69.82	c cleaning 23001 clauses out of 46012 with flag 1672153/511717
75.45/73.40	c cleaning 23999 clauses out of 48014 with flag 1840378/536720
79.04/77.07	c cleaning 25007 clauses out of 50013 with flag 1994278/562718
82.94/81.00	c cleaning 26001 clauses out of 52006 with flag 2168224/589718
87.14/85.15	c cleaning 26994 clauses out of 54006 with flag 2352687/617719
91.52/89.53	c cleaning 27993 clauses out of 56010 with flag 2549609/646717
95.91/93.93	c cleaning 28994 clauses out of 58018 with flag 2746558/676718
100.50/98.53	c cleaning 29996 clauses out of 60025 with flag 2952563/707719
105.40/103.41	c cleaning 30988 clauses out of 62028 with flag 3141569/739718
110.55/108.61	c cleaning 32012 clauses out of 64040 with flag 3364441/772718
115.95/114.02	c cleaning 33009 clauses out of 66027 with flag 3604357/806717
121.44/119.52	c cleaning 34006 clauses out of 68022 with flag 3841107/841721
127.03/125.11	c cleaning 34996 clauses out of 70014 with flag 4066473/877719
132.81/130.98	c cleaning 35997 clauses out of 72017 with flag 4311598/914718
138.91/137.01	c cleaning 36990 clauses out of 74019 with flag 4573528/952717
145.02/143.18	c cleaning 38004 clauses out of 76029 with flag 4835513/991717
151.91/150.02	c cleaning 39015 clauses out of 78029 with flag 5113384/1031721
158.59/156.76	c cleaning 39990 clauses out of 80013 with flag 5375648/1072720
165.28/163.48	c cleaning 41003 clauses out of 82021 with flag 5620311/1114718
172.37/170.56	c cleaning 42004 clauses out of 84017 with flag 5879061/1157717
179.59/177.73	c cleaning 43005 clauses out of 86013 with flag 6133969/1201717
187.17/185.34	c cleaning 43997 clauses out of 88009 with flag 6399391/1246718
194.76/192.94	c cleaning 44992 clauses out of 90015 with flag 6666745/1292721
202.85/201.03	c cleaning 45996 clauses out of 92019 with flag 6951919/1339717
211.03/209.26	c cleaning 47000 clauses out of 94023 with flag 7235674/1387717
219.73/217.92	c cleaning 48006 clauses out of 96023 with flag 7561104/1436717
227.82/226.07	c cleaning 48998 clauses out of 98019 with flag 7834573/1486719
236.60/234.83	c cleaning 50004 clauses out of 100020 with flag 8134306/1537718
241.49/239.80	c Got one! Elapsed wall clock time (in seconds):239.671
241.49/239.80	o 21
242.66/240.79	c cleaning 42790 clauses out of 85579 with flag 26858/1573281
243.65/241.74	c cleaning 24374 clauses out of 48789 with flag 58117/1579281
244.76/242.77	c cleaning 15695 clauses out of 31416 with flag 96675/1586282
245.96/243.94	c cleaning 11848 clauses out of 23720 with flag 134860/1594281
247.16/245.19	c cleaning 10421 clauses out of 20873 with flag 176842/1603282
248.55/246.57	c cleaning 10219 clauses out of 20452 with flag 223358/1613282
250.19/248.11	c cleaning 10597 clauses out of 21232 with flag 274324/1624281
251.78/249.79	c cleaning 11315 clauses out of 22636 with flag 333098/1636282
253.58/251.56	c cleaning 12148 clauses out of 24320 with flag 393032/1649281
255.47/253.48	c cleaning 13069 clauses out of 26173 with flag 463710/1663282
257.58/255.55	c cleaning 14047 clauses out of 28103 with flag 539334/1678281
259.87/257.81	c cleaning 15014 clauses out of 30058 with flag 622275/1694283
262.27/260.24	c cleaning 16019 clauses out of 32046 with flag 703479/1711285
264.86/262.81	c cleaning 17000 clauses out of 34024 with flag 792591/1729282
267.56/265.57	c cleaning 18000 clauses out of 36023 with flag 891804/1748281
270.55/268.58	c cleaning 19012 clauses out of 38023 with flag 1002823/1768281
273.64/271.69	c cleaning 19992 clauses out of 40011 with flag 1129663/1789281
277.04/275.06	c cleaning 21008 clauses out of 42019 with flag 1257408/1811281
280.53/278.54	c cleaning 22000 clauses out of 44011 with flag 1385982/1834281
284.15/282.11	c cleaning 23000 clauses out of 46012 with flag 1515934/1858282
288.14/286.12	c cleaning 24005 clauses out of 48013 with flag 1664687/1883283
288.34/286.35	c Got one! Elapsed wall clock time (in seconds):286.223
288.34/286.35	o 20
289.00/286.93	c cleaning 14751 clauses out of 29522 with flag 20902/1888797
289.80/287.74	c cleaning 10372 clauses out of 20771 with flag 48108/1894797
290.70/288.65	c cleaning 8682 clauses out of 17398 with flag 77775/1901796
291.70/289.67	c cleaning 8337 clauses out of 16716 with flag 104705/1909796
292.89/290.82	c cleaning 8671 clauses out of 17381 with flag 135362/1918798
294.20/292.13	c cleaning 9340 clauses out of 18708 with flag 169314/1928796
295.59/293.60	c cleaning 10177 clauses out of 20371 with flag 211969/1939799
297.19/295.17	c cleaning 11087 clauses out of 22191 with flag 262758/1951796
298.98/296.93	c cleaning 12042 clauses out of 24105 with flag 319286/1964797
300.78/298.79	c cleaning 13022 clauses out of 26063 with flag 378156/1978797
302.87/300.84	c cleaning 14004 clauses out of 28040 with flag 444271/1993796
305.07/303.01	c cleaning 15016 clauses out of 30037 with flag 512496/2009797
307.26/305.28	c cleaning 16001 clauses out of 32021 with flag 583750/2026797
309.26/307.26	c Got one! Elapsed wall clock time (in seconds):307.135
309.26/307.26	o 19
310.23/308.00	c cleaning 17708 clauses out of 35438 with flag 20014/2046215
311.13/308.84	c cleaning 11854 clauses out of 23729 with flag 44246/2052214
312.02/309.78	c cleaning 9410 clauses out of 18875 with flag 71882/2059214
313.13/310.87	c cleaning 8715 clauses out of 17466 with flag 102676/2067215
314.32/312.08	c cleaning 8870 clauses out of 17753 with flag 136058/2076217
315.70/313.41	c cleaning 9421 clauses out of 18880 with flag 174553/2086214
317.20/314.94	c cleaning 10215 clauses out of 20459 with flag 218200/2097214
318.79/316.59	c cleaning 11115 clauses out of 22247 with flag 267224/2109217
320.59/318.38	c cleaning 12049 clauses out of 24129 with flag 320578/2122214
322.59/320.35	c cleaning 13019 clauses out of 26080 with flag 378587/2136214
324.68/322.47	c cleaning 14012 clauses out of 28062 with flag 444341/2151215
326.98/324.70	c cleaning 15016 clauses out of 30049 with flag 514482/2167214
329.28/327.02	c cleaning 15990 clauses out of 32033 with flag 588410/2184214
331.77/329.54	c cleaning 17000 clauses out of 34044 with flag 672503/2202215
334.37/332.17	c cleaning 18010 clauses out of 36043 with flag 754184/2221214
337.36/335.11	c cleaning 19001 clauses out of 38034 with flag 848232/2241215
340.45/338.23	c cleaning 20015 clauses out of 40032 with flag 953950/2262214
343.74/341.52	c cleaning 20998 clauses out of 42018 with flag 1055676/2284215
347.14/344.98	c cleaning 22002 clauses out of 44020 with flag 1182383/2307215
350.63/348.44	c cleaning 22999 clauses out of 46017 with flag 1288310/2331214
351.52/349.33	c Got one! Elapsed wall clock time (in seconds):349.209
351.52/349.34	o 18
352.24/350.06	c cleaning 17183 clauses out of 34375 with flag 23366/2342571
353.04/350.86	c cleaning 11580 clauses out of 23183 with flag 49735/2348562
354.03/351.82	c cleaning 9288 clauses out of 18603 with flag 81903/2355562
355.03/352.88	c cleaning 8632 clauses out of 17317 with flag 112360/2363564
356.24/354.05	c cleaning 8825 clauses out of 17683 with flag 144805/2372562
357.53/355.37	c cleaning 9417 clauses out of 18859 with flag 180504/2382563
359.03/356.84	c cleaning 10202 clauses out of 20444 with flag 223469/2393565
360.63/358.43	c cleaning 11102 clauses out of 22239 with flag 267473/2405562
362.33/360.19	c cleaning 12059 clauses out of 24139 with flag 318237/2418564
364.22/362.06	c cleaning 13027 clauses out of 26078 with flag 372843/2432562
366.32/364.11	c cleaning 14008 clauses out of 28053 with flag 427079/2447564
368.53/366.34	c cleaning 15009 clauses out of 30043 with flag 496161/2463562
370.82/368.65	c cleaning 16008 clauses out of 32037 with flag 559251/2480565
373.32/371.19	c cleaning 16991 clauses out of 34026 with flag 652212/2498562
375.91/373.78	c cleaning 18005 clauses out of 36037 with flag 737806/2517564
378.70/376.54	c cleaning 19006 clauses out of 38031 with flag 821923/2537563
381.60/379.49	c cleaning 20001 clauses out of 40025 with flag 928466/2558563
384.80/382.65	c cleaning 21000 clauses out of 42024 with flag 1033202/2580563
388.09/385.96	c cleaning 22010 clauses out of 44027 with flag 1158482/2603566
391.68/389.52	c cleaning 23001 clauses out of 46013 with flag 1274525/2627562
395.17/393.08	c cleaning 23998 clauses out of 48013 with flag 1387274/2652563
398.96/396.89	c cleaning 24991 clauses out of 50014 with flag 1522708/2678562
402.84/400.77	c cleaning 25996 clauses out of 52025 with flag 1666763/2705564
406.83/404.75	c cleaning 27008 clauses out of 54027 with flag 1801037/2733562
411.02/408.95	c cleaning 27996 clauses out of 56019 with flag 1942164/2762562
415.41/413.33	c cleaning 29005 clauses out of 58024 with flag 2094143/2792563
419.99/417.93	c cleaning 30003 clauses out of 60018 with flag 2256245/2823562
424.69/422.65	c cleaning 31002 clauses out of 62020 with flag 2430473/2855567
429.68/427.66	c cleaning 32003 clauses out of 64013 with flag 2619383/2888562
434.66/432.69	c cleaning 33002 clauses out of 66010 with flag 2816602/2922562
440.05/438.06	c cleaning 34002 clauses out of 68008 with flag 3005111/2957562
445.42/443.47	c cleaning 34994 clauses out of 70006 with flag 3224838/2993562
451.12/449.13	c cleaning 35993 clauses out of 72013 with flag 3449419/3030563
456.89/454.97	c cleaning 36993 clauses out of 74019 with flag 3685669/3068562
462.99/461.09	c cleaning 38000 clauses out of 76026 with flag 3942039/3107562
469.26/467.30	c cleaning 38998 clauses out of 78026 with flag 4193557/3147562
475.45/473.52	c cleaning 39987 clauses out of 80029 with flag 4467744/3188563
481.83/479.92	c cleaning 41018 clauses out of 82041 with flag 4742616/3230562
488.41/486.58	c cleaning 42007 clauses out of 84023 with flag 5032242/3273562
495.19/493.31	c cleaning 43001 clauses out of 86017 with flag 5336521/3317563
501.97/500.19	c cleaning 43994 clauses out of 88015 with flag 5631796/3362562
509.15/507.38	c cleaning 44995 clauses out of 90022 with flag 5936406/3408563
516.63/514.87	c cleaning 46006 clauses out of 92027 with flag 6248703/3455563
524.41/522.63	c cleaning 46997 clauses out of 94020 with flag 6576329/3503562
532.29/530.55	c cleaning 48002 clauses out of 96023 with flag 6921541/3552562
540.66/538.90	c cleaning 48999 clauses out of 98021 with flag 7287509/3602562
548.64/546.98	c cleaning 49998 clauses out of 100022 with flag 7638245/3653562
556.61/554.98	c cleaning 51001 clauses out of 102024 with flag 7974876/3705562
565.20/563.52	c cleaning 52007 clauses out of 104023 with flag 8334238/3758562
573.68/572.03	c cleaning 52995 clauses out of 106016 with flag 8696086/3812562
582.65/581.04	c cleaning 54003 clauses out of 108021 with flag 9110077/3867562
591.63/590.05	c cleaning 54977 clauses out of 110019 with flag 9474912/3923563
601.60/600.09	c cleaning 56002 clauses out of 112041 with flag 9808481/3980562
612.36/610.83	c cleaning 57014 clauses out of 114040 with flag 10141220/4038563
622.34/620.89	c cleaning 58001 clauses out of 116027 with flag 10463891/4097564
632.62/631.11	c cleaning 58999 clauses out of 118024 with flag 10821990/4157562
643.77/642.30	c cleaning 59988 clauses out of 120027 with flag 11211990/4218564
654.25/652.88	c cleaning 61013 clauses out of 122043 with flag 11573227/4280568
665.52/664.15	c cleaning 61986 clauses out of 124024 with flag 11947034/4343562
676.69/675.34	c cleaning 63005 clauses out of 126039 with flag 12322928/4407563
688.25/687.00	c cleaning 64005 clauses out of 128034 with flag 12768903/4472563
699.53/698.27	c cleaning 65012 clauses out of 130031 with flag 13217394/4538565
710.89/709.65	c cleaning 65996 clauses out of 132018 with flag 13641184/4605564
722.06/720.84	c cleaning 67007 clauses out of 134023 with flag 14065440/4673565
733.82/732.67	c cleaning 67992 clauses out of 136013 with flag 14525704/4742562
745.99/744.81	c cleaning 69007 clauses out of 138024 with flag 15022463/4812565
758.86/757.71	c cleaning 69999 clauses out of 140015 with flag 15518793/4883563
771.82/770.70	c cleaning 70990 clauses out of 142016 with flag 16006474/4955563
785.39/784.35	c cleaning 72013 clauses out of 144025 with flag 16504039/5028562
797.66/796.69	c cleaning 72995 clauses out of 146012 with flag 16996676/5102562
810.92/809.90	c cleaning 73993 clauses out of 148019 with flag 17466200/5177564
823.98/823.04	c cleaning 75002 clauses out of 150026 with flag 17929665/5253564
837.54/836.68	c cleaning 76001 clauses out of 152023 with flag 18437831/5330563
851.61/850.76	c cleaning 77004 clauses out of 154021 with flag 18996813/5408562
865.76/864.97	c cleaning 77981 clauses out of 156018 with flag 19527789/5487563
880.13/879.36	c cleaning 79014 clauses out of 158036 with flag 20085108/5567562
893.80/893.09	c cleaning 80000 clauses out of 160022 with flag 20644283/5648562
908.65/907.90	c cleaning 81011 clauses out of 162024 with flag 21200690/5730564
924.31/923.67	c cleaning 81990 clauses out of 164011 with flag 21759736/5813562
939.67/939.03	c cleaning 82988 clauses out of 166021 with flag 22319666/5897562
955.33/954.71	c cleaning 84010 clauses out of 168033 with flag 22819859/5982562
971.22/970.59	c cleaning 85012 clauses out of 170024 with flag 23339449/6068563
987.39/986.74	c cleaning 85986 clauses out of 172011 with flag 23907790/6155562
1004.85/1004.20	c cleaning 87008 clauses out of 174025 with flag 24467418/6243562
1021.81/1021.22	c cleaning 87999 clauses out of 176018 with flag 25016008/6332563
1039.08/1038.58	c cleaning 88996 clauses out of 178021 with flag 25590256/6422565
1056.34/1055.82	c cleaning 89998 clauses out of 180022 with flag 26197319/6513562
1075.10/1074.68	c cleaning 90998 clauses out of 182024 with flag 26829848/6605562
1091.86/1091.46	c cleaning 92005 clauses out of 184026 with flag 27386255/6698562
1109.63/1109.21	c cleaning 93004 clauses out of 186021 with flag 28008139/6792562
1127.69/1127.21	c cleaning 93997 clauses out of 188017 with flag 28710531/6887562
1144.35/1143.94	c cleaning 94999 clauses out of 190021 with flag 29366334/6983563
1163.22/1162.80	c cleaning 95990 clauses out of 192021 with flag 29997820/7080562
1183.17/1182.86	c cleaning 97005 clauses out of 194032 with flag 30666897/7178563
1202.43/1202.15	c cleaning 97993 clauses out of 196026 with flag 31308458/7277562
1222.19/1221.98	c cleaning 99009 clauses out of 198033 with flag 31934599/7377562
1242.55/1242.31	c cleaning 100011 clauses out of 200025 with flag 32526352/7478563
1263.10/1262.95	c cleaning 100995 clauses out of 202015 with flag 33142086/7580564
1286.00/1285.82	c cleaning 101997 clauses out of 204018 with flag 33788353/7683562
1305.65/1305.54	c cleaning 102990 clauses out of 206022 with flag 34331323/7787563
1326.51/1326.41	c cleaning 103995 clauses out of 208031 with flag 34887370/7892562
1349.96/1349.90	c cleaning 105000 clauses out of 210036 with flag 35480708/7998562
1371.42/1371.46	c cleaning 105999 clauses out of 212036 with flag 36062969/8105562
1395.36/1395.40	c cleaning 106993 clauses out of 214038 with flag 36689177/8213563
1418.51/1418.63	c cleaning 108010 clauses out of 216044 with flag 37317869/8322562
1441.25/1441.38	c cleaning 109012 clauses out of 218038 with flag 37946426/8432566
1466.69/1466.86	c cleaning 109998 clauses out of 220024 with flag 38624072/8543564
1491.44/1491.66	c cleaning 110998 clauses out of 222024 with flag 39289377/8655562
1517.08/1517.32	c cleaning 112002 clauses out of 224026 with flag 39961781/8768562
1541.52/1541.87	c cleaning 113001 clauses out of 226025 with flag 40637853/8882563
1567.07/1567.49	c cleaning 114005 clauses out of 228024 with flag 41350984/8997563
1591.37/1591.78	c cleaning 115004 clauses out of 230018 with flag 42024416/9113562
1616.41/1616.82	c cleaning 115993 clauses out of 232015 with flag 42708470/9230563
1616.51/1616.94	c Got one! Elapsed wall clock time (in seconds):1616.81
1616.51/1616.94	o 17
1618.01/1618.47	c cleaning 60870 clauses out of 121793 with flag 30577/9236334
1619.30/1619.73	c cleaning 33448 clauses out of 66922 with flag 63545/9242333
1620.50/1620.96	c cleaning 20221 clauses out of 40475 with flag 102464/9249334
1621.90/1622.32	c cleaning 14104 clauses out of 28253 with flag 143613/9257333
1623.20/1623.68	c cleaning 9181 clauses out of 23150 with flag 176521/9266334
1624.71/1625.18	c cleaning 10000 clauses out of 23968 with flag 208408/9276333
1626.30/1626.79	c cleaning 10989 clauses out of 24968 with flag 243172/9287333
1628.20/1628.62	c cleaning 12012 clauses out of 25979 with flag 285406/9299333
1630.22/1630.62	c cleaning 12997 clauses out of 26968 with flag 331510/9312334
1631.94/1632.31	c Got one! Elapsed wall clock time (in seconds):1632.179
1631.94/1632.31	o 16
1632.64/1633.07	c cleaning 15022 clauses out of 30043 with flag 17289/9328406
1633.54/1633.93	c cleaning 7053 clauses out of 21021 with flag 37096/9334406
1634.53/1634.95	c cleaning 6996 clauses out of 20968 with flag 61602/9341406
1635.74/1636.10	c cleaning 7992 clauses out of 21978 with flag 88963/9349412
1637.03/1637.42	c cleaning 9006 clauses out of 22980 with flag 118454/9358406
1638.42/1638.88	c cleaning 10007 clauses out of 23975 with flag 154246/9368407
1640.12/1640.53	c cleaning 11002 clauses out of 24967 with flag 194890/9379406
1641.92/1642.31	c cleaning 11984 clauses out of 25965 with flag 240253/9391406
1643.81/1644.26	c cleaning 13010 clauses out of 26981 with flag 294138/9404406
1645.81/1646.27	c cleaning 13968 clauses out of 27972 with flag 344457/9418407
1648.10/1648.53	c cleaning 14498 clauses out of 29004 with flag 405403/9433407
1650.50/1650.91	c cleaning 15241 clauses out of 30505 with flag 468827/9449406
1652.99/1653.43	c cleaning 16119 clauses out of 32264 with flag 534835/9466406
1655.69/1656.15	c cleaning 17057 clauses out of 34145 with flag 600067/9484406
1658.68/1659.17	c cleaning 18019 clauses out of 36088 with flag 672811/9503406
1661.77/1662.26	c cleaning 19024 clauses out of 38069 with flag 748756/9523406
1665.06/1665.52	c cleaning 20012 clauses out of 40047 with flag 832239/9544408
1668.46/1668.97	c cleaning 21005 clauses out of 42033 with flag 914337/9566406
1672.05/1672.59	c cleaning 22005 clauses out of 44030 with flag 1004018/9589408
1675.94/1676.47	c cleaning 22991 clauses out of 46024 with flag 1099155/9613407
1679.93/1680.41	c cleaning 23997 clauses out of 48033 with flag 1199966/9638407
1684.12/1684.66	c cleaning 25005 clauses out of 50035 with flag 1303732/9664406
1685.42/1686.00	c Got one! Elapsed wall clock time (in seconds):1685.875
1685.42/1686.00	o 15
1686.22/1686.79	c cleaning 19324 clauses out of 38666 with flag 17042/9678042
1687.21/1687.72	c cleaning 11273 clauses out of 25342 with flag 40616/9684042
1688.21/1688.79	c cleaning 7005 clauses out of 21069 with flag 66969/9691042
1689.41/1689.99	c cleaning 7998 clauses out of 22064 with flag 95148/9699042
1690.71/1691.27	c cleaning 8999 clauses out of 23066 with flag 124513/9708042
1692.20/1692.74	c cleaning 9994 clauses out of 24067 with flag 157945/9718042
1693.80/1694.34	c cleaning 11011 clauses out of 25073 with flag 197094/9729042
1695.50/1696.08	c cleaning 11985 clauses out of 26063 with flag 234580/9741043
1697.39/1697.98	c cleaning 13015 clauses out of 27079 with flag 277063/9754044
1699.59/1700.13	c cleaning 14001 clauses out of 28063 with flag 330661/9768043
1701.88/1702.42	c cleaning 14510 clauses out of 29061 with flag 386442/9783042
1704.18/1704.79	c cleaning 15266 clauses out of 30551 with flag 443064/9799042
1706.77/1707.39	c cleaning 16125 clauses out of 32285 with flag 502972/9816042
1709.66/1710.21	c cleaning 17075 clauses out of 34160 with flag 569209/9834042
1712.66/1713.23	c cleaning 18030 clauses out of 36085 with flag 645007/9853042
1715.75/1716.35	c cleaning 19005 clauses out of 38056 with flag 721976/9873043
1718.94/1719.58	c cleaning 20018 clauses out of 40051 with flag 796027/9894043
1722.48/1723.07	c cleaning 21015 clauses out of 42037 with flag 881696/9916047
1726.17/1726.71	c cleaning 22005 clauses out of 44017 with flag 974863/9939042
1729.86/1730.43	c cleaning 22997 clauses out of 46012 with flag 1065106/9963042
1733.85/1734.49	c cleaning 23999 clauses out of 48016 with flag 1166229/9988043
1738.04/1738.65	c cleaning 24994 clauses out of 50016 with flag 1269350/10014042
1740.73/1741.39	c Got one! Elapsed wall clock time (in seconds):1741.263
1740.73/1741.39	o 14
1741.66/1742.20	c cleaning 24038 clauses out of 48093 with flag 18979/10037113
1742.46/1743.08	c cleaning 15001 clauses out of 30052 with flag 41185/10043110
1743.46/1744.09	c cleaning 7933 clauses out of 22051 with flag 67124/10050110
1744.65/1745.23	c cleaning 8000 clauses out of 22118 with flag 94759/10058110
1745.95/1746.52	c cleaning 9004 clauses out of 23119 with flag 124362/10067111
1747.45/1748.01	c cleaning 10000 clauses out of 24115 with flag 161055/10077111
1749.14/1749.70	c cleaning 10994 clauses out of 25114 with flag 204033/10088110
1750.94/1751.53	c cleaning 11980 clauses out of 26120 with flag 247720/10100110
1752.83/1753.47	c cleaning 13013 clauses out of 27140 with flag 295206/10113110
1754.93/1755.55	c cleaning 13977 clauses out of 28127 with flag 346938/10127110
1757.22/1757.87	c cleaning 14563 clauses out of 29150 with flag 401787/10142110
1759.61/1760.20	c cleaning 15291 clauses out of 30587 with flag 456213/10158110
1762.11/1762.77	c cleaning 16127 clauses out of 32296 with flag 523432/10175110
1764.80/1765.47	c cleaning 17080 clauses out of 34169 with flag 594748/10193110
1767.70/1768.30	c cleaning 18034 clauses out of 36089 with flag 668060/10212110
1770.60/1771.24	c cleaning 19021 clauses out of 38056 with flag 742768/10232111
1773.19/1773.88	c Got one! Elapsed wall clock time (in seconds):1773.754
1773.19/1773.88	o 13
1773.99/1774.69	c cleaning 20975 clauses out of 41955 with flag 19515/10255031
1774.99/1775.62	c cleaning 12806 clauses out of 26980 with flag 44691/10261031
1775.98/1776.64	c cleaning 7010 clauses out of 21174 with flag 69194/10268031
1777.18/1777.85	c cleaning 8006 clauses out of 22164 with flag 98472/10276031
1778.58/1779.24	c cleaning 8990 clauses out of 23158 with flag 132232/10285031
1780.08/1780.71	c cleaning 9990 clauses out of 24168 with flag 166842/10295031
1781.67/1782.31	c cleaning 11016 clauses out of 25179 with flag 201126/10306032
1783.47/1784.15	c cleaning 11985 clauses out of 26162 with flag 240347/10318031
1785.37/1786.10	c cleaning 13019 clauses out of 27178 with flag 282983/10331032
1787.56/1788.20	c cleaning 13997 clauses out of 28158 with flag 328200/10345031
1789.75/1790.46	c cleaning 14571 clauses out of 29161 with flag 379750/10360031
1792.15/1792.81	c cleaning 15279 clauses out of 30590 with flag 432713/10376031
1794.64/1795.33	c cleaning 16151 clauses out of 32312 with flag 490127/10393032
1795.94/1796.60	c Got one! Elapsed wall clock time (in seconds):1796.475
1795.94/1796.60	o 12
1796.63/1797.35	c cleaning 14772 clauses out of 29583 with flag 16417/10406454
1797.44/1798.18	c cleaning 6625 clauses out of 20811 with flag 35876/10412454
1798.44/1799.17	c cleaning 7011 clauses out of 21188 with flag 58356/10419456
1799.53/1800.27	c cleaning 7991 clauses out of 22176 with flag 84855/10427455
1800.83/1801.54	c cleaning 9015 clauses out of 23185 with flag 112848/10436455
1802.22/1803.00	c cleaning 9992 clauses out of 24170 with flag 145044/10446455
1803.82/1804.55	c cleaning 10982 clauses out of 25177 with flag 180165/10457454
1805.51/1806.26	c cleaning 12017 clauses out of 26195 with flag 217230/10469454
1807.42/1808.16	c cleaning 12982 clauses out of 27178 with flag 258710/10482454
1809.41/1810.19	c cleaning 14018 clauses out of 28197 with flag 300900/10496455
1811.61/1812.38	c cleaning 14570 clauses out of 29179 with flag 348113/10511455
1814.00/1814.70	c cleaning 15280 clauses out of 30608 with flag 401060/10527454
1816.50/1817.21	c cleaning 16149 clauses out of 32330 with flag 457320/10544456
1819.19/1819.92	c cleaning 17071 clauses out of 34181 with flag 525506/10562456
1821.98/1822.74	c cleaning 18038 clauses out of 36108 with flag 596814/10581454
1824.98/1825.72	c cleaning 19021 clauses out of 38074 with flag 669262/10601458
1828.07/1828.89	c cleaning 19999 clauses out of 40049 with flag 740462/10622454
1831.46/1832.22	c cleaning 21011 clauses out of 42051 with flag 811992/10644455
1834.85/1835.67	c cleaning 22011 clauses out of 44041 with flag 894411/10667456
1838.55/1839.31	c cleaning 23001 clauses out of 46030 with flag 984994/10691456
1842.24/1843.03	c cleaning 24003 clauses out of 48027 with flag 1083052/10716454
1846.13/1846.92	c cleaning 24997 clauses out of 50027 with flag 1188736/10742457
1850.12/1850.93	c cleaning 25990 clauses out of 52027 with flag 1294180/10769454
1854.41/1855.22	c cleaning 27002 clauses out of 54037 with flag 1403014/10797454
1858.90/1859.79	c cleaning 28002 clauses out of 56035 with flag 1539743/10826454
1863.59/1864.43	c cleaning 28993 clauses out of 58034 with flag 1672263/10856455
1868.47/1869.30	c cleaning 29993 clauses out of 60040 with flag 1807839/10887454
1873.36/1874.22	c cleaning 30999 clauses out of 62047 with flag 1938597/10919454
1878.35/1879.24	c cleaning 31988 clauses out of 64048 with flag 2081666/10952454
1883.65/1884.53	c cleaning 33000 clauses out of 66062 with flag 2237447/10986456
1889.03/1889.93	c cleaning 34008 clauses out of 68060 with flag 2395325/11021454
1894.62/1895.53	c cleaning 35009 clauses out of 70054 with flag 2560904/11057456
1900.41/1901.31	c cleaning 35994 clauses out of 72043 with flag 2735102/11094454
1906.29/1907.26	c cleaning 37009 clauses out of 74049 with flag 2917765/11132454
1912.48/1913.45	c cleaning 37995 clauses out of 76041 with flag 3115238/11171455
1918.66/1919.63	c cleaning 38997 clauses out of 78045 with flag 3285214/11211454
1925.06/1926.07	c cleaning 39993 clauses out of 80048 with flag 3454067/11252454
1931.54/1932.51	c cleaning 41009 clauses out of 82055 with flag 3632060/11294454
1938.67/1939.61	c cleaning 42006 clauses out of 84046 with flag 3821471/11337454
1945.45/1946.50	c cleaning 42994 clauses out of 86040 with flag 4011050/11381454
1952.63/1953.64	c cleaning 44001 clauses out of 88047 with flag 4200276/11426455
1959.71/1960.70	c cleaning 44986 clauses out of 90046 with flag 4395158/11472455
1966.90/1967.99	c cleaning 46000 clauses out of 92059 with flag 4590329/11519454
1974.58/1975.69	c cleaning 47001 clauses out of 94059 with flag 4794354/11567454
1982.46/1983.58	c cleaning 48020 clauses out of 96058 with flag 5000718/11616454
1991.45/1992.59	c cleaning 48997 clauses out of 98039 with flag 5281071/11666455
1999.83/2000.96	c cleaning 49983 clauses out of 100041 with flag 5551529/11717454
2008.21/2009.39	c cleaning 51006 clauses out of 102059 with flag 5801221/11769455
2017.00/2018.13	c cleaning 51995 clauses out of 104054 with flag 6056242/11822456
2026.07/2027.20	c cleaning 53007 clauses out of 106057 with flag 6344986/11876454
2035.45/2036.63	c cleaning 54003 clauses out of 108050 with flag 6641412/11931454
2044.72/2045.95	c cleaning 54996 clauses out of 110048 with flag 6947369/11987455
2054.51/2055.75	c cleaning 56017 clauses out of 112055 with flag 7274107/12044458
2064.29/2065.59	c cleaning 57000 clauses out of 114036 with flag 7592436/12102456
2074.36/2075.69	c cleaning 57998 clauses out of 116034 with flag 7930923/12161454
2084.63/2085.97	c cleaning 59004 clauses out of 118036 with flag 8276396/12221454
2094.91/2096.23	c cleaning 59984 clauses out of 120032 with flag 8609860/12282454
2105.00/2106.36	c cleaning 60993 clauses out of 122050 with flag 8905997/12344456
2115.87/2117.28	c cleaning 62009 clauses out of 124056 with flag 9257849/12407455
2126.85/2128.25	c cleaning 62989 clauses out of 126048 with flag 9607470/12471456
2138.02/2139.47	c cleaning 63998 clauses out of 128057 with flag 9949949/12536454
2149.60/2151.02	c cleaning 65002 clauses out of 130060 with flag 10310484/12602455
2161.37/2162.80	c cleaning 66007 clauses out of 132057 with flag 10649295/12669454
2173.34/2174.89	c cleaning 67005 clauses out of 134050 with flag 11042445/12737454
2185.69/2187.16	c cleaning 67998 clauses out of 136045 with flag 11487617/12806454
2197.56/2199.06	c cleaning 68998 clauses out of 138047 with flag 11909110/12876454
2209.43/2210.93	c cleaning 69995 clauses out of 140050 with flag 12332282/12947455
2221.41/2222.98	c cleaning 71022 clauses out of 142054 with flag 12778578/13019454
2234.17/2235.78	c cleaning 71999 clauses out of 144032 with flag 13218266/13092454
2247.04/2248.62	c cleaning 73003 clauses out of 146033 with flag 13662454/13166454
2260.02/2261.61	c cleaning 73996 clauses out of 148031 with flag 14052905/13241455
2272.39/2274.08	c cleaning 74995 clauses out of 150034 with flag 14441340/13317454
2285.56/2287.21	c cleaning 76003 clauses out of 152039 with flag 14833206/13394454
2298.63/2300.38	c cleaning 76987 clauses out of 154036 with flag 15249148/13472454
2312.00/2313.73	c cleaning 78001 clauses out of 156050 with flag 15654312/13551455
2325.87/2327.64	c cleaning 79002 clauses out of 158048 with flag 16068274/13631454
2340.25/2342.05	c cleaning 80006 clauses out of 160046 with flag 16574813/13712454
2355.71/2357.50	c cleaning 80991 clauses out of 162040 with flag 17129564/13794454
2371.07/2372.97	c cleaning 82001 clauses out of 164050 with flag 17670689/13877455
2387.73/2389.69	c cleaning 83011 clauses out of 166048 with flag 18235699/13961454
2402.90/2404.84	c cleaning 84002 clauses out of 168040 with flag 18787145/14046457
2418.47/2420.46	c cleaning 84992 clauses out of 170035 with flag 19350111/14132454
2435.03/2437.06	c cleaning 85985 clauses out of 172044 with flag 19910923/14219455
2451.19/2453.21	c cleaning 87011 clauses out of 174059 with flag 20482774/14307455
2467.35/2469.41	c cleaning 87997 clauses out of 176048 with flag 21081040/14396455
2484.22/2486.38	c cleaning 89003 clauses out of 178052 with flag 21664675/14486456
2501.48/2503.66	c cleaning 89999 clauses out of 180048 with flag 22258430/14577455
2519.10/2521.21	c cleaning 91005 clauses out of 182048 with flag 22804981/14669454
2537.46/2539.64	c cleaning 91998 clauses out of 184047 with flag 23406755/14762458
2555.52/2557.76	c cleaning 92996 clauses out of 186046 with flag 24017851/14856455
2573.78/2576.01	c cleaning 94004 clauses out of 188049 with flag 24679039/14951454
2591.93/2594.28	c cleaning 94993 clauses out of 190045 with flag 25351342/15047454
2611.19/2613.56	c cleaning 95980 clauses out of 192053 with flag 26110381/15144455
2630.75/2633.15	c cleaning 97005 clauses out of 194076 with flag 26804040/15242458
2651.49/2653.98	c cleaning 98018 clauses out of 196068 with flag 27468637/15341455
2672.35/2674.88	c cleaning 99019 clauses out of 198051 with flag 28012333/15441456
2692.30/2694.86	c cleaning 100002 clauses out of 200031 with flag 28533198/15542455
2712.26/2714.86	c cleaning 101006 clauses out of 202029 with flag 29064470/15644455
2732.52/2735.17	c cleaning 102011 clauses out of 204025 with flag 29561369/15747457
2753.17/2755.82	c cleaning 103000 clauses out of 206013 with flag 30071653/15851456
2774.92/2777.61	c cleaning 103996 clauses out of 208012 with flag 30608384/15956455
2781.11/2783.81	c Got one! Elapsed wall clock time (in seconds):2783.682
2781.11/2783.81	o 11
2782.31/2785.01	c cleaning 71632 clauses out of 143286 with flag 19330/15995725
2783.31/2786.10	c cleaning 38809 clauses out of 77653 with flag 44220/16001724
2784.50/2787.25	c cleaning 22917 clauses out of 45843 with flag 75543/16008723
2785.79/2788.57	c cleaning 15447 clauses out of 30926 with flag 109348/16016723
2787.19/2789.90	c cleaning 9317 clauses out of 24481 with flag 137940/16025725
2788.59/2791.38	c cleaning 9992 clauses out of 25163 with flag 169571/16035724
2790.29/2793.03	c cleaning 10999 clauses out of 26170 with flag 204994/16046723
2792.08/2794.90	c cleaning 12007 clauses out of 27172 with flag 250439/16058724
2794.18/2796.95	c cleaning 12978 clauses out of 28166 with flag 300473/16071725
2796.38/2799.16	c cleaning 14000 clauses out of 29186 with flag 355902/16085723
2798.77/2801.59	c cleaning 14972 clauses out of 30186 with flag 421471/16100723
2801.26/2804.08	c cleaning 15599 clauses out of 31216 with flag 481168/16116725
2803.85/2806.65	c cleaning 16295 clauses out of 32615 with flag 543046/16133723
2806.64/2809.45	c cleaning 17156 clauses out of 34321 with flag 612560/16151724
2809.63/2812.40	c cleaning 18080 clauses out of 36170 with flag 681402/16170729
2812.73/2815.57	c cleaning 19033 clauses out of 38084 with flag 754632/16190723
2816.13/2818.96	c cleaning 20009 clauses out of 40052 with flag 837207/16211724
2819.52/2822.31	c cleaning 21008 clauses out of 42043 with flag 919724/16233724
2822.91/2825.77	c cleaning 22007 clauses out of 44035 with flag 1005769/16256724
2826.70/2829.55	c cleaning 23012 clauses out of 46027 with flag 1097899/16280723
2830.49/2833.36	c cleaning 23981 clauses out of 48015 with flag 1189415/16305723
2834.88/2837.70	c cleaning 25014 clauses out of 50034 with flag 1292083/16331723
2839.18/2842.10	c cleaning 26004 clauses out of 52020 with flag 1395347/16358723
2843.86/2846.77	c cleaning 26995 clauses out of 54018 with flag 1509308/16386725
2848.55/2851.46	c cleaning 27996 clauses out of 56021 with flag 1622449/16415723
2853.44/2856.37	c cleaning 29002 clauses out of 58025 with flag 1742540/16445723
2858.62/2861.52	c cleaning 29993 clauses out of 60024 with flag 1865004/16476724
2859.02/2861.93	c Got one! Elapsed wall clock time (in seconds):2861.8
2859.02/2861.93	o 10
2859.53/2862.45	c cleaning 17871 clauses out of 35749 with flag 12258/16482442
2860.42/2863.37	c cleaning 8645 clauses out of 23878 with flag 34643/16488442
2861.42/2864.40	c cleaning 6999 clauses out of 22234 with flag 57979/16495443
2862.62/2865.55	c cleaning 8010 clauses out of 23234 with flag 82429/16503442
2864.02/2866.98	c cleaning 8994 clauses out of 24227 with flag 111359/16512445
2865.61/2868.56	c cleaning 10001 clauses out of 25233 with flag 143657/16522445
2867.31/2870.25	c cleaning 11011 clauses out of 26230 with flag 179448/16533443
2869.21/2872.14	c cleaning 12002 clauses out of 27218 with flag 223618/16545442
2871.21/2874.19	c cleaning 12993 clauses out of 28218 with flag 269478/16558444
2873.39/2876.35	c cleaning 13984 clauses out of 29223 with flag 318870/16572442
2875.59/2878.57	c cleaning 14995 clauses out of 30239 with flag 368719/16587442
2878.09/2881.04	c cleaning 15608 clauses out of 31244 with flag 423812/16603442
2880.69/2883.66	c cleaning 16297 clauses out of 32636 with flag 480455/16620442
2883.38/2886.38	c cleaning 17157 clauses out of 34339 with flag 542050/16638442
2886.27/2889.23	c cleaning 18089 clauses out of 36183 with flag 607495/16657443
2889.47/2892.40	c cleaning 19024 clauses out of 38094 with flag 682955/16677443
2892.76/2895.76	c cleaning 20027 clauses out of 40069 with flag 763287/16698442
2896.16/2899.17	c cleaning 20991 clauses out of 42043 with flag 843918/16720443
2899.74/2902.71	c cleaning 22013 clauses out of 44051 with flag 926931/16743442
2903.53/2906.52	c cleaning 23009 clauses out of 46038 with flag 1013452/16767442
2907.43/2910.44	c cleaning 23998 clauses out of 48036 with flag 1108127/16792449
2911.62/2914.66	c cleaning 25007 clauses out of 50031 with flag 1205230/16818442
2916.01/2919.03	c cleaning 26010 clauses out of 52024 with flag 1311061/16845442
2920.50/2923.52	c cleaning 26992 clauses out of 54019 with flag 1417555/16873447
2925.18/2928.21	c cleaning 27991 clauses out of 56022 with flag 1531428/16902442
2929.98/2933.08	c cleaning 28994 clauses out of 58032 with flag 1652445/16932443
2935.07/2938.11	c cleaning 30001 clauses out of 60037 with flag 1778456/16963442
2940.15/2943.22	c cleaning 31005 clauses out of 62036 with flag 1906401/16995442
2945.34/2948.42	c cleaning 31992 clauses out of 64031 with flag 2038310/17028442
2950.72/2953.80	c cleaning 33015 clauses out of 66040 with flag 2171670/17062443
2956.52/2959.66	c cleaning 34011 clauses out of 68024 with flag 2311733/17097442
2962.41/2965.60	c cleaning 35002 clauses out of 70014 with flag 2446010/17133443
2968.29/2971.45	c cleaning 35987 clauses out of 72011 with flag 2586041/17170442
2974.68/2977.81	c cleaning 37000 clauses out of 74024 with flag 2730675/17208442
2981.35/2984.46	c cleaning 38012 clauses out of 76025 with flag 2880117/17247443
2987.94/2991.01	c cleaning 39005 clauses out of 78013 with flag 3041960/17287443
2994.92/2998.08	c cleaning 39981 clauses out of 80007 with flag 3199289/17328442
3002.10/3005.23	c cleaning 41003 clauses out of 82030 with flag 3356202/17370446
3009.29/3012.43	c cleaning 42006 clauses out of 84023 with flag 3520097/17413442
3016.58/3019.76	c cleaning 42997 clauses out of 86018 with flag 3702365/17457443
3024.16/3027.35	c cleaning 44002 clauses out of 88020 with flag 3884109/17502442
3031.64/3034.88	c cleaning 44992 clauses out of 90018 with flag 4083207/17548442
3039.32/3042.58	c cleaning 46003 clauses out of 92026 with flag 4275581/17595442
3048.00/3051.21	c cleaning 47005 clauses out of 94023 with flag 4479149/17643442
3056.68/3059.93	c cleaning 48003 clauses out of 96018 with flag 4682695/17692442
3065.86/3069.15	c cleaning 49005 clauses out of 98015 with flag 4898391/17742442
3074.85/3078.18	c cleaning 49984 clauses out of 100010 with flag 5105655/17793442
3083.83/3087.18	c cleaning 51009 clauses out of 102028 with flag 5315832/17845444
3093.00/3096.32	c cleaning 51994 clauses out of 104017 with flag 5515540/17898442
3094.20/3097.52	c Got one! Elapsed wall clock time (in seconds):3097.394
3094.20/3097.52	o 9
3095.09/3098.43	c cleaning 32491 clauses out of 65001 with flag 20426/17911420
3095.99/3099.33	c cleaning 19238 clauses out of 38508 with flag 45395/17917418
3096.99/3100.37	c cleaning 10869 clauses out of 26270 with flag 74491/17924418
3098.09/3101.49	c cleaning 8011 clauses out of 23401 with flag 98559/17932418
3099.38/3102.77	c cleaning 8996 clauses out of 24393 with flag 127621/17941421
3100.79/3104.18	c cleaning 9994 clauses out of 25397 with flag 158953/17951421
3102.38/3105.77	c cleaning 11005 clauses out of 26401 with flag 193322/17962419
3104.17/3107.54	c cleaning 11995 clauses out of 27397 with flag 231050/17974420
3106.07/3109.49	c cleaning 13008 clauses out of 28401 with flag 271756/17987419
3108.26/3111.64	c cleaning 13999 clauses out of 29392 with flag 317462/18001418
3110.46/3113.87	c cleaning 14993 clauses out of 30394 with flag 363135/18016419
3112.85/3116.28	c cleaning 15693 clauses out of 31400 with flag 412144/18032418
3115.55/3118.93	c cleaning 16337 clauses out of 32708 with flag 466272/18049419
3118.34/3121.73	c cleaning 17170 clauses out of 34370 with flag 525789/18067418
3121.23/3124.63	c cleaning 18088 clauses out of 36202 with flag 588917/18086420
3124.33/3127.72	c cleaning 19039 clauses out of 38112 with flag 656367/18106418
3127.52/3130.90	c cleaning 20022 clauses out of 40073 with flag 729270/18127418
3130.72/3134.18	c cleaning 20987 clauses out of 42051 with flag 799648/18149418
3134.50/3137.94	c cleaning 22016 clauses out of 44064 with flag 882339/18172418
3138.40/3141.89	c cleaning 23015 clauses out of 46051 with flag 968710/18196421
3142.49/3145.96	c cleaning 24004 clauses out of 48034 with flag 1059159/18221419
3146.68/3150.16	c cleaning 24997 clauses out of 50030 with flag 1156369/18247419
3150.97/3154.45	c cleaning 25999 clauses out of 52032 with flag 1253142/18274418
3155.36/3158.84	c cleaning 27007 clauses out of 54034 with flag 1355502/18302419
3160.05/3163.52	c cleaning 27999 clauses out of 56026 with flag 1467324/18331418
3164.74/3168.27	c cleaning 28992 clauses out of 58027 with flag 1578434/18361418
3169.64/3173.14	c cleaning 30004 clauses out of 60035 with flag 1688830/18392418
3174.72/3178.28	c cleaning 30992 clauses out of 62032 with flag 1815565/18424419
3180.21/3183.78	c cleaning 31999 clauses out of 64040 with flag 1956500/18457419
3185.79/3189.39	c cleaning 32989 clauses out of 66040 with flag 2102226/18491418
3191.59/3195.15	c cleaning 34012 clauses out of 68051 with flag 2239531/18526418
3197.67/3201.26	c cleaning 35007 clauses out of 70039 with flag 2383593/18562418
3203.75/3207.33	c cleaning 35991 clauses out of 72036 with flag 2539937/18599422
3210.04/3213.63	c cleaning 36997 clauses out of 74041 with flag 2686951/18637418
3216.62/3220.20	c cleaning 37979 clauses out of 76044 with flag 2842566/18676418
3223.41/3227.05	c cleaning 39020 clauses out of 78065 with flag 2997477/18716418
3230.29/3233.96	c cleaning 40008 clauses out of 80045 with flag 3175586/18757418
3237.27/3240.94	c cleaning 40994 clauses out of 82037 with flag 3347778/18799418
3244.46/3248.16	c cleaning 42001 clauses out of 84043 with flag 3531542/18842418
3251.85/3255.55	c cleaning 42998 clauses out of 86044 with flag 3722376/18886420
3259.43/3263.17	c cleaning 44008 clauses out of 88045 with flag 3917958/18931419
3267.31/3271.04	c cleaning 45001 clauses out of 90036 with flag 4126495/18977418
3274.99/3278.71	c cleaning 45987 clauses out of 92035 with flag 4330458/19024418
3282.88/3286.67	c cleaning 47011 clauses out of 94050 with flag 4541891/19072420
3291.56/3295.33	c cleaning 48007 clauses out of 96040 with flag 4765486/19121421
3300.24/3304.04	c cleaning 48991 clauses out of 98030 with flag 5016677/19171418
3309.22/3313.01	c cleaning 49997 clauses out of 100039 with flag 5259447/19222418
3318.59/3322.41	c cleaning 51000 clauses out of 102042 with flag 5510591/19274418
3327.97/3331.86	c cleaning 51996 clauses out of 104042 with flag 5769460/19327418
3337.36/3341.29	c cleaning 53008 clauses out of 106046 with flag 6023924/19381418
3347.04/3350.93	c cleaning 53994 clauses out of 108038 with flag 6299306/19436418
3356.61/3360.59	c cleaning 55011 clauses out of 110045 with flag 6545676/19492419
3366.49/3370.44	c cleaning 56009 clauses out of 112034 with flag 6816005/19549419
3376.27/3380.25	c cleaning 56987 clauses out of 114025 with flag 7073284/19607419
3386.72/3390.68	c cleaning 58001 clauses out of 116039 with flag 7321271/19666420
3397.10/3401.05	c cleaning 59014 clauses out of 118039 with flag 7614752/19726421
3407.08/3411.10	c cleaning 60001 clauses out of 120025 with flag 7868772/19787421
3418.15/3422.11	c cleaning 60989 clauses out of 122021 with flag 8166678/19849418
3428.62/3432.68	c cleaning 62005 clauses out of 124033 with flag 8462444/19912419
3439.69/3443.70	c cleaning 62994 clauses out of 126029 with flag 8774535/19976420
3450.66/3454.73	c cleaning 64001 clauses out of 128034 with flag 9094996/20041419
3461.24/3465.30	c cleaning 64986 clauses out of 130032 with flag 9418159/20107418
3472.31/3476.43	c cleaning 66005 clauses out of 132047 with flag 9746028/20174419
3483.68/3487.82	c cleaning 66988 clauses out of 134041 with flag 10112219/20242418
3495.37/3499.55	c cleaning 68008 clauses out of 136053 with flag 10443931/20311418
3507.24/3511.47	c cleaning 68985 clauses out of 138045 with flag 10810459/20381418
3519.92/3524.16	c cleaning 69998 clauses out of 140061 with flag 11196814/20452419
3532.38/3536.63	c cleaning 71011 clauses out of 142062 with flag 11563494/20524418
3544.75/3549.10	c cleaning 72003 clauses out of 144051 with flag 11926868/20597418
3557.22/3561.50	c cleaning 72991 clauses out of 146048 with flag 12273934/20671418
3569.99/3574.34	c cleaning 73999 clauses out of 148057 with flag 12635587/20746418
3583.16/3587.51	c cleaning 75012 clauses out of 150058 with flag 12991300/20822418
3597.13/3601.56	c cleaning 76006 clauses out of 152046 with flag 13413328/20899418
3600.02/3604.41	c starts		: 869
3600.02/3604.43	c conflicts		: 20917631
3600.02/3604.43	c decisions		: 48470874
3600.02/3604.43	c propagations		: 9353268956
3600.02/3604.43	c inspects		: 29527493519
3600.02/3604.43	c shortcuts		: 0
3600.02/3604.43	c learnt literals	: 0
3600.02/3604.43	c learnt binary clauses	: 852
3600.02/3604.43	c learnt ternary clauses	: 1072
3600.02/3604.43	c learnt constraints	: 20917631
3600.02/3604.43	c ignored constraints	: 0
3600.02/3604.43	c root simplifications	: 0
3600.02/3604.43	c removed literals (reason simplification)	: 76987631
3600.02/3604.43	c reason swapping (by a shorter reason)	: 0
3600.02/3604.43	c Calls to reduceDB	: 563
3600.02/3604.43	c Number of update (reduction) of LBD	: 7780861
3600.02/3604.43	c Imported unit clauses	: 0
3600.02/3604.44	c No decision after first conflict	: false
3600.02/3604.44	c number of reductions to clauses (during analyze)	: 0
3600.02/3604.44	c number of learned constraints concerned by reduction	: 0
3600.02/3604.44	c number of learning phase by resolution	: 0
3600.02/3604.44	c number of learning phase by cutting planes	: 0
3600.02/3604.44	c number of rounding to 1 operations	: 0
3600.02/3604.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3604.44	c number of reductions of the coefficients by power 2 	: 0
3600.02/3604.44	c number of right shift for reduction by power 2 	: 0
3600.02/3604.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3604.44	c number of ending skipping 	: 0
3600.02/3604.44	c number of internal skipping 	: 0
3600.02/3604.44	c number of derivation steps 	: 0
3600.02/3604.44	c number of skipped derivation steps 	: 0
3600.02/3604.44	c number of remaining unassigned 	: 0
3600.02/3604.44	c number of remaining assigned 	: 0
3600.02/3604.44	c number of falsified literals weakened from reason	: 0
3600.02/3604.44	c number of falsified literals weakened from conflict	: 0
3600.02/3604.44	c time for arithmetic operations	: 0
3600.02/3604.44	c minimum degree of deleted constraints	: null
3600.02/3604.44	c maximum degree of deleted constraints	: null
3600.02/3604.44	c number of deleted constraints	: 0
3600.02/3604.45	c speed (assignments/second)	: 2595340.2747601885
3600.02/3604.45	c non guided choices	: 7
3600.02/3604.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 93401
3600.02/3604.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 852
3600.02/3604.49	s SATISFIABLE
3600.02/3604.49	c Found 20 solution(s)
3600.02/3604.50	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 
3600.02/3604.50	c objective function=9
3600.02/3604.50	c Total wall clock time (in seconds): 3604.372

Verifier Data 

OK	6

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526486-1751632001/watcher-4526486-1751632001 -o /tmp/evaluation-result-4526486-1751632001/solver-4526486-1751632001 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90090 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526486-1751632001.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100059 s]*
/proc/loadavg: 4.18 4.17 4.12 5/338 93740
/proc/meminfo: memFree=121147676/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=18930384 memory=58036 CPUtime=0.13 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 6592 0 0 0 12 1 0 0 20 0 18 0 78822577 19384713216 14509 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4732596 14509 5372 1 0 547623 0
[pid=93722/tid=93724] ppid=93719 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 5087 0 0 0 7 1 0 0 20 0 18 0 78822578 19384713216 14509 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78822581 19384713216 14509 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=18930384 memory=60684515937227 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78822581 19384713216 14509 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58036 KiB

[startup+0.205777 s]*
/proc/loadavg: 4.18 4.17 4.12 7/338 93740
/proc/meminfo: memFree=121147676/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=18930384 memory=68432 CPUtime=0.32 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 7089 0 0 0 30 2 0 0 20 0 18 0 78822577 19384713216 17108 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4732596 17108 5436 1 0 547970 0
[pid=93722/tid=93724] ppid=93719 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 5279 0 0 0 16 1 0 0 20 0 18 0 78822578 19384713216 17108 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=18930384 memory=16124 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78822581 19384713216 17620 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78822581 19384713216 17620 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68432 KiB

[startup+0.305702 s]*
/proc/loadavg: 4.18 4.17 4.12 7/338 93740
/proc/meminfo: memFree=121143644/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=18930384 memory=117284 CPUtime=0.51 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 8496 0 0 0 48 3 0 0 20 0 18 0 78822577 19384713216 29321 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4732596 29321 5436 1 0 548893 0
[pid=93722/tid=93724] ppid=93719 vsize=18930384 memory=-6000919468478523750 CPUtime=0.27 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 5303 0 0 0 25 2 0 0 20 0 18 0 78822578 19384713216 29321 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78822581 19384713216 29321 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78822581 19384713216 29321 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 117284 KiB

[startup+0.70022 s]
/proc/loadavg: 4.18 4.17 4.12 6/339 93741
/proc/meminfo: memFree=121093800/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=169552 CPUtime=1.27 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 9853 0 0 0 122 5 0 0 20 0 20 0 78822577 19521036288 42388 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 42388 5500 1 0 549966 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=18816 CPUtime=0.6 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 5439 0 0 0 57 3 0 0 20 0 20 0 78822578 19521036288 42388 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 42388 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 42388 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169552 KiB

[startup+1.50023 s]
/proc/loadavg: 4.18 4.17 4.12 6/340 93742
/proc/meminfo: memFree=121084728/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=189208 CPUtime=2.85 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 21944 0 0 0 278 7 0 0 20 0 20 0 78822577 19521036288 47302 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 47302 5500 1 0 554650 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=3328 CPUtime=1.4 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 5609 0 0 0 137 3 0 0 20 0 20 0 78822578 19521036288 47302 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 47302 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 47302 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 47302 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189208 KiB

[startup+3.10555 s]
/proc/loadavg: 4.17 4.17 4.12 5/340 93742
/proc/meminfo: memFree=121071452/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=190084 CPUtime=4.97 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 24902 0 0 0 490 7 0 0 20 0 20 0 78822577 19521036288 47521 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 47521 5532 1 0 555089 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=14848 CPUtime=2.99 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 6641 0 0 0 296 3 0 0 20 0 20 0 78822578 19521036288 47521 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 47521 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 47521 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 47521 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190084 KiB

[startup+6.30019 s]
/proc/loadavg: 4.17 4.17 4.12 5/340 93742
/proc/meminfo: memFree=121071452/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=185780 CPUtime=8.19 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 24977 0 0 0 812 7 0 0 20 0 20 0 78822577 19521036288 46445 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 46445 5532 1 0 555089 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=0 CPUtime=6.18 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 6702 0 0 0 615 3 0 0 20 0 20 0 78822578 19521036288 46445 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 46445 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 46445 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=189208 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 46445 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185780 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.18 4.12 5/340 93742
/proc/meminfo: memFree=121055292/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=200336 CPUtime=14.61 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 28310 0 0 0 1453 8 0 0 20 0 20 0 78822577 19521036288 50084 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 50084 5532 1 0 555089 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=189208 CPUtime=12.54 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 7685 0 0 0 1251 3 0 0 20 0 20 0 78822578 19521036288 50084 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=200336 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 50084 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 50084 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 50084 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 200336 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.17 4.12 5/340 93742
/proc/meminfo: memFree=120883268/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=200464 CPUtime=27.51 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 32175 0 0 0 2742 9 0 0 20 0 20 0 78822577 19521036288 50116 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 50116 5532 1 0 555089 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=0 CPUtime=25.31 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 8247 0 0 0 2528 3 0 0 20 0 20 0 78822578 19521036288 50116 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 50116 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=200464 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 50116 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=200464 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 50116 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 27.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 200464 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.16 4.12 5/341 93744
/proc/meminfo: memFree=120739680/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=208948 CPUtime=53.18 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 34227 0 0 0 5309 9 0 0 20 0 20 0 78822577 19521036288 52237 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 52237 5532 1 0 555089 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=200464 CPUtime=50.84 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 8992 0 0 0 5081 3 0 0 20 0 20 0 78822578 19521036288 52237 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 52237 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 52237 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/342 94440
/proc/meminfo: memFree=98037760/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=2126720 CPUtime=3278.58 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 76505 0 0 0 327754 104 0 0 20 0 20 0 78822577 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 531680 5532 1 0 555105 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=2126720 CPUtime=3272.52 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 30955 0 0 0 327227 25 0 0 20 0 20 0 78822578 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 1886 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 3278.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2126720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/342 94442
/proc/meminfo: memFree=98037648/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=2126720 CPUtime=3338.46 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 77094 0 0 0 333740 106 0 0 20 0 20 0 78822577 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 531680 5532 1 0 555105 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=2126720 CPUtime=3332.38 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 31390 0 0 0 333212 26 0 0 20 0 20 0 78822578 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 531680 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 3338.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2126720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/341 94444
/proc/meminfo: memFree=96823960/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=2129048 CPUtime=3398.39 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 78374 0 0 0 339732 107 0 0 20 0 20 0 78822577 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 532262 5532 1 0 555105 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=2126720 CPUtime=3392.16 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 31504 0 0 0 339190 26 0 0 20 0 20 0 78822578 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 3398.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/342 94513
/proc/meminfo: memFree=101471060/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=2129048 CPUtime=3458.25 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 78411 0 0 0 345718 107 0 0 20 0 20 0 78822577 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 532262 5532 1 0 555105 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=2126720 CPUtime=3452.01 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 31531 0 0 0 345175 26 0 0 20 0 20 0 78822578 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 1935 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=2126720 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 3458.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/342 94518
/proc/meminfo: memFree=101471044/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=2129048 CPUtime=3518.11 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 78915 0 0 0 351703 108 0 0 20 0 20 0 78822577 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 532262 5532 1 0 555105 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=2129048 CPUtime=3511.85 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 31963 0 0 0 351159 26 0 0 20 0 20 0 78822578 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=2129048 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=-6000919468478523750 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 1935 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=2129048 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 3518.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129048 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/342 94525
/proc/meminfo: memFree=101474096/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=2129048 CPUtime=3577.97 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 79693 0 0 0 357689 108 0 0 20 0 20 0 78822577 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 532262 5532 1 0 555105 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=2129048 CPUtime=3571.7 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 32559 0 0 0 357144 26 0 0 20 0 20 0 78822578 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 3577.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.4 s]
/proc/loadavg: 4.14 4.14 4.10 5/342 94527
/proc/meminfo: memFree=101473400/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19063512 memory=2129048 CPUtime=3600.02 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 79770 0 0 0 359893 109 0 0 20 0 20 0 78822577 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4765878 532262 5532 1 0 555105 0
[pid=93722/tid=93724] ppid=93719 vsize=19063512 memory=18816 CPUtime=3593.74 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) R 93719 93722 90077 0 -1 4194368 32630 0 0 0 359348 26 0 0 20 0 20 0 78822578 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 20 0 78822581 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93742] ppid=93719 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/93722/task/93742/stat : 93742 (Timer-0) S 93719 93722 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78822635 19521036288 532262 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.13 s, system=1.11143 s

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

[startup+3604.5 s]
/proc/loadavg: 4.14 4.14 4.10 5/342 94527
/proc/meminfo: memFree=101473400/131250000 swapFree=33010684/33010684
[pid=93722] ppid=93719 vsize=19263204 memory=2130200 CPUtime=3600.22 cores=5,7
/proc/93722/stat : 93722 (java) S 93719 93722 90077 0 -1 4194304 82980 0 0 0 359912 110 0 0 20 0 15 0 78822577 19725520896 532550 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
/proc/93722/statm: 4815801 532550 5564 1 0 556040 0
[pid=93722/tid=93724] ppid=93719 vsize=19263204 memory=2129048 CPUtime=3593.84 cores=5,7
/proc/93722/task/93724/stat : 93724 (java) S 93719 93722 90077 0 -1 4194368 32941 0 0 0 359358 26 0 0 20 0 15 0 78822578 19725520896 532582 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93733] ppid=93719 vsize=19263204 memory=10752 CPUtime=0 cores=5,7
/proc/93722/task/93733/stat : 93733 (Finalizer) S 93719 93722 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 78822581 19725520896 532582 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
[pid=93722/tid=93740] ppid=93719 vsize=19263204 memory=2129048 CPUtime=0 cores=5,7
/proc/93722/task/93740/stat : 93740 (Common-Cleaner) S 93719 93722 90077 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 15 0 78822581 19725520896 532582 18446744073709551615 94717245943808 94717245947504 140721893875392 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717245955320 94717245956112 94717257318400 140721893878143 140721893878244 140721893878244 140721893883848 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2130200 KiB

Child status: 143

Real time (s): 3604.51
CPU time (s): 3600.24
CPU user time (s): 3599.13
CPU system time (s): 1.11143
CPU usage (%): 99.8814
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2130200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.13
system time used= 1.11143
maximum resident set size= 2130456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109488
involuntary context switches= 3229


# summary of solver processes directly reported to runsolver:
#   pid: 93722
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3599.13
#   total CPU system time (s): 1.11143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36962 second user time and 18.0368 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-04 14:26:41
IDJOB=4526486
IDBENCH=144097
IDSOLVER=3380
FILE ID=nodeC028/4526486-1751632001
RUNJOBID= nodeC028-1751628188-90090
SLURM_JOB_ID= 9598960
Free space on /tmp= 431476 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-pedck60-L12_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526486-1751632001/watcher-4526486-1751632001 -o /tmp/evaluation-result-4526486-1751632001/solver-4526486-1751632001 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90090 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4526486-1751632001.wbo

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

MD5SUM BENCH= a03eca185af8829ae31b2e71631e3582
RANDOM SEED=722214576

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121165364 kB
MemAvailable:   123137932 kB
Buffers:            3280 kB
Cached:          2772756 kB
SwapCached:            0 kB
Active:          6975648 kB
Inactive:        2463500 kB
Active(anon):    6681180 kB
Inactive(anon):        0 kB
Active(file):     294468 kB
Inactive(file):  2463500 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2108 kB
Writeback:             0 kB
AnonPages:       6666188 kB
Mapped:           124388 kB
Shmem:             18068 kB
KReclaimable:     107676 kB
Slab:             198140 kB
SReclaimable:     107676 kB
SUnreclaim:        90464 kB
KernelStack:        5152 kB
PageTables:        16584 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7959836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6400000 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431216 MiB
End job on nodeC028 at 2025-07-04 15:26:45