Trace number 4453084

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.41 3493.51

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.shuf-3.opb
MD5SUMbca3b64090d9c28929d1ba0e342c0a17
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 benchmark4.71714
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables712
Total number of constraints1425
Number of constraints which are clauses1424
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 constraint712
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 732
Number of bits of the biggest sum of numbers10
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4453084-1721451700.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.13/0.16	c ... done. Wall clock time 0.036s.
0.13/0.16	c declared #vars     712
0.13/0.16	c #constraints  1425
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1424
0.13/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.16	c 1425 constraints processed.
1.28/0.70	c cleaning 2500 clauses out of 5000 with flag 10203/5000
1.47/0.90	c cleaning 4250 clauses out of 8500 with flag 22403/11000
1.93/1.20	c cleaning 5625 clauses out of 11250 with flag 36624/18000
2.31/1.60	c cleaning 6810 clauses out of 13626 with flag 52936/26001
2.87/1.94	c cleaning 7907 clauses out of 15816 with flag 71389/35001
3.42/2.43	c cleaning 8952 clauses out of 17909 with flag 91879/45001
4.02/2.93	c cleaning 9977 clauses out of 19958 with flag 114508/56002
4.68/3.53	c cleaning 10987 clauses out of 21979 with flag 139233/68000
5.27/4.13	c cleaning 11997 clauses out of 23993 with flag 166025/81001
6.17/4.92	c cleaning 12995 clauses out of 25995 with flag 194915/95000
6.76/5.55	c cleaning 13998 clauses out of 28001 with flag 225908/110001
7.63/6.36	c cleaning 15001 clauses out of 30002 with flag 258929/126000
8.45/7.14	c cleaning 15999 clauses out of 32001 with flag 293796/143000
9.42/8.06	c cleaning 17000 clauses out of 34002 with flag 330618/161000
10.59/9.11	c cleaning 18001 clauses out of 36004 with flag 369478/180002
11.70/10.18	c cleaning 19001 clauses out of 38002 with flag 410688/200001
12.88/11.31	c cleaning 19997 clauses out of 40001 with flag 453956/221001
14.32/12.64	c cleaning 21000 clauses out of 42003 with flag 499113/243000
15.42/13.74	c cleaning 22002 clauses out of 44004 with flag 546304/266001
16.95/15.11	c cleaning 22998 clauses out of 46002 with flag 595465/290001
18.48/16.54	c cleaning 24001 clauses out of 48003 with flag 646665/315000
19.67/17.77	c cleaning 24997 clauses out of 50004 with flag 700461/341002
21.52/19.40	c cleaning 25999 clauses out of 52005 with flag 756264/368000
23.16/20.96	c cleaning 27001 clauses out of 54007 with flag 814115/396001
25.01/22.61	c cleaning 28000 clauses out of 56005 with flag 874062/425000
26.61/24.21	c cleaning 29001 clauses out of 58006 with flag 936034/455001
28.59/26.15	c cleaning 30003 clauses out of 60006 with flag 999956/486002
30.93/28.38	c cleaning 30999 clauses out of 62001 with flag 1065606/518000
32.88/30.19	c cleaning 31999 clauses out of 64003 with flag 1133311/551001
35.35/32.40	c cleaning 33002 clauses out of 66004 with flag 1203221/585001
37.35/34.41	c cleaning 33995 clauses out of 68001 with flag 1275217/620000
39.64/36.57	c cleaning 35001 clauses out of 70008 with flag 1349182/656002
42.32/39.04	c cleaning 35998 clauses out of 72006 with flag 1425252/693001
44.99/41.59	c cleaning 37003 clauses out of 74008 with flag 1503268/731001
48.85/44.66	c cleaning 37999 clauses out of 76004 with flag 1583337/770000
51.60/47.27	c cleaning 39001 clauses out of 78006 with flag 1665599/810001
54.96/50.40	c cleaning 39998 clauses out of 80004 with flag 1749771/851000
58.04/53.34	c cleaning 41004 clauses out of 82007 with flag 1835917/893001
61.03/56.39	c cleaning 42000 clauses out of 84002 with flag 1924085/936000
64.11/59.35	c cleaning 43002 clauses out of 86003 with flag 2014343/980001
67.50/62.68	c cleaning 44000 clauses out of 88002 with flag 2106731/1025002
70.63/65.61	c cleaning 44991 clauses out of 90000 with flag 2201501/1071000
73.71/68.69	c cleaning 46004 clauses out of 92009 with flag 2298178/1118000
77.42/72.29	c cleaning 46999 clauses out of 94007 with flag 2397178/1166002
81.56/76.25	c cleaning 48000 clauses out of 96007 with flag 2498262/1215001
85.97/80.34	c cleaning 48998 clauses out of 98007 with flag 2601241/1265001
90.35/84.53	c cleaning 49998 clauses out of 100008 with flag 2706444/1316000
94.74/88.71	c cleaning 51002 clauses out of 102012 with flag 2813596/1368002
99.75/92.72	c cleaning 52001 clauses out of 104008 with flag 2922805/1421000
104.38/97.24	c cleaning 52999 clauses out of 106008 with flag 3034119/1475001
109.22/102.07	c cleaning 53998 clauses out of 108008 with flag 3147350/1530000
114.33/106.87	c cleaning 54998 clauses out of 110012 with flag 3262372/1586002
119.40/111.74	c cleaning 56005 clauses out of 112013 with flag 3379573/1643001
125.18/117.41	c cleaning 56997 clauses out of 114007 with flag 3498752/1701000
130.64/122.87	c cleaning 58003 clauses out of 116011 with flag 3620099/1760001
136.34/128.53	c cleaning 59001 clauses out of 118008 with flag 3743478/1820001
141.93/134.11	c cleaning 60001 clauses out of 120007 with flag 3868833/1881001
148.12/140.22	c cleaning 60998 clauses out of 122007 with flag 3996223/1943002
152.38/144.32	c cleaning 62005 clauses out of 124009 with flag 4125534/2006002
156.95/148.74	c cleaning 62996 clauses out of 126002 with flag 4257298/2070000
162.36/153.71	c cleaning 63999 clauses out of 128006 with flag 4391284/2135000
169.21/159.31	c cleaning 65001 clauses out of 130008 with flag 4527132/2201001
174.95/164.74	c cleaning 66000 clauses out of 132008 with flag 4664870/2268002
180.78/170.44	c cleaning 66998 clauses out of 134007 with flag 4804738/2336001
187.20/176.58	c cleaning 68001 clauses out of 136009 with flag 4946523/2405001
193.61/182.84	c cleaning 68999 clauses out of 138007 with flag 5090263/2475000
199.66/188.64	c cleaning 69997 clauses out of 140008 with flag 5236112/2546000
206.46/195.33	c cleaning 71005 clauses out of 142011 with flag 5384134/2618000
215.21/203.80	c cleaning 71998 clauses out of 144007 with flag 5533605/2691001
222.65/210.93	c cleaning 73000 clauses out of 146009 with flag 5685067/2765001
230.93/219.09	c cleaning 74004 clauses out of 148009 with flag 5838208/2840001
239.34/227.11	c cleaning 74996 clauses out of 150004 with flag 5993433/2916000
247.65/235.12	c cleaning 76004 clauses out of 152009 with flag 6150821/2993001
255.81/243.19	c cleaning 76999 clauses out of 154004 with flag 6310424/3071000
264.65/251.73	c cleaning 78000 clauses out of 156006 with flag 6471910/3150001
273.10/259.84	c cleaning 78997 clauses out of 158006 with flag 6635487/3230001
282.90/268.31	c cleaning 80002 clauses out of 160009 with flag 6801203/3311001
291.50/276.69	c cleaning 80996 clauses out of 162006 with flag 6969007/3393000
300.88/285.69	c cleaning 82000 clauses out of 164010 with flag 7138741/3476000
309.83/294.49	c cleaning 83006 clauses out of 166011 with flag 7310340/3560001
317.18/301.49	c cleaning 83998 clauses out of 168004 with flag 7483946/3645000
325.45/309.55	c cleaning 84998 clauses out of 170006 with flag 7658841/3731000
334.82/318.58	c cleaning 86005 clauses out of 172010 with flag 7836382/3818002
343.45/327.05	c cleaning 86998 clauses out of 174003 with flag 8016309/3906000
352.12/335.47	c cleaning 88004 clauses out of 176007 with flag 8197381/3995002
362.01/344.93	c cleaning 89001 clauses out of 178003 with flag 8381173/4085002
371.09/353.87	c cleaning 90001 clauses out of 180001 with flag 8566937/4176001
381.09/363.55	c cleaning 90992 clauses out of 181999 with flag 8754361/4268000
391.03/373.15	c cleaning 92002 clauses out of 184010 with flag 8944340/4361003
400.06/382.03	c cleaning 93000 clauses out of 186007 with flag 9136537/4455002
409.01/390.73	c cleaning 93998 clauses out of 188007 with flag 9331286/4550002
421.16/400.74	c cleaning 94998 clauses out of 190007 with flag 9527310/4646000
429.62/408.93	c cleaning 96001 clauses out of 192009 with flag 9726121/4743000
438.88/418.17	c cleaning 97003 clauses out of 194009 with flag 9927874/4841001
448.41/427.36	c cleaning 97999 clauses out of 196006 with flag 10131411/4940001
458.13/436.89	c cleaning 99001 clauses out of 198008 with flag 10337313/5040002
469.58/447.68	c cleaning 100000 clauses out of 200006 with flag 10544838/5141001
478.93/456.68	c cleaning 101000 clauses out of 202006 with flag 10754039/5243001
486.88/464.33	c cleaning 102001 clauses out of 204005 with flag 10965282/5346000
498.49/475.59	c cleaning 103000 clauses out of 206005 with flag 11179260/5450001
507.91/484.71	c cleaning 103999 clauses out of 208004 with flag 11394540/5555000
516.59/493.01	c cleaning 105000 clauses out of 210005 with flag 11612013/5661000
527.46/503.73	c cleaning 106001 clauses out of 212005 with flag 11832173/5768000
538.70/514.42	c cleaning 106997 clauses out of 214004 with flag 12054178/5876000
550.29/525.81	c cleaning 108001 clauses out of 216008 with flag 12278653/5985001
562.00/537.02	c cleaning 109003 clauses out of 218008 with flag 12505439/6095002
573.44/548.24	c cleaning 110001 clauses out of 220003 with flag 12733450/6206000
584.90/559.30	c cleaning 110999 clauses out of 222002 with flag 12963633/6318000
596.08/570.28	c cleaning 111999 clauses out of 224003 with flag 13195951/6431000
607.92/581.68	c cleaning 112998 clauses out of 226006 with flag 13430616/6545002
623.11/594.98	c cleaning 113999 clauses out of 228007 with flag 13667103/6660001
636.90/608.28	c cleaning 114998 clauses out of 230007 with flag 13905900/6776000
649.16/620.21	c cleaning 116001 clauses out of 232009 with flag 14146569/6893000
662.68/633.18	c cleaning 117001 clauses out of 234009 with flag 14389236/7011001
673.22/643.45	c cleaning 118004 clauses out of 236007 with flag 14634159/7130000
688.86/658.64	c cleaning 118997 clauses out of 238003 with flag 14881101/7250000
703.45/672.91	c cleaning 120000 clauses out of 240006 with flag 15129990/7371000
717.59/686.52	c cleaning 121001 clauses out of 242007 with flag 15380849/7493001
731.42/700.19	c cleaning 122002 clauses out of 244005 with flag 15633829/7616000
746.52/714.73	c cleaning 122998 clauses out of 246004 with flag 15889008/7740001
760.94/728.92	c cleaning 123999 clauses out of 248006 with flag 16146310/7865001
776.54/744.04	c cleaning 125000 clauses out of 250007 with flag 16405362/7991001
791.86/759.19	c cleaning 126003 clauses out of 252007 with flag 16666642/8118001
807.29/774.11	c cleaning 126997 clauses out of 254004 with flag 16930373/8246001
822.01/788.60	c cleaning 128003 clauses out of 256007 with flag 17196048/8375001
838.32/804.46	c cleaning 128997 clauses out of 258004 with flag 17463807/8505001
857.05/820.07	c cleaning 129999 clauses out of 260006 with flag 17733113/8636000
874.20/836.95	c cleaning 131002 clauses out of 262009 with flag 18004844/8768002
891.15/853.67	c cleaning 132002 clauses out of 264007 with flag 18278493/8901002
907.44/869.27	c cleaning 132999 clauses out of 266004 with flag 18554153/9035001
924.19/885.69	c cleaning 133999 clauses out of 268004 with flag 18831545/9170000
941.01/902.21	c cleaning 134999 clauses out of 270005 with flag 19111298/9306000
958.41/919.16	c cleaning 136001 clauses out of 272008 with flag 19392993/9443002
976.37/936.81	c cleaning 136993 clauses out of 274005 with flag 19676718/9581000
994.99/954.95	c cleaning 138005 clauses out of 276012 with flag 19962656/9720000
1012.63/972.25	c cleaning 139000 clauses out of 278007 with flag 20250496/9860000
1029.23/988.66	c cleaning 140002 clauses out of 280007 with flag 20540494/10001000
1049.72/1008.66	c cleaning 141002 clauses out of 282005 with flag 20832560/10143000
1067.85/1026.47	c cleaning 141999 clauses out of 284003 with flag 21126562/10286000
1086.46/1044.51	c cleaning 142998 clauses out of 286005 with flag 21422995/10430001
1104.48/1062.30	c cleaning 144000 clauses out of 288007 with flag 21721298/10575001
1123.20/1080.55	c cleaning 144996 clauses out of 290006 with flag 22021600/10721000
1142.72/1099.81	c cleaning 146002 clauses out of 292011 with flag 22324004/10868001
1164.50/1121.09	c cleaning 147000 clauses out of 294009 with flag 22628458/11016001
1185.88/1142.30	c cleaning 148002 clauses out of 296008 with flag 22935082/11165000
1206.10/1161.96	c cleaning 148996 clauses out of 298006 with flag 23243804/11315000
1228.14/1181.33	c cleaning 150001 clauses out of 300011 with flag 23554683/11466001
1250.32/1203.08	c cleaning 151002 clauses out of 302009 with flag 23867286/11618000
1269.62/1222.18	c cleaning 152004 clauses out of 304009 with flag 24181305/11771002
1291.30/1243.29	c cleaning 153001 clauses out of 306004 with flag 24498252/11925001
1311.19/1262.86	c cleaning 153998 clauses out of 308002 with flag 24817150/12080000
1332.99/1284.53	c cleaning 154997 clauses out of 310005 with flag 25138627/12236001
1354.18/1305.29	c cleaning 156001 clauses out of 312009 with flag 25461587/12393002
1379.68/1330.68	c cleaning 157002 clauses out of 314007 with flag 25786353/12551001
1401.79/1352.15	c cleaning 157999 clauses out of 316004 with flag 26113533/12710000
1423.91/1374.02	c cleaning 159000 clauses out of 318006 with flag 26442561/12870001
1447.24/1396.88	c cleaning 159998 clauses out of 320006 with flag 26773233/13031001
1468.71/1418.09	c cleaning 161001 clauses out of 322007 with flag 27106300/13193000
1491.04/1439.81	c cleaning 161997 clauses out of 324006 with flag 27441589/13356000
1514.66/1463.28	c cleaning 162998 clauses out of 326009 with flag 27778880/13520000
1538.47/1486.33	c cleaning 164000 clauses out of 328011 with flag 28118400/13685000
1560.45/1508.12	c cleaning 165000 clauses out of 330012 with flag 28459834/13851001
1584.94/1532.07	c cleaning 166000 clauses out of 332012 with flag 28802826/14018001
1611.16/1555.25	c cleaning 167003 clauses out of 334012 with flag 29148419/14186001
1638.73/1582.67	c cleaning 167998 clauses out of 336008 with flag 29495875/14355000
1662.91/1606.30	c cleaning 169002 clauses out of 338011 with flag 29845384/14525001
1689.42/1632.68	c cleaning 170005 clauses out of 340010 with flag 30196985/14696002
1713.67/1656.29	c cleaning 171000 clauses out of 342003 with flag 30550832/14868000
1738.58/1680.22	c cleaning 172001 clauses out of 344003 with flag 30906644/15041000
1763.16/1704.46	c cleaning 173000 clauses out of 346003 with flag 31264525/15215001
1790.71/1731.27	c cleaning 173997 clauses out of 348003 with flag 31624407/15390001
1817.16/1757.53	c cleaning 175002 clauses out of 350006 with flag 31986120/15566001
1843.34/1783.35	c cleaning 175997 clauses out of 352004 with flag 32350008/15743001
1868.54/1807.94	c cleaning 177002 clauses out of 354006 with flag 32715571/15921000
1896.04/1835.17	c cleaning 178000 clauses out of 356005 with flag 33083802/16100001
1924.00/1862.60	c cleaning 178999 clauses out of 358005 with flag 33454070/16280001
1955.35/1890.08	c cleaning 180002 clauses out of 360005 with flag 33826126/16461000
1981.50/1915.91	c cleaning 180999 clauses out of 362003 with flag 34200589/16643000
2007.51/1941.43	c cleaning 181996 clauses out of 364004 with flag 34577102/16826000
2038.32/1971.70	c cleaning 183004 clauses out of 366008 with flag 34955223/17010000
2067.23/1999.89	c cleaning 183995 clauses out of 368004 with flag 35335421/17195000
2100.84/2033.02	c cleaning 185002 clauses out of 370011 with flag 35717933/17381002
2132.01/2063.64	c cleaning 185998 clauses out of 372007 with flag 36102408/17568000
2160.86/2091.95	c cleaning 187003 clauses out of 374011 with flag 36489042/17756002
2192.60/2123.05	c cleaning 187998 clauses out of 376007 with flag 36877408/17945001
2222.40/2152.52	c cleaning 189002 clauses out of 378009 with flag 37268468/18135001
2252.86/2182.67	c cleaning 190003 clauses out of 380007 with flag 37661354/18326001
2285.08/2214.30	c cleaning 190997 clauses out of 382004 with flag 38056058/18518001
2326.14/2250.90	c cleaning 191999 clauses out of 384006 with flag 38452875/18711000
2356.63/2281.32	c cleaning 193001 clauses out of 386008 with flag 38851672/18905001
2389.73/2313.98	c cleaning 193995 clauses out of 388008 with flag 39252852/19100002
2419.10/2342.94	c cleaning 195002 clauses out of 390011 with flag 39655997/19296000
2444.50/2367.73	c cleaning 195997 clauses out of 392009 with flag 40061187/19493000
2478.48/2401.00	c cleaning 197004 clauses out of 394013 with flag 40468194/19691001
2513.78/2435.31	c cleaning 198001 clauses out of 396008 with flag 40877858/19890000
2545.01/2465.76	c cleaning 198997 clauses out of 398008 with flag 41289614/20090001
2578.10/2498.60	c cleaning 200001 clauses out of 400010 with flag 41703119/20291000
2613.83/2533.93	c cleaning 201002 clauses out of 402010 with flag 42119030/20493001
2648.16/2567.95	c cleaning 202002 clauses out of 404007 with flag 42537163/20696000
2680.62/2600.05	c cleaning 203000 clauses out of 406006 with flag 42956294/20900001
2718.19/2634.39	c cleaning 204000 clauses out of 408007 with flag 43378111/21105002
2753.85/2669.47	c cleaning 205000 clauses out of 410005 with flag 43802328/21311000
2790.79/2705.96	c cleaning 205999 clauses out of 412006 with flag 44227861/21518001
2829.57/2744.15	c cleaning 207000 clauses out of 414007 with flag 44655707/21726001
2865.37/2779.11	c cleaning 207998 clauses out of 416007 with flag 45085633/21935001
2903.89/2817.00	c cleaning 209001 clauses out of 418008 with flag 45517110/22145000
2942.18/2854.59	c cleaning 210001 clauses out of 420008 with flag 45951111/22356001
2978.86/2890.50	c cleaning 211000 clauses out of 422007 with flag 46387160/22568001
3013.14/2923.90	c cleaning 211999 clauses out of 424006 with flag 46825289/22781000
3056.43/2962.30	c cleaning 213002 clauses out of 426007 with flag 47265516/22995000
3095.99/3001.11	c cleaning 213998 clauses out of 428006 with flag 47708380/23210001
3133.67/3038.10	c cleaning 214998 clauses out of 430007 with flag 48153148/23426000
3171.88/3075.51	c cleaning 216001 clauses out of 432011 with flag 48599816/23643002
3210.58/3113.58	c cleaning 217000 clauses out of 434008 with flag 49048144/23861000
3247.74/3149.99	c cleaning 217998 clauses out of 436008 with flag 49498526/24080000
3286.58/3188.12	c cleaning 219002 clauses out of 438010 with flag 49951301/24300000
3325.86/3226.76	c cleaning 220001 clauses out of 440008 with flag 50406623/24521000
3362.69/3262.85	c cleaning 221001 clauses out of 442009 with flag 50864138/24743002
3407.53/3303.93	c cleaning 222000 clauses out of 444007 with flag 51323067/24966001
3444.77/3340.69	c cleaning 222998 clauses out of 446007 with flag 51784157/25190001
3484.72/3380.29	c cleaning 224000 clauses out of 448009 with flag 52247205/25415001
3520.09/3415.14	c cleaning 224998 clauses out of 450009 with flag 52711956/25641001
3565.42/3459.31	c cleaning 226004 clauses out of 452011 with flag 53179524/25868001
3600.06/3493.32	c starts		: 1
3600.06/3493.34	c conflicts		: 26096000
3600.06/3493.34	c decisions		: 27850474
3600.06/3493.34	c propagations		: 142590975
3600.06/3493.34	c inspects		: 23620281634
3600.06/3493.34	c shortcuts		: 0
3600.06/3493.34	c learnt literals	: 0
3600.06/3493.34	c learnt binary clauses	: 0
3600.06/3493.34	c learnt ternary clauses	: 0
3600.06/3493.34	c learnt constraints	: 26096000
3600.06/3493.34	c ignored constraints	: 0
3600.06/3493.34	c root simplifications	: 0
3600.06/3493.34	c removed literals (reason simplification)	: 0
3600.06/3493.34	c reason swapping (by a shorter reason)	: 0
3600.06/3493.34	c Calls to reduceDB	: 224
3600.06/3493.34	c Number of update (reduction) of LBD	: 191669
3600.06/3493.34	c Imported unit clauses	: 0
3600.06/3493.34	c No decision after first conflict	: false
3600.06/3493.36	c number of reductions to clauses (during analyze)	: 0
3600.06/3493.36	c number of learned constraints concerned by reduction	: 0
3600.06/3493.36	c number of learning phase by resolution	: 0
3600.06/3493.36	c number of learning phase by cutting planes	: 0
3600.06/3493.36	c number of rounding to 1 operations	: 0
3600.06/3493.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3493.36	c number of reductions of the coefficients by power 2 	: 0
3600.06/3493.36	c number of right shift for reduction by power 2 	: 0
3600.06/3493.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3493.36	c number of ending skipping 	: 0
3600.06/3493.36	c number of internal skipping 	: 0
3600.06/3493.36	c number of derivation steps 	: 0
3600.06/3493.36	c number of skipped derivation steps 	: 0
3600.06/3493.36	c number of remaining unassigned 	: 0
3600.06/3493.36	c number of remaining assigned 	: 0
3600.06/3493.36	c number of falsified literals weakened from reason	: 0
3600.06/3493.36	c number of falsified literals weakened from conflict	: 0
3600.06/3493.36	c time for arithmetic operations	: 0
3600.06/3493.36	c minimum degree of deleted constraints	: null
3600.06/3493.36	c maximum degree of deleted constraints	: null
3600.06/3493.36	c number of deleted constraints	: 0
3600.06/3493.36	c speed (assignments/second)	: 40819.69036333828
3600.06/3493.36	c non guided choices	: 172
3600.27/3493.45	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 454006
3600.27/3493.45	s UNKNOWN
3600.27/3493.45	c Total wall clock time (in seconds): 3493.329

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453084-1721451700/watcher-4453084-1721451700 -o /tmp/evaluation-result-4453084-1721451700/solver-4453084-1721451700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015387 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453084-1721451700.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.1005 s]*
/proc/loadavg: 4.17 4.25 4.26 5/331 1019761
/proc/meminfo: memFree=109521324/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=18975048 memory=62664 CPUtime=0.13 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 7207 0 0 0 11 2 0 0 20 0 18 0 197330617 19430449152 15666 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4743762 15666 5557 1 0 549339 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 5750 0 0 0 7 2 0 0 20 0 18 0 197330617 19430449152 15666 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197330620 19430449152 15666 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197330620 19430449152 15666 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62664 KiB

[startup+0.205863 s]*
/proc/loadavg: 4.17 4.25 4.26 7/332 1019762
/proc/meminfo: memFree=109513276/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19041612 memory=69512 CPUtime=0.33 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 7831 0 0 0 30 3 0 0 20 0 19 0 197330617 19498610688 17378 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4760403 17378 5870 1 0 549966 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 5947 0 0 0 17 2 0 0 20 0 19 0 197330617 19498610688 17378 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19041612 memory=14994 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197330620 19498610688 17378 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197330620 19498610688 17378 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197330633 19498610688 17378 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69512 KiB

[startup+0.305867 s]*
/proc/loadavg: 4.17 4.25 4.26 7/332 1019762
/proc/meminfo: memFree=109501444/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19041612 memory=78936 CPUtime=0.52 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 9459 0 0 0 49 3 0 0 20 0 19 0 197330617 19498610688 19734 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4760403 19734 5870 1 0 550602 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19041612 memory=-7164485364752934752 CPUtime=0.28 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 5961 0 0 0 26 2 0 0 20 0 19 0 197330617 19498610688 19734 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197330620 19498610688 19734 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197330620 19498610688 19734 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197330633 19498610688 19734 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78936 KiB

[startup+0.70024 s]
/proc/loadavg: 4.17 4.25 4.26 7/332 1019762
/proc/meminfo: memFree=109479796/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19041612 memory=115576 CPUtime=1.28 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 12000 0 0 0 124 4 0 0 20 0 19 0 197330617 19498610688 28894 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4760403 28894 5870 1 0 552014 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19041612 memory=47000 CPUtime=0.65 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 6050 0 0 0 63 2 0 0 20 0 19 0 197330617 19498610688 28894 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19041612 memory=13012 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197330620 19498610688 28894 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19041612 memory=2312 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197330620 19498610688 28894 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19041612 memory=26268 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197330633 19498610688 28894 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 115576 KiB

[startup+1.50088 s]
/proc/loadavg: 4.17 4.25 4.26 6/333 1019763
/proc/meminfo: memFree=109378156/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=214048 CPUtime=2.31 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 12361 0 0 0 225 6 0 0 20 0 20 0 197330617 19566772224 53512 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 53512 5870 1 0 552316 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=13012 CPUtime=1.39 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 6094 0 0 0 136 3 0 0 20 0 20 0 197330617 19566772224 53512 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 53512 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=2312 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 53512 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=26268 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 53512 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 214048 KiB

[startup+3.10588 s]
/proc/loadavg: 4.17 4.25 4.26 5/333 1019763
/proc/meminfo: memFree=109103476/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=410720 CPUtime=4.22 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 16043 0 0 0 412 10 0 0 20 0 20 0 197330617 19566772224 102680 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 102680 5902 1 0 552587 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=0 CPUtime=2.79 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 6465 0 0 0 276 3 0 0 20 0 20 0 197330617 19566772224 102680 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=-7164485364752934752 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 102680 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 102680 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=2312 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 102680 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 410720 KiB

[startup+6.30086 s]
/proc/loadavg: 4.16 4.24 4.26 5/333 1019763
/proc/meminfo: memFree=108469864/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=926468 CPUtime=7.63 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 18736 0 0 0 741 22 0 0 20 0 20 0 197330617 19566772224 231617 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 231617 5902 1 0 1066444 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=2312 CPUtime=5.66 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 7135 0 0 0 558 8 0 0 20 0 20 0 197330617 19566772224 231617 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 231617 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 231617 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 231617 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 926468 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.24 4.26 5/333 1019764
/proc/meminfo: memFree=107782836/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=1607960 CPUtime=14.42 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 20309 0 0 0 1405 37 0 0 20 0 20 0 197330617 19566772224 401990 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 401990 5902 1 0 1440356 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=13012 CPUtime=11.64 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 7323 0 0 0 1151 13 0 0 20 0 20 0 197330617 19566772224 401990 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=1051484 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 401990 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=47000 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 401990 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 401990 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 14.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1607960 KiB

[startup+25.5003 s]
/proc/loadavg: 4.19 4.24 4.26 5/333 1019766
/proc/meminfo: memFree=106326524/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=2866688 CPUtime=27.99 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 23743 0 0 0 2741 58 0 0 20 0 20 0 197330617 19566772224 716672 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 716672 5902 1 0 1569870 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=6944656574621848725 CPUtime=23.51 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 8690 0 0 0 2333 18 0 0 20 0 20 0 197330617 19566772224 716672 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 716672 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=3477 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 716672 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 716672 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 27.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2866688 KiB

[startup+51.1058 s]
/proc/loadavg: 4.20 4.24 4.26 5/333 1019771
/proc/meminfo: memFree=103944536/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=5011944 CPUtime=55.66 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 43301 0 0 0 5466 100 0 0 20 0 20 0 197330617 19566772224 1252986 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 1252986 5918 1 0 1777685 0

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

/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 132538 0 0 0 305115 99 0 0 20 0 20 0 197330617 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=15362236 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=47000 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 1293 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=15362248 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 3260.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15362248 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.23 4.24 5/335 1021569
/proc/meminfo: memFree=87631040/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=15362248 CPUtime=3321.48 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 491322 0 0 0 331691 457 0 0 20 0 20 0 197330617 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 3840562 5950 1 0 4086917 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=15362248 CPUtime=3110.53 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 134479 0 0 0 310954 99 0 0 20 0 20 0 197330617 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=15362236 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=15362236 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 1381 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=15362248 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 3840562 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 3321.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15362248 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.23 4.24 5/333 1021579
/proc/meminfo: memFree=87115488/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=15362252 CPUtime=3385.98 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 512872 0 0 0 338134 464 0 0 20 0 20 0 197330617 19566772224 3840563 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 3840563 5950 1 0 4086917 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=15362252 CPUtime=3168.69 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 138139 0 0 0 316768 101 0 0 20 0 20 0 197330617 19566772224 3840563 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=15362248 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840563 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=47000 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 1391 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840563 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 3840563 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 3385.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15362252 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.22 4.23 5/333 1021591
/proc/meminfo: memFree=87112720/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=3446.45 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 514352 0 0 0 344178 467 0 0 20 0 20 0 197330617 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 3840564 5950 1 0 4086918 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=3227.59 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 138742 0 0 0 322658 101 0 0 20 0 20 0 197330617 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=5444 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 1392 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 3446.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15362256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.18 4.21 5/335 1021771
/proc/meminfo: memFree=86985868/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=3507.32 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 519133 0 0 0 350263 469 0 0 20 0 20 0 197330617 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 3840564 5950 1 0 4086918 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=3285.69 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 139853 0 0 0 328467 102 0 0 20 0 20 0 197330617 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 1392 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 3507.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15362256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.19 4.21 5/334 1021781
/proc/meminfo: memFree=86884556/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=3568.39 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 522890 0 0 0 356368 471 0 0 20 0 20 0 197330617 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 3840564 5950 1 0 4086918 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=3343.91 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 141829 0 0 0 334288 103 0 0 20 0 20 0 197330617 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 1436 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 3568.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15362256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3493.3 s]
/proc/loadavg: 4.19 4.19 4.21 5/334 1021787
/proc/meminfo: memFree=86728452/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=3600.06 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 523942 0 0 0 359534 472 0 0 20 0 20 0 197330617 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4777044 3840564 5950 1 0 4086918 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19108176 memory=47000 CPUtime=3373.6 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 142444 0 0 0 337257 103 0 0 20 0 20 0 197330617 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19108176 memory=15362256 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 1436 0 0 0 0 0 0 0 20 0 20 0 197330620 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019762] ppid=1019740 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1019743/task/1019762/stat : 1019762 (Timer-0) S 1019740 1019743 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197330633 19566772224 3840564 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15362256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.64 s, system=4.76878 s

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

[startup+3493.41 s]
/proc/loadavg: 4.19 4.19 4.21 5/334 1021787
/proc/meminfo: memFree=86728452/131524600 swapFree=131071996/131071996
[pid=1019743] ppid=1019740 vsize=19307868 memory=15362832 CPUtime=3600.27 cores=0,2
/proc/1019743/stat : 1019743 (java) S 1019740 1019743 1015377 0 -1 1077936128 526639 0 0 0 359555 472 0 0 20 0 21 0 197330617 19771256832 3840708 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
/proc/1019743/statm: 4826967 3840708 5949 1 0 4087805 0
[pid=1019743/tid=1019745] ppid=1019740 vsize=19307868 memory=14848 CPUtime=3373.71 cores=0,2
/proc/1019743/task/1019745/stat : 1019745 (java) R 1019740 1019743 1015377 0 -1 4194368 142444 0 0 0 337268 103 0 0 20 0 21 0 197330617 19771256832 3840708 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019754] ppid=1019740 vsize=19307868 memory=18851 CPUtime=0 cores=0,2
/proc/1019743/task/1019754/stat : 1019754 (Finalizer) S 1019740 1019743 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 197330620 19771256832 3840708 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
[pid=1019743/tid=1019761] ppid=1019740 vsize=19307868 memory=4123381016884949078 CPUtime=0 cores=0,2
/proc/1019743/task/1019761/stat : 1019761 (Common-Cleaner) S 1019740 1019743 1015377 0 -1 1077936192 1436 0 0 0 0 0 0 0 20 0 21 0 197330620 19771256832 3840708 134679101440 94756536684544 94756536688240 140727723012304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756536696056 94756536696848 94756564389888 140727723021317 140727723021407 140727723021407 140727723028424 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15362832 KiB

[startup+3493.5 s]*
/proc/loadavg: 4.19 4.19 4.21 5/316 1021790
/proc/meminfo: memFree=102072004/131524600 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): 3493.51
CPU time (s): 3600.41
CPU user time (s): 3595.64
CPU system time (s): 4.76878
CPU usage (%): 103.06
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15362832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.64
system time used= 4.76878
maximum resident set size= 15363692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118134
involuntary context switches= 37894


# summary of solver processes directly reported to runsolver:
#   pid: 1019743
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3595.64
#   total CPU system time (s): 4.76878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45932 second user time and 17.1509 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 07:01:52
IDJOB=4453084
IDBENCH=168597
IDSOLVER=3058
FILE ID=nodeC016/4453084-1721451700
RUNJOBID= nodeC016-1721444951-1015387
SLURM_JOB_ID= 7545662
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.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-4453084-1721451700/watcher-4453084-1721451700 -o /tmp/evaluation-result-4453084-1721451700/solver-4453084-1721451700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015387 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453084-1721451700.opb

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

MD5SUM BENCH= bca3b64090d9c28929d1ba0e342c0a17
RANDOM SEED=1028204592

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109567432 kB
MemAvailable:   113436692 kB
Buffers:          426608 kB
Cached:          4284580 kB
SwapCached:            0 kB
Active:           706460 kB
Inactive:       20595824 kB
Active(anon):       1544 kB
Inactive(anon): 16635804 kB
Active(file):     704916 kB
Inactive(file):  3960020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1372 kB
Writeback:             8 kB
AnonPages:      16589644 kB
Mapped:           127684 kB
Shmem:             45912 kB
KReclaimable:      87944 kB
Slab:             200292 kB
SReclaimable:      87944 kB
SUnreclaim:       112348 kB
KernelStack:        5056 kB
PageTables:        42552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   18852492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73728 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16121856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC016 at 2024-07-20 08:00:06