Trace number 4459903

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)-18 3600.3 3529.36

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM273961b324c53d2d230ce6da1470e4a9
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark71423.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4459903-1721943062.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.35/0.28	c ... done. Wall clock time 0.158s.
0.35/0.28	c declared #vars     400
0.35/0.28	c internal #vars     6604
0.35/0.28	c #constraints  13010
0.35/0.28	c constraints type 
0.35/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.35/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.35/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
0.35/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6204
0.35/0.28	c 13010 constraints processed.
0.35/0.29	c objective function length is 200 literals
1.09/0.66	c SATISFIABLE
1.09/0.66	c OPTIMIZING...
1.09/0.67	c Got one! Elapsed wall clock time (in seconds):0.542
1.09/0.67	o -17
1.45/0.83	c Got one! Elapsed wall clock time (in seconds):0.711
1.45/0.83	o -18
2.84/2.03	c cleaning 2935 clauses out of 5870 with flag 19953/5870
3.85/2.92	c cleaning 4444 clauses out of 8901 with flag 36223/11836
4.56/3.53	c cleaning 5727 clauses out of 11455 with flag 51518/18834
5.52/4.41	c cleaning 6866 clauses out of 13731 with flag 68608/26837
7.00/5.80	c cleaning 7933 clauses out of 15865 with flag 86951/35837
9.20/8.04	c cleaning 8969 clauses out of 17937 with flag 108469/45842
10.76/9.53	c cleaning 9982 clauses out of 19978 with flag 130709/56852
12.32/11.08	c cleaning 10995 clauses out of 21989 with flag 154697/68845
14.28/12.91	c cleaning 11992 clauses out of 23983 with flag 180677/81834
16.48/15.09	c cleaning 13020 clauses out of 26039 with flag 208773/95882
19.36/17.82	c cleaning 14010 clauses out of 28019 with flag 239879/110882
22.24/20.68	c cleaning 14994 clauses out of 29988 with flag 273578/126861
25.48/23.73	c cleaning 15987 clauses out of 31981 with flag 309057/143848
28.00/26.20	c cleaning 16993 clauses out of 33988 with flag 347315/161842
32.94/31.18	c cleaning 17995 clauses out of 35990 with flag 391809/180837
39.28/37.40	c cleaning 19016 clauses out of 38031 with flag 433905/200873
45.63/43.78	c cleaning 19988 clauses out of 39975 with flag 478042/221833
54.67/52.75	c cleaning 21014 clauses out of 42033 with flag 526405/243879
63.20/61.24	c cleaning 22000 clauses out of 44000 with flag 574937/266860
71.04/68.67	c cleaning 23034 clauses out of 46067 with flag 625328/290927
79.61/77.02	c cleaning 23988 clauses out of 47975 with flag 677525/315869
86.45/83.82	c cleaning 24944 clauses out of 49951 with flag 730291/341833
91.00/88.39	c cleaning 25999 clauses out of 52018 with flag 787937/368844
96.05/93.32	c cleaning 27009 clauses out of 54017 with flag 853492/396842
100.73/97.92	c cleaning 28057 clauses out of 56120 with flag 918924/425954
108.11/105.12	c cleaning 29024 clauses out of 58055 with flag 983906/455946
117.79/114.77	c cleaning 29973 clauses out of 59946 with flag 1046188/486861
129.08/126.00	c cleaning 30997 clauses out of 61993 with flag 1111064/518881
135.14/131.40	c cleaning 31976 clauses out of 63951 with flag 1185034/551836
145.72/142.10	c cleaning 32990 clauses out of 65979 with flag 1253858/585840
157.74/153.93	c cleaning 34030 clauses out of 68060 with flag 1325042/620911
165.55/161.66	c cleaning 34988 clauses out of 69977 with flag 1398240/656858
176.50/172.46	c cleaning 35976 clauses out of 71964 with flag 1476655/693833
190.35/186.11	c cleaning 37024 clauses out of 74048 with flag 1556535/731893
202.81/198.48	c cleaning 38026 clauses out of 76052 with flag 1640322/770921
213.56/209.02	c cleaning 38972 clauses out of 77944 with flag 1725623/810839
226.29/221.12	c cleaning 39937 clauses out of 79993 with flag 1814771/851860
235.01/229.84	c cleaning 41048 clauses out of 82142 with flag 1902200/893946
245.77/240.56	c cleaning 41920 clauses out of 83982 with flag 1990419/936834
254.76/249.57	c cleaning 43021 clauses out of 86145 with flag 2082563/980917
265.94/260.75	c cleaning 44031 clauses out of 88062 with flag 2174693/1025855
282.21/277.07	c cleaning 45037 clauses out of 90075 with flag 2271262/1071899
290.00/284.88	c cleaning 45951 clauses out of 91977 with flag 2367965/1118838
299.21/293.42	c cleaning 46989 clauses out of 94036 with flag 2465783/1166848
311.96/306.15	c cleaning 48004 clauses out of 96038 with flag 2567669/1215839
322.62/316.59	c cleaning 49009 clauses out of 98029 with flag 2671711/1265834
338.84/332.61	c cleaning 50004 clauses out of 100024 with flag 2780989/1316838
350.37/343.29	c cleaning 50998 clauses out of 102036 with flag 2891267/1368854
361.03/353.71	c cleaning 52012 clauses out of 104029 with flag 3019199/1421845
373.13/365.76	c cleaning 52991 clauses out of 106019 with flag 3143304/1475847
384.84/377.29	c cleaning 54007 clauses out of 108016 with flag 3289906/1530835
399.26/391.55	c cleaning 54960 clauses out of 110008 with flag 3431377/1586834
408.92/400.96	c cleaning 56013 clauses out of 112047 with flag 3561244/1643833
415.54/407.28	c cleaning 57005 clauses out of 114035 with flag 3691851/1701834
422.84/413.72	c cleaning 58008 clauses out of 116031 with flag 3825271/1760835
437.13/427.72	c cleaning 59018 clauses out of 118035 with flag 3960503/1820847
445.18/435.46	c cleaning 60002 clauses out of 120013 with flag 4097441/1881843
460.96/451.13	c cleaning 61000 clauses out of 122001 with flag 4247609/1943833
477.65/467.50	c cleaning 61995 clauses out of 124002 with flag 4414836/2006834
494.67/484.39	c cleaning 62974 clauses out of 126006 with flag 4581607/2070833
516.96/506.50	c cleaning 64014 clauses out of 128032 with flag 4734069/2135833
533.10/522.44	c cleaning 64990 clauses out of 130018 with flag 4882970/2201833
548.16/536.73	c cleaning 66026 clauses out of 132058 with flag 5036300/2268863
564.73/553.00	c cleaning 66949 clauses out of 134002 with flag 5235557/2336833
576.54/564.60	c cleaning 68026 clauses out of 136065 with flag 5450945/2405845
603.09/590.94	c cleaning 69002 clauses out of 138030 with flag 5690813/2475836
616.23/603.89	c cleaning 69998 clauses out of 140025 with flag 5872038/2546833
634.88/622.24	c cleaning 71004 clauses out of 142029 with flag 6079798/2618835
658.43/645.77	c cleaning 72007 clauses out of 144023 with flag 6269424/2691833
681.01/667.11	c cleaning 73002 clauses out of 146019 with flag 6440949/2765836
691.71/677.60	c cleaning 74008 clauses out of 148018 with flag 6610715/2840837
713.39/699.01	c cleaning 75012 clauses out of 150031 with flag 6843223/2916858
739.67/725.15	c cleaning 75984 clauses out of 152003 with flag 7068393/2993842
750.55/735.64	c cleaning 76996 clauses out of 154015 with flag 7251406/3071838
781.69/766.64	c cleaning 78008 clauses out of 156017 with flag 7435562/3150836
803.91/787.56	c cleaning 78987 clauses out of 158013 with flag 7646157/3230840
829.54/812.85	c cleaning 79986 clauses out of 160020 with flag 7851876/3311834
852.98/835.91	c cleaning 81009 clauses out of 162042 with flag 8073695/3393842
880.41/863.19	c cleaning 82010 clauses out of 164038 with flag 8286116/3476847
892.86/875.30	c cleaning 82995 clauses out of 166016 with flag 8479089/3560835
925.24/907.57	c cleaning 83990 clauses out of 168020 with flag 8685416/3645834
955.55/936.71	c cleaning 84994 clauses out of 170033 with flag 8883737/3731837
971.50/952.37	c cleaning 86014 clauses out of 172035 with flag 9080198/3818833
986.69/967.33	c cleaning 86996 clauses out of 174022 with flag 9276145/3906834
1011.99/992.16	c cleaning 88015 clauses out of 176033 with flag 9472959/3995841
1040.69/1019.37	c cleaning 88998 clauses out of 178018 with flag 9682857/4085841
1059.43/1037.84	c cleaning 89983 clauses out of 180012 with flag 9891457/4176833
1079.54/1057.53	c cleaning 91017 clauses out of 182033 with flag 10101568/4268837
1102.36/1080.03	c cleaning 91988 clauses out of 184012 with flag 10317681/4361833
1115.07/1092.37	c cleaning 93000 clauses out of 186024 with flag 10530232/4455833
1136.14/1111.87	c cleaning 93998 clauses out of 188024 with flag 10751367/4550833
1180.86/1156.27	c cleaning 95000 clauses out of 190026 with flag 10975961/4646833
1200.84/1176.00	c cleaning 96001 clauses out of 192027 with flag 11192710/4743834
1224.35/1199.07	c cleaning 97000 clauses out of 194026 with flag 11413149/4841834
1244.82/1219.23	c cleaning 98004 clauses out of 196029 with flag 11634889/4940837
1266.93/1239.46	c cleaning 98998 clauses out of 198022 with flag 11856113/5040834
1283.03/1255.01	c cleaning 99998 clauses out of 200023 with flag 12081252/5141833
1296.36/1267.94	c cleaning 101012 clauses out of 202025 with flag 12309017/5243833
1308.07/1279.21	c cleaning 101994 clauses out of 204013 with flag 12538635/5346833
1325.10/1295.87	c cleaning 103000 clauses out of 206019 with flag 12772693/5450833
1341.32/1311.74	c cleaning 104012 clauses out of 208024 with flag 13005632/5555838
1359.74/1328.68	c cleaning 105005 clauses out of 210009 with flag 13243767/5661835
1384.64/1353.04	c cleaning 105976 clauses out of 212002 with flag 13523417/5768833
1411.79/1379.94	c cleaning 106990 clauses out of 214026 with flag 13884649/5876833
1450.24/1417.94	c cleaning 108008 clauses out of 216037 with flag 14175565/5985834
1475.50/1442.89	c cleaning 109004 clauses out of 218028 with flag 14465639/6095833
1501.17/1468.27	c cleaning 110012 clauses out of 220024 with flag 14724996/6206833
1531.14/1497.60	c cleaning 111008 clauses out of 222016 with flag 14972517/6318837
1560.97/1525.75	c cleaning 111995 clauses out of 224008 with flag 15232128/6431837
1598.90/1563.38	c cleaning 112999 clauses out of 226009 with flag 15491427/6545833
1641.40/1605.38	c cleaning 114005 clauses out of 228010 with flag 15758622/6660833
1677.50/1640.92	c cleaning 115003 clauses out of 230005 with flag 16021732/6776833
1704.24/1667.23	c cleaning 115993 clauses out of 232006 with flag 16279360/6893837
1739.17/1699.49	c cleaning 117005 clauses out of 234010 with flag 16546561/7011834
1777.78/1737.78	c cleaning 118006 clauses out of 236016 with flag 16815887/7130845
1798.62/1758.15	c cleaning 118996 clauses out of 238002 with flag 17078487/7250837
1835.47/1794.56	c cleaning 119990 clauses out of 240003 with flag 17350553/7371834
1857.07/1815.67	c cleaning 120999 clauses out of 242018 with flag 17622195/7493839
1881.08/1839.38	c cleaning 122006 clauses out of 244023 with flag 17894472/7616843
1923.07/1880.86	c cleaning 122988 clauses out of 246008 with flag 18157906/7740834
1960.77/1918.10	c cleaning 124012 clauses out of 248023 with flag 18423207/7865837
1999.95/1955.49	c cleaning 125009 clauses out of 250028 with flag 18703390/7991854
2030.54/1985.59	c cleaning 126004 clauses out of 252010 with flag 18984558/8118845
2055.59/2010.30	c cleaning 126992 clauses out of 253997 with flag 19264861/8246836
2089.19/2043.79	c cleaning 127990 clauses out of 256005 with flag 19545345/8375836
2112.93/2067.03	c cleaning 128998 clauses out of 258014 with flag 19833785/8505835
2140.16/2093.85	c cleaning 129987 clauses out of 260015 with flag 20117438/8636834
2193.33/2146.60	c cleaning 131000 clauses out of 262027 with flag 20411397/8768833
2218.86/2171.74	c cleaning 132011 clauses out of 264032 with flag 20701612/8901838
2245.08/2197.63	c cleaning 133012 clauses out of 266024 with flag 20993386/9035841
2290.98/2243.17	c cleaning 133995 clauses out of 268008 with flag 21294087/9170837
2342.51/2294.26	c cleaning 134989 clauses out of 270014 with flag 21608180/9306838
2390.84/2342.46	c cleaning 136012 clauses out of 272027 with flag 21925391/9443840
2420.13/2369.68	c cleaning 137005 clauses out of 274017 with flag 22231494/9581842
2436.42/2385.40	c cleaning 137995 clauses out of 276003 with flag 22539535/9720833
2477.51/2426.21	c cleaning 138983 clauses out of 278008 with flag 22862489/9860833
2510.97/2459.57	c cleaning 140009 clauses out of 280036 with flag 23175947/10001844
2539.79/2487.62	c cleaning 140997 clauses out of 282016 with flag 23490330/10143833
2574.97/2522.36	c cleaning 142007 clauses out of 284019 with flag 23808465/10286833
2616.43/2563.21	c cleaning 143000 clauses out of 286019 with flag 24141343/10430840
2651.47/2598.04	c cleaning 143999 clauses out of 288012 with flag 24467873/10575833
2673.65/2619.65	c cleaning 144996 clauses out of 290013 with flag 24791539/10721833
2713.26/2658.73	c cleaning 145997 clauses out of 292025 with flag 25133752/10868841
2750.41/2695.34	c cleaning 147002 clauses out of 294024 with flag 25456658/11016837
2774.15/2718.46	c cleaning 147994 clauses out of 296019 with flag 25769184/11165834
2797.20/2740.90	c cleaning 149011 clauses out of 298024 with flag 26083380/11315833
2841.15/2783.10	c cleaning 149983 clauses out of 300013 with flag 26427045/11466833
2886.37/2827.97	c cleaning 151018 clauses out of 302040 with flag 26768935/11618843
2920.31/2861.37	c cleaning 151994 clauses out of 304012 with flag 27100151/11771833
2950.44/2890.95	c cleaning 153000 clauses out of 306019 with flag 27434086/11925834
2973.34/2913.18	c cleaning 154002 clauses out of 308018 with flag 27763703/12080833
2991.67/2931.05	c cleaning 154994 clauses out of 310016 with flag 28105436/12236833
3032.72/2971.76	c cleaning 155993 clauses out of 312026 with flag 28466413/12393837
3062.93/3001.35	c cleaning 157007 clauses out of 314033 with flag 28833278/12551837
3092.15/3029.85	c cleaning 157987 clauses out of 316022 with flag 29178581/12710833
3152.53/3089.82	c cleaning 159001 clauses out of 318043 with flag 29545508/12870841
3196.45/3133.08	c cleaning 160015 clauses out of 320034 with flag 29909201/13031833
3233.84/3170.17	c cleaning 160987 clauses out of 322020 with flag 30260942/13193834
3268.07/3203.80	c cleaning 162013 clauses out of 324041 with flag 30615383/13356842
3292.02/3225.50	c cleaning 163007 clauses out of 326025 with flag 30963305/13520839
3343.32/3276.37	c cleaning 164001 clauses out of 328012 with flag 31320303/13685833
3396.80/3329.26	c cleaning 164989 clauses out of 330011 with flag 31692299/13851833
3432.86/3364.90	c cleaning 166000 clauses out of 332022 with flag 32041836/14018833
3471.80/3403.12	c cleaning 167000 clauses out of 334022 with flag 32412282/14186833
3515.41/3446.39	c cleaning 168007 clauses out of 336023 with flag 32781165/14355834
3547.18/3477.46	c cleaning 168994 clauses out of 338015 with flag 33149106/14525833
3576.63/3506.13	c cleaning 169991 clauses out of 340023 with flag 33512568/14696835
3600.02/3529.21	c starts		: 6715
3600.02/3529.22	c conflicts		: 14819318
3600.02/3529.22	c decisions		: 26179004
3600.02/3529.22	c propagations		: 261583872
3600.02/3529.22	c inspects		: 17698437464
3600.02/3529.22	c shortcuts		: 0
3600.02/3529.22	c learnt literals	: 0
3600.02/3529.22	c learnt binary clauses	: 13
3600.02/3529.22	c learnt ternary clauses	: 2248
3600.02/3529.22	c learnt constraints	: 14819318
3600.02/3529.22	c ignored constraints	: 0
3600.02/3529.22	c root simplifications	: 0
3600.02/3529.22	c removed literals (reason simplification)	: 0
3600.02/3529.22	c reason swapping (by a shorter reason)	: 0
3600.02/3529.22	c Calls to reduceDB	: 167
3600.02/3529.22	c Number of update (reduction) of LBD	: 2293504
3600.02/3529.22	c Imported unit clauses	: 0
3600.02/3529.22	c No decision after first conflict	: false
3600.02/3529.22	c number of reductions to clauses (during analyze)	: 0
3600.02/3529.22	c number of learned constraints concerned by reduction	: 0
3600.02/3529.22	c number of learning phase by resolution	: 0
3600.02/3529.22	c number of learning phase by cutting planes	: 0
3600.02/3529.22	c number of rounding to 1 operations	: 0
3600.02/3529.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3529.22	c number of reductions of the coefficients by power 2 	: 0
3600.02/3529.22	c number of right shift for reduction by power 2 	: 0
3600.02/3529.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3529.22	c number of ending skipping 	: 0
3600.02/3529.22	c number of internal skipping 	: 0
3600.02/3529.22	c number of derivation steps 	: 0
3600.02/3529.22	c number of skipped derivation steps 	: 0
3600.02/3529.22	c number of remaining unassigned 	: 0
3600.02/3529.22	c number of remaining assigned 	: 0
3600.02/3529.22	c number of falsified literals weakened from reason	: 0
3600.02/3529.22	c number of falsified literals weakened from conflict	: 0
3600.02/3529.22	c time for arithmetic operations	: 0
3600.02/3529.23	c minimum degree of deleted constraints	: null
3600.02/3529.23	c maximum degree of deleted constraints	: null
3600.02/3529.23	c number of deleted constraints	: 0
3600.02/3529.23	c speed (assignments/second)	: 74125.48552211108
3600.02/3529.24	c non guided choices	: 0
3600.22/3529.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 292502
3600.22/3529.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 13
3600.22/3529.32	s SATISFIABLE
3600.22/3529.32	c Found 2 solution(s)
3600.22/3529.32	v x1 x2 -x3 x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 -x355 x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 
3600.22/3529.32	c objective function=-18
3600.22/3529.32	c Total wall clock time (in seconds): 3529.186

Verifier Data 

OK	-18

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10021 s]*
/proc/loadavg: 1.20 1.15 1.09 10/329 255676
/proc/meminfo: memFree=123931852/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=18975048 memory=64440 CPUtime=0.14 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 7096 0 0 0 12 2 0 0 20 0 18 0 30829109 19430449152 16110 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4743762 16110 5592 1 0 549334 0
[pid=255597/tid=255605] ppid=255594 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) S 255594 255597 253150 0 -1 1077936192 5663 0 0 0 7 1 0 0 20 0 18 0 30829110 19430449152 16110 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=18975048 memory=1121866 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30829112 19430449152 16110 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30829113 19430449152 16110 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64440 KiB

[startup+0.21294 s]*
/proc/loadavg: 1.20 1.15 1.09 15/330 255677
/proc/meminfo: memFree=123882440/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=18975048 memory=81116 CPUtime=0.35 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 7526 0 0 0 32 3 0 0 20 0 18 0 30829109 19430449152 20279 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4743762 20279 5821 1 0 549583 0
[pid=255597/tid=255605] ppid=255594 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 5840 0 0 0 17 2 0 0 20 0 18 0 30829110 19430449152 20791 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=18975048 memory=1121866 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30829112 19430449152 20791 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30829113 19430449152 20791 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81116 KiB

[startup+0.313939 s]*
/proc/loadavg: 1.20 1.15 1.09 13/331 255678
/proc/meminfo: memFree=123751076/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19041612 memory=110536 CPUtime=0.52 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 9660 0 0 0 48 4 0 0 20 0 19 0 30829109 19498610688 27634 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4760403 27634 5875 1 0 550946 0
[pid=255597/tid=255605] ppid=255594 vsize=19041612 memory=-8815906665889768124 CPUtime=0.27 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 5964 0 0 0 24 3 0 0 20 0 19 0 30829110 19498610688 27634 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30829112 19498610688 27634 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30829113 19498610688 27634 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30829139 19498610688 27634 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110536 KiB

[startup+0.706939 s]
/proc/loadavg: 1.20 1.15 1.09 12/334 255681
/proc/meminfo: memFree=123618684/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19041612 memory=117788 CPUtime=1.27 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 11236 0 0 0 123 4 0 0 20 0 19 0 30829109 19498610688 29447 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4760403 29447 5891 1 0 552100 0
[pid=255597/tid=255605] ppid=255594 vsize=19041612 memory=13524 CPUtime=0.66 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 5986 0 0 0 63 3 0 0 20 0 19 0 30829110 19498610688 29447 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19041612 memory=13524 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30829112 19498610688 29447 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19041612 memory=280276144288744 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30829113 19498610688 29447 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19041612 memory=1896 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30829139 19498610688 29447 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 117788 KiB

[startup+1.50028 s]
/proc/loadavg: 2.14 1.35 1.16 10/334 255681
/proc/meminfo: memFree=123311352/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19041612 memory=132588 CPUtime=2.23 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 11697 0 0 0 218 5 0 0 20 0 19 0 30829109 19498610688 33147 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4760403 33147 5891 1 0 552102 0
[pid=255597/tid=255605] ppid=255594 vsize=19041612 memory=13524 CPUtime=1.44 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 6142 0 0 0 141 3 0 0 20 0 19 0 30829110 19498610688 33147 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19041612 memory=1896 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30829112 19498610688 33147 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30829113 19498610688 33147 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30829139 19498610688 33147 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 132588 KiB

[startup+3.1058 s]
/proc/loadavg: 2.14 1.35 1.16 6/336 255683
/proc/meminfo: memFree=123077016/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=206888 CPUtime=4.07 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 17069 0 0 0 400 7 0 0 20 0 20 0 30829109 19566772224 51722 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 51722 5891 1 0 552445 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=0 CPUtime=3.01 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 7235 0 0 0 297 4 0 0 20 0 20 0 30829110 19566772224 51722 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 51722 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=13524 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 51722 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 51722 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 206888 KiB

[startup+6.30028 s]
/proc/loadavg: 2.45 1.43 1.18 5/338 255685
/proc/meminfo: memFree=122880668/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=368192 CPUtime=7.5 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 17332 0 0 0 739 11 0 0 20 0 20 0 30829109 19566772224 92048 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 92048 5891 1 0 552445 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=0 CPUtime=6.05 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 7302 0 0 0 601 4 0 0 20 0 20 0 30829110 19566772224 92048 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=-8670646978219963584 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 92048 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=13524 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 92048 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 92048 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 368192 KiB

[startup+12.7003 s]
/proc/loadavg: 2.57 1.47 1.20 5/338 255687
/proc/meminfo: memFree=122580604/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=666580 CPUtime=14.08 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 19330 0 0 0 1391 17 0 0 20 0 20 0 30829109 19566772224 166645 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 166645 5891 1 0 713266 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=-8886839459532481212 CPUtime=12.21 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 8081 0 0 0 1216 5 0 0 20 0 20 0 30829110 19566772224 166645 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 166645 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 166645 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 166645 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 14.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 666580 KiB

[startup+25.5009 s]
/proc/loadavg: 2.87 1.57 1.23 6/338 255688
/proc/meminfo: memFree=121600240/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=1291884 CPUtime=27.31 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 24848 0 0 0 2700 31 0 0 20 0 20 0 30829109 19566772224 322971 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 322971 5923 1 0 849045 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=12156 CPUtime=24.56 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 8892 0 0 0 2448 8 0 0 20 0 20 0 30829110 19566772224 322971 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=1084572 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 322971 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=368192 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 322971 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=68952 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 322971 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 27.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1291884 KiB

[startup+51.1059 s]
/proc/loadavg: 3.44 1.83 1.33 5/338 255694
/proc/meminfo: memFree=119896104/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=1847236 CPUtime=53.09 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 27412 0 0 0 5267 42 0 0 20 0 20 0 30829109 19566772224 461809 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 461809 5923 1 0 849055 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=1847236 CPUtime=49.45 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 9903 0 0 0 4936 9 0 0 20 0 20 0 30829110 19566772224 461809 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0

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

[startup+3222.3 s]
/proc/loadavg: 4.16 4.24 4.18 6/333 257534
/proc/meminfo: memFree=85673336/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=13973508 CPUtime=3288.83 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 297095 0 0 0 328442 441 0 0 20 0 20 0 30829109 19566772224 3493377 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 3493377 5938 1 0 3775242 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=27312 CPUtime=3147.36 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 70274 0 0 0 314650 86 0 0 20 0 20 0 30829110 19566772224 3493377 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=12860656 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 3493377 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=12946696 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 861 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 3493377 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=13973508 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 3493377 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 3288.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13973508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.26 4.19 6/334 257927
/proc/meminfo: memFree=85583896/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=14055508 CPUtime=3349.31 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 298950 0 0 0 334486 445 0 0 20 0 20 0 30829109 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 3513877 5938 1 0 3775242 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=14055508 CPUtime=3206.07 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 70830 0 0 0 320521 86 0 0 20 0 20 0 30829110 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=16100 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=14055508 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 861 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=14055504 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 3349.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14055508 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.29 4.20 6/332 257938
/proc/meminfo: memFree=85575528/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=14055508 CPUtime=3410.2 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 300565 0 0 0 340572 448 0 0 20 0 20 0 30829109 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 3513877 5938 1 0 3775242 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=1936 CPUtime=3264.25 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 71173 0 0 0 326339 86 0 0 20 0 20 0 30829110 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=13524 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=14055508 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 861 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=68952 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 3513877 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 3410.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14055508 KiB

[startup+3402.3 s]
/proc/loadavg: 4.48 4.34 4.22 5/332 257949
/proc/meminfo: memFree=85310244/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=14054936 CPUtime=3471 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 304036 0 0 0 346650 450 0 0 20 0 20 0 30829109 19566772224 3513734 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 3513734 5938 1 0 3775254 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=12156 CPUtime=3323.02 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 71334 0 0 0 332216 86 0 0 20 0 20 0 30829110 19566772224 3513734 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=14055508 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 3513734 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=14054936 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 861 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 3513734 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=14054936 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 3513734 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 3471 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14054936 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.30 4.22 6/332 257960
/proc/meminfo: memFree=84456268/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=14055016 CPUtime=3531.62 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 308351 0 0 0 352710 452 0 0 20 0 20 0 30829109 19566772224 3513754 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 3513754 5938 1 0 3775254 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=14055508 CPUtime=3381.68 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 72341 0 0 0 338082 86 0 0 20 0 20 0 30829110 19566772224 3513754 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=68952 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 3513754 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=68952 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 861 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 3513754 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=14055016 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 3513754 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 3531.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14055016 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.29 4.22 6/332 258139
/proc/meminfo: memFree=84455520/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=14055028 CPUtime=3593.14 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 309794 0 0 0 358860 454 0 0 20 0 20 0 30829109 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 3513757 5938 1 0 3775254 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=14055016 CPUtime=3439.78 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 72969 0 0 0 343892 86 0 0 20 0 20 0 30829110 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=14055016 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=16100 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 906 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 3593.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14055028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3529.2 s]
/proc/loadavg: 4.21 4.29 4.22 4/306 258174
/proc/meminfo: memFree=93889632/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19108176 memory=14055028 CPUtime=3600.02 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 309887 0 0 0 359547 455 0 0 20 0 20 0 30829109 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4777044 3513757 5938 1 0 3775254 0
[pid=255597/tid=255605] ppid=255594 vsize=19108176 memory=25872 CPUtime=3446.65 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 73062 0 0 0 344579 86 0 0 20 0 20 0 30829110 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19108176 memory=-8886839459532481212 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30829112 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19108176 memory=5480 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 906 0 0 0 0 0 0 0 20 0 20 0 30829113 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255678] ppid=255594 vsize=19108176 memory=2228 CPUtime=0 cores=5,7
/proc/255597/task/255678/stat : 255678 (Timer-0) S 255594 255597 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30829139 19566772224 3513757 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14055028 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.71 s, system=4.59837 s

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

[startup+3529.3 s]
/proc/loadavg: 4.21 4.29 4.22 4/306 258174
/proc/meminfo: memFree=93889632/131524600 swapFree=131061428/131071996
[pid=255597] ppid=255594 vsize=19307868 memory=14055860 CPUtime=3600.22 cores=5,7
/proc/255597/stat : 255597 (java) S 255594 255597 253150 0 -1 1077936128 312659 0 0 0 359567 455 0 0 20 0 21 0 30829109 19771256832 3513965 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
/proc/255597/statm: 4826967 3513965 5953 1 0 3776181 0
[pid=255597/tid=255605] ppid=255594 vsize=19307868 memory=14055016 CPUtime=3446.75 cores=5,7
/proc/255597/task/255605/stat : 255605 (java) R 255594 255597 253150 0 -1 4194368 73191 0 0 0 344589 86 0 0 20 0 21 0 30829110 19771256832 3513965 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255644] ppid=255594 vsize=19307868 memory=14055016 CPUtime=0 cores=5,7
/proc/255597/task/255644/stat : 255644 (Finalizer) S 255594 255597 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30829112 19771256832 3513965 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
[pid=255597/tid=255653] ppid=255594 vsize=19307868 memory=12156 CPUtime=0 cores=5,7
/proc/255597/task/255653/stat : 255653 (Common-Cleaner) S 255594 255597 253150 0 -1 1077936192 906 0 0 0 0 0 0 0 20 0 21 0 30829113 19771256832 3513965 134679101440 94668680577024 94668680580720 140726767956352 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94668680588536 94668680589328 94668686954496 140726767961094 140726767961184 140726767961184 140726767968200 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14055860 KiB

Child status: 143

Real time (s): 3529.36
CPU time (s): 3600.3
CPU user time (s): 3595.71
CPU system time (s): 4.59837
CPU usage (%): 102.01
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14056360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.71
system time used= 4.59837
maximum resident set size= 14056664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121257
involuntary context switches= 17049


# summary of solver processes directly reported to runsolver:
#   pid: 255597
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3595.71
#   total CPU system time (s): 4.59837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49169 second user time and 18.0177 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-25 23:31:02
IDJOB=4459903
IDBENCH=148653
IDSOLVER=3058
FILE ID=nodeC022/4459903-1721943062
RUNJOBID= nodeC022-1721943062-255548
SLURM_JOB_ID= 8247243
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459903-1721943062/watcher-4459903-1721943062 -o /tmp/evaluation-result-4459903-1721943062/solver-4459903-1721943062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721943062-255548 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459903-1721943062.opb

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

MD5SUM BENCH= 273961b324c53d2d230ce6da1470e4a9
RANDOM SEED=789619186

nodeC022.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		: 3602.401
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.87
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		: 3646.787
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.75
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		: 3636.561
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.87
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		: 2661.589
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.75
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		: 3629.627
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.87
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		: 3624.921
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.75
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		: 3639.207
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.87
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		: 3659.094
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124095436 kB
MemAvailable:   129631972 kB
Buffers:          344348 kB
Cached:          5941608 kB
SwapCached:         1424 kB
Active:          2653540 kB
Inactive:        4005256 kB
Active(anon):       1852 kB
Inactive(anon):   424772 kB
Active(file):    2651688 kB
Inactive(file):  3580484 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:              3424 kB
Writeback:            12 kB
AnonPages:        371300 kB
Mapped:           114980 kB
Shmem:             53732 kB
KReclaimable:     292116 kB
Slab:             416328 kB
SReclaimable:     292116 kB
SUnreclaim:       124212 kB
KernelStack:        3968 kB
PageTables:        10276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     683476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC022 at 2024-07-26 00:29:51