Trace number 4489009

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 VeriPB 2025-06-06SAT (TO)229 3601.14 3466.89

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4489009-1751342482.opb
0.10/0.14	c reading problem ... 
0.10/0.15	c using VERIPB proof format
0.10/0.16	c  objective function found
0.28/0.22	c ... done. Wall clock time 0.066s.
0.28/0.22	c declared #vars     481
0.28/0.22	c #constraints  481
0.28/0.22	c constraints type 
0.28/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 481
0.28/0.22	c 481 constraints processed.
0.28/0.23	c objective function length is 481 literals
0.28/0.25	c SATISFIABLE
0.28/0.25	c OPTIMIZING...
0.28/0.25	c Got one! Elapsed wall clock time (in seconds):0.102
0.28/0.25	o 237
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.139
0.28/0.28	o 236
1.62/0.98	c Got one! Elapsed wall clock time (in seconds):0.837
1.62/0.98	o 235
2.80/1.51	c cleaning 2748 clauses out of 5507 with flag 6794/5507
4.04/2.28	c cleaning 4372 clauses out of 8759 with flag 19288/11507
4.44/2.59	c Got one! Elapsed wall clock time (in seconds):2.446
4.44/2.59	o 234
4.89/2.93	c cleaning 5133 clauses out of 10280 with flag 6669/17400
5.52/3.54	c cleaning 5567 clauses out of 11146 with flag 19652/23399
6.35/4.32	c cleaning 6282 clauses out of 12579 with flag 34243/30399
7.20/5.15	c cleaning 7144 clauses out of 14298 with flag 50847/38400
8.31/6.15	c cleaning 8068 clauses out of 16154 with flag 69674/47400
9.36/7.17	c cleaning 9032 clauses out of 18086 with flag 90542/57400
10.10/7.87	c Got one! Elapsed wall clock time (in seconds):7.725
10.10/7.87	o 233
10.79/8.55	c cleaning 10316 clauses out of 20643 with flag 11376/68989
11.56/9.20	c cleaning 8156 clauses out of 16328 with flag 23778/74990
12.15/9.86	c cleaning 7578 clauses out of 15171 with flag 38413/81989
13.12/10.69	c cleaning 7787 clauses out of 15594 with flag 55079/89990
14.02/11.59	c cleaning 8394 clauses out of 16806 with flag 73712/98989
15.12/12.69	c cleaning 9199 clauses out of 18414 with flag 94454/108991
16.10/13.67	c Got one! Elapsed wall clock time (in seconds):13.521
16.10/13.67	o 232
16.92/14.32	c cleaning 11835 clauses out of 23688 with flag 10888/123464
17.52/14.90	c cleaning 8916 clauses out of 17852 with flag 23432/129463
18.31/15.63	c cleaning 7963 clauses out of 15937 with flag 38152/136464
19.11/16.43	c cleaning 7978 clauses out of 15973 with flag 54965/144463
20.01/17.31	c cleaning 8489 clauses out of 16995 with flag 73564/153463
20.90/18.27	c cleaning 9244 clauses out of 18506 with flag 94296/163463
21.99/19.35	c cleaning 10123 clauses out of 20262 with flag 117046/174463
23.35/20.65	c cleaning 11063 clauses out of 22139 with flag 142781/186463
24.64/21.98	c cleaning 12033 clauses out of 24076 with flag 169560/199463
26.14/23.46	c cleaning 13013 clauses out of 26043 with flag 198586/213463
27.94/25.11	c cleaning 14007 clauses out of 28031 with flag 229650/228464
29.43/26.68	c cleaning 15002 clauses out of 30023 with flag 262954/244463
31.36/28.47	c cleaning 15998 clauses out of 32021 with flag 297917/261463
33.16/30.22	c cleaning 16999 clauses out of 34023 with flag 335278/279463
35.22/32.22	c cleaning 18002 clauses out of 36024 with flag 374835/298463
37.30/34.39	c cleaning 18999 clauses out of 38022 with flag 416175/318463
39.78/36.74	c cleaning 20001 clauses out of 40023 with flag 459703/339463
41.98/38.97	c cleaning 21004 clauses out of 42022 with flag 505337/361463
44.70/41.50	c cleaning 22001 clauses out of 44019 with flag 552861/384464
47.43/44.15	c cleaning 23002 clauses out of 46018 with flag 602990/408464
50.01/46.71	c cleaning 23996 clauses out of 48015 with flag 654778/433463
52.80/49.46	c cleaning 25001 clauses out of 50019 with flag 708422/459463
55.89/52.35	c cleaning 26001 clauses out of 52018 with flag 763997/486463
59.19/55.40	c cleaning 26998 clauses out of 54018 with flag 822160/514464
62.08/58.37	c cleaning 27999 clauses out of 56020 with flag 881982/543464
65.46/61.61	c cleaning 28999 clauses out of 58020 with flag 943852/573463
69.00/65.07	c cleaning 30002 clauses out of 60021 with flag 1008174/604463
72.74/68.68	c cleaning 31001 clauses out of 62019 with flag 1074751/636463
76.49/72.34	c cleaning 32000 clauses out of 64018 with flag 1143232/669463
80.07/75.99	c cleaning 32998 clauses out of 66018 with flag 1213983/703463
84.23/80.08	c cleaning 34001 clauses out of 68021 with flag 1286900/738464
88.45/84.12	c cleaning 34998 clauses out of 70019 with flag 1361619/774463
92.74/88.22	c cleaning 36002 clauses out of 72021 with flag 1438618/811463
97.20/92.53	c cleaning 36999 clauses out of 74019 with flag 1516994/849463
101.76/97.09	c cleaning 38002 clauses out of 76021 with flag 1597190/888464
106.51/101.65	c cleaning 39001 clauses out of 78018 with flag 1679545/928463
111.33/106.31	c cleaning 39998 clauses out of 80017 with flag 1765160/969463
116.09/111.02	c cleaning 41003 clauses out of 82019 with flag 1852330/1011463
121.34/116.13	c cleaning 41997 clauses out of 84016 with flag 1941748/1054463
126.71/121.34	c cleaning 42999 clauses out of 86020 with flag 2033134/1098464
132.77/127.07	c cleaning 44000 clauses out of 88021 with flag 2126632/1143464
138.25/132.48	c cleaning 45003 clauses out of 90020 with flag 2222118/1189463
143.95/138.01	c cleaning 46001 clauses out of 92017 with flag 2321114/1236463
149.63/143.64	c cleaning 46996 clauses out of 94016 with flag 2420680/1284463
155.49/149.47	c cleaning 47999 clauses out of 96020 with flag 2521674/1333463
161.43/155.20	c cleaning 49001 clauses out of 98022 with flag 2625582/1383464
168.44/161.92	c cleaning 50005 clauses out of 100022 with flag 2731336/1434465
175.43/168.87	c cleaning 50997 clauses out of 102016 with flag 2838635/1486464
182.53/175.79	c cleaning 52002 clauses out of 104019 with flag 2948596/1539464
190.09/182.55	c cleaning 53000 clauses out of 106017 with flag 3060849/1593464
197.24/189.69	c cleaning 53997 clauses out of 108017 with flag 3174302/1648464
204.84/197.05	c cleaning 55000 clauses out of 110020 with flag 3290063/1704464
212.08/204.06	c cleaning 56001 clauses out of 112019 with flag 3408059/1761463
218.73/210.64	c cleaning 57002 clauses out of 114019 with flag 3529233/1819464
226.33/218.26	c cleaning 57999 clauses out of 116016 with flag 3651087/1878463
234.42/226.10	c cleaning 58997 clauses out of 118018 with flag 3775235/1938464
242.47/234.10	c cleaning 60003 clauses out of 120021 with flag 3901586/1999464
250.18/241.80	c cleaning 60994 clauses out of 122018 with flag 4030457/2061464
257.90/249.44	c cleaning 62001 clauses out of 124025 with flag 4160660/2124465
265.74/257.18	c cleaning 63002 clauses out of 126022 with flag 4293317/2188463
274.47/265.64	c cleaning 64001 clauses out of 128021 with flag 4428241/2253464
283.63/274.71	c cleaning 65001 clauses out of 130019 with flag 4565027/2319463
293.39/284.57	c cleaning 65995 clauses out of 132018 with flag 4704144/2386463
302.74/293.77	c cleaning 66999 clauses out of 134024 with flag 4845882/2454464
312.30/302.98	c cleaning 68002 clauses out of 136025 with flag 4989028/2523464
321.87/312.62	c cleaning 68999 clauses out of 138022 with flag 5133372/2593463
332.89/323.44	c cleaning 70000 clauses out of 140023 with flag 5280467/2664463
342.73/333.13	c cleaning 71003 clauses out of 142023 with flag 5429844/2736463
352.83/343.55	c cleaning 72000 clauses out of 144021 with flag 5580469/2809464
362.81/353.33	c cleaning 73001 clauses out of 146021 with flag 5733629/2883464
373.55/363.82	c cleaning 74002 clauses out of 148019 with flag 5888700/2958463
384.26/374.69	c cleaning 74998 clauses out of 150018 with flag 6047575/3034464
393.99/384.22	c cleaning 75998 clauses out of 152020 with flag 6207210/3111464
405.84/395.16	c cleaning 77000 clauses out of 154022 with flag 6368533/3189464
416.51/406.19	c cleaning 77999 clauses out of 156021 with flag 6533762/3268463
428.61/418.01	c cleaning 79001 clauses out of 158023 with flag 6698978/3348464
441.45/430.81	c cleaning 79996 clauses out of 160022 with flag 6866536/3429464
452.60/441.93	c cleaning 80999 clauses out of 162025 with flag 7035980/3511463
464.25/453.04	c cleaning 82001 clauses out of 164026 with flag 7207458/3594463
475.53/464.47	c cleaning 83001 clauses out of 166026 with flag 7380994/3678464
476.67/465.57	c Got one! Elapsed wall clock time (in seconds):465.43
476.67/465.57	o 231
477.95/466.89	c cleaning 49193 clauses out of 98399 with flag 10879/3693838
478.75/467.67	c cleaning 27596 clauses out of 55206 with flag 23252/3699838
479.46/468.37	c cleaning 17298 clauses out of 34611 with flag 37724/3706839
480.26/469.12	c cleaning 12649 clauses out of 25312 with flag 54359/3714838
481.05/469.90	c cleaning 10824 clauses out of 21663 with flag 73144/3723838
481.95/470.81	c cleaning 10411 clauses out of 20839 with flag 93836/3733838
482.95/471.86	c cleaning 10704 clauses out of 21428 with flag 116701/3744838
484.05/472.99	c cleaning 11350 clauses out of 22724 with flag 141611/3756838
485.35/474.21	c cleaning 12177 clauses out of 24374 with flag 168701/3769838
486.68/475.56	c cleaning 13089 clauses out of 26199 with flag 197950/3783840
488.18/477.03	c cleaning 14046 clauses out of 28109 with flag 230265/3798839
489.77/478.61	c cleaning 15025 clauses out of 30062 with flag 263751/3814838
491.52/480.32	c cleaning 16009 clauses out of 32038 with flag 298869/3831839
493.32/482.11	c cleaning 17005 clauses out of 34028 with flag 336215/3849838
495.21/484.08	c cleaning 18001 clauses out of 36024 with flag 375522/3868839
497.44/486.22	c cleaning 19002 clauses out of 38023 with flag 417550/3888839
499.83/488.62	c cleaning 20001 clauses out of 40020 with flag 461493/3909838
502.08/490.88	c cleaning 20999 clauses out of 42019 with flag 506887/3931838
504.57/493.32	c cleaning 22003 clauses out of 44021 with flag 554479/3954839
507.04/495.78	c cleaning 22993 clauses out of 46017 with flag 604322/3978838
509.61/498.30	c cleaning 24003 clauses out of 48024 with flag 656031/4003838
512.38/501.03	c cleaning 25003 clauses out of 50022 with flag 710101/4029839
515.16/503.85	c cleaning 25997 clauses out of 52018 with flag 765956/4056838
518.31/506.97	c cleaning 27000 clauses out of 54021 with flag 823724/4084838
521.60/510.18	c cleaning 28000 clauses out of 56021 with flag 883675/4113838
524.87/513.42	c cleaning 29000 clauses out of 58021 with flag 945680/4143838
528.42/516.98	c cleaning 29997 clauses out of 60021 with flag 1009675/4174838
532.40/520.80	c cleaning 31003 clauses out of 62025 with flag 1075497/4206839
536.10/524.52	c cleaning 31998 clauses out of 64021 with flag 1143249/4239838
540.15/528.50	c cleaning 33004 clauses out of 66023 with flag 1214215/4273838
544.23/532.59	c cleaning 33998 clauses out of 68020 with flag 1286241/4308839
548.75/536.91	c cleaning 35004 clauses out of 70022 with flag 1360753/4344839
552.94/541.15	c cleaning 35997 clauses out of 72018 with flag 1437536/4381839
557.60/545.76	c cleaning 37004 clauses out of 74021 with flag 1515512/4419839
562.75/550.86	c cleaning 37999 clauses out of 76016 with flag 1595743/4458838
567.54/555.57	c cleaning 38994 clauses out of 78018 with flag 1678418/4498839
572.54/560.43	c cleaning 40002 clauses out of 80023 with flag 1763375/4539838
577.95/565.74	c cleaning 41000 clauses out of 82021 with flag 1850347/4581838
582.97/570.61	c cleaning 42001 clauses out of 84023 with flag 1939137/4624840
588.29/575.89	c cleaning 43001 clauses out of 86021 with flag 2030405/4668839
593.71/581.13	c cleaning 43996 clauses out of 88019 with flag 2123217/4713838
599.37/586.67	c cleaning 45002 clauses out of 90024 with flag 2218492/4759839
605.10/592.21	c cleaning 45999 clauses out of 92021 with flag 2316011/4806838
610.76/597.86	c cleaning 46997 clauses out of 94022 with flag 2415290/4854838
616.61/603.68	c cleaning 48000 clauses out of 96025 with flag 2516271/4903838
622.46/609.45	c cleaning 48998 clauses out of 98025 with flag 2620404/4953838
628.51/615.43	c cleaning 50006 clauses out of 100027 with flag 2725775/5004838
634.74/621.68	c cleaning 50997 clauses out of 102021 with flag 2833348/5056838
641.50/628.25	c cleaning 52002 clauses out of 104024 with flag 2943004/5109838
648.57/635.28	c cleaning 53002 clauses out of 106024 with flag 3054194/5163840
655.63/642.26	c cleaning 54000 clauses out of 108021 with flag 3168125/5218839
662.47/649.06	c cleaning 54997 clauses out of 110021 with flag 3283966/5274839
669.60/656.04	c cleaning 56002 clauses out of 112024 with flag 3402075/5331839
676.95/663.31	c cleaning 57001 clauses out of 114021 with flag 3522418/5389838
684.29/670.66	c cleaning 57996 clauses out of 116022 with flag 3645034/5448840
691.93/678.15	c cleaning 59000 clauses out of 118025 with flag 3768852/5508839
700.42/686.52	c cleaning 60001 clauses out of 120025 with flag 3895142/5569839
708.22/694.11	c cleaning 61000 clauses out of 122024 with flag 4023826/5631839
715.98/701.86	c cleaning 62000 clauses out of 124023 with flag 4154353/5694838
723.80/709.52	c cleaning 62998 clauses out of 126024 with flag 4286477/5758839
732.33/718.06	c cleaning 63997 clauses out of 128025 with flag 4420930/5823838
741.14/726.74	c cleaning 65003 clauses out of 130029 with flag 4558347/5889839
749.75/735.18	c cleaning 66003 clauses out of 132026 with flag 4697142/5956839
758.10/743.46	c cleaning 66997 clauses out of 134022 with flag 4838361/6024838
767.05/752.22	c cleaning 67999 clauses out of 136026 with flag 4981254/6093839
776.03/761.08	c cleaning 68999 clauses out of 138027 with flag 5125941/6163839
785.72/770.52	c cleaning 70004 clauses out of 140028 with flag 5272591/6234839
794.90/779.50	c cleaning 70997 clauses out of 142023 with flag 5421391/6306838
804.56/789.05	c cleaning 72004 clauses out of 144026 with flag 5572961/6379838
814.02/798.38	c cleaning 73002 clauses out of 146023 with flag 5725950/6453839
823.68/807.80	c cleaning 73998 clauses out of 148021 with flag 5880655/6528839
834.03/818.09	c cleaning 75004 clauses out of 150024 with flag 6038392/6604840
844.51/828.33	c cleaning 75996 clauses out of 152019 with flag 6197287/6681839
855.07/838.79	c cleaning 77001 clauses out of 154023 with flag 6359045/6759839
865.92/849.46	c cleaning 77997 clauses out of 156022 with flag 6522625/6838839
877.10/860.45	c cleaning 79003 clauses out of 158025 with flag 6687680/6918839
889.92/872.26	c cleaning 79995 clauses out of 160022 with flag 6854711/6999839
901.75/883.64	c cleaning 81001 clauses out of 162026 with flag 7024423/7081838
912.74/894.56	c cleaning 81999 clauses out of 164026 with flag 7195638/7164839
924.53/906.23	c cleaning 83001 clauses out of 166026 with flag 7369609/7248838
936.03/917.68	c cleaning 84002 clauses out of 168026 with flag 7544762/7333839
947.87/929.16	c cleaning 84998 clauses out of 170024 with flag 7722623/7419839
960.14/941.36	c cleaning 85999 clauses out of 172026 with flag 7902450/7506839
973.07/953.93	c cleaning 87004 clauses out of 174026 with flag 8084555/7594838
985.22/965.87	c cleaning 88001 clauses out of 176023 with flag 8268523/7683839
997.54/978.03	c cleaning 89000 clauses out of 178022 with flag 8455165/7773839
1010.28/990.49	c cleaning 89998 clauses out of 180022 with flag 8643687/7864839
1024.74/1003.66	c cleaning 91004 clauses out of 182023 with flag 8834269/7956838
1037.23/1015.95	c cleaning 92002 clauses out of 184020 with flag 9027232/8049839
1049.95/1028.43	c cleaning 92997 clauses out of 186018 with flag 9223244/8143839
1064.15/1042.27	c cleaning 93998 clauses out of 188021 with flag 9418782/8238839
1077.80/1054.89	c cleaning 94998 clauses out of 190022 with flag 9617348/8334838
1092.58/1068.25	c cleaning 96003 clauses out of 192025 with flag 9818352/8431839
1107.48/1081.97	c cleaning 97001 clauses out of 194022 with flag 10020551/8529839
1122.57/1095.79	c cleaning 98000 clauses out of 196021 with flag 10224283/8628839
1137.78/1109.65	c cleaning 99000 clauses out of 198020 with flag 10431092/8728838
1153.55/1124.03	c cleaning 99997 clauses out of 200020 with flag 10641075/8829838
1170.47/1139.66	c cleaning 101003 clauses out of 202023 with flag 10850562/8931838
1187.58/1155.45	c cleaning 101998 clauses out of 204021 with flag 11062900/9034839
1205.77/1172.30	c cleaning 103000 clauses out of 206022 with flag 11278737/9138838
1226.33/1191.67	c cleaning 104000 clauses out of 208022 with flag 11498942/9243838
1245.34/1209.31	c cleaning 105004 clauses out of 210022 with flag 11718275/9349838
1264.29/1227.04	c cleaning 105999 clauses out of 212018 with flag 11940378/9456838
1283.54/1243.87	c cleaning 106998 clauses out of 214019 with flag 12163902/9564838
1302.02/1260.89	c cleaning 108000 clauses out of 216022 with flag 12390308/9673839
1320.46/1277.97	c cleaning 109000 clauses out of 218021 with flag 12619025/9783838
1337.87/1294.95	c cleaning 110003 clauses out of 220021 with flag 12848356/9894838
1355.99/1311.70	c cleaning 110998 clauses out of 222019 with flag 13080403/10006839
1373.33/1328.54	c cleaning 111999 clauses out of 224020 with flag 13314228/10119838
1392.45/1346.30	c cleaning 112998 clauses out of 226021 with flag 13551701/10233838
1409.78/1363.32	c cleaning 114001 clauses out of 228023 with flag 13789136/10348838
1428.39/1381.66	c cleaning 115002 clauses out of 230023 with flag 14028751/10464839
1448.05/1400.09	c cleaning 116000 clauses out of 232020 with flag 14270216/10581838
1467.71/1419.34	c cleaning 116999 clauses out of 234020 with flag 14514631/10699838
1486.82/1438.10	c cleaning 118001 clauses out of 236022 with flag 14760380/10818839
1507.89/1457.76	c cleaning 118993 clauses out of 238020 with flag 15008533/10938838
1529.41/1478.77	c cleaning 120003 clauses out of 240027 with flag 15259254/11059838
1552.49/1500.56	c cleaning 121002 clauses out of 242024 with flag 15511770/11181838
1574.37/1521.98	c cleaning 121996 clauses out of 244023 with flag 15764828/11304839
1597.51/1543.62	c cleaning 123001 clauses out of 246026 with flag 16022805/11428838
1617.93/1563.78	c cleaning 124000 clauses out of 248025 with flag 16281714/11553838
1640.57/1584.96	c cleaning 124997 clauses out of 250025 with flag 16543218/11679838
1664.96/1606.67	c cleaning 125998 clauses out of 252028 with flag 16806238/11806838
1687.51/1627.49	c cleaning 127001 clauses out of 254030 with flag 17070819/11934838
1711.03/1649.46	c cleaning 128002 clauses out of 256029 with flag 17337632/12063838
1734.87/1671.70	c cleaning 129003 clauses out of 258027 with flag 17606638/12193838
1758.73/1694.12	c cleaning 130000 clauses out of 260025 with flag 17877508/12324839
1781.01/1715.01	c cleaning 131004 clauses out of 262025 with flag 18151612/12456839
1803.27/1735.95	c cleaning 131999 clauses out of 264020 with flag 18426940/12589838
1812.97/1744.49	c Got one! Elapsed wall clock time (in seconds):1744.348
1812.97/1744.49	o 230
1816.06/1747.56	c cleaning 102348 clauses out of 204711 with flag 10540/12662528
1817.57/1749.02	c cleaning 54172 clauses out of 108363 with flag 22951/12668528
1818.46/1749.97	c cleaning 30587 clauses out of 61192 with flag 37426/12675529
1819.36/1750.81	c cleaning 19294 clauses out of 38605 with flag 54281/12683529
1820.27/1751.71	c cleaning 14149 clauses out of 28312 with flag 72923/12692530
1821.26/1752.71	c cleaning 12078 clauses out of 24162 with flag 93598/12702529
1822.28/1753.79	c cleaning 11534 clauses out of 23084 with flag 116188/12713529
1823.58/1755.03	c cleaning 11766 clauses out of 23549 with flag 140879/12725528
1824.87/1756.32	c cleaning 12381 clauses out of 24783 with flag 167776/12738528
1826.28/1757.73	c cleaning 13193 clauses out of 26403 with flag 196983/12752529
1827.78/1759.28	c cleaning 14094 clauses out of 28209 with flag 227983/12767528
1829.51/1760.91	c cleaning 15047 clauses out of 30115 with flag 261078/12783528
1831.30/1762.77	c cleaning 16023 clauses out of 32068 with flag 296169/12800528
1833.32/1764.70	c cleaning 17013 clauses out of 34046 with flag 333760/12818529
1835.32/1766.70	c cleaning 18006 clauses out of 36033 with flag 373597/12837529
1837.42/1768.85	c cleaning 19006 clauses out of 38029 with flag 415243/12857531
1839.67/1771.07	c cleaning 20001 clauses out of 40020 with flag 458547/12878528
1842.06/1773.41	c cleaning 21000 clauses out of 42019 with flag 504093/12900528
1844.57/1775.90	c cleaning 22002 clauses out of 44019 with flag 551675/12923528
1847.21/1778.53	c cleaning 22999 clauses out of 46017 with flag 601536/12947528
1850.08/1781.30	c cleaning 23996 clauses out of 48018 with flag 653384/12972528
1852.67/1783.99	c cleaning 25000 clauses out of 50022 with flag 706926/12998528
1855.89/1787.12	c cleaning 25999 clauses out of 52023 with flag 762576/13025529
1858.93/1790.19	c cleaning 27003 clauses out of 54025 with flag 820546/13053530
1862.38/1793.50	c cleaning 28000 clauses out of 56020 with flag 880268/13082528
1865.95/1797.01	c cleaning 29000 clauses out of 58021 with flag 943402/13112529
1869.40/1800.43	c cleaning 30001 clauses out of 60020 with flag 1007483/13143528
1873.16/1804.13	c cleaning 31001 clauses out of 62020 with flag 1073649/13175529
1876.92/1807.89	c cleaning 32000 clauses out of 64019 with flag 1142154/13208529
1880.76/1811.63	c cleaning 32999 clauses out of 66019 with flag 1212228/13242529
1884.92/1815.71	c cleaning 34003 clauses out of 68019 with flag 1284400/13277528
1889.28/1820.05	c cleaning 34997 clauses out of 70016 with flag 1358364/13313528
1894.14/1824.71	c cleaning 36003 clauses out of 72020 with flag 1434544/13350529
1898.94/1829.49	c cleaning 36997 clauses out of 74017 with flag 1512605/13388529
1903.58/1834.05	c cleaning 38000 clauses out of 76019 with flag 1592752/13427528
1908.29/1838.73	c cleaning 38998 clauses out of 78019 with flag 1675277/13467528
1913.41/1843.79	c cleaning 40003 clauses out of 80022 with flag 1759699/13508529
1918.67/1848.92	c cleaning 40999 clauses out of 82018 with flag 1846212/13550528
1923.70/1853.99	c cleaning 41998 clauses out of 84020 with flag 1935127/13593529
1929.52/1859.67	c cleaning 43000 clauses out of 86021 with flag 2025602/13637528
1935.26/1865.33	c cleaning 44000 clauses out of 88022 with flag 2118561/13682529
1940.89/1870.99	c cleaning 45001 clauses out of 90023 with flag 2213560/13728530
1946.77/1876.75	c cleaning 45995 clauses out of 92020 with flag 2311068/13775528
1952.91/1882.85	c cleaning 47002 clauses out of 94026 with flag 2409735/13823529
1959.32/1889.10	c cleaning 48000 clauses out of 96023 with flag 2510956/13872528
1965.96/1895.60	c cleaning 49002 clauses out of 98023 with flag 2614348/13922528
1972.57/1902.29	c cleaning 50000 clauses out of 100021 with flag 2719990/13973528
1979.49/1909.03	c cleaning 50997 clauses out of 102022 with flag 2827744/14025529
1985.80/1915.39	c cleaning 52001 clauses out of 104025 with flag 2937130/14078529
1992.58/1922.01	c cleaning 53000 clauses out of 106023 with flag 3048139/14132528
1999.21/1928.55	c cleaning 54001 clauses out of 108024 with flag 3162625/14187529
2006.36/1935.56	c cleaning 55001 clauses out of 110024 with flag 3278878/14243530
2013.79/1942.90	c cleaning 56000 clauses out of 112021 with flag 3398850/14300528
2021.76/1950.84	c cleaning 56997 clauses out of 114021 with flag 3518622/14358528
2029.49/1958.48	c cleaning 58001 clauses out of 116024 with flag 3640608/14417528
2037.39/1966.26	c cleaning 59000 clauses out of 118023 with flag 3764630/14477528
2045.51/1974.21	c cleaning 60001 clauses out of 120023 with flag 3891009/14538528
2053.24/1981.89	c cleaning 60996 clauses out of 122022 with flag 4019318/14600528
2061.47/1989.94	c cleaning 62003 clauses out of 124027 with flag 4149506/14663529
2070.60/1998.97	c cleaning 63003 clauses out of 126023 with flag 4281562/14727528
2079.09/2007.37	c cleaning 63998 clauses out of 128021 with flag 4415713/14792529
2087.72/2015.85	c cleaning 64996 clauses out of 130022 with flag 4552673/14858528
2097.52/2025.56	c cleaning 66002 clauses out of 132026 with flag 4690861/14925528
2107.03/2034.93	c cleaning 67003 clauses out of 134025 with flag 4831156/14993529
2116.19/2043.81	c cleaning 68003 clauses out of 136022 with flag 4973766/15062529
2125.24/2052.74	c cleaning 68998 clauses out of 138018 with flag 5118308/15132528
2134.57/2061.95	c cleaning 70001 clauses out of 140021 with flag 5265118/15203529
2144.46/2071.73	c cleaning 71000 clauses out of 142020 with flag 5413557/15275529
2154.59/2081.68	c cleaning 71998 clauses out of 144019 with flag 5564869/15348528
2164.71/2091.66	c cleaning 72998 clauses out of 146021 with flag 5717705/15422528
2175.16/2101.87	c cleaning 73997 clauses out of 148023 with flag 5873496/15497528
2186.10/2112.67	c cleaning 75004 clauses out of 150026 with flag 6029936/15573528
2197.71/2124.00	c cleaning 75998 clauses out of 152022 with flag 6189063/15650528
2210.64/2136.01	c cleaning 77004 clauses out of 154024 with flag 6350255/15728528
2222.08/2147.32	c cleaning 77996 clauses out of 156020 with flag 6514126/15807528
2233.59/2158.61	c cleaning 79000 clauses out of 158025 with flag 6680697/15887529
2245.04/2169.81	c cleaning 79996 clauses out of 160024 with flag 6850993/15968528
2257.54/2182.09	c cleaning 81003 clauses out of 162029 with flag 7020448/16050529
2268.76/2193.11	c cleaning 81999 clauses out of 164025 with flag 7192120/16133528
2277.79/2201.97	c Got one! Elapsed wall clock time (in seconds):2201.826
2277.79/2201.97	o 229
2280.29/2204.42	c cleaning 77892 clauses out of 155800 with flag 11384/16207302
2281.68/2205.80	c cleaning 41942 clauses out of 83907 with flag 24216/16213301
2282.48/2206.66	c cleaning 24471 clauses out of 48965 with flag 38741/16220301
2283.29/2207.44	c cleaning 16237 clauses out of 32494 with flag 55347/16228301
2284.18/2208.32	c cleaning 12616 clauses out of 25257 with flag 74021/16237301
2285.08/2209.28	c cleaning 11312 clauses out of 22642 with flag 95105/16247302
2286.17/2210.31	c cleaning 11154 clauses out of 22330 with flag 117898/16258302
2287.27/2211.49	c cleaning 11577 clauses out of 23175 with flag 142680/16270301
2288.67/2212.83	c cleaning 12289 clauses out of 24598 with flag 170701/16283301
2290.08/2214.22	c cleaning 13146 clauses out of 26309 with flag 199544/16297301
2291.58/2215.71	c cleaning 14070 clauses out of 28164 with flag 230473/16312302
2293.21/2217.30	c cleaning 15035 clauses out of 30093 with flag 263413/16328301
2294.91/2219.05	c cleaning 16017 clauses out of 32058 with flag 298332/16345301
2296.74/2220.88	c cleaning 17012 clauses out of 34043 with flag 335476/16363303
2298.63/2222.78	c cleaning 18002 clauses out of 36030 with flag 374728/16382302
2300.86/2224.92	c cleaning 19002 clauses out of 38028 with flag 415899/16402302
2303.21/2227.22	c cleaning 20000 clauses out of 40026 with flag 459018/16423302
2305.60/2229.64	c cleaning 21006 clauses out of 42027 with flag 504968/16445303
2308.14/2232.15	c cleaning 21998 clauses out of 44020 with flag 552540/16468302
2311.00/2234.91	c cleaning 22997 clauses out of 46022 with flag 602187/16492302
2313.89/2237.81	c cleaning 23998 clauses out of 48024 with flag 654055/16517301
2316.72/2240.65	c cleaning 24999 clauses out of 50026 with flag 707510/16543301
2319.66/2243.58	c cleaning 26003 clauses out of 52028 with flag 763625/16570302
2322.81/2246.64	c cleaning 27005 clauses out of 54025 with flag 821492/16598302
2325.96/2249.79	c cleaning 27999 clauses out of 56020 with flag 881194/16627302
2329.53/2253.22	c cleaning 28996 clauses out of 58020 with flag 942945/16657301
2332.90/2256.52	c cleaning 30002 clauses out of 60024 with flag 1006944/16688301
2336.59/2260.11	c cleaning 30998 clauses out of 62023 with flag 1072870/16720302
2340.66/2264.11	c cleaning 32000 clauses out of 64025 with flag 1140983/16753302
2344.53/2267.95	c cleaning 33003 clauses out of 66025 with flag 1211341/16787302
2348.48/2271.82	c cleaning 33998 clauses out of 68021 with flag 1283638/16822301
2352.66/2275.95	c cleaning 35002 clauses out of 70025 with flag 1358011/16858303
2357.12/2280.37	c cleaning 36000 clauses out of 72021 with flag 1434207/16895301
2361.79/2284.82	c cleaning 36998 clauses out of 74021 with flag 1512544/16933301
2366.28/2289.24	c cleaning 37998 clauses out of 76024 with flag 1593281/16972302
2370.91/2293.81	c cleaning 38997 clauses out of 78025 with flag 1675937/17012301
2375.84/2298.76	c cleaning 40002 clauses out of 80028 with flag 1760585/17053301
2380.96/2303.79	c cleaning 41001 clauses out of 82026 with flag 1847363/17095301
2386.42/2309.19	c cleaning 42002 clauses out of 84025 with flag 1936111/17138301
2391.94/2314.68	c cleaning 42999 clauses out of 86024 with flag 2026735/17182302
2397.55/2320.14	c cleaning 43999 clauses out of 88024 with flag 2120114/17227301
2403.24/2325.81	c cleaning 45000 clauses out of 90026 with flag 2215360/17273302
2408.96/2331.40	c cleaning 46000 clauses out of 92025 with flag 2312852/17320301
2414.81/2337.25	c cleaning 47002 clauses out of 94025 with flag 2411873/17368301
2420.84/2343.14	c cleaning 48002 clauses out of 96024 with flag 2513241/17417302
2426.98/2349.26	c cleaning 48998 clauses out of 98021 with flag 2616720/17467301
2433.56/2355.72	c cleaning 49997 clauses out of 100024 with flag 2722382/17518302
2440.18/2362.23	c cleaning 51003 clauses out of 102027 with flag 2829859/17570302
2446.84/2368.83	c cleaning 51995 clauses out of 104023 with flag 2939422/17623301
2453.85/2375.73	c cleaning 52999 clauses out of 106029 with flag 3050963/17677302
2461.58/2383.36	c cleaning 54003 clauses out of 108030 with flag 3164275/17732302
2468.62/2390.38	c cleaning 54999 clauses out of 110027 with flag 3279991/17788302
2475.89/2397.59	c cleaning 56000 clauses out of 112028 with flag 3398018/17845302
2483.09/2404.65	c cleaning 56994 clauses out of 114028 with flag 3518839/17903302
2490.52/2411.96	c cleaning 58002 clauses out of 116033 with flag 3641097/17962301
2498.17/2419.48	c cleaning 59006 clauses out of 118032 with flag 3765026/18022302
2506.24/2427.38	c cleaning 60003 clauses out of 120026 with flag 3891173/18083302
2514.49/2435.42	c cleaning 61002 clauses out of 122023 with flag 4019433/18145302
2522.54/2443.30	c cleaning 61999 clauses out of 124021 with flag 4149482/18208302
2530.99/2451.64	c cleaning 62999 clauses out of 126022 with flag 4281792/18272302
2539.21/2459.79	c cleaning 63996 clauses out of 128022 with flag 4417308/18337301
2547.64/2468.09	c cleaning 65003 clauses out of 130027 with flag 4553951/18403302
2556.26/2476.59	c cleaning 66000 clauses out of 132023 with flag 4692498/18470301
2565.17/2485.32	c cleaning 66999 clauses out of 134024 with flag 4832675/18538302
2574.52/2494.42	c cleaning 67997 clauses out of 136024 with flag 4975423/18607301
2584.46/2504.23	c cleaning 69001 clauses out of 138027 with flag 5119641/18677301
2595.39/2515.01	c cleaning 70003 clauses out of 140027 with flag 5265990/18748302
2606.85/2526.25	c cleaning 71003 clauses out of 142023 with flag 5416245/18820301
2617.98/2537.25	c cleaning 72000 clauses out of 144021 with flag 5567518/18893302
2628.84/2547.97	c cleaning 73002 clauses out of 146021 with flag 5720342/18967302
2640.38/2558.89	c cleaning 74000 clauses out of 148018 with flag 5877059/19042301
2651.85/2570.03	c cleaning 74997 clauses out of 150019 with flag 6035270/19118302
2663.16/2581.23	c cleaning 76001 clauses out of 152021 with flag 6195053/19195301
2674.70/2592.50	c cleaning 77000 clauses out of 154021 with flag 6357745/19273302
2686.75/2604.46	c cleaning 78000 clauses out of 156020 with flag 6521112/19352301
2698.78/2616.28	c cleaning 79003 clauses out of 158022 with flag 6685765/19432303
2710.09/2627.45	c cleaning 80000 clauses out of 160018 with flag 6853514/19513302
2721.80/2638.91	c cleaning 80998 clauses out of 162018 with flag 7023027/19595302
2733.97/2650.83	c cleaning 82001 clauses out of 164020 with flag 7196013/19678302
2747.66/2664.21	c cleaning 83000 clauses out of 166019 with flag 7369761/19762302
2760.81/2677.21	c cleaning 83997 clauses out of 168019 with flag 7545224/19847302
2774.23/2690.44	c cleaning 85001 clauses out of 170021 with flag 7724060/19933301
2787.55/2703.52	c cleaning 86001 clauses out of 172021 with flag 7905443/20020302
2800.50/2716.28	c cleaning 87000 clauses out of 174019 with flag 8087777/20108301
2813.67/2729.13	c cleaning 87993 clauses out of 176020 with flag 8271666/20197302
2826.34/2741.52	c cleaning 89006 clauses out of 178028 with flag 8458258/20287303
2839.23/2754.12	c cleaning 90002 clauses out of 180020 with flag 8647749/20378301
2853.31/2768.00	c cleaning 90997 clauses out of 182019 with flag 8839521/20470302
2866.89/2781.26	c cleaning 91997 clauses out of 184021 with flag 9032007/20563301
2884.01/2797.96	c cleaning 93004 clauses out of 186024 with flag 9226245/20657301
2901.75/2814.59	c cleaning 93998 clauses out of 188021 with flag 9422517/20752302
2916.71/2829.13	c cleaning 94998 clauses out of 190022 with flag 9620009/20848301
2931.41/2843.52	c cleaning 96003 clauses out of 192025 with flag 9819671/20945302
2947.67/2859.42	c cleaning 97004 clauses out of 194021 with flag 10021725/21043301
2964.06/2875.30	c cleaning 98001 clauses out of 196017 with flag 10226313/21142301
2981.51/2891.48	c cleaning 98999 clauses out of 198016 with flag 10433021/21242301
2999.11/2908.53	c cleaning 99994 clauses out of 200018 with flag 10640924/21343302
3017.60/2925.76	c cleaning 101003 clauses out of 202023 with flag 10851325/21445301
3035.70/2943.46	c cleaning 101997 clauses out of 204020 with flag 11062957/21548301
3053.73/2960.26	c cleaning 103000 clauses out of 206024 with flag 11277633/21652302
3074.23/2979.34	c cleaning 104003 clauses out of 208023 with flag 11493334/21757301
3092.79/2996.44	c cleaning 105003 clauses out of 210021 with flag 11710944/21863302
3112.23/3014.66	c cleaning 105998 clauses out of 212019 with flag 11931650/21970303
3130.94/3032.19	c cleaning 107000 clauses out of 214019 with flag 12153689/22078301
3149.38/3049.28	c cleaning 108000 clauses out of 216019 with flag 12378205/22187301
3168.87/3067.23	c cleaning 108999 clauses out of 218019 with flag 12604464/22297301
3189.25/3086.31	c cleaning 109993 clauses out of 220020 with flag 12833100/22408301
3209.09/3104.97	c cleaning 111001 clauses out of 222028 with flag 13063901/22520302
3230.95/3124.35	c cleaning 112001 clauses out of 224026 with flag 13296621/22633301
3251.86/3143.89	c cleaning 112999 clauses out of 226025 with flag 13531035/22747301
3271.64/3162.39	c cleaning 114000 clauses out of 228027 with flag 13768195/22862302
3295.57/3183.78	c cleaning 115002 clauses out of 230027 with flag 14006822/22978302
3316.99/3203.67	c cleaning 116003 clauses out of 232024 with flag 14247703/23095301
3337.93/3223.05	c cleaning 117002 clauses out of 234022 with flag 14490001/23213302
3359.03/3241.61	c cleaning 117995 clauses out of 236020 with flag 14736197/23332302
3379.79/3261.07	c cleaning 119004 clauses out of 238024 with flag 14983402/23452301
3402.75/3281.52	c cleaning 119998 clauses out of 240020 with flag 15233125/23573301
3425.38/3302.88	c cleaning 121002 clauses out of 242023 with flag 15485208/23695302
3448.49/3323.24	c cleaning 122004 clauses out of 244021 with flag 15738215/23818302
3471.14/3344.52	c cleaning 122994 clauses out of 246016 with flag 15994104/23942301
3493.91/3364.55	c cleaning 124001 clauses out of 248022 with flag 16252256/24067301
3516.04/3385.23	c cleaning 125000 clauses out of 250022 with flag 16512890/24193302
3540.60/3407.04	c cleaning 126000 clauses out of 252021 with flag 16775241/24320301
3563.48/3428.39	c cleaning 126999 clauses out of 254021 with flag 17039413/24448301
3588.51/3450.71	c cleaning 127996 clauses out of 256022 with flag 17305163/24577301
3600.05/3461.01	c starts		: 10
3600.05/3461.02	c conflicts		: 24660783
3600.05/3461.02	c decisions		: 32687771
3600.05/3461.02	c propagations		: 540810315
3600.05/3461.02	c inspects		: 12881320379
3600.05/3461.02	c shortcuts		: 0
3600.05/3461.02	c learnt literals	: 0
3600.05/3461.02	c learnt binary clauses	: 0
3600.05/3461.02	c learnt ternary clauses	: 0
3600.05/3461.02	c learnt constraints	: 24660783
3600.05/3461.02	c ignored constraints	: 0
3600.05/3461.02	c root simplifications	: 0
3600.05/3461.02	c removed literals (reason simplification)	: 70014
3600.05/3461.02	c reason swapping (by a shorter reason)	: 0
3600.05/3461.02	c Calls to reduceDB	: 427
3600.05/3461.02	c Number of update (reduction) of LBD	: 286111
3600.05/3461.02	c Imported unit clauses	: 0
3600.05/3461.02	c No decision after first conflict	: false
3600.05/3461.02	c number of reductions to clauses (during analyze)	: 0
3600.05/3461.02	c number of learned constraints concerned by reduction	: 0
3600.05/3461.02	c number of learning phase by resolution	: 0
3600.05/3461.02	c number of learning phase by cutting planes	: 0
3600.05/3461.02	c number of rounding to 1 operations	: 0
3600.05/3461.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3461.03	c number of reductions of the coefficients by power 2 	: 0
3600.05/3461.03	c number of right shift for reduction by power 2 	: 0
3600.05/3461.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3461.03	c number of ending skipping 	: 0
3600.05/3461.03	c number of internal skipping 	: 0
3600.05/3461.03	c number of derivation steps 	: 0
3600.05/3461.03	c number of skipped derivation steps 	: 0
3600.05/3461.03	c number of remaining unassigned 	: 0
3600.05/3461.03	c number of remaining assigned 	: 0
3600.05/3461.03	c number of falsified literals weakened from reason	: 0
3600.05/3461.03	c number of falsified literals weakened from conflict	: 0
3600.05/3461.03	c time for arithmetic operations	: 0
3600.05/3461.03	c minimum degree of deleted constraints	: null
3600.05/3461.03	c maximum degree of deleted constraints	: null
3600.05/3461.03	c number of deleted constraints	: 0
3600.05/3461.03	c speed (assignments/second)	: 156267.789280604
3600.05/3461.03	c non guided choices	: 0
3600.05/3461.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 211508
3600.05/3461.10	s SATISFIABLE
3600.05/3461.10	c Found 9 solution(s)
3600.05/3461.10	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.25/3461.11	c objective function=229
3600.25/3461.11	c Total wall clock time (in seconds): 3460.967

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: 63665 MiB (58457 MiB free)
  memory of node 1: 64507 MiB (34314 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489009-1751342482/watcher-4489009-1751342482 -o /tmp/evaluation-result-4489009-1751342482/solver-4489009-1751342482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43898 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489009-1751342482 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489009-1751342482.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 FSIZE limit: 102400000 KiB
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=45035, runsolver pid=45032
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.42 4.33 4.39 6/344 45053
/proc/meminfo: memFree=94848372/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=18930384 memory=53132 CPUtime=0.1 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 6448 0 0 0 9 1 0 0 20 0 18 0 49927819 19384713216 13283 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4732596 13283 5343 1 0 547532 0
[pid=45035/tid=45037] ppid=45032 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 4979 0 0 0 5 1 0 0 20 0 18 0 49927821 19384713216 13283 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49927823 19384713216 13283 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=18930384 memory=59585004335790 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49927823 19384713216 13283 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53132 KiB

[startup+0.20607 s]*
/proc/loadavg: 4.42 4.33 4.39 7/344 45053
/proc/meminfo: memFree=94711504/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=18930384 memory=63912 CPUtime=0.28 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 7004 0 0 0 26 2 0 0 20 0 18 0 49927819 19384713216 15978 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4732596 15978 5439 1 0 547924 0
[pid=45035/tid=45037] ppid=45032 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 5281 0 0 0 14 1 0 0 20 0 18 0 49927821 19384713216 15978 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=18930384 memory=16912 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49927823 19384713216 15978 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49927823 19384713216 15978 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63912 KiB

[startup+0.306028 s]*
/proc/loadavg: 4.42 4.33 4.39 8/345 45054
/proc/meminfo: memFree=94529264/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=18996948 memory=70700 CPUtime=0.47 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 8194 0 0 0 44 3 0 0 20 0 19 0 49927819 19452874752 17675 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4749237 17675 5471 1 0 548723 0
[pid=45035/tid=45037] ppid=45032 vsize=18996948 memory=-6000919498510198635 CPUtime=0.23 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 5435 0 0 0 22 1 0 0 20 0 19 0 49927821 19452874752 17675 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49927823 19452874752 17675 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49927823 19452874752 17675 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49927843 19452874752 17675 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70700 KiB

[startup+0.700237 s]
/proc/loadavg: 4.42 4.33 4.39 6/345 45054
/proc/meminfo: memFree=94208964/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=165828 CPUtime=1.22 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 11809 0 0 0 116 6 0 0 20 0 20 0 49927819 19521036288 41457 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 41457 5503 1 0 550916 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=17792 CPUtime=0.55 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 5500 0 0 0 52 3 0 0 20 0 20 0 49927821 19521036288 41457 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 41457 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 41457 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 41457 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165828 KiB

[startup+1.50077 s]
/proc/loadavg: 4.42 4.33 4.39 7/346 45055
/proc/meminfo: memFree=93512368/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=190580 CPUtime=2.8 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 15105 0 0 0 272 8 0 0 20 0 20 0 49927819 19521036288 47645 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 47645 5503 1 0 552882 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=11008 CPUtime=1.28 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 5522 0 0 0 124 4 0 0 20 0 20 0 49927821 19521036288 47645 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 47645 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 47645 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 47645 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190580 KiB

[startup+3.10591 s]
/proc/loadavg: 4.39 4.33 4.39 5/346 45055
/proc/meminfo: memFree=92229264/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=736380 CPUtime=5.14 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 16143 0 0 0 492 22 0 0 20 0 20 0 49927819 19521036288 184095 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 184095 5503 1 0 784765 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=11008 CPUtime=2.77 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 5787 0 0 0 261 16 0 0 20 0 20 0 49927821 19521036288 184095 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=-6000919498510198635 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 184095 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 184095 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 184095 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 5.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 736380 KiB

[startup+6.30023 s]
/proc/loadavg: 4.39 4.33 4.39 6/346 45055
/proc/meminfo: memFree=90913008/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=1458468 CPUtime=8.53 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 17337 0 0 0 811 42 0 0 20 0 20 0 49927819 19521036288 364617 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 364617 5503 1 0 1096014 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=0 CPUtime=5.78 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 6065 0 0 0 548 30 0 0 20 0 20 0 49927821 19521036288 364617 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 364617 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 364617 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=192860 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 364617 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 8.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1458468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.41 4.33 4.39 5/347 45058
/proc/meminfo: memFree=88512268/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=2623652 CPUtime=15.21 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 18922 0 0 0 1447 74 0 0 20 0 20 0 49927819 19521036288 655913 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 655913 5503 1 0 1256878 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=192860 CPUtime=11.92 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 7048 0 0 0 1134 58 0 0 20 0 20 0 49927821 19521036288 655913 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 655913 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=2412652 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 655913 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 655913 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2623652 KiB

[startup+25.5002 s]
/proc/loadavg: 4.43 4.34 4.39 5/347 45058
/proc/meminfo: memFree=85230908/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=3381716 CPUtime=28.34 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 26142 0 0 0 2728 106 0 0 20 0 20 0 49927819 19521036288 845429 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 845429 5503 1 0 1256889 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=11008 CPUtime=24.34 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 10547 0 0 0 2347 87 0 0 20 0 20 0 49927821 19521036288 845429 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=2412652 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 845429 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=2372 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 845429 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 845429 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3381716 KiB

[startup+51.106 s]
/proc/loadavg: 4.44 4.34 4.39 5/346 45058
/proc/meminfo: memFree=79723372/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=4161792 CPUtime=54.5 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 32937 0 0 0 5294 156 0 0 20 0 20 0 49927819 19521036288 1040448 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 1040448 5535 1 0 1371770 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=4161792 CPUtime=49.1 cores=4,6

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

Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3222660 KiB

[startup+3162.3 s]
/proc/loadavg: 4.34 4.30 4.31 5/345 45296
/proc/meminfo: memFree=2619012/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=3696500 CPUtime=3271.64 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 3221585 0 0 0 323016 4148 0 0 20 0 20 0 49927819 19521036288 924125 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 924125 5567 1 0 938465 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=3530892 CPUtime=3068.77 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 3019569 0 0 0 302924 3953 0 0 20 0 20 0 49927821 19521036288 924125 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=3530892 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 924125 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=2889292 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 1611 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 924125 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=3080844 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 924125 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3696500 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.29 4.31 5/347 45304
/proc/meminfo: memFree=1032560/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=3080904 CPUtime=3337.23 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 3328546 0 0 0 329481 4242 0 0 20 0 20 0 49927819 19521036288 770226 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 770226 5567 1 0 781869 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=3530892 CPUtime=3126.46 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 3124433 0 0 0 308608 4038 0 0 20 0 20 0 49927821 19521036288 770226 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=3530892 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 770226 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=2914192 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 1612 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 770226 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=3330880 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 770226 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 3337.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3080904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.48 4.35 4.33 5/347 45306
/proc/meminfo: memFree=844496/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=2997608 CPUtime=3403.55 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 3492238 0 0 0 336010 4345 0 0 20 0 20 0 49927819 19521036288 749402 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 749402 5567 1 0 760989 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=2997608 CPUtime=3184.34 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 3280677 0 0 0 314299 4135 0 0 20 0 20 0 49927821 19521036288 749402 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=3080840 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 749402 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 1612 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 749402 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 749402 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 3403.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2997608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.46 4.39 4.35 5/347 45309
/proc/meminfo: memFree=508096/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=3497680 CPUtime=3468.94 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 3605045 0 0 0 342455 4439 0 0 20 0 20 0 49927819 19521036288 874420 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 874420 5567 1 0 886269 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=11008 CPUtime=3242.3 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 3389755 0 0 0 320005 4225 0 0 20 0 20 0 49927821 19521036288 874420 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=3497680 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 874420 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 1661 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 874420 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=3497680 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 874420 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 3468.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3497680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.39 4.39 4.35 6/346 45311
/proc/meminfo: memFree=550508/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=3222680 CPUtime=3535.44 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 3627453 0 0 0 349032 4512 0 0 20 0 20 0 49927819 19521036288 805670 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 805670 5567 1 0 817365 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=11008 CPUtime=3300.37 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 3409301 0 0 0 325745 4292 0 0 20 0 20 0 49927821 19521036288 805670 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=3497680 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 805670 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 1661 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 805670 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=3222680 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 805670 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 3535.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3222680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3461 s]*
/proc/loadavg: 3.84 4.27 4.31 3/296 45381
/proc/meminfo: memFree=74640568/131249996 swapFree=33010416/33010684
[pid=45035] ppid=45032 vsize=19063512 memory=3581096 CPUtime=3600.05 cores=4,6
/proc/45035/stat : 45035 (java) S 45032 45035 43887 0 -1 4194304 3641348 0 0 0 355414 4591 0 0 20 0 20 0 49927819 19521036288 895274 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
/proc/45035/statm: 4765878 895274 5567 1 0 907149 0
[pid=45035/tid=45037] ppid=45032 vsize=19063512 memory=-6000919472740263787 CPUtime=3357.29 cores=4,6
/proc/45035/task/45037/stat : 45037 (java) R 45032 45035 43887 0 -1 4194368 3420894 0 0 0 331364 4365 0 0 20 0 20 0 49927821 19521036288 895274 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45046] ppid=45032 vsize=19063512 memory=-4421386483413444195 CPUtime=0 cores=4,6
/proc/45035/task/45046/stat : 45046 (Finalizer) S 45032 45035 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 895274 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45053] ppid=45032 vsize=19063512 memory=6836 CPUtime=0 cores=4,6
/proc/45035/task/45053/stat : 45053 (Common-Cleaner) S 45032 45035 43887 0 -1 4194368 1665 0 0 0 0 0 0 0 20 0 20 0 49927823 19521036288 895274 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
[pid=45035/tid=45054] ppid=45032 vsize=19063512 memory=3581096 CPUtime=0 cores=4,6
/proc/45035/task/45054/stat : 45054 (Timer-0) S 45032 45035 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49927843 19521036288 895274 18446744073709551615 94236802732032 94236802735728 140730576690624 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94236802743544 94236802744336 94236834160640 140730576697648 140730576697830 140730576697830 140730576703432 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3581096 KiB

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

[startup+3462.3 s]
/proc/loadavg: 3.84 4.27 4.31 2/278 45384
/proc/meminfo: memFree=78145996/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
heavy processes:

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3554.4 s, system=46.7412 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3462.41 s]
/proc/loadavg: 3.84 4.27 4.31 2/278 45384
/proc/meminfo: memFree=78148844/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3462.8 s]
/proc/loadavg: 3.84 4.27 4.31 2/278 45384
/proc/meminfo: memFree=78148844/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3463 s]*
/proc/loadavg: 3.69 4.23 4.30 3/278 45384
/proc/meminfo: memFree=78145892/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3466.89
CPU time (s): 3601.14
CPU user time (s): 3554.4
CPU system time (s): 46.7412
CPU usage (%): 103.872
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5455868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.4
system time used= 46.7412
maximum resident set size= 5455868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3642933
page faults= 0
swaps= 0
block input operations= 40
block output operations= 88016936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 336355
involuntary context switches= 32591


# summary of solver processes directly reported to runsolver:
#   pid: 45035
#   total CPU time (s): 3601.14
#   total CPU user time (s): 3554.4
#   total CPU system time (s): 46.7412

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27337 second user time and 18.5299 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 06:01:22
IDJOB=4489009
IDBENCH=147536
IDSOLVER=3364
FILE ID=nodeC030/4489009-1751342482
RUNJOBID= nodeC030-1751335254-43898
SLURM_JOB_ID= 9594379
Free space on /tmp= 433032 MiB

SOLVER NAME= Sat4j Resolution VeriPB 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489009-1751342482/watcher-4489009-1751342482 -o /tmp/evaluation-result-4489009-1751342482/solver-4489009-1751342482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43898 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489009-1751342482 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489009-1751342482.opb

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

MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0
RANDOM SEED=1494244930

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        95093936 kB
MemAvailable:   106404148 kB
Buffers:            2564 kB
Cached:         12094952 kB
SwapCached:           16 kB
Active:         23797200 kB
Inactive:       11677048 kB
Active(anon):   23390244 kB
Inactive(anon):     4660 kB
Active(file):     406956 kB
Inactive(file): 11672388 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            864900 kB
Writeback:             4 kB
AnonPages:      23379952 kB
Mapped:           123260 kB
Shmem:             18048 kB
KReclaimable:     139816 kB
Slab:             255568 kB
SReclaimable:     139816 kB
SUnreclaim:       115752 kB
KernelStack:        5296 kB
PageTables:        49312 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   32682784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23042048 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC030 at 2025-07-01 06:59:09