Trace number 4453324

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.88 3517.48

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v2_shuffle/normalized-grid8_59.shuf-3.opb
MD5SUM254a849970c239072df004e28e5fe1a7
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.14232
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables472
Total number of constraints473
Number of constraints which are clauses472
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 constraint472
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 489
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.14/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.14	c See www.sat4j.org for details.
0.14/0.16	c version CUSTOM.v20240707
0.14/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.18	c java.vm.version	22.0.1+8-16
0.14/0.18	c java.vm.vendor	Oracle Corporation
0.14/0.18	c sun.arch.data.model	64
0.14/0.18	c java.version		22.0.1
0.14/0.18	c os.name		Linux
0.14/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.18	c os.arch		amd64
0.14/0.19	c Free memory 		2115194816
0.14/0.19	c Max memory 		16282288128
0.14/0.19	c Total memory 		2122317824
0.14/0.20	c Number of processors 	2
0.32/0.30	--- Begin Solver configuration ---
0.32/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.30	Learn all clauses as in MiniSAT
0.32/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.30	No reason simplification
0.32/0.30	Glucose 2.1 dynamic restart strategy
0.32/0.30	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.32/0.30	timeout=2147483s
0.32/0.30	DB Simplification allowed=false
0.32/0.30	Listener: none
0.32/0.30	--- End Solver configuration ---
0.32/0.30	c Pseudo Boolean Optimization by upper bound
0.32/0.30	c --- Begin Solver configuration ---
0.32/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.30	c Learn all clauses as in MiniSAT
0.32/0.30	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.30	c No reason simplification
0.32/0.30	c Glucose 2.1 dynamic restart strategy
0.32/0.30	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.32/0.30	c timeout=2147483s
0.32/0.30	c DB Simplification allowed=false
0.32/0.30	c Listener: none
0.32/0.30	c --- End Solver configuration ---
0.32/0.30	c solving HOME/instance-4453324-1721454709.opb
0.32/0.30	c reading problem ... 
0.32/0.31	c  no objective function found
0.45/0.39	c ... done. Wall clock time 0.088s.
0.45/0.39	c declared #vars     472
0.45/0.39	c #constraints  473
0.45/0.39	c constraints type 
0.45/0.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 472
0.45/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.45/0.39	c 473 constraints processed.
2.15/1.28	c cleaning 2499 clauses out of 5000 with flag 10340/5000
2.74/1.58	c cleaning 4251 clauses out of 8502 with flag 22946/11001
3.22/1.83	c cleaning 5624 clauses out of 11250 with flag 37584/18000
3.67/2.12	c cleaning 6812 clauses out of 13626 with flag 54305/26000
3.87/2.38	c cleaning 7908 clauses out of 15816 with flag 73151/35002
4.17/2.65	c cleaning 8953 clauses out of 17906 with flag 94033/45000
4.85/3.15	c cleaning 9977 clauses out of 19954 with flag 117019/56001
5.26/3.51	c cleaning 10989 clauses out of 21977 with flag 141854/68001
6.19/4.41	c cleaning 11990 clauses out of 23987 with flag 168936/81000
7.09/5.28	c cleaning 12997 clauses out of 25998 with flag 198124/95001
7.69/5.88	c cleaning 13998 clauses out of 28001 with flag 229390/110001
8.43/6.52	c cleaning 14997 clauses out of 30002 with flag 262696/126000
9.11/7.18	c cleaning 16002 clauses out of 32006 with flag 298232/143001
9.86/7.85	c cleaning 17002 clauses out of 34003 with flag 335839/161000
10.97/8.84	c cleaning 18000 clauses out of 36001 with flag 375632/180000
11.67/9.58	c cleaning 19000 clauses out of 38002 with flag 417659/200001
12.79/10.55	c cleaning 20001 clauses out of 40001 with flag 461687/221000
13.49/11.27	c cleaning 21000 clauses out of 42000 with flag 507655/243000
14.62/12.21	c cleaning 22000 clauses out of 44000 with flag 555718/266000
15.53/13.12	c cleaning 23000 clauses out of 46000 with flag 605747/290000
16.84/14.31	c cleaning 23995 clauses out of 48000 with flag 657989/315000
17.74/15.29	c cleaning 25000 clauses out of 50006 with flag 712272/341001
18.84/16.34	c cleaning 26002 clauses out of 52006 with flag 768492/368001
20.31/17.68	c cleaning 27002 clauses out of 54004 with flag 826973/396001
21.63/18.99	c cleaning 28001 clauses out of 56001 with flag 887726/425000
23.41/20.59	c cleaning 28995 clauses out of 58000 with flag 950487/455000
24.61/21.78	c cleaning 29997 clauses out of 60006 with flag 1015127/486001
26.20/23.25	c cleaning 31004 clauses out of 62009 with flag 1081834/518001
27.80/24.80	c cleaning 31998 clauses out of 64004 with flag 1150770/551000
29.17/26.12	c cleaning 33002 clauses out of 66007 with flag 1221811/585001
30.75/27.74	c cleaning 33999 clauses out of 68004 with flag 1294959/620000
32.62/29.53	c cleaning 35003 clauses out of 70005 with flag 1370232/656000
34.57/31.30	c cleaning 35994 clauses out of 72002 with flag 1447631/693000
36.28/33.05	c cleaning 37004 clauses out of 74009 with flag 1527090/731001
38.37/35.01	c cleaning 38000 clauses out of 76004 with flag 1608696/770000
40.57/37.21	c cleaning 39002 clauses out of 78005 with flag 1691918/810001
42.82/39.38	c cleaning 40002 clauses out of 80003 with flag 1777582/851001
45.17/41.49	c cleaning 40998 clauses out of 82002 with flag 1865180/893002
47.36/43.63	c cleaning 41997 clauses out of 84002 with flag 1954868/936000
49.62/45.70	c cleaning 43002 clauses out of 86005 with flag 2046549/980000
52.34/48.26	c cleaning 43998 clauses out of 88003 with flag 2140387/1025000
54.73/50.68	c cleaning 45000 clauses out of 90006 with flag 2235970/1071001
57.26/53.05	c cleaning 46000 clauses out of 92005 with flag 2334213/1118000
60.08/55.74	c cleaning 47001 clauses out of 94006 with flag 2434375/1166001
62.39/58.09	c cleaning 47997 clauses out of 96004 with flag 2536791/1215000
65.20/60.73	c cleaning 49002 clauses out of 98008 with flag 2641307/1265001
68.69/64.09	c cleaning 50002 clauses out of 100007 with flag 2747873/1316002
72.35/67.40	c cleaning 50995 clauses out of 102003 with flag 2856515/1368000
75.45/70.53	c cleaning 52002 clauses out of 104009 with flag 2967239/1421001
78.87/73.81	c cleaning 53003 clauses out of 106007 with flag 3080112/1475001
82.23/77.01	c cleaning 54000 clauses out of 108003 with flag 3194754/1530000
86.11/80.77	c cleaning 54999 clauses out of 110003 with flag 3311598/1586000
89.41/84.01	c cleaning 55994 clauses out of 112004 with flag 3430429/1643000
94.39/87.86	c cleaning 57004 clauses out of 114011 with flag 3550967/1701001
98.10/91.44	c cleaning 58002 clauses out of 116007 with flag 3674082/1760001
102.89/96.11	c cleaning 59002 clauses out of 118005 with flag 3799221/1820001
106.82/99.75	c cleaning 60000 clauses out of 120003 with flag 3926366/1881001
110.24/103.12	c cleaning 60995 clauses out of 122002 with flag 4055846/1943000
114.45/107.21	c cleaning 62002 clauses out of 124009 with flag 4187214/2006002
118.36/111.11	c cleaning 63002 clauses out of 126006 with flag 4320692/2070001
123.29/115.82	c cleaning 63998 clauses out of 128003 with flag 4456243/2135000
127.58/120.00	c cleaning 65001 clauses out of 130005 with flag 4594268/2201000
131.69/123.83	c cleaning 65996 clauses out of 132004 with flag 4734105/2268000
137.01/128.87	c cleaning 67000 clauses out of 134008 with flag 4876216/2336000
141.81/133.48	c cleaning 68002 clauses out of 136009 with flag 5020287/2405001
146.33/137.71	c cleaning 68998 clauses out of 138006 with flag 5166837/2475000
151.03/142.42	c cleaning 70001 clauses out of 140009 with flag 5315216/2546001
155.83/147.21	c cleaning 71002 clauses out of 142007 with flag 5465643/2618000
160.16/151.53	c cleaning 72000 clauses out of 144006 with flag 5618305/2691001
165.16/156.57	c cleaning 72999 clauses out of 146006 with flag 5773056/2765001
169.55/160.97	c cleaning 74001 clauses out of 148006 with flag 5929871/2840000
174.14/165.54	c cleaning 74999 clauses out of 150005 with flag 6088736/2916000
179.24/170.67	c cleaning 76000 clauses out of 152007 with flag 6249418/2993001
184.42/175.80	c cleaning 76999 clauses out of 154007 with flag 6412257/3071001
188.91/180.32	c cleaning 77997 clauses out of 156008 with flag 6577474/3150001
194.71/186.12	c cleaning 79002 clauses out of 158010 with flag 6744449/3230000
199.89/191.34	c cleaning 80002 clauses out of 160009 with flag 6913656/3311001
204.99/196.49	c cleaning 81000 clauses out of 162007 with flag 7085059/3393001
211.18/202.66	c cleaning 82003 clauses out of 164007 with flag 7258361/3476001
216.37/207.86	c cleaning 82996 clauses out of 166003 with flag 7433865/3560000
224.22/214.98	c cleaning 84002 clauses out of 168009 with flag 7611648/3645002
230.84/221.28	c cleaning 84995 clauses out of 170006 with flag 7791161/3731001
236.95/227.22	c cleaning 86003 clauses out of 172010 with flag 7972987/3818000
243.01/233.23	c cleaning 87000 clauses out of 174007 with flag 8157165/3906000
249.36/239.45	c cleaning 88001 clauses out of 176008 with flag 8343097/3995001
258.40/247.19	c cleaning 89003 clauses out of 178007 with flag 8531210/4085001
265.24/253.71	c cleaning 89998 clauses out of 180005 with flag 8721183/4176002
272.39/260.72	c cleaning 91002 clauses out of 182005 with flag 8913117/4268000
280.03/268.34	c cleaning 92002 clauses out of 184003 with flag 9107665/4361000
286.79/275.11	c cleaning 92995 clauses out of 186001 with flag 9304080/4455000
293.19/281.36	c cleaning 94003 clauses out of 188007 with flag 9502568/4550001
301.17/289.15	c cleaning 94999 clauses out of 190003 with flag 9703290/4646000
308.69/296.51	c cleaning 96003 clauses out of 192005 with flag 9905727/4743001
315.24/302.96	c cleaning 96996 clauses out of 194003 with flag 10110623/4841002
322.92/310.43	c cleaning 97998 clauses out of 196005 with flag 10317438/4940000
329.60/317.10	c cleaning 99001 clauses out of 198007 with flag 10526178/5040000
339.14/326.00	c cleaning 100001 clauses out of 200007 with flag 10737387/5141001
348.39/334.97	c cleaning 100999 clauses out of 202006 with flag 10950701/5243001
356.78/343.11	c cleaning 102000 clauses out of 204006 with flag 11165847/5346000
365.79/352.06	c cleaning 102999 clauses out of 206006 with flag 11383308/5450000
374.77/360.70	c cleaning 104001 clauses out of 208008 with flag 11602765/5555001
384.89/369.47	c cleaning 105000 clauses out of 210006 with flag 11824443/5661000
392.87/377.37	c cleaning 106001 clauses out of 212006 with flag 12048075/5768000
403.89/387.91	c cleaning 107000 clauses out of 214006 with flag 12273735/5876001
412.31/396.19	c cleaning 107997 clauses out of 216006 with flag 12501084/5985001
422.03/405.49	c cleaning 109003 clauses out of 218009 with flag 12730816/6095001
432.69/415.86	c cleaning 110000 clauses out of 220006 with flag 12962977/6206001
443.75/426.75	c cleaning 111001 clauses out of 222005 with flag 13197054/6318000
454.46/437.03	c cleaning 112001 clauses out of 224004 with flag 13433403/6431000
464.23/446.61	c cleaning 113000 clauses out of 226004 with flag 13671885/6545001
475.44/457.44	c cleaning 113996 clauses out of 228004 with flag 13911749/6660001
485.54/467.37	c cleaning 114998 clauses out of 230007 with flag 14153405/6776000
496.40/477.83	c cleaning 116001 clauses out of 232010 with flag 14397567/6893001
506.02/487.22	c cleaning 117001 clauses out of 234008 with flag 14643535/7011000
517.22/498.08	c cleaning 117999 clauses out of 236007 with flag 14891517/7130000
528.63/509.21	c cleaning 119001 clauses out of 238010 with flag 15141947/7250002
541.12/521.34	c cleaning 120000 clauses out of 240007 with flag 15394412/7371000
553.13/533.11	c cleaning 121000 clauses out of 242007 with flag 15649056/7493000
566.20/545.84	c cleaning 122003 clauses out of 244007 with flag 15905674/7616000
580.23/557.94	c cleaning 122999 clauses out of 246004 with flag 16164699/7740000
592.17/569.73	c cleaning 124002 clauses out of 248006 with flag 16425708/7865001
605.22/582.29	c cleaning 124998 clauses out of 250003 with flag 16688194/7991000
619.26/595.95	c cleaning 125999 clauses out of 252005 with flag 16952977/8118000
633.75/610.17	c cleaning 126999 clauses out of 254007 with flag 17219497/8246001
647.03/623.27	c cleaning 127999 clauses out of 256008 with flag 17488324/8375001
659.06/635.14	c cleaning 128999 clauses out of 258008 with flag 17759097/8505000
674.01/649.40	c cleaning 130000 clauses out of 260010 with flag 18032032/8636001
689.27/664.41	c cleaning 131005 clauses out of 262010 with flag 18307246/8768001
702.55/677.59	c cleaning 132001 clauses out of 264005 with flag 18584312/8901001
717.95/692.41	c cleaning 132994 clauses out of 266004 with flag 18863668/9035001
731.54/705.78	c cleaning 134000 clauses out of 268010 with flag 19145380/9170001
744.55/718.54	c cleaning 135000 clauses out of 270010 with flag 19429770/9306001
760.56/734.45	c cleaning 135999 clauses out of 272009 with flag 19715901/9443000
776.75/750.03	c cleaning 137000 clauses out of 274011 with flag 20003982/9581001
791.25/764.30	c cleaning 138005 clauses out of 276010 with flag 20294147/9720000
805.07/778.10	c cleaning 139003 clauses out of 278006 with flag 20586466/9860001
822.19/794.71	c cleaning 139998 clauses out of 280002 with flag 20880947/10001000
836.30/808.64	c cleaning 140998 clauses out of 282004 with flag 21177261/10143000
850.79/822.61	c cleaning 142000 clauses out of 284007 with flag 21475600/10286001
865.11/836.67	c cleaning 143003 clauses out of 286007 with flag 21776491/10430001
880.99/852.31	c cleaning 144000 clauses out of 288003 with flag 22079167/10575000
895.16/866.04	c cleaning 144996 clauses out of 290004 with flag 22383876/10721001
909.22/879.87	c cleaning 146004 clauses out of 292008 with flag 22690398/10868001
926.29/894.86	c cleaning 147001 clauses out of 294004 with flag 22999075/11016001
942.04/910.18	c cleaning 147998 clauses out of 296002 with flag 23309056/11165000
956.26/924.07	c cleaning 148997 clauses out of 298005 with flag 23622091/11315001
971.36/939.00	c cleaning 149999 clauses out of 300008 with flag 23937481/11466001
984.97/952.45	c cleaning 150999 clauses out of 302008 with flag 24254426/11618000
1001.06/968.05	c cleaning 152001 clauses out of 304009 with flag 24573705/11771000
1014.79/981.49	c cleaning 153001 clauses out of 306008 with flag 24895377/11925000
1031.16/997.54	c cleaning 154001 clauses out of 308007 with flag 25218890/12080000
1047.98/1013.84	c cleaning 155000 clauses out of 310006 with flag 25544696/12236000
1063.41/1028.96	c cleaning 156001 clauses out of 312007 with flag 25873321/12393001
1077.01/1042.36	c cleaning 156999 clauses out of 314006 with flag 26203928/12551001
1091.82/1056.57	c cleaning 157998 clauses out of 316006 with flag 26535705/12710000
1106.69/1071.02	c cleaning 159000 clauses out of 318008 with flag 26869640/12870000
1120.71/1084.88	c cleaning 159999 clauses out of 320008 with flag 27206104/13031000
1138.60/1102.24	c cleaning 160998 clauses out of 322010 with flag 27544722/13193001
1154.38/1117.87	c cleaning 162001 clauses out of 324013 with flag 27885555/13356002
1170.98/1133.96	c cleaning 163002 clauses out of 326010 with flag 28228237/13520000
1191.24/1153.88	c cleaning 164003 clauses out of 328010 with flag 28573211/13685002
1209.35/1171.61	c cleaning 165003 clauses out of 330007 with flag 28920068/13851002
1230.44/1192.39	c cleaning 166000 clauses out of 332002 with flag 29268601/14018000
1251.79/1213.40	c cleaning 166998 clauses out of 334003 with flag 29619249/14186001
1271.98/1233.10	c cleaning 168001 clauses out of 336005 with flag 29972358/14355001
1291.13/1251.86	c cleaning 168997 clauses out of 338004 with flag 30327445/14525001
1315.95/1274.32	c cleaning 169999 clauses out of 340006 with flag 30683495/14696000
1339.07/1296.99	c cleaning 170999 clauses out of 342007 with flag 31041411/14868000
1360.11/1317.65	c cleaning 171999 clauses out of 344008 with flag 31402721/15041000
1381.70/1339.04	c cleaning 173001 clauses out of 346009 with flag 31766043/15215000
1403.38/1360.17	c cleaning 174000 clauses out of 348008 with flag 32131916/15390000
1426.17/1382.68	c cleaning 175003 clauses out of 350010 with flag 32499833/15566002
1450.55/1406.32	c cleaning 175996 clauses out of 352005 with flag 32868767/15743000
1476.25/1431.64	c cleaning 176997 clauses out of 354010 with flag 33240449/15921001
1497.84/1452.90	c cleaning 178004 clauses out of 356013 with flag 33614261/16100001
1518.18/1472.52	c cleaning 179001 clauses out of 358008 with flag 33990035/16280000
1535.63/1489.63	c cleaning 179999 clauses out of 360007 with flag 34367828/16461000
1557.82/1511.63	c cleaning 181001 clauses out of 362008 with flag 34747780/16643000
1580.01/1533.43	c cleaning 182003 clauses out of 364007 with flag 35129795/16826000
1605.52/1558.82	c cleaning 182999 clauses out of 366005 with flag 35513925/17010001
1631.37/1584.07	c cleaning 183999 clauses out of 368005 with flag 35899960/17195000
1654.88/1607.21	c cleaning 184999 clauses out of 370006 with flag 36288360/17381000
1674.44/1626.27	c cleaning 186002 clauses out of 372007 with flag 36678773/17568000
1697.92/1649.33	c cleaning 186998 clauses out of 374005 with flag 37071422/17756000
1722.11/1673.40	c cleaning 188003 clauses out of 376007 with flag 37465838/17945000
1746.02/1696.71	c cleaning 188995 clauses out of 378004 with flag 37862845/18135000
1770.46/1720.96	c cleaning 189999 clauses out of 380011 with flag 38261864/18326002
1791.76/1741.75	c cleaning 191000 clauses out of 382010 with flag 38663329/18518000
1817.50/1765.61	c cleaning 192003 clauses out of 384012 with flag 39066278/18711002
1840.26/1788.22	c cleaning 193002 clauses out of 386007 with flag 39471904/18905000
1865.17/1812.64	c cleaning 193999 clauses out of 388006 with flag 39879329/19100001
1887.16/1834.32	c cleaning 194998 clauses out of 390007 with flag 40288522/19296001
1912.48/1859.46	c cleaning 196001 clauses out of 392009 with flag 40700297/19493001
1937.46/1884.21	c cleaning 197003 clauses out of 394008 with flag 41114593/19691001
1961.48/1907.01	c cleaning 198000 clauses out of 396005 with flag 41530224/19890001
1988.81/1933.83	c cleaning 198999 clauses out of 398004 with flag 41947931/20090000
2014.70/1959.44	c cleaning 200001 clauses out of 400005 with flag 42368207/20291000
2040.25/1984.89	c cleaning 200998 clauses out of 402005 with flag 42789954/20493001
2069.97/2013.97	c cleaning 202001 clauses out of 404007 with flag 43213578/20696001
2095.89/2039.46	c cleaning 202997 clauses out of 406005 with flag 43639556/20900000
2118.21/2061.40	c cleaning 203998 clauses out of 408008 with flag 44067558/21105000
2143.91/2086.20	c cleaning 205002 clauses out of 410011 with flag 44497452/21311001
2167.07/2108.89	c cleaning 205999 clauses out of 412010 with flag 44930103/21518002
2190.97/2132.49	c cleaning 207002 clauses out of 414010 with flag 45363531/21726001
2217.50/2158.83	c cleaning 208000 clauses out of 416008 with flag 45798833/21935001
2241.99/2182.76	c cleaning 209000 clauses out of 418008 with flag 46236479/22145001
2270.27/2210.66	c cleaning 209999 clauses out of 420007 with flag 46676449/22356000
2300.37/2240.55	c cleaning 211000 clauses out of 422009 with flag 47118838/22568001
2333.62/2273.00	c cleaning 211999 clauses out of 424008 with flag 47563709/22781000
2363.35/2302.24	c cleaning 213000 clauses out of 426009 with flag 48010657/22995000
2393.77/2332.46	c cleaning 213999 clauses out of 428010 with flag 48459277/23210001
2427.52/2365.63	c cleaning 215003 clauses out of 430010 with flag 48910045/23426000
2458.52/2396.45	c cleaning 215999 clauses out of 432009 with flag 49362918/23643002
2496.04/2431.32	c cleaning 217001 clauses out of 434009 with flag 49817724/23861001
2525.47/2460.07	c cleaning 217996 clauses out of 436007 with flag 50275136/24080000
2557.38/2491.47	c cleaning 219000 clauses out of 438012 with flag 50734456/24300001
2590.66/2524.33	c cleaning 220002 clauses out of 440013 with flag 51195979/24521002
2621.69/2555.18	c cleaning 220999 clauses out of 442009 with flag 51659707/24743000
2654.23/2586.92	c cleaning 222002 clauses out of 444011 with flag 52125206/24966001
2687.44/2619.74	c cleaning 223003 clauses out of 446009 with flag 52592764/25190001
2722.40/2654.42	c cleaning 223998 clauses out of 448006 with flag 53062529/25415001
2756.98/2688.77	c cleaning 225001 clauses out of 450008 with flag 53534269/25641001
2789.30/2720.29	c cleaning 225996 clauses out of 452006 with flag 54007727/25868000
2819.87/2750.38	c cleaning 227000 clauses out of 454010 with flag 54483085/26096000
2851.11/2781.21	c cleaning 228005 clauses out of 456012 with flag 54960547/26325002
2878.20/2808.01	c cleaning 228996 clauses out of 458005 with flag 55440195/26555000
2908.51/2837.73	c cleaning 229999 clauses out of 460009 with flag 55921490/26786000
2942.18/2870.97	c cleaning 230999 clauses out of 462011 with flag 56405720/27018001
2974.06/2902.59	c cleaning 232003 clauses out of 464012 with flag 56891235/27251001
3009.23/2936.99	c cleaning 233002 clauses out of 466008 with flag 57379237/27485000
3050.51/2977.72	c cleaning 234003 clauses out of 468007 with flag 57869814/27720001
3089.40/3016.35	c cleaning 234995 clauses out of 470004 with flag 58362736/27956001
3126.37/3052.46	c cleaning 235999 clauses out of 472008 with flag 58857816/28193000
3165.29/3090.82	c cleaning 237004 clauses out of 474010 with flag 59354747/28431001
3199.74/3124.95	c cleaning 238002 clauses out of 476005 with flag 59853957/28670000
3237.00/3161.35	c cleaning 238997 clauses out of 478003 with flag 60355077/28910000
3281.04/3202.07	c cleaning 240004 clauses out of 480007 with flag 60858040/29151001
3318.91/3239.59	c cleaning 240995 clauses out of 482002 with flag 61363191/29393000
3360.85/3281.27	c cleaning 241996 clauses out of 484007 with flag 61870170/29636000
3399.19/3318.82	c cleaning 242999 clauses out of 486011 with flag 62379413/29880000
3441.74/3360.93	c cleaning 244003 clauses out of 488013 with flag 62890846/30125001
3482.48/3401.30	c cleaning 245005 clauses out of 490009 with flag 63404502/30371000
3520.67/3438.69	c cleaning 246000 clauses out of 492005 with flag 63920313/30618001
3562.61/3479.99	c cleaning 246997 clauses out of 494004 with flag 64437255/30866000
3600.07/3517.07	c starts		: 1
3600.07/3517.10	c conflicts		: 31115001
3600.07/3517.10	c decisions		: 33352044
3600.07/3517.10	c propagations		: 259663592
3600.07/3517.10	c inspects		: 24569223240
3600.07/3517.10	c shortcuts		: 0
3600.07/3517.10	c learnt literals	: 0
3600.07/3517.10	c learnt binary clauses	: 0
3600.07/3517.10	c learnt ternary clauses	: 0
3600.07/3517.10	c learnt constraints	: 31115001
3600.07/3517.10	c ignored constraints	: 0
3600.07/3517.10	c root simplifications	: 0
3600.07/3517.10	c removed literals (reason simplification)	: 0
3600.07/3517.10	c reason swapping (by a shorter reason)	: 0
3600.07/3517.10	c Calls to reduceDB	: 245
3600.07/3517.10	c Number of update (reduction) of LBD	: 346519
3600.07/3517.10	c Imported unit clauses	: 0
3600.07/3517.10	c No decision after first conflict	: false
3600.07/3517.10	c number of reductions to clauses (during analyze)	: 0
3600.07/3517.10	c number of learned constraints concerned by reduction	: 0
3600.07/3517.11	c number of learning phase by resolution	: 0
3600.07/3517.11	c number of learning phase by cutting planes	: 0
3600.07/3517.11	c number of rounding to 1 operations	: 0
3600.07/3517.11	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3517.11	c number of reductions of the coefficients by power 2 	: 0
3600.07/3517.11	c number of right shift for reduction by power 2 	: 0
3600.07/3517.11	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3517.11	c number of ending skipping 	: 0
3600.07/3517.11	c number of internal skipping 	: 0
3600.07/3517.11	c number of derivation steps 	: 0
3600.07/3517.11	c number of skipped derivation steps 	: 0
3600.27/3517.11	c number of remaining unassigned 	: 0
3600.27/3517.11	c number of remaining assigned 	: 0
3600.27/3517.12	c number of falsified literals weakened from reason	: 0
3600.27/3517.12	c number of falsified literals weakened from conflict	: 0
3600.27/3517.12	c time for arithmetic operations	: 0
3600.27/3517.14	c minimum degree of deleted constraints	: null
3600.27/3517.14	c maximum degree of deleted constraints	: null
3600.27/3517.14	c number of deleted constraints	: 0
3600.27/3517.14	c speed (assignments/second)	: 73836.3435506413
3600.27/3517.15	c non guided choices	: 183
3600.64/3517.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 496008
3600.64/3517.38	s UNKNOWN
3600.64/3517.38	c Total wall clock time (in seconds): 3517.073

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100089 s]*
/proc/loadavg: 4.45 4.31 4.28 5/316 1061566
/proc/meminfo: memFree=116671800/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=18975048 memory=56260 CPUtime=0.14 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 6582 0 0 0 12 2 0 0 20 0 18 0 197627031 19430449152 14065 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4743762 14065 5633 1 0 550931 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 5459 0 0 0 7 2 0 0 20 0 18 0 197627031 19430449152 14065 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197627035 19430449152 14100 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197627036 19430449152 14100 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56260 KiB

[startup+0.226083 s]*
/proc/loadavg: 4.45 4.31 4.28 6/316 1061566
/proc/meminfo: memFree=116664820/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=18975048 memory=62820 CPUtime=0.32 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 7187 0 0 0 29 3 0 0 20 0 18 0 197627031 19430449152 15705 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4743762 15705 5641 1 0 551396 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 5724 0 0 0 17 2 0 0 20 0 18 0 197627031 19430449152 15705 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197627035 19430449152 15705 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197627036 19430449152 15705 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62820 KiB

[startup+0.314953 s]*
/proc/loadavg: 4.45 4.31 4.28 5/316 1061566
/proc/meminfo: memFree=116661764/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=18975048 memory=66348 CPUtime=0.45 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 7416 0 0 0 42 3 0 0 20 0 18 0 197627031 19430449152 16587 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4743762 16587 5752 1 0 551569 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=18975048 memory=-7739538742172477282 CPUtime=0.26 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 1077936192 5865 0 0 0 24 2 0 0 20 0 18 0 197627031 19430449152 16587 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197627035 19430449152 16587 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197627036 19430449152 16587 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66348 KiB

[startup+0.706064 s]
/proc/loadavg: 4.45 4.31 4.28 7/317 1061567
/proc/meminfo: memFree=116658420/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19041612 memory=78500 CPUtime=1.16 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 9109 0 0 0 112 4 0 0 20 0 19 0 197627031 19498610688 19625 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4760403 19625 5853 1 0 552673 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19041612 memory=5616 CPUtime=0.61 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 5950 0 0 0 58 3 0 0 20 0 19 0 197627031 19498610688 19625 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197627035 19498610688 19625 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197627036 19498610688 19625 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197627071 19498610688 19625 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78500 KiB

[startup+1.50107 s]
/proc/loadavg: 4.45 4.31 4.28 7/317 1061567
/proc/meminfo: memFree=116635460/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19041612 memory=117876 CPUtime=2.74 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 15725 0 0 0 268 6 0 0 20 0 19 0 197627031 19498610688 29469 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4760403 29469 5853 1 0 554650 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19041612 memory=11884 CPUtime=1.37 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 7091 0 0 0 134 3 0 0 20 0 19 0 197627031 19498610688 29469 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197627035 19498610688 29469 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197627036 19498610688 29469 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19041612 memory=280038981412112 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197627071 19498610688 29469 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 117876 KiB

[startup+3.10606 s]
/proc/loadavg: 4.45 4.31 4.28 6/318 1061568
/proc/meminfo: memFree=116477176/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=250764 CPUtime=4.85 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 17855 0 0 0 475 10 0 0 20 0 20 0 197627031 19566772224 62691 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 62691 5885 1 0 555149 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=0 CPUtime=2.77 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 7418 0 0 0 273 4 0 0 20 0 20 0 197627031 19566772224 62691 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 62691 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 62691 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 62691 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 250764 KiB

[startup+6.30046 s]
/proc/loadavg: 4.41 4.31 4.28 6/318 1061569
/proc/meminfo: memFree=116351396/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=426056 CPUtime=8.23 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 18885 0 0 0 808 15 0 0 20 0 20 0 197627031 19566772224 106514 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 106514 5885 1 0 1083635 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=11884 CPUtime=5.59 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 7532 0 0 0 554 5 0 0 20 0 20 0 197627031 19566772224 106514 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 106514 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=126088 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 106514 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 106514 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 426056 KiB

[startup+12.7005 s]
/proc/loadavg: 4.38 4.30 4.28 5/318 1061569
/proc/meminfo: memFree=115740708/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=946784 CPUtime=15.12 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 21263 0 0 0 1487 25 0 0 20 0 20 0 197627031 19566772224 236696 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 236696 5898 1 0 1083646 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=0 CPUtime=11.45 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 8257 0 0 0 1137 8 0 0 20 0 20 0 197627031 19566772224 236696 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=-7739538742172477282 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 236696 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 236696 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 236696 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 15.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 946784 KiB

[startup+25.5005 s]
/proc/loadavg: 4.30 4.28 4.27 5/318 1061572
/proc/meminfo: memFree=114639344/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=1746640 CPUtime=28.56 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 24760 0 0 0 2815 41 0 0 20 0 20 0 197627031 19566772224 436660 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 436660 5898 1 0 1403247 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=11596 CPUtime=23.52 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 9091 0 0 0 2339 13 0 0 20 0 20 0 197627031 19566772224 436660 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 436660 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=438344 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 436660 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=280038981358896 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 436660 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 28.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1746640 KiB

[startup+51.113 s]
/proc/loadavg: 4.39 4.31 4.28 5/318 1061576
/proc/meminfo: memFree=112665516/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=2874320 CPUtime=55.24 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 30512 0 0 0 5458 66 0 0 20 0 20 0 197627031 19566772224 718580 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 718580 5914 1 0 1511871 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=2700236 CPUtime=47.94 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 10303 0 0 0 4777 17 0 0 20 0 20 0 197627031 19566772224 718580 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=280038982108544 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 718580 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0

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

/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 68895 0 0 0 308071 87 0 0 20 0 20 0 197627031 19566772224 3503761 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=13576772 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 3503761 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=10559288 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 806 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 3503761 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=14015044 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 3503761 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 3238 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14015044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.21 4.18 6/317 1063330
/proc/meminfo: memFree=84415112/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=14613612 CPUtime=3301.72 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 308762 0 0 0 329666 506 0 0 20 0 20 0 197627031 19566772224 3653403 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 3653403 5930 1 0 4085180 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=13576772 CPUtime=3140.3 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 71976 0 0 0 313937 93 0 0 20 0 20 0 197627031 19566772224 3653403 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=13576772 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 3653403 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 806 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 3653403 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=14613612 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 3653403 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 3301.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14613612 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.19 4.18 6/317 1063341
/proc/meminfo: memFree=84312008/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=14712108 CPUtime=3362.04 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 314159 0 0 0 335692 512 0 0 20 0 20 0 197627031 19566772224 3678027 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 3678027 5930 1 0 4085180 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=14711952 CPUtime=3199.62 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 73226 0 0 0 319869 93 0 0 20 0 20 0 197627031 19566772224 3678027 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=14711952 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 3678027 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 807 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 3678027 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 3678027 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 3362.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14712108 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/317 1063351
/proc/meminfo: memFree=84213156/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=14712168 CPUtime=3423.17 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 316041 0 0 0 341801 516 0 0 20 0 20 0 197627031 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 3678042 5930 1 0 4085180 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=11596 CPUtime=3258.19 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 73808 0 0 0 325726 93 0 0 20 0 20 0 197627031 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=14712112 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 853 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 3423.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14712168 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.26 4.20 5/317 1063428
/proc/meminfo: memFree=94575576/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=14712168 CPUtime=3483.48 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 316994 0 0 0 347829 519 0 0 20 0 20 0 197627031 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 3678042 5930 1 0 4085180 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=14712168 CPUtime=3317.6 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 74196 0 0 0 331667 93 0 0 20 0 20 0 197627031 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=14712112 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 853 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=14712168 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 3483.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14712168 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/317 1063507
/proc/meminfo: memFree=106201296/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=14712168 CPUtime=3545.03 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 318950 0 0 0 353981 522 0 0 20 0 20 0 197627031 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 3678042 5930 1 0 4085180 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=14712112 CPUtime=3375.78 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 74333 0 0 0 337485 93 0 0 20 0 20 0 197627031 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 853 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=14712168 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 3545.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14712168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3517 s]*
/proc/loadavg: 4.09 4.19 4.18 5/319 1063521
/proc/meminfo: memFree=106064968/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19108176 memory=14712168 CPUtime=3600.07 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 319053 0 0 0 359483 524 0 0 20 0 20 0 197627031 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4777044 3678042 5930 1 0 4085180 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19108176 memory=-7595423554096882531 CPUtime=3429.92 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 74386 0 0 0 342899 93 0 0 20 0 20 0 197627031 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19108176 memory=1400783992151629882 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197627035 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19108176 memory=-7739538742172477282 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 853 0 0 0 0 0 0 0 20 0 20 0 197627036 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061567] ppid=1061545 vsize=19108176 memory=32628 CPUtime=0 cores=5,7
/proc/1061548/task/1061567/stat : 1061567 (Timer-0) S 1061545 1061548 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197627071 19566772224 3678042 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14712168 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.56 s, system=5.31998 s

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

[startup+3517.21 s]
/proc/loadavg: 4.09 4.19 4.18 5/319 1063521
/proc/meminfo: memFree=106064968/131655788 swapFree=131071996/131071996
[pid=1061548] ppid=1061545 vsize=19307868 memory=14712744 CPUtime=3600.45 cores=5,7
/proc/1061548/stat : 1061548 (java) S 1061545 1061548 1058409 0 -1 1077936128 321683 0 0 0 359520 525 0 0 20 0 21 0 197627031 19771256832 3678186 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
/proc/1061548/statm: 4826967 3678186 5929 1 0 4086067 0
[pid=1061548/tid=1061550] ppid=1061545 vsize=19307868 memory=7020 CPUtime=3430.12 cores=5,7
/proc/1061548/task/1061550/stat : 1061550 (java) R 1061545 1061548 1058409 0 -1 4194368 74386 0 0 0 342919 93 0 0 20 0 21 0 197627031 19771256832 3678186 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061559] ppid=1061545 vsize=19307868 memory=-7739538742172477282 CPUtime=0 cores=5,7
/proc/1061548/task/1061559/stat : 1061559 (Finalizer) S 1061545 1061548 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 197627035 19771256832 3678186 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
[pid=1061548/tid=1061566] ppid=1061545 vsize=19307868 memory=3565 CPUtime=0 cores=5,7
/proc/1061548/task/1061566/stat : 1061566 (Common-Cleaner) S 1061545 1061548 1058409 0 -1 1077936192 853 0 0 0 0 0 0 0 20 0 21 0 197627036 19771256832 3678186 134679101440 94477732700160 94477732703856 140732437711664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94477732711672 94477732712464 94477754937344 140732437718021 140732437718111 140732437718111 140732437725128 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14712744 KiB

[startup+3517.4 s]*
/proc/loadavg: 4.09 4.19 4.18 5/301 1063524
/proc/meminfo: memFree=106076816/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3517.48
CPU time (s): 3600.88
CPU user time (s): 3595.56
CPU system time (s): 5.31998
CPU usage (%): 102.371
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14712744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.56
system time used= 5.31998
maximum resident set size= 14713744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115570
involuntary context switches= 9190


# summary of solver processes directly reported to runsolver:
#   pid: 1061548
#   total CPU time (s): 3600.88
#   total CPU user time (s): 3595.56
#   total CPU system time (s): 5.31998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0532 second user time and 34.5195 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 07:52:01
IDJOB=4453324
IDBENCH=171267
IDSOLVER=3058
FILE ID=nodeC003/4453324-1721454709
RUNJOBID= nodeC003-1721450898-1058422
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-v2_shuffle/normalized-grid8_59.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453324-1721454709/watcher-4453324-1721454709 -o /tmp/evaluation-result-4453324-1721454709/solver-4453324-1721454709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058422 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453324-1721454709.opb

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

MD5SUM BENCH= 254a849970c239072df004e28e5fe1a7
RANDOM SEED=1267990803

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		: 3633.213
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		: 3656.897
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.227
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.337
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		: 3654.947
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		: 1696.068
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.435
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		: 1795.842
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:        116707392 kB
MemAvailable:   122349944 kB
Buffers:          567732 kB
Cached:          5856984 kB
SwapCached:            0 kB
Active:          1059444 kB
Inactive:       13183820 kB
Active(anon):       1452 kB
Inactive(anon):  7862968 kB
Active(file):    1057992 kB
Inactive(file):  5320852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1996 kB
Writeback:             0 kB
AnonPages:       7818564 kB
Mapped:           128512 kB
Shmem:             45896 kB
KReclaimable:     207480 kB
Slab:             323528 kB
SReclaimable:     207480 kB
SUnreclaim:       116048 kB
KernelStack:        4816 kB
PageTables:        25460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   12535520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7442432 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:50:39