Trace number 4449792

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)5 3600.27 3603.74

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=9.opb
MD5SUM5bbd9c37a994af6c8eea19ef18cfb445
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables427
Total number of constraints17423
Number of constraints which are clauses17409
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 14
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 14
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4449792-1721399521.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.32/0.29	c ... done. Wall clock time 0.155s.
0.32/0.29	c declared #vars     427
0.32/0.29	c #constraints  17423
0.32/0.29	c constraints type 
0.32/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14
0.32/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17409
0.32/0.29	c 17423 constraints processed.
0.32/0.30	c objective function length is 14 literals
0.52/0.35	c SATISFIABLE
0.52/0.35	c OPTIMIZING...
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.22
0.52/0.35	o 9
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.227
0.52/0.36	o 8
0.52/0.37	c Got one! Elapsed wall clock time (in seconds):0.242
0.52/0.37	o 7
0.71/0.49	c Got one! Elapsed wall clock time (in seconds):0.357
0.71/0.49	o 6
0.71/0.50	c Got one! Elapsed wall clock time (in seconds):0.371
0.71/0.50	o 5
1.28/0.79	c cleaning 3296 clauses out of 6595 with flag 23943/6595
1.68/0.95	c cleaning 4631 clauses out of 9297 with flag 52636/12593
1.99/1.11	c cleaning 5829 clauses out of 11666 with flag 89668/19593
2.13/1.27	c cleaning 6909 clauses out of 13837 with flag 133096/27593
2.53/1.46	c cleaning 7956 clauses out of 15929 with flag 180678/36594
2.95/1.70	c cleaning 8980 clauses out of 17972 with flag 232935/46593
3.15/1.95	c cleaning 9995 clauses out of 19992 with flag 295354/57593
3.44/2.24	c cleaning 10994 clauses out of 21999 with flag 371314/69595
3.75/2.57	c cleaning 11994 clauses out of 24003 with flag 450885/82593
4.15/2.90	c cleaning 12992 clauses out of 26009 with flag 529346/96593
4.45/3.25	c cleaning 14007 clauses out of 28018 with flag 610529/111594
4.85/3.64	c cleaning 14997 clauses out of 30012 with flag 703948/127595
5.28/4.07	c cleaning 16000 clauses out of 32013 with flag 792224/144593
5.70/4.49	c cleaning 17000 clauses out of 34015 with flag 892596/162595
6.20/4.93	c cleaning 17993 clauses out of 36013 with flag 998271/181593
6.60/5.35	c cleaning 18992 clauses out of 38020 with flag 1091867/201593
7.10/5.82	c cleaning 19993 clauses out of 40028 with flag 1209681/222593
7.40/6.13	c cleaning 20998 clauses out of 42035 with flag 1288447/244593
7.70/6.47	c cleaning 21999 clauses out of 44037 with flag 1373886/267593
8.11/6.88	c cleaning 22994 clauses out of 46038 with flag 1460994/291593
8.55/7.29	c cleaning 23997 clauses out of 48044 with flag 1553350/316593
9.16/7.71	c cleaning 25014 clauses out of 50047 with flag 1649530/342593
9.56/8.13	c cleaning 26002 clauses out of 52033 with flag 1750611/369593
9.95/8.58	c cleaning 27004 clauses out of 54031 with flag 1855235/397593
10.46/9.07	c cleaning 27999 clauses out of 56027 with flag 1967651/426593
10.96/9.55	c cleaning 29005 clauses out of 58029 with flag 2081747/456594
11.46/10.06	c cleaning 29994 clauses out of 60023 with flag 2196673/487593
12.06/10.60	c cleaning 31004 clauses out of 62029 with flag 2318633/519593
12.66/11.21	c cleaning 31999 clauses out of 64025 with flag 2444202/552593
13.26/11.81	c cleaning 32999 clauses out of 66026 with flag 2575289/586593
13.86/12.43	c cleaning 33989 clauses out of 68027 with flag 2708186/621593
14.46/13.07	c cleaning 35001 clauses out of 70038 with flag 2846336/657593
15.16/13.74	c cleaning 36009 clauses out of 72037 with flag 2990633/694593
15.86/14.43	c cleaning 36979 clauses out of 74028 with flag 3137594/732593
16.57/15.11	c cleaning 37995 clauses out of 76049 with flag 3287891/771593
17.37/15.94	c cleaning 39015 clauses out of 78054 with flag 3441661/811593
18.16/16.70	c cleaning 40015 clauses out of 80039 with flag 3600972/852593
18.95/17.50	c cleaning 40981 clauses out of 82024 with flag 3764120/894593
19.74/18.31	c cleaning 42001 clauses out of 84043 with flag 3931368/937593
20.54/19.16	c cleaning 42993 clauses out of 86042 with flag 4103591/981593
21.43/20.03	c cleaning 44006 clauses out of 88050 with flag 4280749/1026594
22.45/21.07	c cleaning 45006 clauses out of 90043 with flag 4461734/1072593
23.54/22.12	c cleaning 45999 clauses out of 92037 with flag 4646592/1119593
24.43/23.08	c cleaning 47008 clauses out of 94038 with flag 4834248/1167593
26.02/24.65	c cleaning 48008 clauses out of 96031 with flag 5092819/1216594
28.01/26.63	c cleaning 49011 clauses out of 98022 with flag 5343128/1266593
30.68/29.36	c cleaning 49990 clauses out of 100011 with flag 5691338/1317593
33.06/31.73	c cleaning 50990 clauses out of 102021 with flag 6003319/1369593
34.86/33.52	c cleaning 52016 clauses out of 104031 with flag 6268195/1422593
38.33/37.04	c cleaning 52999 clauses out of 106015 with flag 6558724/1476593
41.60/40.36	c cleaning 53992 clauses out of 108016 with flag 6813743/1531593
45.02/43.74	c cleaning 54999 clauses out of 110024 with flag 7169817/1587593
47.40/46.16	c cleaning 56004 clauses out of 112026 with flag 7466892/1644594
50.11/48.89	c cleaning 57001 clauses out of 114021 with flag 7758817/1702593
52.29/51.08	c cleaning 57999 clauses out of 116021 with flag 8043184/1761594
54.46/53.21	c cleaning 58996 clauses out of 118021 with flag 8332701/1821593
56.78/55.50	c cleaning 59985 clauses out of 120025 with flag 8614352/1882593
58.87/57.66	c cleaning 61006 clauses out of 122040 with flag 8911618/1944593
60.85/59.60	c cleaning 61998 clauses out of 124034 with flag 9200321/2007593
62.83/61.69	c cleaning 63000 clauses out of 126036 with flag 9481281/2071593
65.02/63.87	c cleaning 64010 clauses out of 128036 with flag 9773611/2136593
67.30/66.18	c cleaning 64995 clauses out of 130026 with flag 10066561/2202593
69.67/68.58	c cleaning 66008 clauses out of 132031 with flag 10349826/2269593
71.96/70.87	c cleaning 66990 clauses out of 134023 with flag 10668944/2337593
74.43/73.31	c cleaning 67995 clauses out of 136033 with flag 10991847/2406593
76.93/75.82	c cleaning 69012 clauses out of 138038 with flag 11320270/2476593
80.00/78.90	c cleaning 70003 clauses out of 140026 with flag 11696212/2547593
83.47/82.41	c cleaning 71008 clauses out of 142023 with flag 12084616/2619593
86.75/85.75	c cleaning 71997 clauses out of 144015 with flag 12468185/2692593
90.61/89.62	c cleaning 72992 clauses out of 146018 with flag 12880374/2766593
94.38/93.44	c cleaning 74010 clauses out of 148026 with flag 13317182/2841593
98.06/97.19	c cleaning 74984 clauses out of 150016 with flag 13694494/2917593
100.85/99.98	c cleaning 76012 clauses out of 152032 with flag 13991459/2994593
104.71/103.83	c cleaning 76987 clauses out of 154020 with flag 14406838/3072593
108.60/107.75	c cleaning 77996 clauses out of 156033 with flag 14815011/3151593
112.96/112.14	c cleaning 79011 clauses out of 158037 with flag 15242879/3231593
117.42/116.69	c cleaning 80011 clauses out of 160026 with flag 15689634/3312593
123.12/122.38	c cleaning 81000 clauses out of 162015 with flag 16192285/3394593
127.68/126.97	c cleaning 82002 clauses out of 164015 with flag 16649045/3477593
130.45/129.79	c cleaning 82981 clauses out of 166013 with flag 16999905/3561593
133.62/132.98	c cleaning 83991 clauses out of 168032 with flag 17366321/3646593
136.86/136.18	c cleaning 85002 clauses out of 170041 with flag 17736933/3732593
139.83/139.19	c cleaning 86001 clauses out of 172039 with flag 18111713/3819593
143.00/142.35	c cleaning 86996 clauses out of 174038 with flag 18514101/3907593
147.56/146.92	c cleaning 88002 clauses out of 176042 with flag 18992144/3996593
152.21/151.65	c cleaning 89012 clauses out of 178040 with flag 19491988/4086593
157.13/156.50	c cleaning 89999 clauses out of 180029 with flag 19980249/4177594
162.72/162.16	c cleaning 91002 clauses out of 182029 with flag 20545849/4269593
166.81/166.20	c cleaning 92012 clauses out of 184028 with flag 21035388/4362594
171.30/170.79	c cleaning 93004 clauses out of 186015 with flag 21560393/4456593
175.98/175.34	c cleaning 93985 clauses out of 188011 with flag 22064627/4551593
179.77/179.14	c cleaning 95011 clauses out of 190026 with flag 22588277/4647593
183.26/182.65	c cleaning 95975 clauses out of 192015 with flag 23064100/4744593
189.06/188.49	c cleaning 97006 clauses out of 194040 with flag 23640997/4842593
195.14/194.50	c cleaning 97991 clauses out of 196034 with flag 24210602/4941593
200.83/199.86	c cleaning 98996 clauses out of 198043 with flag 24756350/5041593
207.41/206.47	c cleaning 100012 clauses out of 200047 with flag 25383216/5142593
214.19/213.23	c cleaning 101007 clauses out of 202035 with flag 26013771/5244593
221.27/220.36	c cleaning 101984 clauses out of 204028 with flag 26673296/5347593
227.77/226.87	c cleaning 103007 clauses out of 206044 with flag 27319919/5451593
235.61/234.64	c cleaning 104014 clauses out of 208037 with flag 28014036/5556593
243.40/242.49	c cleaning 105010 clauses out of 210024 with flag 28755302/5662594
249.89/248.92	c cleaning 105990 clauses out of 212013 with flag 29431410/5769593
253.98/253.06	c cleaning 107000 clauses out of 214023 with flag 30007898/5877593
258.66/257.78	c cleaning 108007 clauses out of 216025 with flag 30570853/5986595
263.64/262.60	c cleaning 108993 clauses out of 218016 with flag 31149809/6096593
268.33/267.38	c cleaning 110004 clauses out of 220023 with flag 31737603/6207593
273.03/272.06	c cleaning 110975 clauses out of 222019 with flag 32336806/6319593
281.01/280.10	c cleaning 112020 clauses out of 224046 with flag 33135881/6432595
288.59/287.58	c cleaning 113002 clauses out of 226024 with flag 33927561/6546593
297.18/296.13	c cleaning 113991 clauses out of 228022 with flag 34807998/6661593
305.75/304.76	c cleaning 115006 clauses out of 230031 with flag 35702271/6777593
314.74/313.73	c cleaning 115995 clauses out of 232025 with flag 36603146/6894593
325.11/324.02	c cleaning 117010 clauses out of 234032 with flag 37461706/7012595
333.49/332.41	c cleaning 117981 clauses out of 236021 with flag 38341876/7131594
340.47/339.43	c cleaning 119004 clauses out of 238039 with flag 39047417/7251593
347.16/346.19	c cleaning 119990 clauses out of 240036 with flag 39817792/7372594
356.24/355.26	c cleaning 121005 clauses out of 242045 with flag 40763520/7494593
366.52/365.59	c cleaning 122008 clauses out of 244040 with flag 41726698/7617593
376.73/375.86	c cleaning 123010 clauses out of 246032 with flag 42661627/7741593
386.74/385.93	c cleaning 124010 clauses out of 248023 with flag 43597616/7866594
399.02/398.35	c cleaning 124998 clauses out of 250012 with flag 44572094/7992593
410.81/410.18	c cleaning 125997 clauses out of 252014 with flag 45547460/8119593
422.11/421.53	c cleaning 127002 clauses out of 254020 with flag 46562441/8247596
433.00/432.55	c cleaning 127999 clauses out of 256016 with flag 47500422/8376594
440.24/439.83	c cleaning 128988 clauses out of 258016 with flag 48261865/8506593
448.66/448.35	c cleaning 130004 clauses out of 260028 with flag 49076886/8637593
460.54/460.27	c cleaning 131007 clauses out of 262025 with flag 50099111/8769594
471.93/471.77	c cleaning 131979 clauses out of 264018 with flag 50965082/8902594
482.53/482.42	c cleaning 133009 clauses out of 266038 with flag 51911103/9036593
494.91/494.92	c cleaning 134003 clauses out of 268030 with flag 52983681/9171594
506.99/507.18	c cleaning 135004 clauses out of 270028 with flag 54083496/9307595
519.98/519.75	c cleaning 136006 clauses out of 272022 with flag 55180318/9444593
532.55/532.36	c cleaning 136996 clauses out of 274017 with flag 56290588/9582594
545.03/544.88	c cleaning 137996 clauses out of 276020 with flag 57403605/9721593
557.70/557.55	c cleaning 139009 clauses out of 278026 with flag 58529304/9861595
570.39/570.24	c cleaning 139991 clauses out of 280015 with flag 59658233/10002593
582.21/582.07	c cleaning 140987 clauses out of 282026 with flag 60637024/10144595
596.09/595.90	c cleaning 141997 clauses out of 284038 with flag 61827720/10287594
609.86/609.78	c cleaning 143002 clauses out of 286040 with flag 63006463/10431593
624.43/624.30	c cleaning 144009 clauses out of 288038 with flag 64158590/10576593
638.80/638.75	c cleaning 144997 clauses out of 290030 with flag 65338642/10722594
653.58/653.55	c cleaning 146001 clauses out of 292032 with flag 66536688/10869593
668.86/668.72	c cleaning 146998 clauses out of 294032 with flag 67778577/11017594
683.84/683.71	c cleaning 148013 clauses out of 296033 with flag 69054582/11166593
697.31/697.25	c cleaning 148989 clauses out of 298020 with flag 70195955/11316593
708.18/708.11	c cleaning 150006 clauses out of 300031 with flag 71151197/11467593
723.24/723.20	c cleaning 151004 clauses out of 302026 with flag 72441321/11619594
739.71/739.76	c cleaning 152000 clauses out of 304021 with flag 73685771/11772593
754.87/754.92	c cleaning 153010 clauses out of 306021 with flag 74886640/11926593
802.79/802.82	c cleaning 153989 clauses out of 308011 with flag 76022512/12081593
821.07/821.14	c cleaning 155001 clauses out of 310023 with flag 77159058/12237594
836.12/836.28	c cleaning 155986 clauses out of 312021 with flag 78103157/12394593
851.09/851.21	c cleaning 157001 clauses out of 314035 with flag 79102748/12552593
870.55/870.76	c cleaning 157987 clauses out of 316034 with flag 80198482/12711593
891.61/891.82	c cleaning 159009 clauses out of 318047 with flag 81467419/12871593
907.47/907.71	c cleaning 160008 clauses out of 320038 with flag 82543496/13032593
921.74/922.10	c cleaning 161013 clauses out of 322031 with flag 83686272/13194594
941.13/941.43	c cleaning 162002 clauses out of 324017 with flag 84828992/13357593
961.54/962.09	c cleaning 163002 clauses out of 326015 with flag 86025372/13521593
984.96/985.63	c cleaning 163997 clauses out of 328014 with flag 87370672/13686594
1003.33/1004.09	c cleaning 165000 clauses out of 330016 with flag 88514722/13852593
1016.60/1017.31	c cleaning 165995 clauses out of 332017 with flag 89493084/14019594
1030.53/1031.18	c cleaning 166981 clauses out of 334021 with flag 90505443/14187593
1055.27/1055.90	c cleaning 168011 clauses out of 336041 with flag 91909389/14356594
1075.73/1076.41	c cleaning 169006 clauses out of 338029 with flag 93059812/14526593
1097.08/1097.80	c cleaning 169994 clauses out of 340023 with flag 94284932/14697593
1114.44/1115.21	c cleaning 171010 clauses out of 342029 with flag 95421034/14869593
1132.31/1133.18	c cleaning 171979 clauses out of 344019 with flag 96693181/15042593
1148.80/1149.20	c cleaning 173006 clauses out of 346040 with flag 97800084/15216593
1183.77/1184.57	c cleaning 173998 clauses out of 348036 with flag 99101260/15391595
1208.34/1209.37	c cleaning 175014 clauses out of 350036 with flag 100481212/15567593
1233.30/1234.56	c cleaning 175998 clauses out of 352022 with flag 101758055/15744593
1259.46/1260.95	c cleaning 176994 clauses out of 354024 with flag 103082466/15922593
1287.70/1289.35	c cleaning 178002 clauses out of 356033 with flag 104454766/16101596
1312.28/1314.12	c cleaning 179004 clauses out of 358028 with flag 105705085/16281593
1329.52/1331.53	c cleaning 179983 clauses out of 360024 with flag 106777394/16462593
1364.74/1366.82	c cleaning 181018 clauses out of 362042 with flag 108170678/16644594
1381.34/1383.38	c cleaning 181978 clauses out of 364023 with flag 109342246/16827593
1405.19/1407.29	c cleaning 183013 clauses out of 366045 with flag 110634491/17011593
1432.05/1434.17	c cleaning 184012 clauses out of 368032 with flag 111979686/17196593
1461.40/1463.58	c cleaning 185010 clauses out of 370022 with flag 113440944/17382595
1491.64/1493.82	c cleaning 185983 clauses out of 372010 with flag 114887384/17569593
1520.96/1523.14	c cleaning 187012 clauses out of 374027 with flag 116295601/17757593
1548.90/1551.12	c cleaning 187981 clauses out of 376015 with flag 117658990/17946593
1566.37/1568.66	c cleaning 188999 clauses out of 378034 with flag 118825826/18136593
1592.02/1594.36	c cleaning 190003 clauses out of 380035 with flag 120115721/18327593
1618.47/1620.82	c cleaning 191013 clauses out of 382033 with flag 121612273/18519594
1639.82/1642.14	c cleaning 191993 clauses out of 384019 with flag 122733024/18712593
1654.29/1656.62	c cleaning 192996 clauses out of 386026 with flag 123761233/18906593
1667.96/1670.33	c cleaning 193987 clauses out of 388031 with flag 124785503/19101594
1683.23/1685.67	c cleaning 195005 clauses out of 390043 with flag 125840633/19297593
1695.30/1697.71	c cleaning 196014 clauses out of 392038 with flag 126949562/19494593
1708.58/1711.04	c cleaning 197000 clauses out of 394024 with flag 128065257/19692593
1742.72/1745.18	c cleaning 198009 clauses out of 396027 with flag 129747910/19891596
1765.88/1768.33	c cleaning 198984 clauses out of 398015 with flag 131029672/20091593
1791.33/1793.84	c cleaning 199993 clauses out of 400031 with flag 132302978/20292593
1823.93/1826.38	c cleaning 201012 clauses out of 402040 with flag 133900142/20494595
1856.63/1859.35	c cleaning 202001 clauses out of 404026 with flag 135562177/20697593
1884.85/1887.78	c cleaning 202983 clauses out of 406025 with flag 136945580/20901593
1904.71/1907.61	c cleaning 204011 clauses out of 408043 with flag 138211330/21106594
1930.41/1933.37	c cleaning 204999 clauses out of 410031 with flag 139471124/21312593
1963.74/1966.80	c cleaning 205995 clauses out of 412032 with flag 140864261/21519593
2000.36/2003.48	c cleaning 207015 clauses out of 414037 with flag 142360642/21727593
2033.68/2036.28	c cleaning 207983 clauses out of 416022 with flag 143925893/21936593
2068.22/2070.82	c cleaning 208997 clauses out of 418039 with flag 145489143/22146593
2099.27/2101.97	c cleaning 210018 clauses out of 420043 with flag 147018544/22357594
2153.70/2156.44	c cleaning 211000 clauses out of 422024 with flag 148473690/22569593
2195.50/2198.32	c cleaning 211986 clauses out of 424024 with flag 149966370/22782593
2232.03/2234.92	c cleaning 213002 clauses out of 426038 with flag 151531374/22996593
2270.84/2273.81	c cleaning 214015 clauses out of 428040 with flag 153146620/23211597
2300.12/2303.06	c cleaning 214996 clauses out of 430021 with flag 154505920/23427593
2323.87/2326.88	c cleaning 216008 clauses out of 432025 with flag 155887400/23644593
2343.93/2346.98	c cleaning 216998 clauses out of 434017 with flag 157143476/23862593
2370.10/2373.19	c cleaning 218004 clauses out of 436024 with flag 158484391/24081598
2394.35/2397.49	c cleaning 218995 clauses out of 438015 with flag 159933207/24301593
2415.72/2418.72	c cleaning 219987 clauses out of 440020 with flag 161236643/24522593
2443.68/2446.72	c cleaning 221004 clauses out of 442033 with flag 162634788/24744593
2480.02/2483.13	c cleaning 222006 clauses out of 444031 with flag 164236071/24967595
2519.04/2522.21	c cleaning 222997 clauses out of 446023 with flag 165865067/25191593
2560.78/2563.81	c cleaning 224009 clauses out of 448026 with flag 167645644/25416593
2587.04/2590.13	c cleaning 224989 clauses out of 450017 with flag 169135980/25642593
2609.39/2612.59	c cleaning 225993 clauses out of 452028 with flag 170458598/25869593
2626.97/2630.18	c cleaning 226997 clauses out of 454035 with flag 171776871/26097593
2644.43/2647.59	c cleaning 228012 clauses out of 456038 with flag 173104249/26326593
2670.48/2673.60	c cleaning 229006 clauses out of 458027 with flag 174591946/26556594
2709.21/2712.48	c cleaning 229999 clauses out of 460021 with flag 176222968/26787594
2738.47/2741.73	c cleaning 230983 clauses out of 462021 with flag 177719545/27019593
2779.87/2782.56	c cleaning 232007 clauses out of 464038 with flag 179387084/27252593
2825.68/2828.46	c cleaning 233008 clauses out of 466032 with flag 181294812/27486594
2873.47/2876.20	c cleaning 234000 clauses out of 468023 with flag 183139467/27721593
2913.21/2916.04	c cleaning 234989 clauses out of 470023 with flag 184733783/27957593
2959.24/2962.18	c cleaning 236011 clauses out of 472034 with flag 186609584/28194593
2997.43/3000.31	c cleaning 237008 clauses out of 474023 with flag 188248435/28432593
3041.85/3044.80	c cleaning 237993 clauses out of 476015 with flag 190111960/28671593
3074.89/3077.97	c cleaning 238997 clauses out of 478023 with flag 191681008/28911594
3115.16/3118.12	c cleaning 240000 clauses out of 480026 with flag 193422485/29152594
3147.99/3151.07	c cleaning 240989 clauses out of 482025 with flag 194983537/29394593
3193.19/3196.34	c cleaning 242004 clauses out of 484036 with flag 196940445/29637593
3233.60/3236.84	c cleaning 242990 clauses out of 486032 with flag 198634917/29881593
3269.85/3273.09	c cleaning 243996 clauses out of 488042 with flag 200247794/30126593
3293.40/3296.68	c cleaning 244996 clauses out of 490046 with flag 201585495/30372593
3313.67/3316.93	c cleaning 246006 clauses out of 492050 with flag 202942009/30619593
3331.84/3335.16	c cleaning 247017 clauses out of 494044 with flag 204286063/30867593
3364.48/3367.74	c cleaning 247991 clauses out of 496027 with flag 205878067/31116593
3413.49/3416.84	c cleaning 249011 clauses out of 498036 with flag 207864867/31366593
3470.89/3474.34	c cleaning 250010 clauses out of 500026 with flag 209883704/31617594
3520.77/3524.34	c cleaning 250992 clauses out of 502016 with flag 211863238/31869594
3571.86/3575.49	c cleaning 252009 clauses out of 504025 with flag 213776862/32122595
3600.00/3603.61	c starts		: 115477
3600.00/3603.62	c conflicts		: 32260874
3600.00/3603.62	c decisions		: 171882791
3600.00/3603.62	c propagations		: 1046653588
3600.00/3603.62	c inspects		: 41562680361
3600.00/3603.62	c shortcuts		: 0
3600.00/3603.62	c learnt literals	: 0
3600.00/3603.62	c learnt binary clauses	: 0
3600.00/3603.62	c learnt ternary clauses	: 0
3600.00/3603.62	c learnt constraints	: 32260874
3600.00/3603.62	c ignored constraints	: 0
3600.00/3603.62	c root simplifications	: 0
3600.00/3603.62	c removed literals (reason simplification)	: 0
3600.00/3603.62	c reason swapping (by a shorter reason)	: 0
3600.00/3603.62	c Calls to reduceDB	: 249
3600.00/3603.62	c Number of update (reduction) of LBD	: 22226286
3600.00/3603.62	c Imported unit clauses	: 0
3600.00/3603.62	c No decision after first conflict	: false
3600.00/3603.62	c number of reductions to clauses (during analyze)	: 0
3600.00/3603.62	c number of learned constraints concerned by reduction	: 0
3600.00/3603.62	c number of learning phase by resolution	: 0
3600.00/3603.62	c number of learning phase by cutting planes	: 0
3600.00/3603.63	c number of rounding to 1 operations	: 0
3600.00/3603.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3603.63	c number of reductions of the coefficients by power 2 	: 0
3600.00/3603.63	c number of right shift for reduction by power 2 	: 0
3600.00/3603.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3603.63	c number of ending skipping 	: 0
3600.00/3603.63	c number of internal skipping 	: 0
3600.00/3603.63	c number of derivation steps 	: 0
3600.00/3603.63	c number of skipped derivation steps 	: 0
3600.00/3603.63	c number of remaining unassigned 	: 0
3600.00/3603.63	c number of remaining assigned 	: 0
3600.00/3603.63	c number of falsified literals weakened from reason	: 0
3600.00/3603.63	c number of falsified literals weakened from conflict	: 0
3600.00/3603.63	c time for arithmetic operations	: 0
3600.00/3603.63	c minimum degree of deleted constraints	: null
3600.00/3603.63	c maximum degree of deleted constraints	: null
3600.00/3603.63	c number of deleted constraints	: 0
3600.00/3603.63	c speed (assignments/second)	: 290468.5050962596
3600.00/3603.63	c non guided choices	: 2768
3600.23/3603.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 390295
3600.23/3603.73	s SATISFIABLE
3600.23/3603.73	c Found 5 solution(s)
3600.23/3603.73	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 
3600.23/3603.73	c objective function=5
3600.23/3603.73	c Total wall clock time (in seconds): 3603.597

Verifier Data 

OK	5

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449792-1721399521/watcher-4449792-1721399521 -o /tmp/evaluation-result-4449792-1721399521/solver-4449792-1721399521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987391 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4449792-1721399521.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=987645, runsolver pid=987642
Current StackSize limit: 8192 KiB


[startup+0.10298 s]*
/proc/loadavg: 1.68 0.47 0.21 5/332 987663
/proc/meminfo: memFree=125087548/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=18975048 memory=62436 CPUtime=0.13 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 7187 0 0 0 11 2 0 0 20 0 18 0 192112637 19430449152 15609 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4743762 15609 5546 1 0 549299 0
[pid=987645/tid=987647] ppid=987642 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 1077936192 5722 0 0 0 7 1 0 0 20 0 18 0 192112638 19430449152 15609 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192112640 19430449152 15609 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192112641 19430449152 15609 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62436 KiB

[startup+0.206972 s]*
/proc/loadavg: 1.68 0.47 0.21 7/332 987663
/proc/meminfo: memFree=125071280/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=18975048 memory=77820 CPUtime=0.32 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 7734 0 0 0 30 2 0 0 20 0 18 0 192112637 19430449152 19455 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4743762 19455 5837 1 0 549711 0
[pid=987645/tid=987647] ppid=987642 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 5906 0 0 0 16 2 0 0 20 0 18 0 192112638 19430449152 19455 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=18975048 memory=14994 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192112640 19430449152 19455 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192112641 19430449152 19455 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77820 KiB

[startup+0.306695 s]*
/proc/loadavg: 1.68 0.47 0.21 7/333 987664
/proc/meminfo: memFree=125037512/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19041612 memory=111288 CPUtime=0.52 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 9332 0 0 0 49 3 0 0 20 0 19 0 192112637 19498610688 27822 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4760403 27822 5875 1 0 551010 0
[pid=987645/tid=987647] ppid=987642 vsize=19041612 memory=-9032360914339537596 CPUtime=0.27 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 1077936192 6008 0 0 0 25 2 0 0 20 0 19 0 192112638 19498610688 27822 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192112640 19498610688 27822 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192112641 19498610688 27822 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (java) R 987642 987645 987379 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 192112668 19498610688 27822 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111288 KiB

[startup+0.700975 s]
/proc/loadavg: 1.68 0.47 0.21 6/333 987664
/proc/meminfo: memFree=125032552/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19041612 memory=120232 CPUtime=1.28 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 11535 0 0 0 124 4 0 0 20 0 19 0 192112637 19498610688 30058 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4760403 30058 5907 1 0 552043 0
[pid=987645/tid=987647] ppid=987642 vsize=19041612 memory=13012 CPUtime=0.64 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 6043 0 0 0 62 2 0 0 20 0 19 0 192112638 19498610688 30058 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19041612 memory=13012 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192112640 19498610688 30058 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192112641 19498610688 30058 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19041612 memory=26268 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192112668 19498610688 30058 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 120232 KiB

[startup+1.50096 s]
/proc/loadavg: 1.68 0.47 0.21 5/333 987664
/proc/meminfo: memFree=125016680/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19041612 memory=137576 CPUtime=2.71 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 16046 0 0 0 266 5 0 0 20 0 19 0 192112637 19498610688 34394 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4760403 34394 5907 1 0 552665 0
[pid=987645/tid=987647] ppid=987642 vsize=19041612 memory=13012 CPUtime=1.44 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 6446 0 0 0 141 3 0 0 20 0 19 0 192112638 19498610688 34394 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192112640 19498610688 34394 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192112641 19498610688 34394 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192112668 19498610688 34394 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 137576 KiB

[startup+3.10581 s]
/proc/loadavg: 1.86 0.53 0.23 5/334 987665
/proc/meminfo: memFree=124868380/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=179492 CPUtime=4.36 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 18257 0 0 0 430 6 0 0 20 0 20 0 192112637 19566772224 44873 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 44873 5944 1 0 553106 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=0 CPUtime=3.02 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 6732 0 0 0 298 4 0 0 20 0 20 0 192112638 19566772224 44873 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 44873 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=146320 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 44873 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 44873 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179492 KiB

[startup+6.30028 s]
/proc/loadavg: 1.86 0.53 0.23 5/334 987665
/proc/meminfo: memFree=124773200/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=176700 CPUtime=7.6 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 18672 0 0 0 754 6 0 0 20 0 20 0 192112637 19566772224 44175 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 44175 5944 1 0 553106 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=13012 CPUtime=6.21 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 6998 0 0 0 617 4 0 0 20 0 20 0 192112638 19566772224 44175 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 44175 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=6155696569588996434 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 44175 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=5560 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 44175 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176700 KiB

[startup+12.7003 s]
/proc/loadavg: 2.04 0.59 0.25 5/334 987667
/proc/meminfo: memFree=124554356/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=201968 CPUtime=14.16 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 24635 0 0 0 1408 8 0 0 20 0 20 0 192112637 19566772224 50492 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 50492 5944 1 0 553288 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=0 CPUtime=12.54 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 7507 0 0 0 1250 4 0 0 20 0 20 0 192112638 19566772224 50492 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=201960 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 50492 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 50492 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=2636 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 50492 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201968 KiB

[startup+25.501 s]
/proc/loadavg: 2.47 0.76 0.31 5/334 987668
/proc/meminfo: memFree=124223364/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=269860 CPUtime=26.91 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 27747 0 0 0 2681 10 0 0 20 0 20 0 192112637 19566772224 67465 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 67465 5960 1 0 553288 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=201960 CPUtime=25.15 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 8704 0 0 0 2511 4 0 0 20 0 20 0 192112638 19566772224 67465 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=2636 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 67465 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=243124 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 67465 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 67465 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 269860 KiB

[startup+51.106 s]
/proc/loadavg: 3.06 1.04 0.42 5/334 987673
/proc/meminfo: memFree=123442912/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=473068 CPUtime=52.39 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 32104 0 0 0 5224 15 0 0 20 0 20 0 192112637 19566772224 118267 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 118267 5960 1 0 553288 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=423796 CPUtime=50.26 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 10072 0 0 0 5022 4 0 0 20 0 20 0 192112638 19566772224 118267 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.06 5/333 989222
/proc/meminfo: memFree=114646212/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=2181428 CPUtime=3279.13 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 190970 0 0 0 327748 165 0 0 20 0 20 0 192112637 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 545357 5960 1 0 558036 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=2181428 CPUtime=3264.8 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 82824 0 0 0 326464 16 0 0 20 0 20 0 192112638 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=45336 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=2181428 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 3933 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=2181428 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 3279.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.06 5/333 989233
/proc/meminfo: memFree=114642964/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=2181428 CPUtime=3339.03 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 192481 0 0 0 333736 167 0 0 20 0 20 0 192112637 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 545357 5960 1 0 558036 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=11488 CPUtime=3324.67 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 83944 0 0 0 332451 16 0 0 20 0 20 0 192112638 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=2181428 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 4005 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=2181428 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 545357 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 3339.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.17 4.08 5/335 989414
/proc/meminfo: memFree=114642308/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=2181452 CPUtime=3399.02 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 194896 0 0 0 339733 169 0 0 20 0 20 0 192112637 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 545363 5960 1 0 558048 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=2181428 CPUtime=3384.4 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 85111 0 0 0 338423 17 0 0 20 0 20 0 192112638 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=2181452 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 4101 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=2181452 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 3399.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.08 5/335 989424
/proc/meminfo: memFree=114641420/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=2181452 CPUtime=3458.9 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 195910 0 0 0 345719 171 0 0 20 0 20 0 192112637 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 545363 5960 1 0 558048 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=2181428 CPUtime=3444.25 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 85976 0 0 0 344408 17 0 0 20 0 20 0 192112638 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=2181452 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 4121 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=2181452 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 3458.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/334 989492
/proc/meminfo: memFree=114640636/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=2181452 CPUtime=3518.78 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 197025 0 0 0 351704 174 0 0 20 0 20 0 192112637 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 545363 5960 1 0 558048 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=2181452 CPUtime=3504.09 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 86850 0 0 0 350392 17 0 0 20 0 20 0 192112638 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=2181452 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 4211 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=5560 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 545363 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 3518.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/333 989569
/proc/meminfo: memFree=119185888/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=2181464 CPUtime=3578.74 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 199352 0 0 0 357698 176 0 0 20 0 20 0 192112637 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 545366 5960 1 0 558048 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=2181464 CPUtime=3563.83 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 87923 0 0 0 356366 17 0 0 20 0 20 0 192112638 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=2181464 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 4263 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=2312 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 3578.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.6 s]
/proc/loadavg: 4.03 4.14 4.08 4/308 989742
/proc/meminfo: memFree=123347124/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19108176 memory=2181464 CPUtime=3600 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 199827 0 0 0 359823 177 0 0 20 0 20 0 192112637 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4777044 545366 5960 1 0 558048 0
[pid=987645/tid=987647] ppid=987642 vsize=19108176 memory=1976 CPUtime=3585.07 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 88263 0 0 0 358490 17 0 0 20 0 20 0 192112638 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19108176 memory=2181464 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192112640 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19108176 memory=2181464 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 4390 0 0 0 0 0 0 0 20 0 20 0 192112641 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987664] ppid=987642 vsize=19108176 memory=2181464 CPUtime=0 cores=1,3
/proc/987645/task/987664/stat : 987664 (Timer-0) S 987642 987645 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192112668 19566772224 545366 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.48 s, system=1.78253 s

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

[startup+3603.72 s]
/proc/loadavg: 4.03 4.14 4.08 4/308 989742
/proc/meminfo: memFree=123347124/131524600 swapFree=131071996/131071996
[pid=987645] ppid=987642 vsize=19307868 memory=2182280 CPUtime=3600.23 cores=1,3
/proc/987645/stat : 987645 (java) S 987642 987645 987379 0 -1 1077936128 202900 0 0 0 359846 177 0 0 20 0 21 0 192112637 19771256832 545570 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
/proc/987645/statm: 4826967 545570 5959 1 0 558962 0
[pid=987645/tid=987647] ppid=987642 vsize=19307868 memory=2181452 CPUtime=3585.18 cores=1,3
/proc/987645/task/987647/stat : 987647 (java) R 987642 987645 987379 0 -1 4194368 88468 0 0 0 358501 17 0 0 20 0 21 0 192112638 19771256832 545570 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987656] ppid=987642 vsize=19307868 memory=2181420 CPUtime=0 cores=1,3
/proc/987645/task/987656/stat : 987656 (Finalizer) S 987642 987645 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 192112640 19771256832 545570 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
[pid=987645/tid=987663] ppid=987642 vsize=19307868 memory=2181464 CPUtime=0 cores=1,3
/proc/987645/task/987663/stat : 987663 (Common-Cleaner) S 987642 987645 987379 0 -1 1077936192 4390 0 0 0 0 0 0 0 20 0 21 0 192112641 19771256832 545570 134679101440 94438283370496 94438283374192 140720967624912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94438283382008 94438283382800 94438304321536 140720967627782 140720967627872 140720967627872 140720967634888 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2182280 KiB

Child status: 143

Real time (s): 3603.74
CPU time (s): 3600.27
CPU user time (s): 3598.48
CPU system time (s): 1.78253
CPU usage (%): 99.9035
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2182280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.48
system time used= 1.78253
maximum resident set size= 2183244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105108
involuntary context switches= 8862


# summary of solver processes directly reported to runsolver:
#   pid: 987645
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3598.48
#   total CPU system time (s): 1.78253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.20827 second user time and 18.1154 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-19 16:32:12
IDJOB=4449792
IDBENCH=176142
IDSOLVER=3058
FILE ID=nodeC016/4449792-1721399521
RUNJOBID= nodeC016-1721399514-987391
SLURM_JOB_ID= 7545428
Free space on /tmp= 890072 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449792-1721399521/watcher-4449792-1721399521 -o /tmp/evaluation-result-4449792-1721399521/solver-4449792-1721399521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987391 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4449792-1721399521.opb

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

MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445
RANDOM SEED=976194533

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125129564 kB
MemAvailable:   128887896 kB
Buffers:          388356 kB
Cached:          4212320 kB
SwapCached:            0 kB
Active:           643396 kB
Inactive:        5131364 kB
Active(anon):       1544 kB
Inactive(anon):  1218496 kB
Active(file):     641852 kB
Inactive(file):  3912868 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1220 kB
Writeback:             0 kB
AnonPages:       1172648 kB
Mapped:           127500 kB
Shmem:             45912 kB
KReclaimable:      86516 kB
Slab:             197672 kB
SReclaimable:      86516 kB
SUnreclaim:       111156 kB
KernelStack:        5088 kB
PageTables:        12188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8745076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72160 kB
HardwareCorrupted:     0 kB
AnonHugePages:    892928 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-19 17:32:16