Trace number 4452574

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.27 3602.15

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.opb
MD5SUMaf9f746f4378befb3a20d04b26ba3b05
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1628.09
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints3832
Number of constraints which are clauses3831
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 128
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.19	c version CUSTOM.v20240707
0.12/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.12/0.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.22	c os.arch		amd64
0.12/0.22	c Free memory 		2113181440
0.12/0.22	c Max memory 		16282288128
0.12/0.22	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.46/0.33	c Pseudo Boolean Optimization by upper bound
0.46/0.33	c --- Begin Solver configuration ---
0.46/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.46/0.33	c Learn all clauses as in MiniSAT
0.46/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.33	c No reason simplification
0.46/0.33	c Glucose 2.1 dynamic restart strategy
0.46/0.33	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.46/0.33	c timeout=2147483s
0.46/0.33	c DB Simplification allowed=false
0.46/0.33	c Listener: none
0.46/0.33	c --- End Solver configuration ---
0.46/0.33	c solving HOME/instance-4452574-1721450887.opb
0.46/0.33	c reading problem ... 
0.46/0.33	c  no objective function found
0.83/0.55	c ... done. Wall clock time 0.209s.
0.83/0.55	c declared #vars     100
0.83/0.55	c #constraints  3832
0.83/0.55	c constraints type 
0.83/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.83/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3831
0.83/0.55	c 3832 constraints processed.
1.57/0.98	c cleaning 2496 clauses out of 5000 with flag 11054/5000
2.17/1.28	c cleaning 4246 clauses out of 8505 with flag 23944/11001
2.94/1.66	c cleaning 5623 clauses out of 11259 with flag 38872/18001
3.35/1.83	c cleaning 6815 clauses out of 13636 with flag 58121/26001
3.54/1.96	c cleaning 7907 clauses out of 15820 with flag 80189/35000
3.84/2.10	c cleaning 8956 clauses out of 17914 with flag 103704/45001
3.99/2.26	c cleaning 9978 clauses out of 19957 with flag 129000/56000
4.31/2.43	c cleaning 10990 clauses out of 21979 with flag 156232/68000
4.53/2.60	c cleaning 11995 clauses out of 23991 with flag 185858/81002
4.63/2.78	c cleaning 12995 clauses out of 25994 with flag 217588/95000
4.83/2.99	c cleaning 13998 clauses out of 28000 with flag 251916/110001
5.13/3.23	c cleaning 14995 clauses out of 30001 with flag 288805/126000
5.40/3.46	c cleaning 16004 clauses out of 32007 with flag 327598/143001
5.76/3.72	c cleaning 16997 clauses out of 34002 with flag 368459/161000
5.96/3.99	c cleaning 17996 clauses out of 36005 with flag 411164/180000
6.25/4.27	c cleaning 18995 clauses out of 38009 with flag 456191/200000
6.67/4.62	c cleaning 20003 clauses out of 40015 with flag 504013/221001
6.97/4.97	c cleaning 21007 clauses out of 42014 with flag 554012/243003
7.37/5.37	c cleaning 22001 clauses out of 44004 with flag 606952/266000
7.76/5.76	c cleaning 22998 clauses out of 46003 with flag 661538/290000
8.18/6.18	c cleaning 24000 clauses out of 48005 with flag 718686/315000
8.66/6.65	c cleaning 25000 clauses out of 50005 with flag 777294/341000
9.26/7.24	c cleaning 26000 clauses out of 52005 with flag 837677/368000
9.66/7.66	c cleaning 26998 clauses out of 54006 with flag 901267/396001
10.17/8.15	c cleaning 27999 clauses out of 56008 with flag 967000/425001
10.75/8.74	c cleaning 29004 clauses out of 58008 with flag 1034438/455000
11.25/9.28	c cleaning 30000 clauses out of 60004 with flag 1104429/486000
11.85/9.87	c cleaning 31000 clauses out of 62004 with flag 1176289/518000
12.45/10.49	c cleaning 32001 clauses out of 64005 with flag 1251505/551001
13.16/11.12	c cleaning 32997 clauses out of 66003 with flag 1328508/585000
13.75/11.79	c cleaning 33998 clauses out of 68006 with flag 1407109/620000
14.45/12.44	c cleaning 35001 clauses out of 70010 with flag 1488311/656002
15.34/13.33	c cleaning 36003 clauses out of 72008 with flag 1570288/693001
16.24/14.20	c cleaning 37000 clauses out of 74004 with flag 1656152/731000
17.05/15.08	c cleaning 37999 clauses out of 76006 with flag 1743896/770002
17.94/15.97	c cleaning 39000 clauses out of 78005 with flag 1833906/810000
18.93/17.00	c cleaning 39999 clauses out of 80005 with flag 1925673/851000
19.94/17.96	c cleaning 41001 clauses out of 82006 with flag 2022291/893000
21.16/19.14	c cleaning 42001 clauses out of 84005 with flag 2120226/936000
22.36/20.33	c cleaning 42998 clauses out of 86004 with flag 2218884/980000
23.65/21.63	c cleaning 44001 clauses out of 88007 with flag 2319583/1025001
24.81/22.77	c cleaning 44999 clauses out of 90005 with flag 2423422/1071000
26.01/23.92	c cleaning 46000 clauses out of 92006 with flag 2528427/1118000
27.31/25.29	c cleaning 46999 clauses out of 94008 with flag 2634915/1166002
28.71/26.61	c cleaning 48001 clauses out of 96009 with flag 2744319/1215002
30.12/28.03	c cleaning 48996 clauses out of 98006 with flag 2857178/1265000
31.51/29.46	c cleaning 49999 clauses out of 100010 with flag 2972537/1316000
33.01/30.94	c cleaning 50999 clauses out of 102011 with flag 3090829/1368000
34.61/32.50	c cleaning 52006 clauses out of 104014 with flag 3211154/1421002
36.12/34.03	c cleaning 53000 clauses out of 106007 with flag 3334356/1475001
37.50/35.49	c cleaning 53999 clauses out of 108007 with flag 3459267/1530001
39.21/37.14	c cleaning 55000 clauses out of 110008 with flag 3584458/1586001
41.61/39.51	c cleaning 55996 clauses out of 112008 with flag 3714271/1643001
43.31/41.21	c cleaning 57004 clauses out of 114012 with flag 3846595/1701001
45.00/42.98	c cleaning 57999 clauses out of 116007 with flag 3978991/1760000
46.91/44.85	c cleaning 58998 clauses out of 118009 with flag 4114068/1820001
48.90/46.87	c cleaning 60004 clauses out of 120010 with flag 4250043/1881000
50.81/48.70	c cleaning 60999 clauses out of 122008 with flag 4390163/1943002
53.13/51.05	c cleaning 62001 clauses out of 124009 with flag 4531344/2006002
55.51/53.45	c cleaning 63001 clauses out of 126007 with flag 4674705/2070001
57.81/55.70	c cleaning 64001 clauses out of 128006 with flag 4819218/2135001
60.00/57.90	c cleaning 65001 clauses out of 130006 with flag 4966424/2201002
62.74/60.64	c cleaning 65995 clauses out of 132003 with flag 5116142/2268000
65.43/63.37	c cleaning 66998 clauses out of 134008 with flag 5270272/2336000
68.03/66.00	c cleaning 68003 clauses out of 136011 with flag 5426610/2405001
70.72/68.68	c cleaning 69003 clauses out of 138007 with flag 5584573/2475000
73.52/71.42	c cleaning 69995 clauses out of 140004 with flag 5744995/2546000
76.18/74.07	c cleaning 71003 clauses out of 142010 with flag 5906935/2618001
79.06/76.99	c cleaning 72001 clauses out of 144006 with flag 6070683/2691000
81.95/79.84	c cleaning 73000 clauses out of 146006 with flag 6237531/2765001
84.84/82.75	c cleaning 73999 clauses out of 148005 with flag 6405948/2840000
87.96/85.84	c cleaning 74997 clauses out of 150006 with flag 6576038/2916000
90.76/88.64	c cleaning 76005 clauses out of 152011 with flag 6748773/2993002
94.45/92.37	c cleaning 76997 clauses out of 154005 with flag 6922733/3071001
98.04/95.91	c cleaning 77997 clauses out of 156007 with flag 7101684/3150000
102.05/99.95	c cleaning 79002 clauses out of 158011 with flag 7281256/3230001
105.34/103.27	c cleaning 80000 clauses out of 160009 with flag 7462605/3311001
109.33/107.25	c cleaning 80998 clauses out of 162008 with flag 7645555/3393000
112.92/110.87	c cleaning 81997 clauses out of 164010 with flag 7831790/3476000
117.15/115.01	c cleaning 83005 clauses out of 166015 with flag 8021967/3560002
121.25/119.12	c cleaning 83992 clauses out of 168008 with flag 8218391/3645000
125.14/123.07	c cleaning 85007 clauses out of 170016 with flag 8416698/3731000
129.13/127.08	c cleaning 86000 clauses out of 172009 with flag 8612519/3818000
133.32/131.28	c cleaning 86997 clauses out of 174009 with flag 8812293/3906000
137.81/135.76	c cleaning 88002 clauses out of 176012 with flag 9014752/3995000
142.10/140.09	c cleaning 89000 clauses out of 178010 with flag 9218607/4085000
146.82/144.71	c cleaning 90000 clauses out of 180011 with flag 9423457/4176001
151.01/148.93	c cleaning 91001 clauses out of 182010 with flag 9631306/4268000
155.11/153.08	c cleaning 92004 clauses out of 184009 with flag 9840577/4361000
161.32/159.26	c cleaning 92994 clauses out of 186005 with flag 10052256/4455000
165.71/163.67	c cleaning 94004 clauses out of 188011 with flag 10268150/4550000
170.00/167.98	c cleaning 95001 clauses out of 190007 with flag 10484546/4646000
174.21/172.13	c cleaning 95998 clauses out of 192006 with flag 10704040/4743000
179.12/177.01	c cleaning 96997 clauses out of 194008 with flag 10926952/4841000
184.21/182.19	c cleaning 98006 clauses out of 196011 with flag 11150115/4940000
188.99/186.95	c cleaning 98997 clauses out of 198005 with flag 11375447/5040000
194.26/192.12	c cleaning 99996 clauses out of 200008 with flag 11602924/5141000
199.04/196.91	c cleaning 101003 clauses out of 202013 with flag 11831434/5243001
205.42/203.32	c cleaning 101998 clauses out of 204010 with flag 12066790/5346001
210.37/208.21	c cleaning 103002 clauses out of 206011 with flag 12303535/5450000
215.16/213.02	c cleaning 104005 clauses out of 208011 with flag 12541411/5555002
219.94/217.89	c cleaning 105002 clauses out of 210008 with flag 12782011/5661004
224.88/222.72	c cleaning 105996 clauses out of 212003 with flag 13022582/5768001
229.87/227.76	c cleaning 107000 clauses out of 214006 with flag 13266195/5876000
235.06/232.90	c cleaning 107998 clauses out of 216006 with flag 13509967/5985000
239.35/237.28	c cleaning 109000 clauses out of 218008 with flag 13758395/6095000
244.26/242.17	c cleaning 110005 clauses out of 220009 with flag 14010027/6206001
249.53/247.44	c cleaning 110996 clauses out of 222004 with flag 14261111/6318001
255.03/252.91	c cleaning 112001 clauses out of 224009 with flag 14514503/6431002
260.71/258.64	c cleaning 113002 clauses out of 226008 with flag 14773331/6545002
266.01/263.98	c cleaning 113999 clauses out of 228004 with flag 15031699/6660000
271.99/269.95	c cleaning 114998 clauses out of 230006 with flag 15290156/6776001
278.32/276.21	c cleaning 115997 clauses out of 232007 with flag 15550599/6893000
284.70/282.62	c cleaning 117001 clauses out of 234011 with flag 15818681/7011001
291.48/289.46	c cleaning 118003 clauses out of 236009 with flag 16088924/7130000
298.40/296.38	c cleaning 118998 clauses out of 238007 with flag 16359526/7250001
304.99/302.99	c cleaning 120003 clauses out of 240008 with flag 16631746/7371000
312.87/310.89	c cleaning 120994 clauses out of 242005 with flag 16903237/7493000
320.75/318.70	c cleaning 122002 clauses out of 244011 with flag 17178780/7616000
329.73/327.23	c cleaning 123003 clauses out of 246010 with flag 17455983/7740001
337.71/335.20	c cleaning 124000 clauses out of 248006 with flag 17734987/7865000
344.69/342.23	c cleaning 124997 clauses out of 250006 with flag 18016432/7991000
351.92/349.43	c cleaning 126002 clauses out of 252009 with flag 18298401/8118000
360.70/358.27	c cleaning 126998 clauses out of 254008 with flag 18582757/8246001
367.97/365.54	c cleaning 127998 clauses out of 256009 with flag 18873625/8375000
375.16/372.78	c cleaning 128997 clauses out of 258011 with flag 19165208/8505000
382.23/379.88	c cleaning 130005 clauses out of 260017 with flag 19459397/8636003
389.67/387.27	c cleaning 131003 clauses out of 262010 with flag 19752754/8768001
396.94/394.52	c cleaning 132001 clauses out of 264007 with flag 20049044/8901001
404.02/401.66	c cleaning 132999 clauses out of 266005 with flag 20345446/9035000
413.21/410.85	c cleaning 133998 clauses out of 268008 with flag 20647371/9170002
422.30/419.97	c cleaning 135002 clauses out of 270008 with flag 20949789/9306000
430.88/428.53	c cleaning 135997 clauses out of 272006 with flag 21255779/9443000
440.06/437.75	c cleaning 137004 clauses out of 274011 with flag 21564061/9581002
450.11/447.79	c cleaning 137997 clauses out of 276005 with flag 21875402/9720000
460.99/458.68	c cleaning 139003 clauses out of 278009 with flag 22189082/9860001
471.79/469.42	c cleaning 140000 clauses out of 280006 with flag 22501505/10001001
482.77/480.40	c cleaning 141001 clauses out of 282005 with flag 22820443/10143000
492.10/489.70	c cleaning 141999 clauses out of 284004 with flag 23137572/10286000
501.17/498.81	c cleaning 142999 clauses out of 286005 with flag 23459803/10430000
511.24/508.99	c cleaning 143998 clauses out of 288006 with flag 23780528/10575000
522.04/519.76	c cleaning 145005 clauses out of 290009 with flag 24109241/10721001
532.21/529.95	c cleaning 145999 clauses out of 292003 with flag 24441886/10868000
543.19/540.98	c cleaning 147000 clauses out of 294004 with flag 24774282/11016000
555.07/552.80	c cleaning 147998 clauses out of 296004 with flag 25108274/11165000
566.14/563.90	c cleaning 148998 clauses out of 298006 with flag 25445569/11315000
577.41/575.22	c cleaning 150003 clauses out of 300009 with flag 25783178/11466001
590.07/587.94	c cleaning 151001 clauses out of 302006 with flag 26122975/11618001
601.77/599.66	c cleaning 151993 clauses out of 304005 with flag 26464402/11771001
611.94/609.83	c cleaning 153004 clauses out of 306011 with flag 26811144/11925000
624.02/622.00	c cleaning 153997 clauses out of 308008 with flag 27160605/12080001
636.01/633.92	c cleaning 155003 clauses out of 310011 with flag 27511531/12236001
645.99/643.98	c cleaning 155999 clauses out of 312007 with flag 27861260/12393000
656.45/654.47	c cleaning 157000 clauses out of 314009 with flag 28216016/12551001
666.85/664.84	c cleaning 158001 clauses out of 316008 with flag 28568088/12710000
678.62/676.63	c cleaning 159001 clauses out of 318009 with flag 28925839/12870002
689.34/687.38	c cleaning 159995 clauses out of 320006 with flag 29285634/13031000
698.91/696.98	c cleaning 160997 clauses out of 322011 with flag 29645554/13193000
710.38/708.40	c cleaning 162001 clauses out of 324014 with flag 30008398/13356000
720.98/719.01	c cleaning 163000 clauses out of 326013 with flag 30375853/13520000
733.54/731.62	c cleaning 164001 clauses out of 328013 with flag 30747472/13685000
744.86/742.96	c cleaning 165000 clauses out of 330013 with flag 31116893/13851001
759.42/757.50	c cleaning 166004 clauses out of 332013 with flag 31494494/14018001
772.19/770.33	c cleaning 166997 clauses out of 334008 with flag 31873194/14186000
786.47/784.65	c cleaning 168001 clauses out of 336012 with flag 32253124/14355001
800.05/798.21	c cleaning 169000 clauses out of 338011 with flag 32636186/14525001
813.72/811.95	c cleaning 170001 clauses out of 340010 with flag 33019991/14696000
827.69/825.99	c cleaning 170999 clauses out of 342009 with flag 33403625/14868000
843.30/841.53	c cleaning 171994 clauses out of 344010 with flag 33789279/15041000
857.96/856.23	c cleaning 173003 clauses out of 346016 with flag 34176663/15215000
872.42/870.79	c cleaning 174003 clauses out of 348013 with flag 34565716/15390000
887.52/885.87	c cleaning 175000 clauses out of 350010 with flag 34957505/15566000
902.29/900.68	c cleaning 176003 clauses out of 352010 with flag 35348595/15743000
919.20/916.98	c cleaning 177000 clauses out of 354007 with flag 35746442/15921000
934.27/932.10	c cleaning 178001 clauses out of 356008 with flag 36149099/16100001
949.30/947.02	c cleaning 178999 clauses out of 358006 with flag 36548938/16280000
963.95/961.70	c cleaning 180003 clauses out of 360008 with flag 36954252/16461001
979.02/976.81	c cleaning 180995 clauses out of 362005 with flag 37360520/16643001
991.91/989.79	c cleaning 181996 clauses out of 364010 with flag 37770708/16826001
1007.46/1005.38	c cleaning 183002 clauses out of 366014 with flag 38185094/17010001
1022.49/1020.34	c cleaning 184004 clauses out of 368011 with flag 38595895/17195000
1038.76/1036.61	c cleaning 184998 clauses out of 370007 with flag 39007745/17381000
1055.21/1053.19	c cleaning 185998 clauses out of 372009 with flag 39419883/17568000
1071.59/1069.69	c cleaning 187001 clauses out of 374012 with flag 39837499/17756001
1090.65/1088.72	c cleaning 187996 clauses out of 376010 with flag 40257972/17945000
1107.47/1105.56	c cleaning 189002 clauses out of 378014 with flag 40681230/18135000
1125.05/1123.12	c cleaning 190001 clauses out of 380012 with flag 41106507/18326000
1141.66/1139.73	c cleaning 191000 clauses out of 382011 with flag 41532498/18518000
1159.93/1158.01	c cleaning 191998 clauses out of 384011 with flag 41961817/18711000
1181.28/1179.44	c cleaning 193003 clauses out of 386014 with flag 42394687/18905001
1199.31/1197.45	c cleaning 194000 clauses out of 388010 with flag 42826393/19100000
1218.26/1216.47	c cleaning 194999 clauses out of 390012 with flag 43261146/19296002
1235.16/1233.31	c cleaning 196002 clauses out of 392013 with flag 43701006/19493002
1253.40/1251.64	c cleaning 197000 clauses out of 394009 with flag 44138618/19691000
1270.45/1268.72	c cleaning 198003 clauses out of 396011 with flag 44577079/19890002
1289.91/1288.15	c cleaning 198992 clauses out of 398007 with flag 45022358/20090001
1308.75/1307.07	c cleaning 200004 clauses out of 400016 with flag 45481026/20291002
1329.19/1327.50	c cleaning 200993 clauses out of 402010 with flag 45939482/20493000
1347.61/1345.98	c cleaning 202002 clauses out of 404018 with flag 46404203/20696001
1365.68/1364.08	c cleaning 203000 clauses out of 406015 with flag 46868647/20900000
1382.74/1381.16	c cleaning 204003 clauses out of 408016 with flag 47333388/21105001
1399.39/1397.82	c cleaning 205001 clauses out of 410013 with flag 47796578/21311001
1419.30/1417.77	c cleaning 206001 clauses out of 412011 with flag 48261009/21518000
1439.44/1437.93	c cleaning 207001 clauses out of 414011 with flag 48733223/21726001
1460.89/1459.42	c cleaning 208001 clauses out of 416010 with flag 49206125/21935001
1477.93/1476.56	c cleaning 208997 clauses out of 418008 with flag 49678656/22145000
1501.57/1500.21	c cleaning 210001 clauses out of 420011 with flag 50162508/22356000
1520.81/1519.58	c cleaning 211003 clauses out of 422011 with flag 50644737/22568001
1540.75/1539.50	c cleaning 212000 clauses out of 424008 with flag 51130038/22781001
1562.09/1560.91	c cleaning 212997 clauses out of 426007 with flag 51618539/22995000
1582.15/1581.09	c cleaning 214001 clauses out of 428011 with flag 52106702/23210001
1604.48/1603.44	c cleaning 214995 clauses out of 430009 with flag 52595416/23426000
1627.42/1626.45	c cleaning 216002 clauses out of 432014 with flag 53086483/23643000
1649.08/1648.17	c cleaning 217000 clauses out of 434012 with flag 53580468/23861000
1671.31/1670.48	c cleaning 218004 clauses out of 436013 with flag 54073973/24080001
1694.25/1693.48	c cleaning 218999 clauses out of 438008 with flag 54571210/24300000
1717.48/1716.71	c cleaning 220002 clauses out of 440010 with flag 55066636/24521001
1740.02/1739.39	c cleaning 220995 clauses out of 442009 with flag 55565614/24743002
1764.26/1763.62	c cleaning 222006 clauses out of 444013 with flag 56065830/24966001
1787.39/1786.88	c cleaning 223004 clauses out of 446010 with flag 56567941/25190004
1810.42/1809.64	c cleaning 224001 clauses out of 448003 with flag 57071803/25415001
1834.66/1833.91	c cleaning 224993 clauses out of 450001 with flag 57572632/25641000
1858.70/1858.05	c cleaning 226003 clauses out of 452008 with flag 58073913/25868000
1882.13/1881.51	c cleaning 226993 clauses out of 454005 with flag 58583215/26096000
1908.53/1907.87	c cleaning 228000 clauses out of 456012 with flag 59094388/26325000
1932.38/1931.76	c cleaning 229003 clauses out of 458013 with flag 59604687/26555001
1957.92/1957.35	c cleaning 229997 clauses out of 460011 with flag 60116949/26786002
1985.46/1984.47	c cleaning 230999 clauses out of 462012 with flag 60631850/27018000
2009.19/2008.20	c cleaning 232003 clauses out of 464014 with flag 61149392/27251001
2033.94/2033.04	c cleaning 233004 clauses out of 466011 with flag 61669150/27485001
2064.65/2063.83	c cleaning 234000 clauses out of 468007 with flag 62191700/27720001
2089.40/2088.57	c cleaning 234991 clauses out of 470006 with flag 62713132/27956000
2119.02/2118.28	c cleaning 236004 clauses out of 472015 with flag 63245639/28193000
2145.25/2144.54	c cleaning 237004 clauses out of 474011 with flag 63776155/28431000
2173.53/2172.85	c cleaning 237999 clauses out of 476007 with flag 64309504/28670000
2200.27/2199.69	c cleaning 238996 clauses out of 478008 with flag 64845103/28910000
2228.09/2227.50	c cleaning 240003 clauses out of 480012 with flag 65382803/29151000
2257.11/2256.68	c cleaning 241002 clauses out of 482009 with flag 65924306/29393000
2284.22/2283.73	c cleaning 241999 clauses out of 484008 with flag 66467559/29636001
2311.76/2311.37	c cleaning 242998 clauses out of 486008 with flag 67016831/29880000
2337.99/2337.69	c cleaning 244001 clauses out of 488010 with flag 67571105/30125000
2368.33/2368.06	c cleaning 245000 clauses out of 490011 with flag 68124237/30371002
2394.60/2394.36	c cleaning 246000 clauses out of 492009 with flag 68677354/30618000
2422.35/2422.16	c cleaning 247001 clauses out of 494010 with flag 69227790/30866001
2449.79/2449.50	c cleaning 248000 clauses out of 496008 with flag 69786616/31115000
2479.13/2478.99	c cleaning 248998 clauses out of 498008 with flag 70347829/31365000
2507.67/2507.55	c cleaning 249996 clauses out of 500010 with flag 70910477/31616000
2537.01/2537.00	c cleaning 251002 clauses out of 502014 with flag 71474721/31868000
2566.85/2566.88	c cleaning 252001 clauses out of 504012 with flag 72039578/32121000
2596.22/2596.20	c cleaning 253006 clauses out of 506011 with flag 72603134/32375000
2627.64/2627.79	c cleaning 253998 clauses out of 508005 with flag 73168681/32630000
2656.89/2657.10	c cleaning 254997 clauses out of 510007 with flag 73747614/32886000
2686.93/2687.18	c cleaning 256000 clauses out of 512010 with flag 74321977/33143000
2716.15/2716.49	c cleaning 257003 clauses out of 514010 with flag 74902064/33401000
2750.87/2751.29	c cleaning 258000 clauses out of 516007 with flag 75489714/33660000
2775.80/2776.22	c cleaning 259002 clauses out of 518007 with flag 76085427/33920000
2800.94/2801.48	c cleaning 259995 clauses out of 520005 with flag 76681437/34181000
2829.67/2830.29	c cleaning 260997 clauses out of 522010 with flag 77277337/34443000
2855.42/2856.01	c cleaning 262000 clauses out of 524013 with flag 77872288/34706000
2878.88/2879.40	c cleaning 262995 clauses out of 526013 with flag 78474682/34970000
2906.01/2906.60	c cleaning 264007 clauses out of 528019 with flag 79079760/35235001
2937.04/2937.70	c cleaning 265000 clauses out of 530013 with flag 79683397/35501002
2965.16/2965.83	c cleaning 266004 clauses out of 532012 with flag 80284499/35768001
2993.58/2994.31	c cleaning 267001 clauses out of 534008 with flag 80889598/36036001
3022.41/3023.18	c cleaning 267999 clauses out of 536007 with flag 81499361/36305001
3053.62/3054.40	c cleaning 269000 clauses out of 538008 with flag 82111825/36575001
3085.36/3086.29	c cleaning 270000 clauses out of 540009 with flag 82728585/36846002
3116.78/3117.71	c cleaning 270998 clauses out of 542007 with flag 83347270/37118000
3142.91/3143.89	c cleaning 272002 clauses out of 544009 with flag 83961791/37391000
3170.64/3171.65	c cleaning 272998 clauses out of 546009 with flag 84582862/37665002
3202.65/3203.63	c cleaning 274002 clauses out of 548010 with flag 85204974/37940001
3231.38/3232.45	c cleaning 274998 clauses out of 550007 with flag 85823299/38216000
3261.41/3262.50	c cleaning 276000 clauses out of 552009 with flag 86442551/38493000
3294.13/3295.31	c cleaning 277002 clauses out of 554010 with flag 87061822/38771001
3321.16/3322.49	c cleaning 277995 clauses out of 556008 with flag 87693018/39050001
3349.36/3350.66	c cleaning 279005 clauses out of 558013 with flag 88326754/39330001
3380.28/3381.68	c cleaning 279998 clauses out of 560007 with flag 88950826/39611000
3409.40/3410.83	c cleaning 280998 clauses out of 562009 with flag 89583329/39893000
3437.13/3438.66	c cleaning 281995 clauses out of 564012 with flag 90219189/40176001
3472.56/3474.27	c cleaning 283006 clauses out of 566016 with flag 90858674/40460000
3500.79/3502.56	c cleaning 283998 clauses out of 568012 with flag 91490878/40745002
3528.51/3530.39	c cleaning 284997 clauses out of 570012 with flag 92128739/41031000
3558.43/3560.34	c cleaning 286000 clauses out of 572015 with flag 92764339/41318000
3588.95/3590.94	c cleaning 287005 clauses out of 574015 with flag 93403133/41606000
3600.03/3602.03	c starts		: 216
3600.03/3602.04	c conflicts		: 41778333
3600.03/3602.04	c decisions		: 57426228
3600.03/3602.04	c propagations		: 219230803
3600.03/3602.04	c inspects		: 27419226430
3600.03/3602.04	c shortcuts		: 0
3600.03/3602.04	c learnt literals	: 0
3600.03/3602.04	c timeout
3600.03/3602.04	c learnt binary clauses	: 0
3600.03/3602.04	c learnt ternary clauses	: 0
3600.03/3602.04	c learnt constraints	: 41778333
3600.03/3602.04	c ignored constraints	: 0
3600.03/3602.05	c root simplifications	: 0
3600.03/3602.05	c removed literals (reason simplification)	: 0
3600.03/3602.05	c reason swapping (by a shorter reason)	: 0
3600.03/3602.05	c Calls to reduceDB	: 284
3600.03/3602.05	c Number of update (reduction) of LBD	: 4339515
3600.03/3602.05	c Imported unit clauses	: 0
3600.03/3602.05	c No decision after first conflict	: false
3600.03/3602.05	c number of reductions to clauses (during analyze)	: 0
3600.03/3602.05	c number of learned constraints concerned by reduction	: 0
3600.03/3602.05	c number of learning phase by resolution	: 0
3600.03/3602.05	c number of learning phase by cutting planes	: 0
3600.03/3602.05	c number of rounding to 1 operations	: 0
3600.03/3602.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3602.05	c number of reductions of the coefficients by power 2 	: 0
3600.03/3602.05	c number of right shift for reduction by power 2 	: 0
3600.03/3602.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3602.05	c number of ending skipping 	: 0
3600.03/3602.05	c number of internal skipping 	: 0
3600.03/3602.05	c number of derivation steps 	: 0
3600.03/3602.05	c number of skipped derivation steps 	: 0
3600.03/3602.05	c number of remaining unassigned 	: 0
3600.03/3602.05	c number of remaining assigned 	: 0
3600.03/3602.05	c number of falsified literals weakened from reason	: 0
3600.03/3602.05	c number of falsified literals weakened from conflict	: 0
3600.03/3602.05	c time for arithmetic operations	: 0
3600.03/3602.06	c minimum degree of deleted constraints	: null
3600.03/3602.06	c maximum degree of deleted constraints	: null
3600.03/3602.06	c number of deleted constraints	: 0
3600.03/3602.06	c speed (assignments/second)	: 60872.081910315144
3600.03/3602.06	c non guided choices	: 32
3600.22/3602.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 459343
3600.22/3602.13	s UNKNOWN
3600.22/3602.13	c Total wall clock time (in seconds): 3601.799

Verifier Data 

ERROR: no interpretation found !

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: 64059 MiB (59839 MiB free)
  memory of node 1: 64510 MiB (61357 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452574-1721450887/watcher-4452574-1721450887 -o /tmp/evaluation-result-4452574-1721450887/solver-4452574-1721450887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058419 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452574-1721450887.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1058469, runsolver pid=1058460

[startup+0.102266 s]*
/proc/loadavg: 1.12 1.68 2.86 12/300 1058541
/proc/meminfo: memFree=123977892/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=18975048 memory=55716 CPUtime=0.12 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 6417 0 0 0 9 3 0 0 20 0 18 0 197244757 19430449152 13929 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4743762 13929 5641 1 0 550786 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 5321 0 0 0 6 2 0 0 20 0 18 0 197244758 19430449152 13929 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197244764 19430449152 13929 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197244765 19430449152 13929 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55716 KiB

[startup+0.218815 s]*
/proc/loadavg: 1.12 1.68 2.86 13/309 1058550
/proc/meminfo: memFree=123958428/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=18975048 memory=60744 CPUtime=0.3 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 7097 0 0 0 26 4 0 0 20 0 18 0 197244757 19430449152 15186 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4743762 15186 5697 1 0 551323 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 5667 0 0 0 16 3 0 0 20 0 18 0 197244758 19430449152 15186 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197244764 19430449152 15186 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197244765 19430449152 15186 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60744 KiB

[startup+0.315457 s]*
/proc/loadavg: 1.12 1.68 2.86 13/309 1058550
/proc/meminfo: memFree=123936136/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=18975048 memory=65680 CPUtime=0.46 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 7369 0 0 0 41 5 0 0 20 0 18 0 197244757 19430449152 16420 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4743762 16420 5711 1 0 551540 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=18975048 memory=-7235417058883953251 CPUtime=0.28 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 5844 0 0 0 25 3 0 0 20 0 18 0 197244758 19430449152 16420 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197244764 19430449152 16420 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197244765 19430449152 16420 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65680 KiB

[startup+0.703063 s]
/proc/loadavg: 1.12 1.68 2.86 11/310 1058551
/proc/meminfo: memFree=123897660/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19041612 memory=83788 CPUtime=1.17 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 9181 0 0 0 111 6 0 0 20 0 19 0 197244757 19498610688 20947 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4760403 20947 5860 1 0 552981 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19041612 memory=5616 CPUtime=0.62 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 5959 0 0 0 58 4 0 0 20 0 19 0 197244758 19498610688 20947 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19041612 memory=11884 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197244764 19498610688 20947 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19041612 memory=39916 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197244765 19498610688 20947 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83788 KiB

[startup+1.50306 s]
/proc/loadavg: 1.12 1.68 2.86 10/313 1058554
/proc/meminfo: memFree=123794660/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19041612 memory=98680 CPUtime=2.75 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 14325 0 0 0 268 7 0 0 20 0 19 0 197244757 19498610688 24670 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4760403 24670 5860 1 0 554415 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19041612 memory=11884 CPUtime=1.39 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 6353 0 0 0 135 4 0 0 20 0 19 0 197244758 19498610688 24670 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19041612 memory=39916 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197244764 19498610688 24670 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197244765 19498610688 24670 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19041612 memory=11596 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197244813 19498610688 24670 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98680 KiB

[startup+3.11293 s]
/proc/loadavg: 1.75 1.80 2.89 8/313 1058620
/proc/meminfo: memFree=123622052/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19041612 memory=138052 CPUtime=5.04 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 16355 0 0 0 495 9 0 0 20 0 19 0 197244757 19498610688 34513 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4760403 34513 5871 1 0 554943 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19041612 memory=0 CPUtime=2.98 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 6708 0 0 0 293 5 0 0 20 0 19 0 197244758 19498610688 34513 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19041612 memory=11884 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197244764 19498610688 34513 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19041612 memory=39916 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197244765 19498610688 34513 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19041612 memory=86096 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197244813 19498610688 34513 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138052 KiB

[startup+6.30042 s]
/proc/loadavg: 1.75 1.80 2.89 7/316 1058689
/proc/meminfo: memFree=123515224/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=184052 CPUtime=8.36 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 17363 0 0 0 826 10 0 0 20 0 20 0 197244757 19566772224 46013 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 46013 5887 1 0 555232 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=11884 CPUtime=6.12 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 6754 0 0 0 607 5 0 0 20 0 20 0 197244758 19566772224 46013 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=-7235417058884019555 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 46013 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 46013 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 46013 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184052 KiB

[startup+12.7004 s]
/proc/loadavg: 2.32 1.92 2.92 5/317 1058759
/proc/meminfo: memFree=123414356/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=192372 CPUtime=14.75 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 18727 0 0 0 1464 11 0 0 20 0 20 0 197244757 19566772224 48093 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 48093 5903 1 0 555232 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=11596 CPUtime=12.44 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 7516 0 0 0 1238 6 0 0 20 0 20 0 197244758 19566772224 48093 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=192372 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 48093 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=-7235417058884019555 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 48093 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=-7235417058884019555 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 48093 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192372 KiB

[startup+25.5004 s]
/proc/loadavg: 2.65 2.01 2.94 6/317 1058827
/proc/meminfo: memFree=123100908/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=311596 CPUtime=27.61 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 24650 0 0 0 2746 15 0 0 20 0 20 0 197244757 19566772224 77899 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 77899 5903 1 0 555232 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=192372 CPUtime=24.78 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 8737 0 0 0 2472 6 0 0 20 0 20 0 197244758 19566772224 77899 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=-7235417058884019555 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 77899 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=39916 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 77899 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 77899 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 27.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 311596 KiB

[startup+51.113 s]
/proc/loadavg: 3.40 2.23 2.99 5/317 1058832
/proc/meminfo: memFree=122223440/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=582972 CPUtime=53.23 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 29364 0 0 0 5301 22 0 0 20 0 20 0 197244757 19566772224 145743 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 145743 5903 1 0 661750 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=11596 CPUtime=49.83 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 10328 0 0 0 4976 7 0 0 20 0 20 0 197244758 19566772224 145743 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=416880 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 145743 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=506992 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 145743 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0

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

[startup+3282.3 s]
/proc/loadavg: 4.34 4.29 4.27 5/319 1061133
/proc/meminfo: memFree=83148968/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3281.16 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 120730 0 0 0 327901 215 0 0 20 0 20 0 197244757 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 685669 5919 1 0 697791 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=2664 CPUtime=3261.5 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 51460 0 0 0 326121 29 0 0 20 0 20 0 197244758 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=3776 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 2304 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=5636 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 3281.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2742676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.25 4.26 5/319 1061143
/proc/meminfo: memFree=83082880/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3341.09 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 121788 0 0 0 333890 219 0 0 20 0 20 0 197244757 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 685669 5919 1 0 697791 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3321.2 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 51965 0 0 0 332091 29 0 0 20 0 20 0 197244758 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=-7235417058884019555 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 2391 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 3341.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2742676 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.25 4.26 5/319 1061155
/proc/meminfo: memFree=82899444/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3400.92 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 122532 0 0 0 339871 221 0 0 20 0 20 0 197244757 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 685669 5919 1 0 697791 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3381 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 52622 0 0 0 338071 29 0 0 20 0 20 0 197244758 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 2391 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 3400.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2742676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.29 4.28 5/317 1061166
/proc/meminfo: memFree=82893984/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3460.73 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 123397 0 0 0 345850 223 0 0 20 0 20 0 197244757 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 685669 5919 1 0 697791 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=11884 CPUtime=3440.56 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 52966 0 0 0 344027 29 0 0 20 0 20 0 197244758 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 2478 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=49904 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 3460.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2742676 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.29 4.27 5/317 1061175
/proc/meminfo: memFree=82414972/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3520.53 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 124392 0 0 0 351827 226 0 0 20 0 20 0 197244757 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 685669 5919 1 0 697791 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3500.33 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 53747 0 0 0 350004 29 0 0 20 0 20 0 197244758 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 2621 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=49904 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 3520.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2742676 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.23 4.26 5/317 1061185
/proc/meminfo: memFree=81794848/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3580.37 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 125198 0 0 0 357808 229 0 0 20 0 20 0 197244757 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 685669 5919 1 0 697791 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3560.12 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 54440 0 0 0 355983 29 0 0 20 0 20 0 197244758 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 2621 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 3580.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2742676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602 s]*
/proc/loadavg: 4.24 4.25 4.26 6/317 1061190
/proc/meminfo: memFree=81794680/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19108176 memory=2742676 CPUtime=3600.03 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 125649 0 0 0 359773 230 0 0 20 0 20 0 197244757 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4777044 685669 5919 1 0 697791 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19108176 memory=-7163359464845699939 CPUtime=3579.77 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) R 1058460 1058469 1058409 0 -1 4194368 54885 0 0 0 357948 29 0 0 20 0 20 0 197244758 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19108176 memory=1399938450496446522 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244764 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19108176 memory=1399938450496446522 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 2621 0 0 0 0 0 0 0 20 0 20 0 197244765 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058552] ppid=1058460 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/1058469/task/1058552/stat : 1058552 (Timer-0) S 1058460 1058469 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197244813 19566772224 685669 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2742676 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.95 s, system=2.32221 s

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

[startup+3602.12 s]
/proc/loadavg: 4.24 4.25 4.26 6/317 1061190
/proc/meminfo: memFree=81794680/131655788 swapFree=131071996/131071996
[pid=1058469] ppid=1058460 vsize=19307868 memory=2743420 CPUtime=3600.22 cores=0,2
/proc/1058469/stat : 1058469 (java) S 1058460 1058469 1058409 0 -1 1077936128 127999 0 0 0 359792 230 0 0 20 0 21 0 197244757 19771256832 685855 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
/proc/1058469/statm: 4826967 685855 5918 1 0 698729 0
[pid=1058469/tid=1058473] ppid=1058460 vsize=19307868 memory=2742676 CPUtime=3579.79 cores=0,2
/proc/1058469/task/1058473/stat : 1058473 (java) S 1058460 1058469 1058409 0 -1 1077936192 55084 0 0 0 357950 29 0 0 20 0 21 0 197244758 19771256832 685855 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058518] ppid=1058460 vsize=19307868 memory=49904 CPUtime=0 cores=0,2
/proc/1058469/task/1058518/stat : 1058518 (Finalizer) S 1058460 1058469 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 197244764 19771256832 685855 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
[pid=1058469/tid=1058530] ppid=1058460 vsize=19307868 memory=2742676 CPUtime=0 cores=0,2
/proc/1058469/task/1058530/stat : 1058530 (Common-Cleaner) S 1058460 1058469 1058409 0 -1 1077936192 2621 0 0 0 0 0 0 0 20 0 21 0 197244765 19771256832 685855 134679101440 94536585838592 94536585842288 140725145508000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94536585850104 94536585850896 94536608493568 140725145515013 140725145515103 140725145515103 140725145522120 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2743420 KiB

Child status: 143

Real time (s): 3602.15
CPU time (s): 3600.27
CPU user time (s): 3597.95
CPU system time (s): 2.32221
CPU usage (%): 99.9478
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2743420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.95
system time used= 2.32221
maximum resident set size= 2743884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128302
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106464
involuntary context switches= 26360


# summary of solver processes directly reported to runsolver:
#   pid: 1058469
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3597.95
#   total CPU system time (s): 2.32221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2471 second user time and 36.9362 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 06:48:19
IDJOB=4452574
IDBENCH=164452
IDSOLVER=3058
FILE ID=nodeC003/4452574-1721450887
RUNJOBID= nodeC003-1721450898-1058419
SLURM_JOB_ID= 7545681
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452574-1721450887/watcher-4452574-1721450887 -o /tmp/evaluation-result-4452574-1721450887/solver-4452574-1721450887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058419 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452574-1721450887.opb

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

MD5SUM BENCH= af9f746f4378befb3a20d04b26ba3b05
RANDOM SEED=720694241

nodeC003.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.226
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.76
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.224
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.30
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.219
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.76
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.224
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.30
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		: 1197.229
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.76
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		: 1259.965
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.30
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.220
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.76
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.220
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124114812 kB
MemAvailable:   129833088 kB
Buffers:          563220 kB
Cached:          5937312 kB
SwapCached:            0 kB
Active:          1052532 kB
Inactive:        5799672 kB
Active(anon):       1368 kB
Inactive(anon):   396196 kB
Active(file):    1051164 kB
Inactive(file):  5403476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1740 kB
Writeback:             0 kB
AnonPages:        351736 kB
Mapped:           107868 kB
Shmem:             45896 kB
KReclaimable:     207336 kB
Slab:             322912 kB
SReclaimable:     207336 kB
SUnreclaim:       115576 kB
KernelStack:        3648 kB
PageTables:         8956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     770348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-20 07:48:21