Trace number 4459546

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 Default 2024-07-07SAT (TO)3851 3600.47 3568.44

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
MD5SUMb6d457804c0edb01048fac97a08f0a0d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2967
Best CPU time to get the best result obtained on this benchmark0.171659
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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.01/0.29	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.29	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.29	c See www.sat4j.org for details.
0.01/0.30	c version CUSTOM.v20240707
0.09/0.32	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.32	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.32	c java.vm.version	22.0.1+8-16
0.09/0.32	c java.vm.vendor	Oracle Corporation
0.09/0.32	c sun.arch.data.model	64
0.09/0.32	c java.version		22.0.1
0.09/0.32	c os.name		Linux
0.09/0.32	c os.version		4.18.0-301.1.el8.x86_64
0.09/0.32	c os.arch		amd64
0.09/0.32	c Free memory 		2106806208
0.09/0.32	c Max memory 		16282288128
0.09/0.32	c Total memory 		2113929216
0.09/0.32	c Number of processors 	2
0.09/0.35	--- Begin Solver configuration ---
0.09/0.35	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.09/0.35	Learn all clauses as in MiniSAT
0.09/0.35	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.35	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.35	No reason simplification
0.09/0.35	Glucose 2.1 dynamic restart strategy
0.09/0.35	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.35	timeout=2147483s
0.09/0.35	DB Simplification allowed=false
0.09/0.35	Listener: none
0.09/0.35	--- End Solver configuration ---
0.09/0.35	c Pseudo Boolean Optimization by upper bound
0.09/0.35	c --- Begin Solver configuration ---
0.09/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.09/0.35	c Learn all clauses as in MiniSAT
0.09/0.35	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.35	c No reason simplification
0.09/0.35	c Glucose 2.1 dynamic restart strategy
0.09/0.35	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.35	c timeout=2147483s
0.09/0.35	c DB Simplification allowed=false
0.09/0.35	c Listener: none
0.09/0.35	c --- End Solver configuration ---
0.09/0.35	c solving HOME/instance-4459546-1721903221.opb
0.09/0.35	c reading problem ... 
0.09/0.36	c  objective function found
0.26/0.41	c ... done. Wall clock time 0.054s.
0.26/0.41	c declared #vars     1086
0.26/0.41	c #constraints  169
0.26/0.41	c constraints type 
0.26/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 85
0.26/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.26/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 83
0.26/0.41	c 169 constraints processed.
0.26/0.42	c objective function length is 1086 literals
0.65/0.62	c SATISFIABLE
0.65/0.62	c OPTIMIZING...
0.65/0.62	c Got one! Elapsed wall clock time (in seconds):0.261
0.65/0.62	o 4138
1.64/1.13	c cleaning 2846 clauses out of 5692 with flag 20253/5692
2.07/1.44	c cleaning 4423 clauses out of 8847 with flag 46661/11693
2.66/1.99	c cleaning 5710 clauses out of 11424 with flag 82950/18693
3.18/2.46	c cleaning 6858 clauses out of 13715 with flag 115391/26694
4.02/3.23	c cleaning 7928 clauses out of 15856 with flag 167337/35693
4.86/4.04	c cleaning 8964 clauses out of 17927 with flag 225764/45692
5.93/5.09	c cleaning 9975 clauses out of 19965 with flag 294868/56694
7.18/6.25	c cleaning 10994 clauses out of 21989 with flag 362973/68693
8.44/7.43	c cleaning 11994 clauses out of 23994 with flag 439265/81692
9.65/8.63	c cleaning 13000 clauses out of 26000 with flag 510032/95692
11.15/9.95	c cleaning 13995 clauses out of 28002 with flag 579504/110694
12.36/11.13	c cleaning 15000 clauses out of 30006 with flag 666189/126693
13.86/12.53	c cleaning 16003 clauses out of 32006 with flag 767690/143693
15.66/14.22	c cleaning 16994 clauses out of 34004 with flag 888732/161694
17.57/16.13	c cleaning 17998 clauses out of 36009 with flag 1029619/180693
19.84/18.31	c cleaning 19002 clauses out of 38011 with flag 1164384/200693
22.23/20.67	c cleaning 19993 clauses out of 40008 with flag 1313407/221692
24.63/22.99	c cleaning 21002 clauses out of 42016 with flag 1449239/243693
26.83/25.20	c cleaning 21999 clauses out of 44013 with flag 1559901/266692
29.41/27.62	c cleaning 23007 clauses out of 46015 with flag 1688007/290693
31.81/29.98	c cleaning 24000 clauses out of 48007 with flag 1800347/315692
34.40/32.43	c cleaning 24995 clauses out of 50007 with flag 1931657/341692
37.84/35.76	c cleaning 26002 clauses out of 52012 with flag 2124626/368692
38.84/36.74	c Got one! Elapsed wall clock time (in seconds):36.383
38.84/36.74	o 4020
39.25/37.18	c cleaning 20825 clauses out of 41651 with flag 27227/384333
39.87/37.77	c cleaning 13410 clauses out of 26826 with flag 75307/390333
40.50/38.33	c cleaning 10203 clauses out of 20420 with flag 116350/397337
41.17/38.96	c cleaning 9093 clauses out of 18214 with flag 159921/405334
41.96/39.72	c cleaning 9052 clauses out of 18120 with flag 224034/414333
42.86/40.62	c cleaning 9526 clauses out of 19068 with flag 299834/424333
43.86/41.65	c cleaning 10265 clauses out of 20542 with flag 390254/435333
45.15/42.88	c cleaning 11133 clauses out of 22279 with flag 486143/447335
46.63/44.32	c cleaning 12067 clauses out of 24146 with flag 604141/460335
48.22/45.99	c cleaning 13030 clauses out of 26077 with flag 744181/474333
50.26/47.91	c cleaning 14013 clauses out of 28047 with flag 886906/489333
52.14/49.83	c cleaning 15014 clauses out of 30035 with flag 1034306/505334
54.29/51.84	c cleaning 16004 clauses out of 32021 with flag 1173620/522334
56.18/53.77	c cleaning 17009 clauses out of 34017 with flag 1297871/540334
58.93/56.17	c cleaning 18001 clauses out of 36009 with flag 1437242/559335
61.02/58.24	c cleaning 18993 clauses out of 38006 with flag 1547297/579333
63.49/60.66	c cleaning 20000 clauses out of 40013 with flag 1673388/600333
66.10/63.14	c cleaning 21002 clauses out of 42013 with flag 1815390/622333
68.69/65.77	c cleaning 22002 clauses out of 44012 with flag 1991692/645334
71.49/68.47	c cleaning 23002 clauses out of 46009 with flag 2152867/669333
74.56/71.54	c cleaning 23995 clauses out of 48007 with flag 2360396/694333
77.53/74.42	c cleaning 25001 clauses out of 50012 with flag 2525400/720333
80.41/77.30	c cleaning 26006 clauses out of 52011 with flag 2706868/747333
84.09/80.91	c cleaning 27001 clauses out of 54007 with flag 2925449/775335
87.56/84.46	c cleaning 27997 clauses out of 56004 with flag 3123418/804333
91.22/88.14	c cleaning 28995 clauses out of 58007 with flag 3326229/834333
95.38/92.27	c cleaning 29998 clauses out of 60013 with flag 3531313/865334
99.64/96.51	c cleaning 31003 clauses out of 62015 with flag 3764664/897334
104.51/101.29	c cleaning 31987 clauses out of 64011 with flag 3998274/930333
109.20/105.80	c cleaning 33009 clauses out of 66024 with flag 4239141/964333
113.46/110.12	c cleaning 34002 clauses out of 68019 with flag 4522260/999337
117.03/113.65	c cleaning 34997 clauses out of 70015 with flag 4738362/1035335
120.89/117.56	c cleaning 36007 clauses out of 72018 with flag 4978707/1072335
125.55/122.17	c cleaning 36990 clauses out of 74009 with flag 5268029/1110333
130.60/127.29	c cleaning 38004 clauses out of 76022 with flag 5582774/1149336
136.08/132.62	c cleaning 38994 clauses out of 78015 with flag 5879068/1189333
141.35/137.57	c cleaning 40005 clauses out of 80021 with flag 6137008/1230333
147.11/143.10	c cleaning 41004 clauses out of 82016 with flag 6437750/1272333
153.30/149.22	c cleaning 42003 clauses out of 84013 with flag 6750662/1315334
160.28/156.28	c cleaning 43000 clauses out of 86010 with flag 7104327/1359334
167.44/163.28	c cleaning 44000 clauses out of 88009 with flag 7416651/1404333
176.01/171.69	c cleaning 45001 clauses out of 90009 with flag 7793842/1450333
183.63/179.33	c cleaning 46001 clauses out of 92009 with flag 8146701/1497334
192.09/187.71	c cleaning 46998 clauses out of 94007 with flag 8536187/1545333
199.53/195.00	c cleaning 47995 clauses out of 96011 with flag 8865895/1594335
208.49/203.87	c cleaning 49003 clauses out of 98016 with flag 9298076/1644335
216.81/212.10	c cleaning 49994 clauses out of 100012 with flag 9691442/1695334
225.23/220.55	c cleaning 51000 clauses out of 102020 with flag 10089444/1747336
234.97/230.24	c cleaning 52006 clauses out of 104017 with flag 10543333/1800333
245.41/240.13	c cleaning 53000 clauses out of 106011 with flag 10998671/1854333
254.79/249.43	c cleaning 53997 clauses out of 108012 with flag 11376954/1909334
266.11/260.61	c cleaning 54994 clauses out of 110014 with flag 11807059/1965333
276.31/270.75	c cleaning 55992 clauses out of 112020 with flag 12212260/2022333
286.96/281.24	c cleaning 57012 clauses out of 114028 with flag 12661815/2080333
297.62/291.79	c cleaning 58002 clauses out of 116018 with flag 13056734/2139335
307.56/301.59	c cleaning 59001 clauses out of 118014 with flag 13369122/2199333
320.18/314.07	c cleaning 60000 clauses out of 120013 with flag 13774685/2260333
332.12/325.86	c cleaning 61003 clauses out of 122014 with flag 14156689/2322334
345.70/339.37	c cleaning 61992 clauses out of 124010 with flag 14568206/2385333
360.45/353.77	c cleaning 62998 clauses out of 126018 with flag 14986587/2449333
375.33/368.53	c cleaning 64006 clauses out of 128020 with flag 15454355/2514333
391.25/384.20	c cleaning 64997 clauses out of 130015 with flag 15971930/2580334
405.69/398.17	c cleaning 66000 clauses out of 132018 with flag 16368990/2647334
422.54/415.05	c cleaning 67008 clauses out of 134019 with flag 16892567/2715335
440.56/432.77	c cleaning 67999 clauses out of 136011 with flag 17415660/2784335
456.82/448.81	c cleaning 69003 clauses out of 138010 with flag 17920407/2854333
472.78/464.79	c cleaning 69987 clauses out of 140007 with flag 18364496/2925333
490.04/481.85	c cleaning 70997 clauses out of 142021 with flag 18771181/2997334
511.27/502.83	c cleaning 71996 clauses out of 144023 with flag 19404862/3070333
529.60/521.10	c cleaning 73004 clauses out of 146027 with flag 19948715/3144333
550.10/541.22	c cleaning 74005 clauses out of 148023 with flag 20435164/3219333
570.32/561.37	c cleaning 74994 clauses out of 150019 with flag 20994503/3295334
593.99/584.77	c cleaning 76000 clauses out of 152024 with flag 21640218/3372333
615.86/606.55	c cleaning 77005 clauses out of 154026 with flag 22286412/3450335
642.63/633.08	c cleaning 78002 clauses out of 156019 with flag 23069611/3529333
664.47/654.85	c cleaning 79003 clauses out of 158017 with flag 23670791/3609333
689.76/679.84	c cleaning 79998 clauses out of 160014 with flag 24327399/3690333
715.47/704.63	c cleaning 80994 clauses out of 162018 with flag 25073877/3772335
741.23/730.46	c cleaning 82001 clauses out of 164022 with flag 25752980/3855333
764.90/754.07	c cleaning 82997 clauses out of 166021 with flag 26418326/3939333
790.37/779.31	c cleaning 84004 clauses out of 168024 with flag 27146802/4024333
819.26/808.04	c cleaning 84996 clauses out of 170020 with flag 27766244/4110333
842.24/830.81	c cleaning 86005 clauses out of 172024 with flag 28325786/4197333
868.53/856.93	c cleaning 87007 clauses out of 174019 with flag 28906236/4285333
895.27/883.54	c cleaning 88000 clauses out of 176012 with flag 29471664/4374333
924.67/912.61	c cleaning 88999 clauses out of 178014 with flag 29971823/4464335
956.19/944.26	c cleaning 90002 clauses out of 180014 with flag 30703557/4555334
983.79/971.66	c cleaning 91002 clauses out of 182012 with flag 31372709/4647334
1015.15/1002.82	c cleaning 92001 clauses out of 184010 with flag 32072136/4740334
1046.07/1033.65	c cleaning 93000 clauses out of 186009 with flag 32685290/4834334
1081.38/1068.81	c cleaning 93994 clauses out of 188008 with flag 33377213/4929333
1120.45/1107.54	c cleaning 94991 clauses out of 190014 with flag 34286689/5025333
1152.71/1139.65	c cleaning 96004 clauses out of 192025 with flag 34986454/5122335
1192.55/1179.36	c cleaning 97007 clauses out of 194020 with flag 35842277/5220334
1230.09/1216.41	c Got one! Elapsed wall clock time (in seconds):1216.05
1230.09/1216.41	o 4018
1232.19/1218.59	c cleaning 99175 clauses out of 198365 with flag 32780/5321686
1233.99/1220.35	c cleaning 52575 clauses out of 105191 with flag 67301/5327687
1235.69/1222.01	c cleaning 29795 clauses out of 59614 with flag 111476/5334685
1236.79/1223.14	c cleaning 18896 clauses out of 37819 with flag 156735/5342685
1238.10/1224.28	c cleaning 13941 clauses out of 27925 with flag 202829/5351687
1238.90/1225.10	c cleaning 11978 clauses out of 23983 with flag 256908/5361686
1239.80/1225.97	c cleaning 11499 clauses out of 23008 with flag 307788/5372689
1240.70/1226.81	c cleaning 11748 clauses out of 23505 with flag 356178/5384685
1241.79/1227.98	c cleaning 12375 clauses out of 24759 with flag 431295/5397687
1243.09/1229.23	c cleaning 13187 clauses out of 26382 with flag 514926/5411685
1244.49/1230.63	c cleaning 14092 clauses out of 28195 with flag 606124/5426685
1245.76/1231.87	c cleaning 15051 clauses out of 30103 with flag 687905/5442685
1247.16/1233.27	c cleaning 16018 clauses out of 32052 with flag 791707/5459685
1248.85/1234.97	c cleaning 17014 clauses out of 34034 with flag 902369/5477685
1250.65/1236.77	c cleaning 18007 clauses out of 36022 with flag 1018884/5496687
1252.75/1238.88	c cleaning 19003 clauses out of 38014 with flag 1138520/5516686
1255.04/1241.01	c cleaning 20001 clauses out of 40012 with flag 1275094/5537687
1257.33/1243.37	c cleaning 21003 clauses out of 42009 with flag 1424838/5559685
1260.23/1246.28	c cleaning 21995 clauses out of 44007 with flag 1577125/5582686
1263.43/1249.47	c cleaning 23000 clauses out of 46013 with flag 1735384/5606687
1267.26/1252.99	c cleaning 24003 clauses out of 48013 with flag 1909445/5631687
1271.25/1256.90	c cleaning 25000 clauses out of 50008 with flag 2101084/5657685
1275.53/1261.27	c cleaning 26005 clauses out of 52009 with flag 2311453/5684686
1279.63/1265.37	c cleaning 26996 clauses out of 54004 with flag 2524526/5712686
1283.49/1269.15	c cleaning 28002 clauses out of 56007 with flag 2741781/5741685
1288.59/1274.26	c cleaning 28997 clauses out of 58006 with flag 3013541/5771686
1293.48/1279.11	c cleaning 29989 clauses out of 60009 with flag 3253925/5802686
1298.05/1283.58	c cleaning 30999 clauses out of 62019 with flag 3441630/5834685
1302.84/1288.32	c cleaning 31999 clauses out of 64020 with flag 3680770/5867685
1307.24/1292.77	c cleaning 33004 clauses out of 66022 with flag 3921264/5901686
1312.00/1297.43	c cleaning 34001 clauses out of 68017 with flag 4164440/5936685
1316.09/1301.50	c cleaning 35005 clauses out of 70017 with flag 4352202/5972686
1320.18/1305.62	c cleaning 36004 clauses out of 72013 with flag 4519783/6009687
1324.65/1310.07	c cleaning 37003 clauses out of 74007 with flag 4690579/6047685
1329.44/1314.85	c cleaning 37996 clauses out of 76004 with flag 4910311/6086685
1333.54/1319.00	c cleaning 38999 clauses out of 78009 with flag 5084001/6126686
1337.89/1323.18	c cleaning 39996 clauses out of 80009 with flag 5256256/6167685
1342.07/1327.38	c cleaning 40998 clauses out of 82013 with flag 5427143/6209685
1346.08/1331.35	c cleaning 42002 clauses out of 84015 with flag 5595442/6252685
1350.71/1335.81	c cleaning 43003 clauses out of 86013 with flag 5777828/6296685
1355.60/1340.79	c cleaning 43997 clauses out of 88010 with flag 5968182/6341685
1360.29/1345.45	c cleaning 44997 clauses out of 90014 with flag 6132764/6387686
1365.69/1350.71	c cleaning 46004 clauses out of 92017 with flag 6317480/6434686
1371.59/1356.61	c cleaning 46997 clauses out of 94013 with flag 6564471/6482686
1379.38/1364.31	c cleaning 48006 clauses out of 96016 with flag 6878526/6531686
1386.56/1371.52	c cleaning 48997 clauses out of 98009 with flag 7207008/6581685
1392.97/1377.88	c cleaning 50001 clauses out of 100015 with flag 7509303/6632688
1400.86/1385.71	c cleaning 51001 clauses out of 102011 with flag 7842577/6684685
1408.81/1393.59	c cleaning 51998 clauses out of 104011 with flag 8193478/6737686
1417.69/1402.48	c cleaning 52997 clauses out of 106013 with flag 8597160/6791686
1427.04/1411.66	c cleaning 53998 clauses out of 108016 with flag 8989561/6846686
1438.22/1422.85	c cleaning 55007 clauses out of 110018 with flag 9390129/6902686
1449.63/1434.15	c cleaning 56005 clauses out of 112011 with flag 9796752/6959686
1460.70/1445.22	c cleaning 57003 clauses out of 114006 with flag 10238922/7017686
1472.26/1456.62	c cleaning 57994 clauses out of 116002 with flag 10651440/7076685
1481.23/1465.45	c cleaning 58998 clauses out of 118008 with flag 10975453/7136685
1489.91/1474.14	c cleaning 59998 clauses out of 120010 with flag 11301799/7197685
1500.48/1484.69	c cleaning 61003 clauses out of 122013 with flag 11673206/7259686
1509.06/1493.29	c cleaning 61997 clauses out of 124011 with flag 12030195/7322687
1518.22/1502.28	c cleaning 63003 clauses out of 126012 with flag 12391136/7386685
1527.30/1511.36	c cleaning 63998 clauses out of 128009 with flag 12754605/7451685
1537.87/1521.81	c cleaning 64996 clauses out of 130012 with flag 13176585/7517686
1548.17/1532.16	c cleaning 65998 clauses out of 132015 with flag 13661458/7584685
1562.20/1546.02	c cleaning 67002 clauses out of 134017 with flag 14171020/7652685
1577.44/1561.19	c cleaning 68007 clauses out of 136016 with flag 14611595/7721686
1591.10/1574.67	c cleaning 68999 clauses out of 138009 with flag 15143754/7791686
1604.85/1588.21	c cleaning 69991 clauses out of 140010 with flag 15642277/7862686
1616.54/1599.73	c cleaning 71002 clauses out of 142020 with flag 16053824/7934687
1628.31/1611.51	c cleaning 72004 clauses out of 144016 with flag 16577716/8007685
1639.81/1622.90	c cleaning 72998 clauses out of 146014 with flag 17033442/8081687
1652.81/1635.77	c cleaning 74006 clauses out of 148015 with flag 17496788/8156686
1668.53/1651.21	c cleaning 74998 clauses out of 150010 with flag 18057411/8232687
1683.90/1666.62	c cleaning 75996 clauses out of 152010 with flag 18648033/8309685
1699.30/1681.97	c Got one! Elapsed wall clock time (in seconds):1681.612
1699.30/1681.97	o 4009
1700.70/1683.30	c cleaning 78006 clauses out of 156015 with flag 35755/8389686
1701.50/1684.11	c cleaning 42001 clauses out of 84008 with flag 67530/8395685
1702.30/1685.00	c cleaning 24488 clauses out of 49007 with flag 110717/8402685
1703.39/1685.92	c cleaning 16252 clauses out of 32519 with flag 156551/8410685
1704.19/1686.76	c cleaning 12613 clauses out of 25268 with flag 208075/8419686
1705.19/1687.71	c cleaning 11313 clauses out of 22654 with flag 275376/8429685
1705.99/1688.58	c cleaning 11150 clauses out of 22341 with flag 336661/8440685
1706.99/1689.54	c cleaning 11592 clauses out of 23192 with flag 403558/8452686
1708.18/1690.75	c cleaning 12290 clauses out of 24600 with flag 499595/8465686
1709.78/1692.34	c cleaning 13152 clauses out of 26310 with flag 631278/8479686
1711.26/1693.73	c cleaning 14069 clauses out of 28158 with flag 731055/8494686
1712.56/1695.04	c cleaning 15043 clauses out of 30089 with flag 832440/8510686
1714.16/1696.69	c cleaning 16017 clauses out of 32045 with flag 950545/8527685
1715.75/1698.29	c cleaning 17013 clauses out of 34031 with flag 1073860/8545688
1717.55/1700.03	c cleaning 17998 clauses out of 36015 with flag 1185285/8564685
1719.34/1701.86	c cleaning 19004 clauses out of 38018 with flag 1286942/8584686
1721.48/1703.93	c cleaning 20001 clauses out of 40014 with flag 1414346/8605686
1723.87/1706.35	c cleaning 20999 clauses out of 42012 with flag 1551702/8627685
1726.37/1708.86	c cleaning 22000 clauses out of 44013 with flag 1686814/8650685
1728.97/1711.46	c cleaning 23003 clauses out of 46016 with flag 1838134/8674688
1731.77/1714.29	c cleaning 24002 clauses out of 48010 with flag 2004202/8699685
1735.36/1717.87	c cleaning 24998 clauses out of 50010 with flag 2206652/8725687
1739.13/1721.58	c cleaning 26004 clauses out of 52010 with flag 2394734/8752685
1742.23/1724.67	c cleaning 26997 clauses out of 54006 with flag 2563515/8780685
1745.52/1727.98	c cleaning 27999 clauses out of 56009 with flag 2729406/8809685
1748.82/1731.23	c cleaning 28999 clauses out of 58010 with flag 2884261/8839685
1752.11/1734.51	c cleaning 30004 clauses out of 60011 with flag 3033478/8870685
1755.61/1738.03	c cleaning 30998 clauses out of 62007 with flag 3183294/8902685
1759.80/1742.24	c cleaning 31995 clauses out of 64010 with flag 3356018/8935686
1764.28/1746.78	c cleaning 33004 clauses out of 66015 with flag 3536528/8969686
1769.15/1751.31	c cleaning 34003 clauses out of 68010 with flag 3724550/9004685
1772.64/1754.81	c cleaning 35000 clauses out of 70007 with flag 3880088/9040685
1775.74/1757.98	c cleaning 35997 clauses out of 72007 with flag 4013584/9077685
1779.81/1761.87	c cleaning 37005 clauses out of 74010 with flag 4177127/9115685
1784.50/1766.50	c cleaning 37997 clauses out of 76008 with flag 4333220/9154688
1789.69/1771.79	c cleaning 39001 clauses out of 78008 with flag 4553035/9194685
1793.90/1775.86	c cleaning 40001 clauses out of 80007 with flag 4717237/9235685
1798.25/1780.26	c cleaning 40996 clauses out of 82007 with flag 4884591/9277686
1803.61/1785.66	c cleaning 41997 clauses out of 84010 with flag 5107489/9320685
1809.94/1791.81	c cleaning 43003 clauses out of 86014 with flag 5382855/9364686
1816.82/1798.73	c cleaning 44000 clauses out of 88010 with flag 5671597/9409685
1823.76/1805.52	c cleaning 44999 clauses out of 90010 with flag 5977125/9455685
1830.94/1812.80	c cleaning 46003 clauses out of 92012 with flag 6246093/9502686
1838.82/1820.64	c cleaning 47001 clauses out of 94009 with flag 6610102/9550686
1844.80/1826.45	c cleaning 47999 clauses out of 96007 with flag 6864446/9599685
1850.69/1832.33	c cleaning 48998 clauses out of 98010 with flag 7130257/9649687
1858.89/1840.39	c cleaning 50002 clauses out of 100011 with flag 7472496/9700686
1866.62/1848.16	c cleaning 50998 clauses out of 102009 with flag 7808815/9752686
1874.31/1855.85	c cleaning 51996 clauses out of 104010 with flag 8091371/9805685
1881.94/1863.56	c cleaning 53003 clauses out of 106014 with flag 8389919/9859685
1890.41/1872.07	c cleaning 54002 clauses out of 108012 with flag 8772681/9914686
1898.03/1879.79	c cleaning 55004 clauses out of 110009 with flag 9122642/9970685
1907.76/1889.52	c cleaning 56002 clauses out of 112005 with flag 9538513/10027685
1918.80/1900.32	c cleaning 56996 clauses out of 114003 with flag 9928972/10085685
1928.37/1909.91	c cleaning 57994 clauses out of 116008 with flag 10372023/10144686
1940.37/1921.86	c cleaning 59003 clauses out of 118013 with flag 10842110/10204685
1953.84/1935.07	c cleaning 60000 clauses out of 120011 with flag 11303282/10265686
1965.09/1946.37	c cleaning 60999 clauses out of 122010 with flag 11714366/10327685
1974.10/1955.32	c cleaning 62000 clauses out of 124011 with flag 12125046/10390685
1984.98/1966.20	c cleaning 63002 clauses out of 126012 with flag 12532097/10454686
1994.84/1975.98	c cleaning 63997 clauses out of 128010 with flag 12950968/10519686
2005.58/1986.74	c cleaning 65000 clauses out of 130013 with flag 13382213/10585686
2017.44/1998.50	c cleaning 65996 clauses out of 132013 with flag 13830285/10652686
2029.43/2010.21	c cleaning 66997 clauses out of 134016 with flag 14289549/10720685
2042.32/2023.13	c cleaning 67994 clauses out of 136019 with flag 14758224/10789685
2057.77/2037.84	c cleaning 69006 clauses out of 138025 with flag 15279822/10859685
2073.65/2053.50	c cleaning 70002 clauses out of 140021 with flag 15781085/10930687
2086.13/2066.06	c cleaning 71001 clauses out of 142017 with flag 16177685/11002685
2100.39/2080.21	c cleaning 72008 clauses out of 144017 with flag 16594606/11075686
2116.02/2095.89	c cleaning 73000 clauses out of 146009 with flag 17087993/11149686
2117.80/2097.65	c Got one! Elapsed wall clock time (in seconds):2097.297
2117.80/2097.65	o 3970
2118.92/2098.70	c cleaning 44460 clauses out of 88945 with flag 34739/11165622
2119.81/2099.64	c cleaning 25230 clauses out of 50485 with flag 70650/11171622
2120.80/2100.59	c cleaning 16120 clauses out of 32258 with flag 110832/11178625
2121.60/2101.38	c cleaning 12057 clauses out of 24135 with flag 150016/11186622
2122.40/2102.13	c cleaning 10519 clauses out of 21078 with flag 194877/11195622
2123.09/2102.82	c cleaning 10266 clauses out of 20559 with flag 243103/11205622
2123.79/2103.53	c cleaning 10644 clauses out of 21295 with flag 290725/11216624
2124.59/2104.35	c cleaning 11322 clauses out of 22649 with flag 341995/11228622
2125.59/2105.36	c cleaning 12159 clauses out of 24327 with flag 411750/11241622
2126.69/2106.43	c cleaning 13076 clauses out of 26168 with flag 476446/11255622
2127.91/2107.69	c cleaning 14040 clauses out of 28093 with flag 542928/11270623
2129.37/2109.02	c cleaning 15023 clauses out of 30053 with flag 614243/11286623
2130.87/2110.54	c cleaning 16010 clauses out of 32029 with flag 681506/11303622
2132.47/2112.18	c cleaning 17009 clauses out of 34019 with flag 747607/11321622
2134.36/2114.09	c cleaning 18000 clauses out of 36010 with flag 829543/11340622
2136.26/2115.97	c cleaning 18998 clauses out of 38010 with flag 916285/11360622
2138.54/2118.19	c cleaning 20003 clauses out of 40012 with flag 1028362/11381622
2141.03/2120.65	c cleaning 20995 clauses out of 42009 with flag 1159926/11403622
2143.52/2123.18	c cleaning 22005 clauses out of 44015 with flag 1283844/11426623
2145.91/2125.56	c cleaning 23003 clauses out of 46009 with flag 1385250/11450622
2148.51/2128.13	c cleaning 24003 clauses out of 48007 with flag 1513635/11475623
2151.62/2131.16	c cleaning 24995 clauses out of 50003 with flag 1673974/11501622
2154.61/2134.19	c cleaning 25996 clauses out of 52009 with flag 1821055/11528623
2157.51/2137.10	c cleaning 27002 clauses out of 54013 with flag 1963018/11556623
2160.50/2140.09	c cleaning 27996 clauses out of 56012 with flag 2107719/11585624
2164.77/2144.27	c cleaning 29000 clauses out of 58014 with flag 2285080/11615622
2168.47/2147.90	c cleaning 30004 clauses out of 60014 with flag 2464938/11646622
2171.86/2151.38	c cleaning 30997 clauses out of 62011 with flag 2630489/11678623
2175.45/2155.00	c cleaning 32001 clauses out of 64013 with flag 2789484/11711622
2179.55/2158.92	c cleaning 33002 clauses out of 66012 with flag 2960513/11745622
2185.04/2164.47	c cleaning 34005 clauses out of 68010 with flag 3186237/11780622
2189.64/2169.01	c cleaning 35001 clauses out of 70005 with flag 3340526/11816622
2194.73/2173.98	c cleaning 35993 clauses out of 72004 with flag 3509200/11853622
2199.12/2178.37	c cleaning 37004 clauses out of 74012 with flag 3662281/11891623
2203.61/2182.85	c cleaning 38003 clauses out of 76008 with flag 3818658/11930623
2208.83/2187.93	c cleaning 38999 clauses out of 78004 with flag 3974587/11970622
2213.72/2192.84	c cleaning 39996 clauses out of 80006 with flag 4129183/12011623
2219.02/2198.19	c cleaning 41001 clauses out of 82009 with flag 4295589/12053622
2224.75/2203.77	c cleaning 42000 clauses out of 84008 with flag 4467477/12096622
2230.64/2209.66	c cleaning 43002 clauses out of 86008 with flag 4636705/12140622
2237.44/2216.21	c cleaning 44000 clauses out of 88006 with flag 4837795/12185622
2244.67/2223.55	c cleaning 45000 clauses out of 90006 with flag 5093805/12231622
2251.59/2230.39	c cleaning 45993 clauses out of 92006 with flag 5305113/12278622
2257.74/2236.56	c cleaning 47003 clauses out of 94013 with flag 5550542/12326622
2264.43/2243.11	c cleaning 48005 clauses out of 96010 with flag 5888895/12375622
2270.02/2248.76	c cleaning 49000 clauses out of 98005 with flag 6176052/12425622
2277.33/2255.95	c cleaning 49996 clauses out of 100007 with flag 6477369/12476624
2283.53/2262.17	c cleaning 50997 clauses out of 102009 with flag 6801310/12528622
2291.64/2270.08	c cleaning 51997 clauses out of 104012 with flag 7142459/12581622
2298.02/2276.40	c cleaning 53001 clauses out of 106015 with flag 7476103/12635622
2306.33/2284.67	c cleaning 54002 clauses out of 108014 with flag 7821682/12690622
2315.41/2293.54	c cleaning 55000 clauses out of 110013 with flag 8208498/12746623
2323.70/2301.86	c cleaning 56002 clauses out of 112013 with flag 8539920/12803623
2333.96/2312.01	c cleaning 57000 clauses out of 114010 with flag 8929428/12861622
2343.27/2321.20	c cleaning 58002 clauses out of 116011 with flag 9327533/12920623
2355.66/2333.43	c cleaning 59001 clauses out of 118009 with flag 9771853/12980623
2366.04/2343.82	c cleaning 60001 clauses out of 120007 with flag 10155154/13041622
2374.70/2352.42	c cleaning 60998 clauses out of 122007 with flag 10437113/13103623
2384.56/2362.23	c cleaning 61996 clauses out of 124009 with flag 10754070/13166623
2394.49/2372.03	c cleaning 62997 clauses out of 126012 with flag 11127730/13230622
2404.94/2382.34	c cleaning 64001 clauses out of 128016 with flag 11563377/13295623
2416.47/2393.70	c cleaning 65000 clauses out of 130015 with flag 11998495/13361623
2426.57/2403.80	c cleaning 66004 clauses out of 132014 with flag 12408665/13428622
2437.45/2414.71	c cleaning 66998 clauses out of 134011 with flag 12780981/13496623
2446.60/2423.85	c cleaning 67994 clauses out of 136012 with flag 13097284/13565622
2459.07/2436.28	c cleaning 69004 clauses out of 138021 with flag 13496202/13635625
2471.57/2448.68	c cleaning 70006 clauses out of 140014 with flag 13913598/13706622
2483.47/2460.48	c cleaning 70998 clauses out of 142011 with flag 14300298/13778625
2496.70/2473.57	c cleaning 72002 clauses out of 144011 with flag 14689721/13851623
2511.03/2487.74	c cleaning 72999 clauses out of 146009 with flag 15133732/13925623
2526.31/2502.82	c cleaning 73996 clauses out of 148009 with flag 15582960/14000622
2540.58/2517.08	c cleaning 75005 clauses out of 150015 with flag 15991648/14076624
2554.82/2531.19	c cleaning 75997 clauses out of 152008 with flag 16495245/14153622
2573.65/2549.80	c cleaning 76999 clauses out of 154013 with flag 17078021/14231624
2591.79/2567.85	c cleaning 77999 clauses out of 156013 with flag 17591424/14310623
2607.36/2582.49	c cleaning 78997 clauses out of 158013 with flag 18041444/14390622
2623.97/2598.85	c cleaning 80005 clauses out of 160017 with flag 18517995/14471623
2633.95/2608.86	c Got one! Elapsed wall clock time (in seconds):2608.506
2633.95/2608.86	o 3851
2635.15/2610.04	c cleaning 66451 clauses out of 132907 with flag 29043/14524518
2636.25/2611.14	c cleaning 36217 clauses out of 72456 with flag 66869/14530518
2637.15/2612.08	c cleaning 21605 clauses out of 43239 with flag 107445/14537518
2638.23/2612.99	c cleaning 14804 clauses out of 29634 with flag 150479/14545518
2639.03/2613.79	c cleaning 11904 clauses out of 23833 with flag 207994/14554521
2639.93/2614.64	c cleaning 10941 clauses out of 21925 with flag 260178/14564517
2640.62/2615.31	c cleaning 10977 clauses out of 21984 with flag 302658/14575517
2641.33/2616.05	c cleaning 11495 clauses out of 23007 with flag 344699/14587517
2642.12/2616.82	c cleaning 12255 clauses out of 24512 with flag 388589/14600517
2642.92/2617.63	c cleaning 13127 clauses out of 26258 with flag 433006/14614518
2643.81/2618.58	c cleaning 14057 clauses out of 28130 with flag 482850/14629517
2644.91/2619.60	c cleaning 15032 clauses out of 30073 with flag 538195/14645517
2646.17/2620.87	c cleaning 16018 clauses out of 32041 with flag 604063/14662517
2647.37/2622.05	c cleaning 17001 clauses out of 34023 with flag 669455/14680517
2648.67/2623.35	c cleaning 18009 clauses out of 36022 with flag 740550/14699517
2650.38/2625.02	c cleaning 19007 clauses out of 38013 with flag 830794/14719517
2651.67/2626.39	c cleaning 19997 clauses out of 40006 with flag 901366/14740517
2653.37/2628.02	c cleaning 21003 clauses out of 42009 with flag 984150/14762517
2655.26/2629.95	c cleaning 22003 clauses out of 44007 with flag 1079413/14785518
2657.63/2632.24	c cleaning 23002 clauses out of 46005 with flag 1183560/14809519
2659.93/2634.55	c cleaning 23999 clauses out of 48001 with flag 1334213/14834517
2662.43/2637.02	c cleaning 24997 clauses out of 50003 with flag 1493376/14860518
2664.92/2639.58	c cleaning 25998 clauses out of 52006 with flag 1646406/14887518
2668.03/2642.58	c cleaning 26996 clauses out of 54008 with flag 1816348/14915518
2671.02/2645.57	c cleaning 28002 clauses out of 56012 with flag 1984989/14944518
2673.52/2648.06	c cleaning 28998 clauses out of 58010 with flag 2118718/14974518
2676.10/2650.62	c cleaning 29999 clauses out of 60011 with flag 2262629/15005517
2679.10/2653.63	c cleaning 31001 clauses out of 62012 with flag 2422761/15037517
2683.00/2657.40	c cleaning 32002 clauses out of 64014 with flag 2615050/15070520
2686.39/2660.82	c cleaning 33000 clauses out of 66010 with flag 2797126/15104518
2689.69/2664.17	c cleaning 34001 clauses out of 68010 with flag 2987849/15139518
2693.68/2668.18	c cleaning 34995 clauses out of 70009 with flag 3197959/15175518
2699.09/2673.49	c cleaning 36001 clauses out of 72013 with flag 3449867/15212517
2704.08/2678.48	c cleaning 37000 clauses out of 74012 with flag 3699633/15250517
2709.67/2684.08	c cleaning 38003 clauses out of 76013 with flag 3979023/15289518
2715.25/2689.50	c cleaning 39003 clauses out of 78011 with flag 4287852/15329519
2720.63/2694.90	c cleaning 39997 clauses out of 80009 with flag 4584998/15370520
2725.33/2699.66	c cleaning 40994 clauses out of 82009 with flag 4848678/15412517
2730.02/2704.11	c cleaning 42002 clauses out of 84015 with flag 5066222/15455517
2735.70/2709.80	c cleaning 42993 clauses out of 86014 with flag 5352992/15499518
2741.49/2715.69	c cleaning 44009 clauses out of 88021 with flag 5676913/15544518
2747.26/2721.38	c cleaning 45002 clauses out of 90011 with flag 6013260/15590517
2753.64/2727.75	c cleaning 46004 clauses out of 92012 with flag 6308113/15637520
2759.74/2733.82	c cleaning 47003 clauses out of 94007 with flag 6620662/15685519
2768.48/2742.57	c cleaning 47996 clauses out of 96002 with flag 7082881/15734517
2777.50/2751.48	c cleaning 48998 clauses out of 98006 with flag 7522098/15784517
2785.03/2758.68	c cleaning 49992 clauses out of 100008 with flag 7820434/15835517
2792.23/2765.85	c cleaning 51008 clauses out of 102017 with flag 8120038/15887518
2798.52/2771.98	c cleaning 51998 clauses out of 104009 with flag 8371561/15940518
2805.46/2778.90	c cleaning 53001 clauses out of 106011 with flag 8625849/15994518
2814.10/2787.44	c cleaning 53998 clauses out of 108009 with flag 8969313/16049517
2823.01/2796.40	c cleaning 54994 clauses out of 110012 with flag 9357225/16105518
2831.86/2805.27	c cleaning 56002 clauses out of 112018 with flag 9699296/16162518
2840.49/2813.98	c cleaning 57001 clauses out of 114015 with flag 10008607/16220517
2850.74/2824.16	c cleaning 58002 clauses out of 116014 with flag 10344231/16279517
2863.08/2836.37	c cleaning 58987 clauses out of 118012 with flag 10721739/16339517
2872.41/2845.72	c cleaning 60010 clauses out of 120026 with flag 11043761/16400518
2884.56/2857.72	c cleaning 61001 clauses out of 122015 with flag 11419360/16462517
2896.94/2870.15	c cleaning 62003 clauses out of 124014 with flag 11836685/16525517
2910.97/2884.18	c cleaning 62999 clauses out of 126013 with flag 12347252/16589519
2923.01/2896.07	c cleaning 64000 clauses out of 128014 with flag 12810766/16654519
2932.32/2905.46	c cleaning 65007 clauses out of 130013 with flag 13211315/16720518
2943.23/2916.28	c cleaning 65997 clauses out of 132006 with flag 13654232/16787518
2955.70/2928.72	c cleaning 66993 clauses out of 134009 with flag 14134568/16855518
2966.11/2939.13	c cleaning 67996 clauses out of 136021 with flag 14480499/16924523
2976.31/2949.24	c cleaning 68998 clauses out of 138019 with flag 14792321/16994517
2990.87/2963.99	c cleaning 70006 clauses out of 140022 with flag 15323923/17065518
3005.97/2978.93	c cleaning 71008 clauses out of 142016 with flag 15940165/17137518
3026.62/2999.32	c cleaning 72002 clauses out of 144007 with flag 16604162/17210517
3045.34/3017.81	c cleaning 72994 clauses out of 146006 with flag 17127324/17284518
3064.21/3036.77	c cleaning 73997 clauses out of 148011 with flag 17712871/17359517
3082.10/3054.56	c cleaning 75001 clauses out of 150014 with flag 18303365/17435517
3097.77/3070.06	c cleaning 76004 clauses out of 152013 with flag 18897930/17512517
3114.23/3086.51	c cleaning 76999 clauses out of 154011 with flag 19604870/17590519
3132.84/3105.05	c cleaning 77994 clauses out of 156010 with flag 20295299/17669517
3151.67/3123.67	c cleaning 78999 clauses out of 158016 with flag 20976857/17749517
3167.53/3139.69	c cleaning 80003 clauses out of 160017 with flag 21544907/17830517
3185.37/3157.49	c cleaning 80993 clauses out of 162014 with flag 22193961/17912517
3204.18/3176.05	c cleaning 82000 clauses out of 164023 with flag 22873070/17995519
3220.14/3192.09	c cleaning 83002 clauses out of 166021 with flag 23493234/18079517
3241.45/3213.22	c cleaning 84001 clauses out of 168020 with flag 24176479/18164518
3264.44/3236.13	c cleaning 85000 clauses out of 170018 with flag 24856407/18250517
3281.10/3252.68	c cleaning 86004 clauses out of 172020 with flag 25404327/18337519
3301.33/3272.64	c cleaning 86994 clauses out of 174014 with flag 25981271/18425517
3322.69/3294.07	c cleaning 87993 clauses out of 176020 with flag 26667971/18514517
3337.26/3308.51	c cleaning 89000 clauses out of 178029 with flag 27115028/18604519
3351.19/3322.25	c cleaning 90006 clauses out of 180027 with flag 27536379/18695517
3367.37/3338.13	c cleaning 91005 clauses out of 182022 with flag 28039984/18787518
3391.01/3361.82	c cleaning 92003 clauses out of 184016 with flag 28684311/18880517
3418.71/3389.44	c cleaning 93002 clauses out of 186013 with flag 29395564/18974517
3441.09/3411.69	c cleaning 94000 clauses out of 188012 with flag 30062402/19069518
3459.86/3430.30	c cleaning 94999 clauses out of 190011 with flag 30532600/19165517
3475.81/3446.03	c cleaning 95994 clauses out of 192012 with flag 30934409/19262517
3493.27/3463.23	c cleaning 97004 clauses out of 194021 with flag 31352239/19360520
3509.94/3479.96	c cleaning 97994 clauses out of 196014 with flag 31751514/19459517
3528.67/3497.45	c cleaning 99000 clauses out of 198022 with flag 32180777/19559519
3549.21/3517.75	c cleaning 100003 clauses out of 200021 with flag 32684906/19660518
3574.02/3542.34	c cleaning 100998 clauses out of 202017 with flag 33286255/19762517
3600.07/3568.11	c starts		: 3428
3600.07/3568.12	c conflicts		: 19865119
3600.07/3568.12	c decisions		: 24383633
3600.07/3568.12	c propagations		: 285133677
3600.07/3568.12	c inspects		: 34459120568
3600.07/3568.12	c shortcuts		: 0
3600.07/3568.12	c learnt literals	: 0
3600.07/3568.12	c learnt binary clauses	: 1
3600.07/3568.12	c learnt ternary clauses	: 14
3600.07/3568.12	c learnt constraints	: 19865119
3600.07/3568.12	c ignored constraints	: 0
3600.07/3568.12	c root simplifications	: 0
3600.07/3568.12	c removed literals (reason simplification)	: 0
3600.07/3568.12	c reason swapping (by a shorter reason)	: 0
3600.07/3568.12	c Calls to reduceDB	: 435
3600.07/3568.12	c Number of update (reduction) of LBD	: 3113393
3600.07/3568.12	c Imported unit clauses	: 0
3600.07/3568.12	c No decision after first conflict	: false
3600.07/3568.12	c number of reductions to clauses (during analyze)	: 0
3600.07/3568.12	c number of learned constraints concerned by reduction	: 0
3600.07/3568.12	c number of learning phase by resolution	: 0
3600.07/3568.12	c number of learning phase by cutting planes	: 0
3600.07/3568.12	c number of rounding to 1 operations	: 0
3600.07/3568.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3568.12	c number of reductions of the coefficients by power 2 	: 0
3600.07/3568.12	c number of right shift for reduction by power 2 	: 0
3600.07/3568.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3568.12	c number of ending skipping 	: 0
3600.07/3568.12	c number of internal skipping 	: 0
3600.07/3568.12	c number of derivation steps 	: 0
3600.07/3568.12	c number of skipped derivation steps 	: 0
3600.07/3568.12	c number of remaining unassigned 	: 0
3600.07/3568.12	c number of remaining assigned 	: 0
3600.07/3568.12	c number of falsified literals weakened from reason	: 0
3600.07/3568.12	c number of falsified literals weakened from conflict	: 0
3600.07/3568.12	c time for arithmetic operations	: 0
3600.07/3568.12	c minimum degree of deleted constraints	: null
3600.07/3568.12	c maximum degree of deleted constraints	: null
3600.07/3568.12	c number of deleted constraints	: 0
3600.07/3568.12	c speed (assignments/second)	: 79920.95655010965
3600.07/3568.12	c non guided choices	: 0
3600.07/3568.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 203620
3600.07/3568.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.07/3568.19	s SATISFIABLE
3600.07/3568.19	c Found 6 solution(s)
3600.07/3568.19	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 
3600.07/3568.20	c objective function=3851
3600.07/3568.20	c Total wall clock time (in seconds): 3567.843

Verifier Data 

OK	3851

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (49731 MiB free)
  memory of node 1: 64510 MiB (58448 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459546-1721903221/watcher-4459546-1721903221 -o /tmp/evaluation-result-4459546-1721903221/solver-4459546-1721903221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721903221-227222 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459546-1721903221.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=227273, runsolver pid=227262

[startup+0.10008 s]*
/proc/loadavg: 3.08 3.11 3.39 3/284 227311
/proc/meminfo: memFree=110695516/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=18175400 memory=33208 CPUtime=0.01 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 3377 0 14 0 0 1 0 0 20 0 7 0 26846248 18611609600 8302 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16784588 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4543850 8302 3795 1 0 542675 0
[pid=227273/tid=227289] ppid=227262 vsize=18175400 memory=4026531971 CPUtime=0 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) D 227262 227273 225181 0 -1 4194368 2813 0 9 0 0 0 0 0 20 0 7 0 26846251 18611609600 8302 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16784588 0 0 0 -1 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 33208 KiB

[startup+0.206487 s]*
/proc/loadavg: 3.08 3.11 3.39 3/284 227311
/proc/meminfo: memFree=110661892/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=18175400 memory=39604 CPUtime=0.01 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 4949 0 25 0 0 1 0 0 20 0 7 0 26846248 18611609600 9901 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16784588 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4543850 9901 3827 1 0 544771 0
[pid=227273/tid=227289] ppid=227262 vsize=18175400 memory=8737651120394928259 CPUtime=0.01 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) D 227262 227273 225181 0 -1 4194368 4385 0 20 0 0 1 0 0 20 0 7 0 26846251 18611609600 9901 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 14 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 39604 KiB

[startup+0.305525 s]*
/proc/loadavg: 3.08 3.11 3.39 11/328 227355
/proc/meminfo: memFree=110612564/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=18975048 memory=56800 CPUtime=0.09 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 6770 0 37 0 7 2 0 0 20 0 18 0 26846248 19430449152 14200 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4743762 14200 5594 1 0 548910 0
[pid=227273/tid=227289] ppid=227262 vsize=18975048 memory=-9175354600656183996 CPUtime=0.06 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 1077936192 5650 0 31 0 4 2 0 0 20 0 18 0 26846251 19430449152 14200 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=18975048 memory=1470778688036110937 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26846272 19430449152 14200 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 26846273 19430449152 14200 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56800 KiB

[startup+0.701164 s]
/proc/loadavg: 3.08 3.11 3.39 15/330 227357
/proc/meminfo: memFree=110439976/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19041612 memory=87332 CPUtime=0.83 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 10616 0 37 0 80 3 0 0 20 0 19 0 26846248 19498610688 21833 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4760403 21833 5898 1 0 551607 0
[pid=227273/tid=227289] ppid=227262 vsize=19041612 memory=0 CPUtime=0.44 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 6078 0 31 0 42 2 0 0 20 0 19 0 26846251 19498610688 21833 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19041612 memory=16076 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26846272 19498610688 21833 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26846273 19498610688 21833 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19041612 memory=139824338085424 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 26846291 19498610688 21833 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87332 KiB

[startup+1.50024 s]
/proc/loadavg: 3.08 3.11 3.39 9/312 227361
/proc/meminfo: memFree=110388504/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19041612 memory=143164 CPUtime=2.23 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 17003 0 37 0 219 4 0 0 20 0 19 0 26846248 19498610688 35791 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4760403 35791 5898 1 0 553620 0
[pid=227273/tid=227289] ppid=227262 vsize=19041612 memory=0 CPUtime=1.22 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 6543 0 31 0 119 3 0 0 20 0 19 0 26846251 19498610688 35791 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19041612 memory=16076 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26846272 19498610688 35791 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26846273 19498610688 35791 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 26846291 19498610688 35791 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 143164 KiB

[startup+3.10563 s]
/proc/loadavg: 3.47 3.19 3.42 6/310 227395
/proc/meminfo: memFree=110042408/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=295348 CPUtime=3.92 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 19297 0 37 0 385 7 0 0 20 0 20 0 26846248 19566772224 73837 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 73837 5909 1 0 553910 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=0 CPUtime=2.66 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 6861 0 31 0 263 3 0 0 20 0 20 0 26846251 19566772224 73837 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=16076 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 73837 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=129 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 73837 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 73837 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 295348 KiB

[startup+6.30027 s]
/proc/loadavg: 3.47 3.19 3.42 3/284 227428
/proc/meminfo: memFree=109683048/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=427460 CPUtime=7.28 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 19738 0 37 0 718 10 0 0 20 0 20 0 26846248 19566772224 106865 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 106865 5909 1 0 553913 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=1470778688036110937 CPUtime=5.7 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 6957 0 31 0 567 3 0 0 20 0 20 0 26846251 19566772224 106865 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 106865 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=16076 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 106865 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=11480 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 106865 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 7.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 427460 KiB

[startup+12.7003 s]
/proc/loadavg: 3.24 3.15 3.40 3/284 227429
/proc/meminfo: memFree=108744036/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=849868 CPUtime=14.08 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 25652 0 37 0 1387 21 0 0 20 0 20 0 26846248 19566772224 212467 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 212467 5918 1 0 794139 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=849868 CPUtime=11.84 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 7922 0 31 0 1178 6 0 0 20 0 20 0 26846251 19566772224 212467 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 212467 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 212467 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=321 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 212467 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 14.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 849868 KiB

[startup+25.5003 s]
/proc/loadavg: 3.13 3.13 3.39 3/284 227431
/proc/meminfo: memFree=106800876/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=1586352 CPUtime=27.31 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 29173 0 37 0 2694 37 0 0 20 0 20 0 26846248 19566772224 396588 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 396588 5918 1 0 925738 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=849868 CPUtime=24.1 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 9029 0 31 0 2402 8 0 0 20 0 20 0 26846251 19566772224 396588 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=11480 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 396588 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=-9031802362533749436 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 396588 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 396588 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 27.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1586352 KiB

[startup+51.1072 s]
/proc/loadavg: 2.74 3.04 3.36 3/284 227435
/proc/meminfo: memFree=104379176/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=2509560 CPUtime=53.49 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 35920 0 37 0 5294 55 0 0 20 0 20 0 26846248 19566772224 627390 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 627390 5934 1 0 1053163 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=2452216 CPUtime=48.93 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) S 227262 227273 225181 0 -1 1077936192 10643 0 31 0 4881 12 0 0 20 0 20 0 26846251 19566772224 627390 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=2444024 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 627390 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=1470778688036110937 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 627390 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=849868 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 627390 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 53.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2509560 KiB


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

/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 2443780 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=11480 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 921 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 2443780 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=61408 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 2443780 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3190.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9775120 KiB

[startup+3222.3 s]
/proc/loadavg: 2.06 2.12 2.16 3/280 228830
/proc/meminfo: memFree=87035844/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=9775136 CPUtime=3250.53 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 6628117 0 37 0 324302 751 0 0 20 0 20 0 26846248 19566772224 2443784 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 2443784 5934 1 0 2849210 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=12256 CPUtime=3169.48 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 1880858 0 31 0 316694 254 0 0 20 0 20 0 26846251 19566772224 2443784 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=9775136 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 2443784 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=6776 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 922 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 2443784 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=9775136 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 2443784 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3250.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9775136 KiB

[startup+3282.3 s]
/proc/loadavg: 2.14 2.12 2.16 3/280 228840
/proc/meminfo: memFree=87033380/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=9776316 CPUtime=3311 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 6871108 0 37 0 330334 766 0 0 20 0 20 0 26846248 19566772224 2444079 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 2444079 5934 1 0 2849210 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=9776316 CPUtime=3228.32 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 1912017 0 31 0 322575 257 0 0 20 0 20 0 26846251 19566772224 2444079 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=9776316 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 2444079 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=5464 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 922 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 2444079 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=9776316 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 2444079 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3311 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9776316 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 2.13 2.16 3/280 228852
/proc/meminfo: memFree=87031488/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=9777412 CPUtime=3371.56 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 7195978 0 37 0 336366 790 0 0 20 0 20 0 26846248 19566772224 2444353 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 2444353 5934 1 0 2849210 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=11480 CPUtime=3287.43 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 2002294 0 31 0 328477 266 0 0 20 0 20 0 26846251 19566772224 2444353 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=2236 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 2444353 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=61408 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 922 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 2444353 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=1984 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 2444353 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3371.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9777412 KiB

[startup+3402.3 s]
/proc/loadavg: 2.15 2.13 2.16 3/280 228863
/proc/meminfo: memFree=86826608/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=9981216 CPUtime=3431.87 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 7334817 0 37 0 342384 803 0 0 20 0 20 0 26846248 19566772224 2495304 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 2495304 5934 1 0 2849210 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=9777412 CPUtime=3346.66 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 2005161 0 31 0 334400 266 0 0 20 0 20 0 26846251 19566772224 2495304 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=9777412 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 2495304 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=9981216 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 1017 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 2495304 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=9981216 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 2495304 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3431.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9981216 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.12 2.16 3/280 228873
/proc/meminfo: memFree=86006148/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=10799684 CPUtime=3492.37 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 7540025 0 37 0 348406 831 0 0 20 0 20 0 26846248 19566772224 2699921 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 2699921 5934 1 0 2849210 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=10161192 CPUtime=3405.44 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 2005696 0 31 0 340277 267 0 0 20 0 20 0 26846251 19566772224 2699921 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=9981216 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 2699921 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=-9031802362533749436 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 1018 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 2699921 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=10504316 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 2699921 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3492.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10799684 KiB

[startup+3522.3 s]
/proc/loadavg: 1.99 2.10 2.15 2/253 229300
/proc/meminfo: memFree=99077452/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=11748476 CPUtime=3553.8 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 7835334 0 37 0 354500 880 0 0 20 0 20 0 26846248 19566772224 2937119 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 2937119 5934 1 0 3378781 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=10504316 CPUtime=3464.65 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 2156742 0 31 0 346168 297 0 0 20 0 20 0 26846251 19566772224 2937119 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=5464 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 2937119 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=-9031802362533749436 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 1020 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 2937119 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=5464 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 2937119 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3553.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11748476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3568.11 s]
/proc/loadavg: 1.52 1.96 2.09 2/253 229306
/proc/meminfo: memFree=98986948/131524600 swapFree=131054736/131071996
[pid=227273] ppid=227262 vsize=19108176 memory=11838596 CPUtime=3600.07 cores=4,6
/proc/227273/stat : 227273 (java) S 227262 227273 225181 0 -1 1077936128 7845784 0 37 0 359122 885 0 0 20 0 20 0 26846248 19566772224 2959649 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
/proc/227273/statm: 4777044 2959649 5934 1 0 3378781 0
[pid=227273/tid=227289] ppid=227262 vsize=19108176 memory=11838596 CPUtime=3509.66 cores=4,6
/proc/227273/task/227289/stat : 227289 (java) R 227262 227273 225181 0 -1 4194368 2166002 0 31 0 350668 298 0 0 20 0 20 0 26846251 19566772224 2959649 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227322] ppid=227262 vsize=19108176 memory=11480 CPUtime=0 cores=4,6
/proc/227273/task/227322/stat : 227322 (Finalizer) S 227262 227273 225181 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26846272 19566772224 2959649 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227352] ppid=227262 vsize=19108176 memory=1848 CPUtime=0 cores=4,6
/proc/227273/task/227352/stat : 227352 (Common-Cleaner) S 227262 227273 225181 0 -1 1077936192 1020 0 0 0 0 0 0 0 20 0 20 0 26846273 19566772224 2959649 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
[pid=227273/tid=227356] ppid=227262 vsize=19108176 memory=11838596 CPUtime=0 cores=4,6
/proc/227273/task/227356/stat : 227356 (Timer-0) S 227262 227273 225181 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26846291 19566772224 2959649 134679101440 94576658673664 94576658677360 140735916422576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94576658685176 94576658685968 94576680968192 140735916426247 140735916426337 140735916426337 140735916433352 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11838596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.39 s, system=9.08802 s

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

[startup+3568.41 s]
/proc/loadavg: 1.52 1.96 2.09 2/235 229309
/proc/meminfo: memFree=106821300/131524600 swapFree=131054736/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): 3568.44
CPU time (s): 3600.47
CPU user time (s): 3591.39
CPU system time (s): 9.08802
CPU usage (%): 100.898
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 11839944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.39
system time used= 9.08802
maximum resident set size= 11840296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7851253
page faults= 37
swaps= 0
block input operations= 12576
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117628
involuntary context switches= 17776


# summary of solver processes directly reported to runsolver:
#   pid: 227273
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3591.39
#   total CPU system time (s): 9.08802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08678 second user time and 17.3432 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-25 12:27:01
IDJOB=4459546
IDBENCH=178829
IDSOLVER=3058
FILE ID=nodeC034/4459546-1721903221
RUNJOBID= nodeC034-1721903221-227222
SLURM_JOB_ID= 8089371
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459546-1721903221/watcher-4459546-1721903221 -o /tmp/evaluation-result-4459546-1721903221/solver-4459546-1721903221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721903221-227222 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459546-1721903221.opb

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

MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=1437230497

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110771716 kB
MemAvailable:   129690088 kB
Buffers:          311048 kB
Cached:         19366256 kB
SwapCached:          112 kB
Active:          1731400 kB
Inactive:       18307468 kB
Active(anon):       1816 kB
Inactive(anon):   402324 kB
Active(file):    1729584 kB
Inactive(file): 17905144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:             10404 kB
Writeback:            40 kB
AnonPages:        360776 kB
Mapped:            93536 kB
Shmem:             42580 kB
KReclaimable:     246584 kB
Slab:             362068 kB
SReclaimable:     246584 kB
SUnreclaim:       115484 kB
KernelStack:        3852 kB
PageTables:         9988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     716996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    313344 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:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC034 at 2024-07-25 13:26:29