Trace number 4457908

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)1 3600.35 3600.64

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb
MD5SUM3b07899157a77563e39a517f9d1ebfa4
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 benchmark1
Best CPU time to get the best result obtained on this benchmark3.94176
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1604
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 401
Biggest coefficient in the objective function 401
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 80601
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 401
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 80601
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	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-4457908-1721870445.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.18	c ... done. Wall clock time 0.046s.
0.13/0.18	c declared #vars     1604
0.13/0.18	c #constraints  802
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 802
0.13/0.18	c 802 constraints processed.
0.13/0.19	c objective function length is 401 literals
0.33/0.24	c SATISFIABLE
0.33/0.24	c OPTIMIZING...
0.33/0.24	c Got one! Elapsed wall clock time (in seconds):0.105
0.33/0.24	o 42
0.33/0.29	c Got one! Elapsed wall clock time (in seconds):0.161
0.33/0.29	o 22
0.71/0.43	c Got one! Elapsed wall clock time (in seconds):0.306
0.71/0.43	o 14
0.71/0.45	c Got one! Elapsed wall clock time (in seconds):0.327
0.71/0.45	o 2
1.30/0.75	c cleaning 3384 clauses out of 6773 with flag 32767/6773
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.643
1.30/0.77	o 1
1.60/0.93	c cleaning 4453 clauses out of 8913 with flag 30078/12297
1.74/1.10	c cleaning 5226 clauses out of 10461 with flag 67038/18298
2.03/1.28	c cleaning 6109 clauses out of 12236 with flag 106619/25299
2.35/1.47	c cleaning 7058 clauses out of 14125 with flag 154210/33297
2.65/1.71	c cleaning 8028 clauses out of 16069 with flag 206218/42299
2.85/1.96	c cleaning 9015 clauses out of 18041 with flag 266722/52299
3.14/2.25	c cleaning 10000 clauses out of 20024 with flag 337459/63297
3.45/2.54	c cleaning 10996 clauses out of 22025 with flag 407297/75298
3.75/2.88	c cleaning 11998 clauses out of 24028 with flag 491310/88297
4.15/3.27	c cleaning 13002 clauses out of 26030 with flag 582259/102297
4.55/3.66	c cleaning 14001 clauses out of 28028 with flag 674205/117297
4.99/4.08	c cleaning 15001 clauses out of 30029 with flag 771849/133299
5.51/4.53	c cleaning 16003 clauses out of 32026 with flag 876302/150297
6.01/5.06	c cleaning 16992 clauses out of 34023 with flag 987303/168297
6.51/5.59	c cleaning 17987 clauses out of 36032 with flag 1099514/187298
7.11/6.15	c cleaning 18990 clauses out of 38044 with flag 1220003/207297
7.70/6.75	c cleaning 20001 clauses out of 40054 with flag 1344220/228297
8.40/7.40	c cleaning 21016 clauses out of 42053 with flag 1479213/250297
9.14/8.12	c cleaning 21998 clauses out of 44038 with flag 1614940/273298
9.83/8.82	c cleaning 22993 clauses out of 46040 with flag 1754866/297298
10.53/9.60	c cleaning 24003 clauses out of 48046 with flag 1907564/322297
11.44/10.44	c cleaning 25006 clauses out of 50044 with flag 2068313/348298
12.24/11.24	c cleaning 25995 clauses out of 52037 with flag 2232608/375297
13.04/12.10	c cleaning 26986 clauses out of 54044 with flag 2406751/403299
14.17/13.12	c cleaning 27996 clauses out of 56056 with flag 2590932/432297
15.06/14.07	c cleaning 29007 clauses out of 58061 with flag 2775189/462298
16.06/15.03	c cleaning 30027 clauses out of 60053 with flag 2967473/493297
17.09/16.06	c cleaning 30999 clauses out of 62026 with flag 3163778/525297
18.19/17.15	c cleaning 31984 clauses out of 64028 with flag 3364793/558298
19.28/18.28	c cleaning 32994 clauses out of 66043 with flag 3566424/592297
20.59/19.55	c cleaning 33991 clauses out of 68049 with flag 3782639/627297
21.79/20.75	c cleaning 35001 clauses out of 70058 with flag 4013216/663297
23.14/22.07	c cleaning 36007 clauses out of 72058 with flag 4245806/700298
24.53/23.45	c cleaning 36984 clauses out of 74050 with flag 4487030/738297
25.93/24.81	c cleaning 38007 clauses out of 76067 with flag 4728454/777298
27.35/26.22	c cleaning 39008 clauses out of 78059 with flag 4979045/817297
28.84/27.73	c cleaning 40004 clauses out of 80052 with flag 5241726/858298
30.35/29.28	c cleaning 41000 clauses out of 82048 with flag 5514141/900298
31.95/30.84	c cleaning 41999 clauses out of 84047 with flag 5791838/943297
33.66/32.52	c cleaning 43001 clauses out of 86048 with flag 6069910/987297
35.26/34.14	c cleaning 43996 clauses out of 88047 with flag 6348128/1032297
36.98/35.87	c cleaning 44997 clauses out of 90051 with flag 6647822/1078297
38.79/37.66	c cleaning 45995 clauses out of 92054 with flag 6953855/1125297
40.70/39.50	c cleaning 47008 clauses out of 94060 with flag 7261644/1173298
42.49/41.34	c cleaning 47998 clauses out of 96051 with flag 7584929/1222297
44.39/43.26	c cleaning 48996 clauses out of 98055 with flag 7917364/1272299
46.42/45.25	c cleaning 50009 clauses out of 100057 with flag 8253330/1323297
48.41/47.28	c cleaning 50996 clauses out of 102049 with flag 8597735/1375298
50.65/49.48	c cleaning 52006 clauses out of 104054 with flag 8941889/1428299
52.95/51.72	c cleaning 52993 clauses out of 106046 with flag 9308316/1482297
55.14/53.95	c cleaning 53991 clauses out of 108053 with flag 9666892/1537297
57.38/56.19	c cleaning 55012 clauses out of 110062 with flag 10030057/1593297
59.67/58.43	c cleaning 55994 clauses out of 112050 with flag 10391514/1650297
62.11/60.88	c cleaning 57006 clauses out of 114057 with flag 10756798/1708298
64.60/63.32	c cleaning 57998 clauses out of 116052 with flag 11145670/1767299
67.10/65.81	c cleaning 58994 clauses out of 118053 with flag 11542532/1827298
69.64/68.39	c cleaning 60009 clauses out of 120059 with flag 11934614/1888298
72.24/70.97	c cleaning 60987 clauses out of 122049 with flag 12342051/1950297
75.03/73.73	c cleaning 62008 clauses out of 124062 with flag 12761114/2013297
77.88/76.53	c cleaning 63003 clauses out of 126054 with flag 13193581/2077297
80.68/79.38	c cleaning 63991 clauses out of 128052 with flag 13613144/2142298
83.57/82.27	c cleaning 64991 clauses out of 130061 with flag 14064317/2208298
86.48/85.18	c cleaning 66002 clauses out of 132069 with flag 14502195/2275297
89.46/88.14	c cleaning 67007 clauses out of 134069 with flag 14953338/2343299
92.83/91.41	c cleaning 67998 clauses out of 136060 with flag 15431167/2412297
95.93/94.52	c cleaning 68997 clauses out of 138062 with flag 15905989/2482297
99.02/97.65	c cleaning 69993 clauses out of 140065 with flag 16379597/2553297
102.31/100.98	c cleaning 71007 clauses out of 142072 with flag 16863323/2625297
105.79/104.38	c cleaning 71989 clauses out of 144066 with flag 17361908/2698298
109.18/107.78	c cleaning 73014 clauses out of 146077 with flag 17860839/2772298
112.78/111.33	c cleaning 73998 clauses out of 148063 with flag 18377903/2847298
116.27/114.88	c cleaning 74993 clauses out of 150065 with flag 18897102/2923298
119.87/118.43	c cleaning 76015 clauses out of 152072 with flag 19424856/3000298
124.10/122.33	c cleaning 77003 clauses out of 154056 with flag 19947792/3078297
127.90/126.12	c cleaning 77995 clauses out of 156054 with flag 20496173/3157298
131.69/129.90	c cleaning 78988 clauses out of 158061 with flag 21039262/3237300
135.38/133.68	c cleaning 79999 clauses out of 160070 with flag 21597590/3318297
139.53/137.72	c cleaning 81015 clauses out of 162071 with flag 22150833/3400297
143.72/141.90	c cleaning 82006 clauses out of 164056 with flag 22728063/3483297
147.82/146.03	c cleaning 83005 clauses out of 166050 with flag 23296216/3567297
151.70/149.99	c cleaning 83982 clauses out of 168045 with flag 23868738/3652297
156.00/154.22	c cleaning 85009 clauses out of 170066 with flag 24461596/3738300
160.46/158.61	c cleaning 85991 clauses out of 172056 with flag 25067841/3825299
165.05/163.22	c cleaning 87002 clauses out of 174063 with flag 25676177/3913297
169.54/167.73	c cleaning 87981 clauses out of 176061 with flag 26291378/4002297
174.14/172.30	c cleaning 89008 clauses out of 178081 with flag 26914848/4092298
178.73/176.97	c cleaning 90015 clauses out of 180075 with flag 27544535/4183300
183.41/181.66	c cleaning 90995 clauses out of 182057 with flag 28186168/4275297
188.18/186.37	c cleaning 91999 clauses out of 184062 with flag 28825993/4368297
192.98/191.17	c cleaning 92997 clauses out of 186064 with flag 29483227/4462298
197.96/196.13	c cleaning 94002 clauses out of 188068 with flag 30125483/4557299
202.95/201.14	c cleaning 95012 clauses out of 190064 with flag 30803472/4653297
207.94/206.16	c cleaning 95993 clauses out of 192055 with flag 31471665/4750300
213.12/211.29	c cleaning 96995 clauses out of 194061 with flag 32146926/4848299
218.30/216.47	c cleaning 97998 clauses out of 196064 with flag 32831067/4947297
223.59/221.71	c cleaning 99003 clauses out of 198068 with flag 33523431/5047299
228.99/227.11	c cleaning 100015 clauses out of 200063 with flag 34257707/5148297
234.48/232.63	c cleaning 100992 clauses out of 202049 with flag 34976437/5250298
240.40/238.46	c cleaning 101998 clauses out of 204057 with flag 35710857/5353298
246.00/244.00	c cleaning 102998 clauses out of 206059 with flag 36435429/5457298
251.59/249.69	c cleaning 104014 clauses out of 208060 with flag 37175155/5562297
257.47/255.51	c cleaning 104996 clauses out of 210046 with flag 37921514/5668297
263.26/261.31	c cleaning 105992 clauses out of 212050 with flag 38666734/5775297
269.15/267.22	c cleaning 106997 clauses out of 214059 with flag 39431949/5883298
275.14/273.28	c cleaning 108011 clauses out of 216061 with flag 40185436/5992297
281.46/279.58	c cleaning 108995 clauses out of 218050 with flag 40970344/6102297
287.60/285.77	c cleaning 109997 clauses out of 220055 with flag 41752429/6213297
293.84/292.08	c cleaning 110991 clauses out of 222058 with flag 42530866/6325297
300.18/298.48	c cleaning 111997 clauses out of 224068 with flag 43333818/6438298
306.83/305.02	c cleaning 113011 clauses out of 226071 with flag 44142287/6552298
313.37/311.68	c cleaning 114000 clauses out of 228060 with flag 44963004/6667298
320.01/318.38	c cleaning 115004 clauses out of 230060 with flag 45780027/6783298
327.04/325.40	c cleaning 115999 clauses out of 232055 with flag 46608857/6900297
333.69/332.13	c cleaning 116992 clauses out of 234056 with flag 47442984/7018297
340.71/339.15	c cleaning 118006 clauses out of 236064 with flag 48291273/7137297
347.65/346.14	c cleaning 119008 clauses out of 238058 with flag 49147857/7257297
354.87/353.48	c cleaning 119983 clauses out of 240051 with flag 49993763/7378298
362.10/360.70	c cleaning 121001 clauses out of 242068 with flag 50880735/7500298
369.34/368.09	c cleaning 122006 clauses out of 244066 with flag 51750680/7623297
377.50/375.81	c cleaning 122973 clauses out of 246060 with flag 52627471/7747297
384.83/383.23	c cleaning 124006 clauses out of 248087 with flag 53507947/7872297
392.16/390.69	c cleaning 125018 clauses out of 250081 with flag 54408608/7998297
399.99/398.52	c cleaning 125996 clauses out of 252064 with flag 55330642/8125298
407.64/406.20	c cleaning 127012 clauses out of 254068 with flag 56242182/8253298
415.49/414.07	c cleaning 128001 clauses out of 256055 with flag 57162778/8382297
423.58/422.20	c cleaning 129004 clauses out of 258055 with flag 58092038/8512298
431.75/430.31	c cleaning 129984 clauses out of 260050 with flag 59023391/8643297
439.64/438.24	c cleaning 131001 clauses out of 262068 with flag 59985893/8775299
447.72/446.30	c cleaning 132014 clauses out of 264065 with flag 60954719/8908297
456.00/454.64	c cleaning 132993 clauses out of 266052 with flag 61914665/9042298
464.62/463.11	c cleaning 134000 clauses out of 268059 with flag 62892060/9177298
473.21/471.73	c cleaning 134997 clauses out of 270058 with flag 63873077/9313297
481.79/480.33	c cleaning 136005 clauses out of 272062 with flag 64848502/9450298
490.47/489.09	c cleaning 136989 clauses out of 274056 with flag 65853016/9588297
499.64/498.22	c cleaning 137995 clauses out of 276067 with flag 66866360/9727297
508.73/507.38	c cleaning 138997 clauses out of 278072 with flag 67895558/9867297
517.93/516.49	c cleaning 140013 clauses out of 280076 with flag 68894699/10008298
527.02/525.50	c cleaning 141008 clauses out of 282062 with flag 69922848/10150297
536.20/534.71	c cleaning 142016 clauses out of 284054 with flag 70959337/10293297
545.27/543.86	c cleaning 142982 clauses out of 286040 with flag 72002117/10437299
555.05/553.61	c cleaning 144001 clauses out of 288057 with flag 73045560/10582298
564.33/562.91	c cleaning 145005 clauses out of 290055 with flag 74107719/10728297
574.01/572.61	c cleaning 145996 clauses out of 292050 with flag 75186726/10875297
583.75/582.39	c cleaning 146995 clauses out of 294054 with flag 76249442/11023297
593.54/592.14	c cleaning 147998 clauses out of 296059 with flag 77337515/11172297
603.62/602.23	c cleaning 148994 clauses out of 298061 with flag 78435279/11322297
613.80/612.41	c cleaning 149998 clauses out of 300069 with flag 79548299/11473299
623.77/622.48	c cleaning 150995 clauses out of 302070 with flag 80669356/11625298
633.86/632.59	c cleaning 152022 clauses out of 304075 with flag 81795123/11778298
644.57/643.17	c cleaning 152993 clauses out of 306054 with flag 82943931/11932299
655.15/653.72	c cleaning 154011 clauses out of 308059 with flag 84088198/12087297
665.43/664.04	c cleaning 154998 clauses out of 310049 with flag 85238464/12243298
676.30/674.99	c cleaning 155994 clauses out of 312050 with flag 86416719/12400297
686.88/685.52	c cleaning 156990 clauses out of 314056 with flag 87593232/12558297
698.06/696.74	c cleaning 158008 clauses out of 316067 with flag 88788912/12717298
709.23/707.85	c cleaning 158995 clauses out of 318058 with flag 89969547/12877297
720.31/718.96	c cleaning 160001 clauses out of 320064 with flag 91163113/13038298
731.29/729.90	c cleaning 161006 clauses out of 322062 with flag 92364080/13200297
742.47/741.17	c cleaning 161987 clauses out of 324056 with flag 93587029/13363297
753.94/752.60	c cleaning 162985 clauses out of 326070 with flag 94813275/13527298
765.87/764.41	c cleaning 163999 clauses out of 328084 with flag 96049488/13692297
777.84/776.40	c cleaning 165016 clauses out of 330090 with flag 97297042/13858302
789.71/788.35	c cleaning 166004 clauses out of 332070 with flag 98583792/14025298
801.50/800.13	c cleaning 167004 clauses out of 334065 with flag 99842341/14193297
813.70/812.20	c cleaning 167996 clauses out of 336061 with flag 101078377/14362297
826.07/824.64	c cleaning 169004 clauses out of 338065 with flag 102363035/14532297
838.26/836.80	c cleaning 170003 clauses out of 340061 with flag 103631876/14703297
850.73/849.33	c cleaning 170994 clauses out of 342059 with flag 104914959/14875298
863.53/861.83	c cleaning 172005 clauses out of 344065 with flag 106227068/15048298
876.30/874.60	c cleaning 172994 clauses out of 346059 with flag 107525836/15222297
888.88/887.23	c cleaning 173998 clauses out of 348065 with flag 108842771/15397297
901.95/900.29	c cleaning 174999 clauses out of 350067 with flag 110173691/15573297
914.83/913.19	c cleaning 176013 clauses out of 352069 with flag 111509765/15750298
927.60/925.97	c cleaning 177003 clauses out of 354056 with flag 112839938/15928298
940.27/938.65	c cleaning 177988 clauses out of 356053 with flag 114199525/16107298
953.76/952.08	c cleaning 178999 clauses out of 358065 with flag 115577102/16287298
966.83/965.19	c cleaning 180001 clauses out of 360065 with flag 116955028/16468297
980.89/979.23	c cleaning 181005 clauses out of 362064 with flag 118363228/16650297
994.07/992.43	c cleaning 182004 clauses out of 364059 with flag 119754554/16833297
1008.00/1006.29	c cleaning 183003 clauses out of 366056 with flag 121158263/17017298
1021.97/1020.25	c cleaning 184004 clauses out of 368053 with flag 122580416/17202298
1036.04/1034.39	c cleaning 184991 clauses out of 370048 with flag 123994173/17388297
1050.41/1048.70	c cleaning 186011 clauses out of 372058 with flag 125419673/17575298
1064.58/1062.96	c cleaning 186995 clauses out of 374047 with flag 126843460/17763298
1078.84/1077.18	c cleaning 187999 clauses out of 376051 with flag 128289292/17952297
1093.71/1092.08	c cleaning 188987 clauses out of 378052 with flag 129743249/18142297
1108.48/1106.85	c cleaning 189997 clauses out of 380065 with flag 131202074/18333297
1123.54/1121.95	c cleaning 191007 clauses out of 382069 with flag 132672447/18525298
1138.62/1137.07	c cleaning 192004 clauses out of 384061 with flag 134158392/18718297
1153.88/1152.29	c cleaning 192991 clauses out of 386059 with flag 135655479/18912299
1168.75/1167.15	c cleaning 193996 clauses out of 388066 with flag 137150689/19107297
1184.02/1182.48	c cleaning 195010 clauses out of 390071 with flag 138662394/19303298
1199.18/1197.64	c cleaning 196002 clauses out of 392061 with flag 140147711/19500298
1215.12/1213.41	c cleaning 196981 clauses out of 394058 with flag 141662749/19698297
1230.49/1228.86	c cleaning 198000 clauses out of 396077 with flag 143181058/19897297
1246.56/1244.96	c cleaning 199015 clauses out of 398079 with flag 144722096/20097299
1262.52/1260.91	c cleaning 200006 clauses out of 400062 with flag 146270640/20298297
1279.91/1277.77	c cleaning 201008 clauses out of 402056 with flag 147828638/20500297
1296.47/1294.37	c cleaning 201992 clauses out of 404048 with flag 149394409/20703297
1312.64/1310.57	c cleaning 203009 clauses out of 406057 with flag 150972706/20907298
1329.18/1327.04	c cleaning 203996 clauses out of 408047 with flag 152550961/21112297
1345.64/1343.51	c cleaning 204990 clauses out of 410051 with flag 154148606/21318297
1362.40/1360.39	c cleaning 205996 clauses out of 412062 with flag 155774749/21525298
1379.80/1377.63	c cleaning 206998 clauses out of 414065 with flag 157385147/21733297
1396.47/1394.38	c cleaning 207996 clauses out of 416068 with flag 158997716/21942298
1413.04/1411.00	c cleaning 209016 clauses out of 418074 with flag 160598298/22152300
1430.20/1428.12	c cleaning 209993 clauses out of 420055 with flag 162261398/22363297
1447.44/1445.37	c cleaning 211000 clauses out of 422062 with flag 163892146/22575297
1465.21/1463.11	c cleaning 212033 clauses out of 424065 with flag 165575196/22788300
1482.67/1480.61	c cleaning 212988 clauses out of 426030 with flag 167251691/23002298
1500.64/1498.61	c cleaning 213986 clauses out of 428041 with flag 168944622/23217297
1518.66/1516.69	c cleaning 214991 clauses out of 430055 with flag 170592509/23433297
1536.83/1534.81	c cleaning 216007 clauses out of 432065 with flag 172281936/23650298
1554.39/1552.44	c cleaning 216999 clauses out of 434059 with flag 173990616/23868299
1572.56/1570.66	c cleaning 217996 clauses out of 436059 with flag 175710704/24087298
1591.22/1589.20	c cleaning 219011 clauses out of 438062 with flag 177443717/24307297
1609.88/1607.90	c cleaning 219976 clauses out of 440051 with flag 179202537/24528297
1628.64/1626.75	c cleaning 221009 clauses out of 442075 with flag 180944328/24750297
1647.20/1645.39	c cleaning 222011 clauses out of 444066 with flag 182697235/24973297
1666.09/1664.16	c cleaning 222998 clauses out of 446055 with flag 184458181/25197297
1685.44/1683.54	c cleaning 224003 clauses out of 448058 with flag 186269650/25422298
1704.90/1703.01	c cleaning 224990 clauses out of 450055 with flag 188027863/25648298
1724.46/1722.61	c cleaning 225985 clauses out of 452064 with flag 189801708/25875297
1744.74/1742.61	c cleaning 227006 clauses out of 454079 with flag 191585526/26103297
1764.21/1762.18	c cleaning 228008 clauses out of 456074 with flag 193360157/26332298
1784.27/1782.23	c cleaning 228996 clauses out of 458065 with flag 195170601/26562297
1804.87/1802.72	c cleaning 230007 clauses out of 460071 with flag 196998907/26793299
1825.18/1823.22	c cleaning 231008 clauses out of 462063 with flag 198842399/27025298
1845.10/1843.31	c cleaning 231987 clauses out of 464055 with flag 200689174/27258298
1866.10/1864.57	c cleaning 233001 clauses out of 466067 with flag 202553219/27492297
1886.40/1884.85	c cleaning 234009 clauses out of 468067 with flag 204398250/27727298
1907.04/1905.54	c cleaning 234991 clauses out of 470058 with flag 206276279/27963298
1927.69/1926.25	c cleaning 236008 clauses out of 472066 with flag 208143000/28200297
1948.74/1947.30	c cleaning 236992 clauses out of 474058 with flag 210016812/28438297
1970.18/1968.76	c cleaning 238008 clauses out of 476066 with flag 211887871/28677297
1991.33/1989.94	c cleaning 239007 clauses out of 478058 with flag 213783926/28917297
2012.27/2010.91	c cleaning 240002 clauses out of 480052 with flag 215691557/29158298
2033.92/2032.65	c cleaning 240997 clauses out of 482051 with flag 217635023/29400299
2055.69/2054.38	c cleaning 241991 clauses out of 484054 with flag 219566436/29643299
2077.94/2076.70	c cleaning 243006 clauses out of 486061 with flag 221538677/29887297
2100.48/2099.24	c cleaning 243997 clauses out of 488055 with flag 223496537/30132297
2122.74/2121.56	c cleaning 245012 clauses out of 490059 with flag 225444100/30378298
2144.89/2143.63	c cleaning 245996 clauses out of 492046 with flag 227408652/30625297
2167.73/2166.59	c cleaning 246978 clauses out of 494050 with flag 229373253/30873297
2190.18/2189.03	c cleaning 247996 clauses out of 496072 with flag 231386644/31122297
2212.72/2211.65	c cleaning 248992 clauses out of 498076 with flag 233383999/31372297
2236.01/2234.69	c cleaning 250007 clauses out of 500084 with flag 235379922/31623297
2259.56/2258.22	c cleaning 251024 clauses out of 502077 with flag 237447335/31875297
2282.30/2281.05	c cleaning 252001 clauses out of 504054 with flag 239466379/32128298
2305.65/2304.48	c cleaning 253010 clauses out of 506052 with flag 241510217/32382297
2329.04/2327.85	c cleaning 253988 clauses out of 508042 with flag 243547410/32637297
2353.59/2352.43	c cleaning 254994 clauses out of 510055 with flag 245617024/32893298
2377.45/2376.31	c cleaning 255990 clauses out of 512061 with flag 247674391/33150298
2401.70/2400.63	c cleaning 256999 clauses out of 514072 with flag 249745756/33408299
2426.47/2425.43	c cleaning 258016 clauses out of 516071 with flag 251845484/33667297
2451.12/2450.11	c cleaning 259012 clauses out of 518055 with flag 253935335/33927297
2476.77/2475.81	c cleaning 259997 clauses out of 520043 with flag 256023013/34188297
2502.42/2501.54	c cleaning 260997 clauses out of 522047 with flag 258134214/34450298
2527.20/2526.26	c cleaning 262001 clauses out of 524051 with flag 260256469/34713299
2552.75/2551.81	c cleaning 262985 clauses out of 526048 with flag 262407691/34977297
2577.80/2576.93	c cleaning 264006 clauses out of 528063 with flag 264545802/35242297
2603.23/2602.45	c cleaning 265030 clauses out of 530059 with flag 266677275/35508299
2628.93/2628.02	c cleaning 265985 clauses out of 532028 with flag 268849415/35775298
2654.36/2653.59	c cleaning 266992 clauses out of 534042 with flag 271024536/36043297
2679.91/2679.16	c cleaning 267996 clauses out of 536051 with flag 273201936/36312298
2705.84/2705.17	c cleaning 268994 clauses out of 538055 with flag 275402554/36582298
2733.30/2732.16	c cleaning 269987 clauses out of 540060 with flag 277620440/36853297
2759.95/2758.81	c cleaning 271009 clauses out of 542073 with flag 279860387/37125297
2786.90/2785.88	c cleaning 272001 clauses out of 544064 with flag 282061622/37398297
2813.63/2812.61	c cleaning 273007 clauses out of 546063 with flag 284249778/37672297
2840.73/2839.72	c cleaning 273997 clauses out of 548056 with flag 286497603/37947297
2867.86/2866.95	c cleaning 275012 clauses out of 550059 with flag 288732592/38223297
2895.79/2894.98	c cleaning 275988 clauses out of 552047 with flag 290985208/38500297
2923.19/2922.24	c cleaning 277005 clauses out of 554061 with flag 293241739/38778299
2950.54/2949.62	c cleaning 278001 clauses out of 556055 with flag 295536504/39057298
2978.08/2977.24	c cleaning 278999 clauses out of 558055 with flag 297804352/39337299
3005.82/3005.00	c cleaning 280005 clauses out of 560055 with flag 300128172/39618298
3034.37/3033.40	c cleaning 280991 clauses out of 562051 with flag 302433632/39900299
3063.10/3062.22	c cleaning 282006 clauses out of 564058 with flag 304770775/40183297
3091.15/3090.38	c cleaning 282994 clauses out of 566053 with flag 307095215/40467298
3120.01/3119.24	c cleaning 284002 clauses out of 568058 with flag 309447687/40752297
3149.89/3149.37	c cleaning 285004 clauses out of 570058 with flag 311782583/41038299
3178.53/3178.24	c cleaning 286002 clauses out of 572052 with flag 314128420/41325297
3208.39/3208.18	c cleaning 287005 clauses out of 574051 with flag 316468777/41613298
3237.73/3237.56	c cleaning 287990 clauses out of 576046 with flag 318830630/41902298
3267.75/3267.67	c cleaning 289005 clauses out of 578057 with flag 321234115/42192299
3297.99/3297.66	c cleaning 290001 clauses out of 580050 with flag 323650777/42483297
3327.14/3326.87	c cleaning 290993 clauses out of 582050 with flag 326052355/42775298
3357.07/3356.89	c cleaning 292004 clauses out of 584060 with flag 328471540/43068301
3387.67/3387.59	c cleaning 293002 clauses out of 586052 with flag 330914353/43362297
3418.16/3418.34	c cleaning 293991 clauses out of 588050 with flag 333363988/43657297
3449.37/3449.87	c cleaning 295009 clauses out of 590059 with flag 335829184/43953297
3480.94/3481.12	c cleaning 295996 clauses out of 592050 with flag 338270753/44250297
3511.17/3511.43	c cleaning 297011 clauses out of 594056 with flag 340742813/44548299
3542.71/3543.06	c cleaning 298003 clauses out of 596044 with flag 343238140/44847298
3574.54/3574.95	c cleaning 298999 clauses out of 598041 with flag 345730205/45147298
3600.08/3600.51	c starts		: 207029
3600.08/3600.52	c conflicts		: 45403807
3600.08/3600.52	c decisions		: 181138427
3600.08/3600.52	c propagations		: 1837673234
3600.08/3600.52	c inspects		: 48631706185
3600.08/3600.52	c shortcuts		: 0
3600.08/3600.52	c learnt literals	: 0
3600.08/3600.52	c learnt binary clauses	: 0
3600.08/3600.52	c learnt ternary clauses	: 0
3600.08/3600.52	c learnt constraints	: 45403807
3600.08/3600.52	c ignored constraints	: 0
3600.08/3600.52	c root simplifications	: 0
3600.08/3600.52	c removed literals (reason simplification)	: 0
3600.08/3600.52	c reason swapping (by a shorter reason)	: 0
3600.08/3600.52	c Calls to reduceDB	: 297
3600.08/3600.52	c Number of update (reduction) of LBD	: 13162366
3600.08/3600.52	c Imported unit clauses	: 0
3600.08/3600.52	c No decision after first conflict	: false
3600.08/3600.52	c number of reductions to clauses (during analyze)	: 0
3600.08/3600.52	c number of learned constraints concerned by reduction	: 0
3600.08/3600.52	c number of learning phase by resolution	: 0
3600.08/3600.52	c number of learning phase by cutting planes	: 0
3600.08/3600.52	c number of rounding to 1 operations	: 0
3600.08/3600.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3600.53	c number of reductions of the coefficients by power 2 	: 0
3600.08/3600.53	c number of right shift for reduction by power 2 	: 0
3600.08/3600.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3600.53	c number of ending skipping 	: 0
3600.08/3600.53	c number of internal skipping 	: 0
3600.08/3600.53	c number of derivation steps 	: 0
3600.08/3600.53	c number of skipped derivation steps 	: 0
3600.08/3600.53	c number of remaining unassigned 	: 0
3600.08/3600.53	c number of remaining assigned 	: 0
3600.08/3600.53	c number of falsified literals weakened from reason	: 0
3600.08/3600.53	c number of falsified literals weakened from conflict	: 0
3600.08/3600.53	c time for arithmetic operations	: 0
3600.08/3600.54	c minimum degree of deleted constraints	: null
3600.08/3600.54	c maximum degree of deleted constraints	: null
3600.08/3600.54	c number of deleted constraints	: 0
3600.08/3600.54	c speed (assignments/second)	: 510416.01413642697
3600.08/3600.54	c non guided choices	: 2787706
3600.30/3600.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 555551
3600.30/3600.62	s SATISFIABLE
3600.30/3600.62	c Found 5 solution(s)
3600.30/3600.62	v -x1 -x2 x3 -x4 -x5 x6 x7 x8 -x9 x10 -x11 -x12 -x13 -x14 x15 x16 -x17 x18 x19 x20 -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 x29 x30 x31 x32 -x33 -x34 -x35 x36 -x37 -x38 x39 x40 x41 -x42 -x43 -x44 x45 -x46 x47 x48 x49 -x50 x51 -x52 -x53 x54 -x55 -x56 x57 x58 -x59 x60 -x61 -x62 x63 x64 -x65 x66 -x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 x76 x77 x78 -x79 x80 -x81 -x82 x83 x84 -x85 -x86 x87 x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 -x97 x98 x99 x100 x101 -x102 -x103 -x104 x105 x106 x107 x108 x109 -x110 -x111 -x112 -x113 x114 -x115 x116 -x117 x118 -x119 x120 -x121 x122 x123 -x124 -x125 -x126 -x127 x128 x129 x130 -x131 -x132 x133 x134 x135 -x136 -x137 x138 -x139 x140 x141 -x142 x143 x144 x145 -x146 -x147 -x148 x149 x150 -x151 x152 -x153 -x154 -x155 x156 x157 x158 x159 -x160 x161 x162 -x163 x164 -x165 -x166 x167 x168 -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 x178 x179 -x180 -x181 x182 x183 x184 -x185 -x186 -x187 -x188 x189 x190 x191 -x192 -x193 -x194 x195 x196 x197 -x198 x199 -x200 -x201 x202 x203 x204 -x205 x206 x207 -x208 x209 -x210 x211 -x212 -x213 x214 -x215 x216 x217 -x218 -x219 x220 x221 x222 -x223 -x224 x225 -x226 x227 x228 -x229 -x230 -x231 x232 x233 -x234 -x235 x236 x237 x238 -x239 -x240 x241 x242 x243 -x244 -x245 -x246 -x247 x248 -x249 x250 x251 x252 -x253 x254 x255 -x256 -x257 -x258 x259 x260 -x261 x262 -x263 -x264 x265 x266 x267 -x268 x269 -x270 -x271 -x272 x273 x274 x275 -x276 x277 -x278 x279 -x280 -x281 x282 -x283 x284 x285 -x286 -x287 x288 x289 x290 -x291 x292 -x293 x294 x295 -x296 x297 x298 -x299 -x300 -x301 -x302 x303 -x304 x305 x306 -x307 -x308 -x309 x310 x311 -x312 x313 x314 -x315 -x316 -x317 x318 x319 x320 -x321 -x322 -x323 x324 x325 x326 x327 x328 x329 -x330 -x331 -x332 x333 x334 -x335 x336 -x337 -x338 x339 x340 x341 x342 -x343 x344 x345 -x346 -x347 -x348 x349 x350 x351 -x352 -x353 -x354 x355 x356 x357 -x358 x359 x360 x361 -x362 x363 x364 -x365 x366 x367 -x368 x369 -x370 -x371 x372 x373 -x374 x375 -x376 -x377 -x378 x379 x380 x381 x382 -x383 -x384 x385 -x386 x387 -x388 x389 x390 -x391 -x392 x393 x394 -x395 -x396 x397 -x398 -x399 -x400 x401 x402 -x403 x404 -x405 -x406 x407 x408 x409 x410 -x411 x412 -x413 -x414 x415 x416 x417 x418 -x419 -x420 x421 -x422 x423 x424 x425 -x426 -x427 x428 x429 x430 -x431 -x432 x433 x434 x435 -x436 -x437 x438 x439 -x440 -x441 x442 x443 x444 x445 -x446 x447 x448 -x449 -x450 x451 -x452 x453 -x454 x455 -x456 -x457 x458 x459 x460 -x461 -x462 -x463 x464 -x465 -x466 x467 x468 x469 x470 -x471 -x472 x473 x474 -x475 -x476 x477 x478 x479 -x480 x481 x482 -x483 -x484 x485 -x486 x487 -x488 -x489 x490 x491 x492 x493 x494 -x495 x496 x497 x498 -x499 -x500 -x501 x502 x503 x504 -x505 -x506 x507 x508 x509 x510 x511 -x512 -x513 -x514 x515 -x516 -x517 x518 -x519 -x520 -x521 x522 x523 x524 x525 -x526 x527 x528 -x529 -x530 x531 -x532 x533 x534 -x535 -x536 -x537 x538 x539 x540 -x541 x542 x543 -x544 -x545 x546 x547 x548 x549 -x550 x551 x552 x553 -x554 x555 -x556 x557 x558 -x559 x560 -x561 x562 -x563 -x564 x565 x566 -x567 x568 -x569 x570 x571 x572 x573 x574 -x575 -x576 -x577 x578 x579 x580 -x581 -x582 x583 -x584 x585 x586 -x587 x588 x589 x590 x591 x592 -x593 x594 -x595 x596 x597 -x598 x599 x600 x601 x602 -x603 x604 x605 -x606 -x607 x608 x609 -x610 -x611 x612 x613 -x614 -x615 x616 x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 -x626 x627 x628 x629 -x630 x631 x632 -x633 -x634 -x635 x636 x637 x638 x639 x640 -x641 -x642 -x643 x644 x645 x646 -x647 -x648 x649 x650 -x651 -x652 x653 x654 x655 -x656 x657 -x658 x659 x660 x661 x662 x663 x664 x665 x666 -x667 x668 x669 -x670 x671 x672 x673 -x674 x675 x676 x677 -x678 -x679 x680 x681 x682 -x683 -x684 -x685 x686 x687 x688 x689 x690 -x691 x692 -x693 -x694 x695 x696 -x697 x698 x699 -x700 x701 -x702 x703 -x704 -x705 x706 x707 x708 x709 x710 -x711 x712 x713 x714 -x715 x716 -x717 x718 x719 -x720 x721 -x722 x723 -x724 x725 -x726 -x727 x728 x729 x730 -x731 -x732 x733 x734 -x735 x736 x737 x738 -x739 x740 x741 x742 x743 x744 -x745 x746 x747 x748 -x749 x750 x751 x752 x753 -x754 -x755 -x756 x757 -x758 x759 x760 -x761 -x762 x763 -x764 x765 x766 x767 x768 x769 -x770 -x771 x772 -x773 x774 x775 -x776 x777 -x778 x779 x780 -x781 x782 x783 x784 -x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 -x795 x796 x797 x798 -x799 x800 x801 x802 x803 x804 x805 x806 -x807 x808 x809 x810 x811 x812 x813 -x814 x815 x816 -x817 x818 x819 x820 -x821 x822 x823 x824 -x825 -x826 x827 x828 x829 x830 x831 -x832 x833 x834 x835 x836 -x837 x838 x839 -x840 -x841 x842 x843 x844 -x845 x846 x847 -x848 -x849 -x850 x851 -x852 x853 x854 x855 -x856 x857 -x858 x859 -x860 x861 -x862 x863 -x864 -x865 -x866 x867 x868 -x869 -x870 x871 x872 x873 -x874 x875 x876 x877 -x878 x879 -x880 x881 x882 -x883 x884 x885 -x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 x900 x901 -x902 x903 x904 x905 -x906 -x907 -x908 x909 -x910 -x911 x912 x913 -x914 x915 x916 -x917 -x918 x919 x920 -x921 x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 x950 x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 x963 x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 x976 -x977 x978 x979 x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 x988 -x989 x990 x991 -x992 -x993 x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 x1006 x1007 x1008 -x1009 x1010 x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 x1062 -x1063 -x1064 x1065 x1066 -x1067 -x1068 x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 x1077 x1078 -x1079 -x1080 x1081 -x1082 x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 x1103 x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 x1112 -x1113 x1114 -x1115 x1116 -x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 
3600.30/3600.62	c objective function=1
3600.30/3600.62	c Total wall clock time (in seconds): 3600.499

Verifier Data 

OK	1

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100063 s]*
/proc/loadavg: 4.82 4.80 4.75 7/333 270283
/proc/meminfo: memFree=103392000/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=18975048 memory=63028 CPUtime=0.13 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 7193 0 0 0 11 2 0 0 20 0 18 0 23568467 19430449152 15757 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4743762 15757 5681 1 0 549300 0
[pid=270265/tid=270267] ppid=270262 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 1077936192 5729 0 0 0 7 1 0 0 20 0 18 0 23568467 19430449152 15757 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23568470 19430449152 15757 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=18975048 memory=13565998625714195 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23568470 19430449152 15757 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63028 KiB

[startup+0.206058 s]*
/proc/loadavg: 4.82 4.80 4.75 7/334 270284
/proc/meminfo: memFree=103373432/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19041612 memory=82032 CPUtime=0.33 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 7649 0 0 0 30 3 0 0 20 0 19 0 23568467 19498610688 20508 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4760403 20508 5882 1 0 549918 0
[pid=270265/tid=270267] ppid=270262 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 1077936192 6001 0 0 0 16 2 0 0 20 0 19 0 23568467 19498610688 20508 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19041612 memory=1574935 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23568470 19498610688 20508 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19041612 memory=14127849065940646 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23568470 19498610688 20508 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23568486 19498610688 20508 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82032 KiB

[startup+0.313684 s]*
/proc/loadavg: 4.82 4.80 4.75 7/334 270284
/proc/meminfo: memFree=103366988/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19041612 memory=88160 CPUtime=0.53 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 9421 0 0 0 50 3 0 0 20 0 19 0 23568467 19498610688 22040 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4760403 22040 5898 1 0 550979 0
[pid=270265/tid=270267] ppid=270262 vsize=19041612 memory=-9031802392514634428 CPUtime=0.28 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 6041 0 0 0 26 2 0 0 20 0 19 0 23568467 19498610688 22040 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23568470 19498610688 22040 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23568470 19498610688 22040 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23568486 19498610688 22040 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88160 KiB

[startup+0.709684 s]
/proc/loadavg: 4.82 4.80 4.75 6/334 270284
/proc/meminfo: memFree=103356676/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19041612 memory=105368 CPUtime=1.3 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 11592 0 0 0 127 3 0 0 20 0 19 0 23568467 19498610688 26342 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4760403 26342 5898 1 0 552659 0
[pid=270265/tid=270267] ppid=270262 vsize=19041612 memory=73996 CPUtime=0.65 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 6047 0 0 0 63 2 0 0 20 0 19 0 23568467 19498610688 26342 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19041612 memory=12992 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23568470 19498610688 26342 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19041612 memory=2336 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23568470 19498610688 26342 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19041612 memory=32404 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23568486 19498610688 26342 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105368 KiB

[startup+1.50068 s]
/proc/loadavg: 4.82 4.80 4.75 5/334 270284
/proc/meminfo: memFree=103338976/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19041612 memory=134840 CPUtime=2.45 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 15331 0 0 0 240 5 0 0 20 0 19 0 23568467 19498610688 33710 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4760403 33710 5898 1 0 552753 0
[pid=270265/tid=270267] ppid=270262 vsize=19041612 memory=12992 CPUtime=1.43 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 6466 0 0 0 140 3 0 0 20 0 19 0 23568467 19498610688 33710 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23568470 19498610688 33710 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19041612 memory=2336 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23568470 19498610688 33710 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19041612 memory=32404 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23568486 19498610688 33710 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134840 KiB

[startup+3.10567 s]
/proc/loadavg: 4.76 4.79 4.75 5/335 270286
/proc/meminfo: memFree=103272688/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=182596 CPUtime=4.06 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 17091 0 0 0 400 6 0 0 20 0 20 0 23568467 19566772224 45649 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 45649 5946 1 0 553043 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=0 CPUtime=3.02 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 6748 0 0 0 298 4 0 0 20 0 20 0 23568467 19566772224 45649 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=-9031802392514634428 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 45649 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=12992 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 45649 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=2336 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 45649 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182596 KiB

[startup+6.30027 s]
/proc/loadavg: 4.76 4.79 4.75 5/335 270286
/proc/meminfo: memFree=103272524/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=182544 CPUtime=7.3 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 17556 0 0 0 724 6 0 0 20 0 20 0 23568467 19566772224 45636 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 45636 5961 1 0 553044 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=2336 CPUtime=6.19 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 7018 0 0 0 615 4 0 0 20 0 20 0 23568467 19566772224 45636 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 45636 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=12992 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 45636 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=140984 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 45636 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 7.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182544 KiB

[startup+12.7003 s]
/proc/loadavg: 4.70 4.77 4.74 5/335 270286
/proc/meminfo: memFree=103198420/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=256540 CPUtime=13.73 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 19164 0 0 0 1365 8 0 0 20 0 20 0 23568467 19566772224 64135 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 64135 5974 1 0 553044 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=12992 CPUtime=12.47 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 7400 0 0 0 1243 4 0 0 20 0 20 0 23568467 19566772224 64135 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=140984 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 64135 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 64135 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=256540 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 64135 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 13.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 256540 KiB

[startup+25.5003 s]
/proc/loadavg: 4.54 4.74 4.73 5/334 270290
/proc/meminfo: memFree=103000408/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=486664 CPUtime=26.65 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 22729 0 0 0 2651 14 0 0 20 0 20 0 23568467 19566772224 121666 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 121666 5974 1 0 553044 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=256540 CPUtime=24.96 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 8549 0 0 0 2492 4 0 0 20 0 20 0 23568467 19566772224 121666 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=453896 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 121666 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 121666 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=363592 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 121666 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 26.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 486664 KiB

[startup+51.1057 s]
/proc/loadavg: 4.42 4.69 4.71 5/334 270293
/proc/meminfo: memFree=102630656/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=822588 CPUtime=52.36 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 26400 0 0 0 5214 22 0 0 20 0 20 0 23568467 19566772224 205647 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 205647 5974 1 0 553044 0

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

[startup+3282.3 s]
/proc/loadavg: 4.20 4.25 4.25 5/331 272295
/proc/meminfo: memFree=110362964/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=1875900 CPUtime=3282.73 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 216466 0 0 0 328125 148 0 0 20 0 20 0 23568467 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 468975 5971 1 0 479727 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=1868732 CPUtime=3264.37 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 96558 0 0 0 326415 22 0 0 20 0 20 0 23568467 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=1868732 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 3348 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=1875900 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 3282.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1875900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.23 4.25 5/331 272305
/proc/meminfo: memFree=110356132/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=1875900 CPUtime=3342.6 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 217303 0 0 0 334111 149 0 0 20 0 20 0 23568467 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 468975 5971 1 0 479727 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=1875900 CPUtime=3324.22 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 97301 0 0 0 332400 22 0 0 20 0 20 0 23568467 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=1875900 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=1875900 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 3390 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=1875900 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 468975 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 3342.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1875900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.22 4.24 5/330 272315
/proc/meminfo: memFree=109758292/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=1875912 CPUtime=3402.32 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 219168 0 0 0 340081 151 0 0 20 0 20 0 23568467 19566772224 468978 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 468978 5971 1 0 479728 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=1875900 CPUtime=3383.66 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 98303 0 0 0 338344 22 0 0 20 0 20 0 23568467 19566772224 468978 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=1875900 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 468978 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=1875908 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 3473 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 468978 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=1875908 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 468978 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 3402.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1875912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.21 4.24 5/330 272326
/proc/meminfo: memFree=108857596/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=1675872 CPUtime=3462.18 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 223090 0 0 0 346065 153 0 0 20 0 20 0 23568467 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 418968 5971 1 0 429624 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=1875900 CPUtime=3443.05 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 100015 0 0 0 344282 23 0 0 20 0 20 0 23568467 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=1875900 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=1875912 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 3558 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 3462.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1675872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.21 4.24 6/330 272336
/proc/meminfo: memFree=108848580/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=1675872 CPUtime=3522.05 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 223910 0 0 0 352051 154 0 0 20 0 20 0 23568467 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 418968 5971 1 0 429624 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=1675872 CPUtime=3502.9 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 100700 0 0 0 350267 23 0 0 20 0 20 0 23568467 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=1875912 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=1875908 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 3638 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=1675872 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 3522.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1675872 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.22 4.24 5/333 272352
/proc/meminfo: memFree=108449624/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=1675872 CPUtime=3581.92 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 225862 0 0 0 358037 155 0 0 20 0 20 0 23568467 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 418968 5971 1 0 429624 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=1675872 CPUtime=3562.65 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 101873 0 0 0 356242 23 0 0 20 0 20 0 23568467 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=1675872 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 3650 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 3581.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1675872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.5 s]
/proc/loadavg: 4.15 4.20 4.23 5/333 272355
/proc/meminfo: memFree=108408456/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19108176 memory=1675872 CPUtime=3600.08 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 225897 0 0 0 359852 156 0 0 20 0 20 0 23568467 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4777044 418968 5971 1 0 429624 0
[pid=270265/tid=270267] ppid=270262 vsize=19108176 memory=1675872 CPUtime=3580.8 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 101908 0 0 0 358057 23 0 0 20 0 20 0 23568467 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19108176 memory=-9031802392514634428 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19108176 memory=1675872 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 3650 0 0 0 0 0 0 0 20 0 20 0 23568470 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270284] ppid=270262 vsize=19108176 memory=1675872 CPUtime=0 cores=1,3
/proc/270265/task/270284/stat : 270284 (Timer-0) S 270262 270265 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23568486 19566772224 418968 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1675872 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.77 s, system=1.57997 s

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

[startup+3600.61 s]
/proc/loadavg: 4.15 4.20 4.23 5/333 272355
/proc/meminfo: memFree=108408456/131524600 swapFree=131056796/131071996
[pid=270265] ppid=270262 vsize=19307868 memory=1676564 CPUtime=3600.3 cores=1,3
/proc/270265/stat : 270265 (java) S 270262 270265 266840 0 -1 1077936128 227938 0 0 0 359873 157 0 0 20 0 21 0 23568467 19771256832 419141 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
/proc/270265/statm: 4826967 419141 5970 1 0 430546 0
[pid=270265/tid=270267] ppid=270262 vsize=19307868 memory=8028 CPUtime=3580.9 cores=1,3
/proc/270265/task/270267/stat : 270267 (java) R 270262 270265 266840 0 -1 4194368 102043 0 0 0 358067 23 0 0 20 0 21 0 23568467 19771256832 419141 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270276] ppid=270262 vsize=19307868 memory=20236 CPUtime=0 cores=1,3
/proc/270265/task/270276/stat : 270276 (Finalizer) S 270262 270265 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23568470 19771256832 419141 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
[pid=270265/tid=270283] ppid=270262 vsize=19307868 memory=6924 CPUtime=0 cores=1,3
/proc/270265/task/270283/stat : 270283 (Common-Cleaner) S 270262 270265 266840 0 -1 1077936192 3650 0 0 0 0 0 0 0 20 0 21 0 23568470 19771256832 419141 134679101440 94283648929792 94283648933488 140729905431760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94283648941304 94283648942096 94283672051712 140729905439751 140729905439841 140729905439841 140729905446856 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1676564 KiB

Child status: 143

Real time (s): 3600.64
CPU time (s): 3600.35
CPU user time (s): 3598.77
CPU system time (s): 1.57997
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2176064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.77
system time used= 1.57997
maximum resident set size= 2176064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106282
involuntary context switches= 6695


# summary of solver processes directly reported to runsolver:
#   pid: 270265
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3598.77
#   total CPU system time (s): 1.57997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55959 second user time and 18.1659 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 03:20:45
IDJOB=4457908
IDBENCH=177053
IDSOLVER=3058
FILE ID=nodeC030/4457908-1721870445
RUNJOBID= nodeC030-1721865114-266852
SLURM_JOB_ID= 8089185
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457908-1721870445/watcher-4457908-1721870445 -o /tmp/evaluation-result-4457908-1721870445/solver-4457908-1721870445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266852 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4457908-1721870445.opb

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

MD5SUM BENCH= 3b07899157a77563e39a517f9d1ebfa4
RANDOM SEED=2101936449

nodeC030.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		: 3599.719
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
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		: 3656.751
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.46
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		: 3599.896
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
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		: 3617.076
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.46
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		: 3599.719
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
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		: 3689.095
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.46
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		: 3599.719
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
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		: 3655.088
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        103434012 kB
MemAvailable:   109952368 kB
Buffers:          275940 kB
Cached:          7029656 kB
SwapCached:          300 kB
Active:          2569504 kB
Inactive:       24791756 kB
Active(anon):       2188 kB
Inactive(anon): 20106520 kB
Active(file):    2567316 kB
Inactive(file):  4685236 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:               784 kB
Writeback:            24 kB
AnonPages:      20052924 kB
Mapped:           130192 kB
Shmem:             53048 kB
KReclaimable:     211256 kB
Slab:             333812 kB
SReclaimable:     211256 kB
SUnreclaim:       122556 kB
KernelStack:        5060 kB
PageTables:        49780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   21940996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:  19800064 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-25 04:20:46