Trace number 4453174

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3601.3 3565.74

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid4_85.shuf-1.opb
MD5SUM1682710e54d04e6ef832c013d662e2f0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.00935
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables340
Total number of constraints341
Number of constraints which are clauses340
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint340
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 341
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

Solver Data 

0.13/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.11	c See www.sat4j.org for details.
0.13/0.12	c version CUSTOM.v20240707
0.13/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.15	c java.vm.version	22.0.1+8-16
0.13/0.15	c java.vm.vendor	Oracle Corporation
0.13/0.15	c sun.arch.data.model	64
0.13/0.15	c java.version		22.0.1
0.13/0.15	c os.name		Linux
0.13/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.15	c os.arch		amd64
0.13/0.15	c Free memory 		2115194816
0.13/0.16	c Max memory 		16282288128
0.13/0.16	c Total memory 		2122317824
0.13/0.16	c Number of processors 	2
0.33/0.24	--- Begin Solver configuration ---
0.33/0.24	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.24	Learn all clauses as in MiniSAT
0.33/0.24	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.24	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.24	No reason simplification
0.33/0.24	Glucose 2.1 dynamic restart strategy
0.33/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.33/0.24	timeout=2147483s
0.33/0.24	DB Simplification allowed=false
0.33/0.24	Listener: none
0.33/0.24	--- End Solver configuration ---
0.33/0.26	c Pseudo Boolean Optimization by upper bound
0.33/0.26	c --- Begin Solver configuration ---
0.33/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.26	c Learn all clauses as in MiniSAT
0.33/0.26	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.26	c No reason simplification
0.33/0.26	c Glucose 2.1 dynamic restart strategy
0.33/0.26	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.33/0.26	c timeout=2147483s
0.33/0.26	c DB Simplification allowed=false
0.33/0.26	c Listener: none
0.33/0.26	c --- End Solver configuration ---
0.33/0.26	c solving HOME/instance-4453174-1721454489.opb
0.33/0.26	c reading problem ... 
0.33/0.26	c  no objective function found
0.47/0.34	c ... done. Wall clock time 0.07s.
0.47/0.34	c declared #vars     340
0.47/0.34	c #constraints  341
0.47/0.34	c constraints type 
0.47/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 340
0.47/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.47/0.34	c 341 constraints processed.
1.58/0.98	c cleaning 2501 clauses out of 5001 with flag 10368/5001
2.76/1.52	c cleaning 4248 clauses out of 8500 with flag 22856/11001
3.18/1.73	c cleaning 5626 clauses out of 11252 with flag 37490/18001
3.49/1.95	c cleaning 6813 clauses out of 13625 with flag 54161/26000
3.80/2.20	c cleaning 7905 clauses out of 15813 with flag 72938/35001
4.03/2.47	c cleaning 8954 clauses out of 17909 with flag 93698/45002
4.45/2.73	c cleaning 9974 clauses out of 19953 with flag 116562/56000
4.77/3.02	c cleaning 10988 clauses out of 21979 with flag 141508/68000
5.05/3.37	c cleaning 11992 clauses out of 23991 with flag 168630/81000
6.14/4.41	c cleaning 12997 clauses out of 25999 with flag 197769/95000
6.93/5.21	c cleaning 13998 clauses out of 28002 with flag 229044/110000
8.12/6.35	c cleaning 15000 clauses out of 30006 with flag 262473/126002
8.79/7.00	c cleaning 15998 clauses out of 32004 with flag 297987/143000
9.45/7.58	c cleaning 17001 clauses out of 34007 with flag 335598/161001
10.31/8.30	c cleaning 17996 clauses out of 36006 with flag 375381/180001
10.91/8.98	c cleaning 18999 clauses out of 38010 with flag 417107/200001
11.73/9.78	c cleaning 20005 clauses out of 40011 with flag 460978/221001
12.53/10.54	c cleaning 21001 clauses out of 42006 with flag 506929/243001
13.53/11.57	c cleaning 22001 clauses out of 44004 with flag 554918/266000
14.33/12.36	c cleaning 23000 clauses out of 46004 with flag 604952/290001
15.29/13.24	c cleaning 23997 clauses out of 48003 with flag 657056/315000
16.37/14.21	c cleaning 24998 clauses out of 50006 with flag 711285/341000
17.29/15.11	c cleaning 25999 clauses out of 52008 with flag 767492/368000
18.45/16.24	c cleaning 27003 clauses out of 54010 with flag 825694/396001
19.45/17.25	c cleaning 27995 clauses out of 56006 with flag 886161/425000
20.45/18.30	c cleaning 29002 clauses out of 58011 with flag 948777/455000
21.80/19.52	c cleaning 30004 clauses out of 60010 with flag 1013445/486001
23.00/20.73	c cleaning 31002 clauses out of 62006 with flag 1080099/518001
24.47/22.12	c cleaning 32002 clauses out of 64003 with flag 1149172/551000
25.65/23.35	c cleaning 33000 clauses out of 66001 with flag 1220100/585000
27.28/24.99	c cleaning 33999 clauses out of 68003 with flag 1293040/620002
29.09/26.70	c cleaning 34997 clauses out of 70002 with flag 1368032/656000
30.68/28.21	c cleaning 35999 clauses out of 72006 with flag 1445420/693001
32.08/29.63	c cleaning 36999 clauses out of 74006 with flag 1524758/731000
33.77/31.38	c cleaning 37999 clauses out of 76008 with flag 1606248/770001
35.83/33.33	c cleaning 39003 clauses out of 78008 with flag 1689767/810000
37.64/35.17	c cleaning 40000 clauses out of 80006 with flag 1775330/851001
39.62/37.06	c cleaning 41003 clauses out of 82005 with flag 1862849/893000
41.62/39.02	c cleaning 41995 clauses out of 84002 with flag 1952573/936000
43.50/40.94	c cleaning 43004 clauses out of 86007 with flag 2044675/980000
45.81/43.15	c cleaning 43996 clauses out of 88003 with flag 2138905/1025000
47.80/45.16	c cleaning 45000 clauses out of 90007 with flag 2234930/1071000
50.29/47.51	c cleaning 46001 clauses out of 92008 with flag 2333321/1118001
52.48/49.77	c cleaning 46999 clauses out of 94006 with flag 2433749/1166000
54.74/51.98	c cleaning 48001 clauses out of 96007 with flag 2536300/1215000
56.73/53.96	c cleaning 49003 clauses out of 98007 with flag 2640852/1265001
59.13/56.26	c cleaning 49995 clauses out of 100003 with flag 2747508/1316000
61.72/58.85	c cleaning 51002 clauses out of 102008 with flag 2855888/1368000
64.86/61.88	c cleaning 52003 clauses out of 104006 with flag 2966569/1421000
67.46/64.48	c cleaning 52996 clauses out of 106003 with flag 3079252/1475000
70.23/67.14	c cleaning 53999 clauses out of 108007 with flag 3193897/1530000
73.01/69.96	c cleaning 55003 clauses out of 110008 with flag 3310662/1586000
75.76/72.62	c cleaning 55995 clauses out of 112005 with flag 3429735/1643000
78.26/75.18	c cleaning 57003 clauses out of 114011 with flag 3550787/1701001
81.16/77.94	c cleaning 58001 clauses out of 116007 with flag 3673950/1760000
84.26/81.06	c cleaning 59001 clauses out of 118006 with flag 3799440/1820000
87.27/84.07	c cleaning 59995 clauses out of 120006 with flag 3926715/1881001
91.11/87.83	c cleaning 61003 clauses out of 122011 with flag 4056020/1943001
94.50/91.23	c cleaning 61999 clauses out of 124007 with flag 4187581/2006000
97.30/94.03	c cleaning 63003 clauses out of 126008 with flag 4321256/2070000
100.49/97.26	c cleaning 64000 clauses out of 128006 with flag 4457079/2135001
103.98/100.73	c cleaning 64999 clauses out of 130005 with flag 4595194/2201000
107.87/104.61	c cleaning 65998 clauses out of 132006 with flag 4734885/2268000
111.46/108.27	c cleaning 67001 clauses out of 134008 with flag 4875936/2336000
115.05/111.85	c cleaning 67998 clauses out of 136007 with flag 5019069/2405000
118.55/115.35	c cleaning 69000 clauses out of 138010 with flag 5164894/2475001
122.53/119.30	c cleaning 70003 clauses out of 140010 with flag 5312992/2546001
126.72/123.52	c cleaning 71000 clauses out of 142006 with flag 5462955/2618000
131.71/128.02	c cleaning 72001 clauses out of 144007 with flag 5615331/2691001
135.70/132.05	c cleaning 73000 clauses out of 146006 with flag 5769521/2765001
140.34/136.49	c cleaning 73999 clauses out of 148005 with flag 5925530/2840000
144.94/141.04	c cleaning 75001 clauses out of 150007 with flag 6083365/2916001
149.16/145.28	c cleaning 76000 clauses out of 152007 with flag 6243021/2993002
153.96/150.02	c cleaning 77000 clauses out of 154006 with flag 6405148/3071001
159.45/155.31	c cleaning 78001 clauses out of 156006 with flag 6570566/3150001
164.75/160.61	c cleaning 78995 clauses out of 158004 with flag 6737651/3230000
171.77/166.89	c cleaning 80001 clauses out of 160010 with flag 6907092/3311001
177.29/172.24	c cleaning 81001 clauses out of 162008 with flag 7078508/3393000
182.58/177.57	c cleaning 82000 clauses out of 164007 with flag 7251993/3476000
188.71/183.64	c cleaning 82998 clauses out of 166007 with flag 7427473/3560000
194.40/189.30	c cleaning 84002 clauses out of 168009 with flag 7605325/3645000
200.12/195.07	c cleaning 85001 clauses out of 170007 with flag 7784455/3731000
205.89/200.81	c cleaning 86000 clauses out of 172006 with flag 7966013/3818000
211.61/206.46	c cleaning 87000 clauses out of 174007 with flag 8150077/3906001
217.19/211.99	c cleaning 88002 clauses out of 176006 with flag 8335579/3995000
223.43/218.02	c cleaning 89000 clauses out of 178005 with flag 8524065/4085001
229.10/223.71	c cleaning 89999 clauses out of 180005 with flag 8714288/4176001
235.35/229.98	c cleaning 91000 clauses out of 182006 with flag 8906521/4268001
241.62/236.01	c cleaning 92002 clauses out of 184006 with flag 9100263/4361001
249.24/243.59	c cleaning 92998 clauses out of 186004 with flag 9297030/4455001
255.62/249.98	c cleaning 94000 clauses out of 188006 with flag 9495677/4550001
262.77/257.08	c cleaning 95000 clauses out of 190007 with flag 9696270/4646002
268.45/262.78	c cleaning 96002 clauses out of 192005 with flag 9898304/4743000
275.54/269.72	c cleaning 96999 clauses out of 194003 with flag 10103165/4841000
282.12/276.37	c cleaning 98001 clauses out of 196005 with flag 10309474/4940001
289.00/283.05	c cleaning 99002 clauses out of 198005 with flag 10517781/5040002
295.67/289.79	c cleaning 99999 clauses out of 200002 with flag 10728392/5141001
302.80/296.78	c cleaning 100995 clauses out of 202002 with flag 10941128/5243000
310.51/304.27	c cleaning 102002 clauses out of 204008 with flag 11155485/5346001
317.18/310.78	c cleaning 102999 clauses out of 206006 with flag 11371901/5450001
324.97/318.54	c cleaning 104001 clauses out of 208006 with flag 11591422/5555000
333.34/326.47	c cleaning 105002 clauses out of 210005 with flag 11813079/5661000
341.43/334.36	c cleaning 106001 clauses out of 212003 with flag 12036918/5768000
349.25/342.07	c cleaning 106997 clauses out of 214002 with flag 12262695/5876000
356.86/349.57	c cleaning 108004 clauses out of 216007 with flag 12490129/5985002
365.92/358.48	c cleaning 108994 clauses out of 218001 with flag 12719154/6095000
374.27/366.62	c cleaning 109999 clauses out of 220007 with flag 12950265/6206000
382.83/375.07	c cleaning 111004 clauses out of 222010 with flag 13184215/6318002
390.08/382.16	c cleaning 112000 clauses out of 224005 with flag 13420020/6431001
398.51/390.44	c cleaning 112997 clauses out of 226004 with flag 13657561/6545000
406.50/398.48	c cleaning 114001 clauses out of 228008 with flag 13897511/6660001
415.20/407.17	c cleaning 115002 clauses out of 230006 with flag 14140136/6776000
422.95/414.82	c cleaning 115997 clauses out of 232004 with flag 14384581/6893000
431.36/423.17	c cleaning 117000 clauses out of 234007 with flag 14631099/7011000
441.24/432.83	c cleaning 118004 clauses out of 236008 with flag 14879886/7130001
450.87/441.11	c cleaning 119000 clauses out of 238003 with flag 15130510/7250000
460.15/450.22	c cleaning 119998 clauses out of 240005 with flag 15383165/7371002
469.36/459.36	c cleaning 120997 clauses out of 242005 with flag 15638482/7493000
479.37/469.24	c cleaning 122002 clauses out of 244009 with flag 15895704/7616001
488.28/478.09	c cleaning 122999 clauses out of 246006 with flag 16155165/7740000
497.38/487.10	c cleaning 124003 clauses out of 248008 with flag 16416062/7865001
507.89/497.45	c cleaning 125002 clauses out of 250004 with flag 16679672/7991000
517.66/507.16	c cleaning 126001 clauses out of 252002 with flag 16945306/8118000
526.28/515.75	c cleaning 126993 clauses out of 254001 with flag 17212476/8246000
535.85/525.22	c cleaning 128000 clauses out of 256008 with flag 17482454/8375000
548.04/537.35	c cleaning 129000 clauses out of 258008 with flag 17754147/8505000
557.09/546.24	c cleaning 130000 clauses out of 260010 with flag 18027770/8636002
568.51/557.51	c cleaning 131001 clauses out of 262009 with flag 18303889/8768001
577.85/566.76	c cleaning 132001 clauses out of 264007 with flag 18581438/8901000
587.40/576.19	c cleaning 132999 clauses out of 266006 with flag 18861389/9035000
598.14/586.79	c cleaning 133998 clauses out of 268007 with flag 19143624/9170000
609.78/598.22	c cleaning 135003 clauses out of 270009 with flag 19426550/9306000
620.84/609.11	c cleaning 136000 clauses out of 272006 with flag 19712501/9443000
631.41/619.52	c cleaning 136998 clauses out of 274006 with flag 20000001/9581000
642.40/630.45	c cleaning 138002 clauses out of 276010 with flag 20289937/9720002
653.08/640.95	c cleaning 138999 clauses out of 278007 with flag 20582124/9860001
664.22/651.97	c cleaning 140002 clauses out of 280007 with flag 20876761/10001000
675.08/662.63	c cleaning 140998 clauses out of 282005 with flag 21173499/10143000
687.77/673.81	c cleaning 141999 clauses out of 284007 with flag 21472192/10286000
702.74/688.71	c cleaning 143000 clauses out of 286009 with flag 21773162/10430001
714.78/700.58	c cleaning 144004 clauses out of 288009 with flag 22076163/10575001
728.84/714.42	c cleaning 145000 clauses out of 290005 with flag 22380793/10721001
742.02/727.41	c cleaning 146001 clauses out of 292006 with flag 22687200/10868002
755.86/741.19	c cleaning 146996 clauses out of 294005 with flag 22996352/11016002
769.04/754.27	c cleaning 147998 clauses out of 296008 with flag 23307692/11165001
783.52/768.64	c cleaning 148998 clauses out of 298009 with flag 23620645/11315000
796.35/781.37	c cleaning 149999 clauses out of 300011 with flag 23936186/11466000
809.99/795.08	c cleaning 151001 clauses out of 302012 with flag 24253511/11618000
823.77/808.92	c cleaning 152001 clauses out of 304013 with flag 24573287/11771002
837.47/822.55	c cleaning 153000 clauses out of 306011 with flag 24894409/11925001
849.47/834.40	c cleaning 154000 clauses out of 308010 with flag 25217681/12080000
863.71/848.66	c cleaning 155001 clauses out of 310011 with flag 25543014/12236001
876.71/861.58	c cleaning 156001 clauses out of 312009 with flag 25870239/12393000
888.48/873.21	c cleaning 157000 clauses out of 314008 with flag 26198953/12551000
902.02/886.74	c cleaning 158001 clauses out of 316008 with flag 26530481/12710000
915.61/900.37	c cleaning 158999 clauses out of 318007 with flag 26864466/12870000
928.57/913.15	c cleaning 160000 clauses out of 320008 with flag 27200749/13031000
942.28/926.74	c cleaning 161000 clauses out of 322008 with flag 27538762/13193000
957.37/941.80	c cleaning 162002 clauses out of 324009 with flag 27879304/13356001
972.45/956.68	c cleaning 163002 clauses out of 326006 with flag 28221944/13520000
988.61/972.67	c cleaning 164001 clauses out of 328004 with flag 28565658/13685000
1006.14/990.07	c cleaning 164997 clauses out of 330004 with flag 28912264/13851001
1020.71/1004.58	c cleaning 165999 clauses out of 332007 with flag 29260376/14018001
1035.42/1019.25	c cleaning 167003 clauses out of 334007 with flag 29610690/14186000
1050.14/1033.92	c cleaning 167999 clauses out of 336006 with flag 29963530/14355002
1067.86/1051.57	c cleaning 168999 clauses out of 338005 with flag 30318640/14525000
1083.36/1066.94	c cleaning 169999 clauses out of 340006 with flag 30675343/14696000
1098.38/1081.81	c cleaning 171002 clauses out of 342007 with flag 31033914/14868000
1114.26/1097.62	c cleaning 172000 clauses out of 344005 with flag 31394956/15041000
1130.33/1113.50	c cleaning 172999 clauses out of 346005 with flag 31756561/15215000
1146.52/1129.57	c cleaning 174003 clauses out of 348006 with flag 32120503/15390000
1163.03/1145.80	c cleaning 174998 clauses out of 350004 with flag 32488008/15566001
1179.43/1160.22	c cleaning 176001 clauses out of 352006 with flag 32857867/15743001
1198.74/1179.48	c cleaning 176992 clauses out of 354004 with flag 33229659/15921000
1218.85/1199.30	c cleaning 178002 clauses out of 356013 with flag 33603731/16100001
1233.84/1214.14	c cleaning 178999 clauses out of 358010 with flag 33979614/16280000
1252.59/1232.71	c cleaning 180004 clauses out of 360011 with flag 34357878/16461000
1269.45/1249.42	c cleaning 181002 clauses out of 362009 with flag 34738008/16643002
1289.38/1269.20	c cleaning 182000 clauses out of 364005 with flag 35120631/16826000
1304.51/1284.26	c cleaning 183000 clauses out of 366007 with flag 35504484/17010002
1321.68/1301.21	c cleaning 183999 clauses out of 368007 with flag 35890236/17195002
1340.82/1320.23	c cleaning 184997 clauses out of 370006 with flag 36279017/17381000
1361.90/1341.16	c cleaning 186000 clauses out of 372011 with flag 36669492/17568002
1378.14/1357.37	c cleaning 187003 clauses out of 374009 with flag 37061527/17756000
1394.01/1373.13	c cleaning 187998 clauses out of 376006 with flag 37455903/17945000
1415.09/1394.27	c cleaning 189001 clauses out of 378009 with flag 37853058/18135001
1431.77/1410.81	c cleaning 189999 clauses out of 380007 with flag 38251825/18326000
1448.98/1427.93	c cleaning 190997 clauses out of 382008 with flag 38653057/18518000
1464.54/1443.34	c cleaning 192002 clauses out of 384012 with flag 39056219/18711001
1481.08/1459.70	c cleaning 193003 clauses out of 386010 with flag 39460678/18905001
1501.69/1480.24	c cleaning 194002 clauses out of 388008 with flag 39867950/19100002
1521.88/1500.33	c cleaning 194998 clauses out of 390005 with flag 40277703/19296001
1542.91/1521.22	c cleaning 195999 clauses out of 392007 with flag 40688980/19493001
1561.30/1539.43	c cleaning 197001 clauses out of 394007 with flag 41102172/19691000
1580.58/1558.42	c cleaning 198001 clauses out of 396006 with flag 41517587/19890000
1601.43/1579.22	c cleaning 199000 clauses out of 398005 with flag 41935519/20090000
1625.67/1603.22	c cleaning 199998 clauses out of 400005 with flag 42355275/20291000
1644.48/1621.83	c cleaning 201001 clauses out of 402007 with flag 42776280/20493000
1666.85/1644.03	c cleaning 201999 clauses out of 404006 with flag 43200136/20696000
1688.51/1665.50	c cleaning 202999 clauses out of 406007 with flag 43625646/20900000
1711.87/1688.86	c cleaning 203999 clauses out of 408008 with flag 44053902/21105000
1734.59/1711.52	c cleaning 205000 clauses out of 410011 with flag 44484014/21311002
1755.38/1732.36	c cleaning 206003 clauses out of 412009 with flag 44916541/21518000
1772.46/1749.43	c cleaning 207001 clauses out of 414008 with flag 45350186/21726002
1794.92/1771.80	c cleaning 208000 clauses out of 416005 with flag 45785695/21935000
1815.25/1791.97	c cleaning 208998 clauses out of 418006 with flag 46223401/22145001
1837.97/1814.66	c cleaning 209997 clauses out of 420007 with flag 46663741/22356000
1861.20/1837.60	c cleaning 211002 clauses out of 422010 with flag 47106322/22568000
1887.70/1864.08	c cleaning 212004 clauses out of 424009 with flag 47551371/22781001
1908.13/1884.48	c cleaning 213000 clauses out of 426005 with flag 47997959/22995001
1929.62/1905.87	c cleaning 213997 clauses out of 428004 with flag 48447076/23210000
1946.92/1923.04	c cleaning 214999 clauses out of 430007 with flag 48897590/23426000
1967.15/1943.01	c cleaning 215999 clauses out of 432009 with flag 49349540/23643001
1987.58/1962.34	c cleaning 217001 clauses out of 434009 with flag 49802733/23861000
2014.01/1988.61	c cleaning 217999 clauses out of 436008 with flag 50259567/24080000
2039.00/2013.49	c cleaning 219003 clauses out of 438009 with flag 50718572/24300000
2061.09/2035.45	c cleaning 220002 clauses out of 440007 with flag 51178323/24521001
2083.04/2057.25	c cleaning 221000 clauses out of 442004 with flag 51641387/24743000
2107.59/2081.67	c cleaning 222000 clauses out of 444006 with flag 52106267/24966002
2129.88/2103.85	c cleaning 223000 clauses out of 446004 with flag 52573137/25190000
2154.41/2128.37	c cleaning 223998 clauses out of 448006 with flag 53042107/25415002
2178.24/2152.16	c cleaning 224998 clauses out of 450006 with flag 53513311/25641000
2205.01/2178.93	c cleaning 225999 clauses out of 452008 with flag 53986930/25868000
2229.86/2203.66	c cleaning 226999 clauses out of 454009 with flag 54462747/26096000
2254.80/2228.47	c cleaning 227999 clauses out of 456010 with flag 54940330/26325000
2279.38/2252.86	c cleaning 229001 clauses out of 458012 with flag 55420408/26555001
2308.30/2281.73	c cleaning 229999 clauses out of 460011 with flag 55902021/26786001
2337.30/2310.39	c cleaning 231003 clauses out of 462011 with flag 56385129/27018000
2362.66/2335.44	c cleaning 232002 clauses out of 464008 with flag 56871205/27251000
2386.00/2358.51	c cleaning 232999 clauses out of 466007 with flag 57358705/27485001
2413.40/2385.74	c cleaning 233995 clauses out of 468008 with flag 57849280/27720001
2438.47/2410.66	c cleaning 235004 clauses out of 470014 with flag 58341567/27956002
2464.27/2436.30	c cleaning 236004 clauses out of 472009 with flag 58835427/28193001
2486.64/2458.54	c cleaning 237002 clauses out of 474005 with flag 59332019/28431001
2515.48/2487.36	c cleaning 237998 clauses out of 476002 with flag 59830145/28670000
2542.00/2513.79	c cleaning 239002 clauses out of 478005 with flag 60330594/28910001
2570.45/2541.74	c cleaning 239994 clauses out of 480002 with flag 60833758/29151000
2598.17/2569.24	c cleaning 241000 clauses out of 482008 with flag 61338096/29393000
2624.04/2594.91	c cleaning 241999 clauses out of 484008 with flag 61845241/29636000
2649.77/2620.54	c cleaning 243000 clauses out of 486009 with flag 62353305/29880000
2674.90/2645.55	c cleaning 244001 clauses out of 488010 with flag 62862667/30125001
2703.26/2673.87	c cleaning 244999 clauses out of 490008 with flag 63375681/30371000
2732.39/2702.60	c cleaning 246000 clauses out of 492009 with flag 63891238/30618000
2759.74/2729.84	c cleaning 247003 clauses out of 494010 with flag 64408077/30866001
2788.21/2758.18	c cleaning 247999 clauses out of 496007 with flag 64927388/31115001
2818.13/2787.92	c cleaning 249000 clauses out of 498007 with flag 65449086/31365000
2845.62/2815.48	c cleaning 250001 clauses out of 500007 with flag 65971828/31616000
2877.15/2846.93	c cleaning 250998 clauses out of 502006 with flag 66496802/31868000
2904.22/2873.71	c cleaning 251999 clauses out of 504008 with flag 67024297/32121000
2927.20/2896.41	c cleaning 253002 clauses out of 506009 with flag 67554144/32375000
2955.87/2923.48	c cleaning 254001 clauses out of 508007 with flag 68085576/32630000
2983.40/2950.81	c cleaning 254999 clauses out of 510006 with flag 68619021/32886000
3014.26/2981.57	c cleaning 256002 clauses out of 512008 with flag 69154912/33143001
3040.80/3007.97	c cleaning 256998 clauses out of 514006 with flag 69692182/33401001
3073.80/3040.84	c cleaning 257998 clauses out of 516007 with flag 70233283/33660000
3106.38/3073.35	c cleaning 258998 clauses out of 518009 with flag 70775384/33920000
3140.84/3107.74	c cleaning 260001 clauses out of 520011 with flag 71319940/34181000
3175.22/3142.19	c cleaning 261003 clauses out of 522012 with flag 71865300/34443002
3204.75/3171.67	c cleaning 262000 clauses out of 524007 with flag 72413599/34706000
3233.55/3200.46	c cleaning 262993 clauses out of 526007 with flag 72963401/34970000
3267.70/3234.06	c cleaning 264004 clauses out of 528015 with flag 73516633/35235001
3306.27/3272.38	c cleaning 265001 clauses out of 530010 with flag 74071412/35501000
3336.84/3302.60	c cleaning 266002 clauses out of 532011 with flag 74627270/35768002
3370.26/3335.86	c cleaning 266999 clauses out of 534007 with flag 75186175/36036000
3402.78/3368.17	c cleaning 268004 clauses out of 536008 with flag 75747470/36305000
3433.12/3398.37	c cleaning 268995 clauses out of 538004 with flag 76309473/36575000
3472.21/3437.30	c cleaning 269996 clauses out of 540009 with flag 76875348/36846000
3511.35/3476.31	c cleaning 271002 clauses out of 542014 with flag 77443816/37118001
3540.28/3505.23	c cleaning 272002 clauses out of 544012 with flag 78013475/37391001
3570.65/3535.67	c cleaning 273001 clauses out of 546009 with flag 78586089/37665000
3600.87/3565.58	c starts		: 1
3600.87/3565.58	c conflicts		: 37940001
3600.87/3565.58	c decisions		: 40344139
3600.87/3565.58	c propagations		: 265549352
3600.87/3565.58	c inspects		: 26442918197
3600.87/3565.58	c shortcuts		: 0
3600.87/3565.58	c learnt literals	: 0
3600.87/3565.58	c learnt binary clauses	: 0
3600.87/3565.58	c learnt ternary clauses	: 0
3600.87/3565.58	c learnt constraints	: 37940001
3600.87/3565.58	c ignored constraints	: 0
3600.87/3565.58	c root simplifications	: 0
3600.87/3565.58	c removed literals (reason simplification)	: 0
3600.87/3565.58	c reason swapping (by a shorter reason)	: 0
3600.87/3565.58	c Calls to reduceDB	: 271
3600.87/3565.58	c Number of update (reduction) of LBD	: 487933
3600.87/3565.58	c Imported unit clauses	: 0
3600.87/3565.58	c No decision after first conflict	: false
3600.87/3565.58	c number of reductions to clauses (during analyze)	: 0
3600.87/3565.58	c number of learned constraints concerned by reduction	: 0
3600.87/3565.59	c number of learning phase by resolution	: 0
3600.87/3565.59	c number of learning phase by cutting planes	: 0
3600.87/3565.59	c number of rounding to 1 operations	: 0
3600.87/3565.59	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.87/3565.59	c number of reductions of the coefficients by power 2 	: 0
3600.87/3565.59	c number of right shift for reduction by power 2 	: 0
3600.87/3565.59	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.87/3565.59	c number of ending skipping 	: 0
3600.87/3565.59	c number of internal skipping 	: 0
3600.87/3565.59	c number of derivation steps 	: 0
3600.87/3565.59	c number of skipped derivation steps 	: 0
3600.87/3565.59	c number of remaining unassigned 	: 0
3600.87/3565.59	c number of remaining assigned 	: 0
3600.87/3565.59	c number of falsified literals weakened from reason	: 0
3600.87/3565.59	c number of falsified literals weakened from conflict	: 0
3600.87/3565.59	c time for arithmetic operations	: 0
3601.06/3565.60	c minimum degree of deleted constraints	: null
3601.06/3565.60	c maximum degree of deleted constraints	: null
3601.06/3565.60	c number of deleted constraints	: 0
3601.06/3565.60	c speed (assignments/second)	: 74482.48556416237
3601.06/3565.60	c non guided choices	: 135
3601.06/3565.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 548009
3601.06/3565.69	s UNKNOWN
3601.06/3565.69	c Total wall clock time (in seconds): 3565.434

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (45113 MiB free)
  memory of node 1: 64510 MiB (37427 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453174-1721454489/watcher-4453174-1721454489 -o /tmp/evaluation-result-4453174-1721454489/solver-4453174-1721454489 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058419 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453174-1721454489.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1061238, runsolver pid=1061235

[startup+0.10007 s]*
/proc/loadavg: 4.30 4.26 4.27 6/315 1061256
/proc/meminfo: memFree=84484744/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=18975048 memory=57708 CPUtime=0.13 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 6512 0 0 0 10 3 0 0 20 0 18 0 197605023 19430449152 14427 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4743762 14427 5569 1 0 550940 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 5466 0 0 0 6 3 0 0 20 0 18 0 197605023 19430449152 14427 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197605029 19430449152 14427 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197605030 19430449152 14427 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57708 KiB

[startup+0.2291 s]*
/proc/loadavg: 4.30 4.26 4.27 8/315 1061256
/proc/meminfo: memFree=84475436/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=18975048 memory=67236 CPUtime=0.33 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 7249 0 0 0 30 3 0 0 20 0 18 0 197605023 19430449152 16809 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4743762 16809 5696 1 0 551539 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) S 1061235 1061238 1058409 0 -1 1077936192 5743 0 0 0 16 3 0 0 20 0 18 0 197605023 19430449152 16809 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197605029 19430449152 16809 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197605030 19430449152 16809 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67236 KiB

[startup+0.314085 s]*
/proc/loadavg: 4.30 4.26 4.27 7/315 1061256
/proc/meminfo: memFree=84474596/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=18975048 memory=68484 CPUtime=0.47 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 7395 0 0 0 43 4 0 0 20 0 18 0 197605023 19430449152 17121 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4743762 17121 5810 1 0 551651 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=18975048 memory=-7739538742172477541 CPUtime=0.25 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) S 1061235 1061238 1058409 0 -1 1077936192 5818 0 0 0 22 3 0 0 20 0 18 0 197605023 19430449152 17121 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197605029 19430449152 17121 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197605030 19430449152 17121 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68484 KiB

[startup+0.70071 s]
/proc/loadavg: 4.30 4.26 4.27 6/316 1061257
/proc/meminfo: memFree=84470796/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19041612 memory=80872 CPUtime=1.18 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 9322 0 0 0 113 5 0 0 20 0 19 0 197605023 19498610688 20218 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4760403 20218 5810 1 0 552867 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19041612 memory=5616 CPUtime=0.61 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 5874 0 0 0 58 3 0 0 20 0 19 0 197605023 19498610688 20218 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19041612 memory=11884 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197605029 19498610688 20218 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197605030 19498610688 20218 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197605057 19498610688 20218 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80872 KiB

[startup+1.5007 s]
/proc/loadavg: 4.30 4.26 4.27 6/316 1061257
/proc/meminfo: memFree=84450724/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19041612 memory=108140 CPUtime=2.76 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 15593 0 0 0 270 6 0 0 20 0 19 0 197605023 19498610688 27035 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4760403 27035 5842 1 0 554976 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19041612 memory=11884 CPUtime=1.39 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 6113 0 0 0 136 3 0 0 20 0 19 0 197605023 19498610688 27035 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197605029 19498610688 27035 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197605030 19498610688 27035 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19041612 memory=281070578869520 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197605057 19498610688 27035 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108140 KiB

[startup+3.11389 s]
/proc/loadavg: 4.30 4.26 4.27 5/317 1061258
/proc/meminfo: memFree=84339320/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=203116 CPUtime=4.87 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 17833 0 0 0 478 9 0 0 20 0 20 0 197605023 19566772224 50779 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 50779 5858 1 0 555267 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=0 CPUtime=2.97 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 6663 0 0 0 293 4 0 0 20 0 20 0 197605023 19566772224 50779 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 50779 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 50779 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 50779 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 4.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203116 KiB

[startup+6.30043 s]
/proc/loadavg: 4.28 4.26 4.26 5/317 1061259
/proc/meminfo: memFree=84327876/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=274040 CPUtime=8.12 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 18081 0 0 0 801 11 0 0 20 0 20 0 197605023 19566772224 68510 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 68510 5874 1 0 555284 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=11884 CPUtime=5.9 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 6709 0 0 0 586 4 0 0 20 0 20 0 197605023 19566772224 68510 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 68510 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=112344 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 68510 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 68510 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 8.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 274040 KiB

[startup+12.7005 s]
/proc/loadavg: 4.26 4.25 4.26 5/317 1061259
/proc/meminfo: memFree=84063720/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=519200 CPUtime=14.8 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 22115 0 0 0 1461 19 0 0 20 0 20 0 197605023 19566772224 129800 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 129800 5878 1 0 876950 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=0 CPUtime=11.92 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 7376 0 0 0 1185 7 0 0 20 0 20 0 197605023 19566772224 129800 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=-7739538742172477541 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 129800 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=2220 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 129800 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 129800 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 14.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 519200 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.24 4.26 5/317 1061262
/proc/meminfo: memFree=83496376/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=962512 CPUtime=27.88 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 24779 0 0 0 2759 29 0 0 20 0 20 0 197605023 19566772224 240628 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 240628 5878 1 0 876961 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=11596 CPUtime=23.94 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 8078 0 0 0 2386 8 0 0 20 0 20 0 197605023 19566772224 240628 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 240628 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=274068 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 240628 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=281070578816304 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 240628 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 27.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 962512 KiB

[startup+51.114 s]
/proc/loadavg: 4.26 4.25 4.26 5/317 1061266
/proc/meminfo: memFree=82823292/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=1634040 CPUtime=53.95 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 29914 0 0 0 5351 44 0 0 20 0 20 0 197605023 19566772224 408510 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 408510 5894 1 0 1248786 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=1494648 CPUtime=48.89 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 9192 0 0 0 4877 12 0 0 20 0 20 0 197605023 19566772224 408510 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=281070579565952 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 408510 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0

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

Current children cumulated memory: 10559288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.22 4.19 5/319 1063311
/proc/meminfo: memFree=85456972/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=10559288 CPUtime=3376.74 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 271558 0 0 0 337271 403 0 0 20 0 20 0 197605023 19566772224 2639822 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 2639822 5894 1 0 2907105 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=10559288 CPUtime=3291.91 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 79971 0 0 0 329110 81 0 0 20 0 20 0 197605023 19566772224 2639822 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=10559288 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 2639822 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=49904 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 1929 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 2639822 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=27484 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 2639822 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 3376.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10559288 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.25 4.19 5/319 1063323
/proc/meminfo: memFree=84846432/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=3437.11 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 275361 0 0 0 343305 406 0 0 20 0 20 0 197605023 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 2639827 5894 1 0 2907105 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=10559288 CPUtime=3351.17 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 81396 0 0 0 335036 81 0 0 20 0 20 0 197605023 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=10559288 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=10559288 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 2026 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=-7739538742172477541 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 3437.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10559308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/317 1063334
/proc/meminfo: memFree=84414932/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=3497.37 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 276088 0 0 0 349328 409 0 0 20 0 20 0 197605023 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 2639827 5894 1 0 2907105 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=10559288 CPUtime=3410.51 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 81923 0 0 0 340970 81 0 0 20 0 20 0 197605023 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=-7739538742172477541 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 2026 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 3497.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10559308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/317 1063344
/proc/meminfo: memFree=84303704/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=3557.36 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 279423 0 0 0 355324 412 0 0 20 0 20 0 197605023 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 2639827 5894 1 0 2907105 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=11884 CPUtime=3470.06 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 83151 0 0 0 346925 81 0 0 20 0 20 0 197605023 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 2076 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 3557.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10559308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3565.11 s]
/proc/loadavg: 4.17 4.20 4.18 5/317 1063353
/proc/meminfo: memFree=84213180/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=3600.09 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 279990 0 0 0 359595 414 0 0 20 0 20 0 197605023 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4777044 2639827 5894 1 0 2907108 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=3512.71 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 83709 0 0 0 351190 81 0 0 20 0 20 0 197605023 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197605029 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19108176 memory=10559308 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 2076 0 0 0 0 0 0 0 20 0 20 0 197605030 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19108176 memory=16216 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197605057 19566772224 2639827 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10559308 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.11 s, system=4.19267 s

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

[startup+3565.21 s]
/proc/loadavg: 4.17 4.20 4.18 5/317 1063353
/proc/meminfo: memFree=84213180/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19174740 memory=10559496 CPUtime=3600.28 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 280325 0 0 0 359613 415 0 0 20 0 21 0 197605023 19634933760 2639874 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4793685 2639874 5894 1 0 2907393 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19174740 memory=3565 CPUtime=3512.71 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) S 1061235 1061238 1058409 0 -1 1077936192 83710 0 0 0 351190 81 0 0 20 0 21 0 197605023 19634933760 2639874 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19174740 memory=10559308 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 197605029 19634933760 2639874 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19174740 memory=2788 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 2076 0 0 0 0 0 0 0 20 0 21 0 197605030 19634933760 2639874 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061257] ppid=1061235 vsize=19174740 memory=3524 CPUtime=0 cores=0,2
/proc/1061238/task/1061257/stat : 1061257 (Timer-0) S 1061235 1061238 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 197605057 19634933760 2639874 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 10559496 KiB

[startup+3565.6 s]
/proc/loadavg: 4.17 4.20 4.18 5/317 1063353
/proc/meminfo: memFree=84213180/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19307868 memory=10559968 CPUtime=3601.06 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 282537 0 0 0 359691 415 0 0 20 0 22 0 197605023 19771256832 2639992 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4826967 2639992 5893 1 0 2908011 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19307868 memory=5616 CPUtime=3512.75 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) R 1061235 1061238 1058409 0 -1 4194368 83710 0 0 0 351194 81 0 0 20 0 22 0 197605023 19771256832 2639992 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19307868 memory=16216 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 22 0 197605029 19771256832 2639992 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19307868 memory=2220 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 2076 0 0 0 0 0 0 0 20 0 22 0 197605030 19771256832 2639992 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10559968 KiB

[startup+3565.7 s]
/proc/loadavg: 4.17 4.20 4.18 5/317 1063353
/proc/meminfo: memFree=84213180/131655788 swapFree=131071996/131071996
[pid=1061238] ppid=1061235 vsize=19307868 memory=10560036 CPUtime=3601.25 cores=0,2
/proc/1061238/stat : 1061238 (java) S 1061235 1061238 1058409 0 -1 1077936128 283045 0 0 0 359710 415 0 0 20 0 16 0 197605023 19771256832 2640009 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
/proc/1061238/statm: 4826967 2640009 5905 1 0 2908011 0
[pid=1061238/tid=1061240] ppid=1061235 vsize=19307868 memory=10559308 CPUtime=3512.84 cores=0,2
/proc/1061238/task/1061240/stat : 1061240 (java) S 1061235 1061238 1058409 0 -1 1077936192 83710 0 0 0 351203 81 0 0 20 0 16 0 197605023 19771256832 2640009 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061249] ppid=1061235 vsize=19307868 memory=11596 CPUtime=0 cores=0,2
/proc/1061238/task/1061249/stat : 1061249 (Finalizer) S 1061235 1061238 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 16 0 197605029 19771256832 2640009 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
[pid=1061238/tid=1061256] ppid=1061235 vsize=19307868 memory=10559308 CPUtime=0 cores=0,2
/proc/1061238/task/1061256/stat : 1061256 (Common-Cleaner) S 1061235 1061238 1058409 0 -1 1077936192 2076 0 0 0 0 0 0 0 20 0 16 0 197605030 19771256832 2640009 134679101440 94308393938944 94308393942640 140723384177072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308393950456 94308393951248 94308424298496 140723384181765 140723384181855 140723384181855 140723384188872 0
Current children cumulated CPU time: 3601.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10560036 KiB

Child status: 143

Real time (s): 3565.74
CPU time (s): 3601.3
CPU user time (s): 3597.11
CPU system time (s): 4.19267
CPU usage (%): 100.997
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10560036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.11
system time used= 4.19267
maximum resident set size= 10561080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115305
involuntary context switches= 28137


# summary of solver processes directly reported to runsolver:
#   pid: 1061238
#   total CPU time (s): 3601.3
#   total CPU user time (s): 3597.11
#   total CPU system time (s): 4.19267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8318 second user time and 38.1177 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 07:48:21
IDJOB=4453174
IDBENCH=169290
IDSOLVER=3058
FILE ID=nodeC003/4453174-1721454489
RUNJOBID= nodeC003-1721450898-1058419
SLURM_JOB_ID= 7545681
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-lines-v3_shuffle/normalized-grid4_85.shuf-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453174-1721454489/watcher-4453174-1721454489 -o /tmp/evaluation-result-4453174-1721454489/solver-4453174-1721454489 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058419 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453174-1721454489.opb

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

MD5SUM BENCH= 1682710e54d04e6ef832c013d662e2f0
RANDOM SEED=2024193482

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        84522092 kB
MemAvailable:   90164092 kB
Buffers:          567416 kB
Cached:          5856416 kB
SwapCached:            0 kB
Active:          1059360 kB
Inactive:       45305860 kB
Active(anon):       1460 kB
Inactive(anon): 39985500 kB
Active(file):    1057900 kB
Inactive(file):  5320360 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               924 kB
Writeback:             0 kB
AnonPages:      39940852 kB
Mapped:           128436 kB
Shmem:             45896 kB
KReclaimable:     207540 kB
Slab:             323976 kB
SReclaimable:     207540 kB
SUnreclaim:       116436 kB
KernelStack:        4816 kB
PageTables:        88356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   46241552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  39354368 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

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