Trace number 4432212

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)154 3600.63 3596.9

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUM82a224b9434e58ca22c331a9d6eb0d67
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
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.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.18	c version CUSTOM.v20240707
0.13/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.20	c java.vm.version	22.0.1+8-16
0.13/0.20	c java.vm.vendor	Oracle Corporation
0.13/0.20	c sun.arch.data.model	64
0.13/0.20	c java.version		22.0.1
0.13/0.21	c os.name		Linux
0.13/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.21	c os.arch		amd64
0.13/0.21	c Free memory 		2113181440
0.13/0.21	c Max memory 		16282288128
0.13/0.23	c Total memory 		2122317824
0.30/0.23	c Number of processors 	2
0.30/0.32	--- Begin Solver configuration ---
0.30/0.32	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.32	Learn all clauses as in MiniSAT
0.30/0.32	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.32	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.32	No reason simplification
0.30/0.32	Glucose 2.1 dynamic restart strategy
0.30/0.32	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.30/0.32	timeout=2147483s
0.30/0.32	DB Simplification allowed=false
0.30/0.32	Listener: none
0.30/0.32	--- End Solver configuration ---
0.30/0.32	c Pseudo Boolean Optimization by upper bound
0.30/0.32	c --- Begin Solver configuration ---
0.30/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.32	c Learn all clauses as in MiniSAT
0.30/0.32	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.32	c No reason simplification
0.30/0.32	c Glucose 2.1 dynamic restart strategy
0.30/0.32	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.30/0.32	c timeout=2147483s
0.30/0.32	c DB Simplification allowed=false
0.30/0.32	c Listener: none
0.30/0.32	c --- End Solver configuration ---
0.30/0.32	c solving HOME/instance-4432212-1721073224.opb
0.30/0.32	c reading problem ... 
0.30/0.33	c  objective function found
1.37/0.84	c ... done. Wall clock time 0.514s.
1.37/0.85	c declared #vars     1344
1.37/0.85	c #constraints  16376
1.37/0.85	c constraints type 
1.37/0.85	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1.37/0.85	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1.37/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.37/0.85	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1.37/0.85	c 16376 constraints processed.
1.37/0.86	c objective function length is 448 literals
1.76/1.09	c SATISFIABLE
1.76/1.10	c OPTIMIZING...
1.76/1.10	c Got one! Elapsed wall clock time (in seconds):0.769
1.76/1.10	o 216
2.34/1.30	c Got one! Elapsed wall clock time (in seconds):0.967
2.34/1.30	o 184
3.13/1.79	c cleaning 2894 clauses out of 5794 with flag 13188/5794
3.73/2.04	c cleaning 4450 clauses out of 8899 with flag 26324/11793
4.03/2.24	c cleaning 5724 clauses out of 11449 with flag 41119/18793
4.30/2.44	c cleaning 6862 clauses out of 13725 with flag 60262/26793
4.57/2.69	c cleaning 7929 clauses out of 15864 with flag 81234/35794
5.02/2.94	c cleaning 8967 clauses out of 17934 with flag 106733/45793
5.32/3.22	c cleaning 9982 clauses out of 19968 with flag 130257/56794
5.62/3.53	c cleaning 10991 clauses out of 21985 with flag 156364/68793
5.92/3.86	c cleaning 11990 clauses out of 23994 with flag 185237/81793
6.33/4.26	c cleaning 13002 clauses out of 26005 with flag 216437/95794
6.73/4.69	c cleaning 13998 clauses out of 28005 with flag 250234/110796
7.24/5.13	c cleaning 15001 clauses out of 30004 with flag 287479/126793
7.82/5.65	c cleaning 15997 clauses out of 32004 with flag 331874/143794
8.39/6.19	c cleaning 17002 clauses out of 34008 with flag 376855/161795
8.98/6.73	c cleaning 17993 clauses out of 36005 with flag 421908/180794
9.57/7.37	c cleaning 19005 clauses out of 38011 with flag 473930/200793
10.29/8.07	c cleaning 20004 clauses out of 40007 with flag 525757/221794
10.87/8.61	c cleaning 20993 clauses out of 42004 with flag 575037/243795
11.39/9.16	c cleaning 22004 clauses out of 44009 with flag 626876/266793
11.97/9.74	c cleaning 22993 clauses out of 46006 with flag 681467/290794
12.60/10.39	c cleaning 24007 clauses out of 48013 with flag 738766/315794
13.31/11.05	c cleaning 25000 clauses out of 50005 with flag 799088/341793
14.00/11.73	c cleaning 25998 clauses out of 52005 with flag 863415/368793
14.69/12.49	c cleaning 27003 clauses out of 54007 with flag 929958/396793
15.69/13.43	c cleaning 27998 clauses out of 56004 with flag 998764/425793
16.59/14.36	c cleaning 28998 clauses out of 58006 with flag 1071623/455793
17.59/15.31	c cleaning 29996 clauses out of 60008 with flag 1145747/486793
18.70/16.46	c cleaning 31006 clauses out of 62012 with flag 1225823/518793
19.69/17.44	c cleaning 31992 clauses out of 64006 with flag 1305673/551793
20.79/18.50	c cleaning 33003 clauses out of 66015 with flag 1390127/585794
22.09/19.85	c cleaning 34003 clauses out of 68012 with flag 1479257/620794
23.09/20.86	c cleaning 35000 clauses out of 70008 with flag 1568148/656793
24.19/21.94	c cleaning 35999 clauses out of 72008 with flag 1659532/693793
25.30/23.06	c cleaning 36996 clauses out of 74009 with flag 1754873/731793
26.79/24.51	c cleaning 38005 clauses out of 76016 with flag 1856753/770796
27.99/25.73	c cleaning 38994 clauses out of 78008 with flag 1959692/810793
29.18/26.90	c cleaning 40006 clauses out of 80014 with flag 2061148/851793
30.58/28.31	c cleaning 41001 clauses out of 82009 with flag 2169437/893794
31.98/29.73	c cleaning 42001 clauses out of 84009 with flag 2281191/936795
33.39/31.19	c cleaning 43000 clauses out of 86006 with flag 2394993/980793
34.97/32.75	c cleaning 44000 clauses out of 88007 with flag 2511512/1025794
36.29/34.09	c cleaning 44995 clauses out of 90006 with flag 2629936/1071793
37.77/35.57	c cleaning 46003 clauses out of 92011 with flag 2753779/1118793
39.57/37.32	c cleaning 46997 clauses out of 94009 with flag 2879826/1166794
41.07/38.84	c cleaning 48000 clauses out of 96012 with flag 3012710/1215794
42.65/40.47	c cleaning 49007 clauses out of 98014 with flag 3149132/1265796
44.77/42.52	c cleaning 50001 clauses out of 100005 with flag 3285670/1316794
46.56/44.35	c cleaning 51000 clauses out of 102003 with flag 3425276/1368793
48.76/46.52	c cleaning 52002 clauses out of 104003 with flag 3569053/1421793
50.58/48.31	c cleaning 52990 clauses out of 106002 with flag 3716814/1475794
52.57/50.32	c cleaning 54006 clauses out of 108011 with flag 3869453/1530793
54.39/52.16	c cleaning 54995 clauses out of 110006 with flag 4020095/1586794
56.58/54.35	c cleaning 55999 clauses out of 112010 with flag 4178688/1643793
58.68/56.46	c cleaning 57001 clauses out of 114012 with flag 4343018/1701794
60.87/58.68	c cleaning 58005 clauses out of 116010 with flag 4507084/1760793
63.17/60.91	c cleaning 58997 clauses out of 118005 with flag 4670658/1820793
65.37/63.12	c cleaning 60000 clauses out of 120010 with flag 4840540/1881795
67.96/65.74	c cleaning 61000 clauses out of 122009 with flag 5009863/1943794
70.37/68.17	c cleaning 61992 clauses out of 124008 with flag 5185183/2006793
72.85/70.62	c cleaning 63005 clauses out of 126017 with flag 5365178/2070794
75.64/73.45	c cleaning 64002 clauses out of 128012 with flag 5540484/2135794
78.04/75.82	c cleaning 64990 clauses out of 130010 with flag 5716828/2201794
80.74/78.54	c cleaning 66004 clauses out of 132019 with flag 5900055/2268793
83.49/81.14	c cleaning 67004 clauses out of 134015 with flag 6090035/2336793
86.17/83.85	c cleaning 67994 clauses out of 136012 with flag 6278418/2405794
88.76/86.48	c cleaning 69003 clauses out of 138017 with flag 6474933/2475793
91.36/89.11	c cleaning 69995 clauses out of 140014 with flag 6671459/2546793
94.15/91.84	c cleaning 71002 clauses out of 142020 with flag 6877616/2618794
96.75/94.42	c cleaning 72006 clauses out of 144018 with flag 7085221/2691794
99.85/97.59	c cleaning 73003 clauses out of 146011 with flag 7301018/2765793
103.05/100.77	c cleaning 73999 clauses out of 148008 with flag 7520487/2840793
106.24/103.97	c cleaning 74997 clauses out of 150009 with flag 7740242/2916793
109.57/107.28	c cleaning 76003 clauses out of 152013 with flag 7959081/2993794
112.49/110.15	c cleaning 77000 clauses out of 154010 with flag 8182751/3071794
115.86/113.57	c cleaning 77993 clauses out of 156009 with flag 8422282/3150793
119.65/117.39	c cleaning 79002 clauses out of 158017 with flag 8665763/3230794
123.25/120.96	c cleaning 80006 clauses out of 160015 with flag 8907463/3311794
126.74/124.41	c cleaning 80998 clauses out of 162008 with flag 9145419/3393793
130.13/127.82	c cleaning 81998 clauses out of 164010 with flag 9384602/3476793
133.82/131.55	c cleaning 83002 clauses out of 166012 with flag 9633595/3560793
137.42/135.07	c cleaning 83997 clauses out of 168010 with flag 9888344/3645793
141.70/139.35	c cleaning 84999 clauses out of 170015 with flag 10150522/3731795
146.57/144.17	c cleaning 86000 clauses out of 172014 with flag 10419860/3818793
150.64/148.24	c cleaning 86998 clauses out of 174014 with flag 10687841/3906793
155.13/152.72	c cleaning 88002 clauses out of 176016 with flag 10965225/3995793
158.82/156.48	c cleaning 88998 clauses out of 178014 with flag 11239712/4085793
163.61/161.20	c cleaning 90008 clauses out of 180017 with flag 11519929/4176794
167.95/165.58	c cleaning 90992 clauses out of 182008 with flag 11798381/4268793
172.74/170.39	c cleaning 91995 clauses out of 184016 with flag 12088152/4361793
177.32/174.95	c cleaning 93004 clauses out of 186022 with flag 12375166/4455794
182.21/179.85	c cleaning 94003 clauses out of 188017 with flag 12672983/4550793
186.71/184.38	c cleaning 95007 clauses out of 190014 with flag 12962415/4646793
191.29/188.95	c cleaning 95998 clauses out of 192007 with flag 13256476/4743793
196.24/193.83	c cleaning 97004 clauses out of 194009 with flag 13550424/4841793
201.13/198.73	c cleaning 98002 clauses out of 196007 with flag 13853468/4940795
205.82/203.46	c cleaning 98996 clauses out of 198006 with flag 14171589/5040796
211.11/208.78	c cleaning 99998 clauses out of 200009 with flag 14495887/5141795
216.19/213.81	c cleaning 100997 clauses out of 202009 with flag 14808837/5243793
222.36/219.98	c cleaning 102001 clauses out of 204013 with flag 15134764/5346794
227.56/225.14	c cleaning 102998 clauses out of 206012 with flag 15461607/5450794
233.14/230.74	c cleaning 104000 clauses out of 208014 with flag 15793175/5555794
239.11/236.64	c cleaning 105005 clauses out of 210014 with flag 16122063/5661794
245.20/242.74	c cleaning 106000 clauses out of 212009 with flag 16452455/5768794
250.60/248.14	c cleaning 106999 clauses out of 214008 with flag 16790105/5876793
256.49/254.08	c cleaning 107999 clauses out of 216010 with flag 17129800/5985794
263.03/260.56	c cleaning 108994 clauses out of 218012 with flag 17484430/6095795
268.92/266.47	c cleaning 110001 clauses out of 220017 with flag 17826827/6206794
276.00/273.54	c cleaning 111005 clauses out of 222019 with flag 18191892/6318797
282.88/280.48	c cleaning 112000 clauses out of 224011 with flag 18543685/6431794
288.36/285.82	c cleaning 112996 clauses out of 226010 with flag 18889311/6545793
294.67/292.18	c cleaning 113996 clauses out of 228015 with flag 19257788/6660794
302.33/299.87	c cleaning 115007 clauses out of 230018 with flag 19629341/6776793
308.64/306.15	c cleaning 115998 clauses out of 232011 with flag 19994976/6893793
316.78/313.20	c cleaning 117000 clauses out of 234013 with flag 20386125/7011793
324.85/321.34	c cleaning 118001 clauses out of 236013 with flag 20783138/7130793
332.44/328.98	c cleaning 118999 clauses out of 238012 with flag 21177691/7250793
340.97/337.40	c cleaning 120004 clauses out of 240013 with flag 21586700/7371793
350.24/346.70	c cleaning 120997 clauses out of 242009 with flag 21985534/7493793
358.23/354.77	c cleaning 122005 clauses out of 244013 with flag 22391665/7616794
366.20/362.69	c cleaning 122994 clauses out of 246009 with flag 22801145/7740795
374.69/371.11	c cleaning 124000 clauses out of 248013 with flag 23221599/7865793
385.13/381.54	c cleaning 125000 clauses out of 250013 with flag 23650470/7991793
395.41/391.88	c cleaning 126004 clauses out of 252014 with flag 24087969/8118794
404.79/401.28	c cleaning 126998 clauses out of 254009 with flag 24522132/8246793
414.45/410.80	c Got one! Elapsed wall clock time (in seconds):410.485
414.45/410.82	o 182
415.03/411.24	c Got one! Elapsed wall clock time (in seconds):410.92
415.03/411.24	o 156
416.57/412.62	c cleaning 113140 clauses out of 226282 with flag 27169/8346064
418.27/414.32	c cleaning 59566 clauses out of 119140 with flag 106878/8352062
420.36/416.43	c cleaning 33282 clauses out of 66573 with flag 219662/8359061
421.56/417.67	c Got one! Elapsed wall clock time (in seconds):417.347
421.56/417.67	o 154
421.66/417.76	c cleaning 19231 clauses out of 38469 with flag 5686/8364239
422.77/418.86	c cleaning 12611 clauses out of 25239 with flag 72448/8370240
422.98/419.08	c cleaning 9804 clauses out of 19627 with flag 97176/8377239
423.17/419.26	c cleaning 8899 clauses out of 17823 with flag 119469/8385239
423.69/419.64	c cleaning 8951 clauses out of 17924 with flag 144666/8394239
424.07/419.86	c cleaning 9471 clauses out of 18973 with flag 171843/8404239
424.42/420.12	c cleaning 10248 clauses out of 20503 with flag 201124/8415240
424.71/420.42	c cleaning 11124 clauses out of 22255 with flag 232827/8427240
425.02/420.75	c cleaning 12058 clauses out of 24130 with flag 267255/8440239
425.43/421.11	c cleaning 13031 clauses out of 26073 with flag 304638/8454240
425.72/421.49	c cleaning 14009 clauses out of 28041 with flag 344861/8469239
426.22/421.91	c cleaning 15016 clauses out of 30034 with flag 388455/8485241
426.71/422.40	c cleaning 16006 clauses out of 32017 with flag 435084/8502240
427.21/422.91	c cleaning 17003 clauses out of 34010 with flag 484820/8520239
427.71/423.45	c cleaning 17994 clauses out of 36007 with flag 539370/8539239
428.21/423.98	c cleaning 19002 clauses out of 38013 with flag 596676/8559239
428.91/424.60	c cleaning 19993 clauses out of 40011 with flag 658597/8580239
429.42/425.18	c cleaning 21005 clauses out of 42019 with flag 722543/8602240
430.11/425.87	c cleaning 21996 clauses out of 44014 with flag 789705/8625240
430.85/426.56	c cleaning 23003 clauses out of 46017 with flag 860086/8649239
431.55/427.24	c cleaning 24004 clauses out of 48014 with flag 932384/8674239
432.25/427.96	c cleaning 24995 clauses out of 50012 with flag 1010063/8700241
433.05/428.73	c cleaning 26004 clauses out of 52015 with flag 1089832/8727239
433.94/429.65	c cleaning 27006 clauses out of 54013 with flag 1173028/8755241
434.84/430.58	c cleaning 27994 clauses out of 56006 with flag 1258771/8784240
435.84/431.52	c cleaning 29000 clauses out of 58011 with flag 1347548/8814239
436.74/432.45	c cleaning 29994 clauses out of 60011 with flag 1438350/8845239
437.63/433.36	c cleaning 31003 clauses out of 62017 with flag 1532033/8877239
438.83/434.54	c cleaning 32001 clauses out of 64014 with flag 1630931/8910239
439.83/435.58	c cleaning 33006 clauses out of 66014 with flag 1731075/8944240
440.83/436.58	c cleaning 33999 clauses out of 68007 with flag 1836759/8979239
442.19/437.88	c cleaning 34996 clauses out of 70009 with flag 1946429/9015240
443.50/439.17	c cleaning 36001 clauses out of 72012 with flag 2058936/9052239
444.89/440.50	c cleaning 37003 clauses out of 74013 with flag 2173623/9090241
446.29/441.90	c cleaning 37998 clauses out of 76009 with flag 2295564/9129240
447.58/443.25	c cleaning 38997 clauses out of 78010 with flag 2420864/9169239
449.18/444.80	c cleaning 39998 clauses out of 80014 with flag 2552221/9210240
450.49/446.16	c cleaning 41002 clauses out of 82017 with flag 2681567/9252241
451.97/447.64	c cleaning 42003 clauses out of 84015 with flag 2814333/9295241
453.67/449.36	c cleaning 42999 clauses out of 86010 with flag 2951431/9339239
455.16/450.84	c cleaning 43993 clauses out of 88012 with flag 3093380/9384240
457.21/452.84	c cleaning 45002 clauses out of 90018 with flag 3241644/9430239
458.81/454.43	c cleaning 46001 clauses out of 92016 with flag 3393159/9477239
460.70/456.33	c cleaning 47000 clauses out of 94015 with flag 3549466/9525239
462.80/458.46	c cleaning 48003 clauses out of 96019 with flag 3706422/9574243
464.90/460.56	c cleaning 48994 clauses out of 98013 with flag 3865569/9624240
466.70/462.30	c cleaning 50002 clauses out of 100019 with flag 4026348/9675240
468.50/464.16	c cleaning 51000 clauses out of 102016 with flag 4200388/9727239
470.81/466.44	c cleaning 51998 clauses out of 104016 with flag 4387041/9780239
472.52/468.17	c cleaning 52994 clauses out of 106018 with flag 4577796/9834239
474.80/470.46	c cleaning 54002 clauses out of 108027 with flag 4769170/9889242
476.99/472.63	c cleaning 55003 clauses out of 110022 with flag 4953030/9945239
479.19/474.85	c cleaning 56001 clauses out of 112020 with flag 5136312/10002240
481.49/477.12	c cleaning 56997 clauses out of 114019 with flag 5322151/10060240
483.68/479.33	c cleaning 58002 clauses out of 116021 with flag 5511558/10119239
486.17/481.86	c cleaning 59001 clauses out of 118021 with flag 5704739/10179241
488.90/484.50	c cleaning 60003 clauses out of 120018 with flag 5905316/10240239
491.40/487.08	c cleaning 61003 clauses out of 122015 with flag 6107910/10302239
494.09/489.70	c cleaning 61998 clauses out of 124013 with flag 6328714/10365240
496.79/492.48	c cleaning 62992 clauses out of 126014 with flag 6552055/10429239
499.39/495.03	c cleaning 63998 clauses out of 128024 with flag 6777685/10494241
501.93/497.58	c cleaning 64998 clauses out of 130024 with flag 7003262/10560239
504.82/500.43	c cleaning 66009 clauses out of 132027 with flag 7229605/10627240
507.81/503.40	c cleaning 66998 clauses out of 134017 with flag 7463130/10695239
510.70/506.36	c cleaning 68006 clauses out of 136021 with flag 7694856/10764241
513.90/509.53	c cleaning 69001 clauses out of 138016 with flag 7928595/10834242
516.95/512.51	c cleaning 70004 clauses out of 140014 with flag 8146742/10905241
519.56/515.18	c cleaning 70993 clauses out of 142009 with flag 8357601/10977240
522.24/517.84	c cleaning 71992 clauses out of 144016 with flag 8587894/11050240
525.14/520.71	c cleaning 72997 clauses out of 146024 with flag 8814088/11124240
528.44/524.09	c cleaning 74007 clauses out of 148029 with flag 9052929/11199242
532.35/527.97	c cleaning 74993 clauses out of 150019 with flag 9309357/11275239
535.84/531.49	c cleaning 76007 clauses out of 152027 with flag 9555387/11352240
539.55/535.16	c cleaning 77000 clauses out of 154019 with flag 9810458/11430239
543.13/538.71	c cleaning 78005 clauses out of 156019 with flag 10068756/11509239
545.92/541.59	c cleaning 79004 clauses out of 158016 with flag 10311666/11589241
551.32/546.36	c cleaning 79994 clauses out of 160010 with flag 10570888/11670239
554.81/549.83	c cleaning 81002 clauses out of 162016 with flag 10839498/11752239
558.60/553.67	c cleaning 82001 clauses out of 164015 with flag 11113871/11835240
562.59/557.67	c cleaning 83001 clauses out of 166013 with flag 11404825/11919239
566.94/561.95	c cleaning 83998 clauses out of 168013 with flag 11706121/12004240
571.44/566.43	c cleaning 85005 clauses out of 170015 with flag 12014865/12090240
576.62/571.60	c cleaning 85997 clauses out of 172012 with flag 12330427/12177242
581.02/576.02	c cleaning 87000 clauses out of 174013 with flag 12654387/12265240
586.22/581.25	c cleaning 88000 clauses out of 176014 with flag 12990986/12354241
591.13/586.19	c cleaning 88998 clauses out of 178012 with flag 13332185/12444239
596.01/591.01	c cleaning 89998 clauses out of 180014 with flag 13683892/12535239
601.60/596.69	c cleaning 91002 clauses out of 182018 with flag 14041280/12627241
607.01/602.01	c cleaning 92002 clauses out of 184014 with flag 14403545/12720239
612.19/607.26	c cleaning 93002 clauses out of 186014 with flag 14760037/12814241
617.91/612.90	c cleaning 93997 clauses out of 188011 with flag 15139802/12909240
623.79/618.85	c cleaning 94996 clauses out of 190014 with flag 15524795/13005240
630.48/625.54	c cleaning 96001 clauses out of 192018 with flag 15895160/13102240
635.65/630.60	c cleaning 96997 clauses out of 194016 with flag 16246997/13200239
640.63/635.61	c cleaning 97997 clauses out of 196020 with flag 16623637/13299240
645.52/640.53	c cleaning 98995 clauses out of 198022 with flag 17009849/13399239
651.15/646.18	c cleaning 100001 clauses out of 200027 with flag 17401235/13500239
656.62/651.60	c cleaning 100998 clauses out of 202027 with flag 17795582/13602240
661.61/656.69	c cleaning 101995 clauses out of 204029 with flag 18196146/13705240
667.83/662.89	c cleaning 103008 clauses out of 206034 with flag 18600435/13809240
673.82/668.80	c cleaning 104002 clauses out of 208025 with flag 19007113/13914239
680.20/675.24	c cleaning 104999 clauses out of 210024 with flag 19393991/14020240
686.78/681.77	c cleaning 105997 clauses out of 212024 with flag 19780778/14127239
694.35/689.36	c cleaning 107005 clauses out of 214027 with flag 20195462/14235239
704.43/699.47	c cleaning 108003 clauses out of 216025 with flag 20631016/14344242
711.21/706.20	c cleaning 109001 clauses out of 218019 with flag 21032056/14454239
718.12/713.09	c cleaning 110000 clauses out of 220018 with flag 21432778/14565239
725.29/720.23	c cleaning 111006 clauses out of 222018 with flag 21830260/14677239
733.86/728.85	c cleaning 111995 clauses out of 224012 with flag 22252260/14790239
742.85/737.80	c cleaning 112997 clauses out of 226018 with flag 22673975/14904240
752.23/747.18	c cleaning 114003 clauses out of 228021 with flag 23114660/15019240
762.99/757.98	c cleaning 115002 clauses out of 230018 with flag 23538877/15135240
773.18/768.13	c cleaning 116002 clauses out of 232015 with flag 23973544/15252239
781.14/776.04	c cleaning 116993 clauses out of 234013 with flag 24408636/15370239
788.92/783.89	c cleaning 118005 clauses out of 236020 with flag 24847155/15489239
798.49/793.48	c cleaning 118995 clauses out of 238016 with flag 25292486/15609240
807.28/802.13	c cleaning 120005 clauses out of 240023 with flag 25768223/15730242
817.34/812.22	c cleaning 121003 clauses out of 242015 with flag 26219630/15852239
826.33/821.24	c cleaning 121997 clauses out of 244012 with flag 26738736/15975239
837.99/832.99	c cleaning 123002 clauses out of 246016 with flag 27244270/16099240
849.57/844.50	c cleaning 123997 clauses out of 248013 with flag 27737500/16224239
859.02/853.97	c cleaning 124997 clauses out of 250017 with flag 28220102/16350240
867.11/862.09	c cleaning 125998 clauses out of 252020 with flag 28714420/16477240
877.09/872.04	c cleaning 126993 clauses out of 254022 with flag 29228741/16605240
887.85/882.88	c cleaning 128000 clauses out of 256028 with flag 29798862/16734239
901.42/896.10	c cleaning 129003 clauses out of 258028 with flag 30372772/16864239
914.28/908.98	c cleaning 130003 clauses out of 260026 with flag 30929853/16995240
927.46/922.13	c cleaning 130998 clauses out of 262024 with flag 31479347/17127241
940.51/935.24	c cleaning 131996 clauses out of 264024 with flag 32031557/17260239
950.00/944.70	c cleaning 133001 clauses out of 266030 with flag 32559208/17394241
959.17/953.75	c cleaning 134000 clauses out of 268030 with flag 33103486/17529242
968.25/962.80	c cleaning 135000 clauses out of 270027 with flag 33658021/17665239
977.17/971.75	c cleaning 135996 clauses out of 272028 with flag 34226159/17802240
985.75/980.31	c cleaning 136997 clauses out of 274032 with flag 34788761/17940240
996.60/991.18	c cleaning 138005 clauses out of 276035 with flag 35368311/18079240
1007.36/1001.90	c cleaning 138997 clauses out of 278029 with flag 35947653/18219239
1019.03/1013.67	c cleaning 140005 clauses out of 280032 with flag 36536608/18360239
1031.85/1026.40	c cleaning 141002 clauses out of 282027 with flag 37096103/18502239
1042.63/1037.24	c cleaning 142004 clauses out of 284026 with flag 37644502/18645240
1053.66/1048.21	c cleaning 142996 clauses out of 286022 with flag 38194089/18789240
1067.44/1062.05	c cleaning 144000 clauses out of 288026 with flag 38766388/18934240
1081.30/1075.90	c cleaning 144998 clauses out of 290025 with flag 39339668/19080239
1092.38/1087.04	c cleaning 146001 clauses out of 292027 with flag 39904104/19227239
1104.37/1099.01	c cleaning 146998 clauses out of 294026 with flag 40471871/19375239
1117.24/1111.81	c cleaning 148003 clauses out of 296028 with flag 41075023/19524239
1129.69/1124.32	c cleaning 148999 clauses out of 298026 with flag 41661263/19674240
1140.57/1135.26	c cleaning 150003 clauses out of 300028 with flag 42243569/19825241
1152.62/1147.21	c cleaning 151003 clauses out of 302024 with flag 42837306/19977240
1168.39/1163.02	c cleaning 151995 clauses out of 304020 with flag 43498730/20130239
1186.73/1181.46	c cleaning 153002 clauses out of 306025 with flag 44177569/20284239
1202.20/1196.93	c cleaning 154002 clauses out of 308025 with flag 44783929/20439241
1218.63/1213.38	c cleaning 155007 clauses out of 310023 with flag 45396188/20595241
1233.49/1228.25	c cleaning 155995 clauses out of 312015 with flag 46013500/20752240
1247.15/1241.94	c cleaning 157005 clauses out of 314020 with flag 46644549/20910240
1260.22/1255.07	c cleaning 157998 clauses out of 316015 with flag 47316156/21069240
1273.99/1268.72	c cleaning 159002 clauses out of 318016 with flag 47993025/21229239
1288.55/1283.39	c cleaning 159994 clauses out of 320014 with flag 48658967/21390239
1304.22/1299.07	c cleaning 161002 clauses out of 322022 with flag 49319730/21552241
1321.27/1316.15	c cleaning 162000 clauses out of 324021 with flag 49995904/21715242
1337.81/1332.75	c cleaning 162997 clauses out of 326019 with flag 50718331/21879240
1353.09/1348.09	c cleaning 163997 clauses out of 328021 with flag 51466361/22044239
1368.82/1363.88	c cleaning 165005 clauses out of 330024 with flag 52200869/22210239
1385.38/1380.45	c cleaning 166000 clauses out of 332021 with flag 52911808/22377241
1400.83/1395.90	c cleaning 167000 clauses out of 334021 with flag 53645031/22545241
1416.02/1410.97	c cleaning 167999 clauses out of 336021 with flag 54386376/22714241
1428.88/1423.87	c cleaning 168998 clauses out of 338020 with flag 55069221/22884239
1441.15/1436.18	c cleaning 170005 clauses out of 340023 with flag 55711821/23055240
1451.61/1446.63	c cleaning 171001 clauses out of 342018 with flag 56348112/23227240
1467.38/1461.77	c cleaning 171992 clauses out of 344016 with flag 56988262/23400239
1480.15/1474.51	c cleaning 172997 clauses out of 346024 with flag 57636037/23574239
1491.32/1485.76	c cleaning 174005 clauses out of 348027 with flag 58278347/23749239
1503.49/1497.99	c cleaning 175007 clauses out of 350023 with flag 58920862/23925240
1516.64/1510.92	c cleaning 175997 clauses out of 352015 with flag 59575619/24102239
1528.02/1522.39	c cleaning 177006 clauses out of 354018 with flag 60214863/24280239
1539.83/1534.18	c cleaning 178004 clauses out of 356012 with flag 60861876/24459239
1553.49/1547.80	c cleaning 178989 clauses out of 358008 with flag 61494240/24639239
1567.78/1562.13	c cleaning 180004 clauses out of 360019 with flag 62144813/24820239
1578.89/1573.29	c cleaning 181002 clauses out of 362015 with flag 62792028/25002239
1589.05/1583.31	c cleaning 182004 clauses out of 364014 with flag 63418357/25185240
1601.62/1595.92	c cleaning 182998 clauses out of 366010 with flag 64070659/25369240
1612.59/1606.92	c cleaning 184002 clauses out of 368012 with flag 64747935/25554240
1623.37/1617.76	c cleaning 185001 clauses out of 370011 with flag 65437404/25740241
1639.04/1633.48	c cleaning 186003 clauses out of 372008 with flag 66152934/25927239
1661.26/1655.53	c cleaning 187002 clauses out of 374008 with flag 66886611/26115242
1684.09/1678.46	c cleaning 187999 clauses out of 376005 with flag 67628616/26304241
1707.74/1702.12	c cleaning 188995 clauses out of 378004 with flag 68378953/26494239
1730.87/1725.39	c cleaning 189999 clauses out of 380009 with flag 69132937/26685239
1756.88/1751.21	c cleaning 190999 clauses out of 382011 with flag 69895149/26877240
1777.93/1772.31	c cleaning 192003 clauses out of 384016 with flag 70663040/27070244
1797.38/1791.85	c cleaning 193000 clauses out of 386008 with flag 71436634/27264239
1812.86/1807.25	c cleaning 193992 clauses out of 388008 with flag 72195841/27459239
1828.32/1822.78	c cleaning 195002 clauses out of 390017 with flag 72928882/27655240
1851.45/1845.99	c cleaning 195996 clauses out of 392015 with flag 73684017/27852240
1878.09/1872.51	c cleaning 197008 clauses out of 394019 with flag 74477777/28050240
1902.33/1896.88	c cleaning 198001 clauses out of 396012 with flag 75267411/28249241
1928.31/1922.79	c cleaning 198998 clauses out of 398011 with flag 76073250/28449241
1949.16/1943.62	c cleaning 200000 clauses out of 400012 with flag 76875522/28650240
1977.50/1971.95	c cleaning 200998 clauses out of 402011 with flag 77720787/28852239
2001.73/1996.24	c cleaning 201999 clauses out of 404013 with flag 78569771/29055239
2029.04/2023.50	c cleaning 203003 clauses out of 406015 with flag 79440684/29259240
2054.88/2049.48	c cleaning 203992 clauses out of 408011 with flag 80277091/29464239
2078.39/2073.00	c cleaning 205006 clauses out of 410020 with flag 81070623/29670240
2103.94/2098.53	c cleaning 206001 clauses out of 412013 with flag 81926173/29877239
2122.83/2117.38	c cleaning 207007 clauses out of 414013 with flag 82728570/30085240
2141.29/2135.89	c cleaning 207987 clauses out of 416005 with flag 83544485/30294239
2159.63/2153.78	c cleaning 209003 clauses out of 418019 with flag 84342869/30504240
2185.56/2179.71	c cleaning 210002 clauses out of 420015 with flag 85190313/30715239
2208.27/2202.46	c cleaning 211001 clauses out of 422015 with flag 86042941/30927241
2230.48/2224.65	c cleaning 212001 clauses out of 424012 with flag 86878579/31140239
2252.52/2246.72	c cleaning 213000 clauses out of 426011 with flag 87731384/31354239
2275.09/2269.31	c cleaning 213997 clauses out of 428011 with flag 88579060/31569239
2302.15/2296.49	c cleaning 214998 clauses out of 430014 with flag 89482544/31785239
2332.23/2326.56	c cleaning 216005 clauses out of 432016 with flag 90388519/32002239
2359.74/2354.01	c cleaning 217002 clauses out of 434012 with flag 91284579/32220240
2386.59/2380.93	c cleaning 217995 clauses out of 436010 with flag 92183041/32439240
2408.54/2402.95	c cleaning 219000 clauses out of 438014 with flag 93064212/32659239
2430.28/2424.78	c cleaning 219995 clauses out of 440015 with flag 93961285/32880240
2457.93/2452.42	c cleaning 221005 clauses out of 442019 with flag 94883433/33102239
2492.14/2486.65	c cleaning 222002 clauses out of 444015 with flag 95824395/33325240
2514.12/2508.59	c cleaning 222996 clauses out of 446012 with flag 96736224/33549239
2548.15/2542.56	c cleaning 224007 clauses out of 448018 with flag 97688775/33774241
2576.78/2571.20	c cleaning 224995 clauses out of 450010 with flag 98645267/34000240
2598.45/2592.93	c cleaning 226008 clauses out of 452015 with flag 99576617/34227240
2623.79/2618.33	c cleaning 227000 clauses out of 454006 with flag 100498935/34455239
2646.93/2641.59	c cleaning 227993 clauses out of 456006 with flag 101443374/34684239
2671.07/2665.75	c cleaning 228999 clauses out of 458013 with flag 102396976/34914239
2701.60/2696.38	c cleaning 230001 clauses out of 460014 with flag 103368597/35145239
2738.08/2732.85	c cleaning 231006 clauses out of 462015 with flag 104354625/35377241
2768.28/2763.08	c cleaning 232000 clauses out of 464008 with flag 105330366/35610240
2798.94/2793.79	c cleaning 233000 clauses out of 466007 with flag 106314879/35844239
2836.48/2831.35	c cleaning 233997 clauses out of 468007 with flag 107293036/36079239
2856.36/2851.16	c cleaning 234990 clauses out of 470010 with flag 108137916/36315239
2873.30/2868.06	c cleaning 236009 clauses out of 472021 with flag 108999369/36552240
2901.55/2896.28	c cleaning 237003 clauses out of 474011 with flag 109959432/36790239
2930.78/2925.50	c cleaning 238002 clauses out of 476010 with flag 110956652/37029241
2954.36/2949.17	c cleaning 238999 clauses out of 478006 with flag 111892733/37269239
2983.38/2978.23	c cleaning 240001 clauses out of 480007 with flag 112906438/37510239
3016.74/3011.68	c cleaning 241002 clauses out of 482008 with flag 113911562/37752241
3050.24/3045.22	c cleaning 241995 clauses out of 484005 with flag 114923319/37995240
3069.98/3064.94	c cleaning 243001 clauses out of 486010 with flag 115915523/38239240
3099.71/3094.73	c cleaning 244000 clauses out of 488008 with flag 116935610/38484239
3123.32/3118.30	c cleaning 244995 clauses out of 490008 with flag 117950195/38730239
3153.22/3147.56	c cleaning 246001 clauses out of 492015 with flag 118957369/38977241
3185.65/3180.09	c cleaning 247005 clauses out of 494014 with flag 120001412/39225241
3220.73/3215.40	c cleaning 247994 clauses out of 496007 with flag 121024891/39474239
3245.93/3240.71	c cleaning 248999 clauses out of 498013 with flag 122052046/39724239
3275.35/3270.32	c cleaning 250007 clauses out of 500015 with flag 123084385/39975240
3307.31/3302.52	c cleaning 251001 clauses out of 502009 with flag 124141960/40227241
3333.62/3329.08	c cleaning 251995 clauses out of 504007 with flag 125125110/40480240
3355.57/3351.16	c cleaning 253004 clauses out of 506011 with flag 126097086/40734239
3382.32/3378.07	c cleaning 253999 clauses out of 508008 with flag 127140554/40989240
3417.75/3413.72	c cleaning 255001 clauses out of 510009 with flag 128211358/41245240
3441.02/3437.14	c cleaning 255995 clauses out of 512008 with flag 129260444/41502240
3471.83/3468.18	c cleaning 256998 clauses out of 514014 with flag 130306783/41760241
3500.98/3497.49	c cleaning 257997 clauses out of 516017 with flag 131358480/42019242
3526.86/3523.45	c cleaning 258995 clauses out of 518018 with flag 132360312/42279240
3549.25/3545.85	c cleaning 260005 clauses out of 520023 with flag 133315131/42540240
3571.92/3568.42	c cleaning 261008 clauses out of 522017 with flag 134302645/42802239
3598.96/3595.52	c cleaning 261998 clauses out of 524011 with flag 135313901/43065241
3600.06/3596.63	c starts		: 196
3600.06/3596.65	c conflicts		: 43080641
3600.06/3596.65	c decisions		: 50298714
3600.06/3596.65	c propagations		: 803514391
3600.06/3596.65	c inspects		: 36781079750
3600.06/3596.65	c shortcuts		: 0
3600.06/3596.65	c learnt literals	: 0
3600.06/3596.65	c learnt binary clauses	: 0
3600.06/3596.65	c learnt ternary clauses	: 0
3600.06/3596.65	c learnt constraints	: 43080641
3600.06/3596.65	c ignored constraints	: 0
3600.06/3596.65	c root simplifications	: 0
3600.06/3596.65	c removed literals (reason simplification)	: 0
3600.06/3596.65	c reason swapping (by a shorter reason)	: 0
3600.06/3596.65	c Calls to reduceDB	: 386
3600.06/3596.65	c Number of update (reduction) of LBD	: 3732632
3600.06/3596.65	c Imported unit clauses	: 0
3600.06/3596.65	c No decision after first conflict	: false
3600.06/3596.65	c number of reductions to clauses (during analyze)	: 0
3600.06/3596.65	c number of learned constraints concerned by reduction	: 0
3600.06/3596.65	c number of learning phase by resolution	: 0
3600.06/3596.65	c number of learning phase by cutting planes	: 0
3600.06/3596.65	c number of rounding to 1 operations	: 0
3600.06/3596.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3596.65	c number of reductions of the coefficients by power 2 	: 0
3600.06/3596.65	c number of right shift for reduction by power 2 	: 0
3600.06/3596.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3596.65	c number of ending skipping 	: 0
3600.06/3596.65	c number of internal skipping 	: 0
3600.06/3596.65	c number of derivation steps 	: 0
3600.06/3596.65	c number of skipped derivation steps 	: 0
3600.06/3596.65	c number of remaining unassigned 	: 0
3600.06/3596.65	c number of remaining assigned 	: 0
3600.06/3596.65	c number of falsified literals weakened from reason	: 0
3600.06/3596.65	c number of falsified literals weakened from conflict	: 0
3600.06/3596.65	c time for arithmetic operations	: 0
3600.06/3596.68	c minimum degree of deleted constraints	: null
3600.06/3596.68	c maximum degree of deleted constraints	: null
3600.06/3596.68	c number of deleted constraints	: 0
3600.06/3596.68	c speed (assignments/second)	: 223458.89570176793
3600.06/3596.68	c non guided choices	: 493
3600.47/3596.85	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 277413
3600.47/3596.85	s SATISFIABLE
3600.47/3596.85	c Found 5 solution(s)
3600.47/3596.86	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 
3600.47/3596.87	c objective function=154
3600.47/3596.87	c Total wall clock time (in seconds): 3596.548

Verifier Data 

OK	154

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61060 MiB free)
  memory of node 1: 64473 MiB (60819 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=812257, runsolver pid=812250

[startup+0.103355 s]*
/proc/loadavg: 1.52 2.86 3.71 12/292 812299
/proc/meminfo: memFree=124725920/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=18975048 memory=55640 CPUtime=0.13 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 6432 0 0 0 9 4 0 0 20 0 18 0 159479598 19430449152 13910 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4743762 13910 5621 1 0 550802 0
[pid=812257/tid=812261] ppid=812250 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 5332 0 0 0 5 3 0 0 20 0 18 0 159479599 19430449152 13910 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=18975048 memory=4674 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159479605 19430449152 13910 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159479606 19430449152 13910 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55640 KiB

[startup+0.218225 s]*
/proc/loadavg: 1.52 2.86 3.71 15/310 812322
/proc/meminfo: memFree=124684812/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=18975048 memory=60728 CPUtime=0.3 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 7103 0 0 0 26 4 0 0 20 0 18 0 159479598 19430449152 15182 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4743762 15182 5661 1 0 551341 0
[pid=812257/tid=812261] ppid=812250 vsize=18975048 memory=7301190626353741955 CPUtime=0.19 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 5680 0 0 0 16 3 0 0 20 0 18 0 159479599 19430449152 15182 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=18975048 memory=4674 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159479605 19430449152 15182 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159479606 19430449152 15182 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60728 KiB

[startup+0.318435 s]*
/proc/loadavg: 1.52 2.86 3.71 13/313 812325
/proc/meminfo: memFree=124667052/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=18975048 memory=65660 CPUtime=0.46 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 7377 0 0 0 41 5 0 0 20 0 18 0 159479598 19430449152 16415 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4743762 16415 5676 1 0 551542 0
[pid=812257/tid=812261] ppid=812250 vsize=18975048 memory=-9105547728411534012 CPUtime=0.29 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 5870 0 0 0 25 4 0 0 20 0 18 0 159479599 19430449152 16415 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159479605 19430449152 16415 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159479606 19430449152 16415 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65660 KiB

[startup+0.706337 s]
/proc/loadavg: 1.52 2.86 3.71 15/313 812325
/proc/meminfo: memFree=124623352/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=18975048 memory=110352 CPUtime=1.17 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 9121 0 0 0 110 7 0 0 20 0 18 0 159479598 19430449152 27588 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4743762 27588 5824 1 0 552669 0
[pid=812257/tid=812261] ppid=812250 vsize=18975048 memory=5540 CPUtime=0.58 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 5964 0 0 0 53 5 0 0 20 0 18 0 159479599 19430449152 27588 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=18975048 memory=12508 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159479605 19430449152 27588 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159479606 19430449152 27588 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 110352 KiB

[startup+1.50033 s]
/proc/loadavg: 1.52 2.86 3.71 11/294 812343
/proc/meminfo: memFree=124476292/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19041612 memory=158532 CPUtime=2.73 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 14433 0 0 0 263 10 0 0 20 0 19 0 159479598 19498610688 39633 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4760403 39633 5878 1 0 554531 0
[pid=812257/tid=812261] ppid=812250 vsize=19041612 memory=12508 CPUtime=1.31 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 6644 0 0 0 124 7 0 0 20 0 19 0 159479599 19498610688 39633 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159479605 19498610688 39633 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159479606 19498610688 39633 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159479686 19498610688 39633 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158532 KiB

[startup+3.10817 s]
/proc/loadavg: 1.80 2.90 3.72 7/320 812398
/proc/meminfo: memFree=123964200/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=180652 CPUtime=5.23 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 16929 0 0 0 511 12 0 0 20 0 20 0 159479598 19566772224 45163 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 45163 5910 1 0 555059 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=0 CPUtime=2.87 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 7474 0 0 0 280 7 0 0 20 0 20 0 159479599 19566772224 45163 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 45163 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 45163 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 45163 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180652 KiB

[startup+6.30041 s]
/proc/loadavg: 1.80 2.90 3.72 7/320 812398
/proc/meminfo: memFree=123624516/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=187420 CPUtime=8.58 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 17729 0 0 0 846 12 0 0 20 0 20 0 159479598 19566772224 46855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 46855 5910 1 0 555061 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=12508 CPUtime=5.99 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 7500 0 0 0 592 7 0 0 20 0 20 0 159479599 19566772224 46855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 46855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 46855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=42536 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 46855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 8.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187420 KiB

[startup+12.7004 s]
/proc/loadavg: 1.97 2.92 3.72 6/320 812399
/proc/meminfo: memFree=122642028/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=278052 CPUtime=15 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 19085 0 0 0 1485 15 0 0 20 0 20 0 159479598 19566772224 69513 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 69513 5923 1 0 555061 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=0 CPUtime=12.14 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) S 812250 812257 812180 0 -1 1077936192 7959 0 0 0 1207 7 0 0 20 0 20 0 159479599 19566772224 69513 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=261396 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 69513 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=139024 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 69513 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 69513 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 278052 KiB

[startup+25.5005 s]
/proc/loadavg: 2.42 2.97 3.73 6/320 812401
/proc/meminfo: memFree=119811672/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=586708 CPUtime=27.79 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 21974 0 0 0 2755 24 0 0 20 0 20 0 159479598 19566772224 146677 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 146677 5923 1 0 686646 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=12508 CPUtime=24.41 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 9061 0 0 0 2431 10 0 0 20 0 20 0 159479599 19566772224 146677 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=187420 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 146677 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 146677 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=586708 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 146677 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 27.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 586708 KiB

[startup+51.1135 s]
/proc/loadavg: 3.38 3.15 3.77 7/320 812406
/proc/meminfo: memFree=114273488/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=1014628 CPUtime=53.39 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 25978 0 0 0 5304 35 0 0 20 0 20 0 159479598 19566772224 253657 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 253657 5923 1 0 820338 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=11420 CPUtime=49.26 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 10453 0 0 0 4914 12 0 0 20 0 20 0 159479599 19566772224 253657 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=926532 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 253657 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=5540 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.37 4.26 4.32 5/318 814234
/proc/meminfo: memFree=90482820/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=3561180 CPUtime=3287.3 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 188222 0 0 0 328495 235 0 0 20 0 20 0 159479598 19566772224 890295 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 890295 5938 1 0 943091 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=11420 CPUtime=3255.04 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 69668 0 0 0 325465 39 0 0 20 0 20 0 159479599 19566772224 890295 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=3561164 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 890295 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 2773 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 890295 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 890295 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 3287.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3561180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.27 4.32 5/317 814245
/proc/meminfo: memFree=90338452/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=3571420 CPUtime=3346.84 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 188874 0 0 0 334447 237 0 0 20 0 20 0 159479598 19566772224 892855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 892855 5938 1 0 943091 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=3571420 CPUtime=3314.24 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 70047 0 0 0 331385 39 0 0 20 0 20 0 159479599 19566772224 892855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 892855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 2823 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 892855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=42756 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 892855 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 3346.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3571420 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.23 4.30 6/317 814255
/proc/meminfo: memFree=89870204/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=3702492 CPUtime=3406.44 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 190761 0 0 0 340401 243 0 0 20 0 20 0 159479598 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 925623 5938 1 0 943091 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=3571420 CPUtime=3373.4 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 70914 0 0 0 337300 40 0 0 20 0 20 0 159479599 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=3702492 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=3702492 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 2911 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=3702492 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 3406.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3702492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.24 4.29 5/319 814269
/proc/meminfo: memFree=89552968/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=3702492 CPUtime=3466.06 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 191749 0 0 0 346360 246 0 0 20 0 20 0 159479598 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 925623 5938 1 0 943091 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=3571420 CPUtime=3432.56 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 71374 0 0 0 343215 41 0 0 20 0 20 0 159479599 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=3702492 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=3702492 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 2911 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=3702492 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 925623 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 3466.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3702492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.25 4.29 5/319 814281
/proc/meminfo: memFree=89349400/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=3702512 CPUtime=3525.77 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 192932 0 0 0 352329 248 0 0 20 0 20 0 159479598 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 925628 5938 1 0 943091 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=3702512 CPUtime=3491.71 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 72015 0 0 0 349130 41 0 0 20 0 20 0 159479599 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 2966 0 0 0 0 0 0 0 20 0 20 0 159479606 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=42756 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 3525.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3702512 KiB

[startup+3582.3 s]
/proc/loadavg: 4.57 4.33 4.32 7/319 814359
/proc/meminfo: memFree=95434688/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=3702512 CPUtime=3585.79 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 194611 0 0 0 358328 251 0 0 20 0 20 0 159479598 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 925628 5938 1 0 943091 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=3702512 CPUtime=3551.11 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 72878 0 0 0 355070 41 0 0 20 0 20 0 159479599 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=164 CPUtime=0.01 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 2966 0 0 0 1 0 0 0 20 0 20 0 159479606 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=3702512 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3702512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.6 s]
/proc/loadavg: 4.52 4.33 4.32 6/318 814493
/proc/meminfo: memFree=97429376/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19108176 memory=3702512 CPUtime=3600.06 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 194800 0 0 0 359754 252 0 0 20 0 20 0 159479598 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4777044 925628 5938 1 0 943091 0
[pid=812257/tid=812261] ppid=812250 vsize=19108176 memory=7924 CPUtime=3565.32 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 73054 0 0 0 356491 41 0 0 20 0 20 0 159479599 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19108176 memory=19828 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159479605 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19108176 memory=6956 CPUtime=0.01 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 2966 0 0 0 1 0 0 0 20 0 20 0 159479606 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812328] ppid=812250 vsize=19108176 memory=7300 CPUtime=0 cores=0,2
/proc/812257/task/812328/stat : 812328 (Timer-0) S 812250 812257 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159479686 19566772224 925628 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3702512 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.08 s, system=2.54889 s

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

[startup+3596.81 s]
/proc/loadavg: 4.52 4.33 4.32 6/318 814493
/proc/meminfo: memFree=97429376/131655788 swapFree=131071996/131071996
[pid=812257] ppid=812250 vsize=19307868 memory=3703232 CPUtime=3600.47 cores=0,2
/proc/812257/stat : 812257 (java) S 812250 812257 812180 0 -1 1077936128 197001 0 0 0 359795 252 0 0 20 0 21 0 159479598 19771256832 925808 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
/proc/812257/statm: 4826967 925808 5937 1 0 944021 0
[pid=812257/tid=812261] ppid=812250 vsize=19307868 memory=3702512 CPUtime=3565.52 cores=0,2
/proc/812257/task/812261/stat : 812261 (java) R 812250 812257 812180 0 -1 4194368 73302 0 0 0 356511 41 0 0 20 0 21 0 159479599 19771256832 925808 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812278] ppid=812250 vsize=19307868 memory=2264 CPUtime=0 cores=0,2
/proc/812257/task/812278/stat : 812278 (Finalizer) S 812250 812257 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 159479605 19771256832 925808 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
[pid=812257/tid=812294] ppid=812250 vsize=19307868 memory=1936 CPUtime=0.01 cores=0,2
/proc/812257/task/812294/stat : 812294 (Common-Cleaner) S 812250 812257 812180 0 -1 1077936192 2966 0 0 0 1 0 0 0 20 0 21 0 159479606 19771256832 925808 134679101440 94202087333888 94202087337584 140728752352864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202087345400 94202087346192 94202095706112 140728752358407 140728752358497 140728752358497 140728752365512 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3703232 KiB

Child status: 143

Real time (s): 3596.9
CPU time (s): 3600.63
CPU user time (s): 3598.08
CPU system time (s): 2.54889
CPU usage (%): 100.104
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3703232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.08
system time used= 2.54889
maximum resident set size= 3704308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110912
involuntary context switches= 28462


# summary of solver processes directly reported to runsolver:
#   pid: 812257
#   total CPU time (s): 3600.63
#   total CPU user time (s): 3598.08
#   total CPU system time (s): 2.54889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8402 second user time and 37.3663 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-15 21:53:57
IDJOB=4432212
IDBENCH=147017
IDSOLVER=3058
FILE ID=nodeC011/4432212-1721073224
RUNJOBID= nodeC011-1721073237-812190
SLURM_JOB_ID= 7505544
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432212-1721073224/watcher-4432212-1721073224 -o /tmp/evaluation-result-4432212-1721073224/solver-4432212-1721073224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721073237-812190 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432212-1721073224.opb

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

MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1233614149

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124845180 kB
MemAvailable:   129888064 kB
Buffers:          399456 kB
Cached:          5421828 kB
SwapCached:            0 kB
Active:           667096 kB
Inactive:        5477408 kB
Active(anon):       1340 kB
Inactive(anon):   359604 kB
Active(file):     665756 kB
Inactive(file):  5117804 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4380 kB
Writeback:             4 kB
AnonPages:        321432 kB
Mapped:           103608 kB
Shmem:             37704 kB
KReclaimable:     199048 kB
Slab:             308808 kB
SReclaimable:     199048 kB
SUnreclaim:       109760 kB
KernelStack:        3744 kB
PageTables:         9256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     750416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-15 22:53:54