Trace number 4459935

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)-12 3600.32 3598.29

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
MD5SUMcf766711a707813c9bd3325657edcc33
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark281.076
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

Quality of the solution as a function of time


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

Solver Data 

0.11/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.12	c See www.sat4j.org for details.
0.11/0.13	c version CUSTOM.v20240707
0.11/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.15	c java.vm.version	22.0.1+8-16
0.11/0.15	c java.vm.vendor	Oracle Corporation
0.11/0.15	c sun.arch.data.model	64
0.11/0.15	c java.version		22.0.1
0.11/0.15	c os.name		Linux
0.11/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.15	c os.arch		amd64
0.11/0.16	c Free memory 		2115194816
0.11/0.16	c Max memory 		16282288128
0.11/0.16	c Total memory 		2122317824
0.11/0.17	c Number of processors 	2
0.26/0.27	--- Begin Solver configuration ---
0.26/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.26/0.27	Learn all clauses as in MiniSAT
0.26/0.27	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.27	No reason simplification
0.26/0.27	Glucose 2.1 dynamic restart strategy
0.26/0.27	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.26/0.27	timeout=2147483s
0.26/0.27	DB Simplification allowed=false
0.26/0.27	Listener: none
0.26/0.27	--- End Solver configuration ---
0.26/0.28	c Pseudo Boolean Optimization by upper bound
0.26/0.28	c --- Begin Solver configuration ---
0.26/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.26/0.28	c Learn all clauses as in MiniSAT
0.26/0.28	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.28	c No reason simplification
0.26/0.28	c Glucose 2.1 dynamic restart strategy
0.26/0.28	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.26/0.28	c timeout=2147483s
0.26/0.28	c DB Simplification allowed=false
0.26/0.28	c Listener: none
0.26/0.28	c --- End Solver configuration ---
0.26/0.28	c solving HOME/instance-4459935-1721943097.opb
0.26/0.28	c reading problem ... 
0.26/0.28	c  objective function found
0.40/0.39	c ... done. Wall clock time 0.113s.
0.40/0.39	c declared #vars     100
0.40/0.39	c internal #vars     716
0.40/0.39	c #constraints  1384
0.40/0.39	c constraints type 
0.40/0.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50
0.40/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
0.40/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 616
0.40/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 616
0.40/0.39	c 1384 constraints processed.
0.40/0.41	c objective function length is 50 literals
0.56/0.46	c SATISFIABLE
0.56/0.46	c OPTIMIZING...
0.56/0.46	c Got one! Elapsed wall clock time (in seconds):0.188
0.56/0.47	o -6
0.56/0.48	c Got one! Elapsed wall clock time (in seconds):0.2
0.56/0.48	o -8
1.48/0.91	c Got one! Elapsed wall clock time (in seconds):0.624
1.48/0.91	o -9
1.48/0.98	c cleaning 2746 clauses out of 5491 with flag 2672/5491
2.28/1.35	c cleaning 4372 clauses out of 8743 with flag 18234/11489
2.82/1.67	c cleaning 5677 clauses out of 11370 with flag 41930/18488
3.21/1.90	c cleaning 6847 clauses out of 13693 with flag 68740/26488
3.72/2.18	c cleaning 7923 clauses out of 15846 with flag 97322/35488
4.24/2.52	c cleaning 8945 clauses out of 17923 with flag 130438/45488
4.64/2.92	c cleaning 9992 clauses out of 19983 with flag 164503/56493
5.15/3.42	c cleaning 10994 clauses out of 21987 with flag 204368/68489
5.45/3.80	c Got one! Elapsed wall clock time (in seconds):3.52
5.45/3.80	o -10
5.79/4.05	c cleaning 13221 clauses out of 26450 with flag 15685/83946
5.99/4.23	c cleaning 9609 clauses out of 19229 with flag 32520/89946
6.19/4.41	c cleaning 8307 clauses out of 16622 with flag 51445/96948
6.50/4.63	c cleaning 8140 clauses out of 16313 with flag 72918/104946
6.72/4.88	c cleaning 8583 clauses out of 17173 with flag 101240/113946
7.18/5.25	c cleaning 9297 clauses out of 18594 with flag 131143/123950
7.64/5.61	c cleaning 10141 clauses out of 20293 with flag 163961/134946
7.94/6.00	c cleaning 11075 clauses out of 22153 with flag 204637/146947
8.44/6.49	c cleaning 12026 clauses out of 24077 with flag 250797/159946
8.95/6.96	c cleaning 13023 clauses out of 26051 with flag 296730/173946
9.45/7.49	c cleaning 14008 clauses out of 28028 with flag 343650/188946
10.16/8.13	c cleaning 14996 clauses out of 30020 with flag 394573/204946
10.85/8.87	c cleaning 16007 clauses out of 32024 with flag 450256/221946
11.64/9.64	c cleaning 17000 clauses out of 34017 with flag 510194/239946
12.61/10.53	c cleaning 18007 clauses out of 36017 with flag 579378/258946
13.03/10.95	c Got one! Elapsed wall clock time (in seconds):10.673
13.03/10.95	o -11
13.33/11.22	c cleaning 17978 clauses out of 35966 with flag 15684/276902
13.53/11.43	c cleaning 11990 clauses out of 23988 with flag 33674/282902
13.73/11.63	c cleaning 9500 clauses out of 18999 with flag 54748/289903
13.93/11.89	c cleaning 8742 clauses out of 17498 with flag 82147/297902
14.25/12.15	c cleaning 8872 clauses out of 17758 with flag 110563/306904
14.53/12.45	c cleaning 9433 clauses out of 18886 with flag 142597/316904
14.93/12.84	c cleaning 10221 clauses out of 20451 with flag 181781/327902
15.33/13.24	c cleaning 11109 clauses out of 22230 with flag 220964/339902
15.83/13.70	c cleaning 12054 clauses out of 24124 with flag 265905/352905
16.43/14.34	c cleaning 13034 clauses out of 26067 with flag 321336/366902
17.15/15.02	c cleaning 14014 clauses out of 28035 with flag 378317/381904
17.73/15.65	c cleaning 15007 clauses out of 30019 with flag 431808/397902
18.53/16.46	c cleaning 15997 clauses out of 32012 with flag 493864/414902
19.33/17.20	c cleaning 17007 clauses out of 34018 with flag 550834/432905
20.24/18.11	c cleaning 17996 clauses out of 36010 with flag 615011/451904
21.24/19.16	c cleaning 19004 clauses out of 38015 with flag 685831/471905
22.54/20.45	c cleaning 19998 clauses out of 40009 with flag 755666/492903
24.04/21.93	c cleaning 21005 clauses out of 42012 with flag 832257/514904
25.25/23.13	c cleaning 22000 clauses out of 44007 with flag 909040/537904
26.53/24.42	c cleaning 22994 clauses out of 46005 with flag 984256/561902
27.73/25.63	c cleaning 24001 clauses out of 48011 with flag 1056334/586902
29.14/27.09	c cleaning 25003 clauses out of 50010 with flag 1138916/612902
31.16/29.04	c cleaning 25989 clauses out of 52007 with flag 1232455/639902
32.64/30.56	c cleaning 27006 clauses out of 54018 with flag 1325224/667902
34.44/32.37	c cleaning 28002 clauses out of 56013 with flag 1422181/696903
36.94/34.85	c cleaning 29000 clauses out of 58010 with flag 1525524/726902
39.35/37.27	c cleaning 30005 clauses out of 60011 with flag 1625583/757903
41.64/39.55	c cleaning 30995 clauses out of 62005 with flag 1731942/789902
43.74/41.63	c cleaning 32005 clauses out of 64010 with flag 1833034/822902
46.49/44.34	c cleaning 32998 clauses out of 66005 with flag 1938840/856902
49.65/47.46	c cleaning 33998 clauses out of 68010 with flag 2063493/891905
50.37/48.14	c Got one! Elapsed wall clock time (in seconds):47.864
50.37/48.14	o -12
50.65/48.49	c cleaning 24829 clauses out of 49669 with flag 13355/907562
50.95/48.72	c cleaning 15412 clauses out of 30836 with flag 28193/913558
51.15/48.94	c cleaning 11208 clauses out of 22425 with flag 46230/920559
51.36/49.16	c cleaning 9606 clauses out of 19218 with flag 66655/928560
51.55/49.37	c cleaning 9297 clauses out of 18611 with flag 88796/937559
51.85/49.63	c cleaning 9654 clauses out of 19313 with flag 115597/947558
52.15/49.94	c cleaning 10317 clauses out of 20659 with flag 150811/958558
52.54/50.32	c cleaning 11169 clauses out of 22343 with flag 191379/970559
52.94/50.78	c cleaning 12074 clauses out of 24173 with flag 236702/983558
53.54/51.38	c cleaning 13043 clauses out of 26100 with flag 282855/997559
54.18/51.91	c cleaning 14017 clauses out of 28056 with flag 331912/1012558
54.78/52.51	c cleaning 15015 clauses out of 30043 with flag 387002/1028562
55.39/53.14	c cleaning 16004 clauses out of 32024 with flag 443111/1045558
56.08/53.88	c cleaning 17010 clauses out of 34020 with flag 501623/1063558
56.88/54.66	c cleaning 18004 clauses out of 36011 with flag 558413/1082559
57.88/55.62	c cleaning 19003 clauses out of 38007 with flag 619873/1102559
58.87/56.62	c cleaning 20001 clauses out of 40003 with flag 690351/1123558
60.07/57.87	c cleaning 20996 clauses out of 42004 with flag 766084/1145560
61.17/59.00	c cleaning 21996 clauses out of 44006 with flag 838967/1168558
62.38/60.12	c cleaning 23001 clauses out of 46011 with flag 916237/1192559
63.67/61.42	c cleaning 24004 clauses out of 48009 with flag 992209/1217558
64.87/62.65	c cleaning 25002 clauses out of 50007 with flag 1073024/1243560
66.38/64.15	c cleaning 25991 clauses out of 52003 with flag 1155147/1270558
67.97/65.78	c cleaning 27002 clauses out of 54014 with flag 1246868/1298560
69.86/67.62	c cleaning 27999 clauses out of 56010 with flag 1352496/1327558
71.86/69.69	c cleaning 28999 clauses out of 58014 with flag 1458824/1357561
74.17/71.95	c cleaning 29999 clauses out of 60013 with flag 1569007/1388559
76.38/74.17	c cleaning 31006 clauses out of 62016 with flag 1683968/1420561
78.76/76.54	c cleaning 31994 clauses out of 64008 with flag 1799718/1453559
80.96/78.77	c cleaning 33001 clauses out of 66013 with flag 1907267/1487558
83.46/81.29	c cleaning 34003 clauses out of 68016 with flag 2016281/1522562
85.85/83.68	c cleaning 34992 clauses out of 70009 with flag 2125383/1558558
88.65/86.43	c cleaning 36006 clauses out of 72019 with flag 2239037/1595560
91.65/89.43	c cleaning 36994 clauses out of 74011 with flag 2353829/1633558
94.66/92.46	c cleaning 38000 clauses out of 76018 with flag 2475136/1672559
97.85/95.68	c cleaning 39007 clauses out of 78019 with flag 2592853/1712560
101.14/98.92	c cleaning 40005 clauses out of 80011 with flag 2720215/1753559
104.86/102.65	c cleaning 40996 clauses out of 82005 with flag 2847078/1795558
108.65/106.40	c cleaning 42005 clauses out of 84010 with flag 2973765/1838559
112.54/110.36	c cleaning 42997 clauses out of 86004 with flag 3105406/1882558
116.74/114.56	c cleaning 43983 clauses out of 88007 with flag 3241040/1927558
121.04/118.83	c cleaning 45002 clauses out of 90024 with flag 3374221/1973558
124.93/122.77	c cleaning 46009 clauses out of 92024 with flag 3510148/2020560
130.04/127.86	c cleaning 47006 clauses out of 94013 with flag 3652748/2068558
133.84/131.66	c cleaning 47994 clauses out of 96007 with flag 3790044/2117558
139.15/136.99	c cleaning 48993 clauses out of 98013 with flag 3938956/2167558
144.26/142.09	c cleaning 50006 clauses out of 100021 with flag 4085443/2218559
150.35/148.13	c cleaning 51002 clauses out of 102014 with flag 4239010/2270558
155.65/153.47	c cleaning 52003 clauses out of 104017 with flag 4384193/2323563
160.84/158.60	c cleaning 52998 clauses out of 106010 with flag 4529607/2377559
167.04/164.85	c cleaning 54001 clauses out of 108011 with flag 4683963/2432558
173.63/171.47	c cleaning 54998 clauses out of 110013 with flag 4843879/2488561
181.42/179.20	c cleaning 56004 clauses out of 112012 with flag 5008890/2545558
188.23/186.08	c cleaning 56996 clauses out of 114011 with flag 5178912/2603561
195.32/193.19	c cleaning 58003 clauses out of 116014 with flag 5350269/2662560
202.40/200.28	c cleaning 58999 clauses out of 118010 with flag 5514914/2722559
210.79/208.64	c cleaning 60003 clauses out of 120011 with flag 5695125/2783559
219.10/216.95	c cleaning 61002 clauses out of 122007 with flag 5876654/2845558
227.69/225.54	c cleaning 62004 clauses out of 124007 with flag 6055493/2908560
236.46/233.80	c cleaning 62998 clauses out of 126002 with flag 6235519/2972559
246.15/243.51	c cleaning 63998 clauses out of 128004 with flag 6419252/3037559
253.99/251.34	c cleaning 65000 clauses out of 130007 with flag 6594391/3103560
263.58/261.01	c cleaning 65994 clauses out of 132005 with flag 6787307/3170558
274.58/271.97	c cleaning 66994 clauses out of 134011 with flag 6985703/3238558
284.86/282.23	c cleaning 68004 clauses out of 136017 with flag 7174380/3307558
294.67/292.03	c cleaning 69004 clauses out of 138013 with flag 7362334/3377558
304.85/302.23	c cleaning 69999 clauses out of 140009 with flag 7555271/3448558
314.93/312.35	c cleaning 71001 clauses out of 142010 with flag 7750370/3520558
326.06/323.44	c cleaning 72001 clauses out of 144009 with flag 7953163/3593558
336.25/333.70	c cleaning 72993 clauses out of 146008 with flag 8151349/3667558
348.33/345.73	c cleaning 74006 clauses out of 148015 with flag 8360151/3742558
360.51/357.98	c cleaning 74993 clauses out of 150010 with flag 8576061/3818559
374.20/371.68	c cleaning 76006 clauses out of 152018 with flag 8792415/3895560
386.72/384.17	c cleaning 77006 clauses out of 154013 with flag 9006193/3973561
400.60/398.09	c cleaning 77992 clauses out of 156005 with flag 9228086/4052559
414.36/411.81	c cleaning 79000 clauses out of 158012 with flag 9447879/4132558
426.34/423.89	c cleaning 80004 clauses out of 160013 with flag 9670675/4213559
440.12/437.68	c cleaning 80998 clauses out of 162008 with flag 9886638/4295558
454.02/451.50	c cleaning 81996 clauses out of 164010 with flag 10111577/4378558
465.89/463.41	c cleaning 83000 clauses out of 166014 with flag 10334114/4462558
478.70/476.26	c cleaning 84001 clauses out of 168016 with flag 10557398/4547560
490.50/488.06	c cleaning 84992 clauses out of 170013 with flag 10787084/4633558
504.68/502.27	c cleaning 86006 clauses out of 172022 with flag 11017404/4720559
520.66/518.28	c cleaning 87003 clauses out of 174017 with flag 11260686/4808560
537.67/535.23	c cleaning 88006 clauses out of 176012 with flag 11511619/4897558
554.66/552.27	c cleaning 88999 clauses out of 178007 with flag 11770087/4987559
575.43/573.06	c cleaning 89994 clauses out of 180009 with flag 12047020/5078560
594.20/591.65	c cleaning 91003 clauses out of 182014 with flag 12304565/5170559
614.52/611.91	c cleaning 92001 clauses out of 184010 with flag 12564211/5263558
632.09/629.52	c cleaning 92995 clauses out of 186009 with flag 12817162/5357558
647.52/644.98	c cleaning 94003 clauses out of 188015 with flag 13065973/5452559
663.29/660.76	c cleaning 95001 clauses out of 190011 with flag 13318931/5548558
683.51/680.97	c cleaning 96006 clauses out of 192012 with flag 13592029/5645560
701.37/698.82	c cleaning 96996 clauses out of 194004 with flag 13860793/5743558
719.93/717.31	c cleaning 97996 clauses out of 196009 with flag 14132155/5842559
736.60/734.05	c cleaning 99001 clauses out of 198014 with flag 14400052/5942560
756.67/754.19	c cleaning 100004 clauses out of 200014 with flag 14685954/6043561
771.94/769.40	c cleaning 100999 clauses out of 202008 with flag 14954781/6145559
791.78/789.28	c cleaning 101994 clauses out of 204009 with flag 15240114/6248559
813.56/811.11	c cleaning 103001 clauses out of 206015 with flag 15523186/6352559
832.08/829.59	c cleaning 103996 clauses out of 208013 with flag 15804062/6457558
854.06/851.53	c cleaning 104995 clauses out of 210017 with flag 16089539/6563558
878.09/875.51	c cleaning 106009 clauses out of 212022 with flag 16396723/6670558
900.46/898.00	c cleaning 107003 clauses out of 214016 with flag 16690397/6778561
920.38/917.83	c cleaning 107988 clauses out of 216010 with flag 16983884/6887558
943.05/940.58	c cleaning 108999 clauses out of 218022 with flag 17284702/6997558
964.32/961.80	c cleaning 110004 clauses out of 220023 with flag 17584953/7108558
986.91/984.48	c cleaning 111001 clauses out of 222020 with flag 17882025/7220559
1011.67/1009.27	c cleaning 112001 clauses out of 224018 with flag 18183583/7333558
1035.31/1032.81	c cleaning 113003 clauses out of 226018 with flag 18488633/7447559
1059.97/1057.54	c cleaning 114003 clauses out of 228015 with flag 18790584/7562559
1086.49/1083.61	c cleaning 114993 clauses out of 230012 with flag 19100876/7678559
1113.05/1110.29	c cleaning 116008 clauses out of 232021 with flag 19418637/7795561
1140.17/1137.34	c cleaning 116998 clauses out of 234010 with flag 19739372/7913558
1168.63/1165.87	c cleaning 118001 clauses out of 236014 with flag 20068916/8032560
1198.96/1196.19	c cleaning 118993 clauses out of 238012 with flag 20406134/8152559
1229.91/1227.15	c cleaning 120002 clauses out of 240018 with flag 20742277/8273558
1260.90/1258.19	c cleaning 120999 clauses out of 242017 with flag 21084548/8395559
1284.93/1282.12	c cleaning 121984 clauses out of 244017 with flag 21415880/8518558
1312.48/1309.70	c cleaning 123013 clauses out of 246034 with flag 21750122/8642559
1342.46/1339.73	c cleaning 124007 clauses out of 248021 with flag 22088593/8767559
1374.08/1371.36	c cleaning 125004 clauses out of 250013 with flag 22425935/8893558
1406.13/1403.40	c cleaning 126000 clauses out of 252011 with flag 22776577/9020560
1438.57/1435.80	c cleaning 126996 clauses out of 254009 with flag 23127417/9148558
1467.63/1464.91	c cleaning 128002 clauses out of 256013 with flag 23472455/9277558
1499.78/1497.02	c cleaning 129004 clauses out of 258013 with flag 23829890/9407560
1532.42/1529.73	c cleaning 130001 clauses out of 260012 with flag 24198696/9538563
1560.48/1557.88	c cleaning 131004 clauses out of 262011 with flag 24552228/9670563
1593.06/1590.49	c cleaning 131991 clauses out of 264004 with flag 24917900/9803560
1625.90/1623.39	c cleaning 133001 clauses out of 266011 with flag 25283832/9937558
1661.98/1659.40	c cleaning 134004 clauses out of 268011 with flag 25640716/10072559
1695.43/1692.98	c cleaning 135004 clauses out of 270011 with flag 26009262/10208563
1730.74/1728.26	c cleaning 135994 clauses out of 272003 with flag 26375709/10345559
1771.48/1769.11	c cleaning 136997 clauses out of 274009 with flag 26771014/10483559
1803.05/1800.50	c cleaning 137979 clauses out of 276011 with flag 27137356/10622558
1838.96/1836.55	c cleaning 139011 clauses out of 278034 with flag 27517213/10762560
1874.20/1871.77	c cleaning 140002 clauses out of 280021 with flag 27891300/10903558
1907.66/1905.25	c cleaning 141006 clauses out of 282019 with flag 28267544/11045558
1945.12/1942.69	c cleaning 142002 clauses out of 284016 with flag 28645858/11188561
1985.96/1983.57	c cleaning 142995 clauses out of 286011 with flag 29043746/11332558
2023.21/2020.82	c cleaning 144004 clauses out of 288018 with flag 29438358/11477560
2064.79/2062.49	c cleaning 145005 clauses out of 290013 with flag 29836431/11623559
2104.63/2102.38	c cleaning 146002 clauses out of 292008 with flag 30228184/11770559
2147.02/2143.83	c cleaning 146994 clauses out of 294005 with flag 30621883/11918558
2189.18/2186.06	c cleaning 148003 clauses out of 296012 with flag 31021173/12067559
2229.31/2226.26	c cleaning 148996 clauses out of 298008 with flag 31420092/12217558
2270.55/2267.52	c cleaning 150006 clauses out of 300016 with flag 31824588/12368562
2327.24/2324.23	c cleaning 150995 clauses out of 302006 with flag 32320347/12520558
2375.77/2372.87	c cleaning 151998 clauses out of 304012 with flag 32749249/12673559
2422.24/2419.30	c cleaning 152999 clauses out of 306013 with flag 33170059/12827558
2466.97/2464.11	c cleaning 154002 clauses out of 308014 with flag 33591696/12982558
2513.39/2510.54	c cleaning 155000 clauses out of 310013 with flag 34021819/13138559
2559.47/2556.68	c cleaning 156003 clauses out of 312013 with flag 34446987/13295559
2600.46/2597.65	c cleaning 157001 clauses out of 314009 with flag 34861393/13453558
2644.65/2641.83	c cleaning 158002 clauses out of 316010 with flag 35284445/13612560
2691.48/2688.72	c cleaning 158991 clauses out of 318006 with flag 35732187/13772558
2734.56/2731.86	c cleaning 160001 clauses out of 320015 with flag 36157983/13933558
2782.76/2780.05	c cleaning 161000 clauses out of 322015 with flag 36610457/14095559
2830.79/2828.11	c cleaning 161998 clauses out of 324014 with flag 37056418/14258558
2872.77/2870.11	c cleaning 163005 clauses out of 326018 with flag 37492979/14422560
2922.48/2919.94	c cleaning 164005 clauses out of 328013 with flag 37940983/14587560
2971.86/2969.32	c cleaning 165001 clauses out of 330008 with flag 38395861/14753560
3018.09/3015.60	c cleaning 165994 clauses out of 332005 with flag 38839491/14920558
3064.50/3062.09	c cleaning 167001 clauses out of 334012 with flag 39292080/15088559
3112.82/3110.44	c cleaning 168000 clauses out of 336010 with flag 39750276/15257558
3181.18/3178.86	c cleaning 168986 clauses out of 338010 with flag 40262234/15427558
3235.99/3233.73	c cleaning 170006 clauses out of 340024 with flag 40750995/15598558
3290.81/3288.62	c cleaning 171006 clauses out of 342019 with flag 41229412/15770559
3341.37/3339.29	c cleaning 171993 clauses out of 344012 with flag 41684455/15943558
3388.91/3386.88	c cleaning 173006 clauses out of 346020 with flag 42142816/16117559
3437.06/3435.04	c cleaning 174002 clauses out of 348013 with flag 42611862/16292558
3485.66/3483.70	c cleaning 174998 clauses out of 350013 with flag 43078361/16468560
3540.04/3538.13	c cleaning 176003 clauses out of 352013 with flag 43558261/16645558
3591.14/3589.35	c cleaning 176995 clauses out of 354010 with flag 44040233/16823558
3600.00/3598.13	c starts		: 52967
3600.00/3598.13	c conflicts		: 16883611
3600.00/3598.13	c decisions		: 35300867
3600.00/3598.13	c propagations		: 260429900
3600.00/3598.13	c inspects		: 26939466613
3600.00/3598.13	c shortcuts		: 0
3600.00/3598.13	c learnt literals	: 0
3600.00/3598.13	c learnt binary clauses	: 2
3600.00/3598.13	c learnt ternary clauses	: 5739
3600.00/3598.13	c learnt constraints	: 16883611
3600.00/3598.13	c ignored constraints	: 0
3600.00/3598.13	c root simplifications	: 0
3600.00/3598.13	c removed literals (reason simplification)	: 0
3600.00/3598.13	c reason swapping (by a shorter reason)	: 0
3600.00/3598.13	c Calls to reduceDB	: 228
3600.00/3598.13	c Number of update (reduction) of LBD	: 5259918
3600.00/3598.13	c Imported unit clauses	: 0
3600.00/3598.13	c No decision after first conflict	: false
3600.00/3598.13	c number of reductions to clauses (during analyze)	: 0
3600.00/3598.13	c number of learned constraints concerned by reduction	: 0
3600.00/3598.13	c number of learning phase by resolution	: 0
3600.00/3598.13	c number of learning phase by cutting planes	: 0
3600.00/3598.13	c number of rounding to 1 operations	: 0
3600.00/3598.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3598.13	c number of reductions of the coefficients by power 2 	: 0
3600.00/3598.13	c number of right shift for reduction by power 2 	: 0
3600.00/3598.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3598.13	c number of ending skipping 	: 0
3600.00/3598.13	c number of internal skipping 	: 0
3600.00/3598.13	c number of derivation steps 	: 0
3600.00/3598.13	c number of skipped derivation steps 	: 0
3600.00/3598.13	c number of remaining unassigned 	: 0
3600.00/3598.13	c number of remaining assigned 	: 0
3600.00/3598.14	c number of falsified literals weakened from reason	: 0
3600.00/3598.14	c number of falsified literals weakened from conflict	: 0
3600.00/3598.14	c time for arithmetic operations	: 0
3600.00/3598.14	c minimum degree of deleted constraints	: null
3600.00/3598.14	c maximum degree of deleted constraints	: null
3600.00/3598.14	c number of deleted constraints	: 0
3600.00/3598.14	c speed (assignments/second)	: 72387.3233329479
3600.00/3598.14	c non guided choices	: 0
3600.17/3598.26	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 237066
3600.17/3598.26	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2
3600.17/3598.26	s SATISFIABLE
3600.17/3598.27	c Found 6 solution(s)
3600.17/3598.27	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 
3600.17/3598.27	c objective function=-12
3600.17/3598.27	c Total wall clock time (in seconds): 3597.991

Verifier Data 

OK	-12

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459935-1721943097/watcher-4459935-1721943097 -o /tmp/evaluation-result-4459935-1721943097/solver-4459935-1721943097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251131 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459935-1721943097.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=253623, runsolver pid=253620

[startup+0.100936 s]*
/proc/loadavg: 4.32 4.25 4.18 7/319 253641
/proc/meminfo: memFree=99211644/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=18975048 memory=55608 CPUtime=0.11 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 6545 0 0 0 8 3 0 0 20 0 18 0 30298788 19430449152 13902 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4743762 13902 5534 1 0 550875 0
[pid=253623/tid=253625] ppid=253620 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 5475 0 0 0 6 3 0 0 20 0 18 0 30298789 19430449152 13902 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30298794 19430449152 13902 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=18975048 memory=3834596516937596960 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30298795 19430449152 13902 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55608 KiB

[startup+0.214111 s]*
/proc/loadavg: 4.32 4.25 4.18 5/319 253641
/proc/meminfo: memFree=99202080/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=18975048 memory=64728 CPUtime=0.26 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 7244 0 0 0 22 4 0 0 20 0 18 0 30298788 19430449152 16182 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4743762 16182 5541 1 0 551433 0
[pid=253623/tid=253625] ppid=253620 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 1077936192 5750 0 0 0 15 3 0 0 20 0 18 0 30298789 19430449152 16182 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=18975048 memory=1122407 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30298794 19430449152 16182 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=18975048 memory=14131147651172177 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30298795 19430449152 16182 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64728 KiB

[startup+0.314336 s]*
/proc/loadavg: 4.32 4.25 4.18 8/319 253641
/proc/meminfo: memFree=99200960/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=18975048 memory=66800 CPUtime=0.4 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 7544 0 0 0 35 5 0 0 20 0 18 0 30298788 19430449152 16700 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4743762 16700 5749 1 0 551622 0
[pid=253623/tid=253625] ppid=253620 vsize=18975048 memory=-9177039069599474364 CPUtime=0.27 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 5895 0 0 0 23 4 0 0 20 0 18 0 30298789 19430449152 16700 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30298794 19430449152 16700 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30298795 19430449152 16700 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66800 KiB

[startup+0.700933 s]
/proc/loadavg: 4.32 4.25 4.18 7/320 253642
/proc/meminfo: memFree=99194288/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19041612 memory=77680 CPUtime=1.09 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 9922 0 0 0 103 6 0 0 20 0 19 0 30298788 19498610688 19420 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4760403 19420 5901 1 0 553237 0
[pid=253623/tid=253625] ppid=253620 vsize=19041612 memory=5456 CPUtime=0.62 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 6048 0 0 0 58 4 0 0 20 0 19 0 30298789 19498610688 19420 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19041612 memory=12108 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30298794 19498610688 19420 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19041612 memory=164 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30298795 19498610688 19420 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30298830 19498610688 19420 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77680 KiB

[startup+1.50027 s]
/proc/loadavg: 4.32 4.25 4.18 7/320 253642
/proc/meminfo: memFree=99176924/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19041612 memory=100660 CPUtime=2.67 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 16401 0 0 0 259 8 0 0 20 0 19 0 30298788 19498610688 25165 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4760403 25165 5901 1 0 555295 0
[pid=253623/tid=253625] ppid=253620 vsize=19041612 memory=12108 CPUtime=1.41 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 6495 0 0 0 136 5 0 0 20 0 19 0 30298789 19498610688 25165 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30298794 19498610688 25165 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30298795 19498610688 25165 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19041612 memory=279747326289168 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30298830 19498610688 25165 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100660 KiB

[startup+3.11332 s]
/proc/loadavg: 4.29 4.25 4.18 5/320 253642
/proc/meminfo: memFree=99060152/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19041612 memory=144736 CPUtime=4.86 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 22437 0 0 0 476 10 0 0 20 0 19 0 30298788 19498610688 36184 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4760403 36184 5901 1 0 558042 0
[pid=253623/tid=253625] ppid=253620 vsize=19041612 memory=0 CPUtime=3.02 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 6784 0 0 0 296 6 0 0 20 0 19 0 30298789 19498610688 36184 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19041612 memory=12108 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30298794 19498610688 36184 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30298795 19498610688 36184 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19041612 memory=11756 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30298830 19498610688 36184 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 144736 KiB

[startup+6.30046 s]
/proc/loadavg: 4.29 4.25 4.18 5/321 253643
/proc/meminfo: memFree=98942648/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=187828 CPUtime=8.34 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 23909 0 0 0 822 12 0 0 20 0 20 0 30298788 19566772224 46957 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 46957 5917 1 0 558350 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=12108 CPUtime=6.14 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 7080 0 0 0 608 6 0 0 20 0 20 0 30298789 19566772224 46957 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 46957 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=102708 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 46957 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 46957 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187828 KiB

[startup+12.7005 s]
/proc/loadavg: 4.27 4.24 4.18 5/321 253645
/proc/meminfo: memFree=98777872/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=198528 CPUtime=14.83 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 27971 0 0 0 1470 13 0 0 20 0 20 0 30298788 19566772224 49632 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 49632 5933 1 0 558350 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=0 CPUtime=12.46 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 8097 0 0 0 1240 6 0 0 20 0 20 0 30298789 19566772224 49632 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=-9177039069599474364 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 49632 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=2224 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 49632 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 49632 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 198528 KiB

[startup+25.5005 s]
/proc/loadavg: 4.21 4.23 4.18 5/321 253647
/proc/meminfo: memFree=98358068/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=270512 CPUtime=27.63 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 30237 0 0 0 2747 16 0 0 20 0 20 0 30298788 19566772224 67628 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 67628 5948 1 0 558350 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=11756 CPUtime=25.03 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 9177 0 0 0 2496 7 0 0 20 0 20 0 30298789 19566772224 67628 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 67628 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=187828 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 67628 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=279747326235952 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 67628 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 27.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 270512 KiB

[startup+51.1143 s]
/proc/loadavg: 4.21 4.23 4.18 5/321 253651
/proc/meminfo: memFree=97579396/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=446796 CPUtime=53.36 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 36405 0 0 0 5313 23 0 0 20 0 20 0 30298788 19566772224 111699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 111699 5948 1 0 558350 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=381252 CPUtime=50.22 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 11490 0 0 0 5015 7 0 0 20 0 20 0 30298789 19566772224 111699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=279747326985600 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 111699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/320 255789
/proc/meminfo: memFree=89528228/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=2380444 CPUtime=3284.52 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 135091 0 0 0 328197 255 0 0 20 0 20 0 30298788 19566772224 595111 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 595111 5948 1 0 656306 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=2380444 CPUtime=3264.19 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 55425 0 0 0 326394 25 0 0 20 0 20 0 30298789 19566772224 595111 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=12108 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 595111 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=2380444 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 1880 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 595111 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=2380444 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 595111 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 3284.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2380444 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/320 255799
/proc/meminfo: memFree=89437592/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=2392740 CPUtime=3344.48 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 136920 0 0 0 334189 259 0 0 20 0 20 0 30298788 19566772224 598185 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 598185 5948 1 0 656306 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=12108 CPUtime=3323.89 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 56154 0 0 0 332363 26 0 0 20 0 20 0 30298789 19566772224 598185 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=2392740 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 598185 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 1930 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 598185 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=69356 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 598185 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 3344.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2392740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.15 4.17 5/321 255978
/proc/meminfo: memFree=89333932/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=2394796 CPUtime=3404.4 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 138612 0 0 0 340177 263 0 0 20 0 20 0 30298788 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 598699 5948 1 0 656306 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=2392740 CPUtime=3383.58 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 56661 0 0 0 338332 26 0 0 20 0 20 0 30298789 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=69356 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=2392740 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 1930 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=2394796 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 3404.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2394796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/321 255989
/proc/meminfo: memFree=89110356/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=2394796 CPUtime=3464.3 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 139216 0 0 0 346164 266 0 0 20 0 20 0 30298788 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 598699 5948 1 0 656306 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=2392740 CPUtime=3443.43 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 57177 0 0 0 344317 26 0 0 20 0 20 0 30298789 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=2392740 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=2394796 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=2394796 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 3464.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2394796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.13 4.16 4/297 256091
/proc/meminfo: memFree=94455524/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=2394796 CPUtime=3524.25 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 139843 0 0 0 352155 270 0 0 20 0 20 0 30298788 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 598699 5948 1 0 656306 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=2394796 CPUtime=3503.09 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 57594 0 0 0 350283 26 0 0 20 0 20 0 30298789 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=12108 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=2394796 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 3524.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2394796 KiB

[startup+3582.3 s]
/proc/loadavg: 3.20 3.88 4.07 3/269 256134
/proc/meminfo: memFree=95488744/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=2394796 CPUtime=3584.16 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 140754 0 0 0 358143 273 0 0 20 0 20 0 30298788 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 598699 5948 1 0 656306 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=69356 CPUtime=3562.95 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 58405 0 0 0 356269 26 0 0 20 0 20 0 30298789 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=-9177039069599474364 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=25560 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 2103 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=69356 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 598699 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2394796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.11 s]
/proc/loadavg: 2.94 3.79 4.04 3/269 256138
/proc/meminfo: memFree=95486568/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19108176 memory=2396844 CPUtime=3600 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 141651 0 0 0 359726 274 0 0 20 0 20 0 30298788 19566772224 599211 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4777044 599211 5948 1 0 656306 0
[pid=253623/tid=253625] ppid=253620 vsize=19108176 memory=343246 CPUtime=3578.65 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 58477 0 0 0 357839 26 0 0 20 0 20 0 30298789 19566772224 599211 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19108176 memory=2396844 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30298794 19566772224 599211 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19108176 memory=2396844 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 2103 0 0 0 0 0 0 0 20 0 20 0 30298795 19566772224 599211 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253642] ppid=253620 vsize=19108176 memory=2394796 CPUtime=0 cores=1,3
/proc/253623/task/253642/stat : 253642 (Timer-0) S 253620 253623 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30298830 19566772224 599211 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2396844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.56 s, system=2.76535 s

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

[startup+3598.2 s]
/proc/loadavg: 2.94 3.79 4.04 3/269 256138
/proc/meminfo: memFree=95486568/131655788 swapFree=131062644/131071996
[pid=253623] ppid=253620 vsize=19307868 memory=2397760 CPUtime=3600.17 cores=1,3
/proc/253623/stat : 253623 (java) S 253620 253623 251119 0 -1 1077936128 144331 0 0 0 359742 275 0 0 20 0 21 0 30298788 19771256832 599440 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
/proc/253623/statm: 4826967 599440 5947 1 0 657265 0
[pid=253623/tid=253625] ppid=253620 vsize=19307868 memory=18272 CPUtime=3578.7 cores=1,3
/proc/253623/task/253625/stat : 253625 (java) R 253620 253623 251119 0 -1 4194368 58550 0 0 0 357844 26 0 0 20 0 21 0 30298789 19771256832 599440 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253634] ppid=253620 vsize=19307868 memory=-9177039069599474364 CPUtime=0 cores=1,3
/proc/253623/task/253634/stat : 253634 (Finalizer) S 253620 253623 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30298794 19771256832 599440 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
[pid=253623/tid=253641] ppid=253620 vsize=19307868 memory=7132 CPUtime=0 cores=1,3
/proc/253623/task/253641/stat : 253641 (Common-Cleaner) S 253620 253623 251119 0 -1 1077936192 2103 0 0 0 0 0 0 0 20 0 21 0 30298795 19771256832 599440 134679101440 94464791687168 94464791690864 140733576860112 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94464791698680 94464791699472 94464796106752 140733576868870 140733576868960 140733576868960 140733576875976 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2397760 KiB

Child status: 143

Real time (s): 3598.29
CPU time (s): 3600.32
CPU user time (s): 3597.56
CPU system time (s): 2.76535
CPU usage (%): 100.057
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2397760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.56
system time used= 2.76535
maximum resident set size= 2398764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107401
involuntary context switches= 2692


# summary of solver processes directly reported to runsolver:
#   pid: 253623
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3597.56
#   total CPU system time (s): 2.76535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9002 second user time and 40.1812 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-25 23:31:37
IDJOB=4459935
IDBENCH=148675
IDSOLVER=3058
FILE ID=nodeC003/4459935-1721943097
RUNJOBID= nodeC003-1721939462-251131
SLURM_JOB_ID= 8247257
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= cf766711a707813c9bd3325657edcc33
RANDOM SEED=533500584

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		: 1496.881
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	: 6984.09
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		: 3492.080
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.31
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		: 3670.635
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	: 6984.09
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.277
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.31
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		: 3670.768
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	: 6984.09
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		: 3602.034
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.441
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	: 6984.09
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.359
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        99246880 kB
MemAvailable:   129030960 kB
Buffers:          341824 kB
Cached:         29985676 kB
SwapCached:          968 kB
Active:          2551944 kB
Inactive:       28851716 kB
Active(anon):       2580 kB
Inactive(anon):  1127016 kB
Active(file):    2549364 kB
Inactive(file): 27724700 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:              2132 kB
Writeback:             0 kB
AnonPages:       1074708 kB
Mapped:           130816 kB
Shmem:             53440 kB
KReclaimable:     571760 kB
Slab:             687152 kB
SReclaimable:     571760 kB
SUnreclaim:       115392 kB
KernelStack:        4912 kB
PageTables:        12768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7248588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    821248 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-26 00:31:36