Trace number 4432223

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)22 3600.31 3603.42

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
MD5SUMc74ef50fdcad1c092f72b2454e0c2ee1
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 benchmark20
Best CPU time to get the best result obtained on this benchmark0.047891
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81
Total number of constraints81
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 81
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 81
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432223-1721077644.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.13	c ... done. Wall clock time 0.014s.
0.13/0.13	c declared #vars     81
0.13/0.13	c #constraints  81
0.13/0.13	c constraints type 
0.13/0.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 81
0.13/0.13	c 81 constraints processed.
0.13/0.14	c objective function length is 81 literals
0.13/0.14	c SATISFIABLE
0.13/0.15	c OPTIMIZING...
0.13/0.15	c Got one! Elapsed wall clock time (in seconds):0.028
0.13/0.15	o 27
0.13/0.16	c Got one! Elapsed wall clock time (in seconds):0.032
0.13/0.16	o 26
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.061
0.13/0.18	o 25
0.52/0.33	c cleaning 2742 clauses out of 5490 with flag 11973/5490
0.91/0.52	c cleaning 4373 clauses out of 8748 with flag 25520/11490
1.11/0.64	c Got one! Elapsed wall clock time (in seconds):0.525
1.11/0.64	o 24
1.29/0.74	c cleaning 7416 clauses out of 14837 with flag 11709/21952
1.49/0.83	c cleaning 6708 clauses out of 13422 with flag 25280/27953
1.69/0.91	c cleaning 6856 clauses out of 13714 with flag 41064/34953
1.83/1.03	c cleaning 7426 clauses out of 14857 with flag 59334/42952
1.99/1.13	c cleaning 8212 clauses out of 16431 with flag 79793/51952
2.08/1.24	c cleaning 9107 clauses out of 18220 with flag 102169/61953
2.18/1.38	c cleaning 10055 clauses out of 20112 with flag 127012/72952
2.38/1.55	c cleaning 11027 clauses out of 22057 with flag 154756/84952
2.58/1.72	c cleaning 12013 clauses out of 24030 with flag 184403/97952
2.78/1.91	c cleaning 13007 clauses out of 26017 with flag 216128/111952
2.99/2.11	c cleaning 14004 clauses out of 28010 with flag 249877/126952
3.20/2.34	c cleaning 14999 clauses out of 30006 with flag 285513/142952
3.43/2.58	c cleaning 15999 clauses out of 32007 with flag 323585/159952
3.72/2.88	c cleaning 16998 clauses out of 34008 with flag 364011/177952
4.03/3.19	c cleaning 17999 clauses out of 36010 with flag 406418/196952
4.42/3.55	c cleaning 18998 clauses out of 38012 with flag 452455/216953
4.83/3.90	c cleaning 19997 clauses out of 40013 with flag 501754/237952
5.23/4.32	c cleaning 21000 clauses out of 42016 with flag 552851/259952
5.63/4.72	c cleaning 22004 clauses out of 44016 with flag 605619/282952
6.03/5.15	c cleaning 22997 clauses out of 46012 with flag 659394/306952
6.03/5.18	c Got one! Elapsed wall clock time (in seconds):5.065
6.03/5.18	o 23
6.23/5.30	c cleaning 14315 clauses out of 28647 with flag 4889/312584
6.23/5.39	c cleaning 10161 clauses out of 20331 with flag 18458/318583
6.34/5.47	c cleaning 8577 clauses out of 17170 with flag 34175/325583
6.43/5.56	c cleaning 8294 clauses out of 16596 with flag 52498/333586
6.62/5.65	c cleaning 8641 clauses out of 17299 with flag 72760/342583
6.80/5.75	c cleaning 9318 clauses out of 18658 with flag 95069/352583
6.90/5.88	c cleaning 10167 clauses out of 20341 with flag 121078/363584
7.11/6.01	c cleaning 11079 clauses out of 22174 with flag 149142/375584
7.30/6.20	c cleaning 12038 clauses out of 24094 with flag 179746/388583
7.40/6.38	c cleaning 13015 clauses out of 26056 with flag 212896/402583
7.60/6.57	c cleaning 14013 clauses out of 28041 with flag 247552/417583
7.80/6.77	c cleaning 15012 clauses out of 30029 with flag 284498/433584
8.11/7.00	c cleaning 15999 clauses out of 32016 with flag 323857/450583
8.30/7.23	c cleaning 17004 clauses out of 34017 with flag 364124/468583
8.50/7.47	c cleaning 18000 clauses out of 36013 with flag 406796/487583
8.80/7.75	c cleaning 18998 clauses out of 38014 with flag 452236/507584
9.11/8.05	c cleaning 20001 clauses out of 40016 with flag 499148/528584
9.50/8.41	c cleaning 21003 clauses out of 42016 with flag 548421/550585
9.80/8.75	c cleaning 21999 clauses out of 44011 with flag 599972/573583
10.20/9.16	c cleaning 23002 clauses out of 46014 with flag 653795/597585
10.60/9.59	c cleaning 23997 clauses out of 48010 with flag 709557/622583
11.10/10.04	c cleaning 25002 clauses out of 50013 with flag 768037/648583
11.60/10.58	c cleaning 25994 clauses out of 52011 with flag 828403/675583
12.21/11.15	c cleaning 26998 clauses out of 54017 with flag 890625/703583
12.80/11.73	c cleaning 27998 clauses out of 56020 with flag 955776/732584
13.30/12.29	c cleaning 29005 clauses out of 58022 with flag 1022624/762584
14.00/12.98	c cleaning 30000 clauses out of 60016 with flag 1092359/793583
14.70/13.63	c cleaning 31003 clauses out of 62016 with flag 1164388/825583
15.50/14.43	c cleaning 32000 clauses out of 64013 with flag 1238634/858583
16.32/15.25	c cleaning 32998 clauses out of 66013 with flag 1315569/892583
17.13/16.02	c cleaning 33999 clauses out of 68015 with flag 1394257/927583
17.92/16.88	c cleaning 34996 clauses out of 70016 with flag 1474963/963583
18.92/17.80	c cleaning 35994 clauses out of 72020 with flag 1558038/1000583
19.92/18.80	c cleaning 37004 clauses out of 74026 with flag 1643816/1038583
20.91/19.81	c cleaning 37996 clauses out of 76022 with flag 1731488/1077583
22.41/21.30	c cleaning 39004 clauses out of 78028 with flag 1822041/1117585
23.41/22.32	c cleaning 40002 clauses out of 80022 with flag 1914131/1158583
24.50/23.46	c cleaning 41002 clauses out of 82021 with flag 2008541/1200584
25.60/24.53	c cleaning 42000 clauses out of 84019 with flag 2105362/1243584
26.70/25.68	c cleaning 42997 clauses out of 86019 with flag 2204019/1287584
27.89/26.85	c cleaning 43999 clauses out of 88021 with flag 2305188/1332583
29.10/28.06	c cleaning 44998 clauses out of 90022 with flag 2408003/1378583
30.50/29.48	c cleaning 45999 clauses out of 92024 with flag 2513472/1425583
32.12/31.03	c cleaning 46997 clauses out of 94026 with flag 2621155/1473584
33.43/32.32	c cleaning 48001 clauses out of 96029 with flag 2731186/1522584
34.92/33.88	c cleaning 49002 clauses out of 98027 with flag 2843440/1572583
36.52/35.42	c cleaning 50000 clauses out of 100026 with flag 2957553/1623584
38.12/37.03	c cleaning 50999 clauses out of 102025 with flag 3074908/1675583
39.92/38.68	c cleaning 52006 clauses out of 104026 with flag 3196104/1728583
41.63/40.38	c cleaning 53007 clauses out of 106020 with flag 3322668/1782583
43.22/41.96	c cleaning 54006 clauses out of 108013 with flag 3451777/1837583
44.91/43.65	c cleaning 54998 clauses out of 110007 with flag 3579724/1893583
46.91/45.63	c cleaning 56002 clauses out of 112009 with flag 3708682/1950583
48.50/47.24	c cleaning 57001 clauses out of 114007 with flag 3839862/2008583
50.14/48.85	c cleaning 57998 clauses out of 116006 with flag 3972868/2067583
51.83/50.59	c cleaning 59000 clauses out of 118009 with flag 4108357/2127584
53.53/52.21	c cleaning 60002 clauses out of 120008 with flag 4245146/2188583
55.22/53.93	c cleaning 60999 clauses out of 122006 with flag 4384805/2250583
56.92/55.60	c cleaning 62002 clauses out of 124008 with flag 4526264/2313584
58.74/57.48	c cleaning 63000 clauses out of 126005 with flag 4672234/2377583
60.93/59.60	c cleaning 64000 clauses out of 128006 with flag 4818809/2442584
63.03/61.73	c cleaning 64997 clauses out of 130005 with flag 4967529/2508583
64.73/63.49	c cleaning 66001 clauses out of 132009 with flag 5118792/2575584
67.23/65.91	c cleaning 67000 clauses out of 134009 with flag 5272747/2643585
69.43/68.11	c cleaning 68002 clauses out of 136009 with flag 5428045/2712585
72.13/70.80	c cleaning 68999 clauses out of 138006 with flag 5586633/2782584
74.35/73.01	c cleaning 70004 clauses out of 140007 with flag 5747046/2853584
76.49/75.17	c cleaning 70999 clauses out of 142003 with flag 5910160/2925584
78.18/76.83	c cleaning 72001 clauses out of 144004 with flag 6073754/2998584
80.38/79.06	c cleaning 72993 clauses out of 146002 with flag 6242801/3072583
82.77/81.41	c cleaning 73999 clauses out of 148009 with flag 6412862/3147583
84.79/83.47	c cleaning 74998 clauses out of 150010 with flag 6584233/3223583
86.79/85.48	c cleaning 76002 clauses out of 152012 with flag 6757828/3300583
89.28/87.97	c cleaning 76995 clauses out of 154010 with flag 6933361/3378583
91.88/90.59	c cleaning 78001 clauses out of 156016 with flag 7111171/3457584
94.68/93.37	c cleaning 79000 clauses out of 158014 with flag 7291871/3537583
97.08/95.73	c cleaning 80005 clauses out of 160015 with flag 7474993/3618584
99.67/98.34	c cleaning 81000 clauses out of 162009 with flag 7660034/3700583
101.97/100.69	c cleaning 82000 clauses out of 164009 with flag 7847670/3783583
104.89/103.51	c cleaning 83001 clauses out of 166009 with flag 8036438/3867583
107.56/106.25	c cleaning 84001 clauses out of 168008 with flag 8228308/3952583
110.35/109.08	c cleaning 84999 clauses out of 170007 with flag 8421563/4038583
113.02/111.74	c cleaning 85996 clauses out of 172008 with flag 8617702/4125583
116.40/115.15	c cleaning 87006 clauses out of 174013 with flag 8816104/4213584
119.47/118.27	c cleaning 88001 clauses out of 176008 with flag 9016798/4302585
123.04/121.80	c cleaning 89001 clauses out of 178006 with flag 9219945/4392584
126.21/125.03	c cleaning 90000 clauses out of 180004 with flag 9425939/4483583
129.29/128.14	c cleaning 90997 clauses out of 182005 with flag 9634325/4575584
132.56/131.48	c cleaning 92000 clauses out of 184007 with flag 9843764/4668583
135.97/134.84	c cleaning 93000 clauses out of 186007 with flag 10055878/4762583
139.64/138.51	c cleaning 94000 clauses out of 188007 with flag 10269522/4857583
143.11/142.02	c cleaning 95002 clauses out of 190010 with flag 10486279/4953586
146.27/145.23	c cleaning 95997 clauses out of 192005 with flag 10705722/5050583
149.96/148.94	c cleaning 96998 clauses out of 194009 with flag 10928516/5148584
153.89/152.85	c cleaning 98000 clauses out of 196012 with flag 11151989/5247585
158.08/157.01	c cleaning 99001 clauses out of 198010 with flag 11377068/5347583
162.47/161.43	c cleaning 100002 clauses out of 200009 with flag 11605314/5448583
166.66/165.66	c cleaning 101001 clauses out of 202007 with flag 11836011/5550583
171.66/170.66	c cleaning 101997 clauses out of 204007 with flag 12068813/5653584
176.75/175.71	c cleaning 102998 clauses out of 206009 with flag 12304198/5757583
181.10/180.09	c cleaning 103998 clauses out of 208011 with flag 12541777/5862583
185.49/184.42	c cleaning 105006 clauses out of 210017 with flag 12781317/5968587
190.58/189.59	c cleaning 105995 clauses out of 212008 with flag 13021838/6075584
195.67/194.61	c cleaning 107000 clauses out of 214013 with flag 13266687/6183584
199.96/198.98	c cleaning 108004 clauses out of 216014 with flag 13512013/6292585
204.36/203.38	c cleaning 109001 clauses out of 218009 with flag 13759175/6402584
209.67/208.61	c cleaning 110001 clauses out of 220008 with flag 14011003/6513584
214.17/213.13	c cleaning 110995 clauses out of 222006 with flag 14264769/6625583
219.65/218.68	c cleaning 112005 clauses out of 224011 with flag 14518824/6738583
225.04/224.10	c cleaning 113000 clauses out of 226006 with flag 14775981/6852583
230.83/229.88	c cleaning 113999 clauses out of 228007 with flag 15036049/6967584
236.42/235.45	c cleaning 114998 clauses out of 230008 with flag 15297065/7083584
242.01/241.01	c cleaning 116003 clauses out of 232009 with flag 15560895/7200583
247.30/246.30	c cleaning 116998 clauses out of 234006 with flag 15826216/7318583
252.79/251.85	c cleaning 118001 clauses out of 236010 with flag 16094637/7437585
257.97/257.07	c cleaning 119001 clauses out of 238007 with flag 16365562/7557583
262.76/261.84	c cleaning 119997 clauses out of 240006 with flag 16637557/7678583
269.03/268.01	c cleaning 121000 clauses out of 242010 with flag 16912354/7800584
274.91/273.94	c cleaning 122003 clauses out of 244009 with flag 17189963/7923583
281.11/280.11	c cleaning 123001 clauses out of 246008 with flag 17470424/8047585
287.19/286.20	c cleaning 124001 clauses out of 248006 with flag 17752629/8172584
293.98/293.08	c cleaning 125000 clauses out of 250005 with flag 18037809/8298584
300.77/299.80	c cleaning 125999 clauses out of 252004 with flag 18326365/8425583
306.26/305.31	c cleaning 126998 clauses out of 254006 with flag 18615420/8553584
312.45/311.52	c cleaning 127997 clauses out of 256007 with flag 18907187/8682583
320.00/319.10	c cleaning 129002 clauses out of 258011 with flag 19200550/8812584
326.68/325.74	c cleaning 130002 clauses out of 260008 with flag 19496832/8943583
333.67/332.77	c cleaning 131000 clauses out of 262008 with flag 19793302/9075585
341.65/340.79	c cleaning 131999 clauses out of 264006 with flag 20092977/9208583
348.83/347.93	c cleaning 132998 clauses out of 266007 with flag 20395634/9342583
356.62/355.79	c cleaning 134003 clauses out of 268009 with flag 20700306/9477583
364.20/363.31	c cleaning 135001 clauses out of 270006 with flag 21006669/9613583
372.58/371.77	c cleaning 136003 clauses out of 272007 with flag 21315849/9750585
380.45/379.56	c cleaning 137002 clauses out of 274003 with flag 21626872/9888584
388.24/387.34	c cleaning 137996 clauses out of 276000 with flag 21940425/10027583
395.32/394.44	c cleaning 138998 clauses out of 278004 with flag 22256313/10167583
403.81/402.91	c cleaning 139999 clauses out of 280007 with flag 22574435/10308584
411.29/410.45	c cleaning 140995 clauses out of 282008 with flag 22895407/10450584
419.38/418.50	c cleaning 141999 clauses out of 284012 with flag 23218212/10593583
426.36/425.52	c cleaning 143002 clauses out of 286013 with flag 23542504/10737583
433.25/432.41	c cleaning 144004 clauses out of 288012 with flag 23870236/10882584
440.54/439.71	c cleaning 145002 clauses out of 290007 with flag 24198761/11028583
447.32/446.50	c cleaning 146000 clauses out of 292006 with flag 24530441/11175584
454.62/453.80	c cleaning 146998 clauses out of 294005 with flag 24863790/11323583
461.06/460.28	c cleaning 148001 clauses out of 296007 with flag 25199508/11472583
468.95/468.15	c cleaning 148997 clauses out of 298006 with flag 25537275/11622583
477.43/476.67	c cleaning 149993 clauses out of 300009 with flag 25877873/11773583
486.62/485.84	c cleaning 150999 clauses out of 302017 with flag 26220125/11925584
495.80/495.05	c cleaning 152000 clauses out of 304017 with flag 26565859/12078583
506.07/505.30	c cleaning 153005 clauses out of 306017 with flag 26913057/12232583
514.65/513.98	c cleaning 153999 clauses out of 308013 with flag 27263019/12387584
523.33/522.65	c cleaning 155007 clauses out of 310014 with flag 27614860/12543584
533.21/532.50	c cleaning 156001 clauses out of 312010 with flag 27968403/12700587
542.18/541.50	c cleaning 156999 clauses out of 314006 with flag 28324632/12858584
553.47/552.70	c cleaning 158001 clauses out of 316007 with flag 28683510/13017584
563.15/562.47	c cleaning 158991 clauses out of 318005 with flag 29043922/13177583
571.74/571.10	c cleaning 160002 clauses out of 320014 with flag 29407852/13338583
581.41/580.74	c cleaning 161005 clauses out of 322014 with flag 29773280/13500585
590.89/590.21	c cleaning 161996 clauses out of 324007 with flag 30142393/13663583
599.57/599.00	c cleaning 163003 clauses out of 326012 with flag 30514477/13827584
608.85/608.27	c cleaning 164003 clauses out of 328008 with flag 30886771/13992583
619.13/618.59	c cleaning 164996 clauses out of 330005 with flag 31261056/14158583
628.81/628.27	c cleaning 166003 clauses out of 332009 with flag 31638817/14325583
638.60/638.03	c cleaning 167000 clauses out of 334007 with flag 32017408/14493584
648.37/647.89	c cleaning 167996 clauses out of 336006 with flag 32398984/14662583
657.67/657.19	c cleaning 169000 clauses out of 338011 with flag 32784193/14832584
667.45/666.93	c cleaning 169998 clauses out of 340010 with flag 33169277/15003583
679.42/678.92	c cleaning 171000 clauses out of 342013 with flag 33556167/15175584
694.25/693.49	c cleaning 172003 clauses out of 344012 with flag 33946129/15348583
704.73/703.98	c cleaning 173004 clauses out of 346010 with flag 34338565/15522584
715.31/714.57	c cleaning 173994 clauses out of 348006 with flag 34733258/15697584
725.90/725.15	c cleaning 175005 clauses out of 350011 with flag 35132382/15873583
735.88/735.13	c cleaning 175996 clauses out of 352006 with flag 35530731/16050583
746.75/746.08	c cleaning 177002 clauses out of 354010 with flag 35931626/16228583
759.31/758.63	c cleaning 178000 clauses out of 356008 with flag 36336326/16407583
770.79/770.19	c cleaning 178996 clauses out of 358008 with flag 36742144/16587583
781.56/780.99	c cleaning 179998 clauses out of 360013 with flag 37150200/16768584
791.12/790.46	c cleaning 181003 clauses out of 362014 with flag 37562180/16950583
801.29/800.61	c cleaning 182002 clauses out of 364012 with flag 37975342/17133584
813.37/812.74	c cleaning 182997 clauses out of 366010 with flag 38389930/17317584
824.74/824.13	c cleaning 183997 clauses out of 368012 with flag 38806067/17502583
836.21/835.61	c cleaning 185002 clauses out of 370015 with flag 39227092/17688583
850.37/849.85	c cleaning 186004 clauses out of 372014 with flag 39647284/17875584
861.95/861.43	c cleaning 187003 clauses out of 374009 with flag 40072862/18063583
874.62/874.14	c cleaning 187995 clauses out of 376006 with flag 40499156/18252583
888.39/887.90	c cleaning 188999 clauses out of 378012 with flag 40929045/18442584
901.86/901.41	c cleaning 190004 clauses out of 380013 with flag 41361093/18633584
917.72/917.22	c cleaning 190998 clauses out of 382008 with flag 41794567/18825583
932.59/932.17	c cleaning 191995 clauses out of 384011 with flag 42229051/19018584
944.97/944.54	c cleaning 193003 clauses out of 386016 with flag 42666434/19212584
957.04/956.67	c cleaning 194000 clauses out of 388012 with flag 43107093/19407583
972.00/971.60	c cleaning 195003 clauses out of 390012 with flag 43549544/19603583
983.57/983.23	c cleaning 195995 clauses out of 392009 with flag 43993804/19800583
998.14/997.82	c cleaning 197003 clauses out of 394014 with flag 44439351/19998583
1012.81/1012.51	c cleaning 198003 clauses out of 396013 with flag 44886530/20197585
1030.07/1029.84	c cleaning 199003 clauses out of 398008 with flag 45336739/20397583
1045.65/1045.39	c cleaning 199995 clauses out of 400005 with flag 45791020/20598583
1065.21/1064.97	c cleaning 201005 clauses out of 402011 with flag 46246402/20800584
1080.39/1080.19	c cleaning 201993 clauses out of 404005 with flag 46705749/21003583
1095.37/1095.19	c cleaning 202997 clauses out of 406012 with flag 47165739/21207583
1109.63/1109.43	c cleaning 204004 clauses out of 408015 with flag 47627007/21412583
1123.21/1123.07	c cleaning 204999 clauses out of 410011 with flag 48093879/21618583
1137.78/1137.69	c cleaning 206005 clauses out of 412013 with flag 48557601/21825584
1152.15/1152.06	c cleaning 207002 clauses out of 414008 with flag 49026814/22033584
1164.75/1164.52	c cleaning 207992 clauses out of 416005 with flag 49499361/22242583
1177.83/1177.61	c cleaning 209004 clauses out of 418014 with flag 49973177/22452584
1190.40/1190.20	c cleaning 210000 clauses out of 420009 with flag 50448804/22663583
1203.48/1203.30	c cleaning 211002 clauses out of 422010 with flag 50926458/22875584
1218.06/1217.92	c cleaning 211998 clauses out of 424007 with flag 51410640/23088583
1233.13/1233.09	c cleaning 212999 clauses out of 426009 with flag 51894642/23302583
1247.99/1247.85	c cleaning 214001 clauses out of 428012 with flag 52381773/23517585
1262.06/1261.90	c cleaning 214998 clauses out of 430009 with flag 52870404/23733583
1275.84/1275.71	c cleaning 215996 clauses out of 432012 with flag 53368070/23950584
1289.42/1289.32	c cleaning 217003 clauses out of 434016 with flag 53860812/24168584
1303.79/1303.78	c cleaning 217999 clauses out of 436013 with flag 54353708/24387584
1320.26/1320.29	c cleaning 219000 clauses out of 438013 with flag 54850600/24607583
1336.93/1336.90	c cleaning 220001 clauses out of 440013 with flag 55348488/24828583
1351.10/1351.11	c cleaning 221004 clauses out of 442013 with flag 55850203/25050584
1365.85/1365.92	c cleaning 221997 clauses out of 444008 with flag 56353072/25273583
1383.32/1383.47	c cleaning 223004 clauses out of 446013 with flag 56858381/25497585
1401.42/1401.46	c cleaning 223997 clauses out of 448007 with flag 57366234/25722583
1418.99/1419.04	c cleaning 225001 clauses out of 450011 with flag 57875780/25948584
1434.85/1434.96	c cleaning 226001 clauses out of 452009 with flag 58388489/26175583
1446.63/1446.70	c cleaning 226999 clauses out of 454009 with flag 58903710/26403584
1463.90/1464.09	c cleaning 227999 clauses out of 456010 with flag 59418745/26632584
1481.47/1481.66	c cleaning 228999 clauses out of 458010 with flag 59936681/26862583
1499.24/1499.44	c cleaning 230003 clauses out of 460013 with flag 60455545/27093585
1517.01/1517.26	c cleaning 231002 clauses out of 462008 with flag 60977777/27325583
1536.37/1536.65	c cleaning 231998 clauses out of 464007 with flag 61504252/27558584
1553.64/1553.97	c cleaning 232992 clauses out of 466008 with flag 62031246/27792583
1571.04/1571.38	c cleaning 234002 clauses out of 468018 with flag 62560748/28027585
1588.89/1589.33	c cleaning 235001 clauses out of 470014 with flag 63090266/28263583
1604.43/1604.98	c cleaning 235997 clauses out of 472014 with flag 63624676/28500584
1622.89/1623.43	c cleaning 237002 clauses out of 474016 with flag 64161616/28738583
1643.14/1643.76	c cleaning 237999 clauses out of 476014 with flag 64700417/28977583
1660.62/1661.22	c cleaning 239001 clauses out of 478015 with flag 65242271/29217583
1676.09/1676.72	c cleaning 240003 clauses out of 480014 with flag 65787455/29458583
1693.30/1693.31	c cleaning 241000 clauses out of 482011 with flag 66331659/29700583
1709.98/1710.03	c cleaning 242001 clauses out of 484011 with flag 66882325/29943583
1729.44/1729.59	c cleaning 243004 clauses out of 486011 with flag 67430921/30187584
1748.91/1749.00	c cleaning 243997 clauses out of 488007 with flag 67982938/30432584
1767.27/1767.40	c cleaning 244998 clauses out of 490009 with flag 68539760/30678583
1785.05/1785.25	c cleaning 246001 clauses out of 492012 with flag 69099728/30925584
1801.52/1801.73	c cleaning 247000 clauses out of 494010 with flag 69663547/31173583
1824.74/1824.90	c cleaning 248002 clauses out of 496012 with flag 70227140/31422585
1847.49/1847.74	c cleaning 249003 clauses out of 498013 with flag 70791093/31672588
1866.55/1866.86	c cleaning 250003 clauses out of 500006 with flag 71360948/31923584
1886.00/1886.33	c cleaning 250996 clauses out of 502003 with flag 71932839/32175584
1902.96/1903.37	c cleaning 252004 clauses out of 504007 with flag 72507041/32428584
1925.31/1925.70	c cleaning 252997 clauses out of 506002 with flag 73081807/32682583
1948.47/1948.96	c cleaning 254002 clauses out of 508007 with flag 73656663/32937585
1973.91/1974.45	c cleaning 254999 clauses out of 510003 with flag 74234807/33193583
1978.39/1978.97	c Got one! Elapsed wall clock time (in seconds):1978.851
1978.39/1978.97	o 22
1984.88/1985.49	c cleaning 198378 clauses out of 396774 with flag 12065/33335353
1987.08/1987.66	c cleaning 102186 clauses out of 204399 with flag 25986/33341356
1987.77/1988.30	c cleaning 54597 clauses out of 109210 with flag 41626/33348353
1987.97/1988.58	c cleaning 31300 clauses out of 62613 with flag 60825/33356353
1988.17/1988.72	c cleaning 20148 clauses out of 40314 with flag 81595/33365354
1988.27/1988.84	c cleaning 15072 clauses out of 30166 with flag 105313/33375354
1988.37/1988.96	c cleaning 13038 clauses out of 26093 with flag 131315/33386353
1988.58/1989.10	c cleaning 12516 clauses out of 25055 with flag 159370/33398353
1988.67/1989.24	c cleaning 12762 clauses out of 25540 with flag 190713/33411354
1988.77/1989.38	c cleaning 13381 clauses out of 26777 with flag 223407/33425353
1988.97/1989.55	c cleaning 14188 clauses out of 28396 with flag 257403/33440353
1989.17/1989.73	c cleaning 15098 clauses out of 30208 with flag 294096/33456353
1989.37/1989.94	c cleaning 16049 clauses out of 32110 with flag 332943/33473353
1989.57/1990.18	c cleaning 17018 clauses out of 34062 with flag 373883/33491354
1989.87/1990.43	c cleaning 18012 clauses out of 36043 with flag 417469/33510353
1990.07/1990.69	c cleaning 19011 clauses out of 38032 with flag 462976/33530354
1990.37/1990.98	c cleaning 20002 clauses out of 40020 with flag 511374/33551353
1990.77/1991.30	c cleaning 21002 clauses out of 42019 with flag 562050/33573354
1991.06/1991.63	c cleaning 22000 clauses out of 44017 with flag 614615/33596354
1991.36/1991.96	c cleaning 22994 clauses out of 46016 with flag 669085/33620353
1991.76/1992.34	c cleaning 24000 clauses out of 48022 with flag 726018/33645353
1992.16/1992.74	c cleaning 25000 clauses out of 50022 with flag 784501/33671353
1992.57/1993.18	c cleaning 25997 clauses out of 52022 with flag 845108/33698353
1993.06/1993.69	c cleaning 26999 clauses out of 54025 with flag 908669/33726353
1993.66/1994.25	c cleaning 28003 clauses out of 56027 with flag 975448/33755354
1994.16/1994.77	c cleaning 29000 clauses out of 58024 with flag 1043946/33785354
1994.97/1995.44	c cleaning 30005 clauses out of 60024 with flag 1113566/33816354
1995.57/1996.04	c cleaning 30999 clauses out of 62018 with flag 1186503/33848353
1996.16/1996.69	c cleaning 32003 clauses out of 64020 with flag 1262660/33881354
1996.86/1997.32	c cleaning 32997 clauses out of 66016 with flag 1339105/33915353
1997.46/1997.97	c cleaning 33999 clauses out of 68020 with flag 1418465/33950354
1998.26/1998.72	c cleaning 35003 clauses out of 70022 with flag 1499560/33986355
1999.06/1999.52	c cleaning 35998 clauses out of 72018 with flag 1584132/34023354
1999.76/2000.27	c cleaning 36995 clauses out of 74020 with flag 1669974/34061354
2000.66/2001.11	c cleaning 37998 clauses out of 76024 with flag 1757885/34100353
2001.56/2002.06	c cleaning 38999 clauses out of 78027 with flag 1849901/34140354
2002.66/2003.19	c cleaning 40005 clauses out of 80027 with flag 1945288/34181353
2003.75/2004.22	c cleaning 41003 clauses out of 82023 with flag 2044359/34223354
2004.86/2005.32	c cleaning 41997 clauses out of 84019 with flag 2145458/34266353
2005.95/2006.48	c cleaning 43003 clauses out of 86023 with flag 2249014/34310354
2007.15/2007.63	c cleaning 44001 clauses out of 88019 with flag 2354613/34355353
2008.55/2009.01	c cleaning 44999 clauses out of 90018 with flag 2461070/34401353
2009.94/2010.45	c cleaning 45996 clauses out of 92019 with flag 2569255/34448353
2011.24/2011.73	c cleaning 47002 clauses out of 94023 with flag 2680158/34496353
2012.74/2013.28	c cleaning 48002 clauses out of 96022 with flag 2798102/34545354
2014.04/2014.55	c cleaning 49003 clauses out of 98020 with flag 2914463/34595354
2015.54/2016.02	c cleaning 50000 clauses out of 100016 with flag 3033868/34646353
2017.23/2017.75	c cleaning 51004 clauses out of 102016 with flag 3154331/34698353
2018.73/2019.27	c cleaning 51994 clauses out of 104013 with flag 3277323/34751354
2020.32/2020.83	c cleaning 53004 clauses out of 106019 with flag 3403269/34805354
2022.02/2022.57	c cleaning 54002 clauses out of 108017 with flag 3527542/34860356
2023.91/2024.48	c cleaning 54996 clauses out of 110012 with flag 3656224/34916353
2026.21/2026.77	c cleaning 56004 clauses out of 112017 with flag 3788653/34973354
2028.20/2028.77	c cleaning 56995 clauses out of 114014 with flag 3924216/35031355
2030.20/2030.79	c cleaning 58002 clauses out of 116018 with flag 4061670/35090354
2032.19/2032.75	c cleaning 58999 clauses out of 118015 with flag 4201615/35150353
2034.29/2034.80	c cleaning 60004 clauses out of 120016 with flag 4341735/35211353
2036.28/2036.81	c cleaning 60998 clauses out of 122013 with flag 4481895/35273354
2038.28/2038.82	c cleaning 61997 clauses out of 124014 with flag 4626481/35336353
2040.67/2041.23	c cleaning 63003 clauses out of 126017 with flag 4775532/35400353
2043.07/2043.66	c cleaning 64003 clauses out of 128017 with flag 4925919/35465356
2045.36/2045.92	c cleaning 64997 clauses out of 130012 with flag 5078697/35531354
2047.65/2048.24	c cleaning 66005 clauses out of 132015 with flag 5230546/35598354
2049.85/2050.47	c cleaning 67001 clauses out of 134010 with flag 5384487/35666354
2052.45/2053.10	c cleaning 68000 clauses out of 136009 with flag 5541991/35735354
2055.93/2056.56	c cleaning 69002 clauses out of 138008 with flag 5707040/35805353
2058.73/2059.32	c cleaning 69998 clauses out of 140006 with flag 5872592/35876353
2061.54/2062.11	c cleaning 70995 clauses out of 142008 with flag 6037197/35948353
2064.03/2064.68	c cleaning 72001 clauses out of 144013 with flag 6202735/36021353
2066.82/2067.41	c cleaning 73002 clauses out of 146012 with flag 6369898/36095353
2069.31/2069.94	c cleaning 73999 clauses out of 148012 with flag 6544870/36170355
2072.11/2072.78	c cleaning 74997 clauses out of 150011 with flag 6717857/36246353
2075.10/2075.76	c cleaning 76001 clauses out of 152014 with flag 6893901/36323353
2078.50/2079.14	c cleaning 77001 clauses out of 154013 with flag 7075014/36401353
2081.39/2082.03	c cleaning 78007 clauses out of 156013 with flag 7258052/36480354
2084.82/2085.46	c cleaning 78994 clauses out of 158006 with flag 7445597/36560354
2088.22/2088.84	c cleaning 79999 clauses out of 160011 with flag 7634897/36641353
2091.81/2092.42	c cleaning 80999 clauses out of 162012 with flag 7824139/36723353
2094.80/2095.46	c cleaning 82002 clauses out of 164014 with flag 8012869/36806354
2098.29/2098.99	c cleaning 83003 clauses out of 166013 with flag 8216206/36890355
2102.39/2103.01	c cleaning 84000 clauses out of 168008 with flag 8414639/36975353
2106.48/2107.15	c cleaning 84996 clauses out of 170008 with flag 8615153/37061353
2110.16/2110.80	c cleaning 86003 clauses out of 172013 with flag 8819678/37148354
2114.55/2115.29	c cleaning 87002 clauses out of 174010 with flag 9032375/37236354
2118.14/2118.89	c cleaning 88001 clauses out of 176008 with flag 9243948/37325354
2122.14/2122.80	c cleaning 88997 clauses out of 178006 with flag 9467184/37415353
2125.73/2126.40	c cleaning 90001 clauses out of 180009 with flag 9671729/37506353
2129.42/2130.13	c cleaning 91002 clauses out of 182009 with flag 9878513/37598354
2133.31/2134.08	c cleaning 92002 clauses out of 184006 with flag 10087876/37691353
2137.20/2137.98	c cleaning 93000 clauses out of 186005 with flag 10299415/37785354
2140.29/2141.00	c cleaning 94000 clauses out of 188004 with flag 10514460/37880353
2143.78/2144.56	c cleaning 94996 clauses out of 190005 with flag 10731274/37976354
2147.37/2148.13	c cleaning 95999 clauses out of 192008 with flag 10950745/38073353
2150.96/2151.75	c cleaning 97005 clauses out of 194010 with flag 11171398/38171354
2154.05/2154.81	c cleaning 97998 clauses out of 196004 with flag 11393867/38270353
2157.84/2158.66	c cleaning 98998 clauses out of 198006 with flag 11619523/38370353
2161.63/2162.40	c cleaning 100000 clauses out of 200008 with flag 11846474/38471353
2165.82/2166.68	c cleaning 100996 clauses out of 202008 with flag 12075944/38573353
2170.02/2170.88	c cleaning 101999 clauses out of 204012 with flag 12307211/38676353
2174.71/2175.50	c cleaning 103004 clauses out of 206014 with flag 12541945/38780354
2179.49/2180.38	c cleaning 104002 clauses out of 208009 with flag 12778171/38885353
2183.78/2184.66	c cleaning 105000 clauses out of 210010 with flag 13017103/38991356
2188.77/2189.69	c cleaning 106002 clauses out of 212008 with flag 13258012/39098354
2194.35/2195.21	c cleaning 106995 clauses out of 214007 with flag 13501027/39206355
2199.04/2199.96	c cleaning 108003 clauses out of 216011 with flag 13747227/39315354
2203.33/2204.28	c cleaning 109000 clauses out of 218007 with flag 13993658/39425353
2207.92/2208.87	c cleaning 109999 clauses out of 220008 with flag 14243112/39536354
2213.21/2214.17	c cleaning 111003 clauses out of 222008 with flag 14498235/39648353
2217.60/2218.56	c cleaning 111997 clauses out of 224005 with flag 14752769/39761353
2222.20/2223.11	c cleaning 112999 clauses out of 226009 with flag 15009270/39875354
2227.97/2228.91	c cleaning 114003 clauses out of 228010 with flag 15268385/39990354
2233.36/2234.38	c cleaning 115003 clauses out of 230006 with flag 15529501/40106353
2238.35/2239.31	c cleaning 116000 clauses out of 232003 with flag 15793080/40223353
2243.94/2244.99	c cleaning 116996 clauses out of 234003 with flag 16059497/40341353
2249.33/2250.36	c cleaning 118001 clauses out of 236009 with flag 16328002/40460355
2254.51/2255.52	c cleaning 119003 clauses out of 238007 with flag 16598183/40580354
2260.06/2261.10	c cleaning 120000 clauses out of 240004 with flag 16870911/40701354
2265.75/2266.75	c cleaning 120996 clauses out of 242003 with flag 17145159/40823353
2271.43/2272.45	c cleaning 122001 clauses out of 244008 with flag 17419539/40946354
2277.61/2278.60	c cleaning 122999 clauses out of 246007 with flag 17698176/41070354
2283.70/2284.75	c cleaning 123994 clauses out of 248007 with flag 17979803/41195353
2289.68/2290.76	c cleaning 125004 clauses out of 250013 with flag 18263899/41321353
2294.58/2295.66	c cleaning 126005 clauses out of 252011 with flag 18549610/41448355
2300.17/2301.21	c cleaning 126998 clauses out of 254004 with flag 18838410/41576353
2307.35/2308.47	c cleaning 127995 clauses out of 256009 with flag 19128885/41705356
2314.23/2315.30	c cleaning 128998 clauses out of 258011 with flag 19421982/41835353
2320.51/2321.67	c cleaning 129998 clauses out of 260013 with flag 19716760/41966353
2326.40/2327.55	c cleaning 131007 clauses out of 262015 with flag 20013948/42098353
2332.18/2333.31	c cleaning 132002 clauses out of 264009 with flag 20313513/42231354
2339.56/2340.79	c cleaning 132997 clauses out of 266008 with flag 20615569/42365355
2346.95/2348.19	c cleaning 134003 clauses out of 268009 with flag 20919994/42500353
2354.42/2355.62	c cleaning 134998 clauses out of 270007 with flag 21226559/42636354
2361.30/2362.52	c cleaning 136002 clauses out of 272009 with flag 21535921/42773354
2368.58/2369.88	c cleaning 136997 clauses out of 274007 with flag 21847937/42911354
2376.07/2377.30	c cleaning 137997 clauses out of 276009 with flag 22160219/43050353
2383.05/2384.37	c cleaning 139003 clauses out of 278013 with flag 22475036/43190354
2391.84/2393.12	c cleaning 140003 clauses out of 280009 with flag 22793484/43331353
2398.91/2400.25	c cleaning 140997 clauses out of 282006 with flag 23112940/43473353
2406.49/2407.80	c cleaning 142005 clauses out of 284010 with flag 23434597/43616354
2415.28/2416.68	c cleaning 143003 clauses out of 286005 with flag 23758861/43760354
2426.23/2427.54	c cleaning 143993 clauses out of 288001 with flag 24086419/43905353
2433.81/2435.14	c cleaning 144999 clauses out of 290008 with flag 24414498/44051353
2441.79/2443.16	c cleaning 146005 clauses out of 292010 with flag 24745129/44198354
2449.37/2450.76	c cleaning 147000 clauses out of 294004 with flag 25079557/44346353
2456.95/2458.36	c cleaning 147995 clauses out of 296004 with flag 25415345/44495353
2465.04/2466.45	c cleaning 148997 clauses out of 298010 with flag 25753020/44645354
2472.02/2473.43	c cleaning 149997 clauses out of 300012 with flag 26094080/44796353
2479.30/2480.78	c cleaning 150999 clauses out of 302015 with flag 26436716/44948353
2487.28/2488.73	c cleaning 152006 clauses out of 304017 with flag 26780449/45101354
2494.66/2496.13	c cleaning 153003 clauses out of 306011 with flag 27128793/45255354
2503.13/2504.64	c cleaning 153998 clauses out of 308007 with flag 27476608/45410353
2511.41/2512.97	c cleaning 154991 clauses out of 310009 with flag 27827456/45566353
2520.10/2521.69	c cleaning 156002 clauses out of 312018 with flag 28182145/45723353
2529.58/2531.13	c cleaning 157008 clauses out of 314016 with flag 28536752/45881353
2537.85/2539.41	c cleaning 157998 clauses out of 316008 with flag 28895450/46040353
2547.13/2548.74	c cleaning 159005 clauses out of 318010 with flag 29256164/46200353
2555.80/2557.44	c cleaning 160000 clauses out of 320006 with flag 29618910/46361354
2566.48/2568.19	c cleaning 161000 clauses out of 322005 with flag 29982614/46523353
2576.85/2578.54	c cleaning 162000 clauses out of 324006 with flag 30348841/46686354
2588.83/2590.58	c cleaning 162997 clauses out of 326006 with flag 30718432/46850354
2600.50/2602.21	c cleaning 163999 clauses out of 328008 with flag 31088790/47015353
2610.97/2612.71	c cleaning 165004 clauses out of 330011 with flag 31463214/47181355
2621.44/2623.22	c cleaning 165997 clauses out of 332005 with flag 31837447/47348353
2632.02/2633.83	c cleaning 167003 clauses out of 334009 with flag 32213793/47516354
2641.90/2643.66	c cleaning 168001 clauses out of 336007 with flag 32598446/47685355
2651.68/2653.48	c cleaning 168998 clauses out of 338006 with flag 32988940/47855355
2665.06/2666.81	c cleaning 170001 clauses out of 340007 with flag 33375470/48026354
2674.74/2676.58	c cleaning 170997 clauses out of 342005 with flag 33761491/48198353
2685.92/2687.71	c cleaning 172001 clauses out of 344009 with flag 34151332/48371354
2697.80/2699.63	c cleaning 172995 clauses out of 346007 with flag 34543361/48545353
2707.69/2709.52	c cleaning 173999 clauses out of 348012 with flag 34936381/48720353
2717.07/2718.91	c cleaning 175002 clauses out of 350013 with flag 35332765/48896353
2725.75/2727.62	c cleaning 176003 clauses out of 352011 with flag 35732620/49073353
2734.24/2736.16	c cleaning 176997 clauses out of 354008 with flag 36132872/49251353
2745.82/2747.76	c cleaning 178003 clauses out of 356011 with flag 36534138/49430353
2756.30/2758.25	c cleaning 179002 clauses out of 358008 with flag 36939217/49610353
2768.98/2770.97	c cleaning 180000 clauses out of 360006 with flag 37345560/49791353
2779.26/2781.28	c cleaning 180999 clauses out of 362006 with flag 37755721/49973353
2788.74/2790.72	c cleaning 181997 clauses out of 364007 with flag 38167464/50156353
2801.12/2803.16	c cleaning 182999 clauses out of 366011 with flag 38581536/50340354
2814.00/2816.03	c cleaning 184001 clauses out of 368012 with flag 38997501/50525354
2827.08/2829.14	c cleaning 185000 clauses out of 370010 with flag 39416557/50711353
2837.06/2839.19	c cleaning 186001 clauses out of 372010 with flag 39838484/50898353
2848.88/2850.80	c cleaning 186999 clauses out of 374010 with flag 40262995/51086354
2860.06/2862.07	c cleaning 187997 clauses out of 376010 with flag 40687611/51275353
2873.33/2875.37	c cleaning 189006 clauses out of 378014 with flag 41117202/51465354
2883.02/2885.02	c cleaning 190002 clauses out of 380008 with flag 41546627/51656354
2895.59/2897.60	c cleaning 190998 clauses out of 382005 with flag 41978802/51848353
2906.99/2909.08	c cleaning 191998 clauses out of 384007 with flag 42414177/52041353
2917.76/2919.85	c cleaning 193001 clauses out of 386009 with flag 42850032/52235353
2929.04/2931.11	c cleaning 194002 clauses out of 388008 with flag 43289133/52430353
2941.31/2943.44	c cleaning 194993 clauses out of 390006 with flag 43730794/52626353
2953.69/2955.86	c cleaning 196001 clauses out of 392014 with flag 44175535/52823354
2966.18/2968.31	c cleaning 197000 clauses out of 394012 with flag 44620861/53021353
2979.25/2981.43	c cleaning 197997 clauses out of 396013 with flag 45067822/53220354
2992.93/2995.17	c cleaning 199000 clauses out of 398016 with flag 45518941/53420354
3005.21/3007.44	c cleaning 200007 clauses out of 400015 with flag 45972819/53621353
3016.99/3019.26	c cleaning 201000 clauses out of 402009 with flag 46427310/53823354
3030.57/3032.85	c cleaning 202001 clauses out of 404009 with flag 46885690/54026354
3045.56/3047.80	c cleaning 202994 clauses out of 406007 with flag 47346630/54230353
3058.93/3061.26	c cleaning 204004 clauses out of 408013 with flag 47807200/54435353
3073.41/3075.77	c cleaning 204998 clauses out of 410009 with flag 48271185/54641353
3089.18/3091.54	c cleaning 205998 clauses out of 412011 with flag 48738390/54848353
3101.56/3103.94	c cleaning 206999 clauses out of 414013 with flag 49206438/55056353
3114.33/3116.79	c cleaning 208005 clauses out of 416017 with flag 49676867/55265356
3130.62/3133.07	c cleaning 209000 clauses out of 418010 with flag 50149097/55475354
3143.78/3146.26	c cleaning 210004 clauses out of 420010 with flag 50623028/55686354
3158.06/3160.54	c cleaning 211001 clauses out of 422005 with flag 51099545/55898353
3172.54/3175.00	c cleaning 211999 clauses out of 424004 with flag 51578179/56111353
3185.91/3188.40	c cleaning 212996 clauses out of 426006 with flag 52060717/56325354
3200.38/3202.97	c cleaning 214001 clauses out of 428011 with flag 52544723/56540355
3214.35/3216.96	c cleaning 215002 clauses out of 430009 with flag 53029777/56756354
3234.62/3237.23	c cleaning 216000 clauses out of 432006 with flag 53516435/56973353
3251.48/3254.17	c cleaning 216997 clauses out of 434006 with flag 54007880/57191353
3264.71/3267.39	c cleaning 218003 clauses out of 436009 with flag 54501720/57410353
3280.07/3282.77	c cleaning 218999 clauses out of 438006 with flag 54997315/57630353
3297.04/3299.78	c cleaning 220000 clauses out of 440007 with flag 55494916/57851353
3314.00/3316.73	c cleaning 221001 clauses out of 442007 with flag 55993418/58073353
3329.57/3332.32	c cleaning 221999 clauses out of 444006 with flag 56494290/58296353
3345.13/3347.97	c cleaning 223001 clauses out of 446008 with flag 56999327/58520354
3360.30/3363.15	c cleaning 224001 clauses out of 448006 with flag 57507085/58745353
3376.05/3378.98	c cleaning 225000 clauses out of 450005 with flag 58016128/58971353
3390.63/3393.52	c cleaning 226001 clauses out of 452007 with flag 58528115/59198355
3408.09/3411.03	c cleaning 226996 clauses out of 454004 with flag 59040843/59426353
3425.94/3428.91	c cleaning 228000 clauses out of 456008 with flag 59556952/59655353
3442.01/3445.10	c cleaning 228998 clauses out of 458010 with flag 60074318/59885355
3459.17/3462.29	c cleaning 230001 clauses out of 460011 with flag 60594176/60116354
3477.56/3480.56	c cleaning 231000 clauses out of 462009 with flag 61117661/60348353
3492.92/3495.90	c cleaning 231994 clauses out of 464009 with flag 61643253/60581353
3508.89/3511.90	c cleaning 233003 clauses out of 466016 with flag 62169733/60815354
3525.05/3528.12	c cleaning 234001 clauses out of 468012 with flag 62695496/61050353
3541.41/3544.58	c cleaning 235001 clauses out of 470011 with flag 63225851/61286353
3557.67/3560.85	c cleaning 236002 clauses out of 472011 with flag 63758919/61523354
3574.24/3577.41	c cleaning 236999 clauses out of 474008 with flag 64295037/61761353
3590.80/3594.00	c cleaning 237994 clauses out of 476009 with flag 64834253/62000353
3600.07/3603.31	c starts		: 20
3600.07/3603.32	c conflicts		: 62216766
3600.07/3603.32	c decisions		: 93788671
3600.07/3603.32	c propagations		: 534723200
3600.07/3603.32	c inspects		: 38966441206
3600.07/3603.32	c shortcuts		: 0
3600.07/3603.32	c learnt literals	: 0
3600.07/3603.32	c learnt binary clauses	: 0
3600.07/3603.32	c learnt ternary clauses	: 0
3600.07/3603.32	c learnt constraints	: 62216766
3600.07/3603.32	c ignored constraints	: 0
3600.07/3603.32	c root simplifications	: 0
3600.07/3603.32	c removed literals (reason simplification)	: 0
3600.07/3603.32	c reason swapping (by a shorter reason)	: 0
3600.07/3603.32	c Calls to reduceDB	: 509
3600.07/3603.32	c Number of update (reduction) of LBD	: 5733101
3600.07/3603.32	c Imported unit clauses	: 0
3600.07/3603.32	c No decision after first conflict	: false
3600.07/3603.32	c number of reductions to clauses (during analyze)	: 0
3600.07/3603.32	c number of learned constraints concerned by reduction	: 0
3600.07/3603.32	c number of learning phase by resolution	: 0
3600.07/3603.32	c number of learning phase by cutting planes	: 0
3600.07/3603.32	c number of rounding to 1 operations	: 0
3600.07/3603.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3603.32	c number of reductions of the coefficients by power 2 	: 0
3600.07/3603.32	c number of right shift for reduction by power 2 	: 0
3600.07/3603.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3603.32	c number of ending skipping 	: 0
3600.07/3603.32	c number of internal skipping 	: 0
3600.07/3603.32	c number of derivation steps 	: 0
3600.07/3603.32	c number of skipped derivation steps 	: 0
3600.07/3603.32	c number of remaining unassigned 	: 0
3600.07/3603.32	c number of remaining assigned 	: 0
3600.07/3603.32	c number of falsified literals weakened from reason	: 0
3600.07/3603.32	c number of falsified literals weakened from conflict	: 0
3600.07/3603.32	c time for arithmetic operations	: 0
3600.07/3603.33	c minimum degree of deleted constraints	: null
3600.07/3603.33	c maximum degree of deleted constraints	: null
3600.07/3603.33	c number of deleted constraints	: 0
3600.07/3603.33	c speed (assignments/second)	: 148402.96804159877
3600.07/3603.33	c non guided choices	: 0
3600.28/3603.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 454428
3600.28/3603.41	s SATISFIABLE
3600.28/3603.41	c Found 6 solution(s)
3600.28/3603.41	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 
3600.28/3603.41	c objective function=22
3600.28/3603.41	c Total wall clock time (in seconds): 3603.289

Verifier Data 

OK	22

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: 63968 MiB (58906 MiB free)
  memory of node 1: 64473 MiB (61319 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100235 s]*
/proc/loadavg: 4.32 4.26 4.31 8/328 820936
/proc/meminfo: memFree=123030884/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=18975048 memory=65520 CPUtime=0.13 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 7236 0 0 0 12 1 0 0 20 0 18 0 159927907 19430449152 16380 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4743762 16380 5743 1 0 549346 0
[pid=820918/tid=820920] ppid=820915 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 1077936192 5751 0 0 0 7 1 0 0 20 0 18 0 159927907 19430449152 16380 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159927910 19430449152 16380 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159927910 19430449152 16380 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65520 KiB

[startup+0.205812 s]*
/proc/loadavg: 4.32 4.26 4.31 8/329 820937
/proc/meminfo: memFree=122893844/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19042580 memory=72284 CPUtime=0.33 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 8802 0 0 0 31 2 0 0 20 0 19 0 159927907 19499601920 18071 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4760645 18071 5899 1 0 550567 0
[pid=820918/tid=820920] ppid=820915 vsize=19042580 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 6017 0 0 0 17 1 0 0 20 0 19 0 159927907 19499601920 18071 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19042580 memory=1623 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159927910 19499601920 18071 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19042580 memory=14695192770905705 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159927910 19499601920 18071 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19042580 memory=0 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159927922 19499601920 18071 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19042580 KiB
Current children cumulated memory: 72284 KiB

[startup+0.305588 s]*
/proc/loadavg: 4.32 4.26 4.31 7/329 820937
/proc/meminfo: memFree=122785760/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19041612 memory=77496 CPUtime=0.52 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 10750 0 0 0 50 2 0 0 20 0 19 0 159927907 19498610688 19374 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4760403 19374 5915 1 0 551772 0
[pid=820918/tid=820920] ppid=820915 vsize=19041612 memory=-8817029288786502332 CPUtime=0.27 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 6024 0 0 0 26 1 0 0 20 0 19 0 159927907 19498610688 19374 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159927910 19498610688 19374 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159927910 19498610688 19374 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159927922 19498610688 19374 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77496 KiB

[startup+0.700812 s]
/proc/loadavg: 4.32 4.26 4.31 6/329 820937
/proc/meminfo: memFree=122775708/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19041612 memory=90412 CPUtime=1.29 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 11949 0 0 0 127 2 0 0 20 0 19 0 159927907 19498610688 22603 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4760403 22603 5915 1 0 552840 0
[pid=820918/tid=820920] ppid=820915 vsize=19041612 memory=41036 CPUtime=0.64 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 6073 0 0 0 63 1 0 0 20 0 19 0 159927907 19498610688 22603 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19041612 memory=12292 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159927910 19498610688 22603 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19041612 memory=2236 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159927910 19498610688 22603 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19041612 memory=5484 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159927922 19498610688 22603 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90412 KiB

[startup+1.50081 s]
/proc/loadavg: 4.46 4.29 4.32 6/329 820937
/proc/meminfo: memFree=122749088/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19041612 memory=109424 CPUtime=2.38 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 14482 0 0 0 235 3 0 0 20 0 19 0 159927907 19498610688 27356 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4760403 27356 5915 1 0 552843 0
[pid=820918/tid=820920] ppid=820915 vsize=19041612 memory=12292 CPUtime=1.43 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 6418 0 0 0 142 1 0 0 20 0 19 0 159927907 19498610688 27356 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159927910 19498610688 27356 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19041612 memory=2236 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159927910 19498610688 27356 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19041612 memory=5484 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159927922 19498610688 27356 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109424 KiB

[startup+3.10587 s]
/proc/loadavg: 4.46 4.29 4.32 5/329 820937
/proc/meminfo: memFree=122030760/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19041612 memory=144372 CPUtime=4.03 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 15730 0 0 0 400 3 0 0 20 0 19 0 159927907 19498610688 36093 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4760403 36093 5924 1 0 552844 0
[pid=820918/tid=820920] ppid=820915 vsize=19041612 memory=0 CPUtime=3.03 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 6698 0 0 0 301 2 0 0 20 0 19 0 159927907 19498610688 36093 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19041612 memory=-8817029288786502332 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159927910 19498610688 36093 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19041612 memory=12292 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159927910 19498610688 36093 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19041612 memory=2236 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159927922 19498610688 36093 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 144372 KiB

[startup+6.30017 s]
/proc/loadavg: 4.42 4.28 4.32 5/330 820940
/proc/meminfo: memFree=120920056/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=181552 CPUtime=7.4 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 22739 0 0 0 735 5 0 0 20 0 20 0 159927907 19566772224 45388 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 45388 5940 1 0 553612 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=12292 CPUtime=6.21 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 7552 0 0 0 619 2 0 0 20 0 20 0 159927907 19566772224 45388 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=2236 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 45388 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 45388 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=111472 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 45388 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181552 KiB

[startup+12.7002 s]
/proc/loadavg: 4.39 4.28 4.31 5/330 820940
/proc/meminfo: memFree=119179572/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=183316 CPUtime=13.8 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 24151 0 0 0 1374 6 0 0 20 0 20 0 159927907 19566772224 45829 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 45829 5940 1 0 553612 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=111472 CPUtime=12.58 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 8036 0 0 0 1256 2 0 0 20 0 20 0 159927907 19566772224 45829 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=183316 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 45829 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=185684 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 45829 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 45829 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 13.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183316 KiB

[startup+25.5003 s]
/proc/loadavg: 4.33 4.27 4.31 6/330 821077
/proc/meminfo: memFree=117498732/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=249212 CPUtime=26.6 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 26458 0 0 0 2653 7 0 0 20 0 20 0 159927907 19566772224 62303 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 62303 5940 1 0 553612 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=0 CPUtime=25.26 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 8771 0 0 0 2524 2 0 0 20 0 20 0 159927907 19566772224 62303 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 62303 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=41036 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 62303 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=-8817029288786502332 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 62303 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 26.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 249212 KiB

[startup+51.106 s]
/proc/loadavg: 4.40 4.29 4.32 5/330 821147
/proc/meminfo: memFree=113020772/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=363964 CPUtime=52.44 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 37357 0 0 0 5233 11 0 0 20 0 20 0 159927907 19566772224 90991 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0

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

[startup+3282.3 s]
/proc/loadavg: 4.23 4.41 4.56 4/308 823497
/proc/meminfo: memFree=110308140/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=2171504 CPUtime=3279.67 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 145739 0 0 0 327854 113 0 0 20 0 20 0 159927907 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 542876 5956 1 0 556226 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=2171504 CPUtime=3270.44 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 61413 0 0 0 327026 18 0 0 20 0 20 0 159927907 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=2171504 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=41036 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 3913 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 3279.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171504 KiB

[startup+3342.3 s]
/proc/loadavg: 3.56 4.19 4.48 5/308 823507
/proc/meminfo: memFree=110099092/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=2171504 CPUtime=3339.54 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 146586 0 0 0 333839 115 0 0 20 0 20 0 159927907 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 542876 5956 1 0 556226 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=12292 CPUtime=3330.28 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 62068 0 0 0 333010 18 0 0 20 0 20 0 159927907 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=2171504 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 3990 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=2171504 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 3339.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171504 KiB

[startup+3402.3 s]
/proc/loadavg: 2.86 3.89 4.36 3/280 823553
/proc/meminfo: memFree=118962952/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=2171504 CPUtime=3399.4 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 146994 0 0 0 339824 116 0 0 20 0 20 0 159927907 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 542876 5956 1 0 556226 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=2171504 CPUtime=3390.12 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 62428 0 0 0 338994 18 0 0 20 0 20 0 159927907 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=2171504 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 4032 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=2171504 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 3399.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171504 KiB

[startup+3462.3 s]
/proc/loadavg: 2.31 3.54 4.21 3/280 823564
/proc/meminfo: memFree=118962652/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=2171504 CPUtime=3459.27 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 147925 0 0 0 345810 117 0 0 20 0 20 0 159927907 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 542876 5956 1 0 556226 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=2171504 CPUtime=3449.97 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 63190 0 0 0 344979 18 0 0 20 0 20 0 159927907 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=2171504 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 4032 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=2171504 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 542876 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 3459.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171504 KiB

[startup+3522.3 s]
/proc/loadavg: 2.23 3.29 4.08 3/278 823574
/proc/meminfo: memFree=118962372/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=2171508 CPUtime=3519.26 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 149469 0 0 0 351808 118 0 0 20 0 20 0 159927907 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 542877 5956 1 0 556226 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=2171504 CPUtime=3509.7 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 63383 0 0 0 350952 18 0 0 20 0 20 0 159927907 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=2171504 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=2171508 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 4108 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=2171508 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 3519.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171508 KiB

[startup+3582.3 s]
/proc/loadavg: 2.21 3.08 3.95 3/278 823585
/proc/meminfo: memFree=118962120/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=2171508 CPUtime=3579.13 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 149573 0 0 0 357793 120 0 0 20 0 20 0 159927907 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 542877 5956 1 0 556226 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=41036 CPUtime=3569.54 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 63482 0 0 0 356936 18 0 0 20 0 20 0 159927907 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=2171508 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 4108 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 542877 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 3579.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.3 s]
/proc/loadavg: 2.15 3.01 3.91 3/278 823590
/proc/meminfo: memFree=118961948/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19108176 memory=2171512 CPUtime=3600.07 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 149849 0 0 0 359887 120 0 0 20 0 20 0 159927907 19566772224 542878 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4777044 542878 5956 1 0 556226 0
[pid=820918/tid=820920] ppid=820915 vsize=19108176 memory=12292 CPUtime=3590.49 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) R 820915 820918 815582 0 -1 4194368 63737 0 0 0 359031 18 0 0 20 0 20 0 159927907 19566772224 542878 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19108176 memory=2171508 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542878 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 4108 0 0 0 0 0 0 0 20 0 20 0 159927910 19566772224 542878 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820937] ppid=820915 vsize=19108176 memory=2171508 CPUtime=0 cores=5,7
/proc/820918/task/820937/stat : 820937 (Timer-0) S 820915 820918 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159927922 19566772224 542878 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171512 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.09 s, system=1.21987 s

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

[startup+3603.41 s]
/proc/loadavg: 2.15 3.01 3.91 3/278 823590
/proc/meminfo: memFree=118961948/131524600 swapFree=131071996/131071996
[pid=820918] ppid=820915 vsize=19307868 memory=2172352 CPUtime=3600.28 cores=5,7
/proc/820918/stat : 820918 (java) S 820915 820918 815582 0 -1 1077936128 152608 0 0 0 359908 120 0 0 20 0 21 0 159927907 19771256832 543088 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
/proc/820918/statm: 4826967 543088 5955 1 0 557184 0
[pid=820918/tid=820920] ppid=820915 vsize=19307868 memory=2171512 CPUtime=3590.58 cores=5,7
/proc/820918/task/820920/stat : 820920 (java) S 820915 820918 815582 0 -1 1077936192 63871 0 0 0 359040 18 0 0 20 0 21 0 159927907 19771256832 543088 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820929] ppid=820915 vsize=19307868 memory=2171512 CPUtime=0 cores=5,7
/proc/820918/task/820929/stat : 820929 (Finalizer) S 820915 820918 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 159927910 19771256832 543088 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
[pid=820918/tid=820936] ppid=820915 vsize=19307868 memory=2236 CPUtime=0 cores=5,7
/proc/820918/task/820936/stat : 820936 (Common-Cleaner) S 820915 820918 815582 0 -1 1077936192 4108 0 0 0 0 0 0 0 20 0 21 0 159927910 19771256832 543088 134679101440 94305365745664 94305365749360 140730212315328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305365757176 94305365757968 94305377009664 140730212324359 140730212324449 140730212324449 140730212331464 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2172352 KiB

Child status: 143

Real time (s): 3603.42
CPU time (s): 3600.31
CPU user time (s): 3599.09
CPU system time (s): 1.21987
CPU usage (%): 99.9137
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2172352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 1.21988
maximum resident set size= 2173120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103665
involuntary context switches= 2687


# summary of solver processes directly reported to runsolver:
#   pid: 820918
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3599.09
#   total CPU system time (s): 1.21987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11973 second user time and 17.0524 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-15 23:07:37
IDJOB=4432223
IDBENCH=147223
IDSOLVER=3058
FILE ID=nodeC020/4432223-1721077644
RUNJOBID= nodeC020-1721070467-815595
SLURM_JOB_ID= 7505528
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g9x9.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432223-1721077644/watcher-4432223-1721077644 -o /tmp/evaluation-result-4432223-1721077644/solver-4432223-1721077644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815595 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432223-1721077644.opb

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

MD5SUM BENCH= c74ef50fdcad1c092f72b2454e0c2ee1
RANDOM SEED=528339985

nodeC020.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		: 3600.050
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	: 7000.05
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		: 3679.129
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	: 7005.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		: 3653.485
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	: 7000.05
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		: 3662.606
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	: 7005.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		: 3653.564
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	: 7000.05
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		: 3636.865
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	: 7005.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		: 3600.097
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	: 7000.05
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		: 3661.934
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	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123116344 kB
MemAvailable:   124642540 kB
Buffers:          382332 kB
Cached:          1969020 kB
SwapCached:            0 kB
Active:           610368 kB
Inactive:        7169004 kB
Active(anon):       1568 kB
Inactive(anon):  5464172 kB
Active(file):     608800 kB
Inactive(file):  1704832 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2332 kB
Writeback:             0 kB
AnonPages:       5427292 kB
Mapped:           123732 kB
Shmem:             37720 kB
KReclaimable:     104772 kB
Slab:             211460 kB
SReclaimable:     104772 kB
SUnreclaim:       106688 kB
KernelStack:        5008 kB
PageTables:        20564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10318156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59008 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5050368 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC020 at 2024-07-16 00:07:41