Trace number 4440484

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)129 3600.46 3640.17

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
MD5SUM51fa3ae0158cc49e421df545accb4e20
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 benchmark84
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 variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
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 361
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 361
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2115194816
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2122317824
0.14/0.11	c Number of processors 	2
0.14/0.14	--- Begin Solver configuration ---
0.14/0.14	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.14	Learn all clauses as in MiniSAT
0.14/0.14	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.14	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.14	Expensive reason simplification
0.14/0.14	Glucose 2.1 dynamic restart strategy
0.14/0.14	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.14	timeout=2147483s
0.14/0.14	DB Simplification allowed=false
0.14/0.14	Listener: none
0.14/0.14	--- End Solver configuration ---
0.14/0.14	c Pseudo Boolean Optimization by upper bound
0.14/0.14	c --- Begin Solver configuration ---
0.14/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.14	c Learn all clauses as in MiniSAT
0.14/0.14	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.14	c Expensive reason simplification
0.14/0.14	c Glucose 2.1 dynamic restart strategy
0.14/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.14	c timeout=2147483s
0.14/0.14	c DB Simplification allowed=false
0.14/0.14	c Listener: none
0.14/0.14	c --- End Solver configuration ---
0.14/0.14	c solving HOME/instance-4440484-1721820546.opb
0.14/0.14	c reading problem ... 
0.14/0.15	c using VERIPB proof format
0.14/0.15	c  objective function found
0.34/0.21	c ... done. Wall clock time 0.057s.
0.34/0.21	c declared #vars     441
0.34/0.21	c #constraints  521
0.34/0.21	c constraints type 
0.34/0.21	c org.sat4j.specs.Constr$1 => 80
0.34/0.21	c org.sat4j.pb.constraints.pb.UnitClausePB => 80
0.34/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 361
0.34/0.21	c 521 constraints processed.
0.34/0.22	c objective function length is 361 literals
0.34/0.23	c SATISFIABLE
0.34/0.23	c OPTIMIZING...
0.34/0.23	c Got one! Elapsed wall clock time (in seconds):0.083
0.34/0.23	o 141
0.34/0.24	c Got one! Elapsed wall clock time (in seconds):0.094
0.34/0.24	o 140
0.34/0.25	c Got one! Elapsed wall clock time (in seconds):0.109
0.34/0.25	o 139
0.72/0.46	c Got one! Elapsed wall clock time (in seconds):0.316
0.72/0.46	o 138
2.68/1.45	c cleaning 2753 clauses out of 5519 with flag 10475/5519
2.88/1.56	c Got one! Elapsed wall clock time (in seconds):1.413
2.88/1.57	o 137
3.67/1.90	c cleaning 3944 clauses out of 7899 with flag 8313/10652
3.67/1.94	c Got one! Elapsed wall clock time (in seconds):1.791
3.67/1.94	o 136
3.67/1.96	c Got one! Elapsed wall clock time (in seconds):1.817
3.67/1.96	o 135
4.44/2.39	c cleaning 4982 clauses out of 9973 with flag 12033/16670
5.20/2.72	c cleaning 5492 clauses out of 10991 with flag 24619/22670
5.61/3.07	c cleaning 6244 clauses out of 12499 with flag 39400/29670
6.11/3.45	c cleaning 7122 clauses out of 14254 with flag 56186/37669
6.76/3.92	c cleaning 8060 clauses out of 16132 with flag 75246/46669
7.31/4.43	c cleaning 9027 clauses out of 18073 with flag 96126/56670
7.80/4.96	c cleaning 10016 clauses out of 20045 with flag 119147/67669
9.01/6.16	c cleaning 11006 clauses out of 22030 with flag 144072/79670
9.81/6.93	c cleaning 12002 clauses out of 24024 with flag 171335/92670
10.51/7.66	c cleaning 12999 clauses out of 26022 with flag 200928/106670
10.81/7.92	c Got one! Elapsed wall clock time (in seconds):7.776
10.81/7.92	o 134
11.16/8.25	c cleaning 11850 clauses out of 23713 with flag 10969/117360
11.66/8.55	c cleaning 8923 clauses out of 17862 with flag 23541/123359
12.14/8.88	c cleaning 7967 clauses out of 15939 with flag 38189/130359
12.79/9.24	c cleaning 7980 clauses out of 15972 with flag 54947/138359
13.43/9.68	c cleaning 8488 clauses out of 16993 with flag 73786/147360
13.94/10.13	c cleaning 9242 clauses out of 18504 with flag 94764/157359
14.42/10.63	c cleaning 10121 clauses out of 20263 with flag 117750/168360
14.94/11.20	c cleaning 11063 clauses out of 22142 with flag 142758/180360
15.63/11.89	c cleaning 12032 clauses out of 24078 with flag 170061/193359
16.32/12.58	c cleaning 13014 clauses out of 26047 with flag 199598/207360
17.23/13.44	c cleaning 14006 clauses out of 28032 with flag 231009/222359
17.62/13.85	c Got one! Elapsed wall clock time (in seconds):13.701
17.62/13.85	o 133
17.97/14.14	c cleaning 13766 clauses out of 27547 with flag 10649/235880
18.30/14.44	c cleaning 9883 clauses out of 19781 with flag 23414/241880
18.60/14.76	c cleaning 8443 clauses out of 16899 with flag 38186/248881
19.08/15.20	c cleaning 8221 clauses out of 16455 with flag 55584/256880
19.55/15.61	c cleaning 8609 clauses out of 17235 with flag 74471/265881
19.96/16.06	c cleaning 9302 clauses out of 18625 with flag 95603/275880
20.45/16.57	c cleaning 10151 clauses out of 20324 with flag 118749/286881
21.06/17.19	c cleaning 11082 clauses out of 22173 with flag 143881/298881
21.74/17.82	c cleaning 12036 clauses out of 24092 with flag 171199/311882
22.34/18.47	c cleaning 13018 clauses out of 26055 with flag 200346/325881
23.16/19.23	c cleaning 14009 clauses out of 28036 with flag 232127/340880
23.86/19.98	c cleaning 15006 clauses out of 30028 with flag 265562/356881
24.66/20.79	c cleaning 16000 clauses out of 32022 with flag 301071/373881
25.65/21.73	c cleaning 17000 clauses out of 34022 with flag 338695/391881
26.56/22.69	c cleaning 18005 clauses out of 36021 with flag 378352/410880
27.86/23.90	c cleaning 19000 clauses out of 38016 with flag 420015/430880
28.85/25.00	c cleaning 19997 clauses out of 40016 with flag 463880/451880
30.15/26.25	c cleaning 20999 clauses out of 42019 with flag 509691/473880
31.49/27.51	c cleaning 22000 clauses out of 44021 with flag 558116/496881
33.04/28.96	c cleaning 22999 clauses out of 46021 with flag 608833/520881
34.44/30.37	c cleaning 23999 clauses out of 48021 with flag 661383/545880
36.03/31.97	c cleaning 25002 clauses out of 50023 with flag 715973/571881
37.53/33.47	c cleaning 25997 clauses out of 52020 with flag 772921/598880
38.41/35.59	c Got one! Elapsed wall clock time (in seconds):35.45
38.41/35.59	o 132
39.26/36.32	c cleaning 19977 clauses out of 39967 with flag 11099/612824
39.56/36.68	c cleaning 12986 clauses out of 25992 with flag 23662/618826
39.97/37.04	c cleaning 9995 clauses out of 20005 with flag 38413/625825
40.35/37.40	c cleaning 8994 clauses out of 18010 with flag 55189/633825
40.76/37.80	c cleaning 8996 clauses out of 18015 with flag 73886/642824
41.16/38.24	c cleaning 9501 clauses out of 19020 with flag 94793/652825
41.72/38.75	c cleaning 10251 clauses out of 20519 with flag 117879/663825
42.35/39.41	c cleaning 11128 clauses out of 22267 with flag 142975/675824
42.97/40.03	c cleaning 12061 clauses out of 24140 with flag 170210/688825
43.56/40.67	c cleaning 13028 clauses out of 26078 with flag 199666/702824
44.25/41.39	c cleaning 14015 clauses out of 28050 with flag 231304/717824
45.15/42.24	c cleaning 15008 clauses out of 30035 with flag 265048/733824
45.97/43.04	c cleaning 16007 clauses out of 32027 with flag 300539/750824
46.85/43.94	c cleaning 17001 clauses out of 34020 with flag 338305/768824
47.85/44.95	c cleaning 18002 clauses out of 36019 with flag 378090/787824
48.96/46.03	c cleaning 19000 clauses out of 38017 with flag 420229/807824
50.06/47.14	c cleaning 20000 clauses out of 40017 with flag 464564/828824
51.28/48.31	c cleaning 21000 clauses out of 42017 with flag 510993/850824
52.47/49.51	c cleaning 21995 clauses out of 44018 with flag 559647/873825
53.77/50.83	c cleaning 23003 clauses out of 46022 with flag 610453/897824
55.37/52.41	c cleaning 23999 clauses out of 48020 with flag 663639/922825
56.76/53.89	c cleaning 24998 clauses out of 50020 with flag 718524/948824
58.36/55.48	c cleaning 26001 clauses out of 52022 with flag 775643/975824
60.07/57.13	c cleaning 26997 clauses out of 54021 with flag 834656/1003824
61.86/59.00	c cleaning 28001 clauses out of 56025 with flag 895637/1032825
63.75/60.86	c cleaning 29001 clauses out of 58023 with flag 959275/1062824
65.80/62.83	c cleaning 30001 clauses out of 60023 with flag 1024624/1093825
67.70/64.77	c cleaning 30997 clauses out of 62022 with flag 1092227/1125825
69.82/66.89	c cleaning 32004 clauses out of 64024 with flag 1162007/1158824
72.09/69.10	c cleaning 33003 clauses out of 66020 with flag 1233663/1192824
74.40/71.73	c cleaning 33998 clauses out of 68018 with flag 1307618/1227825
76.92/74.26	c cleaning 35000 clauses out of 70019 with flag 1383724/1263824
79.54/76.86	c cleaning 35999 clauses out of 72020 with flag 1461915/1300825
82.57/79.84	c cleaning 36998 clauses out of 74020 with flag 1542295/1338824
85.36/82.61	c cleaning 37999 clauses out of 76022 with flag 1628325/1377824
88.11/85.33	c cleaning 39001 clauses out of 78023 with flag 1712381/1417824
91.28/88.44	c cleaning 40002 clauses out of 80024 with flag 1798659/1458826
94.37/91.51	c cleaning 41002 clauses out of 82021 with flag 1887263/1500825
97.49/94.65	c cleaning 42000 clauses out of 84018 with flag 1978269/1543824
100.87/98.00	c cleaning 43004 clauses out of 86019 with flag 2071465/1587825
104.09/101.18	c cleaning 43996 clauses out of 88014 with flag 2166600/1632824
108.15/106.15	c cleaning 45000 clauses out of 90018 with flag 2263823/1678824
111.63/109.58	c cleaning 45999 clauses out of 92018 with flag 2363062/1725824
115.43/113.29	c cleaning 47000 clauses out of 94019 with flag 2464070/1773824
119.24/117.05	c cleaning 48001 clauses out of 96019 with flag 2567548/1822824
123.01/120.71	c cleaning 48997 clauses out of 98018 with flag 2672978/1872824
127.81/124.86	c cleaning 50002 clauses out of 100021 with flag 2780789/1923824
131.75/128.68	c cleaning 50998 clauses out of 102020 with flag 2890514/1975825
135.39/132.13	c cleaning 51998 clauses out of 104022 with flag 3002110/2028825
139.63/136.80	c cleaning 53002 clauses out of 106023 with flag 3115886/2082824
143.83/140.99	c cleaning 54001 clauses out of 108021 with flag 3232042/2137824
147.81/144.89	c cleaning 54999 clauses out of 110020 with flag 3350645/2193824
152.11/149.03	c cleaning 55999 clauses out of 112022 with flag 3470160/2250825
156.46/153.29	c cleaning 57001 clauses out of 114023 with flag 3591471/2308825
161.06/157.74	c cleaning 58000 clauses out of 116022 with flag 3715335/2367825
165.27/161.92	c cleaning 58999 clauses out of 118021 with flag 3841494/2427824
170.83/169.48	c cleaning 60000 clauses out of 120022 with flag 3970507/2488824
175.56/174.08	c cleaning 61001 clauses out of 122023 with flag 4100660/2550825
180.67/179.03	c cleaning 62002 clauses out of 124022 with flag 4233013/2613825
185.53/183.83	c cleaning 62995 clauses out of 126019 with flag 4367484/2677824
190.88/189.18	c cleaning 64004 clauses out of 128024 with flag 4503784/2742824
195.98/194.11	c cleaning 64998 clauses out of 130020 with flag 4642127/2808824
201.87/200.32	c cleaning 66001 clauses out of 132023 with flag 4783536/2875825
207.50/205.82	c cleaning 66997 clauses out of 134021 with flag 4926598/2943824
213.16/211.45	c cleaning 68002 clauses out of 136025 with flag 5072176/3012825
218.51/216.70	c cleaning 69005 clauses out of 138023 with flag 5219328/3082825
223.47/221.69	c cleaning 69998 clauses out of 140018 with flag 5367568/3153825
229.51/227.53	c cleaning 71002 clauses out of 142020 with flag 5519034/3225825
235.84/234.03	c cleaning 71995 clauses out of 144017 with flag 5672632/3298824
241.69/239.82	c cleaning 73002 clauses out of 146022 with flag 5827547/3372824
247.84/246.00	c cleaning 74002 clauses out of 148021 with flag 5984715/3447825
254.44/252.45	c cleaning 74996 clauses out of 150018 with flag 6144060/3523824
260.75/258.68	c cleaning 75999 clauses out of 152023 with flag 6306333/3600825
267.67/265.77	c cleaning 77004 clauses out of 154025 with flag 6470745/3678826
274.13/272.03	c cleaning 77999 clauses out of 156019 with flag 6636580/3757824
281.36/279.29	c cleaning 79000 clauses out of 158022 with flag 6805069/3837826
288.84/286.40	c cleaning 80000 clauses out of 160021 with flag 6975144/3918825
296.34/295.48	c cleaning 81001 clauses out of 162020 with flag 7148048/4000824
303.36/302.45	c cleaning 81998 clauses out of 164019 with flag 7321612/4083824
310.53/309.55	c cleaning 83004 clauses out of 166021 with flag 7497464/4167824
318.10/317.02	c cleaning 83998 clauses out of 168018 with flag 7675243/4252825
326.54/326.94	c cleaning 84996 clauses out of 170019 with flag 7856341/4338824
333.94/334.24	c cleaning 86003 clauses out of 172023 with flag 8039241/4425824
340.94/341.19	c cleaning 87002 clauses out of 174021 with flag 8224964/4513825
348.77/348.94	c cleaning 87998 clauses out of 176018 with flag 8412353/4602824
357.49/359.71	c cleaning 89004 clauses out of 178021 with flag 8602500/4692825
365.64/367.77	c cleaning 89997 clauses out of 180017 with flag 8794364/4783825
374.46/376.52	c cleaning 90997 clauses out of 182019 with flag 8987937/4875824
383.56/386.25	c cleaning 92001 clauses out of 184023 with flag 9183754/4968825
392.44/395.02	c cleaning 92997 clauses out of 186023 with flag 9381492/5062826
401.50/403.93	c cleaning 94001 clauses out of 188024 with flag 9581855/5157824
410.84/413.09	c cleaning 94997 clauses out of 190023 with flag 9783793/5253824
420.97/424.64	c cleaning 96000 clauses out of 192026 with flag 9988387/5350824
431.33/434.91	c cleaning 96999 clauses out of 194026 with flag 10195381/5448824
440.64/444.11	c cleaning 98003 clauses out of 196027 with flag 10404317/5547824
450.04/453.71	c cleaning 99000 clauses out of 198025 with flag 10615272/5647825
459.54/463.08	c cleaning 100004 clauses out of 200025 with flag 10827982/5748825
470.62/473.95	c cleaning 100996 clauses out of 202020 with flag 11043321/5850824
480.99/484.50	c cleaning 101994 clauses out of 204024 with flag 11260300/5953824
492.20/495.60	c cleaning 103002 clauses out of 206031 with flag 11479882/6057825
502.66/506.08	c cleaning 104001 clauses out of 208028 with flag 11700571/6162824
512.70/516.14	c cleaning 105000 clauses out of 210027 with flag 11924031/6268824
523.90/526.78	c cleaning 106000 clauses out of 212028 with flag 12148636/6375825
535.36/538.17	c cleaning 107000 clauses out of 214027 with flag 12376127/6483824
546.54/549.23	c cleaning 108000 clauses out of 216028 with flag 12605596/6592825
557.91/560.56	c cleaning 109005 clauses out of 218027 with flag 12837695/6702824
569.45/572.24	c cleaning 110001 clauses out of 220024 with flag 13071530/6813826
581.84/584.56	c cleaning 110997 clauses out of 222022 with flag 13307612/6925825
593.48/596.18	c cleaning 112002 clauses out of 224024 with flag 13545876/7038824
606.02/608.99	c cleaning 112999 clauses out of 226023 with flag 13786389/7152825
616.68/619.54	c cleaning 114002 clauses out of 228024 with flag 14028893/7267825
627.51/630.39	c cleaning 115001 clauses out of 230021 with flag 14273511/7383824
639.40/642.47	c cleaning 115998 clauses out of 232020 with flag 14520087/7500824
652.99/655.91	c cleaning 116999 clauses out of 234022 with flag 14767956/7618824
667.67/671.34	c cleaning 118002 clauses out of 236024 with flag 15018251/7737825
680.75/684.29	c cleaning 118999 clauses out of 238021 with flag 15270580/7857824
695.90/700.02	c cleaning 120003 clauses out of 240023 with flag 15525001/7978825
711.29/715.33	c cleaning 120999 clauses out of 242019 with flag 15781975/8100824
725.76/730.56	c cleaning 122002 clauses out of 244020 with flag 16040867/8223824
739.89/744.53	c cleaning 122997 clauses out of 246018 with flag 16302945/8347824
757.12/762.58	c cleaning 124001 clauses out of 248022 with flag 16568148/8472825
772.99/778.21	c cleaning 125001 clauses out of 250020 with flag 16835871/8598824
790.17/796.19	c cleaning 126002 clauses out of 252020 with flag 17104277/8725825
807.42/813.18	c cleaning 126996 clauses out of 254017 with flag 17375234/8853824
823.85/830.33	c cleaning 127998 clauses out of 256022 with flag 17648315/8982825
840.45/846.88	c cleaning 128998 clauses out of 258023 with flag 17923888/9112824
856.92/864.17	c cleaning 130001 clauses out of 260026 with flag 18200716/9243825
875.01/882.62	c cleaning 130997 clauses out of 262025 with flag 18479701/9375825
892.71/900.21	c cleaning 132001 clauses out of 264027 with flag 18760391/9508824
909.43/917.87	c cleaning 133001 clauses out of 266027 with flag 19044053/9642825
926.28/934.43	c cleaning 133999 clauses out of 268025 with flag 19330649/9777824
943.33/958.16	c cleaning 135001 clauses out of 270026 with flag 19620781/9913824
961.82/976.56	c cleaning 136003 clauses out of 272025 with flag 19911607/10050824
962.11/976.89	c Got one! Elapsed wall clock time (in seconds):976.748
962.11/976.89	o 131
964.54/981.26	c cleaning 73624 clauses out of 147269 with flag 11257/10062071
965.65/982.31	c cleaning 39813 clauses out of 79646 with flag 23852/10068072
966.15/982.89	c cleaning 23405 clauses out of 46832 with flag 38506/10075071
966.65/983.31	c cleaning 15705 clauses out of 31427 with flag 55306/10083071
967.04/983.74	c cleaning 12350 clauses out of 24723 with flag 74210/10092072
967.46/984.19	c cleaning 11178 clauses out of 22372 with flag 95066/10102071
968.04/984.71	c cleaning 11087 clauses out of 22195 with flag 118991/10113072
968.52/985.24	c cleaning 11541 clauses out of 23107 with flag 144106/10125071
969.04/985.79	c cleaning 12271 clauses out of 24566 with flag 171257/10138071
969.63/986.39	c cleaning 13135 clauses out of 26296 with flag 200326/10152072
970.35/987.07	c cleaning 14070 clauses out of 28161 with flag 231794/10167072
971.12/987.83	c cleaning 15037 clauses out of 30092 with flag 265358/10183073
971.92/988.67	c cleaning 16016 clauses out of 32053 with flag 300690/10200071
972.83/989.55	c cleaning 17007 clauses out of 34038 with flag 338381/10218072
973.82/990.53	c cleaning 18006 clauses out of 36031 with flag 378171/10237072
974.94/991.60	c cleaning 19002 clauses out of 38025 with flag 420207/10257072
976.03/992.76	c cleaning 20003 clauses out of 40023 with flag 464239/10278072
977.27/993.98	c cleaning 20998 clauses out of 42020 with flag 510532/10300072
978.66/995.30	c cleaning 22002 clauses out of 44022 with flag 559512/10323072
979.96/996.62	c cleaning 23002 clauses out of 46019 with flag 610081/10347071
981.46/998.12	c cleaning 23998 clauses out of 48017 with flag 662487/10372071
982.85/999.54	c cleaning 24998 clauses out of 50019 with flag 717093/10398071
984.38/1001.07	c cleaning 26000 clauses out of 52022 with flag 774187/10425072
985.97/1002.67	c cleaning 27001 clauses out of 54021 with flag 833136/10453071
987.79/1004.43	c cleaning 28001 clauses out of 56021 with flag 893725/10482072
989.58/1006.25	c cleaning 29000 clauses out of 58020 with flag 956777/10512072
991.68/1008.35	c cleaning 30001 clauses out of 60020 with flag 1022051/10543072
994.01/1012.22	c cleaning 31000 clauses out of 62019 with flag 1089470/10575072
996.34/1014.58	c cleaning 31997 clauses out of 64018 with flag 1159211/10608071
998.74/1017.00	c cleaning 32997 clauses out of 66021 with flag 1230837/10642071
1001.24/1019.41	c cleaning 33999 clauses out of 68026 with flag 1304615/10677073
1003.64/1021.86	c cleaning 34998 clauses out of 70025 with flag 1380583/10713071
1006.17/1024.30	c cleaning 36006 clauses out of 72027 with flag 1458900/10750071
1008.57/1026.73	c cleaning 37000 clauses out of 74021 with flag 1539115/10788071
1011.27/1029.40	c cleaning 37998 clauses out of 76021 with flag 1621434/10827071
1014.17/1032.33	c cleaning 39000 clauses out of 78024 with flag 1705825/10867072
1017.27/1035.43	c cleaning 39998 clauses out of 80023 with flag 1792392/10908071
1020.17/1038.34	c cleaning 40998 clauses out of 82025 with flag 1880917/10950071
1023.91/1044.87	c cleaning 42000 clauses out of 84028 with flag 1971800/10993072
1027.54/1048.40	c cleaning 43006 clauses out of 86027 with flag 2064894/11037071
1030.84/1051.77	c cleaning 44000 clauses out of 88022 with flag 2159506/11082072
1034.09/1054.93	c cleaning 44996 clauses out of 90022 with flag 2256597/11128072
1037.64/1058.41	c cleaning 46002 clauses out of 92025 with flag 2355807/11175071
1040.94/1061.74	c cleaning 46998 clauses out of 94024 with flag 2456052/11223072
1044.73/1065.54	c cleaning 48002 clauses out of 96025 with flag 2559500/11272071
1048.45/1069.24	c cleaning 48999 clauses out of 98024 with flag 2665267/11322072
1053.71/1075.41	c cleaning 49999 clauses out of 100024 with flag 2773242/11373071
1057.81/1079.57	c cleaning 51003 clauses out of 102025 with flag 2883198/11425071
1061.81/1083.54	c cleaning 51999 clauses out of 104022 with flag 2994123/11478071
1065.64/1087.35	c cleaning 53001 clauses out of 106023 with flag 3107752/11532071
1069.73/1091.43	c cleaning 54001 clauses out of 108022 with flag 3223882/11587071
1073.87/1095.57	c cleaning 54999 clauses out of 110023 with flag 3341933/11643073
1078.55/1100.26	c cleaning 55999 clauses out of 112023 with flag 3462321/11700072
1083.52/1105.96	c cleaning 56997 clauses out of 114024 with flag 3584402/11758072
1088.54/1110.96	c cleaning 58001 clauses out of 116026 with flag 3708662/11817071
1094.48/1116.81	c cleaning 59000 clauses out of 118026 with flag 3834910/11877072
1098.96/1121.32	c cleaning 59999 clauses out of 120026 with flag 3963228/11938072
1103.63/1126.09	c cleaning 61000 clauses out of 122026 with flag 4093610/12000071
1108.73/1131.13	c cleaning 62000 clauses out of 124027 with flag 4224956/12063072
1114.65/1137.63	c cleaning 63000 clauses out of 126026 with flag 4359817/12127071
1120.59/1143.53	c cleaning 63998 clauses out of 128027 with flag 4496999/12192072
1125.94/1148.82	c cleaning 65006 clauses out of 130029 with flag 4635784/12258072
1131.48/1154.32	c cleaning 65998 clauses out of 132023 with flag 4776708/12325072
1137.70/1160.50	c cleaning 67004 clauses out of 134025 with flag 4919624/12393072
1143.51/1166.76	c cleaning 67996 clauses out of 136020 with flag 5064403/12462071
1149.82/1173.07	c cleaning 69002 clauses out of 138025 with flag 5211383/12532072
1156.54/1179.77	c cleaning 70002 clauses out of 140023 with flag 5360808/12603072
1163.26/1186.45	c cleaning 70999 clauses out of 142020 with flag 5512619/12675071
1169.30/1192.49	c cleaning 72002 clauses out of 144023 with flag 5666035/12748073
1176.34/1200.02	c cleaning 72999 clauses out of 146019 with flag 5821191/12822071
1183.27/1206.90	c cleaning 73998 clauses out of 148020 with flag 5978661/12897071
1189.80/1213.49	c cleaning 75002 clauses out of 150022 with flag 6137970/12973071
1196.36/1219.97	c cleaning 75999 clauses out of 152020 with flag 6299506/13050071
1202.46/1226.07	c cleaning 77000 clauses out of 154021 with flag 6463544/13128071
1209.89/1234.70	c cleaning 78001 clauses out of 156021 with flag 6630219/13207071
1216.14/1240.92	c cleaning 78998 clauses out of 158020 with flag 6798622/13287071
1223.46/1248.24	c cleaning 79999 clauses out of 160022 with flag 6968684/13368071
1231.46/1256.29	c cleaning 80997 clauses out of 162023 with flag 7141247/13450071
1240.28/1266.45	c cleaning 82003 clauses out of 164027 with flag 7315875/13533072
1247.91/1274.00	c cleaning 82998 clauses out of 166024 with flag 7492607/13617072
1256.05/1282.10	c cleaning 84000 clauses out of 168026 with flag 7671515/13702072
1263.45/1289.47	c cleaning 85003 clauses out of 170026 with flag 7852070/13788072
1272.01/1298.72	c cleaning 85996 clauses out of 172023 with flag 8034577/13875072
1280.19/1306.92	c cleaning 86999 clauses out of 174026 with flag 8220318/13963071
1288.42/1315.18	c cleaning 88000 clauses out of 176028 with flag 8408562/14052072
1298.70/1326.57	c cleaning 89000 clauses out of 178028 with flag 8598810/14142072
1307.49/1335.21	c cleaning 90002 clauses out of 180027 with flag 8791221/14233071
1317.38/1344.96	c cleaning 91002 clauses out of 182025 with flag 8985218/14325071
1328.92/1356.57	c cleaning 91998 clauses out of 184023 with flag 9182025/14418071
1339.32/1366.91	c cleaning 93000 clauses out of 186025 with flag 9380782/14512071
1348.94/1376.60	c cleaning 94001 clauses out of 188026 with flag 9582029/14607072
1360.18/1388.30	c cleaning 95004 clauses out of 190025 with flag 9785053/14703072
1370.02/1398.09	c cleaning 95998 clauses out of 192021 with flag 9989782/14800072
1380.67/1408.62	c cleaning 96995 clauses out of 194023 with flag 10197158/14898072
1391.14/1419.54	c cleaning 98005 clauses out of 196030 with flag 10406727/14997074
1401.48/1429.85	c cleaning 98995 clauses out of 198024 with flag 10617794/15097073
1408.97/1437.25	c Got one! Elapsed wall clock time (in seconds):1437.107
1408.97/1437.25	o 130
1411.17/1439.45	c cleaning 93554 clauses out of 187127 with flag 11043/15185171
1412.07/1440.39	c cleaning 49778 clauses out of 99574 with flag 23701/15191172
1412.66/1440.91	c cleaning 28388 clauses out of 56796 with flag 38313/15198172
1413.07/1441.34	c cleaning 18195 clauses out of 36408 with flag 54939/15206172
1413.47/1441.76	c cleaning 13599 clauses out of 27213 with flag 73719/15215172
1413.96/1442.23	c cleaning 11796 clauses out of 23613 with flag 94658/15225171
1414.46/1442.79	c cleaning 11400 clauses out of 22817 with flag 118510/15236171
1415.11/1443.34	c cleaning 11700 clauses out of 23417 with flag 143720/15248171
1415.71/1443.92	c cleaning 12349 clauses out of 24717 with flag 170952/15261171
1416.37/1444.58	c cleaning 13175 clauses out of 26368 with flag 200460/15275171
1417.07/1445.28	c cleaning 14086 clauses out of 28194 with flag 231927/15290172
1417.92/1446.11	c cleaning 15046 clauses out of 30108 with flag 265600/15306172
1418.82/1446.95	c cleaning 16020 clauses out of 32062 with flag 301276/15323172
1419.70/1447.89	c cleaning 17011 clauses out of 34041 with flag 339204/15341171
1420.75/1448.86	c cleaning 18001 clauses out of 36030 with flag 379089/15360171
1421.75/1449.85	c cleaning 19006 clauses out of 38030 with flag 420702/15380172
1422.85/1450.92	c cleaning 20000 clauses out of 40024 with flag 464554/15401172
1424.15/1452.22	c cleaning 20999 clauses out of 42024 with flag 510736/15423172
1425.35/1453.47	c cleaning 21998 clauses out of 44024 with flag 559092/15446171
1426.66/1454.79	c cleaning 23003 clauses out of 46027 with flag 609684/15470172
1428.15/1456.28	c cleaning 23999 clauses out of 48025 with flag 662353/15495173
1429.65/1457.71	c cleaning 25000 clauses out of 50024 with flag 717137/15521171
1431.20/1459.24	c cleaning 26000 clauses out of 52025 with flag 774186/15548172
1432.79/1460.88	c cleaning 27001 clauses out of 54025 with flag 833273/15576172
1434.74/1462.71	c cleaning 28000 clauses out of 56024 with flag 894517/15605172
1436.44/1464.41	c cleaning 29001 clauses out of 58023 with flag 957841/15635171
1438.56/1466.51	c cleaning 29996 clauses out of 60022 with flag 1023698/15666171
1440.45/1468.49	c cleaning 30999 clauses out of 62027 with flag 1091313/15698172
1442.77/1470.77	c cleaning 32001 clauses out of 64027 with flag 1161042/15731171
1444.97/1472.99	c cleaning 32999 clauses out of 66027 with flag 1232716/15765172
1447.57/1475.50	c cleaning 33998 clauses out of 68027 with flag 1306541/15800171
1450.11/1478.03	c cleaning 35003 clauses out of 70029 with flag 1382344/15836171
1452.71/1481.30	c cleaning 36003 clauses out of 72027 with flag 1460266/15873172
1455.47/1484.01	c cleaning 37000 clauses out of 74024 with flag 1540811/15911172
1458.09/1486.65	c cleaning 38003 clauses out of 76023 with flag 1623326/15950171
1460.60/1489.17	c cleaning 38997 clauses out of 78020 with flag 1707928/15990171
1463.66/1492.13	c cleaning 39998 clauses out of 80023 with flag 1794437/16031171
1466.78/1495.23	c cleaning 40999 clauses out of 82025 with flag 1883280/16073171
1469.77/1498.23	c cleaning 42002 clauses out of 84026 with flag 1974248/16116171
1472.80/1501.26	c cleaning 43004 clauses out of 86024 with flag 2067033/16160171
1475.96/1504.31	c cleaning 43997 clauses out of 88021 with flag 2162028/16205172
1479.26/1507.62	c cleaning 45002 clauses out of 90023 with flag 2259162/16251171
1482.85/1511.88	c cleaning 46002 clauses out of 92023 with flag 2358069/16298173
1486.56/1515.58	c cleaning 47002 clauses out of 94019 with flag 2459667/16346171
1490.17/1519.14	c cleaning 47994 clauses out of 96017 with flag 2562984/16395171
1493.84/1522.86	c cleaning 48998 clauses out of 98024 with flag 2668387/16445172
1497.64/1526.60	c cleaning 50001 clauses out of 100026 with flag 2775922/16496172
1501.46/1530.40	c cleaning 51003 clauses out of 102025 with flag 2885889/16548172
1505.46/1534.42	c cleaning 51997 clauses out of 104021 with flag 2997588/16601171
1509.19/1538.19	c cleaning 53003 clauses out of 106024 with flag 3111688/16655171
1513.71/1543.47	c cleaning 53996 clauses out of 108021 with flag 3227236/16710171
1517.86/1547.55	c cleaning 55002 clauses out of 110026 with flag 3344735/16766172
1522.21/1551.80	c cleaning 55998 clauses out of 112024 with flag 3464428/16823172
1526.67/1556.23	c cleaning 56996 clauses out of 114026 with flag 3586845/16881172
1530.99/1560.56	c cleaning 58004 clauses out of 116030 with flag 3711334/16940172
1535.09/1564.62	c cleaning 58999 clauses out of 118025 with flag 3837397/17000171
1539.41/1568.97	c cleaning 59999 clauses out of 120026 with flag 3965806/17061171
1544.62/1574.82	c cleaning 61000 clauses out of 122028 with flag 4096235/17123172
1549.56/1579.73	c cleaning 62000 clauses out of 124027 with flag 4228764/17186171
1554.40/1584.59	c cleaning 63001 clauses out of 126027 with flag 4364110/17250171
1559.32/1589.42	c cleaning 64001 clauses out of 128027 with flag 4500633/17315172
1564.56/1594.66	c cleaning 65007 clauses out of 130026 with flag 4639503/17381172
1570.46/1600.53	c cleaning 66000 clauses out of 132019 with flag 4779874/17448172
1576.82/1607.52	c cleaning 67001 clauses out of 134019 with flag 4922357/17516172
1582.55/1613.29	c cleaning 68002 clauses out of 136018 with flag 5067440/17585172
1589.08/1619.73	c cleaning 68997 clauses out of 138015 with flag 5214296/17655171
1595.21/1625.84	c cleaning 70000 clauses out of 140019 with flag 5363132/17726172
1601.74/1632.33	c cleaning 71001 clauses out of 142019 with flag 5514967/17798172
1608.33/1639.38	c cleaning 71998 clauses out of 144019 with flag 5668538/17871173
1614.83/1645.70	c cleaning 73000 clauses out of 146020 with flag 5824004/17945172
1620.99/1651.88	c cleaning 73995 clauses out of 148019 with flag 5981416/18020171
1627.65/1658.48	c cleaning 75000 clauses out of 150025 with flag 6140625/18096172
1634.19/1664.92	c cleaning 75998 clauses out of 152025 with flag 6302255/18173172
1641.42/1672.63	c cleaning 77004 clauses out of 154027 with flag 6466316/18251172
1648.87/1680.06	c cleaning 78004 clauses out of 156023 with flag 6632717/18330172
1656.44/1687.53	c cleaning 78997 clauses out of 158019 with flag 6801565/18410172
1664.29/1695.35	c cleaning 79998 clauses out of 160022 with flag 6972454/18491172
1671.43/1703.00	c cleaning 80999 clauses out of 162024 with flag 7145207/18573172
1679.42/1710.97	c cleaning 82002 clauses out of 164024 with flag 7320662/18656171
1686.83/1718.31	c cleaning 83001 clauses out of 166022 with flag 7497811/18740171
1695.21/1726.63	c cleaning 83996 clauses out of 168022 with flag 7677277/18825172
1703.39/1735.26	c cleaning 85002 clauses out of 170026 with flag 7859307/18911172
1711.78/1743.67	c cleaning 86003 clauses out of 172023 with flag 8043600/18998171
1720.53/1752.32	c cleaning 86997 clauses out of 174020 with flag 8229490/19086171
1729.23/1761.46	c cleaning 87999 clauses out of 176024 with flag 8418701/19175172
1737.65/1769.82	c cleaning 89001 clauses out of 178024 with flag 8609811/19265171
1746.29/1778.48	c cleaning 90002 clauses out of 180023 with flag 8802622/19356171
1755.82/1787.99	c cleaning 90994 clauses out of 182022 with flag 8997226/19448172
1765.83/1798.34	c cleaning 92004 clauses out of 184029 with flag 9193883/19541173
1776.02/1808.42	c cleaning 92998 clauses out of 186023 with flag 9392575/19635171
1785.56/1817.91	c cleaning 94000 clauses out of 188026 with flag 9593652/19730172
1795.57/1828.38	c cleaning 95003 clauses out of 190026 with flag 9796472/19826172
1806.03/1838.79	c cleaning 96001 clauses out of 192022 with flag 10001723/19923171
1816.66/1849.34	c cleaning 96997 clauses out of 194022 with flag 10209420/20021172
1826.95/1860.11	c cleaning 98001 clauses out of 196025 with flag 10419882/20120172
1837.47/1870.55	c cleaning 99001 clauses out of 198023 with flag 10632305/20220171
1847.90/1880.98	c cleaning 100001 clauses out of 200022 with flag 10847139/20321171
1860.94/1894.58	c cleaning 101006 clauses out of 202024 with flag 11063294/20423174
1872.70/1906.12	c cleaning 101999 clauses out of 204016 with flag 11280709/20526172
1883.89/1917.55	c cleaning 102995 clauses out of 206017 with flag 11500312/20630172
1896.68/1930.23	c cleaning 104001 clauses out of 208021 with flag 11721931/20735171
1908.01/1941.52	c cleaning 104999 clauses out of 210022 with flag 11946292/20841173
1921.36/1955.25	c cleaning 106001 clauses out of 212021 with flag 12173684/20948171
1934.90/1968.73	c cleaning 107001 clauses out of 214020 with flag 12402870/21056171
1948.01/1982.31	c cleaning 107998 clauses out of 216020 with flag 12633757/21165172
1960.26/1994.58	c cleaning 108999 clauses out of 218021 with flag 12867018/21275171
1972.76/2006.92	c cleaning 110003 clauses out of 220022 with flag 13101959/21386171
1986.52/2021.63	c cleaning 111000 clauses out of 222019 with flag 13339127/21498171
1999.48/2034.56	c cleaning 112000 clauses out of 224019 with flag 13579409/21611171
2014.50/2049.81	c cleaning 113000 clauses out of 226020 with flag 13821201/21725172
2028.33/2063.47	c cleaning 114001 clauses out of 228019 with flag 14065604/21840171
2043.29/2078.57	c cleaning 115000 clauses out of 230019 with flag 14311447/21956172
2057.71/2092.97	c cleaning 115996 clauses out of 232018 with flag 14559799/22073171
2072.77/2108.22	c cleaning 116999 clauses out of 234023 with flag 14809989/22191172
2087.22/2122.66	c cleaning 117999 clauses out of 236024 with flag 15062699/22310172
2102.76/2138.35	c cleaning 119000 clauses out of 238024 with flag 15318231/22430171
2116.25/2151.71	c cleaning 119999 clauses out of 240025 with flag 15575088/22551172
2131.98/2168.08	c cleaning 121002 clauses out of 242025 with flag 15834121/22673171
2146.61/2182.55	c cleaning 122001 clauses out of 244024 with flag 16095468/22796172
2161.88/2198.03	c cleaning 122997 clauses out of 246023 with flag 16358802/22920172
2176.56/2212.68	c cleaning 124000 clauses out of 248025 with flag 16624269/23045171
2191.67/2228.42	c cleaning 125003 clauses out of 250025 with flag 16891992/23171171
2208.82/2245.59	c cleaning 126000 clauses out of 252022 with flag 17161459/23298171
2227.54/2264.88	c cleaning 126995 clauses out of 254022 with flag 17432779/23426171
2243.46/2280.66	c cleaning 128001 clauses out of 256028 with flag 17705801/23555172
2260.17/2297.74	c cleaning 129001 clauses out of 258026 with flag 17981077/23685171
2277.52/2314.93	c cleaning 130000 clauses out of 260026 with flag 18258206/23816172
2295.97/2333.61	c cleaning 131003 clauses out of 262027 with flag 18537491/23948173
2314.47/2352.08	c cleaning 131998 clauses out of 264022 with flag 18818307/24081171
2331.47/2369.62	c cleaning 133004 clauses out of 266025 with flag 19101866/24215172
2349.67/2388.18	c cleaning 134000 clauses out of 268020 with flag 19387136/24350171
2366.41/2404.83	c cleaning 135001 clauses out of 270020 with flag 19674814/24486171
2383.56/2422.29	c cleaning 135996 clauses out of 272020 with flag 19964633/24623172
2402.68/2441.31	c cleaning 136999 clauses out of 274023 with flag 20256805/24761171
2420.29/2459.21	c cleaning 138004 clauses out of 276025 with flag 20551036/24900172
2438.14/2476.96	c cleaning 138995 clauses out of 278020 with flag 20847208/25040171
2456.30/2495.27	c cleaning 140002 clauses out of 280025 with flag 21145843/25181171
2475.16/2514.99	c cleaning 141000 clauses out of 282024 with flag 21446109/25323172
2494.15/2533.89	c cleaning 142000 clauses out of 284023 with flag 21747952/25466171
2513.12/2552.85	c cleaning 143001 clauses out of 286024 with flag 22052322/25610172
2532.82/2572.64	c cleaning 143999 clauses out of 288022 with flag 22359004/25755171
2551.18/2590.78	c cleaning 144997 clauses out of 290023 with flag 22668296/25901171
2569.29/2608.96	c cleaning 146000 clauses out of 292027 with flag 22979107/26048172
2588.37/2627.90	c cleaning 146998 clauses out of 294027 with flag 23291901/26196172
2607.63/2647.26	c cleaning 148003 clauses out of 296029 with flag 23606806/26345172
2626.62/2666.35	c cleaning 149002 clauses out of 298026 with flag 23924136/26495172
2646.43/2685.92	c cleaning 150002 clauses out of 300023 with flag 24243680/26646171
2666.66/2706.21	c cleaning 151001 clauses out of 302022 with flag 24565147/26798172
2687.64/2727.27	c cleaning 151998 clauses out of 304020 with flag 24888075/26951171
2708.05/2747.50	c cleaning 153001 clauses out of 306023 with flag 25213397/27105172
2728.75/2768.31	c cleaning 153999 clauses out of 308022 with flag 25541086/27260172
2749.55/2789.17	c cleaning 154999 clauses out of 310022 with flag 25870122/27416171
2769.71/2809.16	c cleaning 156000 clauses out of 312023 with flag 26201125/27573171
2790.85/2830.30	c cleaning 157005 clauses out of 314023 with flag 26534596/27731171
2811.76/2851.37	c cleaning 157995 clauses out of 316018 with flag 26870035/27890171
2833.36/2872.85	c cleaning 158997 clauses out of 318023 with flag 27207873/28050171
2856.82/2895.79	c cleaning 159997 clauses out of 320026 with flag 27547852/28211171
2878.01/2916.83	c cleaning 161001 clauses out of 322030 with flag 27889986/28373172
2905.02/2943.01	c cleaning 162001 clauses out of 324028 with flag 28234069/28536171
2930.08/2967.30	c cleaning 162996 clauses out of 326027 with flag 28580036/28700171
2955.86/2992.39	c cleaning 164006 clauses out of 328032 with flag 28928359/28865172
2982.85/3017.19	c cleaning 165000 clauses out of 330025 with flag 29279100/29031171
3010.71/3042.97	c cleaning 166000 clauses out of 332025 with flag 29631830/29198171
3038.99/3068.93	c cleaning 166999 clauses out of 334025 with flag 29986306/29366171
3066.63/3095.20	c cleaning 167996 clauses out of 336026 with flag 30342724/29535171
3094.94/3121.10	c cleaning 169004 clauses out of 338031 with flag 30700201/29705172
3122.25/3147.30	c cleaning 170000 clauses out of 340026 with flag 31060799/29876171
3149.75/3173.50	c cleaning 171003 clauses out of 342026 with flag 31423942/30048171
3182.21/3204.01	c cleaning 172000 clauses out of 344023 with flag 31787318/30221171
3214.40/3235.01	c cleaning 173002 clauses out of 346024 with flag 32154396/30395172
3246.44/3266.41	c cleaning 173999 clauses out of 348022 with flag 32524001/30570172
3274.20/3294.27	c cleaning 175000 clauses out of 350023 with flag 32895222/30746172
3300.69/3320.68	c cleaning 176000 clauses out of 352023 with flag 33268145/30923172
3328.48/3348.52	c cleaning 176998 clauses out of 354023 with flag 33643142/31101172
3360.98/3380.38	c cleaning 178001 clauses out of 356024 with flag 34019894/31280171
3391.97/3411.66	c cleaning 178998 clauses out of 358024 with flag 34399474/31460172
3422.14/3454.78	c cleaning 179998 clauses out of 360025 with flag 34780131/31641171
3437.01/3469.46	c Got one! Elapsed wall clock time (in seconds):3469.319
3437.01/3469.46	o 129
3444.34/3477.92	c cleaning 166462 clauses out of 332943 with flag 10876/31794087
3447.34/3480.92	c cleaning 86230 clauses out of 172481 with flag 23483/31800087
3448.34/3481.93	c cleaning 46618 clauses out of 93252 with flag 38139/31807088
3448.93/3482.54	c cleaning 27308 clauses out of 54633 with flag 54834/31815087
3449.46/3483.04	c cleaning 18152 clauses out of 36326 with flag 74346/31824088
3449.84/3483.48	c cleaning 14080 clauses out of 28173 with flag 95292/31834087
3450.34/3483.97	c cleaning 12537 clauses out of 25093 with flag 118476/31845087
3450.94/3484.51	c cleaning 12266 clauses out of 24556 with flag 143834/31857087
3451.56/3485.12	c cleaning 12635 clauses out of 25291 with flag 171097/31870088
3452.14/3485.76	c cleaning 13318 clauses out of 26655 with flag 200461/31884087
3452.94/3486.51	c cleaning 14156 clauses out of 28337 with flag 231982/31899087
3453.73/3487.35	c cleaning 15082 clauses out of 30183 with flag 265518/31915089
3454.63/3488.23	c cleaning 16042 clauses out of 32099 with flag 301330/31932087
3455.45/3489.08	c cleaning 17016 clauses out of 34057 with flag 339196/31950087
3456.35/3489.97	c cleaning 18010 clauses out of 36041 with flag 379131/31969087
3457.34/3490.97	c cleaning 19002 clauses out of 38031 with flag 421443/31989087
3458.45/3492.09	c cleaning 20005 clauses out of 40029 with flag 465563/32010087
3459.65/3493.28	c cleaning 20999 clauses out of 42024 with flag 512128/32032087
3460.84/3494.41	c cleaning 22004 clauses out of 44025 with flag 560741/32055087
3462.06/3495.68	c cleaning 22998 clauses out of 46023 with flag 611582/32079089
3463.47/3497.05	c cleaning 24002 clauses out of 48023 with flag 663942/32104087
3464.97/3498.54	c cleaning 25000 clauses out of 50022 with flag 719036/32130088
3466.69/3500.20	c cleaning 26000 clauses out of 52021 with flag 776163/32157087
3468.22/3503.18	c cleaning 27002 clauses out of 54023 with flag 835221/32185089
3470.82/3505.70	c cleaning 28000 clauses out of 56021 with flag 896456/32214089
3472.52/3507.49	c cleaning 28996 clauses out of 58020 with flag 959576/32244088
3474.34/3509.26	c cleaning 29996 clauses out of 60023 with flag 1025155/32275087
3476.43/3511.31	c cleaning 31003 clauses out of 62029 with flag 1092558/32307089
3478.43/3513.39	c cleaning 32001 clauses out of 64024 with flag 1162227/32340087
3480.43/3515.37	c cleaning 33001 clauses out of 66024 with flag 1233753/32374088
3482.66/3517.57	c cleaning 34003 clauses out of 68022 with flag 1307671/32409087
3485.09/3519.92	c cleaning 34999 clauses out of 70020 with flag 1383895/32445088
3487.20/3522.06	c cleaning 35998 clauses out of 72020 with flag 1461977/32482087
3489.60/3524.49	c cleaning 37001 clauses out of 74022 with flag 1541843/32520087
3492.24/3527.04	c cleaning 38001 clauses out of 76022 with flag 1623914/32559088
3494.76/3529.55	c cleaning 38996 clauses out of 78020 with flag 1708152/32599087
3497.50/3532.24	c cleaning 39998 clauses out of 80024 with flag 1794597/32640087
3501.04/3537.10	c cleaning 41005 clauses out of 82026 with flag 1883006/32682087
3504.02/3540.04	c cleaning 41997 clauses out of 84022 with flag 1973333/32725088
3507.79/3543.89	c cleaning 42998 clauses out of 86024 with flag 2066207/32769087
3511.21/3547.28	c cleaning 44004 clauses out of 88026 with flag 2161590/32814087
3514.90/3550.91	c cleaning 45001 clauses out of 90022 with flag 2258777/32860087
3518.42/3554.49	c cleaning 46000 clauses out of 92022 with flag 2357932/32907088
3522.25/3558.23	c cleaning 46995 clauses out of 94022 with flag 2459334/32955088
3525.77/3561.78	c cleaning 48003 clauses out of 96027 with flag 2562821/33004088
3529.16/3565.45	c cleaning 49002 clauses out of 98024 with flag 2667950/33054088
3532.58/3568.89	c cleaning 49996 clauses out of 100022 with flag 2774891/33105088
3536.41/3572.69	c cleaning 51001 clauses out of 102026 with flag 2883772/33157088
3540.05/3576.23	c cleaning 52004 clauses out of 104025 with flag 2995265/33210088
3544.01/3580.12	c cleaning 52995 clauses out of 106020 with flag 3109211/33264087
3547.78/3583.93	c cleaning 54000 clauses out of 108025 with flag 3225142/33319087
3552.18/3588.31	c cleaning 54999 clauses out of 110025 with flag 3342933/33375087
3556.02/3592.17	c cleaning 56001 clauses out of 112027 with flag 3461806/33432088
3560.49/3596.92	c cleaning 57000 clauses out of 114026 with flag 3583590/33490088
3565.49/3601.91	c cleaning 58003 clauses out of 116025 with flag 3707853/33549087
3569.92/3606.36	c cleaning 58998 clauses out of 118022 with flag 3834672/33609087
3574.85/3611.25	c cleaning 59997 clauses out of 120024 with flag 3963966/33670087
3579.58/3615.95	c cleaning 60999 clauses out of 122027 with flag 4094614/33732087
3584.86/3621.26	c cleaning 62000 clauses out of 124030 with flag 4227724/33795089
3589.69/3626.01	c cleaning 63002 clauses out of 126028 with flag 4362753/33859087
3595.03/3631.88	c cleaning 63995 clauses out of 128027 with flag 4500042/33924088
3600.04/3636.83	c starts		: 14
3600.04/3636.84	c conflicts		: 33989541
3600.04/3636.84	c decisions		: 44678080
3600.04/3636.84	c propagations		: 300125922
3600.04/3636.84	c inspects		: 17642916494
3600.04/3636.84	c shortcuts		: 0
3600.04/3636.84	c learnt literals	: 0
3600.04/3636.84	c learnt binary clauses	: 0
3600.04/3636.84	c learnt ternary clauses	: 0
3600.04/3636.84	c learnt constraints	: 33989541
3600.04/3636.84	c ignored constraints	: 0
3600.04/3636.84	c root simplifications	: 0
3600.04/3636.84	c removed literals (reason simplification)	: 2566636
3600.04/3636.84	c reason swapping (by a shorter reason)	: 0
3600.04/3636.84	c Calls to reduceDB	: 513
3600.04/3636.84	c Number of update (reduction) of LBD	: 1150590
3600.04/3636.84	c Imported unit clauses	: 0
3600.04/3636.84	c No decision after first conflict	: false
3600.04/3636.84	c number of reductions to clauses (during analyze)	: 0
3600.04/3636.84	c number of learned constraints concerned by reduction	: 0
3600.04/3636.84	c number of learning phase by resolution	: 0
3600.04/3636.84	c number of learning phase by cutting planes	: 0
3600.04/3636.84	c number of rounding to 1 operations	: 0
3600.04/3636.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3636.84	c number of reductions of the coefficients by power 2 	: 0
3600.04/3636.84	c number of right shift for reduction by power 2 	: 0
3600.04/3636.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3636.84	c number of ending skipping 	: 0
3600.04/3636.84	c number of internal skipping 	: 0
3600.04/3636.84	c number of derivation steps 	: 0
3600.04/3636.84	c number of skipped derivation steps 	: 0
3600.04/3636.84	c number of remaining unassigned 	: 0
3600.04/3636.84	c number of remaining assigned 	: 0
3600.04/3636.84	c number of falsified literals weakened from reason	: 0
3600.04/3636.84	c number of falsified literals weakened from conflict	: 0
3600.04/3636.84	c time for arithmetic operations	: 0
3600.04/3636.84	c minimum degree of deleted constraints	: null
3600.04/3636.84	c maximum degree of deleted constraints	: null
3600.04/3636.84	c number of deleted constraints	: 0
3600.04/3636.85	c speed (assignments/second)	: 82528.83296270519
3600.04/3636.85	c non guided choices	: 0
3600.26/3636.96	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 129485
3600.26/3636.96	s SATISFIABLE
3600.26/3636.96	c Found 13 solution(s)
3600.26/3636.98	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 
3600.26/3636.98	c objective function=129
3600.26/3636.98	c Total wall clock time (in seconds): 3636.839

Verifier Data 

OK	129

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: 64096 MiB (38706 MiB free)
  memory of node 1: 64473 MiB (61419 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100159 s]*
/proc/loadavg: 4.17 2.35 1.02 8/331 170478
/proc/meminfo: memFree=102427584/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=18975048 memory=57236 CPUtime=0.14 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 6776 0 0 0 12 2 0 0 20 0 18 0 18044465 19430449152 14309 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4743762 14309 5680 1 0 551044 0
[pid=170460/tid=170462] ppid=170457 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 1077936192 5674 0 0 0 6 1 0 0 20 0 18 0 18044466 19430449152 14309 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18044468 19430449152 14309 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=18975048 memory=14127853412501402 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18044469 19430449152 14309 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57236 KiB

[startup+0.208725 s]*
/proc/loadavg: 4.17 2.35 1.02 10/331 170478
/proc/meminfo: memFree=102344484/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=18975048 memory=66688 CPUtime=0.34 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 7499 0 0 0 32 2 0 0 20 0 18 0 18044465 19430449152 16672 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4743762 16672 5797 1 0 551633 0
[pid=170460/tid=170462] ppid=170457 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 1077936192 6007 0 0 0 15 1 0 0 20 0 18 0 18044466 19430449152 16672 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=18975048 memory=1264155 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18044468 19430449152 16672 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=18975048 memory=16102571999761082 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18044469 19430449152 16672 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66688 KiB

[startup+0.305981 s]*
/proc/loadavg: 4.17 2.35 1.02 7/332 170479
/proc/meminfo: memFree=102308280/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19041612 memory=73736 CPUtime=0.53 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 7824 0 0 0 50 3 0 0 20 0 19 0 18044465 19498610688 18434 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4760403 18434 5835 1 0 552125 0
[pid=170460/tid=170462] ppid=170457 vsize=19041612 memory=-8671793698278515388 CPUtime=0.25 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 6143 0 0 0 24 1 0 0 20 0 19 0 18044466 19498610688 18434 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18044468 19498610688 18434 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18044469 19498610688 18434 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18044488 19498610688 18434 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73736 KiB

[startup+0.700981 s]
/proc/loadavg: 4.17 2.35 1.02 6/332 170479
/proc/meminfo: memFree=102256980/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=166604 CPUtime=1.28 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 10607 0 0 0 123 5 0 0 20 0 20 0 18044465 19566772224 41651 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 41651 5842 1 0 553779 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=12668 CPUtime=0.6 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 6197 0 0 0 57 3 0 0 20 0 20 0 18044466 19566772224 41651 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 41651 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 41651 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=1764 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 41651 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 166604 KiB

[startup+1.50097 s]
/proc/loadavg: 4.17 2.35 1.02 6/333 170480
/proc/meminfo: memFree=102188976/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=182272 CPUtime=2.88 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 20751 0 0 0 280 8 0 0 20 0 20 0 18044465 19566772224 45568 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 45568 5874 1 0 557018 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=12668 CPUtime=1.37 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 7059 0 0 0 132 5 0 0 20 0 20 0 18044466 19566772224 45568 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 45568 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 45568 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=65 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 45568 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182272 KiB

[startup+3.10997 s]
/proc/loadavg: 4.32 2.41 1.05 5/333 170480
/proc/meminfo: memFree=101857372/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=526524 CPUtime=5.77 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 23684 0 0 0 558 19 0 0 20 0 20 0 18044465 19566772224 131631 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 131631 5874 1 0 557313 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=0 CPUtime=2.88 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 7955 0 0 0 275 13 0 0 20 0 20 0 18044466 19566772224 131631 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 131631 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=202008 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 131631 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 131631 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 526524 KiB

[startup+6.30042 s]
/proc/loadavg: 4.32 2.41 1.05 6/333 170482
/proc/meminfo: memFree=100969808/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=1327316 CPUtime=9.21 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 24417 0 0 0 880 41 0 0 20 0 20 0 18044465 19566772224 331829 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 331829 5874 1 0 557313 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=12668 CPUtime=5.97 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 8594 0 0 0 563 34 0 0 20 0 20 0 18044466 19566772224 331829 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 331829 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=5795967134142517591 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 331829 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 331829 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327316 KiB

[startup+12.7004 s]
/proc/loadavg: 4.42 2.50 1.09 6/333 170483
/proc/meminfo: memFree=100275184/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=1333508 CPUtime=16.53 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 26241 0 0 0 1599 54 0 0 20 0 20 0 18044465 19566772224 333377 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 333377 5874 1 0 557313 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=0 CPUtime=12.25 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 9251 0 0 0 1179 46 0 0 20 0 20 0 18044466 19566772224 333377 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=1333508 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 333377 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 333377 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 333377 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 16.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333508 KiB

[startup+25.5005 s]
/proc/loadavg: 4.36 2.55 1.12 5/333 170486
/proc/meminfo: memFree=98630160/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=2255408 CPUtime=29.45 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 32920 0 0 0 2847 98 0 0 20 0 20 0 18044465 19566772224 563852 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 563852 5874 1 0 791253 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=1333508 CPUtime=24.67 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 11113 0 0 0 2377 90 0 0 20 0 20 0 18044466 19566772224 563852 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 563852 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=1752356 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 563852 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 563852 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 29.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2255408 KiB

[startup+51.1144 s]
/proc/loadavg: 4.46 2.71 1.21 7/333 170490
/proc/meminfo: memFree=97170480/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=2783140 CPUtime=54.09 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 40452 0 0 0 5256 153 0 0 20 0 20 0 18044465 19566772224 695785 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 695785 5890 1 0 924956 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=2783128 CPUtime=48.16 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 13586 0 0 0 4674 142 0 0 20 0 20 0 18044466 19566772224 695785 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 126 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0

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

/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 152818 0 0 0 311515 3116 0 0 20 0 20 0 18044466 19566772224 571290 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6932 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=-7664984345381855352 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 571290 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=60516 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 3351 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 571290 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=2285160 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 571290 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 3262.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2285160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.30 4.35 5/326 171912
/proc/meminfo: memFree=73845520/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=2720364 CPUtime=3322.3 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 371874 0 0 0 328831 3399 0 0 20 0 20 0 18044465 19566772224 680091 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 680091 5890 1 0 696864 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=2720364 CPUtime=3204.67 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 153904 0 0 0 317303 3164 0 0 20 0 20 0 18044466 19566772224 680091 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6983 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=2720364 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 680091 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=60516 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 3351 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 680091 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=2720364 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 680091 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 3322.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2720364 KiB

[startup+3402.3 s]
/proc/loadavg: 4.77 4.40 4.38 6/323 172443
/proc/meminfo: memFree=80287840/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=2732940 CPUtime=3382.68 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 382388 0 0 0 334828 3440 0 0 20 0 20 0 18044465 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 683235 5905 1 0 696864 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=1446436 CPUtime=3262.58 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 156275 0 0 0 323057 3201 0 0 20 0 20 0 18044466 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 7024 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=1446436 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=2732940 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 3442 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=2732940 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 3382.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2732940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.54 4.42 4.39 5/324 172455
/proc/meminfo: memFree=78479516/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=2732940 CPUtime=3429.78 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 385246 0 0 0 339505 3473 0 0 20 0 20 0 18044465 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 683235 5905 1 0 696864 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=1446436 CPUtime=3308.54 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 157135 0 0 0 327623 3231 0 0 20 0 20 0 18044466 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8346 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=1446436 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=2732940 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 3477 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=2732940 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 683235 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 3429.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2732940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.38 4.40 4.38 5/324 172465
/proc/meminfo: memFree=77107716/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=3258256 CPUtime=3487.48 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 387207 0 0 0 345194 3554 0 0 20 0 20 0 18044465 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 814564 5905 1 0 830496 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=2732940 CPUtime=3365.06 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 158528 0 0 0 333197 3309 0 0 20 0 20 0 18044466 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8601 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=2732940 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=2732940 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 3503 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=60516 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 3487.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3258256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.36 4.36 6/328 172647
/proc/meminfo: memFree=76202440/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=3258256 CPUtime=3546.19 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 390055 0 0 0 350983 3636 0 0 20 0 20 0 18044465 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 814564 5905 1 0 830496 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=60516 CPUtime=3422.13 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 159650 0 0 0 338826 3387 0 0 20 0 20 0 18044466 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8761 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 3503 0 0 0 0 0 0 0 20 0 20 0 18044469 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=60516 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 814564 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 3546.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3258256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3636.8 s]
/proc/loadavg: 4.15 4.31 4.35 5/331 172661
/proc/meminfo: memFree=74931024/131655788 swapFree=131067352/131071996
[pid=170460] ppid=170457 vsize=19108176 memory=3775360 CPUtime=3600.04 cores=5,7
/proc/170460/stat : 170460 (java) S 170457 170460 169659 0 -1 1077936128 391662 0 0 0 356294 3710 0 0 20 0 20 0 18044465 19566772224 943840 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
/proc/170460/statm: 4777044 943840 5905 1 0 962040 0
[pid=170460/tid=170462] ppid=170457 vsize=19108176 memory=2700 CPUtime=3474.5 cores=5,7
/proc/170460/task/170462/stat : 170462 (java) R 170457 170460 169659 0 -1 4194368 160725 0 0 0 343992 3458 0 0 20 0 20 0 18044466 19566772224 943840 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8844 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170471] ppid=170457 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/170460/task/170471/stat : 170471 (Finalizer) S 170457 170460 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18044468 19566772224 943840 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170478] ppid=170457 vsize=19108176 memory=5516 CPUtime=0.01 cores=5,7
/proc/170460/task/170478/stat : 170478 (Common-Cleaner) S 170457 170460 169659 0 -1 1077936192 3590 0 0 0 1 0 0 0 20 0 20 0 18044469 19566772224 943840 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
[pid=170460/tid=170479] ppid=170457 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/170460/task/170479/stat : 170479 (Timer-0) S 170457 170460 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18044488 19566772224 943840 134679101440 94830490599424 94830490603120 140731468377440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94830490610936 94830490611728 94830500118528 140731468379051 140731468379233 140731468379233 140731468386248 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3775360 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3563.3 s, system=37.1611 s

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

[startup+3637.6 s]
/proc/loadavg: 4.15 4.31 4.35 3/313 172664
/proc/meminfo: memFree=78582116/131655788 swapFree=131067352/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3638.4 s]
/proc/loadavg: 4.13 4.30 4.35 2/313 172664
/proc/meminfo: memFree=78680688/131655788 swapFree=131067352/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3638.8 s]
/proc/loadavg: 4.13 4.30 4.35 2/313 172664
/proc/meminfo: memFree=78680688/131655788 swapFree=131067352/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): 3640.17
CPU time (s): 3600.46
CPU user time (s): 3563.3
CPU system time (s): 37.1611
CPU usage (%): 98.9092
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4574912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.3
system time used= 37.1611
maximum resident set size= 4574912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 70344368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145184
involuntary context switches= 12306


# summary of solver processes directly reported to runsolver:
#   pid: 170460
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3563.3
#   total CPU system time (s): 37.1611

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0971 second user time and 41.7936 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-24 13:29:06
IDJOB=4440484
IDBENCH=155338
IDSOLVER=3079
FILE ID=nodeC009/4440484-1721820546
RUNJOBID= nodeC009-1721820325-169709
SLURM_JOB_ID= 7891460
Free space on /tmp= 723504 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.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-4440484-1721820546/watcher-4440484-1721820546 -o /tmp/evaluation-result-4440484-1721820546/solver-4440484-1721820546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721820325-169709 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440484-1721820546 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440484-1721820546.opb

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

MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20
RANDOM SEED=661698601

nodeC009.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	: 0xb00001f
cpu MHz		: 3670.215
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.656
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.405
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.269
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3658.244
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.252
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.397
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3550.868
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        102544936 kB
MemAvailable:   108402396 kB
Buffers:          253456 kB
Cached:          6339648 kB
SwapCached:         2844 kB
Active:          2080088 kB
Inactive:       26242100 kB
Active(anon):       1588 kB
Inactive(anon): 21773256 kB
Active(file):    2078500 kB
Inactive(file):  4468844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131067352 kB
Dirty:            430816 kB
Writeback:             0 kB
AnonPages:      21725524 kB
Mapped:           111932 kB
Shmem:             45700 kB
KReclaimable:     300628 kB
Slab:             426408 kB
SReclaimable:     300628 kB
SUnreclaim:       125780 kB
KernelStack:        5020 kB
PageTables:        52832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   30904996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21413888 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723536 MiB
End job on nodeC009 at 2024-07-24 14:29:46