Trace number 4460031

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)-23 3600.58 3595.46

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0333-0333.opb
MD5SUMaa5497ffb5bc298db5a61a0615c33892
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-26
Best CPU time to get the best result obtained on this benchmark1.11316
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 243
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 243
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 243
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)243
Sum of products size (including duplicates)486
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.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version CUSTOM.v20240707
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.21	c os.arch		amd64
0.12/0.22	c Free memory 		2115194816
0.12/0.22	c Max memory 		16282288128
0.12/0.22	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.44/0.33	--- Begin Solver configuration ---
0.44/0.33	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.33	Learn all clauses as in MiniSAT
0.44/0.33	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	No reason simplification
0.44/0.33	Glucose 2.1 dynamic restart strategy
0.44/0.33	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.44/0.33	timeout=2147483s
0.44/0.33	DB Simplification allowed=false
0.44/0.33	Listener: none
0.44/0.33	--- End Solver configuration ---
0.44/0.33	c Pseudo Boolean Optimization by upper bound
0.44/0.33	c --- Begin Solver configuration ---
0.44/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.33	c Learn all clauses as in MiniSAT
0.44/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	c No reason simplification
0.44/0.33	c Glucose 2.1 dynamic restart strategy
0.44/0.33	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.44/0.33	c timeout=2147483s
0.44/0.33	c DB Simplification allowed=false
0.44/0.33	c Listener: none
0.44/0.33	c --- End Solver configuration ---
0.44/0.34	c solving HOME/instance-4460031-1721946364.opb
0.44/0.34	c reading problem ... 
0.44/0.34	c  objective function found
0.61/0.43	c ... done. Wall clock time 0.087s.
0.61/0.43	c declared #vars     81
0.61/0.43	c internal #vars     324
0.61/0.43	c #constraints  540
0.61/0.43	c constraints type 
0.61/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 27
0.61/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 243
0.61/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 270
0.61/0.43	c 540 constraints processed.
0.61/0.45	c objective function length is 243 literals
0.61/0.46	c SATISFIABLE
0.61/0.46	c OPTIMIZING...
0.61/0.46	c Got one! Elapsed wall clock time (in seconds):0.128
0.61/0.46	o -13
0.61/0.49	c Got one! Elapsed wall clock time (in seconds):0.153
0.61/0.49	o -14
0.61/0.50	c Got one! Elapsed wall clock time (in seconds):0.158
0.61/0.50	o -16
0.61/0.52	c Got one! Elapsed wall clock time (in seconds):0.174
0.61/0.52	o -17
0.61/0.52	c Got one! Elapsed wall clock time (in seconds):0.181
0.61/0.52	o -18
0.78/0.53	c Got one! Elapsed wall clock time (in seconds):0.198
0.78/0.53	o -19
1.91/1.14	c cleaning 2534 clauses out of 5067 with flag 10522/5067
2.72/1.59	c cleaning 4267 clauses out of 8533 with flag 23201/11067
3.16/1.87	c cleaning 5634 clauses out of 11267 with flag 38217/18068
3.58/2.17	c cleaning 6814 clauses out of 13632 with flag 55094/26067
3.97/2.52	c cleaning 7906 clauses out of 15818 with flag 74305/35067
4.74/3.12	c cleaning 8953 clauses out of 17912 with flag 99325/45067
5.32/3.64	c cleaning 9981 clauses out of 19962 with flag 126027/56070
5.83/4.15	c cleaning 10989 clauses out of 21979 with flag 156171/68068
6.41/4.73	c cleaning 11995 clauses out of 23990 with flag 187962/81068
7.03/5.39	c cleaning 12997 clauses out of 25997 with flag 221992/95070
7.74/6.10	c cleaning 13999 clauses out of 27997 with flag 259227/110067
8.53/6.89	c cleaning 14996 clauses out of 29998 with flag 298431/126067
9.40/7.64	c cleaning 15999 clauses out of 32005 with flag 338897/143070
10.16/8.35	c cleaning 16998 clauses out of 34004 with flag 379288/161068
10.88/9.09	c cleaning 17996 clauses out of 36005 with flag 423208/180067
11.90/10.05	c cleaning 19002 clauses out of 38009 with flag 470460/200067
12.91/11.11	c cleaning 19998 clauses out of 40007 with flag 521247/221067
15.10/13.27	c cleaning 21006 clauses out of 42011 with flag 588069/243069
17.19/15.38	c cleaning 21998 clauses out of 44006 with flag 653399/266070
18.70/16.84	c cleaning 23003 clauses out of 46006 with flag 713319/290068
20.30/18.44	c cleaning 24001 clauses out of 48002 with flag 771252/315067
21.70/19.81	c cleaning 24996 clauses out of 50001 with flag 829199/341067
23.20/21.32	c cleaning 25995 clauses out of 52006 with flag 888501/368068
25.02/23.16	c cleaning 27007 clauses out of 54013 with flag 952078/396070
25.31/23.41	c Got one! Elapsed wall clock time (in seconds):23.074
25.31/23.41	o -20
25.52/23.66	c cleaning 19467 clauses out of 38933 with flag 10886/407997
25.72/23.87	c cleaning 12733 clauses out of 25465 with flag 24134/413996
26.03/24.17	c cleaning 9860 clauses out of 19731 with flag 39473/420995
26.32/24.44	c cleaning 8935 clauses out of 17869 with flag 57240/428993
26.62/24.73	c cleaning 8967 clauses out of 17936 with flag 77203/437995
26.93/25.03	c cleaning 9481 clauses out of 18967 with flag 99411/447993
27.32/25.43	c cleaning 10243 clauses out of 20486 with flag 123677/458993
27.82/25.98	c cleaning 11121 clauses out of 22244 with flag 149417/470994
28.41/26.54	c cleaning 12059 clauses out of 24123 with flag 177931/483994
28.93/27.04	c cleaning 13029 clauses out of 26063 with flag 207601/497993
29.32/27.41	c Got one! Elapsed wall clock time (in seconds):27.061
29.32/27.41	o -21
29.53/27.69	c cleaning 14258 clauses out of 28523 with flag 11881/513482
29.83/27.90	c cleaning 10127 clauses out of 20265 with flag 26028/519482
30.05/28.11	c cleaning 8562 clauses out of 17137 with flag 42940/526481
30.05/28.18	c Got one! Elapsed wall clock time (in seconds):27.842
30.05/28.18	o -22
30.17/28.28	c cleaning 7155 clauses out of 14325 with flag 6944/532231
30.49/28.46	c cleaning 6582 clauses out of 13170 with flag 20373/538231
30.79/28.64	c cleaning 6790 clauses out of 13588 with flag 35479/545231
31.02/28.88	c cleaning 7393 clauses out of 14798 with flag 53439/553231
31.33/29.13	c cleaning 8202 clauses out of 16407 with flag 73595/562233
31.73/29.54	c cleaning 9099 clauses out of 18203 with flag 95889/572231
32.13/29.96	c cleaning 10051 clauses out of 20107 with flag 120206/583234
32.63/30.43	c cleaning 11025 clauses out of 22053 with flag 146946/595231
33.13/30.98	c cleaning 12012 clauses out of 24030 with flag 179560/608233
33.73/31.50	c cleaning 13005 clauses out of 26018 with flag 210162/622233
34.24/32.05	c cleaning 14006 clauses out of 28011 with flag 242407/637231
35.03/32.85	c cleaning 15002 clauses out of 30006 with flag 277050/653232
36.03/33.81	c cleaning 15997 clauses out of 32004 with flag 313073/670232
36.84/34.67	c cleaning 16997 clauses out of 34006 with flag 351834/688231
37.84/35.62	c cleaning 18003 clauses out of 36010 with flag 395516/707232
38.73/36.50	c cleaning 19004 clauses out of 38008 with flag 441212/727233
39.63/37.41	c cleaning 20000 clauses out of 40004 with flag 487127/748233
40.74/38.56	c cleaning 20995 clauses out of 42002 with flag 536668/770231
41.93/39.70	c cleaning 22001 clauses out of 44007 with flag 587827/793231
43.14/40.92	c cleaning 23000 clauses out of 46007 with flag 640771/817232
44.43/42.26	c cleaning 24001 clauses out of 48006 with flag 694267/842231
45.93/43.72	c cleaning 25003 clauses out of 50005 with flag 749566/868231
47.37/45.12	c cleaning 25997 clauses out of 52003 with flag 806632/895232
48.85/46.63	c cleaning 27003 clauses out of 54006 with flag 866917/923232
50.45/48.27	c cleaning 28001 clauses out of 56004 with flag 928579/952233
51.85/49.68	c cleaning 28997 clauses out of 58001 with flag 993327/982231
53.56/51.30	c cleaning 29999 clauses out of 60004 with flag 1059384/1013231
55.27/53.03	c cleaning 30998 clauses out of 62005 with flag 1127122/1045231
56.55/54.34	c Got one! Elapsed wall clock time (in seconds):54.005
56.55/54.34	o -23
57.16/54.91	c cleaning 30612 clauses out of 61242 with flag 10812/1075466
57.38/55.12	c cleaning 18307 clauses out of 36632 with flag 23830/1081468
57.57/55.34	c cleaning 12661 clauses out of 25323 with flag 39007/1088466
57.77/55.54	c cleaning 10330 clauses out of 20663 with flag 56180/1096467
58.07/55.80	c cleaning 9661 clauses out of 19332 with flag 76155/1105466
58.28/56.11	c cleaning 9832 clauses out of 19671 with flag 97858/1115466
58.67/56.45	c cleaning 10420 clauses out of 20839 with flag 121021/1126466
59.17/56.97	c cleaning 11206 clauses out of 22419 with flag 147051/1138466
59.57/57.34	c cleaning 12101 clauses out of 24214 with flag 175040/1151467
60.07/57.81	c cleaning 13053 clauses out of 26113 with flag 205075/1165467
60.56/58.34	c cleaning 14027 clauses out of 28060 with flag 237082/1180467
61.06/58.85	c cleaning 15013 clauses out of 30032 with flag 271563/1196466
61.67/59.45	c cleaning 16008 clauses out of 32019 with flag 308084/1213466
62.47/60.24	c cleaning 17004 clauses out of 34011 with flag 346497/1231466
63.77/61.50	c cleaning 17993 clauses out of 36008 with flag 395008/1250467
65.86/63.63	c cleaning 19004 clauses out of 38016 with flag 462009/1270468
68.17/66.00	c cleaning 20006 clauses out of 40012 with flag 537934/1291468
70.38/68.17	c cleaning 20999 clauses out of 42005 with flag 610871/1313467
72.96/70.78	c cleaning 21997 clauses out of 44005 with flag 690697/1336466
76.18/73.91	c cleaning 23002 clauses out of 46008 with flag 777018/1360466
79.52/77.20	c cleaning 23998 clauses out of 48006 with flag 862294/1385466
83.01/80.79	c cleaning 25005 clauses out of 50009 with flag 955741/1411467
86.91/84.68	c cleaning 26000 clauses out of 52003 with flag 1051593/1438466
92.20/89.94	c cleaning 27001 clauses out of 54003 with flag 1155613/1466466
98.30/96.09	c cleaning 27998 clauses out of 56002 with flag 1273109/1495466
102.71/100.49	c cleaning 29000 clauses out of 58004 with flag 1377978/1525466
108.10/105.83	c cleaning 29996 clauses out of 60004 with flag 1483808/1556466
113.30/111.04	c cleaning 31003 clauses out of 62011 with flag 1592689/1588469
120.48/118.29	c cleaning 32001 clauses out of 64005 with flag 1717899/1621466
128.59/126.32	c cleaning 32996 clauses out of 66004 with flag 1846002/1655466
137.08/134.86	c cleaning 34000 clauses out of 68009 with flag 1980777/1690467
145.56/143.32	c cleaning 35005 clauses out of 70013 with flag 2109585/1726471
153.26/151.05	c cleaning 35996 clauses out of 72003 with flag 2257058/1763466
163.38/161.16	c cleaning 37001 clauses out of 74008 with flag 2405194/1801467
171.85/169.64	c cleaning 37998 clauses out of 76006 with flag 2544021/1840466
182.04/179.82	c cleaning 38999 clauses out of 78008 with flag 2692051/1880466
191.26/189.03	c cleaning 40001 clauses out of 80009 with flag 2845570/1921466
202.24/200.09	c cleaning 40999 clauses out of 82008 with flag 2993660/1963466
215.61/213.50	c cleaning 41999 clauses out of 84011 with flag 3166192/2006468
229.41/227.25	c cleaning 43007 clauses out of 86014 with flag 3331610/2050470
243.49/241.31	c cleaning 44002 clauses out of 88004 with flag 3503821/2095467
255.07/252.92	c cleaning 44998 clauses out of 90001 with flag 3671565/2141466
268.18/266.10	c cleaning 46004 clauses out of 92008 with flag 3840280/2188471
284.16/282.09	c cleaning 46997 clauses out of 93999 with flag 4024285/2236466
303.81/301.74	c cleaning 47995 clauses out of 96006 with flag 4224555/2285470
319.79/317.78	c cleaning 48997 clauses out of 98007 with flag 4420570/2335466
333.37/331.35	c cleaning 50002 clauses out of 100010 with flag 4605187/2386466
342.99/340.94	c cleaning 51004 clauses out of 102008 with flag 4764509/2438466
353.57/351.59	c cleaning 52000 clauses out of 104004 with flag 4908836/2491466
369.50/366.93	c cleaning 52999 clauses out of 106005 with flag 5111347/2545467
385.37/382.83	c cleaning 53993 clauses out of 108008 with flag 5302563/2600469
402.74/400.29	c cleaning 55002 clauses out of 110012 with flag 5508340/2656466
424.26/421.76	c cleaning 55996 clauses out of 112010 with flag 5739826/2713466
440.43/437.93	c cleaning 57002 clauses out of 114015 with flag 5959031/2771467
458.88/456.35	c cleaning 58002 clauses out of 116014 with flag 6207998/2830468
474.67/472.16	c cleaning 59005 clauses out of 118012 with flag 6440073/2890468
489.61/487.02	c cleaning 59995 clauses out of 120005 with flag 6653327/2951466
508.19/505.68	c cleaning 60998 clauses out of 122010 with flag 6873556/3013466
516.11/513.54	c cleaning 61997 clauses out of 124014 with flag 7043228/3076468
532.09/529.53	c cleaning 63007 clauses out of 126018 with flag 7269742/3140469
549.87/547.37	c cleaning 64006 clauses out of 128011 with flag 7505775/3205469
559.16/556.69	c cleaning 64999 clauses out of 130003 with flag 7689535/3271467
566.85/564.27	c cleaning 66003 clauses out of 132005 with flag 7855255/3338468
573.75/571.20	c cleaning 67000 clauses out of 134000 with flag 8022228/3406466
581.93/579.37	c cleaning 68001 clauses out of 136001 with flag 8180820/3475467
590.42/587.86	c cleaning 69000 clauses out of 138000 with flag 8351968/3545467
597.41/594.81	c cleaning 69996 clauses out of 140000 with flag 8519731/3616467
607.03/604.34	c cleaning 71001 clauses out of 142004 with flag 8687613/3688467
618.02/615.36	c cleaning 72000 clauses out of 144004 with flag 8857923/3761468
627.27/624.55	c cleaning 72994 clauses out of 146002 with flag 9025978/3835466
663.94/661.15	c cleaning 73996 clauses out of 148008 with flag 9335874/3910466
680.82/678.06	c cleaning 75006 clauses out of 150015 with flag 9587579/3986469
712.27/709.54	c cleaning 75991 clauses out of 152006 with flag 9872640/4063466
736.40/733.63	c cleaning 77007 clauses out of 154015 with flag 10170606/4141466
770.65/767.99	c cleaning 77996 clauses out of 156009 with flag 10492261/4220467
804.49/801.75	c cleaning 79006 clauses out of 158012 with flag 10809147/4300466
830.56/827.81	c cleaning 79993 clauses out of 160006 with flag 11091902/4381466
845.54/842.82	c cleaning 81005 clauses out of 162018 with flag 11326406/4463471
856.03/853.31	c cleaning 82006 clauses out of 164011 with flag 11529256/4546469
882.83/879.37	c cleaning 82993 clauses out of 166003 with flag 11796082/4630467
929.37/925.93	c cleaning 83997 clauses out of 168011 with flag 12154616/4715468
949.74/946.39	c cleaning 85003 clauses out of 170012 with flag 12428507/4801466
960.72/957.36	c cleaning 85999 clauses out of 172009 with flag 12652926/4888466
972.81/969.39	c cleaning 87004 clauses out of 174010 with flag 12850915/4976466
984.62/981.15	c cleaning 88000 clauses out of 176006 with flag 13052297/5065466
997.18/993.73	c cleaning 89001 clauses out of 178007 with flag 13260554/5155467
1007.68/1004.29	c cleaning 90001 clauses out of 180005 with flag 13471698/5246466
1020.06/1016.61	c cleaning 91001 clauses out of 182005 with flag 13689474/5338467
1036.40/1032.88	c cleaning 92001 clauses out of 184006 with flag 13906956/5431469
1050.60/1047.03	c cleaning 93002 clauses out of 186003 with flag 14124149/5525467
1062.98/1059.48	c cleaning 93992 clauses out of 188001 with flag 14339698/5620467
1077.76/1074.25	c cleaning 95001 clauses out of 190008 with flag 14557815/5716466
1090.43/1086.98	c cleaning 96005 clauses out of 192009 with flag 14781875/5813468
1103.83/1100.34	c cleaning 97001 clauses out of 194002 with flag 15008625/5911466
1122.40/1118.78	c cleaning 97998 clauses out of 196002 with flag 15239051/6010467
1138.08/1134.47	c cleaning 98997 clauses out of 198003 with flag 15466876/6110466
1151.95/1148.37	c cleaning 99994 clauses out of 200006 with flag 15694412/6211466
1166.84/1163.22	c cleaning 101002 clauses out of 202012 with flag 15929134/6313466
1179.13/1175.34	c cleaning 101999 clauses out of 204010 with flag 16165476/6416466
1192.31/1188.54	c cleaning 103006 clauses out of 206014 with flag 16408188/6520469
1276.32/1272.63	c cleaning 103991 clauses out of 208006 with flag 16889510/6625467
1340.51/1336.72	c cleaning 105005 clauses out of 210017 with flag 17354406/6731469
1406.63/1402.96	c cleaning 106004 clauses out of 212009 with flag 17799837/6838466
1481.85/1478.28	c cleaning 106998 clauses out of 214007 with flag 18270995/6946468
1553.45/1549.09	c cleaning 107996 clauses out of 216007 with flag 18713686/7055466
1615.67/1611.35	c cleaning 109001 clauses out of 218012 with flag 19121559/7165467
1689.09/1684.83	c cleaning 110002 clauses out of 220010 with flag 19589404/7276466
1756.97/1752.72	c cleaning 110985 clauses out of 222010 with flag 20067559/7388468
1830.69/1826.50	c cleaning 112007 clauses out of 224025 with flag 20513100/7501468
1899.22/1895.18	c cleaning 113007 clauses out of 226016 with flag 20995961/7615466
1972.77/1968.62	c cleaning 114004 clauses out of 228010 with flag 21466169/7730467
2048.88/2044.89	c cleaning 115000 clauses out of 230005 with flag 21941619/7846466
2122.88/2118.98	c cleaning 115995 clauses out of 232005 with flag 22406314/7963466
2190.11/2186.21	c cleaning 117002 clauses out of 234011 with flag 22850874/8081467
2232.75/2228.87	c cleaning 117995 clauses out of 236008 with flag 23203619/8200466
2309.76/2305.94	c cleaning 119000 clauses out of 238013 with flag 23693188/8320466
2373.98/2370.27	c cleaning 120006 clauses out of 240013 with flag 24145755/8441466
2399.41/2395.54	c cleaning 120998 clauses out of 242007 with flag 24459200/8563466
2450.05/2446.23	c cleaning 121999 clauses out of 244010 with flag 24884723/8686467
2479.32/2475.50	c cleaning 122998 clauses out of 246010 with flag 25224705/8810466
2504.80/2501.01	c cleaning 123999 clauses out of 248012 with flag 25550053/8935466
2526.59/2522.71	c cleaning 125000 clauses out of 250013 with flag 25870496/9061466
2548.36/2544.54	c cleaning 126000 clauses out of 252014 with flag 26196615/9188467
2564.14/2560.38	c cleaning 127005 clauses out of 254014 with flag 26491698/9316467
2581.36/2577.47	c cleaning 128000 clauses out of 256010 with flag 26773738/9445468
2597.83/2593.94	c cleaning 129001 clauses out of 258008 with flag 27057169/9575466
2618.11/2614.29	c cleaning 130001 clauses out of 260008 with flag 27365265/9706467
2638.32/2634.38	c cleaning 130997 clauses out of 262006 with flag 27674930/9838466
2666.59/2662.63	c cleaning 132000 clauses out of 264009 with flag 27974181/9971466
2693.85/2689.97	c cleaning 132999 clauses out of 266009 with flag 28307078/10105466
2718.72/2713.60	c cleaning 134003 clauses out of 268010 with flag 28619066/10240466
2747.38/2742.21	c cleaning 135002 clauses out of 270008 with flag 28962555/10376467
2770.75/2765.62	c cleaning 135998 clauses out of 272006 with flag 29331948/10513467
2793.44/2788.27	c cleaning 137000 clauses out of 274008 with flag 29703319/10651467
2818.31/2813.14	c cleaning 137997 clauses out of 276007 with flag 30061738/10790466
2843.57/2838.42	c cleaning 139003 clauses out of 278013 with flag 30374714/10930469
2866.54/2861.49	c cleaning 140000 clauses out of 280008 with flag 30689279/11071467
2888.45/2883.29	c cleaning 140999 clauses out of 282008 with flag 30999984/11213467
2915.33/2910.19	c cleaning 142005 clauses out of 284009 with flag 31312247/11356467
2939.99/2934.80	c cleaning 143003 clauses out of 286005 with flag 31628576/11500468
2974.06/2968.86	c cleaning 143988 clauses out of 288000 with flag 31954094/11645466
2998.03/2992.87	c cleaning 145002 clauses out of 290012 with flag 32283231/11791466
3024.40/3019.23	c cleaning 146003 clauses out of 292013 with flag 32609181/11938469
3049.34/3044.05	c cleaning 147002 clauses out of 294010 with flag 32936969/12086469
3077.79/3072.55	c cleaning 148002 clauses out of 296006 with flag 33260390/12235467
3213.43/3208.33	c cleaning 148989 clauses out of 298004 with flag 33894959/12385467
3342.87/3337.79	c cleaning 150008 clauses out of 300015 with flag 34562419/12536467
3502.90/3497.93	c cleaning 151004 clauses out of 302007 with flag 35239531/12688467
3600.08/3595.22	c starts		: 64244
3600.08/3595.24	c conflicts		: 12838526
3600.08/3595.25	c decisions		: 17867114
3600.08/3595.25	c propagations		: 332122957
3600.08/3595.25	c inspects		: 35501107928
3600.08/3595.25	c shortcuts		: 0
3600.08/3595.25	c learnt literals	: 0
3600.08/3595.25	c learnt binary clauses	: 0
3600.08/3595.25	c learnt ternary clauses	: 0
3600.08/3595.25	c learnt constraints	: 12838526
3600.08/3595.25	c ignored constraints	: 0
3600.08/3595.25	c root simplifications	: 0
3600.08/3595.25	c removed literals (reason simplification)	: 0
3600.08/3595.25	c reason swapping (by a shorter reason)	: 0
3600.08/3595.25	c Calls to reduceDB	: 213
3600.08/3595.25	c Number of update (reduction) of LBD	: 697983
3600.08/3595.25	c Imported unit clauses	: 0
3600.08/3595.25	c No decision after first conflict	: false
3600.08/3595.25	c number of reductions to clauses (during analyze)	: 0
3600.08/3595.25	c number of learned constraints concerned by reduction	: 0
3600.08/3595.25	c number of learning phase by resolution	: 0
3600.08/3595.25	c number of learning phase by cutting planes	: 0
3600.08/3595.25	c number of rounding to 1 operations	: 0
3600.08/3595.25	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3595.26	c number of reductions of the coefficients by power 2 	: 0
3600.08/3595.26	c number of right shift for reduction by power 2 	: 0
3600.08/3595.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3595.26	c number of ending skipping 	: 0
3600.08/3595.26	c number of internal skipping 	: 0
3600.08/3595.26	c number of derivation steps 	: 0
3600.08/3595.26	c number of skipped derivation steps 	: 0
3600.08/3595.27	c number of remaining unassigned 	: 0
3600.08/3595.29	c number of remaining assigned 	: 0
3600.08/3595.29	c number of falsified literals weakened from reason	: 0
3600.08/3595.29	c number of falsified literals weakened from conflict	: 0
3600.08/3595.29	c time for arithmetic operations	: 0
3600.08/3595.29	c minimum degree of deleted constraints	: null
3600.08/3595.29	c maximum degree of deleted constraints	: null
3600.08/3595.29	c number of deleted constraints	: 0
3600.08/3595.29	c speed (assignments/second)	: 92389.44340668435
3600.08/3595.29	c non guided choices	: 0
3600.47/3595.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 301062
3600.47/3595.43	s SATISFIABLE
3600.47/3595.43	c Found 10 solution(s)
3600.47/3595.44	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 
3600.47/3595.44	c objective function=-23
3600.47/3595.44	c Total wall clock time (in seconds): 3595.101

Verifier Data 

OK	-23

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=303747, runsolver pid=303744

[startup+0.101421 s]*
/proc/loadavg: 4.65 4.34 4.29 7/314 303765
/proc/meminfo: memFree=122052372/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=18993908 memory=56064 CPUtime=0.12 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 6442 0 0 0 10 2 0 0 20 0 18 0 30625821 19449761792 14016 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4748477 14016 5758 1 0 550770 0
[pid=303747/tid=303749] ppid=303744 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 5386 0 0 0 6 2 0 0 20 0 18 0 30625822 19449761792 14016 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=18993908 memory=232851243367 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30625828 19449761792 14016 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=18993908 memory=3618136736603318475 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30625829 19449761792 14016 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56064 KiB

[startup+0.222038 s]*
/proc/loadavg: 4.65 4.34 4.29 8/314 303765
/proc/meminfo: memFree=122049208/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=18993908 memory=59972 CPUtime=0.29 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 7164 0 0 0 26 3 0 0 20 0 18 0 30625821 19449761792 14993 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4748477 14993 5990 1 0 551346 0
[pid=303747/tid=303749] ppid=303744 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 1077936192 5727 0 0 0 16 2 0 0 20 0 18 0 30625822 19449761792 14993 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=18993908 memory=1967857 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30625828 19449761792 14993 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30625829 19449761792 14993 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 59972 KiB

[startup+0.314424 s]*
/proc/loadavg: 4.65 4.34 4.29 7/314 303765
/proc/meminfo: memFree=122044272/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=18993908 memory=65116 CPUtime=0.44 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 7416 0 0 0 40 4 0 0 20 0 18 0 30625821 19449761792 16279 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4748477 16279 5999 1 0 551523 0
[pid=303747/tid=303749] ppid=303744 vsize=18993908 memory=-8888244644066534076 CPUtime=0.26 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 5880 0 0 0 23 3 0 0 20 0 18 0 30625822 19449761792 16279 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30625828 19449761792 16279 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30625829 19449761792 16279 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 65116 KiB

[startup+0.704424 s]
/proc/loadavg: 4.65 4.34 4.29 9/315 303766
/proc/meminfo: memFree=122040116/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19060472 memory=77332 CPUtime=1.12 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 9703 0 0 0 107 5 0 0 20 0 19 0 30625821 19517923328 19333 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4765118 19333 6147 1 0 553031 0
[pid=303747/tid=303749] ppid=303744 vsize=19060472 memory=5640 CPUtime=0.58 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 6091 0 0 0 55 3 0 0 20 0 19 0 30625822 19517923328 19333 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30625828 19517923328 19333 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19060472 memory=4905 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30625829 19517923328 19333 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19060472 memory=2244 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30625868 19517923328 19333 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 77332 KiB

[startup+1.51041 s]
/proc/loadavg: 4.65 4.34 4.29 6/315 303766
/proc/meminfo: memFree=122028316/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19060472 memory=94740 CPUtime=2.72 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 17728 0 0 0 265 7 0 0 20 0 19 0 30625821 19517923328 23685 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4765118 23685 6147 1 0 555165 0
[pid=303747/tid=303749] ppid=303744 vsize=19060472 memory=12240 CPUtime=1.37 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 7111 0 0 0 134 3 0 0 20 0 19 0 30625822 19517923328 23685 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30625828 19517923328 23685 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19060472 memory=1967624 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30625829 19517923328 23685 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30625868 19517923328 23685 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 94740 KiB

[startup+3.11342 s]
/proc/loadavg: 4.65 4.34 4.29 5/315 303766
/proc/meminfo: memFree=121983676/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19060472 memory=125768 CPUtime=4.74 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 18526 0 0 0 467 7 0 0 20 0 19 0 30625821 19517923328 31442 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4765118 31442 6147 1 0 555169 0
[pid=303747/tid=303749] ppid=303744 vsize=19060472 memory=0 CPUtime=2.97 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 7460 0 0 0 293 4 0 0 20 0 19 0 30625822 19517923328 31442 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30625828 19517923328 31442 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30625829 19517923328 31442 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19060472 memory=12264 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30625868 19517923328 31442 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 125768 KiB

[startup+6.30046 s]
/proc/loadavg: 4.60 4.33 4.28 5/316 303767
/proc/meminfo: memFree=121924496/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=184572 CPUtime=8.03 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 19559 0 0 0 794 9 0 0 20 0 20 0 30625821 19586084864 46143 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 46143 6176 1 0 555460 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=12240 CPUtime=6.11 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 7528 0 0 0 606 5 0 0 20 0 20 0 30625822 19586084864 46143 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=136008 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 46143 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 46143 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=-8888244644066534076 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 46143 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 8.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 184572 KiB

[startup+12.7005 s]
/proc/loadavg: 4.63 4.35 4.29 5/316 303769
/proc/meminfo: memFree=121911988/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=197304 CPUtime=14.6 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 21429 0 0 0 1450 10 0 0 20 0 20 0 30625821 19586084864 49326 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 49326 6192 1 0 555460 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=-8888244644066534076 CPUtime=12.48 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 8117 0 0 0 1243 5 0 0 20 0 20 0 30625822 19586084864 49326 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 49326 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=197304 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 49326 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=-8888244644066534076 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 49326 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 197304 KiB

[startup+25.5005 s]
/proc/loadavg: 4.64 4.36 4.29 5/316 303771
/proc/meminfo: memFree=121802764/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=306256 CPUtime=27.42 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 24906 0 0 0 2728 14 0 0 20 0 20 0 30625821 19586084864 76564 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 76564 6192 1 0 555460 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=244648 CPUtime=24.98 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 9795 0 0 0 2493 5 0 0 20 0 20 0 30625822 19586084864 76564 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=-8888244644066534076 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 76564 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 76564 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 76564 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 27.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 306256 KiB

[startup+51.1131 s]
/proc/loadavg: 4.77 4.41 4.31 5/316 303776
/proc/meminfo: memFree=121386068/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=721864 CPUtime=53.37 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 33407 0 0 0 5311 26 0 0 20 0 20 0 30625821 19586084864 180466 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 180466 6208 1 0 661979 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=12264 CPUtime=49.77 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 11980 0 0 0 4970 7 0 0 20 0 20 0 30625822 19586084864 180466 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=547232 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 1.17 1.12 1.21 2/239 305256
/proc/meminfo: memFree=125854660/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=2207648 CPUtime=3287.35 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 132473 0 0 0 328475 260 0 0 20 0 20 0 30625821 19586084864 551912 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 551912 6208 1 0 668369 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=2232 CPUtime=3268.51 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 55595 0 0 0 326834 17 0 0 20 0 20 0 30625822 19586084864 551912 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=2207648 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 551912 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=2207648 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 1809 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 551912 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=2207648 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 551912 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 3287.35 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2207648 KiB

[startup+3342.3 s]
/proc/loadavg: 1.17 1.13 1.20 2/239 305267
/proc/meminfo: memFree=125854392/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=2207652 CPUtime=3347.46 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 133408 0 0 0 334482 264 0 0 20 0 20 0 30625821 19586084864 551913 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 551913 6208 1 0 668369 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=2207648 CPUtime=3328.2 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 55655 0 0 0 332803 17 0 0 20 0 20 0 30625822 19586084864 551913 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=2207652 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 551913 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 1809 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 551913 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=2207652 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 551913 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 3347.46 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2207652 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.12 1.19 2/239 305278
/proc/meminfo: memFree=125854040/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=2207840 CPUtime=3407.4 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 134269 0 0 0 340473 267 0 0 20 0 20 0 30625821 19586084864 551960 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 551960 6208 1 0 668417 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=18484 CPUtime=3388.08 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 55721 0 0 0 338791 17 0 0 20 0 20 0 30625822 19586084864 551960 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=2207840 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 551960 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=2207840 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 1809 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 551960 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=2207840 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 551960 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 3407.4 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2207840 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.12 1.19 2/239 305288
/proc/meminfo: memFree=125853732/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=2207900 CPUtime=3467.34 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 134614 0 0 0 346463 271 0 0 20 0 20 0 30625821 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 551975 6208 1 0 668433 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=12264 CPUtime=3447.96 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 55914 0 0 0 344779 17 0 0 20 0 20 0 30625822 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=2207900 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 1809 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=2207900 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 3467.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2207900 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.11 1.18 2/239 305298
/proc/meminfo: memFree=125853440/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=2207900 CPUtime=3527.27 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 135239 0 0 0 352452 275 0 0 20 0 20 0 30625821 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 551975 6208 1 0 668433 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=2207900 CPUtime=3507.83 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 56369 0 0 0 350766 17 0 0 20 0 20 0 30625822 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=2207840 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=2207900 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 1944 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=2207900 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 3527.27 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2207900 KiB

[startup+3582.3 s]
/proc/loadavg: 1.21 1.14 1.18 2/238 305693
/proc/meminfo: memFree=125852456/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=2207900 CPUtime=3587.2 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 135469 0 0 0 358442 278 0 0 20 0 20 0 30625821 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 551975 6208 1 0 668433 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=73324 CPUtime=3567.7 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 56599 0 0 0 356753 17 0 0 20 0 20 0 30625822 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=2207900 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=73324 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 1944 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=2207900 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2207900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.2 s]
/proc/loadavg: 1.24 1.15 1.18 2/238 305694
/proc/meminfo: memFree=125852484/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19127036 memory=2207900 CPUtime=3600.08 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 135508 0 0 0 359730 278 0 0 20 0 20 0 30625821 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4781759 551975 6208 1 0 668434 0
[pid=303747/tid=303749] ppid=303744 vsize=19127036 memory=2207900 CPUtime=3580.58 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 56638 0 0 0 358041 17 0 0 20 0 20 0 30625822 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19127036 memory=-8888244644066534076 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30625828 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19127036 memory=-7378722095043731066 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 1944 0 0 0 0 0 0 0 20 0 20 0 30625829 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303766] ppid=303744 vsize=19127036 memory=7324 CPUtime=0 cores=1,3
/proc/303747/task/303766/stat : 303766 (Timer-0) S 303744 303747 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30625868 19586084864 551975 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2207900 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.77 s, system=2.81344 s

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

[startup+3595.4 s]
/proc/loadavg: 1.24 1.15 1.18 2/238 305694
/proc/meminfo: memFree=125852484/131655788 swapFree=131060868/131071996
[pid=303747] ppid=303744 vsize=19326728 memory=2208552 CPUtime=3600.47 cores=1,3
/proc/303747/stat : 303747 (java) S 303744 303747 298698 0 -1 1077936128 138095 0 0 0 359768 279 0 0 20 0 21 0 30625821 19790569472 552138 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
/proc/303747/statm: 4831682 552138 6207 1 0 669343 0
[pid=303747/tid=303749] ppid=303744 vsize=19326728 memory=-8888244644066534076 CPUtime=3580.77 cores=1,3
/proc/303747/task/303749/stat : 303749 (java) R 303744 303747 298698 0 -1 4194368 56876 0 0 0 358060 17 0 0 20 0 21 0 30625822 19790569472 552138 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303758] ppid=303744 vsize=19326728 memory=30224 CPUtime=0 cores=1,3
/proc/303747/task/303758/stat : 303758 (Finalizer) S 303744 303747 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30625828 19790569472 552138 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
[pid=303747/tid=303765] ppid=303744 vsize=19326728 memory=3340 CPUtime=0 cores=1,3
/proc/303747/task/303765/stat : 303765 (Common-Cleaner) S 303744 303747 298698 0 -1 1077936192 1944 0 0 0 0 0 0 0 20 0 21 0 30625829 19790569472 552138 134679101440 94077630283776 94077630287472 140730324163312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94077630295288 94077630296080 94077633421312 140730324165642 140730324165732 140730324165732 140730324172744 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2208552 KiB

Child status: 143

Real time (s): 3595.46
CPU time (s): 3600.58
CPU user time (s): 3597.77
CPU system time (s): 2.81344
CPU usage (%): 100.142
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2208552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.77
system time used= 2.81344
maximum resident set size= 2208860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105849
involuntary context switches= 5683


# summary of solver processes directly reported to runsolver:
#   pid: 303747
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3597.77
#   total CPU system time (s): 2.81344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9233 second user time and 36.3657 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-26 00:26:04
IDJOB=4460031
IDBENCH=160591
IDSOLVER=3058
FILE ID=nodeC005/4460031-1721946364
RUNJOBID= nodeC005-1721939462-298710
SLURM_JOB_ID= 8247259
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0333-0333.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460031-1721946364/watcher-4460031-1721946364 -o /tmp/evaluation-result-4460031-1721946364/solver-4460031-1721946364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298710 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4460031-1721946364.opb

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

MD5SUM BENCH= aa5497ffb5bc298db5a61a0615c33892
RANDOM SEED=319757175

nodeC005.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		: 3506.685
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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		: 1695.911
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		: 1197.238
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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		: 1795.679
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		: 3520.274
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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		: 3633.286
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.329
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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.209
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:        122087340 kB
MemAvailable:   124043616 kB
Buffers:          332576 kB
Cached:          2440212 kB
SwapCached:          320 kB
Active:          1739356 kB
Inactive:        7245308 kB
Active(anon):       1620 kB
Inactive(anon):  6262920 kB
Active(file):    1737736 kB
Inactive(file):   982388 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060868 kB
Dirty:               832 kB
Writeback:            28 kB
AnonPages:       6209692 kB
Mapped:           119548 kB
Shmem:             52956 kB
KReclaimable:     152368 kB
Slab:             260556 kB
SReclaimable:     152368 kB
SUnreclaim:       108188 kB
KernelStack:        4748 kB
PageTables:        22752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10285624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12064 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5849088 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC005 at 2024-07-26 01:26:00