Trace number 4453204

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.72 3550.81

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid8_45.shuf-3.opb
MD5SUMcf85b4969986e0e793a269282936f484
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.009627
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables360
Total number of constraints361
Number of constraints which are clauses360
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 constraint360
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 361
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.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.00/0.11	c version CUSTOM.v20240707
0.14/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.12	c java.vm.version	22.0.1+8-16
0.14/0.12	c java.vm.vendor	Oracle Corporation
0.14/0.12	c sun.arch.data.model	64
0.14/0.12	c java.version		22.0.1
0.14/0.12	c os.name		Linux
0.14/0.12	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.12	c os.arch		amd64
0.14/0.13	c Free memory 		2115194816
0.14/0.13	c Max memory 		16282288128
0.14/0.13	c Total memory 		2122317824
0.14/0.14	c Number of processors 	2
0.14/0.17	--- Begin Solver configuration ---
0.14/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.17	Learn all clauses as in MiniSAT
0.14/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.17	No reason simplification
0.14/0.17	Glucose 2.1 dynamic restart strategy
0.14/0.17	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.17	timeout=2147483s
0.14/0.17	DB Simplification allowed=false
0.14/0.17	Listener: none
0.14/0.17	--- End Solver configuration ---
0.14/0.18	c Pseudo Boolean Optimization by upper bound
0.14/0.18	c --- Begin Solver configuration ---
0.14/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.18	c Learn all clauses as in MiniSAT
0.14/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.18	c No reason simplification
0.14/0.18	c Glucose 2.1 dynamic restart strategy
0.14/0.18	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.18	c timeout=2147483s
0.14/0.18	c DB Simplification allowed=false
0.14/0.18	c Listener: none
0.14/0.18	c --- End Solver configuration ---
0.14/0.18	c solving HOME/instance-4453204-1721454595.opb
0.14/0.18	c reading problem ... 
0.14/0.18	c  no objective function found
0.14/0.21	c ... done. Wall clock time 0.032s.
0.14/0.21	c declared #vars     360
0.14/0.21	c #constraints  361
0.14/0.21	c constraints type 
0.14/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 360
0.14/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.14/0.21	c 361 constraints processed.
1.42/0.80	c cleaning 2500 clauses out of 5000 with flag 10361/5000
1.63/0.98	c cleaning 4249 clauses out of 8501 with flag 22813/11001
2.03/1.15	c cleaning 5626 clauses out of 11252 with flag 37412/18001
2.39/1.36	c cleaning 6813 clauses out of 13627 with flag 54109/26002
2.59/1.56	c cleaning 7906 clauses out of 15812 with flag 72878/35000
2.91/1.85	c cleaning 8954 clauses out of 17908 with flag 93792/45002
3.48/2.30	c cleaning 9977 clauses out of 19953 with flag 116700/56001
3.88/2.71	c cleaning 10984 clauses out of 21976 with flag 141805/68001
4.40/3.25	c cleaning 11991 clauses out of 23991 with flag 169018/81000
4.82/3.63	c cleaning 13001 clauses out of 26001 with flag 198253/95001
5.22/4.09	c cleaning 13999 clauses out of 27999 with flag 229512/110000
6.61/5.33	c cleaning 14998 clauses out of 30000 with flag 262864/126000
7.33/6.06	c cleaning 15998 clauses out of 32002 with flag 298166/143000
8.15/6.70	c cleaning 16998 clauses out of 34004 with flag 335548/161000
8.75/7.35	c cleaning 17996 clauses out of 36007 with flag 374984/180001
9.39/7.96	c cleaning 19006 clauses out of 38011 with flag 416574/200001
10.09/8.60	c cleaning 20000 clauses out of 40005 with flag 460268/221001
10.81/9.30	c cleaning 21001 clauses out of 42004 with flag 505985/243000
11.52/10.02	c cleaning 21998 clauses out of 44003 with flag 553659/266000
12.31/10.86	c cleaning 23001 clauses out of 46005 with flag 603358/290000
13.38/11.84	c cleaning 24003 clauses out of 48005 with flag 655268/315001
14.38/12.83	c cleaning 24997 clauses out of 50001 with flag 709284/341000
15.74/14.03	c cleaning 26001 clauses out of 52005 with flag 765277/368001
16.62/14.91	c cleaning 27000 clauses out of 54004 with flag 823563/396001
17.52/15.88	c cleaning 28002 clauses out of 56003 with flag 884065/425000
18.80/17.09	c cleaning 28997 clauses out of 58001 with flag 946748/455000
19.90/18.16	c cleaning 29999 clauses out of 60004 with flag 1011671/486000
21.30/19.46	c cleaning 31004 clauses out of 62007 with flag 1078571/518002
22.60/20.74	c cleaning 31997 clauses out of 64001 with flag 1147366/551000
24.27/22.30	c cleaning 32999 clauses out of 66005 with flag 1217977/585001
25.48/23.56	c cleaning 33997 clauses out of 68006 with flag 1290776/620001
27.17/25.16	c cleaning 35004 clauses out of 70008 with flag 1366315/656000
28.55/26.59	c cleaning 36001 clauses out of 72005 with flag 1443310/693001
30.48/28.40	c cleaning 37000 clauses out of 74004 with flag 1522552/731001
31.98/29.93	c cleaning 38002 clauses out of 76004 with flag 1603839/770001
33.74/31.66	c cleaning 38996 clauses out of 78002 with flag 1687104/810001
35.44/33.34	c cleaning 40003 clauses out of 80005 with flag 1772362/851000
37.37/35.20	c cleaning 40996 clauses out of 82002 with flag 1859556/893000
39.36/37.17	c cleaning 42003 clauses out of 84006 with flag 1948869/936000
41.26/38.97	c cleaning 43002 clauses out of 86005 with flag 2040325/980002
43.05/40.72	c cleaning 43998 clauses out of 88002 with flag 2133917/1025001
45.23/42.89	c cleaning 45001 clauses out of 90005 with flag 2229475/1071002
47.33/44.95	c cleaning 46000 clauses out of 92003 with flag 2327155/1118001
50.09/47.63	c cleaning 46999 clauses out of 94002 with flag 2426748/1166000
52.79/50.16	c cleaning 48000 clauses out of 96004 with flag 2528931/1215001
55.37/52.76	c cleaning 49001 clauses out of 98004 with flag 2633154/1265001
57.99/55.25	c cleaning 50002 clauses out of 100003 with flag 2739499/1316001
60.68/57.94	c cleaning 50998 clauses out of 102000 with flag 2847619/1368000
63.65/60.75	c cleaning 51997 clauses out of 104002 with flag 2957670/1421000
66.96/63.90	c cleaning 52999 clauses out of 106006 with flag 3070038/1475001
69.96/66.91	c cleaning 54000 clauses out of 108006 with flag 3184681/1530000
72.84/69.72	c cleaning 55002 clauses out of 110007 with flag 3301582/1586001
75.87/72.65	c cleaning 55999 clauses out of 112004 with flag 3420130/1643000
78.87/75.64	c cleaning 56998 clauses out of 114005 with flag 3540795/1701000
82.39/79.07	c cleaning 58004 clauses out of 116007 with flag 3663337/1760000
87.68/83.19	c cleaning 59002 clauses out of 118003 with flag 3788440/1820000
91.37/86.85	c cleaning 59999 clauses out of 120001 with flag 3915250/1881000
95.16/90.50	c cleaning 60994 clauses out of 122003 with flag 4044088/1943001
98.87/94.15	c cleaning 62004 clauses out of 124010 with flag 4175548/2006002
102.87/98.12	c cleaning 63002 clauses out of 126005 with flag 4308568/2070001
106.87/102.05	c cleaning 63997 clauses out of 128003 with flag 4443837/2135001
110.86/106.03	c cleaning 65003 clauses out of 130006 with flag 4581244/2201001
114.76/109.82	c cleaning 66001 clauses out of 132002 with flag 4721169/2268000
118.87/113.80	c cleaning 66997 clauses out of 134001 with flag 4862679/2336000
122.87/117.82	c cleaning 67998 clauses out of 136004 with flag 5006124/2405000
127.23/122.16	c cleaning 69001 clauses out of 138007 with flag 5151515/2475001
131.52/126.46	c cleaning 70001 clauses out of 140005 with flag 5299713/2546000
135.81/130.74	c cleaning 70998 clauses out of 142005 with flag 5449920/2618001
140.70/135.68	c cleaning 72003 clauses out of 144007 with flag 5601902/2691001
145.21/140.14	c cleaning 72999 clauses out of 146003 with flag 5756170/2765000
149.69/144.66	c cleaning 74000 clauses out of 148004 with flag 5912632/2840000
154.58/149.58	c cleaning 74996 clauses out of 150005 with flag 6070913/2916001
159.36/154.33	c cleaning 76001 clauses out of 152010 with flag 6231677/2993002
165.43/159.95	c cleaning 76999 clauses out of 154007 with flag 6394248/3071000
170.73/164.95	c cleaning 78003 clauses out of 156009 with flag 6559292/3150001
175.84/170.04	c cleaning 79002 clauses out of 158005 with flag 6725791/3230000
180.88/175.09	c cleaning 80002 clauses out of 160003 with flag 6894998/3311000
187.04/181.06	c cleaning 80998 clauses out of 162002 with flag 7065930/3393001
191.92/185.94	c cleaning 81997 clauses out of 164004 with flag 7239394/3476001
197.56/191.55	c cleaning 83004 clauses out of 166007 with flag 7415041/3560001
202.84/196.66	c cleaning 83999 clauses out of 168004 with flag 7592928/3645002
208.42/202.29	c cleaning 84996 clauses out of 170003 with flag 7772984/3731000
215.89/208.45	c cleaning 86001 clauses out of 172007 with flag 7955051/3818000
221.68/214.26	c cleaning 87000 clauses out of 174006 with flag 8139058/3906000
227.69/220.16	c cleaning 87997 clauses out of 176006 with flag 8325024/3995000
233.65/225.90	c cleaning 89000 clauses out of 178009 with flag 8513235/4085000
239.65/231.92	c cleaning 90005 clauses out of 180010 with flag 8703086/4176001
245.59/237.89	c cleaning 91002 clauses out of 182005 with flag 8895448/4268001
251.49/243.74	c cleaning 91995 clauses out of 184002 with flag 9089562/4361000
257.35/249.57	c cleaning 93000 clauses out of 186008 with flag 9286187/4455001
264.24/256.44	c cleaning 93999 clauses out of 188007 with flag 9485016/4550000
271.40/263.42	c cleaning 95001 clauses out of 190008 with flag 9685541/4646000
278.40/270.23	c cleaning 96001 clauses out of 192007 with flag 9887943/4743000
285.40/277.27	c cleaning 96998 clauses out of 194006 with flag 10091912/4841000
292.42/284.21	c cleaning 98003 clauses out of 196009 with flag 10299052/4940001
300.47/292.03	c cleaning 99001 clauses out of 198005 with flag 10508840/5040000
307.95/299.59	c cleaning 100002 clauses out of 200005 with flag 10720884/5141001
315.14/306.57	c cleaning 100996 clauses out of 202003 with flag 10933888/5243001
322.54/313.88	c cleaning 101999 clauses out of 204006 with flag 11149688/5346000
330.89/322.08	c cleaning 103002 clauses out of 206008 with flag 11367868/5450001
339.98/331.13	c cleaning 103999 clauses out of 208007 with flag 11587575/5555002
347.46/338.51	c cleaning 104998 clauses out of 210006 with flag 11809450/5661000
355.10/346.07	c cleaning 106000 clauses out of 212009 with flag 12033954/5768001
361.99/352.91	c cleaning 107001 clauses out of 214008 with flag 12259774/5876000
370.66/360.65	c cleaning 108002 clauses out of 216007 with flag 12487406/5985000
378.40/368.40	c cleaning 109000 clauses out of 218007 with flag 12716957/6095002
386.35/376.39	c cleaning 110002 clauses out of 220006 with flag 12948971/6206001
395.34/385.21	c cleaning 110997 clauses out of 222003 with flag 13182770/6318000
404.20/394.05	c cleaning 112002 clauses out of 224006 with flag 13418778/6431000
412.89/402.70	c cleaning 113000 clauses out of 226005 with flag 13657294/6545001
421.50/411.34	c cleaning 113997 clauses out of 228005 with flag 13897202/6660001
431.09/420.72	c cleaning 114999 clauses out of 230007 with flag 14139099/6776000
440.15/429.65	c cleaning 115998 clauses out of 232009 with flag 14383648/6893001
450.68/440.02	c cleaning 117000 clauses out of 234010 with flag 14630187/7011000
459.94/449.31	c cleaning 118003 clauses out of 236010 with flag 14879284/7130000
468.98/458.37	c cleaning 119000 clauses out of 238007 with flag 15129040/7250000
479.05/468.29	c cleaning 120001 clauses out of 240007 with flag 15382878/7371000
489.45/478.58	c cleaning 121003 clauses out of 242008 with flag 15638188/7493002
500.73/489.78	c cleaning 121995 clauses out of 244003 with flag 15895465/7616000
510.66/499.43	c cleaning 123001 clauses out of 246009 with flag 16154796/7740001
519.96/508.56	c cleaning 124004 clauses out of 248009 with flag 16415835/7865002
529.57/518.01	c cleaning 125000 clauses out of 250004 with flag 16679523/7991001
539.53/527.99	c cleaning 125998 clauses out of 252003 with flag 16945093/8118000
550.63/538.83	c cleaning 127002 clauses out of 254007 with flag 17211543/8246002
560.68/548.79	c cleaning 127999 clauses out of 256004 with flag 17480409/8375001
571.72/559.75	c cleaning 128995 clauses out of 258004 with flag 17751872/8505000
583.96/571.94	c cleaning 130000 clauses out of 260009 with flag 18024860/8636000
595.16/582.80	c cleaning 131003 clauses out of 262010 with flag 18300437/8768001
606.65/592.79	c cleaning 132000 clauses out of 264006 with flag 18578080/8901000
617.33/603.34	c cleaning 132999 clauses out of 266006 with flag 18858539/9035000
627.55/613.41	c cleaning 134000 clauses out of 268007 with flag 19140537/9170000
640.34/626.10	c cleaning 135001 clauses out of 270007 with flag 19424816/9306000
652.17/637.77	c cleaning 136000 clauses out of 272007 with flag 19711071/9443001
664.30/649.77	c cleaning 137000 clauses out of 274007 with flag 19999747/9581001
677.31/662.65	c cleaning 137998 clauses out of 276006 with flag 20290759/9720000
690.50/675.71	c cleaning 138999 clauses out of 278008 with flag 20583407/9860000
701.69/686.73	c cleaning 139997 clauses out of 280009 with flag 20877252/10001000
711.83/696.83	c cleaning 141004 clauses out of 282013 with flag 21174585/10143001
723.76/708.64	c cleaning 142001 clauses out of 284008 with flag 21475061/10286000
734.68/719.46	c cleaning 142995 clauses out of 286007 with flag 21777520/10430000
746.24/730.83	c cleaning 144003 clauses out of 288012 with flag 22081320/10575000
758.41/742.91	c cleaning 144999 clauses out of 290010 with flag 22386089/10721001
768.91/753.47	c cleaning 146001 clauses out of 292010 with flag 22694212/10868000
780.74/765.23	c cleaning 147000 clauses out of 294009 with flag 23004971/11016000
793.26/777.56	c cleaning 147999 clauses out of 296009 with flag 23316850/11165000
805.47/789.62	c cleaning 149001 clauses out of 298010 with flag 23630340/11315000
818.13/802.21	c cleaning 150003 clauses out of 300010 with flag 23946322/11466001
830.30/814.20	c cleaning 151004 clauses out of 302007 with flag 24262174/11618001
842.96/826.87	c cleaning 151996 clauses out of 304003 with flag 24583073/11771001
856.65/840.20	c cleaning 153000 clauses out of 306007 with flag 24905713/11925001
870.85/854.17	c cleaning 153995 clauses out of 308006 with flag 25229759/12080000
885.48/868.64	c cleaning 155002 clauses out of 310011 with flag 25556119/12236000
899.48/882.35	c cleaning 156002 clauses out of 312009 with flag 25885856/12393000
913.32/896.04	c cleaning 157000 clauses out of 314008 with flag 26217477/12551001
930.76/911.55	c cleaning 158001 clauses out of 316007 with flag 26551214/12710000
945.66/926.28	c cleaning 158995 clauses out of 318007 with flag 26886865/12870001
959.43/939.83	c cleaning 160002 clauses out of 320011 with flag 27225427/13031000
972.31/952.62	c cleaning 161004 clauses out of 322010 with flag 27565638/13193001
987.70/967.74	c cleaning 162002 clauses out of 324006 with flag 27908106/13356001
1003.22/983.08	c cleaning 162995 clauses out of 326004 with flag 28252323/13520001
1017.95/997.67	c cleaning 163998 clauses out of 328008 with flag 28599220/13685000
1031.56/1011.15	c cleaning 165000 clauses out of 330010 with flag 28945364/13851000
1047.08/1026.38	c cleaning 166003 clauses out of 332011 with flag 29294114/14018001
1061.99/1041.09	c cleaning 167002 clauses out of 334007 with flag 29644086/14186000
1076.80/1055.70	c cleaning 167998 clauses out of 336005 with flag 29996184/14355000
1091.27/1070.17	c cleaning 169000 clauses out of 338008 with flag 30350613/14525001
1106.44/1085.35	c cleaning 170001 clauses out of 340007 with flag 30707560/14696000
1121.07/1099.76	c cleaning 171004 clauses out of 342007 with flag 31067052/14868001
1137.95/1116.51	c cleaning 172002 clauses out of 344003 with flag 31427671/15041001
1154.38/1132.92	c cleaning 172993 clauses out of 346000 with flag 31792269/15215000
1170.78/1149.29	c cleaning 174004 clauses out of 348008 with flag 32159799/15390001
1187.30/1165.65	c cleaning 174999 clauses out of 350003 with flag 32529620/15566000
1202.71/1180.83	c cleaning 176002 clauses out of 352006 with flag 32900997/15743002
1220.01/1197.73	c cleaning 177000 clauses out of 354004 with flag 33274909/15921002
1234.82/1212.37	c cleaning 177997 clauses out of 356003 with flag 33649800/16100001
1249.13/1226.56	c cleaning 178995 clauses out of 358005 with flag 34026140/16280000
1265.48/1242.60	c cleaning 180002 clauses out of 360010 with flag 34403964/16461000
1280.94/1257.96	c cleaning 180999 clauses out of 362009 with flag 34785705/16643001
1297.53/1274.19	c cleaning 182002 clauses out of 364009 with flag 35169016/16826000
1311.84/1288.20	c cleaning 182999 clauses out of 366008 with flag 35554497/17010001
1332.62/1307.92	c cleaning 184000 clauses out of 368009 with flag 35943436/17195001
1350.07/1325.37	c cleaning 184998 clauses out of 370008 with flag 36334539/17381000
1371.02/1345.91	c cleaning 186003 clauses out of 372010 with flag 36727294/17568000
1389.96/1364.64	c cleaning 186996 clauses out of 374008 with flag 37122434/17756001
1408.85/1383.32	c cleaning 188004 clauses out of 376011 with flag 37519052/17945000
1427.60/1401.90	c cleaning 189000 clauses out of 378007 with flag 37918098/18135000
1444.57/1418.88	c cleaning 189997 clauses out of 380008 with flag 38319674/18326001
1464.54/1438.31	c cleaning 190999 clauses out of 382010 with flag 38722841/18518000
1482.75/1456.37	c cleaning 192003 clauses out of 384012 with flag 39126645/18711001
1502.09/1475.53	c cleaning 193001 clauses out of 386008 with flag 39533305/18905000
1520.47/1493.80	c cleaning 194002 clauses out of 388007 with flag 39941973/19100000
1537.98/1511.11	c cleaning 194997 clauses out of 390006 with flag 40351535/19296001
1556.11/1529.00	c cleaning 195999 clauses out of 392009 with flag 40763404/19493001
1572.55/1545.23	c cleaning 196996 clauses out of 394009 with flag 41178202/19691000
1591.83/1564.21	c cleaning 198006 clauses out of 396013 with flag 41595584/19890000
1612.30/1584.44	c cleaning 199002 clauses out of 398007 with flag 42014020/20090000
1629.40/1601.35	c cleaning 200001 clauses out of 400006 with flag 42433260/20291001
1648.83/1620.64	c cleaning 200996 clauses out of 402004 with flag 42854164/20493000
1665.79/1637.25	c cleaning 202000 clauses out of 404009 with flag 43278471/20696001
1686.32/1657.53	c cleaning 202999 clauses out of 406008 with flag 43707136/20900000
1707.44/1678.56	c cleaning 204003 clauses out of 408010 with flag 44136611/21105001
1731.09/1701.61	c cleaning 205002 clauses out of 410007 with flag 44567805/21311001
1752.22/1722.50	c cleaning 205999 clauses out of 412005 with flag 45001400/21518001
1772.28/1742.47	c cleaning 207000 clauses out of 414005 with flag 45436061/21726000
1795.10/1764.82	c cleaning 207998 clauses out of 416006 with flag 45873617/21935001
1818.13/1786.35	c cleaning 209000 clauses out of 418008 with flag 46314313/22145001
1843.58/1811.77	c cleaning 209996 clauses out of 420008 with flag 46757495/22356001
1865.43/1833.37	c cleaning 210998 clauses out of 422012 with flag 47200825/22568001
1888.71/1856.31	c cleaning 212001 clauses out of 424013 with flag 47646278/22781000
1912.57/1880.00	c cleaning 213004 clauses out of 426013 with flag 48094996/22995001
1934.46/1901.64	c cleaning 213999 clauses out of 428008 with flag 48545034/23210000
1953.75/1920.79	c cleaning 215002 clauses out of 430009 with flag 48996575/23426000
1975.42/1942.28	c cleaning 215997 clauses out of 432007 with flag 49450806/23643000
2000.27/1966.90	c cleaning 216999 clauses out of 434010 with flag 49907440/23861000
2020.42/1987.01	c cleaning 218001 clauses out of 436012 with flag 50365579/24080001
2041.22/2007.67	c cleaning 219001 clauses out of 438010 with flag 50825836/24300000
2063.59/2030.00	c cleaning 220001 clauses out of 440011 with flag 51288722/24521002
2083.90/2050.06	c cleaning 220999 clauses out of 442008 with flag 51752807/24743000
2106.32/2072.31	c cleaning 221999 clauses out of 444010 with flag 52219114/24966001
2128.32/2094.33	c cleaning 223002 clauses out of 446012 with flag 52687727/25190002
2151.52/2117.52	c cleaning 224003 clauses out of 448009 with flag 53159526/25415001
2176.38/2142.29	c cleaning 224997 clauses out of 450006 with flag 53633665/25641001
2200.50/2166.21	c cleaning 226000 clauses out of 452008 with flag 54108641/25868000
2223.27/2188.97	c cleaning 227001 clauses out of 454008 with flag 54587446/26096000
2244.81/2210.45	c cleaning 228001 clauses out of 456007 with flag 55067743/26325000
2269.84/2235.15	c cleaning 229002 clauses out of 458006 with flag 55550318/26555000
2295.54/2260.64	c cleaning 230001 clauses out of 460004 with flag 56034333/26786000
2320.25/2285.15	c cleaning 230995 clauses out of 462003 with flag 56520794/27018000
2347.18/2311.95	c cleaning 232002 clauses out of 464009 with flag 57008323/27251001
2369.79/2334.48	c cleaning 233001 clauses out of 466006 with flag 57499127/27485000
2396.83/2361.40	c cleaning 234000 clauses out of 468005 with flag 57990213/27720000
2422.62/2387.29	c cleaning 235000 clauses out of 470005 with flag 58482589/27956000
2449.38/2413.86	c cleaning 235998 clauses out of 472005 with flag 58979117/28193000
2473.70/2438.09	c cleaning 236999 clauses out of 474008 with flag 59477706/28431001
2499.95/2464.22	c cleaning 237999 clauses out of 476008 with flag 59978564/28670000
2521.65/2485.71	c cleaning 239001 clauses out of 478009 with flag 60481295/28910000
2545.07/2509.02	c cleaning 239998 clauses out of 480009 with flag 60986123/29151001
2569.32/2533.18	c cleaning 240998 clauses out of 482010 with flag 61492979/29393000
2595.73/2559.19	c cleaning 242003 clauses out of 484013 with flag 62003080/29636001
2618.47/2581.50	c cleaning 242999 clauses out of 486009 with flag 62513604/29880000
2643.04/2605.88	c cleaning 243999 clauses out of 488010 with flag 63026300/30125000
2668.05/2630.63	c cleaning 245002 clauses out of 490012 with flag 63541460/30371001
2692.10/2654.50	c cleaning 246002 clauses out of 492010 with flag 64058496/30618001
2717.98/2680.38	c cleaning 247001 clauses out of 494007 with flag 64577048/30866000
2746.48/2708.43	c cleaning 247998 clauses out of 496007 with flag 65097520/31115001
2771.12/2732.73	c cleaning 248997 clauses out of 498008 with flag 65620504/31365000
2794.44/2755.72	c cleaning 250001 clauses out of 500011 with flag 66145808/31616000
2819.05/2780.14	c cleaning 251003 clauses out of 502010 with flag 66671796/31868000
2845.34/2806.38	c cleaning 252000 clauses out of 504007 with flag 67200755/32121000
2871.55/2832.08	c cleaning 253000 clauses out of 506007 with flag 67731183/32375000
2897.77/2857.97	c cleaning 253999 clauses out of 508008 with flag 68264136/32630001
2923.32/2881.86	c cleaning 255003 clauses out of 510008 with flag 68798219/32886000
2949.10/2907.53	c cleaning 256001 clauses out of 512006 with flag 69333545/33143001
2978.79/2937.07	c cleaning 256997 clauses out of 514005 with flag 69873405/33401001
3009.95/2968.01	c cleaning 258001 clauses out of 516008 with flag 70414934/33660001
3040.88/2998.51	c cleaning 259001 clauses out of 518007 with flag 70959677/33920001
3071.85/3029.17	c cleaning 260003 clauses out of 520006 with flag 71506198/34181001
3105.03/3062.10	c cleaning 260999 clauses out of 522003 with flag 72054291/34443001
3139.91/3096.53	c cleaning 262002 clauses out of 524003 with flag 72604617/34706000
3178.12/3134.36	c cleaning 262995 clauses out of 526002 with flag 73156394/34970001
3209.37/3165.17	c cleaning 263998 clauses out of 528006 with flag 73708907/35235000
3242.83/3198.34	c cleaning 264998 clauses out of 530009 with flag 74266296/35501001
3270.57/3225.74	c cleaning 266004 clauses out of 532012 with flag 74825306/35768002
3297.94/3252.64	c cleaning 266999 clauses out of 534006 with flag 75387527/36036000
3327.87/3282.17	c cleaning 267998 clauses out of 536008 with flag 75951440/36305001
3359.86/3313.70	c cleaning 268998 clauses out of 538010 with flag 76517612/36575001
3388.89/3342.30	c cleaning 270000 clauses out of 540011 with flag 77085481/36846000
3414.80/3367.81	c cleaning 271003 clauses out of 542011 with flag 77653892/37118000
3444.20/3396.83	c cleaning 271998 clauses out of 544008 with flag 78224866/37391000
3470.71/3422.99	c cleaning 273001 clauses out of 546012 with flag 78799282/37665002
3498.76/3450.57	c cleaning 274002 clauses out of 548009 with flag 79375635/37940000
3528.06/3479.41	c cleaning 275000 clauses out of 550008 with flag 79954829/38216001
3562.83/3513.83	c cleaning 276002 clauses out of 552008 with flag 80535134/38493001
3589.55/3540.14	c cleaning 276999 clauses out of 554006 with flag 81118251/38771001
3600.45/3550.60	c timeout
3600.45/3550.62	c starts		: 1
3600.45/3550.63	c conflicts		: 38984409
3600.45/3550.63	c decisions		: 40272985
3600.45/3550.63	c propagations		: 361327129
3600.45/3550.63	c inspects		: 21750012384
3600.45/3550.63	c shortcuts		: 0
3600.45/3550.63	c learnt literals	: 0
3600.45/3550.63	c learnt binary clauses	: 0
3600.45/3550.63	c learnt ternary clauses	: 0
3600.45/3550.63	c learnt constraints	: 38984409
3600.45/3550.63	c ignored constraints	: 0
3600.45/3550.63	c root simplifications	: 0
3600.45/3550.63	c removed literals (reason simplification)	: 0
3600.45/3550.63	c reason swapping (by a shorter reason)	: 0
3600.45/3550.63	c Calls to reduceDB	: 274
3600.45/3550.63	c Number of update (reduction) of LBD	: 607365
3600.45/3550.63	c Imported unit clauses	: 0
3600.45/3550.63	c No decision after first conflict	: false
3600.45/3550.63	c number of reductions to clauses (during analyze)	: 0
3600.45/3550.63	c number of learned constraints concerned by reduction	: 0
3600.45/3550.63	c number of learning phase by resolution	: 0
3600.45/3550.63	c number of learning phase by cutting planes	: 0
3600.45/3550.63	c number of rounding to 1 operations	: 0
3600.45/3550.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.45/3550.63	c number of reductions of the coefficients by power 2 	: 0
3600.45/3550.63	c number of right shift for reduction by power 2 	: 0
3600.45/3550.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.45/3550.63	c number of ending skipping 	: 0
3600.45/3550.63	c number of internal skipping 	: 0
3600.45/3550.63	c number of derivation steps 	: 0
3600.45/3550.63	c number of skipped derivation steps 	: 0
3600.45/3550.63	c number of remaining unassigned 	: 0
3600.45/3550.63	c number of remaining assigned 	: 0
3600.45/3550.63	c number of falsified literals weakened from reason	: 0
3600.45/3550.63	c number of falsified literals weakened from conflict	: 0
3600.45/3550.63	c time for arithmetic operations	: 0
3600.45/3550.63	c minimum degree of deleted constraints	: null
3600.45/3550.63	c maximum degree of deleted constraints	: null
3600.45/3550.63	c number of deleted constraints	: 0
3600.45/3550.63	c speed (assignments/second)	: 101770.27809957079
3600.45/3550.63	c non guided choices	: 138
3600.60/3550.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 490415
3600.60/3550.75	s UNKNOWN
3600.60/3550.75	c Total wall clock time (in seconds): 3550.578

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1061324, runsolver pid=1061321

[startup+0.100073 s]*
/proc/loadavg: 4.27 4.27 4.27 7/315 1061342
/proc/meminfo: memFree=92044492/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=18975048 memory=58516 CPUtime=0.14 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 6611 0 0 0 11 3 0 0 20 0 18 0 197615602 19430449152 14629 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4743762 14629 5633 1 0 551008 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 5579 0 0 0 7 2 0 0 20 0 18 0 197615602 19430449152 14629 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197615608 19430449152 14629 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197615609 19430449152 14629 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58516 KiB

[startup+0.217014 s]*
/proc/loadavg: 4.27 4.27 4.27 8/316 1061343
/proc/meminfo: memFree=92028508/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19041612 memory=67988 CPUtime=0.35 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 7403 0 0 0 32 3 0 0 20 0 19 0 197615602 19498610688 16997 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4760403 16997 5742 1 0 551944 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) S 1061321 1061324 1058409 0 -1 1077936192 5950 0 0 0 17 2 0 0 20 0 19 0 197615602 19498610688 16997 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19041612 memory=3711 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197615608 19498610688 16997 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19041612 memory=13572595761026746 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197615609 19498610688 16997 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197615623 19498610688 16997 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 67988 KiB

[startup+0.31777 s]*
/proc/loadavg: 4.27 4.27 4.27 8/316 1061343
/proc/meminfo: memFree=92023436/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19041612 memory=70568 CPUtime=0.53 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 9061 0 0 0 49 4 0 0 20 0 19 0 197615602 19498610688 17642 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4760403 17642 5836 1 0 552475 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19041612 memory=-7739538742172739940 CPUtime=0.27 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 5955 0 0 0 25 2 0 0 20 0 19 0 197615602 19498610688 17642 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197615608 19498610688 17707 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197615609 19498610688 17707 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197615623 19498610688 17707 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70568 KiB

[startup+0.709753 s]
/proc/loadavg: 4.27 4.27 4.27 6/316 1061343
/proc/meminfo: memFree=92006416/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19041612 memory=88344 CPUtime=1.25 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 10735 0 0 0 121 4 0 0 20 0 19 0 197615602 19498610688 22086 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4760403 22086 5836 1 0 553697 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19041612 memory=49904 CPUtime=0.6 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 5973 0 0 0 57 3 0 0 20 0 19 0 197615602 19498610688 22086 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19041612 memory=11884 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197615608 19498610688 22086 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19041612 memory=2220 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197615609 19498610688 22086 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19041612 memory=39916 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197615623 19498610688 22086 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88344 KiB

[startup+1.50032 s]
/proc/loadavg: 4.27 4.27 4.27 6/316 1061343
/proc/meminfo: memFree=91964580/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19041612 memory=153676 CPUtime=2.59 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 14316 0 0 0 254 5 0 0 20 0 19 0 197615602 19498610688 38419 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4760403 38419 5836 1 0 554031 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19041612 memory=11884 CPUtime=1.38 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 6377 0 0 0 134 4 0 0 20 0 19 0 197615602 19498610688 38419 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197615608 19498610688 38419 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19041612 memory=2220 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197615609 19498610688 38419 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19041612 memory=39916 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197615623 19498610688 38419 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 153676 KiB

[startup+3.10641 s]
/proc/loadavg: 4.27 4.27 4.27 6/317 1061344
/proc/meminfo: memFree=91786252/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=244628 CPUtime=4.31 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 15943 0 0 0 423 8 0 0 20 0 20 0 197615602 19566772224 61157 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 61157 5868 1 0 554321 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=0 CPUtime=2.79 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 6688 0 0 0 275 4 0 0 20 0 20 0 197615602 19566772224 61157 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=-7739538742172739940 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 61157 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 61157 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=2220 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 61157 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 244628 KiB

[startup+6.30046 s]
/proc/loadavg: 4.24 4.26 4.27 5/317 1061344
/proc/meminfo: memFree=91584888/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=365628 CPUtime=7.75 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 16500 0 0 0 764 11 0 0 20 0 20 0 197615602 19566772224 91407 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 91407 5880 1 0 554322 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=2220 CPUtime=5.73 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 6779 0 0 0 569 4 0 0 20 0 20 0 197615602 19566772224 91407 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 91407 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 91407 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 91407 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 365628 KiB

[startup+12.7005 s]
/proc/loadavg: 4.22 4.26 4.26 5/318 1061349
/proc/meminfo: memFree=90963108/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=680908 CPUtime=14.28 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 19080 0 0 0 1410 18 0 0 20 0 20 0 197615602 19566772224 170227 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 170227 5880 1 0 982531 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=11884 CPUtime=11.93 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 7575 0 0 0 1185 8 0 0 20 0 20 0 197615602 19566772224 170227 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=478156 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 170227 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=49904 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 170227 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 170227 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 14.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 680908 KiB

[startup+25.5005 s]
/proc/loadavg: 4.25 4.26 4.27 5/318 1061350
/proc/meminfo: memFree=89817940/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=1154364 CPUtime=27.55 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 21506 0 0 0 2726 29 0 0 20 0 20 0 197615602 19566772224 288591 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 288591 5896 1 0 982533 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=6944656574621848725 CPUtime=24.02 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 8357 0 0 0 2394 8 0 0 20 0 20 0 197615602 19566772224 288591 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 288591 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=4374 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 288591 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 288591 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 27.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1154364 KiB

[startup+51.1139 s]
/proc/loadavg: 4.37 4.29 4.27 5/318 1061355
/proc/meminfo: memFree=88586400/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=2016184 CPUtime=53.78 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 24666 0 0 0 5330 48 0 0 20 0 20 0 197615602 19566772224 504046 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0

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

/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 2953216 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=11812864 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 1190 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 2953216 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 2953216 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 3206.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11812864 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.24 4.19 5/319 1063310
/proc/meminfo: memFree=85456992/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=11812868 CPUtime=3267.17 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 269054 0 0 0 326263 454 0 0 20 0 20 0 197615602 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 2953217 5896 1 0 3575038 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=11596 CPUtime=3167.65 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 88552 0 0 0 316672 93 0 0 20 0 20 0 197615602 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=11812864 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=11812864 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 1287 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=11812868 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 3267.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11812868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.22 4.19 5/319 1063320
/proc/meminfo: memFree=85019492/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=11812868 CPUtime=3328.06 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 274253 0 0 0 332348 458 0 0 20 0 20 0 197615602 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 2953217 5896 1 0 3575038 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=11812868 CPUtime=3226.53 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 90765 0 0 0 322560 93 0 0 20 0 20 0 197615602 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=11812868 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 1287 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=11812868 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 2953217 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 3328.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11812868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/317 1063332
/proc/meminfo: memFree=84415088/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=11816964 CPUtime=3388.89 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 276248 0 0 0 338428 461 0 0 20 0 20 0 197615602 19566772224 2954241 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 2954241 5896 1 0 3575038 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=11596 CPUtime=3285.47 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 92216 0 0 0 328454 93 0 0 20 0 20 0 197615602 19566772224 2954241 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 2954241 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 1340 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 2954241 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=11812868 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 2954241 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 3388.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11816964 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/317 1063343
/proc/meminfo: memFree=84311952/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=11821076 CPUtime=3449.69 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 281859 0 0 0 344504 465 0 0 20 0 20 0 197615602 19566772224 2955269 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 2955269 5896 1 0 3575038 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=11596 CPUtime=3344.39 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 94789 0 0 0 334345 94 0 0 20 0 20 0 197615602 19566772224 2955269 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=11596 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 2955269 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=16216 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 2955269 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=5616 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 2955269 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 3449.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11821076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.48 4.26 4.20 5/316 1063420
/proc/meminfo: memFree=94695820/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=11831328 CPUtime=3510.55 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 283825 0 0 0 350587 468 0 0 20 0 20 0 197615602 19566772224 2957832 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 2957832 5896 1 0 3575038 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=11596 CPUtime=3403.28 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 96191 0 0 0 340234 94 0 0 20 0 20 0 197615602 19566772224 2957832 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=16216 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 2957832 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=11831328 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 2957832 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=11831328 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 2957832 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11831328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.25 4.20 5/317 1063431
/proc/meminfo: memFree=94575424/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=11855904 CPUtime=3571.31 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 289026 0 0 0 356661 470 0 0 20 0 20 0 197615602 19566772224 2963976 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 2963976 5896 1 0 3575038 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=11596 CPUtime=3462.24 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) R 1061321 1061324 1058409 0 -1 4194368 98457 0 0 0 346130 94 0 0 20 0 20 0 197615602 19566772224 2963976 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=11831328 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 2963976 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=11855904 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 1514 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 2963976 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=11855904 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 2963976 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11855904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3550.4 s]
/proc/loadavg: 4.18 4.23 4.19 5/317 1063436
/proc/meminfo: memFree=94154396/131655788 swapFree=131071996/131071996
[pid=1061324] ppid=1061321 vsize=19108176 memory=12462112 CPUtime=3600.06 cores=1,3
/proc/1061324/stat : 1061324 (java) S 1061321 1061324 1058409 0 -1 1077936128 289702 0 0 0 359522 484 0 0 20 0 20 0 197615602 19566772224 3115528 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
/proc/1061324/statm: 4777044 3115528 5896 1 0 3575038 0
[pid=1061324/tid=1061326] ppid=1061321 vsize=19108176 memory=-7739538742172739940 CPUtime=3489.54 cores=1,3
/proc/1061324/task/1061326/stat : 1061326 (java) S 1061321 1061324 1058409 0 -1 1077936192 98793 0 0 0 348860 94 0 0 20 0 20 0 197615602 19566772224 3115528 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061335] ppid=1061321 vsize=19108176 memory=16216 CPUtime=0 cores=1,3
/proc/1061324/task/1061335/stat : 1061335 (Finalizer) S 1061321 1061324 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197615608 19566772224 3115528 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061342] ppid=1061321 vsize=19108176 memory=2220 CPUtime=0 cores=1,3
/proc/1061324/task/1061342/stat : 1061342 (Common-Cleaner) S 1061321 1061324 1058409 0 -1 1077936192 1514 0 0 0 0 0 0 0 20 0 20 0 197615609 19566772224 3115528 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
[pid=1061324/tid=1061343] ppid=1061321 vsize=19108176 memory=39916 CPUtime=0 cores=1,3
/proc/1061324/task/1061343/stat : 1061343 (Timer-0) S 1061321 1061324 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197615623 19566772224 3115528 134679101440 94894008565760 94894008569456 140724794132288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94894008577272 94894008578064 94894027673600 140724794135557 140724794135647 140724794135647 140724794142664 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12462112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.78 s, system=4.9378 s

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

[startup+3550.8 s]*
/proc/loadavg: 4.18 4.23 4.19 5/299 1063439
/proc/meminfo: memFree=106394340/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): 3550.81
CPU time (s): 3600.72
CPU user time (s): 3595.78
CPU system time (s): 4.9378
CPU usage (%): 101.405
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12645192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.78
system time used= 4.9378
maximum resident set size= 12646156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115349
involuntary context switches= 7641


# summary of solver processes directly reported to runsolver:
#   pid: 1061324
#   total CPU time (s): 3600.72
#   total CPU user time (s): 3595.78
#   total CPU system time (s): 4.9378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0667 second user time and 35.2033 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 07:50:07
IDJOB=4453204
IDBENCH=169361
IDSOLVER=3058
FILE ID=nodeC003/4453204-1721454595
RUNJOBID= nodeC003-1721450898-1058421
SLURM_JOB_ID= 7545681
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-lines-v3_shuffle/normalized-grid8_45.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-4453204-1721454595/watcher-4453204-1721454595 -o /tmp/evaluation-result-4453204-1721454595/solver-4453204-1721454595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058421 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453204-1721454595.opb

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

MD5SUM BENCH= cf85b4969986e0e793a269282936f484
RANDOM SEED=1200835931

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.225
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:        92086104 kB
MemAvailable:   97728168 kB
Buffers:          567564 kB
Cached:          5856700 kB
SwapCached:            0 kB
Active:          1059264 kB
Inactive:       37756356 kB
Active(anon):       1460 kB
Inactive(anon): 32435828 kB
Active(file):    1057804 kB
Inactive(file):  5320528 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:      32391404 kB
Mapped:           128576 kB
Shmem:             45896 kB
KReclaimable:     207528 kB
Slab:             323932 kB
SReclaimable:     207528 kB
SUnreclaim:       116404 kB
KernelStack:        4784 kB
PageTables:        73420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   38414972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  31879168 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:49:18