Trace number 4432525

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)-31 3600.61 3593.43

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0334-0334.lin.opb
MD5SUMc86a302e56842e7d56f33820d48ef5a5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-36
Best CPU time to get the best result obtained on this benchmark1.22323
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables432
Total number of constraints684
Number of constraints which are clauses324
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints324
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 324
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.13/0.11	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.14	c Free memory 		2113181440
0.13/0.14	c Max memory 		16282288128
0.13/0.15	c Total memory 		2122317824
0.13/0.15	c Number of processors 	2
0.31/0.24	--- Begin Solver configuration ---
0.31/0.24	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.24	Learn all clauses as in MiniSAT
0.31/0.24	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.24	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.24	No reason simplification
0.31/0.24	Glucose 2.1 dynamic restart strategy
0.31/0.24	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.31/0.24	timeout=2147483s
0.31/0.24	DB Simplification allowed=false
0.31/0.24	Listener: none
0.31/0.24	--- End Solver configuration ---
0.31/0.24	c Pseudo Boolean Optimization by upper bound
0.31/0.24	c --- Begin Solver configuration ---
0.31/0.24	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.24	c Learn all clauses as in MiniSAT
0.31/0.24	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.24	c No reason simplification
0.31/0.24	c Glucose 2.1 dynamic restart strategy
0.31/0.24	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.31/0.24	c timeout=2147483s
0.31/0.24	c DB Simplification allowed=false
0.31/0.24	c Listener: none
0.31/0.24	c --- End Solver configuration ---
0.31/0.24	c solving HOME/instance-4432525-1721170072.opb
0.31/0.24	c reading problem ... 
0.31/0.25	c  objective function found
0.47/0.35	c ... done. Wall clock time 0.1s.
0.47/0.35	c declared #vars     432
0.47/0.35	c #constraints  720
0.47/0.35	c constraints type 
0.47/0.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 36
0.47/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 324
0.47/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 360
0.47/0.35	c 720 constraints processed.
0.47/0.37	c objective function length is 324 literals
0.47/0.39	c SATISFIABLE
0.47/0.40	c OPTIMIZING...
0.47/0.40	c Got one! Elapsed wall clock time (in seconds):0.147
0.47/0.40	o -27
0.47/0.43	c Got one! Elapsed wall clock time (in seconds):0.182
0.47/0.43	o -28
0.69/0.44	c Got one! Elapsed wall clock time (in seconds):0.199
0.69/0.44	o -29
0.69/0.49	c Got one! Elapsed wall clock time (in seconds):0.225
0.69/0.49	o -30
0.69/0.49	c Got one! Elapsed wall clock time (in seconds):0.232
0.69/0.49	o -31
1.81/1.07	c cleaning 2565 clauses out of 5130 with flag 10463/5130
2.38/1.38	c cleaning 4284 clauses out of 8568 with flag 24145/11133
2.79/1.71	c cleaning 5637 clauses out of 11281 with flag 41997/18130
3.47/2.11	c cleaning 6822 clauses out of 13644 with flag 64342/26130
3.76/2.49	c cleaning 7912 clauses out of 15823 with flag 87092/35131
4.26/2.92	c cleaning 8956 clauses out of 17911 with flag 113797/45131
4.75/3.40	c cleaning 9977 clauses out of 19954 with flag 144473/56130
5.26/3.93	c cleaning 10989 clauses out of 21977 with flag 178588/68130
5.97/4.60	c cleaning 11995 clauses out of 23989 with flag 217689/81131
6.57/5.29	c cleaning 12997 clauses out of 25997 with flag 257948/95134
7.38/6.03	c cleaning 13996 clauses out of 27997 with flag 303342/110131
8.20/6.82	c cleaning 14998 clauses out of 30000 with flag 350801/126130
9.13/7.77	c cleaning 16001 clauses out of 32002 with flag 403737/143130
10.21/8.79	c cleaning 16999 clauses out of 34001 with flag 455464/161130
11.21/9.71	c cleaning 18001 clauses out of 36002 with flag 507017/180130
12.32/10.83	c cleaning 18999 clauses out of 38001 with flag 560015/200130
13.55/12.04	c cleaning 19999 clauses out of 40002 with flag 616402/221130
14.84/13.39	c cleaning 20997 clauses out of 42003 with flag 677782/243130
16.33/14.86	c cleaning 22004 clauses out of 44008 with flag 745532/266132
17.73/16.28	c cleaning 22998 clauses out of 46003 with flag 812403/290131
19.34/17.85	c cleaning 24000 clauses out of 48005 with flag 879294/315131
21.04/19.59	c cleaning 24995 clauses out of 50004 with flag 947908/341130
22.95/21.43	c cleaning 26000 clauses out of 52010 with flag 1021360/368131
24.56/23.07	c cleaning 27004 clauses out of 54009 with flag 1098503/396130
26.34/24.81	c cleaning 27998 clauses out of 56005 with flag 1184324/425130
28.36/26.82	c cleaning 29000 clauses out of 58008 with flag 1267000/455131
30.36/28.89	c cleaning 29999 clauses out of 60008 with flag 1357582/486131
33.36/31.80	c cleaning 30999 clauses out of 62008 with flag 1458740/518130
36.27/34.72	c cleaning 32003 clauses out of 64009 with flag 1563659/551130
38.58/37.06	c cleaning 32998 clauses out of 66006 with flag 1669440/585130
41.37/39.80	c cleaning 33999 clauses out of 68008 with flag 1769098/620130
44.47/42.94	c cleaning 34997 clauses out of 70009 with flag 1863038/656130
47.06/45.51	c cleaning 36003 clauses out of 72014 with flag 1960613/693132
50.76/49.25	c cleaning 37002 clauses out of 74009 with flag 2066393/731130
53.14/51.67	c cleaning 38005 clauses out of 76009 with flag 2166172/770132
56.41/54.90	c cleaning 39001 clauses out of 78002 with flag 2260739/810130
60.03/58.53	c cleaning 39993 clauses out of 80001 with flag 2368393/851130
63.40/61.90	c cleaning 40998 clauses out of 82011 with flag 2470797/893133
66.64/65.12	c cleaning 42002 clauses out of 84012 with flag 2585818/936132
69.31/67.87	c cleaning 43004 clauses out of 86008 with flag 2687896/980130
73.03/71.56	c cleaning 43998 clauses out of 88004 with flag 2803721/1025130
76.69/75.22	c cleaning 44999 clauses out of 90006 with flag 2927099/1071130
83.31/81.81	c cleaning 45995 clauses out of 92007 with flag 3068747/1118130
92.62/91.23	c cleaning 47001 clauses out of 94013 with flag 3230977/1166131
100.33/98.93	c cleaning 48006 clauses out of 96011 with flag 3372263/1215130
106.27/104.95	c cleaning 48999 clauses out of 98005 with flag 3529723/1265130
112.03/110.76	c cleaning 50001 clauses out of 100010 with flag 3695772/1316134
117.75/116.42	c cleaning 51003 clauses out of 102008 with flag 3861938/1368133
124.02/122.72	c cleaning 51995 clauses out of 104002 with flag 4023464/1421130
129.97/128.72	c cleaning 53000 clauses out of 106007 with flag 4193399/1475130
135.96/134.73	c cleaning 54001 clauses out of 108009 with flag 4355004/1530132
144.24/142.40	c cleaning 55001 clauses out of 110008 with flag 4526514/1586132
152.23/150.43	c cleaning 55995 clauses out of 112005 with flag 4689943/1643130
159.03/157.21	c cleaning 57004 clauses out of 114011 with flag 4833734/1701131
165.94/164.17	c cleaning 58001 clauses out of 116007 with flag 4978254/1760131
171.73/169.90	c cleaning 58998 clauses out of 118006 with flag 5148605/1820131
178.34/176.59	c cleaning 60003 clauses out of 120011 with flag 5318357/1881134
184.24/182.49	c cleaning 60999 clauses out of 122005 with flag 5476987/1943131
190.03/188.27	c cleaning 61998 clauses out of 124005 with flag 5626537/2006130
196.84/195.03	c cleaning 63004 clauses out of 126007 with flag 5791024/2070130
202.33/200.55	c cleaning 64001 clauses out of 128003 with flag 5947991/2135130
209.71/207.97	c cleaning 64999 clauses out of 130003 with flag 6120393/2201131
218.23/216.49	c cleaning 66004 clauses out of 132008 with flag 6311886/2268135
225.72/223.90	c cleaning 66994 clauses out of 134000 with flag 6511846/2336131
234.13/232.34	c cleaning 68003 clauses out of 136007 with flag 6704837/2405132
240.32/238.54	c cleaning 68999 clauses out of 138003 with flag 6887724/2475131
247.23/245.46	c cleaning 70000 clauses out of 140003 with flag 7080192/2546130
254.24/252.48	c cleaning 71001 clauses out of 142003 with flag 7259771/2618130
262.24/260.49	c cleaning 72001 clauses out of 144005 with flag 7435664/2691133
280.11/278.34	c cleaning 72996 clauses out of 146001 with flag 7657413/2765130
308.18/306.42	c cleaning 73999 clauses out of 148005 with flag 7934408/2840130
332.47/330.77	c cleaning 74998 clauses out of 150007 with flag 8213071/2916131
359.02/356.92	c cleaning 76005 clauses out of 152009 with flag 8469091/2993131
384.64/382.61	c cleaning 76993 clauses out of 154004 with flag 8717242/3071131
412.58/410.88	c cleaning 78004 clauses out of 156010 with flag 8988962/3150130
429.25/427.62	c cleaning 78998 clauses out of 158007 with flag 9236997/3230131
442.75/441.22	c cleaning 80002 clauses out of 160008 with flag 9479242/3311130
456.56/455.16	c cleaning 81002 clauses out of 162006 with flag 9738755/3393130
470.20/468.84	c cleaning 81997 clauses out of 164004 with flag 9992416/3476130
483.94/482.66	c cleaning 82998 clauses out of 166007 with flag 10264115/3560130
494.58/493.20	c cleaning 84006 clauses out of 168014 with flag 10551002/3645135
506.06/504.75	c cleaning 84999 clauses out of 170004 with flag 10857631/3731131
519.71/518.39	c cleaning 85999 clauses out of 172006 with flag 11165035/3818132
533.47/532.09	c cleaning 87004 clauses out of 174007 with flag 11500002/3906132
547.73/546.32	c cleaning 87998 clauses out of 176002 with flag 11832849/3995131
558.99/557.55	c cleaning 88996 clauses out of 178004 with flag 12101761/4085131
568.88/567.46	c cleaning 90002 clauses out of 180007 with flag 12322373/4176130
580.84/578.71	c cleaning 91002 clauses out of 182006 with flag 12575147/4268131
592.62/590.57	c cleaning 92003 clauses out of 184005 with flag 12834537/4361132
604.08/601.93	c cleaning 92998 clauses out of 186003 with flag 13101764/4455133
614.72/612.54	c cleaning 94000 clauses out of 188002 with flag 13340271/4550130
623.99/621.82	c cleaning 95001 clauses out of 190002 with flag 13550565/4646130
634.64/632.45	c cleaning 95998 clauses out of 192001 with flag 13791079/4743130
646.23/644.00	c cleaning 97001 clauses out of 194003 with flag 14026543/4841130
662.20/659.95	c cleaning 97997 clauses out of 196002 with flag 14357435/4940130
677.68/675.33	c cleaning 98996 clauses out of 198005 with flag 14699458/5040130
691.86/689.52	c cleaning 100003 clauses out of 200009 with flag 15046622/5141130
705.69/703.30	c cleaning 100999 clauses out of 202006 with flag 15359188/5243130
720.64/718.23	c cleaning 102002 clauses out of 204011 with flag 15628413/5346134
734.61/732.28	c cleaning 102999 clauses out of 206005 with flag 15905072/5450130
748.38/745.94	c cleaning 104000 clauses out of 208006 with flag 16150657/5555130
763.96/761.49	c cleaning 105003 clauses out of 210006 with flag 16391157/5661130
775.73/773.29	c cleaning 105998 clauses out of 212003 with flag 16625843/5768130
790.92/788.31	c cleaning 106999 clauses out of 214007 with flag 16868277/5876132
804.10/801.57	c cleaning 107998 clauses out of 216006 with flag 17111823/5985130
820.96/818.41	c cleaning 109004 clauses out of 218011 with flag 17366092/6095133
832.79/830.17	c cleaning 109995 clauses out of 220004 with flag 17617967/6206130
846.45/843.84	c cleaning 110998 clauses out of 222010 with flag 17870351/6318131
862.70/859.53	c cleaning 112002 clauses out of 224012 with flag 18126190/6431131
878.50/875.27	c cleaning 113004 clauses out of 226010 with flag 18389970/6545131
894.87/891.69	c cleaning 113993 clauses out of 228005 with flag 18657864/6660130
909.83/906.59	c cleaning 115002 clauses out of 230013 with flag 18929177/6776131
924.21/921.00	c cleaning 115997 clauses out of 232011 with flag 19197047/6893131
938.95/935.60	c cleaning 117004 clauses out of 234015 with flag 19466001/7011132
951.23/947.94	c cleaning 117999 clauses out of 236010 with flag 19728653/7130131
966.29/962.92	c cleaning 119000 clauses out of 238012 with flag 19994538/7250132
983.56/980.21	c cleaning 120004 clauses out of 240011 with flag 20264286/7371131
996.36/992.93	c cleaning 121004 clauses out of 242009 with flag 20541623/7493133
1015.53/1012.18	c cleaning 121998 clauses out of 244002 with flag 20820355/7616130
1038.00/1034.54	c cleaning 122998 clauses out of 246004 with flag 21109142/7740130
1053.77/1050.33	c cleaning 124002 clauses out of 248006 with flag 21403289/7865130
1070.05/1066.61	c cleaning 124995 clauses out of 250004 with flag 21691010/7991130
1088.79/1085.37	c cleaning 126001 clauses out of 252009 with flag 21973676/8118130
1108.51/1105.21	c cleaning 127000 clauses out of 254008 with flag 22261753/8246130
1128.99/1125.74	c cleaning 128003 clauses out of 256008 with flag 22562224/8375130
1151.29/1148.29	c cleaning 128997 clauses out of 258005 with flag 22869795/8505130
1170.58/1167.51	c cleaning 130001 clauses out of 260008 with flag 23174904/8636130
1192.69/1189.90	c cleaning 131003 clauses out of 262008 with flag 23487190/8768131
1216.14/1213.36	c cleaning 132002 clauses out of 264005 with flag 23801212/8901131
1256.41/1253.89	c cleaning 132999 clauses out of 266003 with flag 24178285/9035131
1346.91/1343.85	c cleaning 134003 clauses out of 268005 with flag 24664832/9170132
1435.86/1432.97	c cleaning 134997 clauses out of 270004 with flag 25162745/9306134
1512.03/1509.16	c cleaning 135997 clauses out of 272003 with flag 25675643/9443130
1585.94/1583.04	c cleaning 137000 clauses out of 274007 with flag 26186264/9581131
1684.06/1681.36	c cleaning 138002 clauses out of 276010 with flag 26724127/9720134
1780.68/1778.09	c cleaning 138995 clauses out of 278004 with flag 27234998/9860130
1861.03/1858.43	c cleaning 139997 clauses out of 280009 with flag 27753303/10001130
1959.03/1956.53	c cleaning 141004 clauses out of 282012 with flag 28276461/10143130
2009.53/2007.05	c cleaning 142002 clauses out of 284008 with flag 28752824/10286130
2043.76/2041.20	c cleaning 143000 clauses out of 286007 with flag 29217575/10430131
2068.72/2066.28	c cleaning 144003 clauses out of 288008 with flag 29625593/10575132
2094.44/2091.88	c cleaning 144998 clauses out of 290004 with flag 30019942/10721131
2114.71/2112.16	c cleaning 145993 clauses out of 292005 with flag 30449818/10868130
2135.57/2132.95	c cleaning 147002 clauses out of 294012 with flag 30883608/11016130
2156.44/2153.85	c cleaning 148004 clauses out of 296011 with flag 31287833/11165131
2179.43/2176.72	c cleaning 149000 clauses out of 298007 with flag 31671972/11315131
2203.88/2201.23	c cleaning 150000 clauses out of 300007 with flag 32056075/11466131
2232.96/2230.29	c cleaning 150999 clauses out of 302007 with flag 32439785/11618131
2251.99/2248.49	c cleaning 151999 clauses out of 304007 with flag 32826332/11771130
2274.55/2270.93	c cleaning 153001 clauses out of 306008 with flag 33213011/11925130
2290.23/2286.63	c cleaning 154003 clauses out of 308011 with flag 33593607/12080134
2317.34/2313.72	c cleaning 154999 clauses out of 310005 with flag 34033431/12236131
2339.90/2336.20	c cleaning 155999 clauses out of 312005 with flag 34478864/12393130
2370.76/2367.03	c cleaning 157003 clauses out of 314007 with flag 34901624/12551131
2445.63/2441.94	c cleaning 157994 clauses out of 316003 with flag 35371875/12710130
2479.49/2475.75	c cleaning 159004 clauses out of 318010 with flag 35835088/12870131
2510.37/2506.55	c cleaning 160001 clauses out of 320005 with flag 36283149/13031130
2546.39/2542.63	c cleaning 161001 clauses out of 322004 with flag 36696156/13193130
2575.86/2572.19	c cleaning 161996 clauses out of 324004 with flag 37112440/13356131
2601.68/2597.90	c cleaning 163003 clauses out of 326007 with flag 37489206/13520130
2627.15/2623.42	c cleaning 163998 clauses out of 328004 with flag 37871876/13685130
2655.37/2651.59	c cleaning 165004 clauses out of 330008 with flag 38263029/13851132
2682.54/2678.75	c cleaning 166002 clauses out of 332003 with flag 38657115/14018131
2711.04/2707.18	c cleaning 166997 clauses out of 334002 with flag 39063207/14186132
2746.68/2742.85	c cleaning 168000 clauses out of 336003 with flag 39520350/14355130
2781.67/2777.70	c cleaning 169002 clauses out of 338003 with flag 39978241/14525130
2817.65/2812.99	c cleaning 169993 clauses out of 340002 with flag 40406170/14696131
2849.48/2844.79	c cleaning 171005 clauses out of 342010 with flag 40828767/14868132
2885.98/2881.11	c cleaning 171993 clauses out of 344003 with flag 41317177/15041130
2934.28/2929.57	c cleaning 173002 clauses out of 346011 with flag 41848656/15215131
2975.71/2970.90	c cleaning 174007 clauses out of 348013 with flag 42346152/15390135
3011.91/3007.10	c cleaning 174995 clauses out of 350003 with flag 42780871/15566132
3048.28/3043.37	c cleaning 176001 clauses out of 352007 with flag 43208672/15743131
3084.13/3079.22	c cleaning 177001 clauses out of 354008 with flag 43642770/15921133
3116.36/3111.46	c cleaning 178000 clauses out of 356007 with flag 44093587/16100133
3153.01/3148.06	c cleaning 178997 clauses out of 358004 with flag 44512053/16280130
3187.42/3182.34	c cleaning 180000 clauses out of 360007 with flag 44961498/16461130
3223.85/3218.88	c cleaning 181001 clauses out of 362007 with flag 45380352/16643130
3250.84/3245.85	c cleaning 182003 clauses out of 364006 with flag 45794136/16826130
3282.23/3277.29	c cleaning 182998 clauses out of 366006 with flag 46235728/17010133
3308.90/3303.84	c cleaning 184003 clauses out of 368008 with flag 46676928/17195133
3341.05/3335.91	c cleaning 184998 clauses out of 370004 with flag 47144953/17381132
3383.00/3377.81	c cleaning 186002 clauses out of 372005 with flag 47614566/17568131
3429.67/3422.93	c cleaning 187001 clauses out of 374005 with flag 48082124/17756133
3472.26/3465.50	c cleaning 188000 clauses out of 376002 with flag 48515053/17945131
3517.19/3510.46	c cleaning 188993 clauses out of 378002 with flag 48970921/18135131
3567.64/3560.81	c cleaning 190003 clauses out of 380012 with flag 49428011/18326134
3600.03/3593.13	c starts		: 32686
3600.03/3593.14	c conflicts		: 18518131
3600.03/3593.16	c decisions		: 23115566
3600.03/3593.17	c propagations		: 484441476
3600.03/3593.17	c inspects		: 29799267926
3600.03/3593.17	c shortcuts		: 0
3600.03/3593.17	c learnt literals	: 0
3600.03/3593.17	c learnt binary clauses	: 0
3600.03/3593.17	c learnt ternary clauses	: 0
3600.03/3593.17	c learnt constraints	: 18518131
3600.03/3593.17	c ignored constraints	: 0
3600.03/3593.17	c root simplifications	: 0
3600.03/3593.17	c removed literals (reason simplification)	: 0
3600.03/3593.17	c reason swapping (by a shorter reason)	: 0
3600.03/3593.17	c Calls to reduceDB	: 188
3600.03/3593.17	c Number of update (reduction) of LBD	: 884608
3600.03/3593.17	c Imported unit clauses	: 0
3600.03/3593.17	c No decision after first conflict	: false
3600.03/3593.17	c number of reductions to clauses (during analyze)	: 0
3600.03/3593.17	c number of learned constraints concerned by reduction	: 0
3600.03/3593.17	c number of learning phase by resolution	: 0
3600.03/3593.17	c number of learning phase by cutting planes	: 0
3600.03/3593.18	c number of rounding to 1 operations	: 0
3600.03/3593.18	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3593.18	c number of reductions of the coefficients by power 2 	: 0
3600.03/3593.21	c number of right shift for reduction by power 2 	: 0
3600.03/3593.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3593.21	c number of ending skipping 	: 0
3600.03/3593.21	c number of internal skipping 	: 0
3600.03/3593.21	c number of derivation steps 	: 0
3600.03/3593.21	c number of skipped derivation steps 	: 0
3600.03/3593.21	c number of remaining unassigned 	: 0
3600.03/3593.21	c number of remaining assigned 	: 0
3600.03/3593.21	c number of falsified literals weakened from reason	: 0
3600.03/3593.21	c number of falsified literals weakened from conflict	: 0
3600.03/3593.21	c time for arithmetic operations	: 0
3600.03/3593.21	c minimum degree of deleted constraints	: null
3600.03/3593.21	c maximum degree of deleted constraints	: null
3600.03/3593.21	c number of deleted constraints	: 0
3600.03/3593.21	c speed (assignments/second)	: 134835.84945992345
3600.03/3593.21	c non guided choices	: 2
3600.40/3593.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 382006
3600.40/3593.37	s SATISFIABLE
3600.40/3593.37	c Found 5 solution(s)
3600.40/3593.37	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 
3600.40/3593.37	c objective function=-31
3600.40/3593.37	c Total wall clock time (in seconds): 3593.13

Verifier Data 

OK	-31

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.101086 s]*
/proc/loadavg: 4.30 4.20 4.19 7/314 866301
/proc/meminfo: memFree=124718204/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=18975048 memory=59192 CPUtime=0.13 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 6717 0 0 0 11 2 0 0 20 0 18 0 169166790 19430449152 14798 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4743762 14798 5681 1 0 550982 0
[pid=866283/tid=866285] ppid=866280 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) S 866280 866283 861429 0 -1 1077936192 5606 0 0 0 7 1 0 0 20 0 18 0 169166790 19430449152 14798 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169166793 19430449152 14798 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=18975048 memory=15817789915191721 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169166794 19430449152 14798 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59192 KiB

[startup+0.21689 s]*
/proc/loadavg: 4.30 4.20 4.19 10/314 866301
/proc/meminfo: memFree=124692964/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=18975048 memory=65460 CPUtime=0.31 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 7328 0 0 0 28 3 0 0 20 0 18 0 169166790 19430449152 16365 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4743762 16365 5686 1 0 551480 0
[pid=866283/tid=866285] ppid=866280 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 5797 0 0 0 18 2 0 0 20 0 18 0 169166790 19430449152 16365 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=18975048 memory=671 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169166793 19430449152 16365 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=18975048 memory=14697383271339398 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169166794 19430449152 16365 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65460 KiB

[startup+0.309842 s]*
/proc/loadavg: 4.30 4.20 4.19 7/314 866301
/proc/meminfo: memFree=124689880/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=18975048 memory=69060 CPUtime=0.47 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 7528 0 0 0 44 3 0 0 20 0 18 0 169166790 19430449152 17265 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4743762 17265 5835 1 0 551601 0
[pid=866283/tid=866285] ppid=866280 vsize=18975048 memory=-9175354604883649212 CPUtime=0.29 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 5907 0 0 0 27 2 0 0 20 0 18 0 169166790 19430449152 17265 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169166793 19430449152 17265 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169166794 19430449152 17265 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69060 KiB

[startup+0.700876 s]
/proc/loadavg: 4.36 4.21 4.19 7/315 866302
/proc/meminfo: memFree=124592536/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19041612 memory=79912 CPUtime=1.2 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 11144 0 0 0 115 5 0 0 20 0 19 0 169166790 19498610688 19978 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4760403 19978 5872 1 0 553957 0
[pid=866283/tid=866285] ppid=866280 vsize=19041612 memory=5544 CPUtime=0.66 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 6048 0 0 0 64 2 0 0 20 0 19 0 169166790 19498610688 19978 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19041612 memory=12776 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169166793 19498610688 19978 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19041612 memory=164 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169166794 19498610688 19978 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169166828 19498610688 19978 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79912 KiB

[startup+1.50029 s]
/proc/loadavg: 4.36 4.21 4.19 9/316 866303
/proc/meminfo: memFree=124502008/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19041612 memory=101188 CPUtime=2.59 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 16821 0 0 0 252 7 0 0 20 0 19 0 169166790 19498610688 25297 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4760403 25297 5887 1 0 554952 0
[pid=866283/tid=866285] ppid=866280 vsize=19041612 memory=12776 CPUtime=1.44 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 7092 0 0 0 141 3 0 0 20 0 19 0 169166790 19498610688 25297 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169166793 19498610688 25297 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169166794 19498610688 25297 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19041612 memory=280427810170128 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169166828 19498610688 25297 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101188 KiB

[startup+3.11357 s]
/proc/loadavg: 4.36 4.21 4.19 5/316 866303
/proc/meminfo: memFree=124298652/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19041612 memory=145148 CPUtime=4.47 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 17642 0 0 0 439 8 0 0 20 0 19 0 169166790 19498610688 36287 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4760403 36287 5887 1 0 555156 0
[pid=866283/tid=866285] ppid=866280 vsize=19041612 memory=0 CPUtime=3.04 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 7398 0 0 0 300 4 0 0 20 0 19 0 169166790 19498610688 36287 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19041612 memory=12776 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169166793 19498610688 36287 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169166794 19498610688 36287 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19041612 memory=11464 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169166828 19498610688 36287 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 145148 KiB

[startup+6.30042 s]
/proc/loadavg: 4.33 4.21 4.19 7/316 866373
/proc/meminfo: memFree=125440172/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=190872 CPUtime=7.66 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 18843 0 0 0 756 10 0 0 20 0 20 0 169166790 19566772224 47718 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 47718 5919 1 0 555446 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=12776 CPUtime=6.17 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 7443 0 0 0 612 5 0 0 20 0 20 0 169166790 19566772224 47718 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 47718 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=105284 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 47718 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 47718 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190872 KiB

[startup+12.7005 s]
/proc/loadavg: 4.30 4.20 4.19 7/317 866442
/proc/meminfo: memFree=124107900/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=310000 CPUtime=14.24 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 20924 0 0 0 1410 14 0 0 20 0 20 0 169166790 19566772224 77500 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 77500 5919 1 0 555446 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=0 CPUtime=12.25 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 7991 0 0 0 1220 5 0 0 20 0 20 0 169166790 19566772224 77500 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=-9175354604883649212 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 77500 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=2216 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 77500 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 77500 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 14.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 310000 KiB

[startup+25.5007 s]
/proc/loadavg: 4.42 4.23 4.20 5/317 866445
/proc/meminfo: memFree=118110344/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=488436 CPUtime=27.06 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 24440 0 0 0 2686 20 0 0 20 0 20 0 169166790 19566772224 122109 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 122109 5935 1 0 555446 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=11464 CPUtime=24.58 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) S 866280 866283 861429 0 -1 1077936192 9272 0 0 0 2453 5 0 0 20 0 20 0 169166790 19566772224 122109 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=437064 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 122111 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 122111 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=224194199869 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 122111 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 27.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 488436 KiB

[startup+51.1059 s]
/proc/loadavg: 4.82 4.35 4.24 6/317 866448
/proc/meminfo: memFree=107760400/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=845804 CPUtime=52.65 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 28117 0 0 0 5235 30 0 0 20 0 20 0 169166790 19566772224 211451 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 211451 5935 1 0 661965 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=761812 CPUtime=49.57 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 10682 0 0 0 4949 8 0 0 20 0 20 0 169166790 19566772224 211451 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=32144 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 211451 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0

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

/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 49694 0 0 0 325657 27 0 0 20 0 20 0 169166790 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 1576 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 3287.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3294352 KiB

[startup+3342.3 s]
/proc/loadavg: 3.48 3.73 4.12 4/293 868334
/proc/meminfo: memFree=106990672/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=3294352 CPUtime=3347.44 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 140423 0 0 0 334476 268 0 0 20 0 20 0 169166790 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 823588 5950 1 0 835435 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=3294348 CPUtime=3316.47 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 49718 0 0 0 331620 27 0 0 20 0 20 0 169166790 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 1576 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 823588 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 3347.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3294352 KiB

[startup+3402.31 s]
/proc/loadavg: 3.27 3.63 4.06 6/293 868345
/proc/meminfo: memFree=106990508/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=3294836 CPUtime=3407.89 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 141940 0 0 0 340517 272 0 0 20 0 20 0 169166790 19566772224 823709 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 823709 5950 1 0 835435 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=3294348 CPUtime=3376.02 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 50176 0 0 0 337575 27 0 0 20 0 20 0 169166790 19566772224 823709 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 823709 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 1577 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 823709 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 823709 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 3407.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3294836 KiB

[startup+3462.3 s]
/proc/loadavg: 2.58 3.36 3.94 3/265 868389
/proc/meminfo: memFree=122395776/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=3450732 CPUtime=3469.06 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 147406 0 0 0 346626 280 0 0 20 0 20 0 169166790 19566772224 862683 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 862683 5950 1 0 917092 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=3294348 CPUtime=3435.69 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 50826 0 0 0 343539 30 0 0 20 0 20 0 169166790 19566772224 862683 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=3294352 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 862683 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=3448684 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 1598 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 862683 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=-8621784606602739098 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 862683 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 3469.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3450732 KiB

[startup+3522.3 s]
/proc/loadavg: 2.35 3.14 3.83 3/265 868399
/proc/meminfo: memFree=122225196/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=3620716 CPUtime=3529.07 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 147854 0 0 0 352620 287 0 0 20 0 20 0 169166790 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 905179 5950 1 0 917092 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=3448684 CPUtime=3495.3 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 51075 0 0 0 349497 33 0 0 20 0 20 0 169166790 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=3450732 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=3620716 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 1598 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 3529.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3620716 KiB

[startup+3582.3 s]
/proc/loadavg: 2.18 2.95 3.71 3/265 868409
/proc/meminfo: memFree=122224884/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=3620716 CPUtime=3589.24 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 148064 0 0 0 358633 291 0 0 20 0 20 0 169166790 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 905179 5950 1 0 917092 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=3620716 CPUtime=3554.9 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 51171 0 0 0 355457 33 0 0 20 0 20 0 169166790 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=3620716 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 1598 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 3589.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3620716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.11 s]
/proc/loadavg: 2.15 2.91 3.69 3/265 868412
/proc/meminfo: memFree=122224804/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19108176 memory=3620716 CPUtime=3600.03 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 148073 0 0 0 359712 291 0 0 20 0 20 0 169166790 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4777044 905179 5950 1 0 917092 0
[pid=866283/tid=866285] ppid=866280 vsize=19108176 memory=-9175354604883649212 CPUtime=3565.69 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 51180 0 0 0 356536 33 0 0 20 0 20 0 169166790 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19108176 memory=3294348 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169166793 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19108176 memory=37764 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 1598 0 0 0 0 0 0 0 20 0 20 0 169166794 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866302] ppid=866280 vsize=19108176 memory=3620716 CPUtime=0 cores=1,3
/proc/866283/task/866302/stat : 866302 (Timer-0) S 866280 866283 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169166828 19566772224 905179 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3620716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.66 s, system=2.94813 s

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

[startup+3593.22 s]
/proc/loadavg: 2.15 2.91 3.69 3/265 868412
/proc/meminfo: memFree=122224804/131655788 swapFree=131071996/131071996
[pid=866283] ppid=866280 vsize=19307868 memory=3621304 CPUtime=3600.23 cores=1,3
/proc/866283/stat : 866283 (java) S 866280 866283 861429 0 -1 1077936128 149353 0 0 0 359731 292 0 0 20 0 22 0 169166790 19771256832 905326 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
/proc/866283/statm: 4826967 905326 5949 1 0 917995 0
[pid=866283/tid=866285] ppid=866280 vsize=19307868 memory=3620716 CPUtime=3565.79 cores=1,3
/proc/866283/task/866285/stat : 866285 (java) R 866280 866283 861429 0 -1 4194368 51180 0 0 0 356546 33 0 0 20 0 22 0 169166790 19771256832 905326 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866294] ppid=866280 vsize=19307868 memory=-9175354604883649212 CPUtime=0 cores=1,3
/proc/866283/task/866294/stat : 866294 (Finalizer) S 866280 866283 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 169166793 19771256832 905326 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
[pid=866283/tid=866301] ppid=866280 vsize=19307868 memory=37764 CPUtime=0 cores=1,3
/proc/866283/task/866301/stat : 866301 (Common-Cleaner) S 866280 866283 861429 0 -1 1077936192 1598 0 0 0 0 0 0 0 20 0 22 0 169166794 19771256832 905326 134679101440 94340172713984 94340172717680 140729354045872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94340172725496 94340172726288 94340181352448 140729354052615 140729354052705 140729354052705 140729354059720 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3621304 KiB

[startup+3593.41 s]*
/proc/loadavg: 2.15 2.91 3.69 3/247 868416
/proc/meminfo: memFree=125787236/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3593.43
CPU time (s): 3600.61
CPU user time (s): 3597.66
CPU system time (s): 2.94813
CPU usage (%): 100.2
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3621344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.66
system time used= 2.94813
maximum resident set size= 3622004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110421
involuntary context switches= 7173


# summary of solver processes directly reported to runsolver:
#   pid: 866283
#   total CPU time (s): 3600.61
#   total CPU user time (s): 3597.66
#   total CPU system time (s): 2.94813

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9448 second user time and 37.1917 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-17 00:48:04
IDJOB=4432525
IDBENCH=158488
IDSOLVER=3058
FILE ID=nodeC009/4432525-1721170072
RUNJOBID= nodeC009-1721162884-861441
SLURM_JOB_ID= 7505781
Free space on /tmp= 723756 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0334-0334.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432525-1721170072/watcher-4432525-1721170072 -o /tmp/evaluation-result-4432525-1721170072/solver-4432525-1721170072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721162884-861441 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432525-1721170072.opb

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

MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5
RANDOM SEED=1845448040

nodeC009.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		: 3613.552
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	: 6984.34
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		: 2294.866
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.27
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.440
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	: 6984.34
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		: 3292.632
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.27
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		: 3607.809
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	: 6984.34
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		: 2494.408
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.27
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.456
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	: 6984.34
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		: 3292.619
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.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124765800 kB
MemAvailable:   126363284 kB
Buffers:          445784 kB
Cached:          1976752 kB
SwapCached:            0 kB
Active:           771544 kB
Inactive:        5545360 kB
Active(anon):       1452 kB
Inactive(anon):  3930608 kB
Active(file):     770092 kB
Inactive(file):  1614752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             11112 kB
Writeback:             0 kB
AnonPages:       3894448 kB
Mapped:           125052 kB
Shmem:             37700 kB
KReclaimable:     105344 kB
Slab:             204756 kB
SReclaimable:     105344 kB
SUnreclaim:        99412 kB
KernelStack:        4784 kB
PageTables:        17776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7418180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3586048 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC009 at 2024-07-17 01:47:57