Trace number 4457869

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)1 3600.29 3606.34

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb
MD5SUM203a71e4765d41abd7101b66eed46923
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.064254
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204
Total number of constraints51
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)51
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 51
Biggest coefficient in the objective function 51
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 1326
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 51
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1326
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	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-4457869-1721868700.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.14/0.14	c ... done. Wall clock time 0.014s.
0.14/0.14	c declared #vars     204
0.14/0.14	c #constraints  102
0.14/0.14	c constraints type 
0.14/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
0.14/0.14	c 102 constraints processed.
0.14/0.15	c objective function length is 51 literals
0.14/0.17	c SATISFIABLE
0.14/0.17	c OPTIMIZING...
0.14/0.17	c Got one! Elapsed wall clock time (in seconds):0.047
0.14/0.18	o 10
0.14/0.19	c Got one! Elapsed wall clock time (in seconds):0.067
0.14/0.19	o 7
0.33/0.24	c Got one! Elapsed wall clock time (in seconds):0.116
0.33/0.24	o 4
0.91/0.57	c cleaning 3150 clauses out of 6308 with flag 35138/6308
1.25/0.78	c cleaning 4570 clauses out of 9158 with flag 78421/12308
1.59/1.10	c cleaning 5794 clauses out of 11592 with flag 134140/19312
1.96/1.35	c Got one! Elapsed wall clock time (in seconds):1.226
1.96/1.35	o 2
2.27/1.66	c cleaning 8443 clauses out of 16902 with flag 43239/30416
2.65/1.97	c cleaning 7219 clauses out of 14460 with flag 99188/36417
3.13/2.33	c cleaning 7112 clauses out of 14241 with flag 159959/43417
3.58/2.74	c cleaning 7557 clauses out of 15130 with flag 229007/51418
3.58/2.75	c Got one! Elapsed wall clock time (in seconds):2.628
3.58/2.75	o 1
3.68/2.88	c cleaning 6500 clauses out of 13009 with flag 30374/56854
3.95/3.02	c cleaning 6249 clauses out of 12510 with flag 64635/62855
4.05/3.17	c cleaning 6622 clauses out of 13260 with flag 104510/69854
4.24/3.34	c cleaning 7313 clauses out of 14638 with flag 154747/77854
4.45/3.55	c cleaning 8157 clauses out of 16328 with flag 212895/86857
4.74/3.80	c cleaning 9073 clauses out of 18168 with flag 264334/96854
4.95/4.05	c cleaning 10044 clauses out of 20098 with flag 324568/107857
5.35/4.43	c cleaning 11008 clauses out of 22052 with flag 401060/119855
5.67/4.77	c cleaning 12015 clauses out of 24043 with flag 481093/132854
6.18/5.21	c cleaning 13005 clauses out of 26028 with flag 566270/146854
6.68/5.70	c cleaning 14004 clauses out of 28023 with flag 659106/161854
7.08/6.18	c cleaning 15003 clauses out of 30022 with flag 753386/177857
7.57/6.69	c cleaning 16004 clauses out of 32017 with flag 852479/194855
8.17/7.28	c cleaning 17004 clauses out of 34015 with flag 964716/212857
8.99/8.01	c cleaning 17988 clauses out of 36009 with flag 1081060/231855
9.78/8.80	c cleaning 18988 clauses out of 38020 with flag 1221292/251854
10.58/9.64	c cleaning 20010 clauses out of 40033 with flag 1359461/272855
11.58/10.61	c cleaning 21006 clauses out of 42023 with flag 1507090/294855
12.48/11.50	c cleaning 22000 clauses out of 44017 with flag 1656039/317855
13.47/12.52	c cleaning 23003 clauses out of 46016 with flag 1834031/341854
14.47/13.53	c cleaning 24003 clauses out of 48013 with flag 1990855/366854
15.87/14.90	c cleaning 24995 clauses out of 50011 with flag 2175657/392855
16.97/16.03	c cleaning 26008 clauses out of 52017 with flag 2340718/419856
18.36/17.41	c cleaning 26996 clauses out of 54007 with flag 2528671/447854
19.75/18.88	c cleaning 27995 clauses out of 56011 with flag 2719733/476854
21.26/20.35	c cleaning 28998 clauses out of 58016 with flag 2921524/506854
22.75/21.89	c cleaning 29995 clauses out of 60018 with flag 3136391/537854
24.55/23.60	c cleaning 30990 clauses out of 62023 with flag 3345837/569854
26.35/25.41	c cleaning 32004 clauses out of 64033 with flag 3560861/602854
28.34/27.45	c cleaning 33008 clauses out of 66029 with flag 3791940/636854
30.34/29.45	c cleaning 34002 clauses out of 68021 with flag 4025160/671854
32.63/31.76	c cleaning 35002 clauses out of 70019 with flag 4276898/707854
35.12/34.28	c cleaning 35999 clauses out of 72017 with flag 4528960/744854
37.43/36.58	c cleaning 36994 clauses out of 74018 with flag 4792911/782854
39.93/39.04	c cleaning 38005 clauses out of 76025 with flag 5063434/821855
42.32/41.48	c cleaning 39004 clauses out of 78019 with flag 5332541/861854
45.02/44.16	c cleaning 40001 clauses out of 80015 with flag 5601674/902854
47.92/47.04	c cleaning 40997 clauses out of 82014 with flag 5891824/944854
50.61/49.74	c cleaning 42002 clauses out of 84019 with flag 6179274/987856
53.91/53.06	c cleaning 42997 clauses out of 86015 with flag 6475296/1031854
57.10/56.23	c cleaning 43996 clauses out of 88019 with flag 6778354/1076855
60.29/59.49	c cleaning 45001 clauses out of 90023 with flag 7101329/1122855
63.72/62.87	c cleaning 45999 clauses out of 92022 with flag 7424868/1169855
67.51/66.67	c cleaning 47002 clauses out of 94023 with flag 7805060/1217855
71.10/70.23	c cleaning 48006 clauses out of 96022 with flag 8133073/1266856
75.00/74.17	c cleaning 48998 clauses out of 98014 with flag 8493584/1316854
79.09/78.20	c cleaning 49999 clauses out of 100018 with flag 8845564/1367856
82.88/82.07	c cleaning 51007 clauses out of 102019 with flag 9202266/1419856
88.48/87.65	c cleaning 52000 clauses out of 104010 with flag 9647415/1472854
92.97/92.12	c cleaning 52995 clauses out of 106011 with flag 10049794/1526855
97.40/96.55	c cleaning 53998 clauses out of 108015 with flag 10467051/1581854
102.89/102.09	c cleaning 55000 clauses out of 110017 with flag 10882859/1637854
107.98/107.12	c cleaning 56004 clauses out of 112018 with flag 11300891/1694855
112.86/112.04	c cleaning 56998 clauses out of 114013 with flag 11726764/1752854
117.79/116.96	c cleaning 57999 clauses out of 116015 with flag 12133047/1811854
123.68/122.81	c cleaning 58999 clauses out of 118016 with flag 12563937/1871854
129.56/128.79	c cleaning 60000 clauses out of 120018 with flag 13022210/1932855
135.54/134.72	c cleaning 60999 clauses out of 122017 with flag 13454518/1994854
141.36/140.51	c cleaning 62005 clauses out of 124018 with flag 13916455/2057854
147.46/146.63	c cleaning 63002 clauses out of 126014 with flag 14379217/2121855
153.44/152.65	c cleaning 64000 clauses out of 128011 with flag 14856700/2186854
159.93/159.17	c cleaning 64998 clauses out of 130012 with flag 15338206/2252855
166.43/165.69	c cleaning 66000 clauses out of 132014 with flag 15853554/2319855
172.62/171.80	c cleaning 67001 clauses out of 134013 with flag 16336008/2387854
179.51/178.76	c cleaning 68002 clauses out of 136012 with flag 16832641/2456854
187.11/186.36	c cleaning 68996 clauses out of 138010 with flag 17349819/2526854
194.80/194.10	c cleaning 69996 clauses out of 140014 with flag 17901567/2597854
203.39/202.69	c cleaning 70977 clauses out of 142018 with flag 18465678/2669854
211.21/210.48	c cleaning 72012 clauses out of 144041 with flag 19014241/2742854
218.29/217.54	c cleaning 73009 clauses out of 146031 with flag 19541724/2816856
225.97/225.26	c cleaning 74002 clauses out of 148021 with flag 20084890/2891855
234.25/233.59	c cleaning 75002 clauses out of 150020 with flag 20626271/2967856
242.76/242.02	c cleaning 75994 clauses out of 152016 with flag 21187298/3044854
251.04/250.32	c cleaning 76999 clauses out of 154022 with flag 21742918/3122854
259.32/258.68	c cleaning 78002 clauses out of 156023 with flag 22342873/3201854
268.50/267.81	c cleaning 79006 clauses out of 158021 with flag 22965014/3281854
278.18/277.51	c cleaning 79999 clauses out of 160016 with flag 23561516/3362855
287.76/287.14	c cleaning 81004 clauses out of 162022 with flag 24190284/3444860
296.54/295.94	c cleaning 81995 clauses out of 164013 with flag 24816642/3527855
306.83/306.21	c cleaning 83004 clauses out of 166017 with flag 25437576/3611854
317.81/317.23	c cleaning 84005 clauses out of 168014 with flag 26058079/3696855
328.69/328.16	c cleaning 84998 clauses out of 170009 with flag 26741873/3782855
339.57/339.01	c cleaning 85994 clauses out of 172012 with flag 27390605/3869856
349.67/349.17	c cleaning 86998 clauses out of 174016 with flag 28057995/3957854
359.85/359.33	c cleaning 87992 clauses out of 176018 with flag 28731156/4046854
370.53/370.10	c cleaning 89008 clauses out of 178027 with flag 29407888/4136855
383.09/382.63	c cleaning 89999 clauses out of 180018 with flag 30082187/4227854
395.26/394.88	c cleaning 90991 clauses out of 182020 with flag 30766455/4319855
407.54/407.17	c cleaning 92014 clauses out of 184029 with flag 31467448/4412855
420.10/419.73	c cleaning 92999 clauses out of 186015 with flag 32171160/4506855
434.67/434.38	c cleaning 94002 clauses out of 188016 with flag 32903427/4601855
446.97/446.66	c cleaning 95000 clauses out of 190013 with flag 33651268/4697854
460.24/459.98	c cleaning 95997 clauses out of 192013 with flag 34401526/4794854
475.00/474.75	c cleaning 97002 clauses out of 194016 with flag 35135855/4892854
488.77/488.59	c cleaning 97998 clauses out of 196014 with flag 35901756/4991854
503.24/503.01	c cleaning 98992 clauses out of 198018 with flag 36639608/5091856
517.80/517.69	c cleaning 100003 clauses out of 200026 with flag 37407989/5192856
531.63/531.45	c cleaning 101001 clauses out of 202022 with flag 38173815/5294855
547.41/547.25	c cleaning 102004 clauses out of 204023 with flag 38965068/5397857
562.07/562.00	c cleaning 102999 clauses out of 206016 with flag 39731120/5501854
577.24/577.11	c cleaning 104000 clauses out of 208017 with flag 40508242/5606854
593.59/593.58	c cleaning 105001 clauses out of 210019 with flag 41302238/5712856
609.56/609.56	c cleaning 105996 clauses out of 212018 with flag 42104176/5819856
626.42/626.43	c cleaning 106998 clauses out of 214021 with flag 42941232/5927855
643.00/643.08	c cleaning 108004 clauses out of 216022 with flag 43781799/6036854
659.97/660.06	c cleaning 109003 clauses out of 218019 with flag 44604687/6146855
676.93/677.04	c cleaning 110000 clauses out of 220015 with flag 45464689/6257854
694.00/694.18	c cleaning 110999 clauses out of 222015 with flag 46329660/6369854
712.35/712.53	c cleaning 111998 clauses out of 224016 with flag 47202850/6482854
731.37/731.58	c cleaning 112998 clauses out of 226018 with flag 48058095/6596854
749.04/749.29	c cleaning 113995 clauses out of 228020 with flag 48901141/6711854
768.81/769.09	c cleaning 115004 clauses out of 230025 with flag 49804856/6827854
787.95/788.22	c cleaning 116002 clauses out of 232022 with flag 50710471/6944855
805.31/805.60	c cleaning 117004 clauses out of 234020 with flag 51625191/7062855
824.57/825.00	c cleaning 117999 clauses out of 236016 with flag 52530274/7181855
844.32/844.74	c cleaning 119006 clauses out of 238019 with flag 53443110/7301857
865.57/866.07	c cleaning 119995 clauses out of 240011 with flag 54363467/7422855
887.62/888.11	c cleaning 121000 clauses out of 242015 with flag 55299814/7544854
907.01/907.56	c cleaning 121997 clauses out of 244016 with flag 56229430/7667855
930.07/930.62	c cleaning 122999 clauses out of 246020 with flag 57143171/7791856
952.63/953.20	c cleaning 123997 clauses out of 248021 with flag 58122424/7916856
975.59/976.20	c cleaning 125005 clauses out of 250022 with flag 59080190/8042854
998.13/998.87	c cleaning 126003 clauses out of 252017 with flag 60038241/8169854
1022.18/1022.93	c cleaning 126999 clauses out of 254014 with flag 61033874/8297854
1044.12/1044.95	c cleaning 127999 clauses out of 256016 with flag 62037907/8426855
1069.06/1069.92	c cleaning 128998 clauses out of 258016 with flag 63056295/8556854
1093.31/1094.24	c cleaning 129999 clauses out of 260019 with flag 64073424/8687855
1119.24/1120.15	c cleaning 131004 clauses out of 262019 with flag 65103264/8819854
1145.67/1146.62	c cleaning 131997 clauses out of 264015 with flag 66129671/8952854
1170.91/1171.95	c cleaning 133002 clauses out of 266018 with flag 67197682/9086854
1196.15/1197.22	c cleaning 134006 clauses out of 268016 with flag 68243561/9221854
1223.69/1224.85	c cleaning 134999 clauses out of 270010 with flag 69322017/9357854
1263.00/1264.28	c cleaning 135999 clauses out of 272012 with flag 70450700/9494855
1297.92/1299.27	c cleaning 136991 clauses out of 274012 with flag 71731152/9632854
1325.95/1327.36	c cleaning 138006 clauses out of 276021 with flag 72851437/9771854
1356.28/1357.65	c cleaning 139006 clauses out of 278015 with flag 73966785/9911854
1387.40/1388.81	c cleaning 139996 clauses out of 280009 with flag 75050601/10052854
1416.14/1417.65	c cleaning 141001 clauses out of 282013 with flag 76180156/10194854
1445.77/1447.30	c cleaning 142000 clauses out of 284013 with flag 77276090/10337855
1475.89/1477.52	c cleaning 143000 clauses out of 286014 with flag 78387907/10481856
1509.81/1511.57	c cleaning 143998 clauses out of 288012 with flag 79571572/10626854
1541.35/1543.16	c cleaning 145000 clauses out of 290014 with flag 80692589/10772854
1571.75/1573.59	c cleaning 146003 clauses out of 292014 with flag 81894334/10919854
1604.37/1606.21	c cleaning 146996 clauses out of 294011 with flag 83062549/11067854
1637.69/1639.60	c cleaning 148004 clauses out of 296016 with flag 84249583/11216855
1671.71/1673.73	c cleaning 149008 clauses out of 298015 with flag 85435525/11366858
1704.73/1706.81	c cleaning 149992 clauses out of 300005 with flag 86599690/11517856
1738.15/1740.37	c cleaning 151001 clauses out of 302011 with flag 87797675/11669854
1768.48/1770.70	c cleaning 151994 clauses out of 304011 with flag 89033115/11822855
1798.81/1801.12	c cleaning 152999 clauses out of 306016 with flag 90215692/11976854
1828.33/1830.77	c cleaning 153997 clauses out of 308018 with flag 91422532/12131855
1859.85/1862.32	c cleaning 155003 clauses out of 310020 with flag 92631464/12287854
1889.59/1892.11	c cleaning 155993 clauses out of 312017 with flag 93900566/12444854
1922.47/1924.80	c cleaning 157011 clauses out of 314026 with flag 95144408/12602856
1953.30/1955.74	c cleaning 157999 clauses out of 316013 with flag 96445961/12761854
1984.72/1987.25	c cleaning 159002 clauses out of 318016 with flag 97708507/12921856
2016.65/2019.24	c cleaning 159997 clauses out of 320013 with flag 98965040/13082855
2048.47/2051.15	c cleaning 160999 clauses out of 322015 with flag 100239024/13244854
2083.48/2086.27	c cleaning 162001 clauses out of 324016 with flag 101500074/13407854
2116.41/2119.29	c cleaning 162998 clauses out of 326016 with flag 102782378/13571855
2149.15/2152.10	c cleaning 164004 clauses out of 328019 with flag 104061206/13736856
2185.16/2188.18	c cleaning 164997 clauses out of 330015 with flag 105384037/13902856
2218.47/2221.56	c cleaning 166001 clauses out of 332016 with flag 106653289/14069854
2254.78/2257.93	c cleaning 167001 clauses out of 334016 with flag 107993859/14237855
2290.99/2294.27	c cleaning 168000 clauses out of 336015 with flag 109348160/14406855
2332.75/2336.06	c cleaning 168994 clauses out of 338015 with flag 110749234/14576855
2368.36/2371.72	c cleaning 170001 clauses out of 340020 with flag 112122642/14747854
2409.17/2412.62	c cleaning 171005 clauses out of 342019 with flag 113497939/14919854
2446.47/2450.02	c cleaning 172003 clauses out of 344014 with flag 114880815/15092854
2483.27/2486.96	c cleaning 173001 clauses out of 346012 with flag 116226809/15266855
2525.68/2529.47	c cleaning 173992 clauses out of 348010 with flag 117696120/15441854
2568.72/2572.56	c cleaning 174997 clauses out of 350018 with flag 119154078/15617854
2605.54/2609.48	c cleaning 176002 clauses out of 352022 with flag 120564302/15794855
2647.64/2651.61	c cleaning 177005 clauses out of 354019 with flag 122026980/15972854
2685.74/2689.81	c cleaning 178000 clauses out of 356014 with flag 123434991/16151854
2727.44/2731.69	c cleaning 179001 clauses out of 358015 with flag 124882093/16331855
2769.53/2773.85	c cleaning 180001 clauses out of 360015 with flag 126261157/16512856
2810.79/2815.13	c cleaning 180999 clauses out of 362012 with flag 127727157/16694854
2857.17/2861.60	c cleaning 181999 clauses out of 364015 with flag 129192712/16877856
2899.67/2904.20	c cleaning 183000 clauses out of 366015 with flag 130648944/17061855
2944.25/2948.92	c cleaning 183998 clauses out of 368016 with flag 132161610/17246856
2988.74/2993.57	c cleaning 184998 clauses out of 370017 with flag 133640352/17432855
3035.43/3040.33	c cleaning 185994 clauses out of 372020 with flag 135125471/17619856
3080.32/3085.34	c cleaning 187006 clauses out of 374025 with flag 136638332/17807855
3123.31/3128.40	c cleaning 188005 clauses out of 376019 with flag 138182820/17996855
3171.90/3177.12	c cleaning 189002 clauses out of 378014 with flag 139738136/18186855
3216.47/3221.78	c cleaning 190001 clauses out of 380012 with flag 141288207/18377855
3264.15/3269.58	c cleaning 190997 clauses out of 382010 with flag 142862334/18569854
3308.65/3314.17	c cleaning 192000 clauses out of 384014 with flag 144378429/18762855
3356.43/3362.05	c cleaning 192998 clauses out of 386014 with flag 145904955/18956855
3406.80/3412.57	c cleaning 193998 clauses out of 388016 with flag 147487409/19151855
3455.58/3461.45	c cleaning 195002 clauses out of 390017 with flag 149081351/19347854
3504.95/3510.98	c cleaning 195995 clauses out of 392015 with flag 150673214/19544854
3552.84/3558.96	c cleaning 196999 clauses out of 394020 with flag 152281790/19742854
3600.03/3606.22	c starts		: 28395
3600.03/3606.22	c conflicts		: 19941854
3600.03/3606.22	c decisions		: 25173791
3600.03/3606.22	c propagations		: 320817038
3600.03/3606.22	c inspects		: 59435061781
3600.03/3606.22	c shortcuts		: 0
3600.03/3606.22	c learnt literals	: 0
3600.03/3606.22	c learnt binary clauses	: 0
3600.03/3606.22	c learnt ternary clauses	: 0
3600.03/3606.22	c learnt constraints	: 19941854
3600.03/3606.22	c ignored constraints	: 0
3600.03/3606.22	c root simplifications	: 0
3600.03/3606.22	c removed literals (reason simplification)	: 0
3600.03/3606.22	c reason swapping (by a shorter reason)	: 0
3600.03/3606.22	c Calls to reduceDB	: 202
3600.03/3606.22	c Number of update (reduction) of LBD	: 5439967
3600.03/3606.22	c Imported unit clauses	: 0
3600.03/3606.22	c No decision after first conflict	: false
3600.03/3606.22	c number of reductions to clauses (during analyze)	: 0
3600.03/3606.22	c number of learned constraints concerned by reduction	: 0
3600.03/3606.22	c number of learning phase by resolution	: 0
3600.03/3606.22	c number of learning phase by cutting planes	: 0
3600.03/3606.22	c number of rounding to 1 operations	: 0
3600.03/3606.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3606.22	c number of reductions of the coefficients by power 2 	: 0
3600.03/3606.22	c number of right shift for reduction by power 2 	: 0
3600.03/3606.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3606.22	c number of ending skipping 	: 0
3600.03/3606.22	c number of internal skipping 	: 0
3600.03/3606.22	c number of derivation steps 	: 0
3600.03/3606.22	c number of skipped derivation steps 	: 0
3600.03/3606.22	c number of remaining unassigned 	: 0
3600.03/3606.22	c number of remaining assigned 	: 0
3600.03/3606.22	c number of falsified literals weakened from reason	: 0
3600.03/3606.22	c number of falsified literals weakened from conflict	: 0
3600.03/3606.22	c time for arithmetic operations	: 0
3600.03/3606.22	c minimum degree of deleted constraints	: null
3600.03/3606.22	c maximum degree of deleted constraints	: null
3600.03/3606.22	c number of deleted constraints	: 0
3600.03/3606.24	c speed (assignments/second)	: 88965.96095744253
3600.03/3606.24	c non guided choices	: 7854
3600.23/3606.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 396021
3600.23/3606.32	s SATISFIABLE
3600.23/3606.32	c Found 5 solution(s)
3600.23/3606.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 
3600.23/3606.32	c objective function=1
3600.23/3606.32	c Total wall clock time (in seconds): 3606.192

Verifier Data 

OK	1

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: 63968 MiB (48636 MiB free)
  memory of node 1: 64473 MiB (44882 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=269298, runsolver pid=269295

[startup+0.100059 s]*
/proc/loadavg: 5.13 4.72 4.67 5/330 269316
/proc/meminfo: memFree=95722192/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=18975048 memory=63380 CPUtime=0.14 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 7208 0 0 0 12 2 0 0 20 0 18 0 23393988 19430449152 15845 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4743762 15845 5718 1 0 549318 0
[pid=269298/tid=269300] ppid=269295 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 1078198336 5738 0 0 0 7 1 0 0 20 0 18 0 23393988 19430449152 15845 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23393991 19430449152 15845 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=18975048 memory=13565998625714195 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 23393991 19430449152 15845 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63380 KiB

[startup+0.206649 s]*
/proc/loadavg: 5.13 4.72 4.67 7/331 269317
/proc/meminfo: memFree=95716448/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19041612 memory=69360 CPUtime=0.33 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 8669 0 0 0 31 2 0 0 20 0 19 0 23393988 19498610688 17340 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4760403 17340 5869 1 0 550341 0
[pid=269298/tid=269300] ppid=269295 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 6027 0 0 0 17 1 0 0 20 0 19 0 23393988 19498610688 17340 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19041612 memory=1574935 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 17340 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19041612 memory=14127849065940646 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 17340 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23394003 19498610688 17340 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69360 KiB

[startup+0.306649 s]*
/proc/loadavg: 5.13 4.72 4.67 8/331 269317
/proc/meminfo: memFree=95713732/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19041612 memory=71624 CPUtime=0.52 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 9530 0 0 0 50 2 0 0 20 0 19 0 23393988 19498610688 17906 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4760403 17906 5869 1 0 550843 0
[pid=269298/tid=269300] ppid=269295 vsize=19041612 memory=-8814785146832790204 CPUtime=0.27 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 6030 0 0 0 26 1 0 0 20 0 19 0 23393988 19498610688 17906 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 17906 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 17906 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23394003 19498610688 17906 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71624 KiB

[startup+0.700648 s]
/proc/loadavg: 5.13 4.72 4.67 6/331 269317
/proc/meminfo: memFree=95702804/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19041612 memory=85324 CPUtime=1.25 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 11770 0 0 0 122 3 0 0 20 0 19 0 23393988 19498610688 21331 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4760403 21331 5885 1 0 552594 0
[pid=269298/tid=269300] ppid=269295 vsize=19041612 memory=73996 CPUtime=0.63 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 6066 0 0 0 62 1 0 0 20 0 19 0 23393988 19498610688 21331 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19041612 memory=12992 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 21331 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19041612 memory=2336 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 21331 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19041612 memory=32404 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23394003 19498610688 21331 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85324 KiB

[startup+1.50065 s]
/proc/loadavg: 5.13 4.72 4.67 5/331 269317
/proc/meminfo: memFree=95695916/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19041612 memory=95776 CPUtime=2.16 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 15065 0 0 0 213 3 0 0 20 0 19 0 23393988 19498610688 23944 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4760403 23944 5885 1 0 552596 0
[pid=269298/tid=269300] ppid=269295 vsize=19041612 memory=12992 CPUtime=1.43 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 6669 0 0 0 141 2 0 0 20 0 19 0 23393988 19498610688 23944 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 23944 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19041612 memory=2336 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 23944 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19041612 memory=32404 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23394003 19498610688 23944 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95776 KiB

[startup+3.10565 s]
/proc/loadavg: 5.04 4.71 4.66 5/331 269317
/proc/meminfo: memFree=95601092/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19041612 memory=112552 CPUtime=4.05 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 16350 0 0 0 401 4 0 0 20 0 19 0 23393988 19498610688 28138 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4760403 28138 5885 1 0 552634 0
[pid=269298/tid=269300] ppid=269295 vsize=19041612 memory=0 CPUtime=3.01 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 7008 0 0 0 299 2 0 0 20 0 19 0 23393988 19498610688 28138 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19041612 memory=-8814785146832790204 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 28138 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19041612 memory=12992 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 28138 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19041612 memory=2336 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23394003 19498610688 28138 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 112552 KiB

[startup+6.30028 s]
/proc/loadavg: 5.04 4.71 4.66 5/331 269317
/proc/meminfo: memFree=95455032/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19041612 memory=151336 CPUtime=7.27 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 19339 0 0 0 722 5 0 0 20 0 19 0 23393988 19498610688 37834 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4760403 37834 5885 1 0 552636 0
[pid=269298/tid=269300] ppid=269295 vsize=19041612 memory=2336 CPUtime=6.18 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 7718 0 0 0 615 3 0 0 20 0 19 0 23393988 19498610688 37834 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 37834 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19041612 memory=12992 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 23393991 19498610688 37834 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19041612 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23394003 19498610688 37834 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 151336 KiB

[startup+12.7003 s]
/proc/loadavg: 4.88 4.69 4.66 6/332 269320
/proc/meminfo: memFree=95152916/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=176324 CPUtime=13.67 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 21271 0 0 0 1361 6 0 0 20 0 20 0 23393988 19566772224 44081 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 44081 5933 1 0 552925 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=12992 CPUtime=12.55 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 8164 0 0 0 1252 3 0 0 20 0 20 0 23393988 19566772224 44081 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=176248 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 44081 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=73996 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 44081 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=12992 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 44081 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 13.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176324 KiB

[startup+25.5003 s]
/proc/loadavg: 4.82 4.68 4.65 5/332 269322
/proc/meminfo: memFree=94930884/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=182676 CPUtime=26.45 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 23798 0 0 0 2638 7 0 0 20 0 20 0 23393988 19566772224 45669 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 45669 5933 1 0 552925 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=6943526294502006880 CPUtime=25.29 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 9381 0 0 0 2526 3 0 0 20 0 20 0 23393988 19566772224 45669 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 45669 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=3551 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 45669 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=12992 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 45669 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 26.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182676 KiB

[startup+51.1059 s]
/proc/loadavg: 4.62 4.64 4.64 6/332 269328
/proc/meminfo: memFree=94451336/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=230148 CPUtime=52.01 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 26964 0 0 0 5192 9 0 0 20 0 20 0 23393988 19566772224 57537 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 57537 5964 1 0 552925 0

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.27 5/331 271267
/proc/meminfo: memFree=113254596/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=1855268 CPUtime=3276.92 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 110523 0 0 0 327569 123 0 0 20 0 20 0 23393988 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 463817 5964 1 0 557004 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=1855268 CPUtime=3270.96 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 54908 0 0 0 327084 12 0 0 20 0 20 0 23393988 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=1855268 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 4008 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=1855268 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 3276.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.27 5/332 271279
/proc/meminfo: memFree=113053352/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=1855268 CPUtime=3336.77 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 111149 0 0 0 333552 125 0 0 20 0 20 0 23393988 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 463817 5964 1 0 557004 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=73996 CPUtime=3330.79 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 55394 0 0 0 333067 12 0 0 20 0 20 0 23393988 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=1855268 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 4025 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 3336.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855268 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.26 5/332 271291
/proc/meminfo: memFree=112990584/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=1855268 CPUtime=3396.62 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 112118 0 0 0 339536 126 0 0 20 0 20 0 23393988 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 463817 5964 1 0 557004 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=1855268 CPUtime=3390.62 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 56138 0 0 0 339050 12 0 0 20 0 20 0 23393988 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=1855268 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=1855268 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 4113 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=1855268 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 3396.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855268 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.25 5/332 271302
/proc/meminfo: memFree=112714872/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=1855268 CPUtime=3456.47 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 113359 0 0 0 345520 127 0 0 20 0 20 0 23393988 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 463817 5964 1 0 557004 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=1855268 CPUtime=3450.45 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 57144 0 0 0 345032 13 0 0 20 0 20 0 23393988 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=1855268 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 4201 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=1855268 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 463817 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 3456.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.16 4.24 5/334 271316
/proc/meminfo: memFree=112753268/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=1855272 CPUtime=3516.33 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 113950 0 0 0 351504 129 0 0 20 0 20 0 23393988 19566772224 463818 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 463818 5964 1 0 557005 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=1855268 CPUtime=3510.28 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 57609 0 0 0 351015 13 0 0 20 0 20 0 23393988 19566772224 463818 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=73996 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463818 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 4289 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463818 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=1855272 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 463818 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 3516.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.23 5/333 271327
/proc/meminfo: memFree=112748456/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=1855276 CPUtime=3576.19 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 114912 0 0 0 357489 130 0 0 20 0 20 0 23393988 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 463819 5964 1 0 557006 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=73996 CPUtime=3570.1 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 58314 0 0 0 356997 13 0 0 20 0 20 0 23393988 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=73996 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 4413 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 3576.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.2 s]
/proc/loadavg: 4.15 4.15 4.23 5/333 271398
/proc/meminfo: memFree=115886908/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19108176 memory=1855276 CPUtime=3600.03 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 115428 0 0 0 359872 131 0 0 20 0 20 0 23393988 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4777044 463819 5964 1 0 557006 0
[pid=269298/tid=269300] ppid=269295 vsize=19108176 memory=1573245 CPUtime=3593.94 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 58662 0 0 0 359381 13 0 0 20 0 20 0 23393988 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19108176 memory=1571997 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19108176 memory=1874068 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 4413 0 0 0 0 0 0 0 20 0 20 0 23393991 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269317] ppid=269295 vsize=19108176 memory=5452 CPUtime=0 cores=5,7
/proc/269298/task/269317/stat : 269317 (Timer-0) S 269295 269298 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23394003 19566772224 463819 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855276 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.96 s, system=1.32896 s

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

[startup+3606.3 s]
/proc/loadavg: 4.15 4.15 4.23 5/333 271398
/proc/meminfo: memFree=115886908/131524600 swapFree=131056796/131071996
[pid=269298] ppid=269295 vsize=19307868 memory=1855940 CPUtime=3600.23 cores=5,7
/proc/269298/stat : 269298 (java) S 269295 269298 266840 0 -1 1077936128 118440 0 0 0 359892 131 0 0 20 0 21 0 23393988 19771256832 463985 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
/proc/269298/statm: 4826967 463985 5963 1 0 557909 0
[pid=269298/tid=269300] ppid=269295 vsize=19307868 memory=1855272 CPUtime=3594.04 cores=5,7
/proc/269298/task/269300/stat : 269300 (java) R 269295 269298 266840 0 -1 4194368 58662 0 0 0 359391 13 0 0 20 0 21 0 23393988 19771256832 463985 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269309] ppid=269295 vsize=19307868 memory=0 CPUtime=0 cores=5,7
/proc/269298/task/269309/stat : 269309 (Finalizer) S 269295 269298 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23393991 19771256832 463985 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
[pid=269298/tid=269316] ppid=269295 vsize=19307868 memory=12992 CPUtime=0 cores=5,7
/proc/269298/task/269316/stat : 269316 (Common-Cleaner) S 269295 269298 266840 0 -1 1077936192 4413 0 0 0 0 0 0 0 20 0 21 0 23393991 19771256832 463985 134679101440 94257807233024 94257807236720 140736893411792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94257807244536 94257807245328 94257811873792 140736893416455 140736893416545 140736893416545 140736893423560 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1855940 KiB

Child status: 143

Real time (s): 3606.34
CPU time (s): 3600.29
CPU user time (s): 3598.96
CPU system time (s): 1.32896
CPU usage (%): 99.8324
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1855940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.96
system time used= 1.32896
maximum resident set size= 1856932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102526
involuntary context switches= 1715


# summary of solver processes directly reported to runsolver:
#   pid: 269298
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3598.96
#   total CPU system time (s): 1.32896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69986 second user time and 18.9848 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 02:51:40
IDJOB=4457869
IDBENCH=177049
IDSOLVER=3058
FILE ID=nodeC030/4457869-1721868700
RUNJOBID= nodeC030-1721865114-266853
SLURM_JOB_ID= 8089185
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457869-1721868700/watcher-4457869-1721868700 -o /tmp/evaluation-result-4457869-1721868700/solver-4457869-1721868700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266853 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4457869-1721868700.opb

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

MD5SUM BENCH= 203a71e4765d41abd7101b66eed46923
RANDOM SEED=2101936449

nodeC030.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		: 3669.345
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.45
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		: 3651.730
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	: 7005.46
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		: 3599.937
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.45
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		: 3651.725
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	: 7005.46
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		: 3669.459
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.45
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		: 3599.773
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	: 7005.46
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		: 3599.883
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        95764288 kB
MemAvailable:   102359076 kB
Buffers:          273196 kB
Cached:          7108900 kB
SwapCached:          300 kB
Active:          2566516 kB
Inactive:       32449936 kB
Active(anon):       2192 kB
Inactive(anon): 27685244 kB
Active(file):    2564324 kB
Inactive(file):  4764692 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:              2076 kB
Writeback:            20 kB
AnonPages:      27631640 kB
Mapped:           129672 kB
Shmem:             53048 kB
KReclaimable:     211192 kB
Slab:             333604 kB
SReclaimable:     211192 kB
SUnreclaim:       122412 kB
KernelStack:        5040 kB
PageTables:        64204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   31498772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:  27099136 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-25 03:51:47