Trace number 4489238

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)214 3600.77 3541.2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
MD5SUM79a11fcf881101c51e0b67ee01609c80
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 benchmark179
Best CPU time to get the best result obtained on this benchmark3586
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints470
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 constraints470
Minimum length of a constraint4
Maximum length of a constraint20
Number of terms in the objective function 470
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 470
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 470
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.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.20	c version PB25.v20250606
0.26/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.23	c java.vm.version	22.0.1+8-16
0.26/0.23	c java.vm.vendor	Oracle Corporation
0.26/0.23	c sun.arch.data.model	64
0.26/0.24	c java.version		22.0.1
0.26/0.24	c os.name		Linux
0.26/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.24	c os.arch		amd64
0.26/0.24	c Free memory 		2104792832
0.26/0.25	c Max memory 		16282288128
0.26/0.25	c Total memory 		2113929216
0.26/0.25	c Number of processors 	2
0.45/0.35	c Pseudo Boolean Optimization by upper bound
0.45/0.35	c --- Begin Solver configuration ---
0.45/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.45/0.35	c Learn all clauses as in MiniSAT
0.45/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.35	c Expensive reason simplification
0.45/0.35	c Glucose 2.1 dynamic restart strategy
0.45/0.35	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.45/0.35	c timeout=2147483s
0.45/0.35	c DB Simplification allowed=false
0.45/0.35	c Listener: none
0.45/0.35	c --- End Solver configuration ---
0.45/0.35	c solving HOME/instance-4489238-1751340116.opb
0.45/0.35	c reading problem ... 
0.45/0.36	c  objective function found
0.62/0.49	c ... done. Wall clock time 0.136s.
0.62/0.49	c declared #vars     470
0.62/0.49	c #constraints  470
0.62/0.49	c constraints type 
0.62/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 470
0.62/0.50	c 470 constraints processed.
0.79/0.52	c objective function length is 470 literals
0.79/0.55	c SATISFIABLE
0.79/0.55	c OPTIMIZING...
0.79/0.55	c Got one! Elapsed wall clock time (in seconds):0.202
0.79/0.56	o 223
1.13/0.71	c Got one! Elapsed wall clock time (in seconds):0.358
1.13/0.71	o 222
1.93/1.17	c Got one! Elapsed wall clock time (in seconds):0.814
1.93/1.17	o 221
2.70/1.58	c cleaning 2704 clauses out of 5418 with flag 6288/5418
2.91/1.65	c Got one! Elapsed wall clock time (in seconds):1.301
2.91/1.65	o 220
3.70/2.01	c cleaning 4165 clauses out of 8339 with flag 10611/11043
3.70/2.08	c Got one! Elapsed wall clock time (in seconds):1.731
3.70/2.08	o 219
3.90/2.13	c Got one! Elapsed wall clock time (in seconds):1.778
3.90/2.13	o 218
4.07/2.22	c Got one! Elapsed wall clock time (in seconds):1.864
4.07/2.22	o 217
4.18/2.37	c cleaning 5426 clauses out of 10865 with flag 4338/17734
4.48/2.67	c cleaning 5713 clauses out of 11438 with flag 17246/23733
5.10/3.20	c cleaning 6359 clauses out of 12727 with flag 32496/30735
5.91/4.08	c cleaning 7170 clauses out of 14366 with flag 49655/38733
6.73/4.72	c cleaning 8091 clauses out of 16197 with flag 68202/47734
7.39/5.34	c cleaning 9046 clauses out of 18106 with flag 88779/57734
7.99/5.99	c cleaning 10024 clauses out of 20059 with flag 112264/68733
8.84/6.79	c cleaning 11013 clauses out of 22038 with flag 137718/80736
9.58/7.43	c cleaning 12002 clauses out of 24022 with flag 164587/93733
10.55/8.37	c cleaning 13003 clauses out of 26021 with flag 193371/107734
11.36/9.13	c cleaning 13997 clauses out of 28017 with flag 224064/122733
12.38/10.10	c cleaning 14998 clauses out of 30020 with flag 256697/138733
13.50/11.06	c cleaning 16004 clauses out of 32023 with flag 291655/155734
14.50/12.08	c cleaning 17000 clauses out of 34018 with flag 328431/173733
16.07/13.54	c cleaning 17999 clauses out of 36019 with flag 368135/192734
17.27/14.78	c cleaning 19002 clauses out of 38020 with flag 409871/212734
18.99/16.40	c cleaning 20002 clauses out of 40017 with flag 453397/233733
20.58/17.92	c cleaning 21000 clauses out of 42015 with flag 498678/255733
22.30/19.56	c cleaning 21998 clauses out of 44016 with flag 546272/278734
23.92/21.05	c cleaning 23001 clauses out of 46017 with flag 595963/302733
24.02/21.19	c Got one! Elapsed wall clock time (in seconds):20.827
24.02/21.19	o 216
24.22/21.35	c cleaning 14144 clauses out of 28305 with flag 4960/308022
24.54/21.61	c cleaning 10072 clauses out of 20163 with flag 17243/314024
24.84/21.92	c cleaning 8535 clauses out of 17090 with flag 31571/321023
25.37/22.31	c cleaning 8271 clauses out of 16555 with flag 48276/329023
25.94/22.72	c cleaning 8629 clauses out of 17283 with flag 66819/338022
26.35/23.14	c cleaning 9318 clauses out of 18655 with flag 87341/348023
26.87/23.68	c cleaning 10160 clauses out of 20336 with flag 109913/359022
27.47/24.24	c cleaning 11079 clauses out of 22176 with flag 134584/371022
28.07/24.85	c cleaning 12038 clauses out of 24098 with flag 161425/384023
28.78/25.51	c cleaning 13023 clauses out of 26060 with flag 190493/398023
29.52/26.26	c cleaning 14007 clauses out of 28037 with flag 221453/413023
30.43/27.14	c cleaning 15006 clauses out of 30030 with flag 255096/429023
31.43/28.13	c cleaning 16006 clauses out of 32023 with flag 290415/446022
32.59/29.23	c cleaning 17000 clauses out of 34017 with flag 327517/464022
33.59/30.26	c cleaning 18000 clauses out of 36018 with flag 366706/483023
35.00/31.56	c cleaning 19000 clauses out of 38017 with flag 407982/503022
36.30/32.84	c cleaning 20002 clauses out of 40018 with flag 451247/524023
37.72/34.16	c cleaning 20996 clauses out of 42015 with flag 496898/546022
38.80/35.23	c cleaning 21999 clauses out of 44019 with flag 544723/569022
40.19/36.50	c cleaning 23005 clauses out of 46021 with flag 594737/593023
41.38/37.75	c cleaning 23996 clauses out of 48016 with flag 646449/618023
42.93/39.18	c cleaning 25002 clauses out of 50020 with flag 700234/644023
44.32/40.52	c cleaning 25999 clauses out of 52017 with flag 756638/671022
46.23/42.35	c cleaning 26999 clauses out of 54018 with flag 814616/699022
47.94/44.01	c cleaning 27997 clauses out of 56020 with flag 874741/728023
49.99/45.90	c cleaning 29001 clauses out of 58022 with flag 936609/758022
51.59/47.58	c cleaning 30000 clauses out of 60022 with flag 1000839/789023
55.37/51.23	c cleaning 31002 clauses out of 62021 with flag 1069402/821022
58.70/54.45	c cleaning 32002 clauses out of 64020 with flag 1137373/854023
61.49/57.26	c cleaning 33001 clauses out of 66017 with flag 1207675/888022
65.19/60.89	c cleaning 34000 clauses out of 68016 with flag 1280631/923022
67.93/63.43	c cleaning 35000 clauses out of 70017 with flag 1355134/959023
70.32/65.89	c cleaning 36001 clauses out of 72017 with flag 1432106/996023
73.64/69.10	c cleaning 36999 clauses out of 74016 with flag 1511049/1034023
78.30/72.83	c cleaning 38000 clauses out of 76017 with flag 1591669/1073023
81.00/75.52	c cleaning 38999 clauses out of 78017 with flag 1674228/1113023
83.94/78.49	c cleaning 40002 clauses out of 80018 with flag 1759092/1154023
87.13/81.58	c cleaning 40998 clauses out of 82015 with flag 1846458/1196022
90.37/84.60	c cleaning 41997 clauses out of 84017 with flag 1935467/1239022
93.36/87.62	c cleaning 42999 clauses out of 86020 with flag 2026106/1283022
96.43/90.66	c cleaning 43999 clauses out of 88021 with flag 2118679/1328022
101.21/95.32	c cleaning 45001 clauses out of 90022 with flag 2213547/1374022
104.50/98.63	c cleaning 45999 clauses out of 92021 with flag 2311086/1421022
108.00/102.17	c cleaning 46998 clauses out of 94023 with flag 2410337/1469023
111.71/105.73	c cleaning 47999 clauses out of 96024 with flag 2511837/1518022
115.02/109.02	c cleaning 49001 clauses out of 98025 with flag 2616362/1568022
118.62/112.42	c cleaning 50002 clauses out of 100025 with flag 2721858/1619023
122.56/116.16	c cleaning 50999 clauses out of 102023 with flag 2829216/1671023
126.85/120.49	c cleaning 52001 clauses out of 104024 with flag 2938938/1724023
131.03/124.53	c cleaning 52998 clauses out of 106022 with flag 3050575/1778022
135.83/129.28	c cleaning 54002 clauses out of 108024 with flag 3164056/1833022
142.31/135.54	c cleaning 55001 clauses out of 110022 with flag 3279200/1889022
146.69/139.72	c cleaning 56000 clauses out of 112021 with flag 3396799/1946022
153.50/145.19	c cleaning 56999 clauses out of 114021 with flag 3516685/2004022
157.28/149.00	c cleaning 58002 clauses out of 116023 with flag 3639445/2063023
161.64/153.20	c cleaning 59003 clauses out of 118021 with flag 3764014/2123023
166.31/157.73	c cleaning 60001 clauses out of 120018 with flag 3890743/2184023
170.96/162.20	c cleaning 60997 clauses out of 122016 with flag 4019107/2246022
176.93/168.14	c cleaning 61999 clauses out of 124019 with flag 4150154/2309022
181.71/172.79	c cleaning 62999 clauses out of 126021 with flag 4284241/2373023
187.28/178.22	c cleaning 63997 clauses out of 128021 with flag 4419965/2438022
192.01/182.87	c cleaning 65002 clauses out of 130025 with flag 4557691/2504023
197.02/187.71	c cleaning 66003 clauses out of 132022 with flag 4696630/2571022
201.72/192.33	c cleaning 66996 clauses out of 134020 with flag 4836848/2639023
206.69/197.28	c cleaning 68000 clauses out of 136023 with flag 4980019/2708022
211.89/202.33	c cleaning 68998 clauses out of 138024 with flag 5124514/2778023
218.60/208.83	c cleaning 70001 clauses out of 140026 with flag 5271010/2849023
225.94/214.71	c cleaning 71003 clauses out of 142026 with flag 5420244/2921024
232.74/221.43	c cleaning 72000 clauses out of 144022 with flag 5572061/2994023
238.10/226.77	c cleaning 73001 clauses out of 146022 with flag 5726484/3068023
242.99/231.56	c cleaning 73999 clauses out of 148020 with flag 5884918/3143022
249.37/237.75	c cleaning 74996 clauses out of 150021 with flag 6043655/3219022
254.73/242.95	c cleaning 75999 clauses out of 152026 with flag 6205431/3296023
260.29/248.31	c cleaning 76999 clauses out of 154026 with flag 6367594/3374022
265.97/253.98	c cleaning 78001 clauses out of 156027 with flag 6530223/3453022
271.63/259.49	c cleaning 79001 clauses out of 158027 with flag 6694630/3533023
277.78/265.53	c cleaning 80003 clauses out of 160026 with flag 6861319/3614023
287.37/275.09	c cleaning 81004 clauses out of 162022 with flag 7031162/3696022
295.07/282.59	c cleaning 82001 clauses out of 164019 with flag 7203632/3779023
303.92/291.24	c cleaning 83000 clauses out of 166017 with flag 7377385/3863022
311.35/298.60	c cleaning 84000 clauses out of 168017 with flag 7554237/3948022
317.14/304.13	c cleaning 84999 clauses out of 170018 with flag 7732742/4034023
323.28/310.19	c cleaning 86001 clauses out of 172018 with flag 7912574/4121022
330.22/316.91	c cleaning 86997 clauses out of 174017 with flag 8094625/4209022
337.20/323.79	c cleaning 88000 clauses out of 176020 with flag 8277935/4298022
345.60/331.94	c cleaning 89005 clauses out of 178020 with flag 8464057/4388022
352.14/338.48	c cleaning 89998 clauses out of 180015 with flag 8651876/4479022
359.25/345.58	c cleaning 90995 clauses out of 182018 with flag 8841785/4571023
367.23/353.37	c cleaning 92002 clauses out of 184022 with flag 9033528/4664022
376.19/362.15	c cleaning 92996 clauses out of 186020 with flag 9228216/4758022
386.69/370.68	c cleaning 93999 clauses out of 188024 with flag 9425084/4853022
395.83/379.66	c cleaning 95003 clauses out of 190025 with flag 9624037/4949022
404.73/388.47	c cleaning 95999 clauses out of 192022 with flag 9826289/5046022
413.31/396.78	c cleaning 97000 clauses out of 194023 with flag 10029743/5144022
423.56/406.83	c cleaning 98006 clauses out of 196023 with flag 10236078/5243022
434.54/417.49	c cleaning 98998 clauses out of 198017 with flag 10442366/5343022
443.37/426.08	c cleaning 99998 clauses out of 200020 with flag 10650973/5444023
452.94/435.37	c cleaning 100999 clauses out of 202021 with flag 10862805/5546022
461.79/444.07	c cleaning 102000 clauses out of 204022 with flag 11076355/5649022
472.66/454.66	c cleaning 102996 clauses out of 206022 with flag 11291947/5753022
483.13/464.90	c cleaning 104003 clauses out of 208026 with flag 11508855/5858022
496.20/477.72	c cleaning 105003 clauses out of 210025 with flag 11727799/5964024
501.24/482.61	c Got one! Elapsed wall clock time (in seconds):482.262
501.24/482.61	o 215
504.53/485.91	c cleaning 85423 clauses out of 170865 with flag 11576/6029867
505.64/487.07	c cleaning 45710 clauses out of 91442 with flag 24004/6035867
506.23/487.61	c cleaning 26354 clauses out of 52733 with flag 38491/6042868
506.64/488.08	c cleaning 17176 clauses out of 34378 with flag 55851/6050867
507.03/488.48	c cleaning 13089 clauses out of 26202 with flag 74450/6059867
507.43/488.89	c cleaning 11546 clauses out of 23113 with flag 95051/6069867
507.94/489.39	c cleaning 11271 clauses out of 22568 with flag 117811/6080868
508.55/489.90	c cleaning 11635 clauses out of 23297 with flag 142561/6092868
509.15/490.50	c cleaning 12322 clauses out of 24661 with flag 169371/6105867
509.76/491.11	c cleaning 13158 clauses out of 26340 with flag 198249/6119868
510.45/491.88	c cleaning 14079 clauses out of 28182 with flag 229061/6134868
511.26/492.68	c cleaning 15042 clauses out of 30102 with flag 262122/6150867
512.05/493.46	c cleaning 16020 clauses out of 32061 with flag 297882/6167868
513.08/494.47	c cleaning 17011 clauses out of 34041 with flag 334927/6185868
514.07/495.46	c cleaning 18003 clauses out of 36029 with flag 374185/6204867
515.07/496.48	c cleaning 19004 clauses out of 38028 with flag 415642/6224869
516.07/497.48	c cleaning 20000 clauses out of 40022 with flag 459385/6245867
517.16/498.56	c cleaning 20998 clauses out of 42022 with flag 505480/6267867
518.36/499.75	c cleaning 22001 clauses out of 44025 with flag 553092/6290868
520.20/501.57	c cleaning 23001 clauses out of 46024 with flag 604306/6314868
521.81/503.18	c cleaning 24005 clauses out of 48023 with flag 656689/6339868
523.39/504.70	c cleaning 25003 clauses out of 50017 with flag 711343/6365867
525.09/506.42	c cleaning 26002 clauses out of 52015 with flag 768091/6392868
526.89/508.23	c cleaning 26998 clauses out of 54013 with flag 826160/6420868
529.06/510.32	c cleaning 28000 clauses out of 56015 with flag 886158/6449868
530.77/512.09	c cleaning 28999 clauses out of 58014 with flag 948320/6479867
532.95/514.14	c cleaning 29998 clauses out of 60016 with flag 1012359/6510868
534.95/516.17	c cleaning 31002 clauses out of 62017 with flag 1078487/6542867
537.34/518.52	c cleaning 31999 clauses out of 64016 with flag 1146775/6575868
540.74/521.89	c cleaning 32998 clauses out of 66016 with flag 1217133/6609867
543.73/524.84	c cleaning 33999 clauses out of 68019 with flag 1289380/6644868
546.23/527.40	c cleaning 35000 clauses out of 70020 with flag 1364074/6680868
549.31/530.38	c cleaning 36002 clauses out of 72019 with flag 1440702/6717867
552.02/533.07	c cleaning 37001 clauses out of 74018 with flag 1519193/6755868
554.90/535.95	c cleaning 37998 clauses out of 76016 with flag 1599698/6794867
557.79/538.89	c cleaning 38998 clauses out of 78018 with flag 1682727/6834867
561.34/542.33	c cleaning 40000 clauses out of 80020 with flag 1767308/6875867
564.44/545.46	c cleaning 41000 clauses out of 82020 with flag 1854328/6917867
567.63/548.68	c cleaning 42002 clauses out of 84021 with flag 1943117/6960868
570.83/551.89	c cleaning 43001 clauses out of 86019 with flag 2034256/7004868
574.51/555.54	c cleaning 44001 clauses out of 88017 with flag 2127437/7049867
578.31/559.29	c cleaning 45000 clauses out of 90017 with flag 2222855/7095868
582.00/562.97	c cleaning 45994 clauses out of 92016 with flag 2319862/7142867
585.39/566.34	c cleaning 47000 clauses out of 94022 with flag 2419586/7190867
589.48/570.42	c cleaning 48001 clauses out of 96022 with flag 2520967/7239867
593.28/574.24	c cleaning 49002 clauses out of 98021 with flag 2624276/7289867
598.91/578.56	c cleaning 50001 clauses out of 100020 with flag 2729471/7340868
604.78/584.21	c cleaning 50996 clauses out of 102018 with flag 2836559/7392867
609.58/589.08	c cleaning 52004 clauses out of 104022 with flag 2948343/7445867
614.57/594.02	c cleaning 52996 clauses out of 106018 with flag 3060476/7499867
619.31/598.75	c cleaning 54002 clauses out of 108022 with flag 3174118/7554867
624.29/603.72	c cleaning 55007 clauses out of 110021 with flag 3289911/7610868
629.39/608.87	c cleaning 55998 clauses out of 112013 with flag 3407857/7667867
635.93/615.20	c cleaning 57000 clauses out of 114016 with flag 3527569/7725868
641.52/620.82	c cleaning 57996 clauses out of 116015 with flag 3649433/7784867
647.85/627.10	c cleaning 58998 clauses out of 118019 with flag 3773362/7844867
654.22/633.42	c cleaning 60000 clauses out of 120023 with flag 3899102/7905869
660.40/639.64	c cleaning 60998 clauses out of 122021 with flag 4027462/7967867
666.11/645.29	c cleaning 62004 clauses out of 124023 with flag 4157957/8030867
671.91/651.03	c cleaning 63001 clauses out of 126019 with flag 4290894/8094867
678.15/657.12	c cleaning 64001 clauses out of 128019 with flag 4425200/8159868
684.13/663.18	c cleaning 65000 clauses out of 130019 with flag 4561209/8225869
690.91/669.96	c cleaning 65995 clauses out of 132018 with flag 4699580/8292868
697.55/676.58	c cleaning 67002 clauses out of 134022 with flag 4839673/8360867
705.05/684.06	c cleaning 68001 clauses out of 136020 with flag 4981779/8429867
712.03/691.07	c cleaning 68996 clauses out of 138020 with flag 5125745/8499868
719.35/698.05	c cleaning 70000 clauses out of 140024 with flag 5272214/8570868
726.13/704.77	c cleaning 71004 clauses out of 142024 with flag 5420937/8642868
732.22/710.85	c cleaning 71999 clauses out of 144019 with flag 5571487/8715867
738.77/717.39	c cleaning 72999 clauses out of 146020 with flag 5724007/8789867
746.25/724.84	c cleaning 74000 clauses out of 148021 with flag 5878541/8864867
755.38/733.83	c cleaning 75000 clauses out of 150021 with flag 6034925/8940867
763.36/741.86	c cleaning 76002 clauses out of 152021 with flag 6194116/9017867
771.18/749.44	c cleaning 77001 clauses out of 154020 with flag 6356344/9095868
779.07/757.31	c cleaning 77999 clauses out of 156020 with flag 6520798/9174869
787.09/765.35	c cleaning 79000 clauses out of 158020 with flag 6686743/9254868
794.38/772.62	c cleaning 79999 clauses out of 160019 with flag 6855145/9335867
802.53/780.77	c cleaning 81002 clauses out of 162021 with flag 7025835/9417868
810.51/788.72	c cleaning 82001 clauses out of 164018 with flag 7198491/9500867
820.70/798.72	c cleaning 82997 clauses out of 166017 with flag 7372785/9584867
829.82/807.71	c cleaning 84000 clauses out of 168020 with flag 7549273/9669867
838.50/816.49	c cleaning 84995 clauses out of 170020 with flag 7728785/9755867
847.54/825.46	c cleaning 86001 clauses out of 172025 with flag 7908823/9842867
857.62/835.56	c cleaning 86996 clauses out of 174025 with flag 8090811/9930868
867.40/845.28	c cleaning 88002 clauses out of 176028 with flag 8275472/10019867
877.07/854.91	c cleaning 89004 clauses out of 178028 with flag 8461565/10109869
888.28/866.07	c cleaning 90002 clauses out of 180023 with flag 8650055/10200868
898.45/876.22	c cleaning 90998 clauses out of 182020 with flag 8840594/10292867
909.06/886.58	c cleaning 91999 clauses out of 184022 with flag 9033153/10385867
920.16/897.43	c cleaning 92999 clauses out of 186024 with flag 9229241/10479868
930.50/907.66	c cleaning 93999 clauses out of 188025 with flag 9426264/10574868
941.41/918.48	c cleaning 95000 clauses out of 190026 with flag 9625559/10670868
953.40/930.22	c cleaning 96001 clauses out of 192026 with flag 9826396/10767868
964.00/940.74	c cleaning 97001 clauses out of 194025 with flag 10029766/10865868
975.06/951.64	c cleaning 98002 clauses out of 196025 with flag 10234882/10964869
986.25/962.62	c cleaning 98999 clauses out of 198022 with flag 10442430/11064868
997.44/973.77	c cleaning 99998 clauses out of 200022 with flag 10652856/11165867
1010.24/986.47	c cleaning 101000 clauses out of 202024 with flag 10865687/11267867
1020.74/996.71	c cleaning 102004 clauses out of 204025 with flag 11081404/11370868
1021.15/997.19	c Got one! Elapsed wall clock time (in seconds):996.84
1021.15/997.19	o 214
1023.24/999.27	c cleaning 59340 clauses out of 118697 with flag 10645/11387544
1024.24/1000.20	c cleaning 32671 clauses out of 65356 with flag 22884/11393543
1024.63/1000.66	c cleaning 19837 clauses out of 39686 with flag 37229/11400544
1025.20/1001.17	c cleaning 13913 clauses out of 27848 with flag 53932/11408543
1025.59/1001.55	c cleaning 11462 clauses out of 22936 with flag 72429/11417544
1025.99/1001.97	c cleaning 10726 clauses out of 21474 with flag 92897/11427544
1026.49/1002.42	c cleaning 10863 clauses out of 21747 with flag 115600/11438543
1026.98/1002.93	c cleaning 11435 clauses out of 22886 with flag 140870/11450545
1027.58/1003.52	c cleaning 12213 clauses out of 24450 with flag 167671/11463544
1028.19/1004.18	c cleaning 13111 clauses out of 26237 with flag 196449/11477544
1028.88/1004.84	c cleaning 14054 clauses out of 28126 with flag 227296/11492544
1029.69/1005.65	c cleaning 15027 clauses out of 30072 with flag 260440/11508544
1030.49/1006.49	c cleaning 16012 clauses out of 32045 with flag 295703/11525544
1031.62/1007.54	c cleaning 17004 clauses out of 34033 with flag 332786/11543544
1032.62/1008.58	c cleaning 18007 clauses out of 36029 with flag 372264/11562544
1033.82/1009.79	c cleaning 19002 clauses out of 38021 with flag 413629/11582543
1035.12/1011.05	c cleaning 20000 clauses out of 40019 with flag 457175/11603543
1036.41/1012.36	c cleaning 20999 clauses out of 42019 with flag 502535/11625543
1037.71/1013.65	c cleaning 21999 clauses out of 44020 with flag 549933/11648543
1039.54/1015.45	c cleaning 23003 clauses out of 46021 with flag 599324/11672543
1040.94/1016.81	c cleaning 23996 clauses out of 48018 with flag 650844/11697543
1043.25/1018.53	c cleaning 25002 clauses out of 50024 with flag 704480/11723545
1044.94/1020.12	c cleaning 25996 clauses out of 52020 with flag 760124/11750543
1046.52/1021.79	c cleaning 27001 clauses out of 54025 with flag 817946/11778544
1048.55/1023.70	c cleaning 28001 clauses out of 56023 with flag 877906/11807543
1050.25/1025.49	c cleaning 28998 clauses out of 58023 with flag 940015/11837544
1052.15/1027.30	c cleaning 29999 clauses out of 60024 with flag 1004207/11868543
1053.74/1028.99	c cleaning 31002 clauses out of 62026 with flag 1070819/11900544
1055.64/1030.81	c cleaning 32002 clauses out of 64024 with flag 1139467/11933544
1057.43/1032.69	c cleaning 32999 clauses out of 66021 with flag 1210378/11967543
1059.33/1034.58	c cleaning 34001 clauses out of 68023 with flag 1283619/12002544
1061.52/1036.79	c cleaning 34998 clauses out of 70021 with flag 1358281/12038543
1064.02/1039.20	c cleaning 35999 clauses out of 72023 with flag 1435121/12075543
1066.55/1041.69	c cleaning 37002 clauses out of 74025 with flag 1514316/12113544
1068.96/1044.01	c cleaning 38000 clauses out of 76022 with flag 1595922/12152543
1071.14/1046.29	c cleaning 38999 clauses out of 78023 with flag 1679540/12192544
1073.43/1048.54	c cleaning 40005 clauses out of 80024 with flag 1765209/12233544
1076.63/1051.75	c cleaning 40995 clauses out of 82018 with flag 1852174/12275543
1079.93/1055.04	c cleaning 42000 clauses out of 84023 with flag 1941039/12318543
1082.81/1057.88	c cleaning 42999 clauses out of 86023 with flag 2032573/12362543
1085.70/1060.75	c cleaning 44005 clauses out of 88025 with flag 2125989/12407544
1088.89/1063.96	c cleaning 44995 clauses out of 90019 with flag 2220933/12453543
1091.89/1066.94	c cleaning 46001 clauses out of 92025 with flag 2318447/12500544
1095.48/1070.54	c cleaning 46999 clauses out of 94023 with flag 2419004/12548543
1098.87/1073.98	c cleaning 47998 clauses out of 96024 with flag 2520169/12597543
1102.86/1077.93	c cleaning 49003 clauses out of 98026 with flag 2623979/12647543
1106.75/1081.80	c cleaning 49999 clauses out of 100023 with flag 2729623/12698543
1110.24/1085.36	c cleaning 50998 clauses out of 102024 with flag 2837945/12750543
1115.24/1090.31	c cleaning 52002 clauses out of 104026 with flag 2947509/12803543
1120.74/1095.73	c cleaning 53001 clauses out of 106025 with flag 3058610/12857544
1125.73/1100.77	c cleaning 53999 clauses out of 108023 with flag 3172083/12912543
1130.62/1105.68	c cleaning 54998 clauses out of 110024 with flag 3288167/12968543
1136.51/1111.57	c cleaning 56003 clauses out of 112027 with flag 3412945/13025544
1142.73/1117.65	c cleaning 56999 clauses out of 114024 with flag 3533055/13083544
1148.62/1123.54	c cleaning 57997 clauses out of 116024 with flag 3654787/13142543
1154.61/1129.53	c cleaning 59003 clauses out of 118027 with flag 3778648/13202543
1160.79/1135.70	c cleaning 60001 clauses out of 120024 with flag 3904603/13263543
1166.28/1141.24	c cleaning 60997 clauses out of 122023 with flag 4032559/13325543
1172.48/1147.47	c cleaning 62004 clauses out of 124027 with flag 4162762/13388544
1178.76/1153.77	c cleaning 63000 clauses out of 126022 with flag 4295713/13452543
1186.13/1160.95	c cleaning 63999 clauses out of 128023 with flag 4430144/13517544
1193.90/1168.73	c cleaning 65003 clauses out of 130023 with flag 4566039/13583543
1202.14/1176.85	c cleaning 66000 clauses out of 132020 with flag 4704418/13650543
1208.62/1183.30	c cleaning 67000 clauses out of 134020 with flag 4844912/13718543
1216.12/1190.75	c cleaning 68001 clauses out of 136023 with flag 4987661/13787546
1222.20/1196.87	c cleaning 68997 clauses out of 138020 with flag 5132548/13857544
1229.81/1204.33	c cleaning 69999 clauses out of 140023 with flag 5279197/13928544
1235.90/1210.43	c cleaning 71002 clauses out of 142023 with flag 5428001/14000543
1242.91/1217.32	c cleaning 72001 clauses out of 144021 with flag 5578797/14073543
1249.80/1224.29	c cleaning 73000 clauses out of 146020 with flag 5731780/14147543
1258.42/1232.74	c cleaning 73999 clauses out of 148021 with flag 5886292/14222544
1266.11/1240.44	c cleaning 74996 clauses out of 150021 with flag 6042786/14298543
1273.95/1248.17	c cleaning 76001 clauses out of 152027 with flag 6202859/14375545
1281.93/1256.15	c cleaning 76999 clauses out of 154024 with flag 6363640/14453543
1289.20/1263.43	c cleaning 78000 clauses out of 156025 with flag 6526965/14532543
1296.94/1271.15	c cleaning 78999 clauses out of 158026 with flag 6692463/14612544
1304.71/1278.90	c cleaning 80004 clauses out of 160027 with flag 6859953/14693544
1312.20/1286.49	c cleaning 81000 clauses out of 162023 with flag 7030005/14775544
1320.78/1295.03	c cleaning 81997 clauses out of 164023 with flag 7201328/14858544
1329.77/1304.09	c cleaning 83002 clauses out of 166025 with flag 7374880/14942543
1337.85/1312.17	c cleaning 84000 clauses out of 168024 with flag 7551104/15027544
1348.12/1322.12	c cleaning 84998 clauses out of 170024 with flag 7729755/15113544
1357.84/1331.57	c cleaning 85997 clauses out of 172026 with flag 7909956/15200544
1368.18/1341.77	c cleaning 87000 clauses out of 174029 with flag 8092086/15288544
1377.96/1351.49	c cleaning 88003 clauses out of 176028 with flag 8276118/15377543
1387.78/1361.05	c cleaning 88998 clauses out of 178025 with flag 8463339/15467543
1396.72/1369.87	c cleaning 90005 clauses out of 180028 with flag 8652621/15558544
1408.69/1381.75	c cleaning 90999 clauses out of 182022 with flag 8843924/15650543
1418.44/1391.30	c cleaning 91997 clauses out of 184023 with flag 9036276/15743543
1425.84/1398.69	c cleaning 93001 clauses out of 186026 with flag 9230540/15837543
1433.92/1406.72	c cleaning 94001 clauses out of 188025 with flag 9426957/15932543
1441.78/1414.58	c cleaning 95001 clauses out of 190024 with flag 9625731/16028543
1452.71/1425.28	c cleaning 96002 clauses out of 192023 with flag 9826477/16125543
1462.19/1434.66	c cleaning 96996 clauses out of 194021 with flag 10030125/16223543
1470.27/1442.73	c cleaning 98001 clauses out of 196026 with flag 10235328/16322544
1477.89/1450.31	c cleaning 99002 clauses out of 198024 with flag 10441940/16422543
1485.59/1458.05	c cleaning 100000 clauses out of 200022 with flag 10651226/16523543
1493.36/1465.88	c cleaning 101000 clauses out of 202022 with flag 10861505/16625543
1501.84/1474.32	c cleaning 101999 clauses out of 204022 with flag 11074975/16728543
1512.80/1485.26	c cleaning 102999 clauses out of 206023 with flag 11289747/16832543
1522.29/1494.73	c cleaning 104003 clauses out of 208025 with flag 11507268/16937544
1531.07/1503.53	c cleaning 104997 clauses out of 210022 with flag 11726492/17043544
1539.60/1511.90	c cleaning 106000 clauses out of 212025 with flag 11947963/17150544
1548.09/1520.41	c cleaning 106999 clauses out of 214024 with flag 12171649/17258543
1560.40/1532.41	c cleaning 108004 clauses out of 216025 with flag 12397748/17367543
1573.31/1544.97	c cleaning 108996 clauses out of 218021 with flag 12625802/17477543
1582.56/1554.10	c cleaning 110000 clauses out of 220026 with flag 12855913/17588544
1593.04/1564.22	c cleaning 111000 clauses out of 222025 with flag 13088385/17700543
1606.26/1577.30	c cleaning 111997 clauses out of 224025 with flag 13322579/17813543
1619.76/1590.57	c cleaning 113003 clauses out of 226029 with flag 13558260/17927544
1634.89/1604.70	c cleaning 114000 clauses out of 228025 with flag 13796794/18042543
1650.86/1620.27	c cleaning 115004 clauses out of 230026 with flag 14038381/18158544
1664.10/1633.27	c cleaning 116003 clauses out of 232022 with flag 14280373/18275544
1678.94/1647.98	c cleaning 116997 clauses out of 234018 with flag 14524971/18393543
1692.30/1660.92	c cleaning 118003 clauses out of 236021 with flag 14771080/18512543
1707.11/1675.51	c cleaning 119000 clauses out of 238019 with flag 15019028/18632544
1721.20/1689.45	c cleaning 119998 clauses out of 240019 with flag 15269718/18753544
1734.70/1702.68	c cleaning 121000 clauses out of 242021 with flag 15522423/18875544
1750.74/1718.51	c cleaning 122000 clauses out of 244021 with flag 15777399/18998544
1767.88/1735.40	c cleaning 122998 clauses out of 246020 with flag 16034392/19122543
1782.66/1749.97	c cleaning 124001 clauses out of 248023 with flag 16293268/19247544
1799.32/1766.26	c cleaning 125005 clauses out of 250021 with flag 16554330/19373543
1817.03/1783.70	c cleaning 125995 clauses out of 252017 with flag 16817457/19500544
1833.76/1800.36	c cleaning 127004 clauses out of 254021 with flag 17082981/19628543
1850.74/1817.07	c cleaning 127997 clauses out of 256018 with flag 17350323/19757544
1868.55/1834.77	c cleaning 128999 clauses out of 258021 with flag 17619073/19887544
1887.45/1853.33	c cleaning 130002 clauses out of 260022 with flag 17890176/20018544
1901.78/1867.58	c cleaning 130996 clauses out of 262020 with flag 18162869/20150544
1919.18/1884.61	c cleaning 131999 clauses out of 264024 with flag 18437751/20283544
1936.31/1901.65	c cleaning 133001 clauses out of 266024 with flag 18715217/20417543
1953.83/1916.82	c cleaning 134001 clauses out of 268023 with flag 18994141/20552543
1970.48/1933.32	c cleaning 135001 clauses out of 270022 with flag 19275122/20688543
1986.06/1948.59	c cleaning 136001 clauses out of 272023 with flag 19558315/20825545
2002.70/1965.01	c cleaning 137002 clauses out of 274020 with flag 19843629/20963543
2024.31/1986.44	c cleaning 137997 clauses out of 276019 with flag 20131173/21102544
2043.37/2005.20	c cleaning 138998 clauses out of 278022 with flag 20420696/21242544
2057.90/2019.45	c cleaning 140003 clauses out of 280024 with flag 20711970/21383544
2074.72/2036.17	c cleaning 140997 clauses out of 282020 with flag 21005607/21525543
2092.75/2053.85	c cleaning 141998 clauses out of 284023 with flag 21301223/21668543
2110.89/2071.80	c cleaning 143004 clauses out of 286026 with flag 21598424/21812544
2129.96/2090.52	c cleaning 143999 clauses out of 288021 with flag 21898146/21957543
2148.87/2109.29	c cleaning 145002 clauses out of 290023 with flag 22199425/22103544
2167.27/2127.29	c cleaning 146001 clauses out of 292021 with flag 22502941/22250544
2188.58/2148.31	c cleaning 147002 clauses out of 294020 with flag 22809053/22398544
2208.50/2168.11	c cleaning 147998 clauses out of 296017 with flag 23116668/22547543
2228.39/2187.75	c cleaning 149001 clauses out of 298019 with flag 23426577/22697543
2249.79/2208.92	c cleaning 149997 clauses out of 300018 with flag 23738382/22848543
2273.81/2232.67	c cleaning 151000 clauses out of 302022 with flag 24053930/23000544
2291.43/2250.07	c cleaning 151997 clauses out of 304022 with flag 24372326/23153544
2311.81/2270.08	c cleaning 153001 clauses out of 306024 with flag 24691048/23307543
2330.98/2289.02	c cleaning 154003 clauses out of 308024 with flag 25010894/23462544
2349.08/2306.68	c cleaning 154998 clauses out of 310021 with flag 25333370/23618544
2368.13/2323.53	c cleaning 155999 clauses out of 312023 with flag 25657293/23775544
2388.05/2343.37	c cleaning 157000 clauses out of 314024 with flag 25983625/23933544
2410.18/2365.30	c cleaning 158003 clauses out of 316023 with flag 26311875/24092543
2438.31/2392.76	c cleaning 158999 clauses out of 318020 with flag 26642029/24252543
2466.75/2420.85	c cleaning 160002 clauses out of 320022 with flag 26979381/24413544
2491.10/2444.96	c cleaning 161002 clauses out of 322019 with flag 27314010/24575543
2517.86/2471.41	c cleaning 162002 clauses out of 324017 with flag 27650888/24738543
2543.02/2496.44	c cleaning 162999 clauses out of 326016 with flag 27990272/24902544
2568.04/2521.38	c cleaning 163997 clauses out of 328016 with flag 28330866/25067543
2591.86/2544.77	c cleaning 164999 clauses out of 330019 with flag 28674111/25233543
2616.01/2568.50	c cleaning 166000 clauses out of 332020 with flag 29018871/25400543
2643.89/2596.13	c cleaning 166998 clauses out of 334021 with flag 29366013/25568544
2676.53/2628.68	c cleaning 168001 clauses out of 336023 with flag 29715269/25737544
2711.18/2663.05	c cleaning 169003 clauses out of 338021 with flag 30065980/25907543
2742.78/2694.22	c cleaning 170000 clauses out of 340018 with flag 30419004/26078543
2772.79/2724.00	c cleaning 170999 clauses out of 342019 with flag 30773868/26250544
2804.58/2755.55	c cleaning 172003 clauses out of 344019 with flag 31130797/26423543
2831.70/2782.53	c cleaning 173001 clauses out of 346017 with flag 31490228/26597544
2856.16/2806.40	c cleaning 173998 clauses out of 348015 with flag 31852521/26772543
2885.19/2835.16	c cleaning 174998 clauses out of 350017 with flag 32216657/26948543
2912.81/2862.54	c cleaning 175999 clauses out of 352019 with flag 32582362/27125543
2940.43/2890.04	c cleaning 176998 clauses out of 354021 with flag 32950259/27303544
2968.80/2917.90	c cleaning 178002 clauses out of 356022 with flag 33320904/27482543
2998.41/2947.26	c cleaning 178997 clauses out of 358021 with flag 33692627/27662544
3030.01/2978.65	c cleaning 180002 clauses out of 360024 with flag 34066104/27843544
3063.59/3011.68	c cleaning 180998 clauses out of 362022 with flag 34441778/28025544
3091.57/3039.24	c cleaning 182000 clauses out of 364023 with flag 34819662/28208543
3124.05/3069.25	c cleaning 183000 clauses out of 366024 with flag 35199792/28392544
3152.83/3097.84	c cleaning 184000 clauses out of 368024 with flag 35581427/28577544
3180.98/3125.80	c cleaning 184999 clauses out of 370023 with flag 35965303/28763543
3210.88/3155.67	c cleaning 186000 clauses out of 372024 with flag 36352045/28950543
3239.24/3183.98	c cleaning 187001 clauses out of 374024 with flag 36740099/29138543
3268.50/3212.49	c cleaning 187996 clauses out of 376024 with flag 37131359/29327544
3298.22/3241.76	c cleaning 189000 clauses out of 378027 with flag 37523666/29517543
3333.88/3277.08	c cleaning 190002 clauses out of 380028 with flag 37917774/29708544
3366.08/3309.00	c cleaning 191002 clauses out of 382025 with flag 38314069/29900543
3400.67/3343.30	c cleaning 192003 clauses out of 384023 with flag 38712312/30093543
3433.11/3375.61	c cleaning 193001 clauses out of 386021 with flag 39112302/30287544
3466.36/3408.89	c cleaning 193997 clauses out of 388020 with flag 39514948/30482544
3503.73/3445.67	c cleaning 195003 clauses out of 390023 with flag 39919480/30678544
3536.71/3478.24	c cleaning 195999 clauses out of 392019 with flag 40326419/30875543
3568.91/3510.20	c cleaning 196997 clauses out of 394020 with flag 40735320/31073543
3599.48/3540.24	c cleaning 198000 clauses out of 396023 with flag 41146067/31272543
3600.08/3540.83	c starts		: 11
3600.08/3540.85	c conflicts		: 31282367
3600.08/3540.87	c decisions		: 40593092
3600.08/3540.87	c propagations		: 425166953
3600.08/3540.87	c inspects		: 22874084605
3600.08/3540.87	c shortcuts		: 0
3600.08/3540.87	c learnt literals	: 0
3600.08/3540.87	c learnt binary clauses	: 0
3600.08/3540.87	c learnt ternary clauses	: 0
3600.08/3540.88	c learnt constraints	: 31282367
3600.08/3540.88	c ignored constraints	: 0
3600.08/3540.88	c root simplifications	: 0
3600.08/3540.88	c removed literals (reason simplification)	: 114455
3600.08/3540.88	c reason swapping (by a shorter reason)	: 0
3600.08/3540.88	c Calls to reduceDB	: 418
3600.08/3540.88	c Number of update (reduction) of LBD	: 390694
3600.08/3540.88	c Imported unit clauses	: 0
3600.08/3540.88	c No decision after first conflict	: false
3600.08/3540.88	c number of reductions to clauses (during analyze)	: 0
3600.08/3540.88	c number of learned constraints concerned by reduction	: 0
3600.08/3540.88	c number of learning phase by resolution	: 0
3600.08/3540.88	c number of learning phase by cutting planes	: 0
3600.08/3540.89	c number of rounding to 1 operations	: 0
3600.08/3540.89	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3540.89	c number of reductions of the coefficients by power 2 	: 0
3600.08/3540.89	c number of right shift for reduction by power 2 	: 0
3600.08/3540.89	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3540.89	c number of ending skipping 	: 0
3600.08/3540.89	c number of internal skipping 	: 0
3600.08/3540.89	c number of derivation steps 	: 0
3600.08/3540.89	c number of skipped derivation steps 	: 0
3600.08/3540.90	c number of remaining unassigned 	: 0
3600.08/3540.90	c number of remaining assigned 	: 0
3600.08/3540.90	c number of falsified literals weakened from reason	: 0
3600.08/3540.90	c number of falsified literals weakened from conflict	: 0
3600.08/3540.90	c time for arithmetic operations	: 0
3600.29/3540.91	c minimum degree of deleted constraints	: null
3600.29/3540.91	c maximum degree of deleted constraints	: null
3600.29/3540.91	c number of deleted constraints	: 0
3600.29/3540.91	c speed (assignments/second)	: 120090.93754192705
3600.29/3540.91	c non guided choices	: 0
3600.49/3541.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 207847
3600.49/3541.10	s SATISFIABLE
3600.49/3541.11	c Found 10 solution(s)
3600.69/3541.11	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 
3600.69/3541.12	c objective function=214
3600.69/3541.12	c Total wall clock time (in seconds): 3540.768

Verifier Data 

OK	214

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: 63794 MiB (63125 MiB free)
  memory of node 1: 64507 MiB (63791 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=46008, runsolver pid=45993

[startup+0.100071 s]*
/proc/loadavg: 0.52 1.51 2.82 13/318 46077
/proc/meminfo: memFree=129891968/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=18930376 memory=46476 CPUtime=0.09 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 5629 0 0 0 6 3 0 0 20 0 18 0 49691301 19384705024 11587 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4732596 11619 4945 1 0 546866 0
[pid=46008/tid=46023] ppid=45993 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 4576 0 0 0 3 2 0 0 20 0 18 0 49691304 19384713216 11619 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49691309 19384713216 11619 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=18930384 memory=57394571004297 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49691310 19384713216 11619 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930376 KiB
Current children cumulated memory: 46476 KiB

[startup+0.214155 s]*
/proc/loadavg: 0.52 1.51 2.82 9/318 46077
/proc/meminfo: memFree=129879064/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=18930384 memory=51728 CPUtime=0.26 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 6120 0 0 0 22 4 0 0 20 0 18 0 49691301 19384713216 12932 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4732596 12932 5329 1 0 547232 0
[pid=46008/tid=46023] ppid=45993 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 4960 0 0 0 14 3 0 0 20 0 18 0 49691304 19384713216 12932 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49691309 19384713216 12932 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49691310 19384713216 12932 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51728 KiB

[startup+0.313625 s]*
/proc/loadavg: 0.52 1.51 2.82 11/318 46077
/proc/meminfo: memFree=129857388/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=18930384 memory=58356 CPUtime=0.45 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 6717 0 0 0 40 5 0 0 20 0 18 0 49691301 19384713216 14589 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4732596 14589 5361 1 0 547749 0
[pid=46008/tid=46023] ppid=45993 vsize=18930384 memory=-6000919494113978219 CPUtime=0.27 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 5183 0 0 0 24 3 0 0 20 0 18 0 49691304 19384713216 14589 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49691309 19384713216 14589 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49691310 19384713216 14589 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58356 KiB

[startup+0.700337 s]
/proc/loadavg: 0.52 1.51 2.82 12/318 46077
/proc/meminfo: memFree=129831364/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=18996948 memory=65880 CPUtime=1.13 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 8000 0 0 0 107 6 0 0 20 0 19 0 49691301 19452874752 16470 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4749237 16470 5489 1 0 548530 0
[pid=46008/tid=46023] ppid=45993 vsize=18996948 memory=17664 CPUtime=0.56 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 5396 0 0 0 52 4 0 0 20 0 19 0 49691304 19452874752 16470 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49691309 19452874752 16470 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49691310 19452874752 16470 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65880 KiB

[startup+1.50028 s]
/proc/loadavg: 0.52 1.51 2.82 10/322 46081
/proc/meminfo: memFree=129801248/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=18996948 memory=96580 CPUtime=2.7 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 17070 0 0 0 261 9 0 0 20 0 19 0 49691301 19452874752 24145 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4749237 24145 5489 1 0 551508 0
[pid=46008/tid=46023] ppid=45993 vsize=18996948 memory=3200 CPUtime=1.34 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 6085 0 0 0 129 5 0 0 20 0 19 0 49691304 19452874752 24145 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49691309 19452874752 24145 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49691310 19452874752 24145 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=18996948 memory=14848 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49691355 19452874752 24145 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96580 KiB

[startup+3.10544 s]
/proc/loadavg: 1.12 1.62 2.85 6/326 46085
/proc/meminfo: memFree=129277456/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=191964 CPUtime=5.01 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 21066 0 0 0 489 12 0 0 20 0 20 0 49691301 19521036288 47991 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 47991 5521 1 0 552847 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=14848 CPUtime=2.88 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 6984 0 0 0 282 6 0 0 20 0 20 0 49691304 19521036288 47991 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 47991 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 47991 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 47991 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191964 KiB

[startup+6.33149 s]
/proc/loadavg: 1.12 1.62 2.85 6/326 46085
/proc/meminfo: memFree=128949156/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=220200 CPUtime=8.42 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 21207 0 0 0 829 13 0 0 20 0 20 0 49691301 19521036288 55050 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 55050 5521 1 0 552847 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=0 CPUtime=6 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) S 45993 46008 45940 0 -1 4194368 6989 0 0 0 594 6 0 0 20 0 20 0 49691304 19521036288 55050 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 55050 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 55050 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=101096 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 55050 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 8.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 220200 KiB

[startup+12.7005 s]
/proc/loadavg: 1.63 1.71 2.87 6/326 46085
/proc/meminfo: memFree=127780292/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=548968 CPUtime=15.19 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 25383 0 0 0 1497 22 0 0 20 0 20 0 49691301 19521036288 137242 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 137242 5521 1 0 813935 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=101096 CPUtime=12.01 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 7620 0 0 0 1192 9 0 0 20 0 20 0 49691304 19521036288 137242 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=491624 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 137242 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 137242 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 137242 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 548968 KiB

[startup+25.5005 s]
/proc/loadavg: 2.15 1.82 2.89 6/326 46085
/proc/meminfo: memFree=125573312/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=1172416 CPUtime=28.78 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 29904 0 0 0 2843 35 0 0 20 0 20 0 49691301 19521036288 293104 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 293104 5553 1 0 945545 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=491624 CPUtime=24.26 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 8847 0 0 0 2414 12 0 0 20 0 20 0 49691304 19521036288 293104 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 293104 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=891612 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 293104 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 293104 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 28.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1172416 KiB

[startup+51.1134 s]
/proc/loadavg: 2.78 2.00 2.92 6/326 46086
/proc/meminfo: memFree=122061828/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=2214720 CPUtime=55.29 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 32160 0 0 0 5472 57 0 0 20 0 20 0 49691301 19521036288 553680 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 553680 5553 1 0 1072970 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=1739448 CPUtime=48.78 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 9457 0 0 0 4863 15 0 0 20 0 20 0 49691304 19521036288 553680 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 553680 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 553680 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=0 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=74710628/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3339.16 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 258444 0 0 0 333464 452 0 0 20 0 20 0 49691301 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 2804089 5553 1 0 3229512 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3221.4 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 142912 0 0 0 322058 82 0 0 20 0 20 0 49691304 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 2308 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 3339.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11216356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.36 4.33 6/327 46253
/proc/meminfo: memFree=74701860/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3399.67 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 261579 0 0 0 339512 455 0 0 20 0 20 0 49691301 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 2804089 5553 1 0 3229512 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3280.54 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 144823 0 0 0 327972 82 0 0 20 0 20 0 49691304 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 2308 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 3399.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11216356 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.35 4.32 6/326 46255
/proc/meminfo: memFree=74368816/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3459.87 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 264498 0 0 0 345528 459 0 0 20 0 20 0 49691301 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 2804089 5553 1 0 3229512 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3340.06 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 146845 0 0 0 333924 82 0 0 20 0 20 0 49691304 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 2441 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 3459.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11216356 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.30 4.31 6/326 46257
/proc/meminfo: memFree=74369236/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3520.39 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 267918 0 0 0 351576 463 0 0 20 0 20 0 49691301 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 2804089 5553 1 0 3229512 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3399.2 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 149100 0 0 0 339838 82 0 0 20 0 20 0 49691304 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 2572 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 3520.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11216356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.31 4.31 6/326 46259
/proc/meminfo: memFree=74368968/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3581.62 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 273264 0 0 0 357696 466 0 0 20 0 20 0 49691301 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 2804089 5553 1 0 3229512 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3457.68 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 152100 0 0 0 345685 83 0 0 20 0 20 0 49691304 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 2661 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 3581.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11216356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3540.8 s]
/proc/loadavg: 4.26 4.30 4.31 6/323 46458
/proc/meminfo: memFree=117831168/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19063512 memory=11216356 CPUtime=3600.08 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 273442 0 0 0 359541 467 0 0 20 0 20 0 49691301 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4765878 2804089 5553 1 0 3229512 0
[pid=46008/tid=46023] ppid=45993 vsize=19063512 memory=-6000919494113978219 CPUtime=3476.12 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 152268 0 0 0 347529 83 0 0 20 0 20 0 49691304 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19063512 memory=30472 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19063512 memory=-6000919494113978219 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 2661 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46079] ppid=45993 vsize=19063512 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46079/stat : 46079 (Timer-0) S 45993 46008 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691355 19521036288 2804089 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11216356 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.03 s, system=4.74556 s

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

[startup+3541 s]*
/proc/loadavg: 4.26 4.30 4.31 7/325 46462
/proc/meminfo: memFree=117709068/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19263204 memory=11217124 CPUtime=3600.49 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 275583 0 0 0 359581 468 0 0 20 0 21 0 49691301 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4815801 2804281 5585 1 0 3230434 0
[pid=46008/tid=46023] ppid=45993 vsize=19263204 memory=-6000919477035099755 CPUtime=3476.33 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 152419 0 0 0 347550 83 0 0 20 0 21 0 49691304 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19263204 memory=6896 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49691309 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19263204 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 2661 0 0 0 0 0 0 0 20 0 21 0 49691310 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46462] ppid=45993 vsize=19263204 memory=6340 CPUtime=0.09 cores=0,2
/proc/46008/task/46462/stat : 46462 (Thread-0) R 45993 46008 45940 0 -1 4194368 324 0 0 0 9 0 0 0 20 0 21 0 50045383 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 11217124 KiB

[startup+3541.11 s]
/proc/loadavg: 4.26 4.30 4.31 7/325 46462
/proc/meminfo: memFree=117709068/131382112 swapFree=33010684/33010684
[pid=46008] ppid=45993 vsize=19263204 memory=11217124 CPUtime=3600.69 cores=0,2
/proc/46008/stat : 46008 (java) S 45993 46008 45940 0 -1 4194304 275697 0 0 0 359601 468 0 0 20 0 21 0 49691301 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
/proc/46008/statm: 4815801 2804281 5585 1 0 3230450 0
[pid=46008/tid=46023] ppid=45993 vsize=19263204 memory=11216356 CPUtime=3476.43 cores=0,2
/proc/46008/task/46023/stat : 46023 (java) R 45993 46008 45940 0 -1 4194368 152419 0 0 0 347560 83 0 0 20 0 21 0 49691304 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46061] ppid=45993 vsize=19263204 memory=11216356 CPUtime=0 cores=0,2
/proc/46008/task/46061/stat : 46061 (Finalizer) S 45993 46008 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49691309 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46077] ppid=45993 vsize=19263204 memory=-6000919494113978219 CPUtime=0 cores=0,2
/proc/46008/task/46077/stat : 46077 (Common-Cleaner) S 45993 46008 45940 0 -1 4194368 2661 0 0 0 0 0 0 0 20 0 21 0 49691310 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
[pid=46008/tid=46462] ppid=45993 vsize=19263204 memory=11216356 CPUtime=0.15 cores=0,2
/proc/46008/task/46462/stat : 46462 (Thread-0) R 45993 46008 45940 0 -1 4194368 379 0 0 0 15 0 0 0 20 0 21 0 50045383 19725520896 2804281 18446744073709551615 94223221600256 94223221603952 140729856928000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94223221611768 94223221612560 94223228649472 140729856936321 140729856936422 140729856936422 140729856942024 0
Current children cumulated CPU time: 3600.69 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 11217124 KiB

Child status: 143

Real time (s): 3541.2
CPU time (s): 3600.77
CPU user time (s): 3596.03
CPU system time (s): 4.74556
CPU usage (%): 101.682
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 11217124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.03
system time used= 4.74557
maximum resident set size= 11217252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118791
involuntary context switches= 13270


# summary of solver processes directly reported to runsolver:
#   pid: 46008
#   total CPU time (s): 3600.77
#   total CPU user time (s): 3596.03
#   total CPU system time (s): 4.74556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1393 second user time and 37.187 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-01 05:21:56
IDJOB=4489238
IDBENCH=147543
IDSOLVER=3363
FILE ID=nodeC012/4489238-1751340116
RUNJOBID= nodeC012-1751340116-45950
SLURM_JOB_ID= 9594408
Free space on /tmp= 433060 MiB

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

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

MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=1289207093

nodeC012 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	: 0xb00001f
cpu MHz		: 1197.155
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.330
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.586
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.120
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.136
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.425
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.144
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129960188 kB
MemAvailable:   129928736 kB
Buffers:            3280 kB
Cached:           776772 kB
SwapCached:            0 kB
Active:           378672 kB
Inactive:         466384 kB
Active(anon):      82964 kB
Inactive(anon):        0 kB
Active(file):     295708 kB
Inactive(file):   466384 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3388 kB
Writeback:             4 kB
AnonPages:         67804 kB
Mapped:           102480 kB
Shmem:             17960 kB
KReclaimable:      91784 kB
Slab:             175532 kB
SReclaimable:      91784 kB
SUnreclaim:        83748 kB
KernelStack:        3936 kB
PageTables:         2912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     332080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC012 at 2025-07-01 06:20:57