Trace number 4453264

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.64 3605.13

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid6_19.shuf-1.opb
MD5SUM531bd272698487ed1af127f2a6793d74
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.003963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables114
Total number of constraints229
Number of constraints which are clauses228
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 constraint114
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 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 122
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2113181440
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2122317824
0.00/0.10	c Number of processors 	2
0.16/0.17	--- Begin Solver configuration ---
0.16/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.16/0.17	Learn all clauses as in MiniSAT
0.16/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.17	No reason simplification
0.16/0.17	Glucose 2.1 dynamic restart strategy
0.16/0.17	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.16/0.17	timeout=2147483s
0.16/0.17	DB Simplification allowed=false
0.16/0.17	Listener: none
0.16/0.17	--- End Solver configuration ---
0.16/0.18	c Pseudo Boolean Optimization by upper bound
0.16/0.18	c --- Begin Solver configuration ---
0.16/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.16/0.18	c Learn all clauses as in MiniSAT
0.16/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.18	c No reason simplification
0.16/0.18	c Glucose 2.1 dynamic restart strategy
0.16/0.18	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.16/0.18	c timeout=2147483s
0.16/0.18	c DB Simplification allowed=false
0.16/0.18	c Listener: none
0.16/0.18	c --- End Solver configuration ---
0.16/0.18	c solving HOME/instance-4453264-1721454703.opb
0.16/0.18	c reading problem ... 
0.16/0.18	c  no objective function found
0.31/0.24	c ... done. Wall clock time 0.052s.
0.31/0.24	c declared #vars     114
0.31/0.24	c #constraints  229
0.31/0.24	c constraints type 
0.31/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 228
0.31/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.31/0.24	c 229 constraints processed.
1.03/0.64	c cleaning 2497 clauses out of 5001 with flag 10735/5001
1.42/0.86	c cleaning 4252 clauses out of 8503 with flag 23519/11000
1.65/1.06	c cleaning 5626 clauses out of 11251 with flag 37909/18000
1.93/1.26	c cleaning 6807 clauses out of 13626 with flag 54399/26001
2.20/1.47	c cleaning 7909 clauses out of 15818 with flag 72924/35000
2.67/1.70	c cleaning 8955 clauses out of 17910 with flag 93510/45001
2.99/1.96	c cleaning 9976 clauses out of 19954 with flag 116234/56000
3.29/2.21	c cleaning 10988 clauses out of 21979 with flag 141041/68001
3.49/2.49	c cleaning 11994 clauses out of 23990 with flag 168022/81000
3.89/2.82	c cleaning 12996 clauses out of 25997 with flag 196972/95001
4.50/3.41	c cleaning 13997 clauses out of 28001 with flag 227983/110001
5.26/4.13	c cleaning 14999 clauses out of 30003 with flag 261197/126000
5.79/4.61	c cleaning 16001 clauses out of 32005 with flag 296333/143001
6.52/5.10	c cleaning 17003 clauses out of 34005 with flag 333602/161002
7.32/5.68	c cleaning 17998 clauses out of 36000 with flag 372844/180000
7.92/6.20	c cleaning 19000 clauses out of 38003 with flag 414235/200001
8.42/6.73	c cleaning 20001 clauses out of 40004 with flag 457786/221002
9.02/7.38	c cleaning 21001 clauses out of 42001 with flag 503282/243000
9.73/8.09	c cleaning 21998 clauses out of 44001 with flag 550744/266001
10.51/8.81	c cleaning 22999 clauses out of 46003 with flag 600465/290001
11.11/9.48	c cleaning 23997 clauses out of 48003 with flag 652209/315000
12.01/10.36	c cleaning 24998 clauses out of 50006 with flag 706427/341000
13.02/11.34	c cleaning 26005 clauses out of 52009 with flag 763655/368001
14.01/12.30	c cleaning 26997 clauses out of 54004 with flag 823014/396001
15.01/13.36	c cleaning 28003 clauses out of 56007 with flag 884697/425001
16.01/14.33	c cleaning 29000 clauses out of 58004 with flag 947230/455001
16.90/15.28	c cleaning 29999 clauses out of 60003 with flag 1011243/486000
17.71/16.04	c cleaning 30998 clauses out of 62004 with flag 1077335/518000
18.60/16.98	c cleaning 32003 clauses out of 64008 with flag 1145524/551002
19.60/17.96	c cleaning 32998 clauses out of 66004 with flag 1215784/585001
20.60/18.97	c cleaning 33998 clauses out of 68005 with flag 1288083/620000
22.00/20.39	c cleaning 35002 clauses out of 70007 with flag 1362562/656000
23.10/21.44	c cleaning 36003 clauses out of 72007 with flag 1439056/693002
24.39/22.72	c cleaning 36995 clauses out of 74002 with flag 1518452/731000
25.89/24.26	c cleaning 37999 clauses out of 76008 with flag 1600129/770001
27.60/26.00	c cleaning 39002 clauses out of 78008 with flag 1684202/810000
29.60/27.96	c cleaning 40004 clauses out of 80007 with flag 1769786/851001
31.39/29.73	c cleaning 40996 clauses out of 82002 with flag 1857361/893000
33.29/31.65	c cleaning 42001 clauses out of 84007 with flag 1947107/936001
36.26/34.63	c cleaning 42998 clauses out of 86006 with flag 2038119/980001
38.15/36.52	c cleaning 44002 clauses out of 88007 with flag 2130690/1025000
39.84/38.26	c cleaning 44998 clauses out of 90005 with flag 2225711/1071000
43.21/41.64	c cleaning 46003 clauses out of 92007 with flag 2330208/1118000
45.30/43.74	c cleaning 47000 clauses out of 94005 with flag 2431202/1166001
47.38/45.89	c cleaning 48004 clauses out of 96007 with flag 2532141/1215003
49.66/48.17	c cleaning 48998 clauses out of 98001 with flag 2634527/1265001
51.95/50.47	c cleaning 49994 clauses out of 100004 with flag 2739596/1316002
54.43/52.92	c cleaning 51003 clauses out of 102010 with flag 2846797/1368002
56.80/55.39	c cleaning 51997 clauses out of 104006 with flag 2956523/1421001
59.20/57.71	c cleaning 52999 clauses out of 106008 with flag 3069698/1475000
61.08/59.63	c cleaning 53998 clauses out of 108010 with flag 3184145/1530001
63.27/61.80	c cleaning 55004 clauses out of 110011 with flag 3301143/1586000
66.96/65.55	c cleaning 55999 clauses out of 112008 with flag 3419269/1643001
68.84/67.45	c cleaning 57003 clauses out of 114008 with flag 3539500/1701000
71.07/69.67	c cleaning 58000 clauses out of 116007 with flag 3661812/1760002
73.56/72.16	c cleaning 59001 clauses out of 118005 with flag 3786240/1820000
75.54/74.17	c cleaning 59999 clauses out of 120004 with flag 3912875/1881000
78.72/77.30	c cleaning 61000 clauses out of 122006 with flag 4041878/1943001
82.30/80.94	c cleaning 61999 clauses out of 124005 with flag 4172083/2006000
85.07/83.77	c cleaning 63001 clauses out of 126007 with flag 4304505/2070001
88.24/86.92	c cleaning 64001 clauses out of 128006 with flag 4438952/2135001
91.46/90.11	c cleaning 64998 clauses out of 130005 with flag 4575384/2201001
95.52/94.28	c cleaning 66002 clauses out of 132006 with flag 4714379/2268000
99.49/98.28	c cleaning 67000 clauses out of 134004 with flag 4855304/2336000
104.37/103.18	c cleaning 67997 clauses out of 136004 with flag 4998393/2405000
108.53/107.36	c cleaning 68998 clauses out of 138007 with flag 5144063/2475000
112.00/110.88	c cleaning 70005 clauses out of 140009 with flag 5292354/2546000
115.14/113.90	c cleaning 71003 clauses out of 142006 with flag 5443382/2618002
120.88/119.74	c cleaning 71998 clauses out of 144001 with flag 5595042/2691000
125.73/124.65	c cleaning 72998 clauses out of 146004 with flag 5748767/2765001
132.05/130.94	c cleaning 73995 clauses out of 148005 with flag 5904696/2840000
136.34/135.22	c cleaning 75004 clauses out of 150010 with flag 6062348/2916000
140.33/139.24	c cleaning 76000 clauses out of 152006 with flag 6222365/2993000
145.34/144.21	c cleaning 77003 clauses out of 154009 with flag 6384958/3071003
149.25/148.12	c cleaning 78001 clauses out of 156003 with flag 6548636/3150000
152.84/151.79	c cleaning 78995 clauses out of 158002 with flag 6714827/3230000
157.43/156.36	c cleaning 80001 clauses out of 160008 with flag 6883045/3311001
162.62/161.52	c cleaning 81004 clauses out of 162007 with flag 7053625/3393001
167.72/166.67	c cleaning 81995 clauses out of 164004 with flag 7225937/3476002
174.02/172.97	c cleaning 83002 clauses out of 166008 with flag 7400987/3560001
178.71/177.61	c cleaning 83999 clauses out of 168006 with flag 7577449/3645001
187.70/186.67	c cleaning 85000 clauses out of 170008 with flag 7756336/3731002
196.20/195.16	c cleaning 86000 clauses out of 172006 with flag 7937372/3818000
204.91/203.84	c cleaning 87003 clauses out of 174009 with flag 8120168/3906003
213.40/212.36	c cleaning 88000 clauses out of 176006 with flag 8305241/3995003
221.01/219.93	c cleaning 88998 clauses out of 178003 with flag 8492124/4085000
227.39/226.34	c cleaning 90003 clauses out of 180007 with flag 8681013/4176002
237.76/236.76	c cleaning 91001 clauses out of 182002 with flag 8871033/4268000
246.10/245.04	c cleaning 92000 clauses out of 184003 with flag 9063482/4361002
252.18/251.17	c cleaning 92999 clauses out of 186003 with flag 9258320/4455002
258.59/257.59	c cleaning 94001 clauses out of 188002 with flag 9455307/4550000
265.98/264.99	c cleaning 94998 clauses out of 190001 with flag 9654062/4646000
273.47/272.42	c cleaning 95995 clauses out of 192003 with flag 9855084/4743000
280.66/279.63	c cleaning 97004 clauses out of 194009 with flag 10058044/4841001
288.85/287.84	c cleaning 97999 clauses out of 196004 with flag 10263315/4940000
296.96/295.96	c cleaning 99001 clauses out of 198006 with flag 10470811/5040001
305.73/304.78	c cleaning 100000 clauses out of 200005 with flag 10680106/5141001
314.11/313.10	c cleaning 101002 clauses out of 202006 with flag 10891400/5243002
323.28/322.21	c cleaning 102001 clauses out of 204005 with flag 11104813/5346003
335.82/334.36	c cleaning 102996 clauses out of 206001 with flag 11320165/5450000
344.41/343.00	c cleaning 103998 clauses out of 208005 with flag 11537862/5555000
352.38/350.81	c cleaning 105003 clauses out of 210007 with flag 11757317/5661000
362.85/361.38	c cleaning 105999 clauses out of 212007 with flag 11978736/5768003
374.83/373.39	c cleaning 107000 clauses out of 214006 with flag 12202523/5876001
385.09/383.50	c cleaning 107998 clauses out of 216006 with flag 12428318/5985001
396.76/395.29	c cleaning 109002 clauses out of 218007 with flag 12656215/6095000
409.40/407.83	c cleaning 110000 clauses out of 220005 with flag 12886666/6206000
419.88/418.31	c cleaning 111001 clauses out of 222006 with flag 13119316/6318001
430.90/429.38	c cleaning 111999 clauses out of 224006 with flag 13354180/6431002
442.27/440.76	c cleaning 112999 clauses out of 226005 with flag 13590813/6545000
456.04/454.56	c cleaning 114000 clauses out of 228006 with flag 13829555/6660000
468.48/466.96	c cleaning 115002 clauses out of 230007 with flag 14070402/6776001
480.16/478.63	c cleaning 115998 clauses out of 232004 with flag 14313114/6893000
491.59/490.10	c cleaning 117001 clauses out of 234007 with flag 14562107/7011001
502.67/501.18	c cleaning 117999 clauses out of 236005 with flag 14812336/7130000
515.93/514.42	c cleaning 118995 clauses out of 238006 with flag 15066869/7250000
529.41/527.94	c cleaning 120003 clauses out of 240012 with flag 15328349/7371001
542.50/541.10	c cleaning 120999 clauses out of 242008 with flag 15583840/7493000
554.77/553.34	c cleaning 122002 clauses out of 244010 with flag 15840097/7616001
566.47/565.03	c cleaning 123000 clauses out of 246007 with flag 16099801/7740000
577.79/576.36	c cleaning 124003 clauses out of 248007 with flag 16358754/7865000
590.49/589.07	c cleaning 124998 clauses out of 250005 with flag 16620278/7991001
603.06/601.65	c cleaning 126001 clauses out of 252007 with flag 16882498/8118001
616.06/614.66	c cleaning 126996 clauses out of 254005 with flag 17147981/8246000
629.64/628.28	c cleaning 128001 clauses out of 256009 with flag 17420063/8375000
643.06/641.67	c cleaning 129004 clauses out of 258008 with flag 17694446/8505000
658.14/656.78	c cleaning 129998 clauses out of 260004 with flag 17974321/8636000
675.26/673.80	c cleaning 131001 clauses out of 262006 with flag 18246826/8768000
690.84/689.42	c cleaning 132002 clauses out of 264006 with flag 18521561/8901001
708.62/707.15	c cleaning 132996 clauses out of 266003 with flag 18798628/9035000
721.68/720.20	c cleaning 133999 clauses out of 268007 with flag 19078552/9170000
735.86/734.49	c cleaning 135000 clauses out of 270009 with flag 19365843/9306001
759.51/757.29	c cleaning 136002 clauses out of 272009 with flag 19670228/9443001
787.85/785.68	c cleaning 137000 clauses out of 274006 with flag 19979154/9581000
817.71/815.59	c cleaning 137997 clauses out of 276006 with flag 20290575/9720000
840.97/838.83	c cleaning 139002 clauses out of 278010 with flag 20602694/9860001
857.05/854.92	c cleaning 140004 clauses out of 280007 with flag 20894025/10001000
870.12/867.92	c cleaning 140994 clauses out of 282003 with flag 21188563/10143000
884.01/881.80	c cleaning 142006 clauses out of 284011 with flag 21485197/10286002
896.37/894.13	c cleaning 142997 clauses out of 286003 with flag 21784960/10430000
910.41/908.19	c cleaning 143998 clauses out of 288006 with flag 22086687/10575000
927.30/925.01	c cleaning 144999 clauses out of 290009 with flag 22391387/10721001
943.10/940.80	c cleaning 146005 clauses out of 292009 with flag 22697313/10868000
959.38/957.11	c cleaning 146999 clauses out of 294005 with flag 23004884/11016001
976.87/974.66	c cleaning 148002 clauses out of 296005 with flag 23313563/11165000
994.68/992.44	c cleaning 149001 clauses out of 298004 with flag 23623845/11315001
1010.92/1008.61	c cleaning 149993 clauses out of 300002 with flag 23938832/11466000
1031.97/1029.76	c cleaning 150999 clauses out of 302009 with flag 24260899/11618000
1050.98/1048.78	c cleaning 152004 clauses out of 304011 with flag 24584349/11771001
1069.00/1066.78	c cleaning 153001 clauses out of 306006 with flag 24903919/11925000
1086.27/1084.07	c cleaning 154001 clauses out of 308006 with flag 25225831/12080001
1106.19/1104.10	c cleaning 154998 clauses out of 310005 with flag 25548392/12236001
1127.84/1125.99	c cleaning 156001 clauses out of 312007 with flag 25873065/12393001
1149.38/1147.60	c cleaning 156997 clauses out of 314005 with flag 26199473/12551000
1171.68/1170.14	c cleaning 158001 clauses out of 316010 with flag 26528754/12710002
1193.14/1190.90	c cleaning 159000 clauses out of 318008 with flag 26859410/12870001
1214.19/1212.13	c cleaning 160003 clauses out of 320009 with flag 27191587/13031002
1236.48/1234.64	c cleaning 160999 clauses out of 322006 with flag 27526263/13193002
1264.88/1263.27	c cleaning 162000 clauses out of 324006 with flag 27863327/13356001
1300.29/1298.96	c cleaning 163000 clauses out of 326005 with flag 28202638/13520000
1325.31/1324.20	c cleaning 163999 clauses out of 328006 with flag 28544146/13685001
1358.70/1357.67	c cleaning 164997 clauses out of 330006 with flag 28887457/13851000
1391.99/1390.91	c cleaning 166002 clauses out of 332010 with flag 29234087/14018001
1419.96/1418.98	c cleaning 167004 clauses out of 334009 with flag 29581918/14186002
1447.66/1446.69	c cleaning 168000 clauses out of 336005 with flag 29931699/14355002
1476.30/1475.23	c cleaning 169000 clauses out of 338006 with flag 30282943/14525003
1500.04/1498.96	c cleaning 170002 clauses out of 340004 with flag 30636939/14696001
1524.00/1522.92	c cleaning 170995 clauses out of 342002 with flag 30993241/14868001
1549.09/1548.21	c cleaning 172003 clauses out of 344006 with flag 31351025/15041000
1579.17/1578.59	c cleaning 172995 clauses out of 346003 with flag 31710905/15215000
1610.54/1610.12	c cleaning 174000 clauses out of 348008 with flag 32072200/15390000
1639.91/1639.72	c cleaning 175001 clauses out of 350009 with flag 32436419/15566001
1664.15/1664.20	c cleaning 175999 clauses out of 352008 with flag 32801887/15743001
1695.18/1695.43	c cleaning 176998 clauses out of 354008 with flag 33169232/15921000
1730.97/1731.23	c cleaning 178000 clauses out of 356010 with flag 33539023/16100000
1766.96/1767.41	c cleaning 179003 clauses out of 358011 with flag 33911100/16280001
1800.33/1801.02	c cleaning 180004 clauses out of 360007 with flag 34286078/16461000
1829.66/1830.53	c cleaning 181000 clauses out of 362005 with flag 34663134/16643002
1860.50/1861.68	c cleaning 182002 clauses out of 364004 with flag 35041928/16826001
1883.85/1885.12	c cleaning 182996 clauses out of 366002 with flag 35422186/17010001
1910.81/1912.38	c cleaning 183993 clauses out of 368005 with flag 35811011/17195000
1940.93/1942.45	c cleaning 185001 clauses out of 370012 with flag 36196617/17381000
1965.60/1967.17	c cleaning 186003 clauses out of 372013 with flag 36590959/17568002
1993.18/1994.75	c cleaning 187002 clauses out of 374009 with flag 36988881/17756001
2019.03/2020.57	c cleaning 187999 clauses out of 376006 with flag 37392777/17945000
2047.59/2049.18	c cleaning 189003 clauses out of 378007 with flag 37787210/18135000
2077.36/2078.94	c cleaning 189996 clauses out of 380004 with flag 38184207/18326000
2101.83/2103.40	c cleaning 191000 clauses out of 382010 with flag 38582911/18518002
2128.30/2129.99	c cleaning 192003 clauses out of 384008 with flag 38983062/18711000
2160.72/2162.34	c cleaning 192997 clauses out of 386006 with flag 39385197/18905001
2191.01/2192.66	c cleaning 194001 clauses out of 388010 with flag 39788648/19100002
2227.36/2228.04	c cleaning 194997 clauses out of 390007 with flag 40200483/19296000
2261.47/2262.14	c cleaning 196004 clauses out of 392013 with flag 40613450/19493003
2292.61/2293.32	c cleaning 197004 clauses out of 394008 with flag 41023384/19691002
2329.83/2330.51	c cleaning 197996 clauses out of 396004 with flag 41441628/19890002
2361.27/2361.93	c cleaning 198999 clauses out of 398008 with flag 41856594/20090002
2395.11/2395.83	c cleaning 200003 clauses out of 400009 with flag 42273784/20291002
2425.73/2426.49	c cleaning 201002 clauses out of 402007 with flag 42691163/20493003
2458.67/2459.49	c cleaning 201993 clauses out of 404002 with flag 43120940/20696000
2494.41/2495.25	c cleaning 202997 clauses out of 406009 with flag 43544388/20900000
2528.75/2529.77	c cleaning 204001 clauses out of 408012 with flag 43971642/21105000
2576.02/2577.47	c cleaning 205003 clauses out of 410012 with flag 44412247/21311001
2605.58/2607.25	c cleaning 206000 clauses out of 412009 with flag 44840188/21518001
2640.90/2642.87	c cleaning 207003 clauses out of 414008 with flag 45270496/21726000
2676.36/2678.52	c cleaning 208003 clauses out of 416008 with flag 45702633/21935003
2709.94/2712.36	c cleaning 208997 clauses out of 418003 with flag 46136248/22145001
2748.20/2750.73	c cleaning 210000 clauses out of 420005 with flag 46573276/22356000
2786.48/2789.02	c cleaning 210998 clauses out of 422006 with flag 47013226/22568001
2819.41/2822.09	c cleaning 211999 clauses out of 424008 with flag 47456009/22781001
2854.76/2857.52	c cleaning 212999 clauses out of 426008 with flag 47900197/22995000
2886.99/2889.86	c cleaning 214001 clauses out of 428009 with flag 48347155/23210000
2920.78/2923.63	c cleaning 214998 clauses out of 430009 with flag 48795255/23426001
2955.25/2958.08	c cleaning 215999 clauses out of 432010 with flag 49246181/23643000
2987.19/2990.05	c cleaning 217003 clauses out of 434011 with flag 49699147/23861000
3029.47/3032.31	c cleaning 218000 clauses out of 436011 with flag 50153392/24080003
3065.72/3068.62	c cleaning 219000 clauses out of 438009 with flag 50608217/24300001
3104.17/3107.07	c cleaning 219999 clauses out of 440010 with flag 51065917/24521002
3141.89/3144.80	c cleaning 221004 clauses out of 442009 with flag 51525891/24743000
3176.25/3179.28	c cleaning 221998 clauses out of 444006 with flag 51987265/24966001
3214.93/3218.21	c cleaning 222998 clauses out of 446008 with flag 52450791/25190001
3246.44/3250.02	c cleaning 223996 clauses out of 448009 with flag 52916236/25415000
3278.05/3281.98	c cleaning 225003 clauses out of 450015 with flag 53383042/25641002
3311.65/3315.84	c cleaning 226005 clauses out of 452010 with flag 53853202/25868000
3346.21/3350.60	c cleaning 227000 clauses out of 454005 with flag 54325180/26096000
3378.84/3383.58	c cleaning 227997 clauses out of 456005 with flag 54800434/26325000
3412.07/3417.08	c cleaning 228999 clauses out of 458008 with flag 55276359/26555000
3443.69/3448.93	c cleaning 229998 clauses out of 460009 with flag 55755282/26786000
3485.74/3491.21	c cleaning 231001 clauses out of 462014 with flag 56236791/27018003
3522.02/3527.80	c cleaning 232006 clauses out of 464011 with flag 56721202/27251001
3562.68/3567.41	c cleaning 232999 clauses out of 466004 with flag 57206218/27485000
3600.02/3604.83	c starts		: 7339
3600.02/3604.87	c conflicts		: 27720001
3600.02/3604.87	c decisions		: 29114837
3600.02/3604.87	c propagations		: 137509618
3600.02/3604.87	c inspects		: 36232400259
3600.02/3604.87	c shortcuts		: 0
3600.02/3604.87	c learnt literals	: 0
3600.02/3604.87	c learnt binary clauses	: 0
3600.02/3604.87	c learnt ternary clauses	: 0
3600.02/3604.87	c learnt constraints	: 27720001
3600.02/3604.87	c ignored constraints	: 0
3600.02/3604.87	c root simplifications	: 0
3600.02/3604.87	c removed literals (reason simplification)	: 0
3600.02/3604.87	c reason swapping (by a shorter reason)	: 0
3600.02/3604.87	c Calls to reduceDB	: 231
3600.02/3604.87	c Number of update (reduction) of LBD	: 838003
3600.02/3604.87	c Imported unit clauses	: 0
3600.02/3604.87	c No decision after first conflict	: false
3600.02/3604.87	c number of reductions to clauses (during analyze)	: 0
3600.02/3604.87	c number of learned constraints concerned by reduction	: 0
3600.02/3604.87	c number of learning phase by resolution	: 0
3600.02/3604.87	c number of learning phase by cutting planes	: 0
3600.02/3604.87	c number of rounding to 1 operations	: 0
3600.02/3604.87	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3604.87	c number of reductions of the coefficients by power 2 	: 0
3600.02/3604.87	c number of right shift for reduction by power 2 	: 0
3600.02/3604.87	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3604.87	c number of ending skipping 	: 0
3600.02/3604.87	c number of internal skipping 	: 0
3600.02/3604.87	c number of derivation steps 	: 0
3600.02/3604.87	c number of skipped derivation steps 	: 0
3600.02/3604.87	c number of remaining unassigned 	: 0
3600.02/3604.87	c number of remaining assigned 	: 0
3600.02/3604.87	c number of falsified literals weakened from reason	: 0
3600.02/3604.87	c number of falsified literals weakened from conflict	: 0
3600.02/3604.87	c time for arithmetic operations	: 0
3600.02/3604.88	c minimum degree of deleted constraints	: null
3600.02/3604.88	c maximum degree of deleted constraints	: null
3600.02/3604.89	c number of deleted constraints	: 0
3600.02/3604.89	c speed (assignments/second)	: 38147.93706224836
3600.02/3604.89	c non guided choices	: 23
3600.44/3605.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 468006
3600.44/3605.11	s UNKNOWN
3600.44/3605.11	c Total wall clock time (in seconds): 3604.923

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=1061412, runsolver pid=1061409

[startup+0.104317 s]*
/proc/loadavg: 4.35 4.29 4.28 5/316 1061430
/proc/meminfo: memFree=102561664/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=18975048 memory=62644 CPUtime=0.16 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 7145 0 0 0 14 2 0 0 20 0 18 0 197626389 19430449152 15661 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4743762 15661 5632 1 0 551372 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 5781 0 0 0 7 1 0 0 20 0 18 0 197626390 19430449152 15661 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197626393 19430449152 15661 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197626393 19430449152 15661 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62644 KiB

[startup+0.215434 s]*
/proc/loadavg: 4.35 4.29 4.28 8/316 1061430
/proc/meminfo: memFree=102497368/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=18975048 memory=66892 CPUtime=0.31 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 7499 0 0 0 29 2 0 0 20 0 18 0 197626389 19430449152 16723 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4743762 16723 5797 1 0 551596 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=18975048 memory=6876556183782621315 CPUtime=0.17 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 5941 0 0 0 16 1 0 0 20 0 18 0 197626390 19430449152 16723 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=18975048 memory=3711 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197626393 19430449152 16723 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197626393 19430449152 16723 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66892 KiB

[startup+0.313437 s]*
/proc/loadavg: 4.35 4.29 4.28 7/317 1061431
/proc/meminfo: memFree=102494164/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19041612 memory=69944 CPUtime=0.48 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 9177 0 0 0 45 3 0 0 20 0 19 0 197626389 19498610688 17486 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4760403 17486 5813 1 0 552656 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19041612 memory=-7739538742172216163 CPUtime=0.26 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 5984 0 0 0 24 2 0 0 20 0 19 0 197626390 19498610688 17486 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197626393 19498610688 17486 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197626393 19498610688 17486 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197626414 19498610688 17486 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69944 KiB

[startup+0.700309 s]
/proc/loadavg: 4.35 4.29 4.28 6/317 1061431
/proc/meminfo: memFree=102485292/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19041612 memory=83064 CPUtime=1.2 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 11770 0 0 0 116 4 0 0 20 0 19 0 197626389 19498610688 20766 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4760403 20766 5813 1 0 554243 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19041612 memory=11884 CPUtime=0.6 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 6027 0 0 0 58 2 0 0 20 0 19 0 197626390 19498610688 20766 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19041612 memory=11884 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197626393 19498610688 20766 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197626393 19498610688 20766 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19041612 memory=39916 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197626414 19498610688 20766 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83064 KiB

[startup+1.50043 s]
/proc/loadavg: 4.35 4.29 4.28 5/317 1061433
/proc/meminfo: memFree=102474188/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19041612 memory=100124 CPUtime=2.35 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 14782 0 0 0 230 5 0 0 20 0 19 0 197626389 19498610688 25031 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4760403 25031 5813 1 0 554298 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19041612 memory=11884 CPUtime=1.4 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 6325 0 0 0 137 3 0 0 20 0 19 0 197626390 19498610688 25031 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197626393 19498610688 25031 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197626393 19498610688 25031 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197626414 19498610688 25031 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100124 KiB

[startup+3.10557 s]
/proc/loadavg: 4.40 4.30 4.28 5/317 1061433
/proc/meminfo: memFree=102421504/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19041612 memory=137972 CPUtime=4.2 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 16238 0 0 0 414 6 0 0 20 0 19 0 197626389 19498610688 34493 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4760403 34493 5813 1 0 554510 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19041612 memory=0 CPUtime=2.98 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 6655 0 0 0 295 3 0 0 20 0 19 0 197626390 19498610688 34493 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197626393 19498610688 34493 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19041612 memory=109184 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197626393 19498610688 34493 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19041612 memory=11884 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197626414 19498610688 34493 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 137972 KiB

[startup+6.30045 s]
/proc/loadavg: 4.40 4.30 4.28 6/313 1061503
/proc/meminfo: memFree=116655216/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=182732 CPUtime=8.02 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 18284 0 0 0 795 7 0 0 20 0 20 0 197626389 19566772224 45683 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 45683 5813 1 0 555168 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=11884 CPUtime=6.14 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 6725 0 0 0 610 4 0 0 20 0 20 0 197626390 19566772224 45683 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 45683 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=5450906528474035754 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 45683 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 45683 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182732 KiB

[startup+12.7005 s]
/proc/loadavg: 4.41 4.31 4.28 5/318 1061569
/proc/meminfo: memFree=116357540/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=188828 CPUtime=14.41 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 20812 0 0 0 1433 8 0 0 20 0 20 0 197626389 19566772224 47207 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 47207 5829 1 0 555168 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=0 CPUtime=12.48 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 7511 0 0 0 1244 4 0 0 20 0 20 0 197626390 19566772224 47207 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 47207 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 47207 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=188828 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 47207 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 14.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188828 KiB

[startup+25.5005 s]
/proc/loadavg: 4.35 4.29 4.28 5/318 1061571
/proc/meminfo: memFree=115078616/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=289464 CPUtime=27.2 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 23517 0 0 0 2709 11 0 0 20 0 20 0 197626389 19566772224 72366 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 72366 5829 1 0 555168 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=-7739538742172216163 CPUtime=24.89 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 8413 0 0 0 2485 4 0 0 20 0 20 0 197626390 19566772224 72366 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=49904 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 72366 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=262768 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 72366 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 72366 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 27.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 289464 KiB

[startup+51.1064 s]
/proc/loadavg: 4.38 4.30 4.28 5/318 1061576
/proc/meminfo: memFree=112903688/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=418568 CPUtime=52.65 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 27778 0 0 0 5249 16 0 0 20 0 20 0 197626389 19566772224 104642 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 104642 5829 1 0 555168 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=324316 CPUtime=49.87 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 10304 0 0 0 4983 4 0 0 20 0 20 0 197626390 19566772224 104642 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0

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

[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/317 1063351
/proc/meminfo: memFree=84213132/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=3337.98 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 159216 0 0 0 333572 226 0 0 20 0 20 0 197626389 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 714888 5861 1 0 736253 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=3312.68 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 63927 0 0 0 331246 22 0 0 20 0 20 0 197626390 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=2785820 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 2873 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=5636 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 3337.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2859552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.36 4.26 4.20 5/317 1063428
/proc/meminfo: memFree=94575632/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=3397.48 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 159503 0 0 0 339520 228 0 0 20 0 20 0 197626389 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 714888 5861 1 0 736253 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=3372.15 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 64149 0 0 0 337193 22 0 0 20 0 20 0 197626390 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=49904 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 2873 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 714888 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 3397.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2859552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.21 4.19 5/317 1063507
/proc/meminfo: memFree=106242560/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=2871844 CPUtime=3457.09 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 161811 0 0 0 345478 231 0 0 20 0 20 0 197626389 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 717961 5861 1 0 736253 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=3431.33 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 64981 0 0 0 343111 22 0 0 20 0 20 0 197626390 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=49904 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=2859556 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 2945 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 3457.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2871844 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.19 4.18 5/319 1063521
/proc/meminfo: memFree=106064968/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=2871844 CPUtime=3516.56 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 162146 0 0 0 351423 233 0 0 20 0 20 0 197626389 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 717961 5861 1 0 736253 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=3490.76 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 65310 0 0 0 349054 22 0 0 20 0 20 0 197626390 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=7940 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 2945 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=2871844 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 717961 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 3516.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2871844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.21 4.19 5/319 1063664
/proc/meminfo: memFree=120437368/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=2890360 CPUtime=3577.56 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 174232 0 0 0 357519 237 0 0 20 0 20 0 197626389 19566772224 722590 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 722590 5861 1 0 736256 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=2859552 CPUtime=3550.25 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 69862 0 0 0 355002 23 0 0 20 0 20 0 197626390 19566772224 722590 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 722590 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=2890360 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 2945 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 722590 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=4912 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 722590 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 3577.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2890360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.8 s]
/proc/loadavg: 4.17 4.20 4.18 5/319 1063668
/proc/meminfo: memFree=120355024/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19108176 memory=2890372 CPUtime=3600.02 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 174387 0 0 0 359764 238 0 0 20 0 20 0 197626389 19566772224 722593 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4777044 722593 5861 1 0 736256 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19108176 memory=49904 CPUtime=3572.69 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 69982 0 0 0 357246 23 0 0 20 0 20 0 197626390 19566772224 722593 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19108176 memory=-7739538742172216163 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 722593 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19108176 memory=2890372 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 2945 0 0 0 0 0 0 0 20 0 20 0 197626393 19566772224 722593 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061431] ppid=1061409 vsize=19108176 memory=2890372 CPUtime=0 cores=4,6
/proc/1061412/task/1061431/stat : 1061431 (Timer-0) S 1061409 1061412 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197626414 19566772224 722593 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2890372 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.24 s, system=2.40523 s

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

[startup+3605.01 s]*
/proc/loadavg: 4.17 4.20 4.18 6/320 1063671
/proc/meminfo: memFree=120354456/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19307868 memory=2890988 CPUtime=3600.44 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 177485 0 0 0 359805 239 0 0 20 0 21 0 197626389 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4826967 722747 5860 1 0 737143 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19307868 memory=-7595423554096818273 CPUtime=3572.91 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) R 1061409 1061412 1058409 0 -1 4194368 69982 0 0 0 357268 23 0 0 20 0 21 0 197626390 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19307868 memory=4924 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 197626393 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19307868 memory=328584 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 2945 0 0 0 0 0 0 0 20 0 21 0 197626393 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1063670] ppid=1061409 vsize=19307868 memory=2856 CPUtime=0.11 cores=4,6
/proc/1061412/task/1063670/stat : 1063670 (Thread-0) R 1061409 1061412 1058409 0 -1 4194368 640 0 0 0 11 0 0 0 20 0 21 0 197986871 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2890988 KiB

[startup+3605.11 s]
/proc/loadavg: 4.17 4.20 4.18 6/320 1063671
/proc/meminfo: memFree=120354456/131655788 swapFree=131071996/131071996
[pid=1061412] ppid=1061409 vsize=19307868 memory=2890988 CPUtime=3600.62 cores=4,6
/proc/1061412/stat : 1061412 (java) S 1061409 1061412 1058409 0 -1 1077936128 177849 0 0 0 359823 239 0 0 20 0 15 0 197626389 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
/proc/1061412/statm: 4826967 722747 5873 1 0 737159 0
[pid=1061412/tid=1061414] ppid=1061409 vsize=19307868 memory=0 CPUtime=3573 cores=4,6
/proc/1061412/task/1061414/stat : 1061414 (java) S 1061409 1061412 1058409 0 -1 1077936192 69984 0 0 0 357277 23 0 0 20 0 15 0 197626390 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061423] ppid=1061409 vsize=19307868 memory=2890360 CPUtime=0 cores=4,6
/proc/1061412/task/1061423/stat : 1061423 (Finalizer) S 1061409 1061412 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 15 0 197626393 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
[pid=1061412/tid=1061430] ppid=1061409 vsize=19307868 memory=2890372 CPUtime=0 cores=4,6
/proc/1061412/task/1061430/stat : 1061430 (Common-Cleaner) S 1061409 1061412 1058409 0 -1 1077936192 2945 0 0 0 0 0 0 0 20 0 15 0 197626393 19771256832 722747 134679101440 94024896552960 94024896556656 140720658760256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94024896564472 94024896565264 94024929579008 140720658768901 140720658768991 140720658768991 140720658776008 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2890988 KiB

Child status: 143

Real time (s): 3605.13
CPU time (s): 3600.64
CPU user time (s): 3598.24
CPU system time (s): 2.40523
CPU usage (%): 99.8757
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2890988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.24
system time used= 2.40523
maximum resident set size= 2891964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109452
involuntary context switches= 19003


# summary of solver processes directly reported to runsolver:
#   pid: 1061412
#   total CPU time (s): 3600.64
#   total CPU user time (s): 3598.24
#   total CPU system time (s): 2.40523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0726 second user time and 22.7318 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 07:51:55
IDJOB=4453264
IDBENCH=170394
IDSOLVER=3058
FILE ID=nodeC003/4453264-1721454703
RUNJOBID= nodeC003-1721450898-1058420
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-grids-v3_shuffle/normalized-grid6_19.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-4453264-1721454703/watcher-4453264-1721454703 -o /tmp/evaluation-result-4453264-1721454703/solver-4453264-1721454703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058420 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453264-1721454703.opb

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

MD5SUM BENCH= 531bd272698487ed1af127f2a6793d74
RANDOM SEED=1599941214

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		: 3600.247
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		: 3605.390
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.333
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.274
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		: 3494.716
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		: 3649.332
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.228
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.309
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:        102608808 kB
MemAvailable:   108251420 kB
Buffers:          567720 kB
Cached:          5857056 kB
SwapCached:            0 kB
Active:          1059448 kB
Inactive:       27254484 kB
Active(anon):       1452 kB
Inactive(anon): 21933592 kB
Active(file):    1057996 kB
Inactive(file):  5320892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:      21889168 kB
Mapped:           128468 kB
Shmem:             45896 kB
KReclaimable:     207512 kB
Slab:             323668 kB
SReclaimable:     207512 kB
SUnreclaim:       116156 kB
KernelStack:        4816 kB
PageTables:        52932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   26577884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21385216 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= 723780 MiB
End job on nodeC003 at 2024-07-20 08:52:00