Trace number 4489008

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)229 3600.33 3544.58

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
MD5SUM86551de4ee1411a66be87614daaae1c0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark187
Best CPU time to get the best result obtained on this benchmark3585.81
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables481
Total number of constraints481
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints481
Minimum length of a constraint3
Maximum length of a constraint19
Number of terms in the objective function 481
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 481
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 481
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB25.v20250606
0.09/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.11	c java.vm.version	22.0.1+8-16
0.09/0.11	c java.vm.vendor	Oracle Corporation
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		22.0.1
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.11	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.12	c Number of processors 	2
0.09/0.16	c Pseudo Boolean Optimization by upper bound
0.09/0.16	c --- Begin Solver configuration ---
0.09/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.16	c Learn all clauses as in MiniSAT
0.09/0.16	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.16	c Expensive reason simplification
0.09/0.16	c Glucose 2.1 dynamic restart strategy
0.09/0.16	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.09/0.16	c timeout=2147483s
0.09/0.16	c DB Simplification allowed=false
0.09/0.16	c Listener: none
0.09/0.16	c --- End Solver configuration ---
0.09/0.16	c solving HOME/instance-4489008-1751338555.opb
0.09/0.16	c reading problem ... 
0.09/0.16	c  objective function found
0.26/0.22	c ... done. Wall clock time 0.053s.
0.26/0.22	c declared #vars     481
0.26/0.22	c #constraints  481
0.26/0.22	c constraints type 
0.26/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 481
0.26/0.22	c 481 constraints processed.
0.26/0.24	c objective function length is 481 literals
0.26/0.25	c SATISFIABLE
0.26/0.25	c OPTIMIZING...
0.26/0.25	c Got one! Elapsed wall clock time (in seconds):0.085
0.26/0.25	o 237
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.106
0.26/0.27	o 236
0.84/0.60	c Got one! Elapsed wall clock time (in seconds):0.439
0.84/0.60	o 235
1.42/0.82	c cleaning 2748 clauses out of 5507 with flag 6794/5507
1.98/1.14	c cleaning 4372 clauses out of 8759 with flag 19288/11507
2.12/1.26	c Got one! Elapsed wall clock time (in seconds):1.098
2.12/1.26	o 234
2.23/1.39	c cleaning 5133 clauses out of 10280 with flag 6669/17400
2.52/1.69	c cleaning 5567 clauses out of 11146 with flag 19652/23399
2.85/2.00	c cleaning 6282 clauses out of 12579 with flag 34243/30399
3.25/2.35	c cleaning 7144 clauses out of 14298 with flag 50847/38400
3.75/2.79	c cleaning 8068 clauses out of 16154 with flag 69674/47400
4.25/3.22	c cleaning 9032 clauses out of 18086 with flag 90542/57400
4.45/3.48	c Got one! Elapsed wall clock time (in seconds):3.316
4.45/3.48	o 233
4.91/3.86	c cleaning 10316 clauses out of 20643 with flag 11376/68989
5.22/4.11	c cleaning 8156 clauses out of 16328 with flag 23778/74990
5.52/4.41	c cleaning 7578 clauses out of 15171 with flag 38413/81989
5.88/4.79	c cleaning 7787 clauses out of 15594 with flag 55079/89990
6.47/5.20	c cleaning 8394 clauses out of 16806 with flag 73712/98989
6.96/5.70	c cleaning 9199 clauses out of 18414 with flag 94454/108991
7.41/6.16	c Got one! Elapsed wall clock time (in seconds):5.998
7.41/6.16	o 232
7.70/6.46	c cleaning 11835 clauses out of 23688 with flag 10888/123464
8.03/6.72	c cleaning 8916 clauses out of 17852 with flag 23432/129463
8.40/7.06	c cleaning 7963 clauses out of 15937 with flag 38152/136464
8.79/7.43	c cleaning 7978 clauses out of 15973 with flag 54965/144463
9.19/7.81	c cleaning 8489 clauses out of 16995 with flag 73564/153463
9.58/8.25	c cleaning 9244 clauses out of 18506 with flag 94296/163463
10.14/8.76	c cleaning 10123 clauses out of 20262 with flag 117046/174463
10.73/9.33	c cleaning 11063 clauses out of 22139 with flag 142781/186463
11.49/10.03	c cleaning 12033 clauses out of 24076 with flag 169560/199463
12.18/10.74	c cleaning 13013 clauses out of 26043 with flag 198586/213463
12.89/11.48	c cleaning 14007 clauses out of 28031 with flag 229650/228464
13.74/12.27	c cleaning 15002 clauses out of 30023 with flag 262954/244463
14.71/13.11	c cleaning 15998 clauses out of 32021 with flag 297917/261463
15.50/13.94	c cleaning 16999 clauses out of 34023 with flag 335278/279463
16.40/14.81	c cleaning 18002 clauses out of 36024 with flag 374835/298463
17.54/15.95	c cleaning 18999 clauses out of 38022 with flag 416175/318463
18.81/17.13	c cleaning 20001 clauses out of 40023 with flag 459703/339463
19.81/18.19	c cleaning 21004 clauses out of 42022 with flag 505337/361463
21.17/19.40	c cleaning 22001 clauses out of 44019 with flag 552861/384464
22.27/20.56	c cleaning 23002 clauses out of 46018 with flag 602990/408464
23.60/21.81	c cleaning 23996 clauses out of 48015 with flag 654778/433463
24.86/23.08	c cleaning 25001 clauses out of 50019 with flag 708422/459463
26.36/24.45	c cleaning 26001 clauses out of 52018 with flag 763997/486463
27.65/25.79	c cleaning 26998 clauses out of 54018 with flag 822160/514464
29.19/27.23	c cleaning 27999 clauses out of 56020 with flag 881982/543464
30.89/28.89	c cleaning 28999 clauses out of 58020 with flag 943852/573463
32.51/30.47	c cleaning 30002 clauses out of 60021 with flag 1008174/604463
34.38/32.22	c cleaning 31001 clauses out of 62019 with flag 1074751/636463
36.27/34.05	c cleaning 32000 clauses out of 64018 with flag 1143232/669463
38.06/35.84	c cleaning 32998 clauses out of 66018 with flag 1213983/703463
40.21/37.92	c cleaning 34001 clauses out of 68021 with flag 1286900/738464
42.10/39.83	c cleaning 34998 clauses out of 70019 with flag 1361619/774463
44.00/41.74	c cleaning 36002 clauses out of 72021 with flag 1438618/811463
46.34/43.93	c cleaning 36999 clauses out of 74019 with flag 1516994/849463
48.89/46.31	c cleaning 38002 clauses out of 76021 with flag 1597190/888464
50.99/48.47	c cleaning 39001 clauses out of 78018 with flag 1679545/928463
53.75/50.77	c cleaning 39998 clauses out of 80017 with flag 1765160/969463
56.35/53.23	c cleaning 41003 clauses out of 82019 with flag 1852330/1011463
58.93/55.89	c cleaning 41997 clauses out of 84016 with flag 1941748/1054463
61.74/58.59	c cleaning 42999 clauses out of 86020 with flag 2033134/1098464
64.52/61.36	c cleaning 44000 clauses out of 88021 with flag 2126632/1143464
67.25/64.08	c cleaning 45003 clauses out of 90020 with flag 2222118/1189463
70.31/66.98	c cleaning 46001 clauses out of 92017 with flag 2321114/1236463
73.10/69.77	c cleaning 46996 clauses out of 94016 with flag 2420680/1284463
76.25/72.82	c cleaning 47999 clauses out of 96020 with flag 2521674/1333463
78.95/75.54	c cleaning 49001 clauses out of 98022 with flag 2625582/1383464
82.69/79.18	c cleaning 50005 clauses out of 100022 with flag 2731336/1434465
86.39/82.83	c cleaning 50997 clauses out of 102016 with flag 2838635/1486464
90.47/86.72	c cleaning 52002 clauses out of 104019 with flag 2948596/1539464
94.28/90.35	c cleaning 53000 clauses out of 106017 with flag 3060849/1593464
98.17/94.24	c cleaning 53997 clauses out of 108017 with flag 3174302/1648464
102.31/98.29	c cleaning 55000 clauses out of 110020 with flag 3290063/1704464
106.77/102.06	c cleaning 56001 clauses out of 112019 with flag 3408059/1761463
110.38/105.53	c cleaning 57002 clauses out of 114019 with flag 3529233/1819464
114.47/109.67	c cleaning 57999 clauses out of 116016 with flag 3651087/1878463
118.95/114.02	c cleaning 58997 clauses out of 118018 with flag 3775235/1938464
123.24/118.37	c cleaning 60003 clauses out of 120021 with flag 3901586/1999464
127.61/122.62	c cleaning 60994 clauses out of 122018 with flag 4030457/2061464
131.51/126.57	c cleaning 62001 clauses out of 124025 with flag 4160660/2124465
135.50/130.55	c cleaning 63002 clauses out of 126022 with flag 4293317/2188463
139.99/135.06	c cleaning 64001 clauses out of 128021 with flag 4428241/2253464
145.17/140.24	c cleaning 65001 clauses out of 130019 with flag 4565027/2319463
150.36/145.48	c cleaning 65995 clauses out of 132018 with flag 4704144/2386463
155.45/150.58	c cleaning 66999 clauses out of 134024 with flag 4845882/2454464
160.33/155.46	c cleaning 68002 clauses out of 136025 with flag 4989028/2523464
165.42/160.58	c cleaning 68999 clauses out of 138022 with flag 5133372/2593463
172.93/167.58	c cleaning 70000 clauses out of 140023 with flag 5280467/2664463
178.31/172.99	c cleaning 71003 clauses out of 142023 with flag 5429844/2736463
183.97/178.34	c cleaning 72000 clauses out of 144021 with flag 5580469/2809464
189.29/183.68	c cleaning 73001 clauses out of 146021 with flag 5733629/2883464
195.59/189.73	c cleaning 74002 clauses out of 148019 with flag 5888700/2958463
202.64/195.89	c cleaning 74998 clauses out of 150018 with flag 6047575/3034464
207.97/201.05	c cleaning 75998 clauses out of 152020 with flag 6207210/3111464
213.85/206.95	c cleaning 77000 clauses out of 154022 with flag 6368533/3189464
219.76/212.76	c cleaning 77999 clauses out of 156021 with flag 6533762/3268463
226.91/219.74	c cleaning 79001 clauses out of 158023 with flag 6698978/3348464
234.18/226.84	c cleaning 79996 clauses out of 160022 with flag 6866536/3429464
240.78/233.34	c cleaning 80999 clauses out of 162025 with flag 7035980/3511463
246.86/239.26	c cleaning 82001 clauses out of 164026 with flag 7207458/3594463
253.30/245.50	c cleaning 83001 clauses out of 166026 with flag 7380994/3678464
253.70/245.98	c Got one! Elapsed wall clock time (in seconds):245.818
253.70/245.98	o 231
254.70/246.97	c cleaning 49193 clauses out of 98399 with flag 10879/3693838
255.20/247.43	c cleaning 27596 clauses out of 55206 with flag 23252/3699838
255.51/247.76	c cleaning 17298 clauses out of 34611 with flag 37724/3706839
255.82/248.09	c cleaning 12649 clauses out of 25312 with flag 54359/3714838
256.21/248.41	c cleaning 10824 clauses out of 21663 with flag 73144/3723838
256.61/248.80	c cleaning 10411 clauses out of 20839 with flag 93836/3733838
257.01/249.27	c cleaning 10704 clauses out of 21428 with flag 116701/3744838
257.53/249.78	c cleaning 11350 clauses out of 22724 with flag 141611/3756838
258.13/250.31	c cleaning 12177 clauses out of 24374 with flag 168701/3769838
258.63/250.89	c cleaning 13089 clauses out of 26199 with flag 197950/3783840
259.32/251.54	c cleaning 14046 clauses out of 28109 with flag 230265/3798839
260.02/252.25	c cleaning 15025 clauses out of 30062 with flag 263751/3814838
260.83/253.01	c cleaning 16009 clauses out of 32038 with flag 298869/3831839
261.62/253.83	c cleaning 17005 clauses out of 34028 with flag 336215/3849838
262.67/254.83	c cleaning 18001 clauses out of 36024 with flag 375522/3868839
263.66/255.81	c cleaning 19002 clauses out of 38023 with flag 417550/3888839
264.87/257.04	c cleaning 20001 clauses out of 40020 with flag 461493/3909838
265.86/258.05	c cleaning 20999 clauses out of 42019 with flag 506887/3931838
267.06/259.23	c cleaning 22003 clauses out of 44021 with flag 554479/3954839
268.15/260.36	c cleaning 22993 clauses out of 46017 with flag 604322/3978838
269.53/261.61	c cleaning 24003 clauses out of 48024 with flag 656031/4003838
270.73/262.88	c cleaning 25003 clauses out of 50022 with flag 710101/4029839
272.13/264.20	c cleaning 25997 clauses out of 52018 with flag 765956/4056838
273.52/265.69	c cleaning 27000 clauses out of 54021 with flag 823724/4084838
275.12/267.23	c cleaning 28000 clauses out of 56021 with flag 883675/4113838
276.71/268.83	c cleaning 29000 clauses out of 58021 with flag 945680/4143838
278.48/270.59	c cleaning 29997 clauses out of 60021 with flag 1009675/4174838
280.36/272.46	c cleaning 31003 clauses out of 62025 with flag 1075497/4206839
282.25/274.34	c cleaning 31998 clauses out of 64021 with flag 1143249/4239838
284.25/276.38	c cleaning 33004 clauses out of 66023 with flag 1214215/4273838
286.34/278.47	c cleaning 33998 clauses out of 68020 with flag 1286241/4308839
288.54/280.62	c cleaning 35004 clauses out of 70022 with flag 1360753/4344839
290.79/282.88	c cleaning 35997 clauses out of 72018 with flag 1437536/4381839
293.18/285.26	c cleaning 37004 clauses out of 74021 with flag 1515512/4419839
295.98/288.08	c cleaning 37999 clauses out of 76016 with flag 1595743/4458838
298.37/290.47	c cleaning 38994 clauses out of 78018 with flag 1678418/4498839
300.86/292.98	c cleaning 40002 clauses out of 80023 with flag 1763375/4539838
303.65/295.71	c cleaning 41000 clauses out of 82021 with flag 1850347/4581838
306.22/298.20	c cleaning 42001 clauses out of 84023 with flag 1939137/4624840
308.91/300.97	c cleaning 43001 clauses out of 86021 with flag 2030405/4668839
311.61/303.63	c cleaning 43996 clauses out of 88019 with flag 2123217/4713838
314.30/306.37	c cleaning 45002 clauses out of 90024 with flag 2218492/4759839
317.10/309.15	c cleaning 45999 clauses out of 92021 with flag 2316011/4806838
319.99/312.05	c cleaning 46997 clauses out of 94022 with flag 2415290/4854838
323.37/315.21	c cleaning 48000 clauses out of 96025 with flag 2516271/4903838
326.27/318.15	c cleaning 48998 clauses out of 98025 with flag 2620404/4953838
329.27/321.14	c cleaning 50006 clauses out of 100027 with flag 2725775/5004838
332.45/324.38	c cleaning 50997 clauses out of 102021 with flag 2833348/5056838
335.85/327.75	c cleaning 52002 clauses out of 104024 with flag 2943004/5109838
340.26/331.63	c cleaning 53002 clauses out of 106024 with flag 3054194/5163840
344.15/335.50	c cleaning 54000 clauses out of 108021 with flag 3168125/5218839
347.74/339.11	c cleaning 54997 clauses out of 110021 with flag 3283966/5274839
351.34/342.74	c cleaning 56002 clauses out of 112024 with flag 3402075/5331839
355.23/346.62	c cleaning 57001 clauses out of 114021 with flag 3522418/5389838
359.30/350.63	c cleaning 57996 clauses out of 116022 with flag 3645034/5448840
363.19/354.57	c cleaning 59000 clauses out of 118025 with flag 3768852/5508839
367.87/359.25	c cleaning 60001 clauses out of 120025 with flag 3895142/5569839
371.77/363.16	c cleaning 61000 clauses out of 122024 with flag 4023826/5631839
375.85/367.24	c cleaning 62000 clauses out of 124023 with flag 4154353/5694838
379.84/371.24	c cleaning 62998 clauses out of 126024 with flag 4286477/5758839
384.87/376.13	c cleaning 63997 clauses out of 128025 with flag 4420930/5823838
389.66/380.95	c cleaning 65003 clauses out of 130029 with flag 4558347/5889839
394.15/385.42	c cleaning 66003 clauses out of 132026 with flag 4697142/5956839
398.54/389.81	c cleaning 66997 clauses out of 134022 with flag 4838361/6024838
403.12/394.41	c cleaning 67999 clauses out of 136026 with flag 4981254/6093839
408.01/399.29	c cleaning 68999 clauses out of 138027 with flag 5125941/6163839
413.20/404.44	c cleaning 70004 clauses out of 140028 with flag 5272591/6234839
417.80/409.07	c cleaning 70997 clauses out of 142023 with flag 5421391/6306838
422.89/414.19	c cleaning 72004 clauses out of 144026 with flag 5572961/6379838
427.78/419.02	c cleaning 73002 clauses out of 146023 with flag 5725950/6453839
432.77/424.10	c cleaning 73998 clauses out of 148021 with flag 5880655/6528839
438.70/429.84	c cleaning 75004 clauses out of 150024 with flag 6038392/6604840
444.39/435.53	c cleaning 75996 clauses out of 152019 with flag 6197287/6681839
450.07/441.21	c cleaning 77001 clauses out of 154023 with flag 6359045/6759839
456.33/447.37	c cleaning 77997 clauses out of 156022 with flag 6522625/6838839
462.52/453.50	c cleaning 79003 clauses out of 158025 with flag 6687680/6918839
468.91/459.92	c cleaning 79995 clauses out of 160022 with flag 6854711/6999839
475.09/466.18	c cleaning 81001 clauses out of 162026 with flag 7024423/7081838
481.73/472.55	c cleaning 81999 clauses out of 164026 with flag 7195638/7164839
488.32/479.13	c cleaning 83001 clauses out of 166026 with flag 7369609/7248838
494.91/485.67	c cleaning 84002 clauses out of 168026 with flag 7544762/7333839
500.89/491.68	c cleaning 84998 clauses out of 170024 with flag 7722623/7419839
508.45/498.91	c cleaning 85999 clauses out of 172026 with flag 7902450/7506839
515.43/505.99	c cleaning 87004 clauses out of 174026 with flag 8084555/7594838
522.29/512.68	c cleaning 88001 clauses out of 176023 with flag 8268523/7683839
529.08/519.41	c cleaning 89000 clauses out of 178022 with flag 8455165/7773839
536.08/526.32	c cleaning 89998 clauses out of 180022 with flag 8643687/7864839
543.37/533.63	c cleaning 91004 clauses out of 182023 with flag 8834269/7956838
550.32/540.49	c cleaning 92002 clauses out of 184020 with flag 9027232/8049839
557.10/547.25	c cleaning 92997 clauses out of 186018 with flag 9223244/8143839
565.18/555.14	c cleaning 93998 clauses out of 188021 with flag 9418782/8238839
572.02/561.88	c cleaning 94998 clauses out of 190022 with flag 9617348/8334838
579.21/569.00	c cleaning 96003 clauses out of 192025 with flag 9818352/8431839
586.49/576.39	c cleaning 97001 clauses out of 194022 with flag 10020551/8529839
593.97/583.82	c cleaning 98000 clauses out of 196021 with flag 10224283/8628839
601.47/591.26	c cleaning 99000 clauses out of 198020 with flag 10431092/8728838
609.05/598.88	c cleaning 99997 clauses out of 200020 with flag 10641075/8829838
618.82/608.31	c cleaning 101003 clauses out of 202023 with flag 10850562/8931838
629.10/617.49	c cleaning 101998 clauses out of 204021 with flag 11062900/9034839
639.39/627.59	c cleaning 103000 clauses out of 206022 with flag 11278737/9138838
651.45/639.45	c cleaning 104000 clauses out of 208022 with flag 11498942/9243838
662.18/650.01	c cleaning 105004 clauses out of 210022 with flag 11718275/9349838
672.97/660.73	c cleaning 105999 clauses out of 212018 with flag 11940378/9456838
682.79/670.46	c cleaning 106998 clauses out of 214019 with flag 12163902/9564838
693.05/680.57	c cleaning 108000 clauses out of 216022 with flag 12390308/9673839
703.12/690.54	c cleaning 109000 clauses out of 218021 with flag 12619025/9783838
713.29/700.69	c cleaning 110003 clauses out of 220021 with flag 12848356/9894838
723.35/710.42	c cleaning 110998 clauses out of 222019 with flag 13080403/10006839
733.17/720.15	c cleaning 111999 clauses out of 224020 with flag 13314228/10119838
743.96/730.77	c cleaning 112998 clauses out of 226021 with flag 13551701/10233838
755.36/740.99	c cleaning 114001 clauses out of 228023 with flag 13789136/10348838
766.38/751.94	c cleaning 115002 clauses out of 230023 with flag 14028751/10464839
777.67/763.06	c cleaning 116000 clauses out of 232020 with flag 14270216/10581838
789.57/774.84	c cleaning 116999 clauses out of 234020 with flag 14514631/10699838
801.25/786.36	c cleaning 118001 clauses out of 236022 with flag 14760380/10818839
812.91/797.87	c cleaning 118993 clauses out of 238020 with flag 15008533/10938838
825.75/810.68	c cleaning 120003 clauses out of 240027 with flag 15259254/11059838
839.35/824.26	c cleaning 121002 clauses out of 242024 with flag 15511770/11181838
852.77/837.39	c cleaning 121996 clauses out of 244023 with flag 15764828/11304839
866.31/850.78	c cleaning 123001 clauses out of 246026 with flag 16022805/11428838
878.55/863.00	c cleaning 124000 clauses out of 248025 with flag 16281714/11553838
891.54/875.83	c cleaning 124997 clauses out of 250025 with flag 16543218/11679838
904.57/888.70	c cleaning 125998 clauses out of 252028 with flag 16806238/11806838
916.94/900.95	c cleaning 127001 clauses out of 254030 with flag 17070819/11934838
930.69/914.53	c cleaning 128002 clauses out of 256029 with flag 17337632/12063838
944.33/928.02	c cleaning 129003 clauses out of 258027 with flag 17606638/12193838
958.17/941.71	c cleaning 130000 clauses out of 260025 with flag 17877508/12324839
970.28/953.71	c cleaning 131004 clauses out of 262025 with flag 18151612/12456839
984.01/966.19	c cleaning 131999 clauses out of 264020 with flag 18426940/12589838
988.10/970.24	c Got one! Elapsed wall clock time (in seconds):970.077
988.10/970.24	o 230
990.70/972.81	c cleaning 102348 clauses out of 204711 with flag 10540/12662528
991.79/973.92	c cleaning 54172 clauses out of 108363 with flag 22951/12668528
992.29/974.48	c cleaning 30587 clauses out of 61192 with flag 37426/12675529
992.71/974.89	c cleaning 19294 clauses out of 38605 with flag 54281/12683529
993.11/975.29	c cleaning 14149 clauses out of 28312 with flag 72923/12692530
993.61/975.73	c cleaning 12078 clauses out of 24162 with flag 93598/12702529
994.10/976.21	c cleaning 11534 clauses out of 23084 with flag 116188/12713529
994.60/976.72	c cleaning 11766 clauses out of 23549 with flag 140879/12725528
995.20/977.31	c cleaning 12381 clauses out of 24783 with flag 167776/12738528
995.80/977.94	c cleaning 13193 clauses out of 26403 with flag 196983/12752529
996.50/978.65	c cleaning 14094 clauses out of 28209 with flag 227983/12767528
997.29/979.40	c cleaning 15047 clauses out of 30115 with flag 261078/12783528
998.09/980.24	c cleaning 16023 clauses out of 32068 with flag 296169/12800528
999.01/981.14	c cleaning 17013 clauses out of 34046 with flag 333760/12818529
999.91/982.05	c cleaning 18006 clauses out of 36033 with flag 373597/12837529
1000.91/983.03	c cleaning 19006 clauses out of 38029 with flag 415243/12857531
1001.91/984.03	c cleaning 20001 clauses out of 40020 with flag 458547/12878528
1003.01/985.14	c cleaning 21000 clauses out of 42019 with flag 504093/12900528
1004.21/986.30	c cleaning 22002 clauses out of 44019 with flag 551675/12923528
1005.40/987.51	c cleaning 22999 clauses out of 46017 with flag 601536/12947528
1006.75/988.84	c cleaning 23996 clauses out of 48018 with flag 653384/12972528
1007.95/990.09	c cleaning 25000 clauses out of 50022 with flag 706926/12998528
1009.54/991.60	c cleaning 25999 clauses out of 52023 with flag 762576/13025529
1010.94/993.08	c cleaning 27003 clauses out of 54025 with flag 820546/13053530
1012.63/994.70	c cleaning 28000 clauses out of 56020 with flag 880268/13082528
1014.33/996.42	c cleaning 29000 clauses out of 58021 with flag 943402/13112529
1015.98/998.08	c cleaning 30001 clauses out of 60020 with flag 1007483/13143528
1017.87/999.91	c cleaning 31001 clauses out of 62020 with flag 1073649/13175529
1019.56/1001.69	c cleaning 32000 clauses out of 64019 with flag 1142154/13208529
1021.36/1003.43	c cleaning 32999 clauses out of 66019 with flag 1212228/13242529
1023.35/1005.44	c cleaning 34003 clauses out of 68019 with flag 1284400/13277528
1025.74/1007.72	c cleaning 34997 clauses out of 70016 with flag 1358364/13313528
1028.04/1010.02	c cleaning 36003 clauses out of 72020 with flag 1434544/13350529
1030.43/1012.48	c cleaning 36997 clauses out of 74017 with flag 1512605/13388529
1032.72/1014.73	c cleaning 38000 clauses out of 76019 with flag 1592752/13427528
1035.02/1017.06	c cleaning 38998 clauses out of 78019 with flag 1675277/13467528
1037.65/1019.67	c cleaning 40003 clauses out of 80022 with flag 1759699/13508529
1040.34/1022.33	c cleaning 40999 clauses out of 82018 with flag 1846212/13550528
1042.93/1024.90	c cleaning 41998 clauses out of 84020 with flag 1935127/13593529
1045.84/1027.82	c cleaning 43000 clauses out of 86021 with flag 2025602/13637528
1048.73/1030.77	c cleaning 44000 clauses out of 88022 with flag 2118561/13682529
1051.88/1033.82	c cleaning 45001 clauses out of 90023 with flag 2213560/13728530
1054.77/1036.77	c cleaning 45995 clauses out of 92020 with flag 2311068/13775528
1058.07/1040.06	c cleaning 47002 clauses out of 94026 with flag 2409735/13823529
1061.36/1043.33	c cleaning 48000 clauses out of 96023 with flag 2510956/13872528
1064.99/1046.89	c cleaning 49002 clauses out of 98023 with flag 2614348/13922528
1068.47/1050.33	c cleaning 50000 clauses out of 100021 with flag 2719990/13973528
1071.96/1053.87	c cleaning 50997 clauses out of 102022 with flag 2827744/14025529
1075.16/1057.06	c cleaning 52001 clauses out of 104025 with flag 2937130/14078529
1078.89/1060.67	c cleaning 53000 clauses out of 106023 with flag 3048139/14132528
1082.18/1063.93	c cleaning 54001 clauses out of 108024 with flag 3162625/14187529
1085.67/1067.46	c cleaning 55001 clauses out of 110024 with flag 3278878/14243530
1089.66/1071.42	c cleaning 56000 clauses out of 112021 with flag 3398850/14300528
1094.15/1075.84	c cleaning 56997 clauses out of 114021 with flag 3518622/14358528
1098.23/1079.91	c cleaning 58001 clauses out of 116024 with flag 3640608/14417528
1102.22/1083.91	c cleaning 59000 clauses out of 118023 with flag 3764630/14477528
1106.31/1088.06	c cleaning 60001 clauses out of 120023 with flag 3891009/14538528
1110.51/1092.16	c cleaning 60996 clauses out of 122022 with flag 4019318/14600528
1114.69/1096.32	c cleaning 62003 clauses out of 124027 with flag 4149506/14663529
1119.68/1101.33	c cleaning 63003 clauses out of 126023 with flag 4281562/14727528
1124.07/1105.76	c cleaning 63998 clauses out of 128021 with flag 4415713/14792529
1128.89/1110.41	c cleaning 64996 clauses out of 130022 with flag 4552673/14858528
1134.28/1115.85	c cleaning 66002 clauses out of 132026 with flag 4690861/14925528
1139.47/1121.01	c cleaning 67003 clauses out of 134025 with flag 4831156/14993529
1143.95/1125.54	c cleaning 68003 clauses out of 136022 with flag 4973766/15062529
1149.01/1130.41	c cleaning 68998 clauses out of 138018 with flag 5118308/15132528
1153.80/1135.28	c cleaning 70001 clauses out of 140021 with flag 5265118/15203529
1159.09/1140.57	c cleaning 71000 clauses out of 142020 with flag 5413557/15275529
1164.48/1145.99	c cleaning 71998 clauses out of 144019 with flag 5564869/15348528
1170.06/1151.47	c cleaning 72998 clauses out of 146021 with flag 5717705/15422528
1175.55/1156.97	c cleaning 73997 clauses out of 148023 with flag 5873496/15497528
1181.64/1163.03	c cleaning 75004 clauses out of 150026 with flag 6029936/15573528
1187.82/1169.24	c cleaning 75998 clauses out of 152022 with flag 6189063/15650528
1194.97/1176.21	c cleaning 77004 clauses out of 154024 with flag 6350255/15728528
1201.15/1182.44	c cleaning 77996 clauses out of 156020 with flag 6514126/15807528
1207.23/1188.53	c cleaning 79000 clauses out of 158025 with flag 6680697/15887529
1213.64/1194.87	c cleaning 79996 clauses out of 160024 with flag 6850993/15968528
1220.61/1201.82	c cleaning 81003 clauses out of 162029 with flag 7020448/16050529
1226.39/1207.64	c cleaning 81999 clauses out of 164025 with flag 7192120/16133528
1230.88/1212.11	c Got one! Elapsed wall clock time (in seconds):1211.95
1230.88/1212.11	o 229
1232.88/1214.17	c cleaning 77892 clauses out of 155800 with flag 11384/16207302
1233.87/1215.18	c cleaning 41942 clauses out of 83907 with flag 24216/16213301
1234.41/1215.67	c cleaning 24471 clauses out of 48965 with flag 38741/16220301
1234.81/1216.02	c cleaning 16237 clauses out of 32494 with flag 55347/16228301
1235.21/1216.40	c cleaning 12616 clauses out of 25257 with flag 74021/16237301
1235.61/1216.82	c cleaning 11312 clauses out of 22642 with flag 95105/16247302
1236.00/1217.27	c cleaning 11154 clauses out of 22330 with flag 117898/16258302
1236.60/1217.80	c cleaning 11577 clauses out of 23175 with flag 142680/16270301
1237.20/1218.43	c cleaning 12289 clauses out of 24598 with flag 170701/16283301
1237.80/1219.05	c cleaning 13146 clauses out of 26309 with flag 199544/16297301
1238.40/1219.68	c cleaning 14070 clauses out of 28164 with flag 230473/16312302
1239.10/1220.39	c cleaning 15035 clauses out of 30093 with flag 263413/16328301
1239.99/1221.21	c cleaning 16017 clauses out of 32058 with flag 298332/16345301
1240.80/1222.04	c cleaning 17012 clauses out of 34043 with flag 335476/16363303
1241.69/1222.91	c cleaning 18002 clauses out of 36030 with flag 374728/16382302
1242.69/1223.91	c cleaning 19002 clauses out of 38028 with flag 415899/16402302
1243.79/1225.01	c cleaning 20000 clauses out of 40026 with flag 459018/16423302
1244.88/1226.16	c cleaning 21006 clauses out of 42027 with flag 504968/16445303
1246.08/1227.36	c cleaning 21998 clauses out of 44020 with flag 552540/16468302
1247.47/1228.73	c cleaning 22997 clauses out of 46022 with flag 602187/16492302
1248.97/1230.22	c cleaning 23998 clauses out of 48024 with flag 654055/16517301
1250.36/1231.60	c cleaning 24999 clauses out of 50026 with flag 707510/16543301
1251.76/1233.02	c cleaning 26003 clauses out of 52028 with flag 763625/16570302
1253.26/1234.51	c cleaning 27005 clauses out of 54025 with flag 821492/16598302
1254.75/1236.02	c cleaning 27999 clauses out of 56020 with flag 881194/16627302
1256.34/1237.66	c cleaning 28996 clauses out of 58020 with flag 942945/16657301
1257.84/1239.16	c cleaning 30002 clauses out of 60024 with flag 1006944/16688301
1259.54/1240.89	c cleaning 30998 clauses out of 62023 with flag 1072870/16720302
1261.64/1242.93	c cleaning 32000 clauses out of 64025 with flag 1140983/16753302
1263.53/1244.80	c cleaning 33003 clauses out of 66025 with flag 1211341/16787302
1265.32/1246.69	c cleaning 33998 clauses out of 68021 with flag 1283638/16822301
1267.61/1248.85	c cleaning 35002 clauses out of 70025 with flag 1358011/16858303
1269.81/1251.03	c cleaning 36000 clauses out of 72021 with flag 1434207/16895301
1271.90/1253.17	c cleaning 36998 clauses out of 74021 with flag 1512544/16933301
1274.09/1255.32	c cleaning 37998 clauses out of 76024 with flag 1593281/16972302
1276.39/1257.61	c cleaning 38997 clauses out of 78025 with flag 1675937/17012301
1278.98/1260.21	c cleaning 40002 clauses out of 80028 with flag 1760585/17053301
1281.47/1262.73	c cleaning 41001 clauses out of 82026 with flag 1847363/17095301
1284.17/1265.48	c cleaning 42002 clauses out of 84025 with flag 1936111/17138301
1287.17/1268.41	c cleaning 42999 clauses out of 86024 with flag 2026735/17182302
1289.96/1271.23	c cleaning 43999 clauses out of 88024 with flag 2120114/17227301
1292.85/1274.17	c cleaning 45000 clauses out of 90026 with flag 2215360/17273302
1295.54/1276.89	c cleaning 46000 clauses out of 92025 with flag 2312852/17320301
1298.63/1279.92	c cleaning 47002 clauses out of 94025 with flag 2411873/17368301
1301.63/1282.91	c cleaning 48002 clauses out of 96024 with flag 2513241/17417302
1305.04/1286.22	c cleaning 48998 clauses out of 98021 with flag 2616720/17467301
1308.23/1289.48	c cleaning 49997 clauses out of 100024 with flag 2722382/17518302
1311.52/1292.76	c cleaning 51003 clauses out of 102027 with flag 2829859/17570302
1315.01/1296.25	c cleaning 51995 clauses out of 104023 with flag 2939422/17623301
1318.70/1299.93	c cleaning 52999 clauses out of 106029 with flag 3050963/17677302
1322.79/1304.06	c cleaning 54003 clauses out of 108030 with flag 3164275/17732302
1326.57/1307.83	c cleaning 54999 clauses out of 110027 with flag 3279991/17788302
1330.36/1311.66	c cleaning 56000 clauses out of 112028 with flag 3398018/17845302
1333.96/1315.22	c cleaning 56994 clauses out of 114028 with flag 3518839/17903302
1337.65/1318.99	c cleaning 58002 clauses out of 116033 with flag 3641097/17962301
1341.54/1322.88	c cleaning 59006 clauses out of 118032 with flag 3765026/18022302
1345.63/1326.97	c cleaning 60003 clauses out of 120026 with flag 3891173/18083302
1350.12/1331.31	c cleaning 61002 clauses out of 122023 with flag 4019433/18145302
1354.21/1335.43	c cleaning 61999 clauses out of 124021 with flag 4149482/18208302
1358.61/1339.82	c cleaning 62999 clauses out of 126022 with flag 4281792/18272302
1362.90/1344.11	c cleaning 63996 clauses out of 128022 with flag 4417308/18337301
1367.28/1348.50	c cleaning 65003 clauses out of 130027 with flag 4553951/18403302
1371.67/1352.95	c cleaning 66000 clauses out of 132023 with flag 4692498/18470301
1376.35/1357.64	c cleaning 66999 clauses out of 134024 with flag 4832675/18538302
1381.04/1362.36	c cleaning 67997 clauses out of 136024 with flag 4975423/18607301
1386.52/1367.80	c cleaning 69001 clauses out of 138027 with flag 5119641/18677301
1392.96/1374.12	c cleaning 70003 clauses out of 140027 with flag 5265990/18748302
1399.44/1380.67	c cleaning 71003 clauses out of 142023 with flag 5416245/18820301
1405.72/1386.93	c cleaning 72000 clauses out of 144021 with flag 5567518/18893302
1411.81/1393.01	c cleaning 73002 clauses out of 146021 with flag 5720342/18967302
1417.80/1399.05	c cleaning 74000 clauses out of 148018 with flag 5877059/19042301
1424.18/1405.43	c cleaning 74997 clauses out of 150019 with flag 6035270/19118302
1430.27/1411.58	c cleaning 76001 clauses out of 152021 with flag 6195053/19195301
1436.66/1417.95	c cleaning 77000 clauses out of 154021 with flag 6357745/19273302
1443.85/1424.92	c cleaning 78000 clauses out of 156020 with flag 6521112/19352301
1451.56/1431.93	c cleaning 79003 clauses out of 158022 with flag 6685765/19432303
1457.76/1438.11	c cleaning 80000 clauses out of 160018 with flag 6853514/19513302
1464.14/1444.54	c cleaning 80998 clauses out of 162018 with flag 7023027/19595302
1470.73/1451.18	c cleaning 82001 clauses out of 164020 with flag 7196013/19678302
1478.50/1458.92	c cleaning 83000 clauses out of 166019 with flag 7369761/19762302
1485.88/1466.38	c cleaning 83997 clauses out of 168019 with flag 7545224/19847302
1493.67/1474.16	c cleaning 85001 clauses out of 170021 with flag 7724060/19933301
1501.37/1481.74	c cleaning 86001 clauses out of 172021 with flag 7905443/20020302
1508.65/1489.01	c cleaning 87000 clauses out of 174019 with flag 8087777/20108301
1515.83/1496.23	c cleaning 87993 clauses out of 176020 with flag 8271666/20197302
1522.72/1503.13	c cleaning 89006 clauses out of 178028 with flag 8458258/20287303
1529.61/1510.09	c cleaning 90002 clauses out of 180020 with flag 8647749/20378301
1536.99/1517.44	c cleaning 90997 clauses out of 182019 with flag 8839521/20470302
1544.48/1524.77	c cleaning 91997 clauses out of 184021 with flag 9032007/20563301
1554.19/1534.27	c cleaning 93004 clauses out of 186024 with flag 9226245/20657301
1564.27/1544.32	c cleaning 93998 clauses out of 188021 with flag 9422517/20752302
1571.86/1551.95	c cleaning 94998 clauses out of 190022 with flag 9620009/20848301
1579.89/1559.84	c cleaning 96003 clauses out of 192025 with flag 9819671/20945302
1587.68/1567.67	c cleaning 97004 clauses out of 194021 with flag 10021725/21043301
1596.55/1576.30	c cleaning 98001 clauses out of 196017 with flag 10226313/21142301
1604.53/1584.38	c cleaning 98999 clauses out of 198016 with flag 10433021/21242301
1613.59/1593.27	c cleaning 99994 clauses out of 200018 with flag 10640924/21343302
1622.37/1602.10	c cleaning 101003 clauses out of 202023 with flag 10851325/21445301
1632.01/1611.66	c cleaning 101997 clauses out of 204020 with flag 11062957/21548301
1640.99/1620.63	c cleaning 103000 clauses out of 206024 with flag 11277633/21652302
1651.66/1631.37	c cleaning 104003 clauses out of 208023 with flag 11493334/21757301
1661.13/1640.78	c cleaning 105003 clauses out of 210021 with flag 11710944/21863302
1671.91/1651.52	c cleaning 105998 clauses out of 212019 with flag 11931650/21970303
1682.09/1661.77	c cleaning 107000 clauses out of 214019 with flag 12153689/22078301
1691.79/1671.36	c cleaning 108000 clauses out of 216019 with flag 12378205/22187301
1702.06/1681.65	c cleaning 108999 clauses out of 218019 with flag 12604464/22297301
1713.05/1692.64	c cleaning 109993 clauses out of 220020 with flag 12833100/22408301
1723.82/1703.46	c cleaning 111001 clauses out of 222028 with flag 13063901/22520302
1736.41/1715.65	c cleaning 112001 clauses out of 224026 with flag 13296621/22633301
1749.31/1727.36	c cleaning 112999 clauses out of 226025 with flag 13531035/22747301
1759.38/1737.43	c cleaning 114000 clauses out of 228027 with flag 13768195/22862302
1772.32/1750.34	c cleaning 115002 clauses out of 230027 with flag 14006822/22978302
1783.50/1761.56	c cleaning 116003 clauses out of 232024 with flag 14247703/23095301
1794.38/1772.46	c cleaning 117002 clauses out of 234022 with flag 14490001/23213302
1805.65/1783.33	c cleaning 117995 clauses out of 236020 with flag 14736197/23332302
1816.75/1794.39	c cleaning 119004 clauses out of 238024 with flag 14983402/23452301
1829.22/1806.59	c cleaning 119998 clauses out of 240020 with flag 15233125/23573301
1842.48/1819.66	c cleaning 121002 clauses out of 242023 with flag 15485208/23695302
1854.36/1831.49	c cleaning 122004 clauses out of 244021 with flag 15738215/23818302
1867.18/1844.25	c cleaning 122994 clauses out of 246016 with flag 15994104/23942301
1878.72/1855.79	c cleaning 124001 clauses out of 248022 with flag 16252256/24067301
1890.60/1867.69	c cleaning 125000 clauses out of 250022 with flag 16512890/24193302
1904.06/1880.92	c cleaning 126000 clauses out of 252021 with flag 16775241/24320301
1916.72/1893.42	c cleaning 126999 clauses out of 254021 with flag 17039413/24448301
1930.52/1907.10	c cleaning 127996 clauses out of 256022 with flag 17305163/24577301
1943.33/1919.79	c cleaning 129003 clauses out of 258027 with flag 17572638/24707302
1955.75/1932.05	c cleaning 130001 clauses out of 260023 with flag 17842542/24838301
1968.90/1945.06	c cleaning 131000 clauses out of 262023 with flag 18114337/24970302
1981.25/1957.28	c cleaning 131999 clauses out of 264023 with flag 18388580/25103302
1994.60/1969.32	c cleaning 132999 clauses out of 266023 with flag 18665657/25237301
2006.44/1981.14	c cleaning 133994 clauses out of 268024 with flag 18944432/25372301
2020.90/1995.66	c cleaning 135001 clauses out of 270030 with flag 19224286/25508301
2033.27/2007.81	c cleaning 136001 clauses out of 272030 with flag 19506604/25645302
2047.20/2021.73	c cleaning 137002 clauses out of 274029 with flag 19792239/25783302
2062.17/2036.76	c cleaning 138001 clauses out of 276026 with flag 20078426/25922301
2076.14/2050.70	c cleaning 139001 clauses out of 278026 with flag 20366937/26062302
2090.04/2064.63	c cleaning 140005 clauses out of 280024 with flag 20657725/26203301
2103.11/2077.72	c cleaning 141000 clauses out of 282019 with flag 20951344/26345301
2117.29/2091.99	c cleaning 141998 clauses out of 284020 with flag 21245291/26488302
2133.42/2107.72	c cleaning 143001 clauses out of 286022 with flag 21541005/26632302
2149.76/2123.95	c cleaning 144003 clauses out of 288021 with flag 21840790/26777302
2165.13/2139.10	c cleaning 144998 clauses out of 290019 with flag 22141217/26923303
2179.11/2153.00	c cleaning 146000 clauses out of 292019 with flag 22443456/27070301
2193.27/2166.71	c cleaning 146996 clauses out of 294020 with flag 22749326/27218302
2208.91/2182.28	c cleaning 147999 clauses out of 296023 with flag 23057097/27367301
2224.69/2197.71	c cleaning 149003 clauses out of 298024 with flag 23366444/27517301
2240.89/2213.85	c cleaning 150001 clauses out of 300022 with flag 23678379/27668302
2257.07/2229.76	c cleaning 150997 clauses out of 302020 with flag 23991616/27820301
2275.29/2246.43	c cleaning 151996 clauses out of 304024 with flag 24308343/27973302
2293.68/2264.54	c cleaning 153005 clauses out of 306027 with flag 24625884/28127301
2313.07/2283.68	c cleaning 154000 clauses out of 308022 with flag 24946043/28282301
2330.75/2301.05	c cleaning 155002 clauses out of 310023 with flag 25268789/28438302
2347.79/2317.78	c cleaning 155999 clauses out of 312021 with flag 25592670/28595302
2367.40/2337.10	c cleaning 156999 clauses out of 314021 with flag 25918517/28753301
2386.19/2355.53	c cleaning 157999 clauses out of 316023 with flag 26246558/28912302
2407.99/2377.03	c cleaning 159000 clauses out of 318024 with flag 26576117/29072302
2426.51/2395.25	c cleaning 160001 clauses out of 320024 with flag 26908601/29233302
2445.34/2413.74	c cleaning 160998 clauses out of 322022 with flag 27244239/29395301
2464.40/2431.29	c cleaning 162002 clauses out of 324024 with flag 27580248/29558301
2482.74/2449.32	c cleaning 163000 clauses out of 326022 with flag 27920252/29722301
2502.17/2468.42	c cleaning 164000 clauses out of 328023 with flag 28262158/29887302
2519.63/2485.73	c cleaning 164996 clauses out of 330022 with flag 28605942/30053301
2540.82/2506.67	c cleaning 165998 clauses out of 332027 with flag 28951032/30220302
2560.20/2525.65	c cleaning 166999 clauses out of 334028 with flag 29298218/30388301
2579.83/2545.14	c cleaning 168001 clauses out of 336029 with flag 29647520/30557301
2598.41/2563.47	c cleaning 169005 clauses out of 338028 with flag 29998781/30727301
2619.19/2583.97	c cleaning 169997 clauses out of 340023 with flag 30353112/30898301
2640.07/2604.30	c cleaning 171006 clauses out of 342026 with flag 30734922/31070301
2657.54/2621.61	c cleaning 172004 clauses out of 344020 with flag 31191132/31243301
2678.68/2642.43	c cleaning 173006 clauses out of 346016 with flag 31649999/31417301
2703.04/2666.30	c cleaning 174002 clauses out of 348010 with flag 32132358/31592301
2724.79/2687.98	c cleaning 174997 clauses out of 350008 with flag 32635820/31768301
2746.79/2707.97	c cleaning 176001 clauses out of 352012 with flag 33116037/31945302
2768.75/2729.60	c cleaning 176998 clauses out of 354010 with flag 33579207/32123301
2788.54/2749.21	c cleaning 178005 clauses out of 356012 with flag 34069290/32302301
2807.61/2767.80	c cleaning 179002 clauses out of 358008 with flag 34550450/32482302
2826.97/2786.93	c cleaning 179996 clauses out of 360005 with flag 35025527/32663301
2846.09/2805.83	c cleaning 180998 clauses out of 362010 with flag 35510700/32845302
2866.78/2825.94	c cleaning 182000 clauses out of 364012 with flag 36022528/33028302
2888.14/2847.09	c cleaning 183007 clauses out of 366013 with flag 36537633/33212303
2907.04/2865.77	c cleaning 184001 clauses out of 368005 with flag 37017445/33397302
2926.16/2884.32	c cleaning 184996 clauses out of 370004 with flag 37500601/33583302
2947.81/2905.80	c cleaning 185992 clauses out of 372008 with flag 38006751/33770302
2968.11/2925.84	c cleaning 187000 clauses out of 374015 with flag 38507463/33958301
2988.73/2945.97	c cleaning 188008 clauses out of 376015 with flag 38994405/34147301
3012.37/2969.35	c cleaning 189001 clauses out of 378007 with flag 39509230/34337301
3030.25/2986.96	c cleaning 189992 clauses out of 380007 with flag 40000630/34528302
3050.37/3006.52	c cleaning 191003 clauses out of 382014 with flag 40508397/34720301
3071.73/3025.85	c cleaning 192004 clauses out of 384011 with flag 40989222/34913301
3090.17/3044.07	c cleaning 193000 clauses out of 386008 with flag 41465481/35107302
3107.37/3061.09	c cleaning 193996 clauses out of 388009 with flag 41952501/35302303
3124.93/3078.30	c cleaning 195002 clauses out of 390011 with flag 42447359/35498301
3145.31/3098.57	c cleaning 196001 clauses out of 392013 with flag 42947995/35695305
3164.56/3117.68	c cleaning 197002 clauses out of 394008 with flag 43455825/35893301
3183.17/3135.40	c cleaning 197999 clauses out of 396006 with flag 43949830/36092301
3201.40/3153.32	c cleaning 199000 clauses out of 398008 with flag 44465168/36292302
3219.64/3171.29	c cleaning 199997 clauses out of 400007 with flag 44983246/36493301
3240.17/3191.58	c cleaning 200996 clauses out of 402010 with flag 45531341/36695301
3260.97/3212.09	c cleaning 202002 clauses out of 404014 with flag 46068593/36898301
3280.79/3231.68	c cleaning 202993 clauses out of 406012 with flag 46606243/37102301
3301.39/3252.06	c cleaning 204007 clauses out of 408019 with flag 47128209/37307301
3320.77/3271.28	c cleaning 205001 clauses out of 410012 with flag 47654371/37513301
3344.13/3294.02	c cleaning 206001 clauses out of 412011 with flag 48187053/37720301
3362.87/3312.43	c cleaning 206999 clauses out of 414010 with flag 48709652/37928301
3386.63/3335.98	c cleaning 208003 clauses out of 416012 with flag 49251591/38137302
3408.21/3357.21	c cleaning 209002 clauses out of 418009 with flag 49783381/38347302
3430.43/3379.22	c cleaning 210001 clauses out of 420006 with flag 50340760/38558301
3453.31/3401.90	c cleaning 211000 clauses out of 422006 with flag 50890391/38770302
3476.77/3424.71	c cleaning 211998 clauses out of 424006 with flag 51437492/38983302
3503.90/3451.54	c cleaning 212998 clauses out of 426007 with flag 52006025/39197301
3525.01/3472.37	c cleaning 214001 clauses out of 428009 with flag 52571923/39412301
3550.83/3495.96	c cleaning 214994 clauses out of 430009 with flag 53146766/39628302
3570.82/3515.60	c cleaning 216006 clauses out of 432015 with flag 53713939/39845302
3592.22/3536.85	c cleaning 217001 clauses out of 434009 with flag 54284785/40063302
3600.02/3544.41	c starts		: 180361
3600.02/3544.43	c conflicts		: 40150381
3600.02/3544.43	c decisions		: 98095936
3600.02/3544.43	c propagations		: 1273539337
3600.02/3544.43	c inspects		: 24540591776
3600.02/3544.43	c shortcuts		: 0
3600.02/3544.43	c learnt literals	: 0
3600.02/3544.43	c learnt binary clauses	: 0
3600.02/3544.43	c learnt ternary clauses	: 0
3600.02/3544.43	c learnt constraints	: 40150381
3600.02/3544.43	c ignored constraints	: 0
3600.02/3544.43	c root simplifications	: 0
3600.02/3544.43	c removed literals (reason simplification)	: 17725352
3600.02/3544.43	c reason swapping (by a shorter reason)	: 0
3600.02/3544.43	c Calls to reduceDB	: 516
3600.02/3544.43	c Number of update (reduction) of LBD	: 1995600
3600.02/3544.43	c Imported unit clauses	: 0
3600.02/3544.43	c No decision after first conflict	: false
3600.02/3544.43	c number of reductions to clauses (during analyze)	: 0
3600.02/3544.43	c number of learned constraints concerned by reduction	: 0
3600.02/3544.43	c number of learning phase by resolution	: 0
3600.02/3544.43	c number of learning phase by cutting planes	: 0
3600.02/3544.43	c number of rounding to 1 operations	: 0
3600.02/3544.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3544.43	c number of reductions of the coefficients by power 2 	: 0
3600.02/3544.43	c number of right shift for reduction by power 2 	: 0
3600.02/3544.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3544.43	c number of ending skipping 	: 0
3600.02/3544.43	c number of internal skipping 	: 0
3600.02/3544.43	c number of derivation steps 	: 0
3600.02/3544.43	c number of skipped derivation steps 	: 0
3600.02/3544.43	c number of remaining unassigned 	: 0
3600.02/3544.43	c number of remaining assigned 	: 0
3600.02/3544.43	c number of falsified literals weakened from reason	: 0
3600.02/3544.43	c number of falsified literals weakened from conflict	: 0
3600.02/3544.43	c time for arithmetic operations	: 0
3600.02/3544.44	c minimum degree of deleted constraints	: null
3600.02/3544.44	c maximum degree of deleted constraints	: null
3600.02/3544.44	c number of deleted constraints	: 0
3600.02/3544.44	c speed (assignments/second)	: 359330.8546336448
3600.02/3544.44	c non guided choices	: 0
3600.21/3544.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 304087
3600.21/3544.51	s SATISFIABLE
3600.21/3544.53	c Found 9 solution(s)
3600.21/3544.53	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 
3600.21/3544.53	c objective function=229
3600.21/3544.53	c Total wall clock time (in seconds): 3544.371

Verifier Data 

OK	229

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 (62831 MiB free)
  memory of node 1: 64465 MiB (63586 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489008-1751338555/watcher-4489008-1751338555 -o /tmp/evaluation-result-4489008-1751338555/solver-4489008-1751338555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751338555-47848 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489008-1751338555.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=47891, runsolver pid=47883
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 0.53 1.09 2.13 8/323 47964
/proc/meminfo: memFree=129366764/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=18930384 memory=51888 CPUtime=0.09 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 6107 0 0 0 7 2 0 0 20 0 18 0 49533115 19384713216 12972 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4732596 12972 5362 1 0 547228 0
[pid=47891/tid=47898] ppid=47883 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 4946 0 0 0 5 1 0 0 20 0 18 0 49533117 19384713216 12972 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49533120 19384713216 12972 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49533120 19384713216 12972 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51888 KiB

[startup+0.2058 s]*
/proc/loadavg: 0.53 1.09 2.13 13/333 47974
/proc/meminfo: memFree=129342884/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=18930384 memory=61924 CPUtime=0.26 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 6981 0 0 0 24 2 0 0 20 0 18 0 49533115 19384713216 15481 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4732596 15481 5458 1 0 547895 0
[pid=47891/tid=47898] ppid=47883 vsize=18930384 memory=4026663196 CPUtime=0.14 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 5250 0 0 0 13 1 0 0 20 0 18 0 49533117 19384713216 15481 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49533120 19384713216 15481 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49533120 19384713216 15481 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61924 KiB

[startup+0.305732 s]*
/proc/loadavg: 0.53 1.09 2.13 10/337 47978
/proc/meminfo: memFree=129327068/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=18996948 memory=66632 CPUtime=0.45 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 8284 0 0 0 42 3 0 0 20 0 19 0 49533115 19452874752 16658 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4749237 16658 5490 1 0 548716 0
[pid=47891/tid=47898] ppid=47883 vsize=18996948 memory=-6000919468344239467 CPUtime=0.2 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 5380 0 0 0 19 1 0 0 20 0 19 0 49533117 19452874752 16658 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49533120 19452874752 16658 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49533120 19452874752 16658 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49533139 19452874752 16658 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66632 KiB

[startup+0.700227 s]
/proc/loadavg: 0.53 1.09 2.13 9/337 47978
/proc/meminfo: memFree=129289012/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=18996948 memory=94832 CPUtime=1.22 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 13474 0 0 0 118 4 0 0 20 0 19 0 49533115 19452874752 23708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4749237 23708 5490 1 0 551525 0
[pid=47891/tid=47898] ppid=47883 vsize=18996948 memory=18176 CPUtime=0.57 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 5477 0 0 0 55 2 0 0 20 0 19 0 49533117 19452874752 23708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49533120 19452874752 23708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49533120 19452874752 23708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49533139 19452874752 23708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94832 KiB

[startup+1.50024 s]
/proc/loadavg: 0.53 1.09 2.13 8/337 47978
/proc/meminfo: memFree=129138376/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=18996948 memory=158832 CPUtime=2.42 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 15939 0 0 0 236 6 0 0 20 0 19 0 49533115 19452874752 39708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4749237 39708 5490 1 0 552078 0
[pid=47891/tid=47898] ppid=47883 vsize=18996948 memory=10752 CPUtime=1.35 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 6115 0 0 0 132 3 0 0 20 0 19 0 49533117 19452874752 39708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49533120 19452874752 39708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49533120 19452874752 39708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49533139 19452874752 39708 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158832 KiB

[startup+3.10559 s]
/proc/loadavg: 0.81 1.14 2.14 5/341 47982
/proc/meminfo: memFree=128468728/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=255992 CPUtime=4.16 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 19801 0 0 0 407 9 0 0 20 0 20 0 49533115 19521036288 63998 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 63998 5522 1 0 552369 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=-6000919494130820459 CPUtime=2.87 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 6414 0 0 0 284 3 0 0 20 0 20 0 49533117 19521036288 63998 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 63998 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 63998 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 63998 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 255992 KiB

[startup+6.30025 s]
/proc/loadavg: 0.81 1.14 2.14 6/341 47982
/proc/meminfo: memFree=127709232/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=395776 CPUtime=7.6 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 20738 0 0 0 748 12 0 0 20 0 20 0 49533115 19521036288 98944 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 98944 5522 1 0 552388 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=0 CPUtime=5.93 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 6606 0 0 0 590 3 0 0 20 0 20 0 49533117 19521036288 98944 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 98944 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 98944 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=175788 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 98944 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 395776 KiB

[startup+12.7002 s]
/proc/loadavg: 1.15 1.21 2.15 5/341 47982
/proc/meminfo: memFree=125774764/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=793112 CPUtime=14.24 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 24654 0 0 0 1404 20 0 0 20 0 20 0 49533115 19521036288 198278 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 198278 5522 1 0 704863 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=175788 CPUtime=12.1 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 7195 0 0 0 1204 6 0 0 20 0 20 0 49533117 19521036288 198278 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=-6000919494130820459 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 198278 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 198278 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 198278 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 14.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793112 KiB

[startup+25.5002 s]
/proc/loadavg: 1.93 1.38 2.19 5/342 47984
/proc/meminfo: memFree=122269316/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=1599000 CPUtime=27.45 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 27918 0 0 0 2709 36 0 0 20 0 20 0 49533115 19521036288 399750 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 399750 5554 1 0 972233 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=14848 CPUtime=24.37 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 7937 0 0 0 2427 10 0 0 20 0 20 0 49533117 19521036288 399750 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=1364328 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 399750 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 399750 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 399750 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 27.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1599000 KiB

[startup+51.1057 s]
/proc/loadavg: 2.76 1.62 2.25 5/342 47984
/proc/meminfo: memFree=117520872/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=2895608 CPUtime=54.15 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 42553 0 0 0 5349 66 0 0 20 0 20 0 49533115 19521036288 723902 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 723902 5586 1 0 974091 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=-6000919494130820459 CPUtime=49.1 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 11127 0 0 0 4894 16 0 0 20 0 20 0 49533117 19521036288 723902 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0

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

[startup+3222.3 s]
/proc/loadavg: 4.29 4.19 4.11 5/338 48144
/proc/meminfo: memFree=78659276/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=11399244 CPUtime=3271.51 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 255899 0 0 0 326795 356 0 0 20 0 20 0 49533115 19521036288 2849811 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 2849811 5586 1 0 3635516 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=11399244 CPUtime=3170.07 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 124750 0 0 0 316875 132 0 0 20 0 20 0 49533117 19521036288 2849811 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=11399244 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 2849811 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=11399244 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 1409 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 2849811 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=11399244 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 2849811 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 3271.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11399244 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/339 48147
/proc/meminfo: memFree=78654860/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=11401320 CPUtime=3332.03 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 259022 0 0 0 332844 359 0 0 20 0 20 0 49533115 19521036288 2850330 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 2850330 5586 1 0 3635516 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=11401320 CPUtime=3229.25 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 127309 0 0 0 322792 133 0 0 20 0 20 0 49533117 19521036288 2850330 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=11401320 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 2850330 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=11401320 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 1449 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 2850330 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 2850330 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11401320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.10 5/339 48149
/proc/meminfo: memFree=77942460/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=11407484 CPUtime=3393.02 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 263964 0 0 0 338940 362 0 0 20 0 20 0 49533115 19521036288 2851871 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 2851871 5586 1 0 3635516 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=11405436 CPUtime=3287.94 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 130595 0 0 0 328660 134 0 0 20 0 20 0 49533117 19521036288 2851871 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 2851871 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=11407484 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 1532 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 2851871 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=11407484 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 2851871 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11407484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/339 48151
/proc/meminfo: memFree=77196076/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=12030076 CPUtime=3453.71 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 267344 0 0 0 344995 376 0 0 20 0 20 0 49533115 19521036288 3007519 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 3007519 5586 1 0 3635516 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=18176 CPUtime=3346.94 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 132515 0 0 0 334560 134 0 0 20 0 20 0 49533117 19521036288 3007519 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 3007519 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 1612 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 3007519 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=12030076 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 3007519 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12030076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/340 48156
/proc/meminfo: memFree=75248396/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=13324412 CPUtime=3515.04 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 272182 0 0 0 351101 403 0 0 20 0 20 0 49533115 19521036288 3331103 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 3331103 5586 1 0 3635516 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=12873852 CPUtime=3405.27 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 135578 0 0 0 340392 135 0 0 20 0 20 0 49533117 19521036288 3331103 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=12873852 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 3331103 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 1612 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 3331103 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=-6000919494130820459 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 3331103 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 3515.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13324412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/340 48225
/proc/meminfo: memFree=87985740/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=14594160 CPUtime=3577.75 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 288286 0 0 0 357345 430 0 0 20 0 20 0 49533115 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 3648540 5586 1 0 4086948 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=12873852 CPUtime=3464.22 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 144033 0 0 0 346274 148 0 0 20 0 20 0 49533117 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=12367996 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 1626 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=14108784 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 3577.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14594160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3544.4 s]
/proc/loadavg: 4.15 4.16 4.11 5/340 48225
/proc/meminfo: memFree=87277008/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19063512 memory=14594160 CPUtime=3600.02 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 289569 0 0 0 359571 431 0 0 20 0 20 0 49533115 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4765878 3648540 5586 1 0 4086948 0
[pid=47891/tid=47898] ppid=47883 vsize=19063512 memory=-6000919494130820459 CPUtime=3486.05 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 144783 0 0 0 348456 149 0 0 20 0 20 0 49533117 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 1695 0 0 0 0 0 0 0 20 0 20 0 49533120 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47975] ppid=47883 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/47891/task/47975/stat : 47975 (Timer-0) S 47883 47891 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533139 19521036288 3648540 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14594160 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.97 s, system=4.35806 s

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

[startup+3544.51 s]
/proc/loadavg: 4.15 4.16 4.11 5/340 48225
/proc/meminfo: memFree=87277008/131249988 swapFree=33010684/33010684
[pid=47891] ppid=47883 vsize=19263204 memory=14594800 CPUtime=3600.21 cores=4,6
/proc/47891/stat : 47891 (java) S 47883 47891 47837 0 -1 4194304 291672 0 0 0 359590 431 0 0 20 0 21 0 49533115 19725520896 3648700 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
/proc/47891/statm: 4815801 3648700 5586 1 0 4087875 0
[pid=47891/tid=47898] ppid=47883 vsize=19263204 memory=14594160 CPUtime=3486.15 cores=4,6
/proc/47891/task/47898/stat : 47898 (java) R 47883 47891 47837 0 -1 4194368 144989 0 0 0 348466 149 0 0 20 0 21 0 49533117 19725520896 3648700 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47919] ppid=47883 vsize=19263204 memory=14463088 CPUtime=0 cores=4,6
/proc/47891/task/47919/stat : 47919 (Finalizer) S 47883 47891 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49533120 19725520896 3648700 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
[pid=47891/tid=47927] ppid=47883 vsize=19263204 memory=13727856 CPUtime=0 cores=4,6
/proc/47891/task/47927/stat : 47927 (Common-Cleaner) S 47883 47891 47837 0 -1 4194368 1695 0 0 0 0 0 0 0 20 0 21 0 49533120 19725520896 3648700 18446744073709551615 94673354428416 94673354432112 140735009599296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94673354439928 94673354440720 94673386639360 140735009601921 140735009602022 140735009602022 140735009607624 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14594800 KiB

Child status: 143

Real time (s): 3544.58
CPU time (s): 3600.33
CPU user time (s): 3595.97
CPU system time (s): 4.35806
CPU usage (%): 101.573
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14594800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.97
system time used= 4.35806
maximum resident set size= 14595056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118242
involuntary context switches= 24690


# summary of solver processes directly reported to runsolver:
#   pid: 47891
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3595.97
#   total CPU system time (s): 4.35806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39228 second user time and 17.2559 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 04:55:55
IDJOB=4489008
IDBENCH=147536
IDSOLVER=3363
FILE ID=nodeC020/4489008-1751338555
RUNJOBID= nodeC020-1751338555-47848
SLURM_JOB_ID= 9594397
Free space on /tmp= 432952 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489008-1751338555/watcher-4489008-1751338555 -o /tmp/evaluation-result-4489008-1751338555/solver-4489008-1751338555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751338555-47848 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4489008-1751338555.opb

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

MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0
RANDOM SEED=1433520872

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129421716 kB
MemAvailable:   129707540 kB
Buffers:            3280 kB
Cached:          1090416 kB
SwapCached:            0 kB
Active:           387368 kB
Inactive:         782032 kB
Active(anon):      93760 kB
Inactive(anon):        0 kB
Active(file):     293608 kB
Inactive(file):   782032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1620 kB
Writeback:             0 kB
AnonPages:         79128 kB
Mapped:           103252 kB
Shmem:             18056 kB
KReclaimable:      98844 kB
Slab:             186588 kB
SReclaimable:      98844 kB
SUnreclaim:        87744 kB
KernelStack:        3956 kB
PageTables:         2720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     341980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 432928 MiB
End job on nodeC020 at 2025-07-01 05:55:00