Trace number 4440292

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 2024 2024-07-07SAT (TO)214 3600.34 3552.13

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 benchmark3558
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.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4440292-1721769327.opb
0.14/0.13	c reading problem ... 
0.14/0.14	c using VERIPB proof format
0.14/0.14	c  objective function found
0.14/0.18	c ... done. Wall clock time 0.046s.
0.14/0.18	c declared #vars     470
0.14/0.20	c #constraints  470
0.14/0.20	c constraints type 
0.14/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 470
0.14/0.20	c 470 constraints processed.
0.14/0.20	c objective function length is 470 literals
0.14/0.20	c SATISFIABLE
0.14/0.20	c OPTIMIZING...
0.14/0.20	c Got one! Elapsed wall clock time (in seconds):0.067
0.14/0.20	o 223
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.222
0.52/0.35	o 222
1.65/0.92	c Got one! Elapsed wall clock time (in seconds):0.783
1.65/0.92	o 221
2.64/1.47	c cleaning 2704 clauses out of 5418 with flag 6288/5418
2.84/1.59	c Got one! Elapsed wall clock time (in seconds):1.453
2.84/1.59	o 220
4.23/2.21	c cleaning 4165 clauses out of 8339 with flag 10611/11043
4.60/2.47	c Got one! Elapsed wall clock time (in seconds):2.339
4.60/2.48	o 219
4.79/2.57	c Got one! Elapsed wall clock time (in seconds):2.439
4.79/2.57	o 218
5.08/2.76	c Got one! Elapsed wall clock time (in seconds):2.624
5.08/2.76	o 217
5.50/3.04	c cleaning 5426 clauses out of 10865 with flag 4338/17734
6.19/3.66	c cleaning 5713 clauses out of 11438 with flag 17246/23733
7.19/4.50	c cleaning 6359 clauses out of 12727 with flag 32496/30735
8.17/5.41	c cleaning 7170 clauses out of 14366 with flag 49655/38733
9.15/6.30	c cleaning 8091 clauses out of 16197 with flag 68202/47734
10.18/7.39	c cleaning 9046 clauses out of 18106 with flag 88779/57734
11.47/8.63	c cleaning 10024 clauses out of 20059 with flag 112264/68733
12.71/9.88	c cleaning 11013 clauses out of 22038 with flag 137718/80736
14.16/11.22	c cleaning 12002 clauses out of 24022 with flag 164587/93733
15.74/12.73	c cleaning 13003 clauses out of 26021 with flag 193371/107734
17.44/14.39	c cleaning 13997 clauses out of 28017 with flag 224064/122733
19.38/16.18	c cleaning 14998 clauses out of 30020 with flag 256697/138733
21.24/17.93	c cleaning 16004 clauses out of 32023 with flag 291655/155734
23.30/19.93	c cleaning 17000 clauses out of 34018 with flag 328431/173733
25.60/22.25	c cleaning 17999 clauses out of 36019 with flag 368135/192734
28.06/24.62	c cleaning 19002 clauses out of 38020 with flag 409871/212734
30.58/27.08	c cleaning 20002 clauses out of 40017 with flag 453397/233733
33.50/29.85	c cleaning 21000 clauses out of 42015 with flag 498678/255733
36.23/32.43	c cleaning 21998 clauses out of 44016 with flag 546272/278734
39.02/35.58	c cleaning 23001 clauses out of 46017 with flag 595963/302733
39.32/35.87	c Got one! Elapsed wall clock time (in seconds):35.734
39.32/35.87	o 216
39.63/36.14	c cleaning 14144 clauses out of 28305 with flag 4960/308022
40.13/36.69	c cleaning 10072 clauses out of 20163 with flag 17243/314024
40.83/37.33	c cleaning 8535 clauses out of 17090 with flag 31571/321023
41.69/38.11	c cleaning 8271 clauses out of 16555 with flag 48276/329023
42.72/39.03	c cleaning 8629 clauses out of 17283 with flag 66819/338022
43.61/39.92	c cleaning 9318 clauses out of 18655 with flag 87341/348023
44.61/40.95	c cleaning 10160 clauses out of 20336 with flag 109913/359022
45.71/42.10	c cleaning 11079 clauses out of 22176 with flag 134584/371022
47.16/43.44	c cleaning 12038 clauses out of 24098 with flag 161425/384023
48.57/44.80	c cleaning 13023 clauses out of 26060 with flag 190493/398023
49.97/46.27	c cleaning 14007 clauses out of 28037 with flag 221453/413023
51.84/48.05	c cleaning 15006 clauses out of 30030 with flag 255096/429023
53.63/49.87	c cleaning 16006 clauses out of 32023 with flag 290415/446022
55.83/51.90	c cleaning 17000 clauses out of 34017 with flag 327517/464022
57.72/53.86	c cleaning 18000 clauses out of 36018 with flag 366706/483023
60.05/56.10	c cleaning 19000 clauses out of 38017 with flag 407982/503022
62.43/58.41	c cleaning 20002 clauses out of 40018 with flag 451247/524023
64.98/60.85	c cleaning 20996 clauses out of 42015 with flag 496898/546022
67.16/63.05	c cleaning 21999 clauses out of 44019 with flag 544723/569022
69.72/66.55	c cleaning 23005 clauses out of 46021 with flag 594737/593023
72.21/69.04	c cleaning 23996 clauses out of 48016 with flag 646449/618023
75.04/71.72	c cleaning 25002 clauses out of 50020 with flag 700234/644023
78.06/74.58	c cleaning 25999 clauses out of 52017 with flag 756638/671022
81.41/77.70	c cleaning 26999 clauses out of 54018 with flag 814616/699022
84.50/80.80	c cleaning 27997 clauses out of 56020 with flag 874741/728023
87.78/84.06	c cleaning 29001 clauses out of 58022 with flag 936609/758022
91.27/87.41	c cleaning 30000 clauses out of 60022 with flag 1000839/789023
95.34/91.39	c cleaning 31002 clauses out of 62021 with flag 1069402/821022
99.58/96.35	c cleaning 32002 clauses out of 64020 with flag 1137373/854023
103.82/100.40	c cleaning 33001 clauses out of 66017 with flag 1207675/888022
108.07/104.50	c cleaning 34000 clauses out of 68016 with flag 1280631/923022
112.33/108.74	c cleaning 35000 clauses out of 70017 with flag 1355134/959023
116.83/113.11	c cleaning 36001 clauses out of 72017 with flag 1432106/996023
122.17/118.31	c cleaning 36999 clauses out of 74016 with flag 1511049/1034023
127.84/123.80	c cleaning 38000 clauses out of 76017 with flag 1591669/1073023
132.57/128.83	c cleaning 38999 clauses out of 78017 with flag 1674228/1113023
137.45/133.63	c cleaning 40002 clauses out of 80018 with flag 1759092/1154023
142.36/138.43	c cleaning 40998 clauses out of 82015 with flag 1846458/1196022
147.58/143.56	c cleaning 41997 clauses out of 84017 with flag 1935467/1239022
153.12/148.99	c cleaning 42999 clauses out of 86020 with flag 2026106/1283022
158.66/154.35	c cleaning 43999 clauses out of 88021 with flag 2118679/1328022
164.28/160.46	c cleaning 45001 clauses out of 90022 with flag 2213547/1374022
170.09/166.14	c cleaning 45999 clauses out of 92021 with flag 2311086/1421022
176.10/172.10	c cleaning 46998 clauses out of 94023 with flag 2410337/1469023
181.89/177.77	c cleaning 47999 clauses out of 96024 with flag 2511837/1518022
188.27/183.88	c cleaning 49001 clauses out of 98025 with flag 2616362/1568022
194.35/190.51	c cleaning 50002 clauses out of 100025 with flag 2721858/1619023
200.89/196.82	c cleaning 50999 clauses out of 102023 with flag 2829216/1671023
208.26/204.04	c cleaning 52001 clauses out of 104024 with flag 2938938/1724023
215.14/210.83	c cleaning 52998 clauses out of 106022 with flag 3050575/1778022
223.23/218.61	c cleaning 54002 clauses out of 108024 with flag 3164056/1833022
231.06/226.41	c cleaning 55001 clauses out of 110022 with flag 3279200/1889022
238.24/233.38	c cleaning 56000 clauses out of 112021 with flag 3396799/1946022
245.95/240.92	c cleaning 56999 clauses out of 114021 with flag 3516685/2004022
252.81/247.77	c cleaning 58002 clauses out of 116023 with flag 3639445/2063023
259.92/255.41	c cleaning 59003 clauses out of 118021 with flag 3764014/2123023
267.50/262.92	c cleaning 60001 clauses out of 120018 with flag 3890743/2184023
275.57/270.65	c cleaning 60997 clauses out of 122016 with flag 4019107/2246022
283.27/278.36	c cleaning 61999 clauses out of 124019 with flag 4150154/2309022
291.85/287.85	c cleaning 62999 clauses out of 126021 with flag 4284241/2373023
299.34/295.35	c cleaning 63997 clauses out of 128021 with flag 4419965/2438022
307.60/303.41	c cleaning 65002 clauses out of 130025 with flag 4557691/2504023
315.69/311.67	c cleaning 66003 clauses out of 132022 with flag 4696630/2571022
323.45/319.36	c cleaning 66996 clauses out of 134020 with flag 4836848/2639023
331.98/327.74	c cleaning 68000 clauses out of 136023 with flag 4980019/2708022
340.47/336.11	c cleaning 68998 clauses out of 138024 with flag 5124514/2778023
350.35/346.12	c cleaning 70001 clauses out of 140026 with flag 5271010/2849023
359.75/355.36	c cleaning 71003 clauses out of 142026 with flag 5420244/2921024
368.71/364.26	c cleaning 72000 clauses out of 144022 with flag 5572061/2994023
377.62/373.33	c cleaning 73001 clauses out of 146022 with flag 5726484/3068023
386.41/381.99	c cleaning 73999 clauses out of 148020 with flag 5884918/3143022
396.31/391.66	c cleaning 74996 clauses out of 150021 with flag 6043655/3219022
405.50/400.69	c cleaning 75999 clauses out of 152026 with flag 6205431/3296023
414.96/410.26	c cleaning 76999 clauses out of 154026 with flag 6367594/3374022
424.56/419.68	c cleaning 78001 clauses out of 156027 with flag 6530223/3453022
434.45/429.23	c cleaning 79001 clauses out of 158027 with flag 6694630/3533023
444.65/439.66	c cleaning 80003 clauses out of 160026 with flag 6861319/3614023
457.12/451.96	c cleaning 81004 clauses out of 162022 with flag 7031162/3696022
469.08/463.99	c cleaning 82001 clauses out of 164019 with flag 7203632/3779023
480.90/475.67	c cleaning 83000 clauses out of 166017 with flag 7377385/3863022
492.19/486.86	c cleaning 84000 clauses out of 168017 with flag 7554237/3948022
502.69/497.28	c cleaning 84999 clauses out of 170018 with flag 7732742/4034023
513.13/507.54	c cleaning 86001 clauses out of 172018 with flag 7912574/4121022
524.23/518.36	c cleaning 86997 clauses out of 174017 with flag 8094625/4209022
537.02/530.88	c cleaning 88000 clauses out of 176020 with flag 8277935/4298022
550.31/543.79	c cleaning 89005 clauses out of 178020 with flag 8464057/4388022
561.87/555.04	c cleaning 89998 clauses out of 180015 with flag 8651876/4479022
573.54/567.67	c cleaning 90995 clauses out of 182018 with flag 8841785/4571023
586.39/580.07	c cleaning 92002 clauses out of 184022 with flag 9033528/4664022
598.87/592.55	c cleaning 92996 clauses out of 186020 with flag 9228216/4758022
611.38/604.86	c cleaning 93999 clauses out of 188024 with flag 9425084/4853022
624.90/618.59	c cleaning 95003 clauses out of 190025 with flag 9624037/4949022
639.19/632.48	c cleaning 95999 clauses out of 192022 with flag 9826289/5046022
652.42/645.56	c cleaning 97000 clauses out of 194023 with flag 10029743/5144022
666.60/659.81	c cleaning 98006 clauses out of 196023 with flag 10236078/5243022
681.45/674.18	c cleaning 98998 clauses out of 198017 with flag 10442366/5343022
696.38/688.38	c cleaning 99998 clauses out of 200020 with flag 10650973/5444023
710.63/702.24	c cleaning 100999 clauses out of 202021 with flag 10862805/5546022
725.02/716.51	c cleaning 102000 clauses out of 204022 with flag 11076355/5649022
742.33/732.60	c cleaning 102996 clauses out of 206022 with flag 11291947/5753022
758.68/748.84	c cleaning 104003 clauses out of 208026 with flag 11508855/5858022
777.01/765.71	c cleaning 105003 clauses out of 210025 with flag 11727799/5964024
784.66/773.69	c Got one! Elapsed wall clock time (in seconds):773.556
784.66/773.69	o 215
788.25/777.26	c cleaning 85423 clauses out of 170865 with flag 11576/6029867
789.65/778.68	c cleaning 45710 clauses out of 91442 with flag 24004/6035867
790.54/779.57	c cleaning 26354 clauses out of 52733 with flag 38491/6042868
791.46/780.47	c cleaning 17176 clauses out of 34378 with flag 55851/6050867
792.36/781.31	c cleaning 13089 clauses out of 26202 with flag 74450/6059867
793.26/782.20	c cleaning 11546 clauses out of 23113 with flag 95051/6069867
794.25/783.22	c cleaning 11271 clauses out of 22568 with flag 117811/6080868
795.35/784.31	c cleaning 11635 clauses out of 23297 with flag 142561/6092868
796.56/785.57	c cleaning 12322 clauses out of 24661 with flag 169371/6105867
797.86/786.85	c cleaning 13158 clauses out of 26340 with flag 198249/6119868
799.35/788.36	c cleaning 14079 clauses out of 28182 with flag 229061/6134868
801.17/790.03	c cleaning 15042 clauses out of 30102 with flag 262122/6150867
802.79/791.69	c cleaning 16020 clauses out of 32061 with flag 297882/6167868
804.78/793.61	c cleaning 17011 clauses out of 34041 with flag 334927/6185868
806.73/795.55	c cleaning 18003 clauses out of 36029 with flag 374185/6204867
808.87/797.60	c cleaning 19004 clauses out of 38028 with flag 415642/6224869
811.14/799.75	c cleaning 20000 clauses out of 40022 with flag 459385/6245867
813.80/802.74	c cleaning 20998 clauses out of 42022 with flag 505480/6267867
816.54/805.27	c cleaning 22001 clauses out of 44025 with flag 553092/6290868
820.31/808.60	c cleaning 23001 clauses out of 46024 with flag 604306/6314868
823.60/811.67	c cleaning 24005 clauses out of 48023 with flag 656689/6339868
827.13/814.74	c cleaning 25003 clauses out of 50017 with flag 711343/6365867
830.79/818.11	c cleaning 26002 clauses out of 52015 with flag 768091/6392868
834.79/821.67	c cleaning 26998 clauses out of 54013 with flag 826160/6420868
838.79/825.38	c cleaning 28000 clauses out of 56015 with flag 886158/6449868
842.62/828.86	c cleaning 28999 clauses out of 58014 with flag 948320/6479867
846.50/832.76	c cleaning 29998 clauses out of 60016 with flag 1012359/6510868
850.85/836.57	c cleaning 31002 clauses out of 62017 with flag 1078487/6542867
855.68/840.78	c cleaning 31999 clauses out of 64016 with flag 1146775/6575868
860.21/845.15	c cleaning 32998 clauses out of 66016 with flag 1217133/6609867
865.05/849.62	c cleaning 33999 clauses out of 68019 with flag 1289380/6644868
869.99/854.20	c cleaning 35000 clauses out of 70020 with flag 1364074/6680868
874.88/859.02	c cleaning 36002 clauses out of 72019 with flag 1440702/6717867
879.74/864.19	c cleaning 37001 clauses out of 74018 with flag 1519193/6755868
884.80/869.19	c cleaning 37998 clauses out of 76016 with flag 1599698/6794867
890.23/874.42	c cleaning 38998 clauses out of 78018 with flag 1682727/6834867
895.69/879.81	c cleaning 40000 clauses out of 80020 with flag 1767308/6875867
901.10/885.20	c cleaning 41000 clauses out of 82020 with flag 1854328/6917867
906.65/890.70	c cleaning 42002 clauses out of 84021 with flag 1943117/6960868
912.18/896.58	c cleaning 43001 clauses out of 86019 with flag 2034256/7004868
918.46/902.69	c cleaning 44001 clauses out of 88017 with flag 2127437/7049867
924.70/908.85	c cleaning 45000 clauses out of 90017 with flag 2222855/7095868
931.13/915.12	c cleaning 45994 clauses out of 92016 with flag 2319862/7142867
937.13/921.03	c cleaning 47000 clauses out of 94022 with flag 2419586/7190867
943.76/927.95	c cleaning 48001 clauses out of 96022 with flag 2520967/7239867
950.41/934.49	c cleaning 49002 clauses out of 98021 with flag 2624276/7289867
957.33/941.15	c cleaning 50001 clauses out of 100020 with flag 2729471/7340868
964.53/948.11	c cleaning 50996 clauses out of 102018 with flag 2836559/7392867
972.19/955.90	c cleaning 52004 clauses out of 104022 with flag 2948343/7445867
979.93/963.61	c cleaning 52996 clauses out of 106018 with flag 3060476/7499867
987.31/970.98	c cleaning 54002 clauses out of 108022 with flag 3174118/7554867
995.37/978.92	c cleaning 55007 clauses out of 110021 with flag 3289911/7610868
1003.60/987.47	c cleaning 55998 clauses out of 112013 with flag 3407857/7667867
1011.59/995.35	c cleaning 57000 clauses out of 114016 with flag 3527569/7725868
1020.57/1004.16	c cleaning 57996 clauses out of 116015 with flag 3649433/7784867
1029.79/1013.27	c cleaning 58998 clauses out of 118019 with flag 3773362/7844867
1039.39/1023.08	c cleaning 60000 clauses out of 120023 with flag 3899102/7905869
1049.18/1032.68	c cleaning 60998 clauses out of 122021 with flag 4027462/7967867
1058.12/1041.43	c cleaning 62004 clauses out of 124023 with flag 4157957/8030867
1067.41/1050.91	c cleaning 63001 clauses out of 126019 with flag 4290894/8094867
1076.31/1059.77	c cleaning 64001 clauses out of 128019 with flag 4425200/8159868
1085.96/1069.37	c cleaning 65000 clauses out of 130019 with flag 4561209/8225869
1096.55/1080.03	c cleaning 65995 clauses out of 132018 with flag 4699580/8292868
1106.55/1089.98	c cleaning 67002 clauses out of 134022 with flag 4839673/8360867
1118.51/1101.55	c cleaning 68001 clauses out of 136020 with flag 4981779/8429867
1129.40/1112.42	c cleaning 68996 clauses out of 138020 with flag 5125745/8499868
1140.06/1122.81	c cleaning 70000 clauses out of 140024 with flag 5272214/8570868
1150.90/1133.18	c cleaning 71004 clauses out of 142024 with flag 5420937/8642868
1161.26/1143.65	c cleaning 71999 clauses out of 144019 with flag 5571487/8715867
1171.59/1153.85	c cleaning 72999 clauses out of 146020 with flag 5724007/8789867
1182.99/1165.19	c cleaning 74000 clauses out of 148021 with flag 5878541/8864867
1194.89/1177.12	c cleaning 75000 clauses out of 150021 with flag 6034925/8940867
1207.36/1189.34	c cleaning 76002 clauses out of 152021 with flag 6194116/9017867
1218.69/1200.48	c cleaning 77001 clauses out of 154020 with flag 6356344/9095868
1231.08/1213.05	c cleaning 77999 clauses out of 156020 with flag 6520798/9174869
1243.29/1225.00	c cleaning 79000 clauses out of 158020 with flag 6686743/9254868
1254.92/1236.90	c cleaning 79999 clauses out of 160019 with flag 6855145/9335867
1267.37/1249.13	c cleaning 81002 clauses out of 162021 with flag 7025835/9417868
1280.18/1261.70	c cleaning 82001 clauses out of 164018 with flag 7198491/9500867
1293.46/1275.02	c cleaning 82997 clauses out of 166017 with flag 7372785/9584867
1306.98/1288.34	c cleaning 84000 clauses out of 168020 with flag 7549273/9669867
1320.56/1301.91	c cleaning 84995 clauses out of 170020 with flag 7728785/9755867
1334.35/1315.68	c cleaning 86001 clauses out of 172025 with flag 7908823/9842867
1349.29/1330.79	c cleaning 86996 clauses out of 174025 with flag 8090811/9930868
1363.68/1344.93	c cleaning 88002 clauses out of 176028 with flag 8275472/10019867
1378.47/1359.99	c cleaning 89004 clauses out of 178028 with flag 8461565/10109869
1393.36/1374.53	c cleaning 90002 clauses out of 180023 with flag 8650055/10200868
1408.91/1390.09	c cleaning 90998 clauses out of 182020 with flag 8840594/10292867
1425.24/1405.38	c cleaning 91999 clauses out of 184022 with flag 9033153/10385867
1440.92/1421.24	c cleaning 92999 clauses out of 186024 with flag 9229241/10479868
1456.42/1436.52	c cleaning 93999 clauses out of 188025 with flag 9426264/10574868
1472.10/1452.23	c cleaning 95000 clauses out of 190026 with flag 9625559/10670868
1489.64/1469.50	c cleaning 96001 clauses out of 192026 with flag 9826396/10767868
1505.48/1485.49	c cleaning 97001 clauses out of 194025 with flag 10029766/10865868
1521.34/1501.04	c cleaning 98002 clauses out of 196025 with flag 10234882/10964869
1537.32/1517.06	c cleaning 98999 clauses out of 198022 with flag 10442430/11064868
1552.73/1532.12	c cleaning 99998 clauses out of 200022 with flag 10652856/11165867
1570.41/1549.25	c cleaning 101000 clauses out of 202024 with flag 10865687/11267867
1586.09/1564.57	c cleaning 102004 clauses out of 204025 with flag 11081404/11370868
1587.18/1565.61	c Got one! Elapsed wall clock time (in seconds):1565.482
1587.18/1565.61	o 214
1589.46/1567.90	c cleaning 59340 clauses out of 118697 with flag 10645/11387544
1590.56/1569.09	c cleaning 32671 clauses out of 65356 with flag 22884/11393543
1591.34/1570.18	c cleaning 19837 clauses out of 39686 with flag 37229/11400544
1592.17/1570.99	c cleaning 13913 clauses out of 27848 with flag 53932/11408543
1592.96/1571.78	c cleaning 11462 clauses out of 22936 with flag 72429/11417544
1593.85/1572.68	c cleaning 10726 clauses out of 21474 with flag 92897/11427544
1594.88/1573.69	c cleaning 10863 clauses out of 21747 with flag 115600/11438543
1595.96/1574.79	c cleaning 11435 clauses out of 22886 with flag 140870/11450545
1597.25/1576.02	c cleaning 12213 clauses out of 24450 with flag 167671/11463544
1598.67/1577.44	c cleaning 13111 clauses out of 26237 with flag 196449/11477544
1600.06/1578.85	c cleaning 14054 clauses out of 28126 with flag 227296/11492544
1601.79/1580.55	c cleaning 15027 clauses out of 30072 with flag 260440/11508544
1603.47/1582.25	c cleaning 16012 clauses out of 32045 with flag 295703/11525544
1605.50/1584.23	c cleaning 17004 clauses out of 34033 with flag 332786/11543544
1607.48/1586.24	c cleaning 18007 clauses out of 36029 with flag 372264/11562544
1609.70/1588.49	c cleaning 19002 clauses out of 38021 with flag 413629/11582543
1612.16/1590.88	c cleaning 20000 clauses out of 40019 with flag 457175/11603543
1614.56/1593.27	c cleaning 20999 clauses out of 42019 with flag 502535/11625543
1617.10/1595.72	c cleaning 21999 clauses out of 44020 with flag 549933/11648543
1619.76/1598.36	c cleaning 23003 clauses out of 46021 with flag 599324/11672543
1622.28/1601.48	c cleaning 23996 clauses out of 48018 with flag 650844/11697543
1625.21/1604.37	c cleaning 25002 clauses out of 50024 with flag 704480/11723545
1628.26/1607.36	c cleaning 25996 clauses out of 52020 with flag 760124/11750543
1631.42/1610.46	c cleaning 27001 clauses out of 54025 with flag 817946/11778544
1634.99/1613.93	c cleaning 28001 clauses out of 56023 with flag 877906/11807543
1638.36/1617.23	c cleaning 28998 clauses out of 58023 with flag 940015/11837544
1641.84/1620.64	c cleaning 29999 clauses out of 60024 with flag 1004207/11868543
1645.33/1624.03	c cleaning 31002 clauses out of 62026 with flag 1070819/11900544
1648.91/1627.54	c cleaning 32002 clauses out of 64024 with flag 1139467/11933544
1652.65/1631.50	c cleaning 32999 clauses out of 66021 with flag 1210378/11967543
1656.33/1635.15	c cleaning 34001 clauses out of 68023 with flag 1283619/12002544
1660.38/1639.12	c cleaning 34998 clauses out of 70021 with flag 1358281/12038543
1664.63/1643.35	c cleaning 35999 clauses out of 72023 with flag 1435121/12075543
1668.94/1647.66	c cleaning 37002 clauses out of 74025 with flag 1514316/12113544
1673.35/1652.06	c cleaning 38000 clauses out of 76022 with flag 1595922/12152543
1677.74/1656.34	c cleaning 38999 clauses out of 78023 with flag 1679540/12192544
1682.10/1660.61	c cleaning 40005 clauses out of 80024 with flag 1765209/12233544
1687.37/1666.48	c cleaning 40995 clauses out of 82018 with flag 1852174/12275543
1692.91/1671.93	c cleaning 42000 clauses out of 84023 with flag 1941039/12318543
1698.14/1677.09	c cleaning 42999 clauses out of 86023 with flag 2032573/12362543
1703.20/1682.08	c cleaning 44005 clauses out of 88025 with flag 2125989/12407544
1708.91/1687.66	c cleaning 44995 clauses out of 90019 with flag 2220933/12453543
1714.37/1697.81	c cleaning 46001 clauses out of 92025 with flag 2318447/12500544
1720.40/1703.87	c cleaning 46999 clauses out of 94023 with flag 2419004/12548543
1726.42/1709.83	c cleaning 47998 clauses out of 96024 with flag 2520169/12597543
1732.86/1716.24	c cleaning 49003 clauses out of 98026 with flag 2623979/12647543
1739.30/1722.66	c cleaning 49999 clauses out of 100023 with flag 2729623/12698543
1745.86/1729.47	c cleaning 50998 clauses out of 102024 with flag 2837945/12750543
1753.50/1737.00	c cleaning 52002 clauses out of 104026 with flag 2947509/12803543
1761.51/1744.97	c cleaning 53001 clauses out of 106025 with flag 3058610/12857544
1769.76/1753.03	c cleaning 53999 clauses out of 108023 with flag 3172083/12912543
1777.49/1761.04	c cleaning 54998 clauses out of 110024 with flag 3288167/12968543
1786.38/1769.85	c cleaning 56003 clauses out of 112027 with flag 3412945/13025544
1795.31/1778.64	c cleaning 56999 clauses out of 114024 with flag 3533055/13083544
1804.63/1787.84	c cleaning 57997 clauses out of 116024 with flag 3654787/13142543
1813.55/1797.08	c cleaning 59003 clauses out of 118027 with flag 3778648/13202543
1822.61/1806.00	c cleaning 60001 clauses out of 120024 with flag 3904603/13263543
1831.47/1814.81	c cleaning 60997 clauses out of 122023 with flag 4032559/13325543
1841.10/1824.66	c cleaning 62004 clauses out of 124027 with flag 4162762/13388544
1850.88/1834.23	c cleaning 63000 clauses out of 126022 with flag 4295713/13452543
1861.20/1844.49	c cleaning 63999 clauses out of 128023 with flag 4430144/13517544
1872.69/1856.61	c cleaning 65003 clauses out of 130023 with flag 4566039/13583543
1883.67/1867.53	c cleaning 66000 clauses out of 132020 with flag 4704418/13650543
1893.78/1877.57	c cleaning 67000 clauses out of 134020 with flag 4844912/13718543
1904.38/1888.30	c cleaning 68001 clauses out of 136023 with flag 4987661/13787546
1914.53/1898.31	c cleaning 68997 clauses out of 138020 with flag 5132548/13857544
1924.34/1908.04	c cleaning 69999 clauses out of 140023 with flag 5279197/13928544
1934.24/1918.16	c cleaning 71002 clauses out of 142023 with flag 5428001/14000543
1945.15/1928.82	c cleaning 72001 clauses out of 144021 with flag 5578797/14073543
1956.39/1939.99	c cleaning 73000 clauses out of 146020 with flag 5731780/14147543
1968.36/1952.17	c cleaning 73999 clauses out of 148021 with flag 5886292/14222544
1980.62/1964.21	c cleaning 74996 clauses out of 150021 with flag 6042786/14298543
1991.64/1975.48	c cleaning 76001 clauses out of 152027 with flag 6202859/14375545
2004.13/1987.78	c cleaning 76999 clauses out of 154024 with flag 6363640/14453543
2015.84/1999.31	c cleaning 78000 clauses out of 156025 with flag 6526965/14532543
2027.84/2011.40	c cleaning 78999 clauses out of 158026 with flag 6692463/14612544
2040.09/2023.44	c cleaning 80004 clauses out of 160027 with flag 6859953/14693544
2052.43/2035.17	c cleaning 81000 clauses out of 162023 with flag 7030005/14775544
2065.48/2048.30	c cleaning 81997 clauses out of 164023 with flag 7201328/14858544
2079.33/2061.94	c cleaning 83002 clauses out of 166025 with flag 7374880/14942543
2092.32/2075.05	c cleaning 84000 clauses out of 168024 with flag 7551104/15027544
2106.32/2088.84	c cleaning 84998 clauses out of 170024 with flag 7729755/15113544
2120.25/2102.56	c cleaning 85997 clauses out of 172026 with flag 7909956/15200544
2135.03/2117.00	c cleaning 87000 clauses out of 174029 with flag 8092086/15288544
2148.86/2132.88	c cleaning 88003 clauses out of 176028 with flag 8276118/15377543
2162.95/2146.71	c cleaning 88998 clauses out of 178025 with flag 8463339/15467543
2176.44/2160.21	c cleaning 90005 clauses out of 180028 with flag 8652621/15558544
2192.21/2175.82	c cleaning 90999 clauses out of 182022 with flag 8843924/15650543
2205.08/2188.44	c cleaning 91997 clauses out of 184023 with flag 9036276/15743543
2217.43/2201.10	c cleaning 93001 clauses out of 186026 with flag 9230540/15837543
2230.60/2214.00	c cleaning 94001 clauses out of 188025 with flag 9426957/15932543
2244.45/2227.24	c cleaning 95001 clauses out of 190024 with flag 9625731/16028543
2259.32/2241.91	c cleaning 96002 clauses out of 192023 with flag 9826477/16125543
2274.01/2256.72	c cleaning 96996 clauses out of 194021 with flag 10030125/16223543
2286.95/2269.59	c cleaning 98001 clauses out of 196026 with flag 10235328/16322544
2300.28/2282.87	c cleaning 99002 clauses out of 198024 with flag 10441940/16422543
2313.52/2295.71	c cleaning 100000 clauses out of 200022 with flag 10651226/16523543
2326.70/2308.65	c cleaning 101000 clauses out of 202022 with flag 10861505/16625543
2340.99/2323.80	c cleaning 101999 clauses out of 204022 with flag 11074975/16728543
2355.93/2338.48	c cleaning 102999 clauses out of 206023 with flag 11289747/16832543
2371.54/2354.21	c cleaning 104003 clauses out of 208025 with flag 11507268/16937544
2386.07/2368.39	c cleaning 104997 clauses out of 210022 with flag 11726492/17043544
2401.36/2382.87	c cleaning 106000 clauses out of 212025 with flag 11947963/17150544
2415.71/2397.48	c cleaning 106999 clauses out of 214024 with flag 12171649/17258543
2434.05/2414.70	c cleaning 108004 clauses out of 216025 with flag 12397748/17367543
2450.53/2431.61	c cleaning 108996 clauses out of 218021 with flag 12625802/17477543
2466.30/2447.06	c cleaning 110000 clauses out of 220026 with flag 12855913/17588544
2482.71/2463.98	c cleaning 111000 clauses out of 222025 with flag 13088385/17700543
2503.20/2484.21	c cleaning 111997 clauses out of 224025 with flag 13322579/17813543
2521.99/2502.77	c cleaning 113003 clauses out of 226029 with flag 13558260/17927544
2543.26/2523.87	c cleaning 114000 clauses out of 228025 with flag 13796794/18042543
2564.66/2546.24	c cleaning 115004 clauses out of 230026 with flag 14038381/18158544
2584.51/2564.97	c cleaning 116003 clauses out of 232022 with flag 14280373/18275544
2604.37/2586.04	c cleaning 116997 clauses out of 234018 with flag 14524971/18393543
2624.28/2605.31	c cleaning 118003 clauses out of 236021 with flag 14771080/18512543
2645.86/2626.30	c cleaning 119000 clauses out of 238019 with flag 15019028/18632544
2668.47/2646.74	c cleaning 119998 clauses out of 240019 with flag 15269718/18753544
2690.45/2667.23	c cleaning 121000 clauses out of 242021 with flag 15522423/18875544
2715.16/2691.58	c cleaning 122000 clauses out of 244021 with flag 15777399/18998544
2736.79/2711.94	c cleaning 122998 clauses out of 246020 with flag 16034392/19122543
2761.02/2734.72	c cleaning 124001 clauses out of 248023 with flag 16293268/19247544
2785.92/2757.76	c cleaning 125005 clauses out of 250021 with flag 16554330/19373543
2812.49/2783.64	c cleaning 125995 clauses out of 252017 with flag 16817457/19500544
2838.73/2807.80	c cleaning 127004 clauses out of 254021 with flag 17082981/19628543
2864.82/2831.40	c cleaning 127997 clauses out of 256018 with flag 17350323/19757544
2892.11/2857.87	c cleaning 128999 clauses out of 258021 with flag 17619073/19887544
2920.27/2884.27	c cleaning 130002 clauses out of 260022 with flag 17890176/20018544
2943.21/2906.46	c cleaning 130996 clauses out of 262020 with flag 18162869/20150544
2968.53/2929.60	c cleaning 131999 clauses out of 264024 with flag 18437751/20283544
2994.01/2954.29	c cleaning 133001 clauses out of 266024 with flag 18715217/20417543
3017.97/2977.54	c cleaning 134001 clauses out of 268023 with flag 18994141/20552543
3044.96/3002.58	c cleaning 135001 clauses out of 270022 with flag 19275122/20688543
3069.71/3025.72	c cleaning 136001 clauses out of 272023 with flag 19558315/20825545
3096.91/3050.98	c cleaning 137002 clauses out of 274020 with flag 19843629/20963543
3127.80/3079.72	c cleaning 137997 clauses out of 276019 with flag 20131173/21102544
3154.52/3105.67	c cleaning 138998 clauses out of 278022 with flag 20420696/21242544
3179.49/3128.68	c cleaning 140003 clauses out of 280024 with flag 20711970/21383544
3206.09/3154.43	c cleaning 140997 clauses out of 282020 with flag 21005607/21525543
3232.43/3179.13	c cleaning 141998 clauses out of 284023 with flag 21301223/21668543
3257.83/3204.62	c cleaning 143004 clauses out of 286026 with flag 21598424/21812544
3285.71/3231.78	c cleaning 143999 clauses out of 288021 with flag 21898146/21957543
3314.14/3260.46	c cleaning 145002 clauses out of 290023 with flag 22199425/22103544
3342.36/3288.33	c cleaning 146001 clauses out of 292021 with flag 22502941/22250544
3371.36/3317.11	c cleaning 147002 clauses out of 294020 with flag 22809053/22398544
3401.62/3346.64	c cleaning 147998 clauses out of 296017 with flag 23116668/22547543
3430.39/3375.67	c cleaning 149001 clauses out of 298019 with flag 23426577/22697543
3462.93/3407.21	c cleaning 149997 clauses out of 300018 with flag 23738382/22848543
3494.38/3438.82	c cleaning 151000 clauses out of 302022 with flag 24053930/23000544
3522.11/3474.41	c cleaning 151997 clauses out of 304022 with flag 24372326/23153544
3549.63/3502.22	c cleaning 153001 clauses out of 306024 with flag 24691048/23307543
3578.92/3530.38	c cleaning 154003 clauses out of 308024 with flag 25010894/23462544
3600.04/3551.91	c starts		: 11
3600.04/3551.91	c conflicts		: 23613942
3600.04/3551.91	c decisions		: 30976407
3600.04/3551.91	c propagations		: 339992871
3600.04/3551.91	c inspects		: 15162322971
3600.04/3551.91	c shortcuts		: 0
3600.04/3551.91	c learnt literals	: 0
3600.04/3551.91	c learnt binary clauses	: 0
3600.04/3551.91	c learnt ternary clauses	: 0
3600.04/3551.91	c learnt constraints	: 23613942
3600.04/3551.91	c ignored constraints	: 0
3600.04/3551.91	c root simplifications	: 0
3600.04/3551.91	c removed literals (reason simplification)	: 95980
3600.04/3551.91	c reason swapping (by a shorter reason)	: 0
3600.04/3551.91	c Calls to reduceDB	: 374
3600.04/3551.91	c Number of update (reduction) of LBD	: 308587
3600.04/3551.91	c Imported unit clauses	: 0
3600.04/3551.91	c No decision after first conflict	: false
3600.04/3551.91	c number of reductions to clauses (during analyze)	: 0
3600.04/3551.91	c number of learned constraints concerned by reduction	: 0
3600.04/3551.91	c number of learning phase by resolution	: 0
3600.04/3551.91	c number of learning phase by cutting planes	: 0
3600.04/3551.91	c number of rounding to 1 operations	: 0
3600.04/3551.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3551.91	c number of reductions of the coefficients by power 2 	: 0
3600.04/3551.91	c number of right shift for reduction by power 2 	: 0
3600.04/3551.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3551.91	c number of ending skipping 	: 0
3600.04/3551.91	c number of internal skipping 	: 0
3600.04/3551.91	c number of derivation steps 	: 0
3600.04/3551.91	c number of skipped derivation steps 	: 0
3600.04/3551.91	c number of remaining unassigned 	: 0
3600.04/3551.91	c number of remaining assigned 	: 0
3600.04/3551.91	c number of falsified literals weakened from reason	: 0
3600.04/3551.91	c number of falsified literals weakened from conflict	: 0
3600.04/3551.91	c time for arithmetic operations	: 0
3600.04/3551.91	c minimum degree of deleted constraints	: null
3600.04/3551.91	c maximum degree of deleted constraints	: null
3600.04/3551.91	c number of deleted constraints	: 0
3600.04/3551.92	c speed (assignments/second)	: 95726.23271929298
3600.04/3551.92	c non guided choices	: 0
3600.04/3552.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 305419
3600.04/3552.00	s SATISFIABLE
3600.04/3552.00	c Found 10 solution(s)
3600.04/3552.00	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.24/3552.01	c objective function=214
3600.24/3552.01	c Total wall clock time (in seconds): 3551.883

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440292-1721769327/watcher-4440292-1721769327 -o /tmp/evaluation-result-4440292-1721769327/solver-4440292-1721769327 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124430 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440292-1721769327 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440292-1721769327.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.102965 s]*
/proc/loadavg: 4.40 4.25 4.19 7/335 126637
/proc/meminfo: memFree=102960312/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=18975048 memory=68684 CPUtime=0.14 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 7200 0 0 0 12 2 0 0 20 0 18 0 13456921 19430449152 17171 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4743762 17171 5545 1 0 549329 0
[pid=126619/tid=126621] ppid=126616 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 1077936192 5753 0 0 0 7 1 0 0 20 0 18 0 13456921 19430449152 17171 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13456924 19430449152 17171 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=18975048 memory=16104770973501427 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13456924 19430449152 17171 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68684 KiB

[startup+0.214713 s]*
/proc/loadavg: 4.40 4.25 4.19 8/336 126638
/proc/meminfo: memFree=102949456/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19041612 memory=75892 CPUtime=0.33 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 7685 0 0 0 31 2 0 0 20 0 19 0 13456921 19498610688 18973 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4760403 18973 5864 1 0 550000 0
[pid=126619/tid=126621] ppid=126616 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 6068 0 0 0 16 1 0 0 20 0 19 0 13456921 19498610688 18973 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19041612 memory=829208 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13456924 19498610688 18973 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19041612 memory=14135541352367841 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13456924 19498610688 18973 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13456941 19498610688 18973 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75892 KiB

[startup+0.307711 s]*
/proc/loadavg: 4.40 4.25 4.19 7/336 126638
/proc/meminfo: memFree=102927944/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19041612 memory=91524 CPUtime=0.52 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 8326 0 0 0 49 3 0 0 20 0 19 0 13456921 19498610688 22881 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4760403 22881 5864 1 0 550464 0
[pid=126619/tid=126621] ppid=126616 vsize=19041612 memory=-8744974967514112700 CPUtime=0.27 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 6095 0 0 0 25 2 0 0 20 0 19 0 13456921 19498610688 22881 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13456924 19498610688 22881 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13456924 19498610688 22881 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13456941 19498610688 22881 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91524 KiB

[startup+0.700238 s]
/proc/loadavg: 4.40 4.25 4.19 6/336 126638
/proc/meminfo: memFree=102865924/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=176604 CPUtime=1.26 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 12708 0 0 0 121 5 0 0 20 0 20 0 13456921 19566772224 44151 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 44151 5917 1 0 552760 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=43816 CPUtime=0.6 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 6150 0 0 0 57 3 0 0 20 0 20 0 13456921 19566772224 44151 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 44151 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=2236 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 44151 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=25868 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 44151 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176604 KiB

[startup+1.50071 s]
/proc/loadavg: 4.40 4.25 4.19 6/337 126639
/proc/meminfo: memFree=102753680/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=195568 CPUtime=2.84 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 20469 0 0 0 277 7 0 0 20 0 20 0 13456921 19566772224 48892 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 48892 5933 1 0 554301 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=12256 CPUtime=1.33 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 7004 0 0 0 129 4 0 0 20 0 20 0 13456921 19566772224 48892 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 48892 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=2236 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 48892 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=25868 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 48892 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195568 KiB

[startup+3.10672 s]
/proc/loadavg: 4.37 4.24 4.18 7/337 126639
/proc/meminfo: memFree=101000200/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=735660 CPUtime=5.67 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 23705 0 0 0 546 21 0 0 20 0 20 0 13456921 19566772224 183915 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 183915 5933 1 0 661242 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=0 CPUtime=2.85 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 7853 0 0 0 268 17 0 0 20 0 20 0 13456921 19566772224 183915 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=-8744974967514112700 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 183915 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 183915 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=2236 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 183915 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 735660 KiB

[startup+6.30026 s]
/proc/loadavg: 4.37 4.24 4.18 5/337 126641
/proc/meminfo: memFree=100068588/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=1416612 CPUtime=9.15 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 24821 0 0 0 874 41 0 0 20 0 20 0 13456921 19566772224 354153 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 354153 5933 1 0 916107 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=2236 CPUtime=5.84 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 8164 0 0 0 552 32 0 0 20 0 20 0 13456921 19566772224 354153 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 354153 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 354153 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 354153 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1416612 KiB

[startup+12.7003 s]
/proc/loadavg: 4.34 4.24 4.18 6/312 126670
/proc/meminfo: memFree=115306392/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=2446212 CPUtime=15.74 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 25956 0 0 0 1501 73 0 0 20 0 20 0 13456921 19566772224 611553 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 611553 5933 1 0 1060247 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=12256 CPUtime=11.96 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 8811 0 0 0 1133 63 0 0 20 0 20 0 13456921 19566772224 611553 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=2317040 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 611553 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=43816 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 611553 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 611553 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 15.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2446212 KiB

[startup+25.5003 s]
/proc/loadavg: 4.40 4.26 4.19 5/335 126714
/proc/meminfo: memFree=112819192/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=2846064 CPUtime=28.96 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 29893 0 0 0 2800 96 0 0 20 0 20 0 13456921 19566772224 711516 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 711516 5933 1 0 1060252 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=0 CPUtime=24.34 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 11099 0 0 0 2352 82 0 0 20 0 20 0 13456921 19566772224 711516 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 711516 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=3184097920075968593 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 711516 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=1416612 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 711516 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 28.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2846064 KiB

[startup+51.1058 s]
/proc/loadavg: 4.26 4.23 4.18 5/335 126717
/proc/meminfo: memFree=107291904/131524600 swapFree=131071216/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=3855044 CPUtime=54.93 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 39654 0 0 0 5341 152 0 0 20 0 20 0 13456921 19566772224 963761 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 963761 5948 1 0 1248255 0

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

/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 987995 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 2490 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 987995 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 987995 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 3276.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3951980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.52 4.48 4.46 7/339 128787
/proc/meminfo: memFree=662104/131524600 swapFree=131065036/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=4452164 CPUtime=3336.91 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 4235250 0 0 0 329440 4251 0 0 20 0 20 0 13456921 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 1113041 5960 1 0 1124037 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=4452164 CPUtime=3120.12 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 3753502 0 0 0 308009 4003 0 0 20 0 20 0 13456921 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6323 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=4444460 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=-9126187747587440030 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 2503 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=1984 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 3336.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4452164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.48 4.49 4.47 5/345 129092
/proc/meminfo: memFree=586232/131524600 swapFree=131064524/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=4452164 CPUtime=3397.33 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 4670014 0 0 0 335396 4337 0 0 20 0 20 0 13456921 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 1113041 5960 1 0 1124037 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=43816 CPUtime=3177.16 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 4179081 0 0 0 313631 4085 0 0 20 0 20 0 13456921 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6475 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=4452164 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 2541 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=4452164 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 1113041 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 3397.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4452164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.41 4.48 4.46 7/345 129104
/proc/meminfo: memFree=483444/131524600 swapFree=131064524/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=4452180 CPUtime=3458.04 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 4966480 0 0 0 341399 4405 0 0 20 0 20 0 13456921 19566772224 1113045 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 1113045 5960 1 0 1124037 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=4452164 CPUtime=3234.08 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 4455451 0 0 0 319258 4150 0 0 20 0 20 0 13456921 19566772224 1113045 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6613 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=4452164 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113045 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=-9126187747587440030 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 2600 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113045 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=4452180 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 1113045 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 3458.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4452180 KiB

[startup+3462.3 s]
/proc/loadavg: 4.63 4.53 4.48 5/345 129117
/proc/meminfo: memFree=1615124/131524600 swapFree=131064524/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=4452184 CPUtime=3509.85 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 5139976 0 0 0 346526 4459 0 0 20 0 20 0 13456921 19566772224 1113046 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 1113046 5960 1 0 1124037 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=4452164 CPUtime=3282.52 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 4611955 0 0 0 324053 4199 0 0 20 0 20 0 13456921 19566772224 1113046 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7632 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=-9126187747587440030 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113046 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=43816 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 2691 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113046 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=4452184 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 1113046 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 3509.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4452184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.49 4.47 5/344 129332
/proc/meminfo: memFree=91133520/131524600 swapFree=131064524/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=4452188 CPUtime=3570.81 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 5247091 0 0 0 352560 4521 0 0 20 0 20 0 13456921 19566772224 1113047 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 1113047 5960 1 0 1124038 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=4452184 CPUtime=3339.75 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 4716800 0 0 0 329716 4259 0 0 20 0 20 0 13456921 19566772224 1113047 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7746 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=2236 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113047 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 2691 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1113047 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=4452188 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 1113047 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 3570.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4452188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3551.9 s]
/proc/loadavg: 4.49 4.49 4.47 5/344 129337
/proc/meminfo: memFree=88518308/131524600 swapFree=131064524/131071996
[pid=126619] ppid=126616 vsize=19108176 memory=4920044 CPUtime=3600.04 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 5451633 0 0 0 355435 4569 0 0 20 0 20 0 13456921 19566772224 1230011 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4777044 1230011 5960 1 0 1243054 0
[pid=126619/tid=126621] ppid=126616 vsize=19108176 memory=4452188 CPUtime=3367.59 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 4918696 0 0 0 332454 4305 0 0 20 0 20 0 13456921 19566772224 1230011 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7842 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19108176 memory=4452184 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1230011 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 2691 0 0 0 0 0 0 0 20 0 20 0 13456924 19566772224 1230011 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126638] ppid=126616 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/126619/task/126638/stat : 126638 (Timer-0) S 126616 126619 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456941 19566772224 1230011 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4920044 KiB

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

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

# cumulated CPU time of all completed processes:  user=3554.57 s, system=45.7726 s

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

[startup+3552 s]*
/proc/loadavg: 4.49 4.49 4.47 5/345 129340
/proc/meminfo: memFree=88478944/131524600 swapFree=131064524/131071996
[pid=126619] ppid=126616 vsize=19307868 memory=4920760 CPUtime=3600.24 cores=4,6
/proc/126619/stat : 126619 (java) S 126616 126619 124419 0 -1 1077936128 5457337 0 0 0 355455 4569 0 0 20 0 21 0 13456921 19771256832 1230190 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
/proc/126619/statm: 4826967 1230190 5959 1 0 1243992 0
[pid=126619/tid=126621] ppid=126616 vsize=19307868 memory=-8529086946027020988 CPUtime=3367.69 cores=4,6
/proc/126619/task/126621/stat : 126621 (java) R 126616 126619 124419 0 -1 4194368 4920017 0 0 0 332464 4305 0 0 20 0 21 0 13456921 19771256832 1230190 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7842 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126630] ppid=126616 vsize=19307868 memory=26816 CPUtime=0 cores=4,6
/proc/126619/task/126630/stat : 126630 (Finalizer) S 126616 126619 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13456924 19771256832 1230190 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=126637] ppid=126616 vsize=19307868 memory=34780 CPUtime=0 cores=4,6
/proc/126619/task/126637/stat : 126637 (Common-Cleaner) S 126616 126619 124419 0 -1 1077936192 2691 0 0 0 0 0 0 0 20 0 21 0 13456924 19771256832 1230190 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
[pid=126619/tid=129339] ppid=126616 vsize=19307868 memory=-8744974967514112700 CPUtime=0.07 cores=4,6
/proc/126619/task/129339/stat : 129339 (Thread-0) D 126616 126619 124419 0 -1 4194368 2793 0 0 0 7 0 0 0 20 0 21 0 13812112 19771256832 1230190 134679101440 94426139545600 94426139549296 140720721563792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94426139557112 94426139557904 94426153861120 140720721572779 140720721572961 140720721572961 140720721579976 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4920760 KiB

[startup+3552.11 s]*
/proc/loadavg: 4.49 4.49 4.47 4/326 129340
/proc/meminfo: memFree=93389388/131524600 swapFree=131064524/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3552.13
CPU time (s): 3600.34
CPU user time (s): 3554.57
CPU system time (s): 45.7726
CPU usage (%): 101.357
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6977900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.57
system time used= 45.7726
maximum resident set size= 6977900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5457432
page faults= 0
swaps= 0
block input operations= 8
block output operations= 78615600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146338
involuntary context switches= 25218


# summary of solver processes directly reported to runsolver:
#   pid: 126619
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3554.57
#   total CPU system time (s): 45.7726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85367 second user time and 18.1031 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-23 23:15:27
IDJOB=4440292
IDBENCH=147543
IDSOLVER=3079
FILE ID=nodeC034/4440292-1721769327
RUNJOBID= nodeC034-1721765707-124430
SLURM_JOB_ID= 7770676
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440292-1721769327/watcher-4440292-1721769327 -o /tmp/evaluation-result-4440292-1721769327/solver-4440292-1721769327 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124430 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440292-1721769327 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440292-1721769327.opb

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

MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=2007171220

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        103014512 kB
MemAvailable:   122563724 kB
Buffers:          179232 kB
Cached:         20142056 kB
SwapCached:          120 kB
Active:          1172072 kB
Inactive:       26638536 kB
Active(anon):       1556 kB
Inactive(anon):  7525388 kB
Active(file):    1170516 kB
Inactive(file): 19113148 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            453408 kB
Writeback:             0 kB
AnonPages:       7486592 kB
Mapped:           124328 kB
Shmem:             37600 kB
KReclaimable:     210392 kB
Slab:             328468 kB
SReclaimable:     210392 kB
SUnreclaim:       118076 kB
KernelStack:        5120 kB
PageTables:        24876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11960980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7217152 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      330452 kB
DirectMap2M:    41385984 kB
DirectMap1G:    94371840 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC034 at 2024-07-24 00:14:40