Trace number 4432341

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)51995 3600.35 3604.04

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
MD5SUMcc2b167b604094044d9d141ee486a126
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 benchmark47342
Best CPU time to get the best result obtained on this benchmark0.022153
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 2133
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1049330
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2133
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1049330
Number of bits of the biggest sum of numbers21
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-4432341-1721111982.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.14/0.17	c ... done. Wall clock time 0.053s.
0.14/0.17	c declared #vars     1152
0.14/0.17	c #constraints  1774
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1263
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 506
0.14/0.17	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.14/0.17	c 1774 constraints processed.
0.14/0.18	c objective function length is 661 literals
0.14/0.20	c SATISFIABLE
0.14/0.20	c OPTIMIZING...
0.14/0.20	c Got one! Elapsed wall clock time (in seconds):0.076
0.14/0.20	o 54696
0.53/0.37	c Got one! Elapsed wall clock time (in seconds):0.256
0.53/0.37	o 53648
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.26
0.53/0.38	o 53452
0.70/0.44	c Got one! Elapsed wall clock time (in seconds):0.324
0.70/0.44	o 52290
0.70/0.47	c Got one! Elapsed wall clock time (in seconds):0.36
0.70/0.47	o 52284
0.70/0.48	c Got one! Elapsed wall clock time (in seconds):0.363
0.70/0.48	o 52176
1.46/0.82	c cleaning 3161 clauses out of 6328 with flag 7202/6328
2.12/1.31	c cleaning 4577 clauses out of 9167 with flag 25019/12328
2.63/1.89	c cleaning 5782 clauses out of 11590 with flag 44483/19328
3.45/2.53	c cleaning 6895 clauses out of 13808 with flag 67008/27328
4.16/3.21	c cleaning 7950 clauses out of 15914 with flag 95948/36329
4.94/3.95	c cleaning 8971 clauses out of 17963 with flag 129580/46328
5.74/4.76	c cleaning 9983 clauses out of 19992 with flag 165353/57328
6.64/5.68	c cleaning 10997 clauses out of 22011 with flag 204078/69330
7.73/6.75	c cleaning 11999 clauses out of 24012 with flag 247190/82328
8.83/7.82	c cleaning 13006 clauses out of 26013 with flag 291596/96328
9.93/8.99	c cleaning 14004 clauses out of 28007 with flag 337247/111328
11.24/10.28	c cleaning 14996 clauses out of 30005 with flag 389539/127330
12.77/11.70	c cleaning 15997 clauses out of 32007 with flag 448242/144328
14.18/13.16	c cleaning 16999 clauses out of 34010 with flag 503386/162328
15.70/14.68	c cleaning 18002 clauses out of 36011 with flag 568051/181328
17.20/16.18	c cleaning 19004 clauses out of 38011 with flag 638329/201330
18.89/17.82	c cleaning 19995 clauses out of 40005 with flag 706596/222328
20.58/19.58	c cleaning 20994 clauses out of 42010 with flag 782332/244328
22.38/21.38	c cleaning 21996 clauses out of 44016 with flag 865552/267328
24.37/23.32	c cleaning 23010 clauses out of 46023 with flag 955560/291331
26.37/25.31	c cleaning 24000 clauses out of 48010 with flag 1046235/316328
28.36/27.35	c cleaning 24993 clauses out of 50010 with flag 1139256/342328
30.56/29.52	c cleaning 26009 clauses out of 52017 with flag 1225645/369328
32.85/31.84	c cleaning 27004 clauses out of 54008 with flag 1320440/397328
35.25/34.23	c cleaning 27985 clauses out of 56004 with flag 1420782/426328
37.75/36.77	c cleaning 29003 clauses out of 58019 with flag 1541031/456328
40.54/39.51	c cleaning 29999 clauses out of 60016 with flag 1656055/487328
43.33/42.30	c cleaning 30994 clauses out of 62017 with flag 1780271/519328
46.23/45.24	c cleaning 32013 clauses out of 64025 with flag 1902267/552330
49.22/48.25	c cleaning 33001 clauses out of 66011 with flag 2030592/586329
52.41/51.40	c cleaning 33993 clauses out of 68009 with flag 2169342/621328
55.60/54.67	c cleaning 34996 clauses out of 70017 with flag 2303507/657329
58.90/57.99	c cleaning 36000 clauses out of 72020 with flag 2444034/694328
62.60/61.64	c cleaning 37002 clauses out of 74022 with flag 2598834/732330
66.19/65.24	c cleaning 37996 clauses out of 76018 with flag 2750450/771328
69.89/68.92	c cleaning 39006 clauses out of 78023 with flag 2902904/811329
73.58/72.62	c cleaning 39997 clauses out of 80016 with flag 3049967/852328
74.28/73.32	c Got one! Elapsed wall clock time (in seconds):73.2
74.28/73.32	o 51995
74.69/73.71	c cleaning 26915 clauses out of 53843 with flag 12837/866152
75.19/74.25	c cleaning 16454 clauses out of 32927 with flag 29105/872151
75.79/74.80	c cleaning 11719 clauses out of 23473 with flag 47740/879151
76.39/75.40	c cleaning 9877 clauses out of 19754 with flag 71713/887151
76.99/76.06	c cleaning 9435 clauses out of 18879 with flag 98444/896153
77.79/76.83	c cleaning 9720 clauses out of 19443 with flag 128152/906152
78.58/77.63	c cleaning 10345 clauses out of 20722 with flag 160141/917151
79.48/78.53	c cleaning 11183 clauses out of 22378 with flag 194192/929152
80.53/79.56	c cleaning 12089 clauses out of 24195 with flag 234586/942152
81.63/80.64	c cleaning 13045 clauses out of 26105 with flag 276827/956151
82.83/81.81	c cleaning 14029 clauses out of 28060 with flag 320991/971151
84.13/83.17	c cleaning 15004 clauses out of 30032 with flag 369096/987152
85.52/84.50	c cleaning 16015 clauses out of 32029 with flag 417882/1004153
87.02/86.02	c cleaning 16998 clauses out of 34012 with flag 470599/1022151
88.51/87.55	c cleaning 17990 clauses out of 36017 with flag 530804/1041154
90.21/89.28	c cleaning 19005 clauses out of 38024 with flag 595855/1061151
92.01/91.05	c cleaning 19993 clauses out of 40021 with flag 658775/1082153
93.80/92.86	c cleaning 21007 clauses out of 42027 with flag 728165/1104152
95.60/94.69	c cleaning 22010 clauses out of 44020 with flag 797379/1127152
97.49/96.53	c cleaning 22998 clauses out of 46009 with flag 868234/1151151
99.49/98.56	c cleaning 24000 clauses out of 48012 with flag 945794/1176152
101.68/100.71	c cleaning 25003 clauses out of 50011 with flag 1026618/1202151
103.98/103.01	c cleaning 25999 clauses out of 52008 with flag 1105893/1229151
106.37/105.45	c cleaning 27004 clauses out of 54013 with flag 1187601/1257155
108.97/108.02	c cleaning 28000 clauses out of 56005 with flag 1272336/1286151
111.56/110.62	c cleaning 28999 clauses out of 58005 with flag 1363476/1316151
114.15/113.20	c cleaning 29990 clauses out of 60006 with flag 1459746/1347151
116.75/115.90	c cleaning 30995 clauses out of 62017 with flag 1555274/1379152
119.55/118.60	c cleaning 32004 clauses out of 64021 with flag 1657314/1412151
122.36/121.45	c cleaning 33005 clauses out of 66017 with flag 1773842/1446151
125.45/124.50	c cleaning 33994 clauses out of 68012 with flag 1888682/1481151
128.45/127.56	c cleaning 35007 clauses out of 70020 with flag 2012608/1517153
131.74/130.87	c cleaning 36005 clauses out of 72013 with flag 2134585/1554153
135.13/134.28	c cleaning 36992 clauses out of 74006 with flag 2265107/1592151
138.54/137.67	c cleaning 38006 clauses out of 76015 with flag 2393479/1631152
141.93/141.08	c cleaning 38997 clauses out of 78009 with flag 2535053/1671152
145.62/144.71	c cleaning 39999 clauses out of 80012 with flag 2674340/1712152
149.21/148.34	c cleaning 41000 clauses out of 82013 with flag 2817812/1754152
153.01/152.17	c cleaning 42008 clauses out of 84015 with flag 2951458/1797154
156.69/155.87	c cleaning 43000 clauses out of 86005 with flag 3100799/1841152
160.68/159.82	c cleaning 44000 clauses out of 88004 with flag 3270103/1886151
164.67/163.82	c cleaning 44998 clauses out of 90004 with flag 3451074/1932151
168.87/168.01	c cleaning 45976 clauses out of 92006 with flag 3643432/1979151
172.96/172.11	c cleaning 47004 clauses out of 94030 with flag 3836516/2027151
177.15/176.39	c cleaning 48007 clauses out of 96026 with flag 4023303/2076151
181.44/180.64	c cleaning 49007 clauses out of 98019 with flag 4207864/2126151
185.93/185.15	c cleaning 49991 clauses out of 100012 with flag 4406812/2177151
190.32/189.51	c cleaning 51007 clauses out of 102022 with flag 4609338/2229152
194.71/193.97	c cleaning 52002 clauses out of 104014 with flag 4821384/2282151
199.53/198.78	c cleaning 52986 clauses out of 106012 with flag 5038498/2336151
204.32/203.59	c cleaning 53998 clauses out of 108026 with flag 5252517/2391151
209.22/208.46	c cleaning 54995 clauses out of 110029 with flag 5480509/2447152
214.11/213.33	c cleaning 55991 clauses out of 112033 with flag 5705118/2504151
219.52/218.79	c cleaning 57007 clauses out of 114042 with flag 5924420/2562151
224.41/223.68	c cleaning 58004 clauses out of 116036 with flag 6150456/2621152
229.60/228.83	c cleaning 59003 clauses out of 118031 with flag 6371748/2681151
234.69/233.94	c cleaning 59999 clauses out of 120028 with flag 6623790/2742151
239.98/239.22	c cleaning 61004 clauses out of 122029 with flag 6875090/2804151
245.69/244.91	c cleaning 62003 clauses out of 124027 with flag 7130036/2867153
251.68/250.90	c cleaning 63011 clauses out of 126022 with flag 7385926/2931151
257.67/256.91	c cleaning 63996 clauses out of 128013 with flag 7642738/2996153
263.55/262.87	c cleaning 65000 clauses out of 130015 with flag 7899703/3062151
269.90/269.11	c cleaning 65982 clauses out of 132015 with flag 8162511/3129151
275.98/275.24	c cleaning 67008 clauses out of 134033 with flag 8407765/3197151
281.97/281.25	c cleaning 67988 clauses out of 136026 with flag 8687054/3266152
288.05/287.37	c cleaning 69013 clauses out of 138039 with flag 8976921/3336153
294.49/293.79	c cleaning 69995 clauses out of 140024 with flag 9268052/3407151
300.88/300.17	c cleaning 71001 clauses out of 142029 with flag 9569620/3479151
307.66/306.96	c cleaning 71995 clauses out of 144028 with flag 9850192/3552151
314.85/314.10	c cleaning 73012 clauses out of 146034 with flag 10128138/3626152
321.63/320.92	c cleaning 73998 clauses out of 148021 with flag 10419187/3701151
328.71/328.05	c cleaning 74992 clauses out of 150023 with flag 10702918/3777151
335.89/335.29	c cleaning 76006 clauses out of 152032 with flag 11010299/3854152
342.93/342.20	c cleaning 76995 clauses out of 154025 with flag 11326741/3932151
350.11/349.42	c cleaning 78009 clauses out of 156030 with flag 11637603/4011151
357.80/357.11	c cleaning 78997 clauses out of 158021 with flag 11930442/4091151
365.68/365.02	c cleaning 80007 clauses out of 160024 with flag 12243765/4172151
373.16/372.59	c cleaning 81000 clauses out of 162018 with flag 12572813/4254152
381.49/380.86	c cleaning 81988 clauses out of 164017 with flag 12898493/4337151
389.69/389.09	c cleaning 82994 clauses out of 166031 with flag 13210378/4421153
397.77/397.17	c cleaning 83997 clauses out of 168035 with flag 13506885/4506151
406.75/406.14	c cleaning 85010 clauses out of 170041 with flag 13799132/4592154
415.92/415.37	c cleaning 86010 clauses out of 172029 with flag 14101358/4679152
425.17/424.55	c cleaning 87004 clauses out of 174019 with flag 14402139/4767152
434.06/433.40	c cleaning 87996 clauses out of 176015 with flag 14715143/4856152
442.53/441.91	c cleaning 88998 clauses out of 178018 with flag 15058482/4946151
451.72/451.20	c cleaning 89987 clauses out of 180020 with flag 15394029/5037151
460.50/459.90	c cleaning 91009 clauses out of 182033 with flag 15743275/5129151
469.59/469.01	c cleaning 92008 clauses out of 184025 with flag 16087837/5222152
479.26/478.76	c cleaning 92982 clauses out of 186016 with flag 16468180/5316151
489.29/488.79	c cleaning 94003 clauses out of 188034 with flag 16833863/5411151
499.27/498.70	c cleaning 94999 clauses out of 190031 with flag 17209977/5507151
509.05/508.53	c cleaning 96004 clauses out of 192032 with flag 17596562/5604151
519.03/518.50	c cleaning 96994 clauses out of 194028 with flag 17988539/5702151
529.30/528.82	c cleaning 98013 clauses out of 196034 with flag 18377921/5801151
539.88/539.46	c cleaning 98983 clauses out of 198021 with flag 18779699/5901151
549.76/549.31	c cleaning 99994 clauses out of 200038 with flag 19170551/6002151
559.75/559.25	c cleaning 101009 clauses out of 202044 with flag 19547479/6104151
570.64/570.12	c cleaning 102010 clauses out of 204037 with flag 19928532/6207153
580.72/580.24	c cleaning 103003 clauses out of 206025 with flag 20331037/6311151
590.99/590.58	c cleaning 104000 clauses out of 208022 with flag 20696610/6416151
602.37/601.96	c cleaning 104993 clauses out of 210022 with flag 21107486/6522151
613.14/612.72	c cleaning 106006 clauses out of 212031 with flag 21496900/6629153
624.42/624.04	c cleaning 106996 clauses out of 214023 with flag 21907492/6737151
636.16/635.48	c cleaning 107993 clauses out of 216027 with flag 22323231/6846151
647.53/646.84	c cleaning 109004 clauses out of 218034 with flag 22756747/6956151
659.20/658.59	c cleaning 110006 clauses out of 220031 with flag 23176753/7067152
670.69/670.08	c cleaning 111007 clauses out of 222024 with flag 23631124/7179151
682.45/681.86	c cleaning 112005 clauses out of 224018 with flag 24022073/7292152
694.20/693.54	c cleaning 112980 clauses out of 226012 with flag 24395164/7406151
706.27/705.63	c cleaning 113996 clauses out of 228032 with flag 24794893/7521151
717.85/717.23	c cleaning 115014 clauses out of 230040 with flag 25220647/7637155
731.42/730.85	c cleaning 115999 clauses out of 232022 with flag 25638510/7754151
743.19/742.69	c cleaning 116996 clauses out of 234023 with flag 26051221/7872151
755.67/755.16	c cleaning 118006 clauses out of 236029 with flag 26484213/7991153
767.52/766.90	c cleaning 119006 clauses out of 238021 with flag 26942745/8111151
779.99/779.42	c cleaning 119999 clauses out of 240016 with flag 27404945/8232152
791.76/791.20	c cleaning 120983 clauses out of 242016 with flag 27873607/8354151
804.44/803.94	c cleaning 122012 clauses out of 244033 with flag 28341380/8477151
816.31/815.86	c cleaning 122998 clauses out of 246022 with flag 28810173/8601152
828.98/828.51	c cleaning 123985 clauses out of 248023 with flag 29287485/8726151
842.80/842.39	c cleaning 125001 clauses out of 250039 with flag 29778439/8852152
855.97/855.50	c cleaning 126007 clauses out of 252037 with flag 30275837/8979151
870.05/869.66	c cleaning 127001 clauses out of 254031 with flag 30735262/9107152
883.61/883.21	c cleaning 128007 clauses out of 256029 with flag 31228065/9236151
898.28/897.97	c cleaning 129005 clauses out of 258024 with flag 31730043/9366153
911.45/911.13	c cleaning 129999 clauses out of 260020 with flag 32213398/9497154
924.90/924.50	c cleaning 130988 clauses out of 262018 with flag 32730524/9629151
938.07/937.79	c cleaning 132001 clauses out of 264030 with flag 33242987/9762151
951.44/951.15	c cleaning 132993 clauses out of 266029 with flag 33729870/9896151
965.21/964.94	c cleaning 134017 clauses out of 268040 with flag 34239229/10031155
980.07/979.88	c cleaning 135003 clauses out of 270020 with flag 34729183/10167152
994.14/993.99	c cleaning 136005 clauses out of 272017 with flag 35192359/10304152
1008.91/1008.77	c cleaning 136983 clauses out of 274012 with flag 35669290/10442152
1024.13/1023.97	c cleaning 138005 clauses out of 276028 with flag 36150903/10581151
1038.99/1038.86	c cleaning 139000 clauses out of 278023 with flag 36665339/10721151
1053.75/1053.62	c cleaning 139995 clauses out of 280023 with flag 37184150/10862151
1069.11/1069.07	c cleaning 140977 clauses out of 282028 with flag 37709724/11004151
1083.77/1083.73	c cleaning 142007 clauses out of 284051 with flag 38290890/11147151
1098.23/1098.25	c cleaning 143004 clauses out of 286044 with flag 38896519/11291151
1113.29/1113.30	c cleaning 144011 clauses out of 288042 with flag 39466527/11436153
1127.45/1127.50	c cleaning 144986 clauses out of 290029 with flag 39996377/11582151
1142.32/1142.49	c cleaning 146010 clauses out of 292043 with flag 40553931/11729151
1157.77/1157.91	c cleaning 146999 clauses out of 294033 with flag 41112800/11877151
1174.52/1174.72	c cleaning 148004 clauses out of 296034 with flag 41663669/12026151
1190.18/1190.41	c cleaning 149007 clauses out of 298030 with flag 42206146/12176151
1206.85/1207.10	c cleaning 150005 clauses out of 300023 with flag 42739218/12327151
1223.71/1223.90	c cleaning 151007 clauses out of 302024 with flag 43262708/12479157
1238.78/1239.02	c cleaning 151995 clauses out of 304012 with flag 43782128/12632152
1253.64/1253.98	c cleaning 152981 clauses out of 306016 with flag 44317628/12786151
1272.10/1272.44	c cleaning 154005 clauses out of 308035 with flag 44848048/12941151
1287.68/1288.00	c cleaning 155007 clauses out of 310030 with flag 45434251/13097151
1305.23/1305.61	c cleaning 155993 clauses out of 312023 with flag 46083843/13254151
1323.43/1323.74	c cleaning 157001 clauses out of 314030 with flag 46722982/13412151
1339.61/1340.00	c cleaning 158009 clauses out of 316029 with flag 47358119/13571151
1357.97/1358.30	c cleaning 158994 clauses out of 318020 with flag 47965244/13731151
1374.93/1375.35	c cleaning 160003 clauses out of 320027 with flag 48581407/13892152
1392.49/1392.90	c cleaning 161003 clauses out of 322023 with flag 49186101/14054151
1410.06/1410.53	c cleaning 161990 clauses out of 324020 with flag 49809824/14217151
1427.93/1427.98	c cleaning 162997 clauses out of 326030 with flag 50426302/14381151
1446.50/1446.58	c cleaning 163997 clauses out of 328033 with flag 51084262/14546151
1466.15/1466.28	c cleaning 164995 clauses out of 330036 with flag 51751861/14712151
1483.61/1483.77	c cleaning 166015 clauses out of 332042 with flag 52399433/14879152
1503.38/1503.57	c cleaning 166998 clauses out of 334026 with flag 53098379/15047151
1521.72/1521.89	c cleaning 167997 clauses out of 336028 with flag 53790618/15216151
1540.28/1540.40	c cleaning 169000 clauses out of 338035 with flag 54482193/15386155
1557.35/1557.51	c cleaning 170009 clauses out of 340031 with flag 55129033/15557151
1576.20/1576.47	c cleaning 171004 clauses out of 342022 with flag 55778070/15729151
1595.16/1595.41	c cleaning 172002 clauses out of 344019 with flag 56436755/15902152
1613.81/1614.13	c cleaning 172986 clauses out of 346016 with flag 57101868/16076151
1633.46/1633.82	c cleaning 173990 clauses out of 348030 with flag 57760528/16251151
1652.42/1652.70	c cleaning 175009 clauses out of 350041 with flag 58403514/16427152
1670.48/1670.88	c cleaning 176007 clauses out of 352031 with flag 59085909/16604151
1689.14/1689.50	c cleaning 177006 clauses out of 354024 with flag 59764471/16782151
1707.61/1708.08	c cleaning 178003 clauses out of 356018 with flag 60429905/16961151
1726.96/1727.47	c cleaning 178995 clauses out of 358015 with flag 61108738/17141151
1746.02/1746.59	c cleaning 180006 clauses out of 360022 with flag 61796261/17322153
1765.12/1765.59	c cleaning 180990 clauses out of 362015 with flag 62508819/17504152
1785.08/1785.50	c cleaning 181997 clauses out of 364024 with flag 63219278/17687151
1804.64/1805.11	c cleaning 182989 clauses out of 366027 with flag 63930339/17871151
1826.29/1826.82	c cleaning 184014 clauses out of 368038 with flag 64653277/18056151
1844.95/1845.56	c cleaning 184991 clauses out of 370026 with flag 65365973/18242153
1864.42/1865.03	c cleaning 185997 clauses out of 372033 with flag 66080284/18429151
1886.01/1886.61	c cleaning 187002 clauses out of 374036 with flag 66776367/18617151
1908.64/1909.37	c cleaning 188007 clauses out of 376034 with flag 67479259/18806151
1929.80/1930.56	c cleaning 189008 clauses out of 378031 with flag 68183226/18996155
1950.26/1951.04	c cleaning 190005 clauses out of 380022 with flag 68894192/19187154
1972.11/1972.91	c cleaning 190997 clauses out of 382014 with flag 69616315/19379151
1992.67/1993.51	c cleaning 191990 clauses out of 384018 with flag 70345111/19572152
2014.79/2015.68	c cleaning 193006 clauses out of 386028 with flag 71054120/19766152
2036.55/2037.42	c cleaning 193988 clauses out of 388021 with flag 71801615/19961151
2060.90/2061.89	c cleaning 194994 clauses out of 390033 with flag 72536109/20157151
2082.45/2083.46	c cleaning 196010 clauses out of 392040 with flag 73245981/20354152
2104.02/2105.01	c cleaning 197003 clauses out of 394029 with flag 73933202/20552151
2124.67/2125.70	c cleaning 198000 clauses out of 396026 with flag 74667880/20751151
2147.15/2148.13	c cleaning 198993 clauses out of 398026 with flag 75416960/20951151
2168.90/2169.90	c cleaning 200005 clauses out of 400033 with flag 76170918/21152151
2190.36/2191.40	c cleaning 201014 clauses out of 402028 with flag 76889889/21354151
2214.92/2216.03	c cleaning 201997 clauses out of 404015 with flag 77618279/21557152
2236.67/2237.87	c cleaning 202990 clauses out of 406019 with flag 78379703/21761153
2258.93/2259.61	c cleaning 204008 clauses out of 408027 with flag 79165035/21966151
2281.57/2282.30	c cleaning 205003 clauses out of 410023 with flag 79931239/22172155
2306.43/2307.20	c cleaning 205994 clauses out of 412016 with flag 80648726/22379151
2328.38/2329.27	c cleaning 207003 clauses out of 414022 with flag 81390059/22587151
2352.10/2353.10	c cleaning 207993 clauses out of 416019 with flag 82162526/22796151
2377.76/2378.90	c cleaning 208998 clauses out of 418026 with flag 82916592/23006151
2402.04/2403.48	c cleaning 210010 clauses out of 420029 with flag 83625148/23217152
2426.83/2428.46	c cleaning 210991 clauses out of 422019 with flag 84413008/23429152
2452.17/2453.81	c cleaning 212000 clauses out of 424027 with flag 85179002/23642151
2475.52/2477.23	c cleaning 212996 clauses out of 426027 with flag 85975247/23856151
2499.16/2500.96	c cleaning 213998 clauses out of 428031 with flag 86759844/24071151
2526.03/2527.83	c cleaning 215013 clauses out of 430033 with flag 87504237/24287151
2550.78/2552.72	c cleaning 215996 clauses out of 432020 with flag 88280339/24504151
2575.43/2577.43	c cleaning 216978 clauses out of 434024 with flag 89058081/24722151
2602.47/2604.51	c cleaning 217999 clauses out of 436046 with flag 89844694/24941151
2627.22/2629.37	c cleaning 219012 clauses out of 438047 with flag 90609541/25161151
2651.78/2653.91	c cleaning 220006 clauses out of 440036 with flag 91367141/25382152
2675.53/2677.72	c cleaning 220997 clauses out of 442030 with flag 92218366/25604152
2701.54/2703.76	c cleaning 221995 clauses out of 444032 with flag 93039837/25827151
2726.41/2728.89	c cleaning 223007 clauses out of 446040 with flag 93880988/26051154
2751.05/2753.68	c cleaning 224000 clauses out of 448030 with flag 94739248/26276151
2777.50/2780.18	c cleaning 224995 clauses out of 450030 with flag 95595980/26502151
2806.13/2808.85	c cleaning 226002 clauses out of 452037 with flag 96441521/26729153
2829.89/2832.67	c cleaning 227001 clauses out of 454034 with flag 97319655/26957152
2859.42/2862.27	c cleaning 227989 clauses out of 456032 with flag 98142463/27186151
2887.55/2890.29	c cleaning 229010 clauses out of 458043 with flag 99005400/27416151
2913.79/2916.57	c cleaning 230013 clauses out of 460036 with flag 99803264/27647154
2940.94/2943.77	c cleaning 231006 clauses out of 462020 with flag 100603225/27879151
2966.48/2969.31	c cleaning 231993 clauses out of 464015 with flag 101380745/28112152
2993.03/2995.98	c cleaning 232997 clauses out of 466021 with flag 102167100/28346151
3019.30/3022.12	c cleaning 234004 clauses out of 468026 with flag 102989700/28581153
3047.63/3050.53	c cleaning 234995 clauses out of 470021 with flag 103832950/28817152
3074.57/3077.59	c cleaning 235991 clauses out of 472025 with flag 104676193/29054151
3102.72/3105.79	c cleaning 236999 clauses out of 474034 with flag 105551124/29292151
3130.26/3133.35	c cleaning 237995 clauses out of 476036 with flag 106420449/29531152
3157.70/3160.88	c cleaning 239001 clauses out of 478041 with flag 107284782/29771152
3185.40/3188.29	c cleaning 240012 clauses out of 480039 with flag 108081790/30012151
3214.14/3217.06	c cleaning 240993 clauses out of 482027 with flag 108878369/30254151
3240.17/3243.11	c cleaning 242001 clauses out of 484035 with flag 109760802/30497152
3267.50/3270.50	c cleaning 243012 clauses out of 486033 with flag 110576221/30741151
3299.52/3302.63	c cleaning 243986 clauses out of 488021 with flag 111372319/30986151
3326.51/3329.60	c cleaning 245014 clauses out of 490035 with flag 112224558/31232151
3358.04/3361.21	c cleaning 245984 clauses out of 492021 with flag 113129297/31479151
3388.98/3392.26	c cleaning 247007 clauses out of 494037 with flag 114097747/31727151
3418.83/3422.17	c cleaning 247998 clauses out of 496030 with flag 114962103/31976151
3446.16/3449.57	c cleaning 248989 clauses out of 498032 with flag 115913223/32226151
3476.80/3480.21	c cleaning 250009 clauses out of 500043 with flag 116790529/32477151
3509.34/3512.81	c cleaning 251002 clauses out of 502034 with flag 117697722/32729151
3545.00/3548.43	c cleaning 251996 clauses out of 504032 with flag 118608791/32982151
3575.09/3578.78	c cleaning 253004 clauses out of 506037 with flag 119563105/33236152
3600.09/3603.92	c starts		: 7316
3600.09/3603.92	c conflicts		: 33484104
3600.09/3603.92	c decisions		: 179800065
3600.09/3603.92	c propagations		: 12490616984
3600.09/3603.92	c inspects		: 19969439478
3600.09/3603.92	c shortcuts		: 0
3600.09/3603.92	c learnt literals	: 0
3600.09/3603.92	c learnt binary clauses	: 0
3600.09/3603.92	c learnt ternary clauses	: 0
3600.09/3603.92	c learnt constraints	: 33484104
3600.09/3603.92	c ignored constraints	: 0
3600.09/3603.92	c root simplifications	: 0
3600.09/3603.92	c removed literals (reason simplification)	: 0
3600.09/3603.92	c reason swapping (by a shorter reason)	: 0
3600.09/3603.92	c Calls to reduceDB	: 287
3600.09/3603.93	c Number of update (reduction) of LBD	: 17028851
3600.09/3603.93	c Imported unit clauses	: 0
3600.09/3603.93	c No decision after first conflict	: false
3600.09/3603.93	c number of reductions to clauses (during analyze)	: 0
3600.09/3603.93	c number of learned constraints concerned by reduction	: 0
3600.09/3603.93	c number of learning phase by resolution	: 0
3600.09/3603.93	c number of learning phase by cutting planes	: 0
3600.09/3603.93	c number of rounding to 1 operations	: 0
3600.09/3603.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3603.93	c number of reductions of the coefficients by power 2 	: 0
3600.09/3603.93	c number of right shift for reduction by power 2 	: 0
3600.09/3603.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3603.93	c number of ending skipping 	: 0
3600.09/3603.93	c number of internal skipping 	: 0
3600.09/3603.93	c number of derivation steps 	: 0
3600.09/3603.93	c number of skipped derivation steps 	: 0
3600.09/3603.93	c number of remaining unassigned 	: 0
3600.09/3603.93	c number of remaining assigned 	: 0
3600.09/3603.93	c number of falsified literals weakened from reason	: 0
3600.09/3603.93	c number of falsified literals weakened from conflict	: 0
3600.09/3603.93	c time for arithmetic operations	: 0
3600.09/3603.93	c minimum degree of deleted constraints	: null
3600.09/3603.93	c maximum degree of deleted constraints	: null
3600.09/3603.93	c number of deleted constraints	: 0
3600.09/3603.93	c speed (assignments/second)	: 3466002.521260475
3600.09/3603.93	c non guided choices	: 0
3600.31/3604.02	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 500985
3600.31/3604.02	s SATISFIABLE
3600.31/3604.02	c Found 7 solution(s)
3600.31/3604.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152 
3600.31/3604.03	c objective function=51995
3600.31/3604.03	c Total wall clock time (in seconds): 3603.912

Verifier Data 

OK	51995

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.101214 s]*
/proc/loadavg: 4.21 4.16 4.11 7/327 841798
/proc/meminfo: memFree=127769488/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=18975048 memory=64720 CPUtime=0.14 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 7235 0 0 0 13 1 0 0 20 0 18 0 163363125 19430449152 16180 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4743762 16180 5570 1 0 549346 0
[pid=841780/tid=841782] ppid=841777 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 5763 0 0 0 8 1 0 0 20 0 18 0 163363125 19430449152 16180 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163363128 19430449152 16180 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=18975048 memory=13846374089254215 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163363128 19430449152 16180 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64720 KiB

[startup+0.205527 s]*
/proc/loadavg: 4.21 4.16 4.11 7/328 841799
/proc/meminfo: memFree=127762872/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19041612 memory=71980 CPUtime=0.33 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 7819 0 0 0 32 1 0 0 20 0 19 0 163363125 19498610688 17995 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4760403 17995 5873 1 0 550030 0
[pid=841780/tid=841782] ppid=841777 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 6023 0 0 0 17 1 0 0 20 0 19 0 163363125 19498610688 17995 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19041612 memory=5714 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 17995 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19041612 memory=15252649461155485 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 17995 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163363143 19498610688 17995 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71980 KiB

[startup+0.311708 s]*
/proc/loadavg: 4.21 4.16 4.11 7/328 841799
/proc/meminfo: memFree=127755196/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19041612 memory=80084 CPUtime=0.53 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 10891 0 0 0 51 2 0 0 20 0 19 0 163363125 19498610688 20021 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4760403 20021 5889 1 0 551504 0
[pid=841780/tid=841782] ppid=841777 vsize=19041612 memory=-8671227445545116348 CPUtime=0.28 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 6080 0 0 0 27 1 0 0 20 0 19 0 163363125 19498610688 20021 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 20021 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 20021 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163363143 19498610688 20021 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80084 KiB

[startup+0.700988 s]
/proc/loadavg: 4.43 4.21 4.12 6/328 841799
/proc/meminfo: memFree=127746060/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19041612 memory=91132 CPUtime=1.27 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 12471 0 0 0 124 3 0 0 20 0 19 0 163363125 19498610688 22783 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4760403 22783 5905 1 0 552523 0
[pid=841780/tid=841782] ppid=841777 vsize=19041612 memory=41448 CPUtime=0.64 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 6102 0 0 0 63 1 0 0 20 0 19 0 163363125 19498610688 22783 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19041612 memory=12952 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 22783 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19041612 memory=2280 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 22783 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19041612 memory=39380 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163363143 19498610688 22783 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91132 KiB

[startup+1.50021 s]
/proc/loadavg: 4.43 4.21 4.12 5/328 841799
/proc/meminfo: memFree=127738272/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19041612 memory=96684 CPUtime=2.32 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 13805 0 0 0 229 3 0 0 20 0 19 0 163363125 19498610688 24171 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4760403 24171 5905 1 0 552857 0
[pid=841780/tid=841782] ppid=841777 vsize=19041612 memory=12952 CPUtime=1.43 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 6482 0 0 0 142 1 0 0 20 0 19 0 163363125 19498610688 24171 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 24171 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19041612 memory=2280 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 24171 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19041612 memory=39380 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163363143 19498610688 24171 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96684 KiB

[startup+3.10532 s]
/proc/loadavg: 4.43 4.21 4.12 5/329 841801
/proc/meminfo: memFree=127704240/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19041612 memory=105536 CPUtime=4.06 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 16753 0 0 0 402 4 0 0 20 0 19 0 163363125 19498610688 26384 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4760403 26384 5905 1 0 553020 0
[pid=841780/tid=841782] ppid=841777 vsize=19041612 memory=0 CPUtime=3.03 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 6695 0 0 0 302 1 0 0 20 0 19 0 163363125 19498610688 26384 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19041612 memory=-8671227445545116348 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 26384 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19041612 memory=12952 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 26384 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19041612 memory=2280 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163363143 19498610688 26384 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105536 KiB

[startup+6.3002 s]
/proc/loadavg: 4.40 4.20 4.12 5/329 841801
/proc/meminfo: memFree=127687656/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19041612 memory=124132 CPUtime=7.33 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 19943 0 0 0 729 4 0 0 20 0 19 0 163363125 19498610688 31033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4760403 31033 5905 1 0 553038 0
[pid=841780/tid=841782] ppid=841777 vsize=19041612 memory=12952 CPUtime=6.22 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 7271 0 0 0 620 2 0 0 20 0 19 0 163363125 19498610688 31033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19041612 memory=2280 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 31033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 31033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19041612 memory=96684 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163363143 19498610688 31033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 124132 KiB

[startup+12.7002 s]
/proc/loadavg: 4.37 4.20 4.12 5/331 841807
/proc/meminfo: memFree=127654004/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19041612 memory=159060 CPUtime=13.78 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 23914 0 0 0 1373 5 0 0 20 0 19 0 163363125 19498610688 39765 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4760403 39765 5911 1 0 553038 0
[pid=841780/tid=841782] ppid=841777 vsize=19041612 memory=96684 CPUtime=12.6 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 8216 0 0 0 1258 2 0 0 20 0 19 0 163363125 19498610688 39765 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19041612 memory=152916 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 39765 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19041612 memory=140620 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163363128 19498610688 39765 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19041612 memory=11648 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163363143 19498610688 39765 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159060 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.19 4.12 5/332 841809
/proc/meminfo: memFree=127604228/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19108176 memory=188132 CPUtime=26.57 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 26402 0 0 0 2651 6 0 0 20 0 20 0 163363125 19566772224 47033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4777044 47033 5943 1 0 553327 0
[pid=841780/tid=841782] ppid=841777 vsize=19108176 memory=5544 CPUtime=25.36 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 8951 0 0 0 2533 3 0 0 20 0 20 0 163363125 19566772224 47033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 47033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19108176 memory=188132 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 47033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163363143 19566772224 47033 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 26.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188132 KiB

[startup+51.1056 s]
/proc/loadavg: 4.24 4.19 4.12 5/332 841813
/proc/meminfo: memFree=127486064/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19108176 memory=206920 CPUtime=52.12 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 29782 0 0 0 5204 8 0 0 20 0 20 0 163363125 19566772224 51730 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4777044 51730 5943 1 0 553327 0

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

/proc/meminfo: memFree=120120656/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19108176 memory=2174920 CPUtime=3279.27 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 159117 0 0 0 327817 110 0 0 20 0 20 0 163363125 19566772224 543730 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4777044 543730 5974 1 0 556030 0
[pid=841780/tid=841782] ppid=841777 vsize=19108176 memory=2174920 CPUtime=3269.02 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 66804 0 0 0 326881 21 0 0 20 0 20 0 163363125 19566772224 543730 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543730 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19108176 memory=2174920 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 3543 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543730 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19108176 memory=2174920 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163363143 19566772224 543730 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 3279.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.15 5/332 843597
/proc/meminfo: memFree=120101624/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19108176 memory=2174928 CPUtime=3339.18 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 161376 0 0 0 333808 110 0 0 20 0 20 0 163363125 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4777044 543732 5974 1 0 556030 0
[pid=841780/tid=841782] ppid=841777 vsize=19108176 memory=1980 CPUtime=3328.81 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 67518 0 0 0 332860 21 0 0 20 0 20 0 163363125 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19108176 memory=2174928 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19108176 memory=2174928 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 3591 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163363143 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 3339.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/332 843607
/proc/meminfo: memFree=120101152/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19108176 memory=2174928 CPUtime=3399.06 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 162420 0 0 0 339794 112 0 0 20 0 20 0 163363125 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4777044 543732 5974 1 0 556030 0
[pid=841780/tid=841782] ppid=841777 vsize=19108176 memory=2174928 CPUtime=3388.66 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 68339 0 0 0 338845 21 0 0 20 0 20 0 163363125 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19108176 memory=41448 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19108176 memory=28492 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 3704 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19108176 memory=2174928 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163363143 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 3399.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/332 843619
/proc/meminfo: memFree=120100832/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19108176 memory=2174928 CPUtime=3458.94 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 163594 0 0 0 345780 114 0 0 20 0 20 0 163363125 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4777044 543732 5974 1 0 556030 0
[pid=841780/tid=841782] ppid=841777 vsize=19108176 memory=2174928 CPUtime=3448.52 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 69277 0 0 0 344831 21 0 0 20 0 20 0 163363125 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 3792 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19108176 memory=2174928 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163363143 19566772224 543732 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 3458.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/332 843633
/proc/meminfo: memFree=120100292/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19108176 memory=2174956 CPUtime=3518.81 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 164844 0 0 0 351766 115 0 0 20 0 20 0 163363125 19566772224 543739 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4777044 543739 5974 1 0 556038 0
[pid=841780/tid=841782] ppid=841777 vsize=19108176 memory=2174928 CPUtime=3508.38 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 70336 0 0 0 350816 22 0 0 20 0 20 0 163363125 19566772224 543739 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19108176 memory=2174956 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543739 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19108176 memory=2174932 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 3811 0 0 0 0 0 0 0 20 0 20 0 163363128 19566772224 543739 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19108176 memory=2174956 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163363143 19566772224 543739 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 3518.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174956 KiB

[startup+3582.3 s]
/proc/loadavg: 3.27 3.91 4.06 3/281 843711
/proc/meminfo: memFree=124053420/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19174740 memory=2178248 CPUtime=3578.65 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 168129 0 0 0 357748 117 0 0 20 0 21 0 163363125 19634933760 544562 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4793685 544562 5974 1 0 557117 0
[pid=841780/tid=841782] ppid=841777 vsize=19174740 memory=15996 CPUtime=3567.64 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 70994 0 0 0 356742 22 0 0 20 0 21 0 163363125 19634933760 544562 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19174740 memory=2280 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163363128 19634933760 544562 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19174740 memory=2178248 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 21 0 163363128 19634933760 544562 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19174740 memory=-7521705885654279290 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 163363143 19634933760 544562 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 3578.65 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2178248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.9 s]
/proc/loadavg: 2.91 3.78 4.01 2/255 843748
/proc/meminfo: memFree=126202540/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19174740 memory=2178264 CPUtime=3600.09 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 168711 0 0 0 359892 117 0 0 20 0 21 0 163363125 19634933760 544566 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4793685 544566 5974 1 0 557119 0
[pid=841780/tid=841782] ppid=841777 vsize=19174740 memory=15996 CPUtime=3589.04 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 71222 0 0 0 358882 22 0 0 20 0 21 0 163363125 19634933760 544566 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19174740 memory=3756202955722422303 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163363128 19634933760 544566 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19174740 memory=2178248 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 21 0 163363128 19634933760 544566 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841799] ppid=841777 vsize=19174740 memory=2178264 CPUtime=0 cores=4,6
/proc/841780/task/841799/stat : 841799 (Timer-0) S 841777 841780 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 163363143 19634933760 544566 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 2178264 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.16 s, system=1.1908 s

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

[startup+3604.02 s]*
/proc/loadavg: 2.91 3.78 4.01 4/256 843751
/proc/meminfo: memFree=126201868/131524600 swapFree=131071996/131071996
[pid=841780] ppid=841777 vsize=19374432 memory=2179012 CPUtime=3600.31 cores=4,6
/proc/841780/stat : 841780 (java) S 841777 841780 837236 0 -1 1077936128 171719 0 0 0 359914 117 0 0 20 0 22 0 163363125 19839418368 544753 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
/proc/841780/statm: 4843608 544753 5973 1 0 558040 0
[pid=841780/tid=841782] ppid=841777 vsize=19374432 memory=-8671227445545116348 CPUtime=3589.14 cores=4,6
/proc/841780/task/841782/stat : 841782 (java) R 841777 841780 837236 0 -1 4194368 71473 0 0 0 358892 22 0 0 20 0 22 0 163363125 19839418368 544753 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841791] ppid=841777 vsize=19374432 memory=-7521705885654279290 CPUtime=0 cores=4,6
/proc/841780/task/841791/stat : 841791 (Finalizer) S 841777 841780 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 163363128 19839418368 544753 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=841798] ppid=841777 vsize=19374432 memory=5412 CPUtime=0 cores=4,6
/proc/841780/task/841798/stat : 841798 (Common-Cleaner) S 841777 841780 837236 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 22 0 163363128 19839418368 544753 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
[pid=841780/tid=843750] ppid=841777 vsize=19374432 memory=2756 CPUtime=0.08 cores=4,6
/proc/841780/task/843750/stat : 843750 (Thread-0) R 841777 841780 837236 0 -1 4194368 341 0 0 0 8 0 0 0 20 0 22 0 163723516 19839418368 544753 134679101440 94610289655808 94610289659504 140723835669456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94610289667320 94610289668112 94610320453632 140723835671559 140723835671649 140723835671649 140723835678664 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 2179012 KiB

Child status: 143

Real time (s): 3604.04
CPU time (s): 3600.35
CPU user time (s): 3599.16
CPU system time (s): 1.1908
CPU usage (%): 99.8976
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 2179012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 1.1908
maximum resident set size= 2179824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104332
involuntary context switches= 5014


# summary of solver processes directly reported to runsolver:
#   pid: 841780
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3599.16
#   total CPU system time (s): 1.1908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44792 second user time and 16.9996 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-16 08:39:54
IDJOB=4432341
IDBENCH=148153
IDSOLVER=3058
FILE ID=nodeC023/4432341-1721111982
RUNJOBID= nodeC023-1721104780-837247
SLURM_JOB_ID= 7505629
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432341-1721111982/watcher-4432341-1721111982 -o /tmp/evaluation-result-4432341-1721111982/solver-4432341-1721111982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721104780-837247 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432341-1721111982.opb

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

MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=83774738

nodeC023.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		: 3662.480
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.61
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		: 3678.915
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.48
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		: 3617.575
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.61
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		: 3600.119
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.48
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		: 3625.345
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.61
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		: 3682.093
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.48
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		: 3638.998
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.61
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.898
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127815900 kB
MemAvailable:   129243400 kB
Buffers:          420348 kB
Cached:          1835064 kB
SwapCached:            0 kB
Active:           754900 kB
Inactive:        2338360 kB
Active(anon):       1572 kB
Inactive(anon):   873996 kB
Active(file):     753328 kB
Inactive(file):  1464364 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2012 kB
Writeback:             0 kB
AnonPages:        837888 kB
Mapped:           124308 kB
Shmem:             37720 kB
KReclaimable:      99264 kB
Slab:             206412 kB
SReclaimable:      99264 kB
SUnreclaim:       107148 kB
KernelStack:        4992 kB
PageTables:        11784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7337112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61824 kB
HardwareCorrupted:     0 kB
AnonHugePages:    579584 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:      203476 kB
DirectMap2M:    18444288 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC023 at 2024-07-16 09:39:58