Trace number 4502608

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 2025-06-06OPT122 2059.44 2060.16

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
MD5SUMfe13d2dbd64f41a692445fbdcafba3bd
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 benchmark122
Best CPU time to get the best result obtained on this benchmark28.2274
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1170
Number of constraints which are clauses1143
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 666
Biggest coefficient in the objective function 80
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 18684
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 18684
Number of bits of the biggest sum of numbers15
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.10	c java.vm.version	22.0.1+8-16
0.09/0.10	c java.vm.vendor	Oracle Corporation
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		22.0.1
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.15	c Pseudo Boolean Optimization by upper bound
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Glucose 2.1 dynamic restart strategy
0.09/0.15	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.09/0.15	c timeout=2147483s
0.09/0.15	c DB Simplification allowed=false
0.09/0.15	c Listener: none
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-4502608-1751434764.opb
0.09/0.15	c reading problem ... 
0.09/0.15	c  objective function found
0.29/0.21	c ... done. Wall clock time 0.063s.
0.29/0.21	c declared #vars     792
0.29/0.21	c #constraints  1188
0.29/0.21	c constraints type 
0.29/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 27
0.29/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1161
0.29/0.21	c 1188 constraints processed.
0.29/0.23	c objective function length is 666 literals
0.29/0.25	c SATISFIABLE
0.29/0.25	c OPTIMIZING...
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.104
0.29/0.25	o 227
0.29/0.28	c Got one! Elapsed wall clock time (in seconds):0.128
0.29/0.28	o 222
1.44/0.81	c cleaning 2617 clauses out of 5238 with flag 17690/5238
1.96/1.15	c cleaning 4308 clauses out of 8624 with flag 41200/11241
2.45/1.50	c cleaning 5657 clauses out of 11314 with flag 70228/18239
2.94/1.90	c cleaning 6820 clauses out of 13656 with flag 102771/26238
3.39/2.35	c cleaning 7917 clauses out of 15836 with flag 136386/35238
3.69/2.67	c Got one! Elapsed wall clock time (in seconds):2.526
3.69/2.67	o 217
3.69/2.68	c Got one! Elapsed wall clock time (in seconds):2.531
3.69/2.68	o 197
3.69/2.68	c Got one! Elapsed wall clock time (in seconds):2.534
3.69/2.68	o 192
4.00/2.95	c cleaning 9798 clauses out of 19595 with flag 18465/46914
4.29/3.28	c cleaning 7895 clauses out of 15795 with flag 39924/52912
4.53/3.43	c Got one! Elapsed wall clock time (in seconds):3.28
4.53/3.43	o 187
4.69/3.56	c cleaning 6818 clauses out of 13635 with flag 11702/58647
5.00/3.83	c cleaning 6407 clauses out of 12817 with flag 37014/64647
5.31/4.18	c cleaning 6690 clauses out of 13410 with flag 68160/71647
5.70/4.55	c cleaning 7357 clauses out of 14721 with flag 101894/79648
6.22/5.01	c cleaning 8175 clauses out of 16364 with flag 141701/88648
6.61/5.49	c cleaning 9088 clauses out of 18188 with flag 186776/98647
7.21/6.04	c cleaning 10042 clauses out of 20100 with flag 232113/109647
7.80/6.65	c cleaning 11028 clauses out of 22060 with flag 285837/121649
8.53/7.32	c cleaning 12016 clauses out of 24031 with flag 339739/134648
9.35/8.12	c cleaning 12994 clauses out of 26014 with flag 396071/148647
10.16/8.96	c cleaning 14007 clauses out of 28020 with flag 463775/163647
10.65/9.40	c Got one! Elapsed wall clock time (in seconds):9.25
10.65/9.40	o 177
10.88/9.67	c cleaning 13398 clauses out of 26810 with flag 21015/176444
11.28/10.01	c cleaning 9705 clauses out of 19412 with flag 48048/182444
11.57/10.37	c cleaning 8350 clauses out of 16707 with flag 74768/189444
11.97/10.78	c cleaning 8174 clauses out of 16358 with flag 104693/197445
12.47/11.28	c cleaning 8581 clauses out of 17183 with flag 138982/206444
13.11/11.83	c cleaning 9293 clauses out of 18602 with flag 176659/216444
13.71/12.43	c cleaning 10146 clauses out of 20312 with flag 223379/227447
14.31/13.09	c cleaning 11072 clauses out of 22164 with flag 271118/239445
15.01/13.76	c cleaning 12038 clauses out of 24091 with flag 321286/252444
15.81/14.50	c cleaning 13021 clauses out of 26053 with flag 378783/266444
16.61/15.35	c cleaning 14006 clauses out of 28032 with flag 444890/281444
17.50/16.29	c cleaning 15009 clauses out of 30026 with flag 515951/297444
18.50/17.24	c Got one! Elapsed wall clock time (in seconds):17.085
18.50/17.24	o 167
18.81/17.53	c cleaning 17866 clauses out of 35754 with flag 16729/318181
19.10/17.88	c cleaning 11935 clauses out of 23887 with flag 38728/324180
19.50/18.28	c cleaning 9468 clauses out of 18952 with flag 66416/331180
20.00/18.74	c cleaning 8740 clauses out of 17484 with flag 100272/339180
20.50/19.25	c cleaning 8870 clauses out of 17744 with flag 138776/348180
21.10/19.84	c cleaning 9436 clauses out of 18875 with flag 182069/358181
21.70/20.44	c cleaning 10197 clauses out of 20438 with flag 225630/369180
22.30/21.08	c cleaning 11119 clauses out of 22241 with flag 274905/381180
23.09/21.80	c cleaning 12054 clauses out of 24122 with flag 328593/394180
23.89/22.63	c cleaning 13033 clauses out of 26068 with flag 385272/408180
24.69/23.45	c cleaning 14017 clauses out of 28036 with flag 442699/423181
25.59/24.34	c cleaning 14996 clauses out of 30018 with flag 507808/439180
26.59/25.31	c cleaning 16010 clauses out of 32022 with flag 588564/456180
27.69/26.45	c cleaning 17004 clauses out of 34012 with flag 660657/474180
28.89/27.64	c cleaning 18001 clauses out of 36008 with flag 737671/493180
30.18/28.91	c cleaning 18998 clauses out of 38009 with flag 821466/513182
31.58/30.30	c cleaning 19999 clauses out of 40009 with flag 901975/534180
32.98/31.80	c cleaning 21003 clauses out of 42010 with flag 982224/556180
34.57/33.33	c cleaning 21992 clauses out of 44007 with flag 1069710/579180
36.07/34.88	c cleaning 23004 clauses out of 46015 with flag 1163726/603180
37.77/36.58	c cleaning 24005 clauses out of 48013 with flag 1263868/628182
39.56/38.36	c cleaning 25003 clauses out of 50007 with flag 1376523/654181
41.48/40.28	c cleaning 25999 clauses out of 52004 with flag 1500854/681181
43.58/42.37	c cleaning 26995 clauses out of 54005 with flag 1623483/709181
45.57/44.32	c cleaning 27997 clauses out of 56009 with flag 1734988/738180
47.67/46.41	c cleaning 28990 clauses out of 58012 with flag 1853248/768180
49.86/48.67	c cleaning 30005 clauses out of 60022 with flag 1967190/799180
52.26/51.03	c cleaning 31004 clauses out of 62020 with flag 2093420/831183
54.55/53.32	c cleaning 32001 clauses out of 64013 with flag 2220158/864180
56.97/55.76	c cleaning 33006 clauses out of 66013 with flag 2362408/898181
59.56/58.33	c cleaning 34002 clauses out of 68007 with flag 2505784/933181
62.06/60.83	c cleaning 34998 clauses out of 70008 with flag 2659076/969184
64.65/63.41	c cleaning 35992 clauses out of 72006 with flag 2815897/1006180
67.45/66.27	c cleaning 37002 clauses out of 74014 with flag 2967787/1044180
70.47/69.25	c cleaning 38005 clauses out of 76013 with flag 3127608/1083181
73.46/72.21	c cleaning 39003 clauses out of 78008 with flag 3302600/1123181
76.45/75.21	c cleaning 39988 clauses out of 80004 with flag 3480458/1164180
79.65/78.43	c cleaning 41004 clauses out of 82017 with flag 3648689/1206181
82.94/81.77	c cleaning 42000 clauses out of 84012 with flag 3820815/1249180
84.84/83.69	c Got one! Elapsed wall clock time (in seconds):83.539
84.84/83.69	o 147
85.37/84.10	c cleaning 35695 clauses out of 71400 with flag 20522/1278568
85.80/84.56	c cleaning 20839 clauses out of 41705 with flag 45589/1284568
86.30/85.05	c cleaning 13929 clauses out of 27869 with flag 73436/1291571
86.79/85.55	c cleaning 10961 clauses out of 21936 with flag 106168/1299567
87.40/86.11	c cleaning 9977 clauses out of 19978 with flag 147323/1308570
87.99/86.78	c cleaning 9994 clauses out of 19999 with flag 194185/1318568
88.69/87.48	c cleaning 10497 clauses out of 21005 with flag 243707/1329568
89.49/88.26	c cleaning 11244 clauses out of 22510 with flag 290926/1341570
90.39/89.11	c cleaning 12125 clauses out of 24263 with flag 340863/1354567
91.39/90.10	c cleaning 13067 clauses out of 26140 with flag 397265/1368569
92.48/91.20	c cleaning 14033 clauses out of 28071 with flag 459949/1383567
93.58/92.30	c cleaning 15018 clauses out of 30039 with flag 522718/1399568
94.68/93.46	c cleaning 16005 clauses out of 32023 with flag 591994/1416570
95.98/94.74	c cleaning 17001 clauses out of 34015 with flag 667749/1434567
97.38/96.11	c cleaning 18004 clauses out of 36014 with flag 741022/1453567
98.77/97.50	c cleaning 19004 clauses out of 38011 with flag 829145/1473568
100.29/99.07	c cleaning 19991 clauses out of 40006 with flag 918150/1494567
101.88/100.66	c cleaning 21009 clauses out of 42018 with flag 1017480/1516570
103.47/102.23	c cleaning 21998 clauses out of 44006 with flag 1113778/1539567
104.67/103.40	c Got one! Elapsed wall clock time (in seconds):103.255
104.67/103.40	o 137
105.08/103.84	c cleaning 21886 clauses out of 43779 with flag 18032/1561338
105.58/104.33	c cleaning 13933 clauses out of 27892 with flag 40847/1567337
106.08/104.86	c cleaning 10473 clauses out of 20959 with flag 68344/1574337
106.67/105.49	c cleaning 9236 clauses out of 18486 with flag 99305/1582337
107.38/106.14	c cleaning 9121 clauses out of 18250 with flag 131160/1591337
108.07/106.84	c cleaning 9565 clauses out of 19132 with flag 166890/1601340
108.77/107.57	c cleaning 10270 clauses out of 20564 with flag 212781/1612337
109.57/108.34	c cleaning 11142 clauses out of 22296 with flag 265570/1624339
110.47/109.22	c cleaning 12068 clauses out of 24153 with flag 323346/1637338
111.47/110.25	c cleaning 13040 clauses out of 26084 with flag 375735/1651337
112.56/111.31	c cleaning 14013 clauses out of 28045 with flag 437188/1666338
113.57/112.34	c cleaning 15014 clauses out of 30032 with flag 504410/1682338
114.78/113.52	c cleaning 16008 clauses out of 32017 with flag 579795/1699337
116.08/114.80	c cleaning 17008 clauses out of 34015 with flag 648648/1717343
117.38/116.18	c cleaning 17994 clauses out of 36001 with flag 725828/1736337
118.87/117.63	c cleaning 19003 clauses out of 38007 with flag 813059/1756337
120.47/119.26	c cleaning 19994 clauses out of 40005 with flag 906898/1777338
122.07/120.81	c cleaning 21001 clauses out of 42010 with flag 1000671/1799337
123.67/122.48	c cleaning 21998 clauses out of 44009 with flag 1092977/1822337
125.57/124.39	c cleaning 23004 clauses out of 46012 with flag 1195604/1846338
127.88/126.41	c cleaning 24003 clauses out of 48007 with flag 1301396/1871337
129.94/128.37	c cleaning 24998 clauses out of 50007 with flag 1405419/1897340
132.08/130.36	c cleaning 26001 clauses out of 52007 with flag 1524872/1924338
134.17/132.44	c cleaning 27003 clauses out of 54006 with flag 1642489/1952338
136.27/134.58	c cleaning 27986 clauses out of 56002 with flag 1752354/1981337
138.36/136.63	c cleaning 29001 clauses out of 58016 with flag 1880470/2011337
140.56/138.89	c cleaning 29997 clauses out of 60015 with flag 2015541/2042337
143.05/141.35	c cleaning 31003 clauses out of 62018 with flag 2145765/2074337
145.67/143.99	c cleaning 31998 clauses out of 64016 with flag 2283293/2107338
148.56/146.80	c cleaning 33009 clauses out of 66017 with flag 2412067/2141337
151.25/149.53	c cleaning 33996 clauses out of 68009 with flag 2548609/2176338
152.15/150.45	c Got one! Elapsed wall clock time (in seconds):150.299
152.15/150.45	o 132
152.55/150.88	c cleaning 25848 clauses out of 51721 with flag 19434/2194046
153.06/151.34	c cleaning 15930 clauses out of 31874 with flag 42536/2200047
153.66/151.92	c cleaning 11466 clauses out of 22943 with flag 67954/2207046
154.26/152.51	c cleaning 9736 clauses out of 19483 with flag 99743/2215052
154.76/153.06	c Got one! Elapsed wall clock time (in seconds):152.912
154.76/153.06	o 127
155.15/153.42	c cleaning 11359 clauses out of 22725 with flag 18212/2228030
155.55/153.85	c cleaning 8658 clauses out of 17366 with flag 42746/2234030
156.05/154.37	c cleaning 7847 clauses out of 15708 with flag 72296/2241030
156.65/154.90	c cleaning 7921 clauses out of 15861 with flag 102287/2249030
157.15/155.45	c cleaning 8470 clauses out of 16943 with flag 140266/2258033
157.85/156.13	c cleaning 9231 clauses out of 18470 with flag 176326/2268030
158.55/156.84	c cleaning 10110 clauses out of 20240 with flag 216579/2279031
159.45/157.71	c cleaning 11052 clauses out of 22131 with flag 265938/2291032
160.24/158.54	c cleaning 12034 clauses out of 24078 with flag 317530/2304031
161.14/159.44	c cleaning 13018 clauses out of 26043 with flag 377645/2318030
162.14/160.47	c cleaning 14007 clauses out of 28025 with flag 435963/2333030
163.34/161.63	c cleaning 15005 clauses out of 30019 with flag 497309/2349031
164.66/162.92	c cleaning 16006 clauses out of 32013 with flag 565761/2366030
166.05/164.35	c cleaning 17001 clauses out of 34007 with flag 640969/2384030
167.35/165.66	c cleaning 17997 clauses out of 36007 with flag 719905/2403031
168.65/167.00	c cleaning 19001 clauses out of 38012 with flag 802029/2423033
170.25/168.51	c cleaning 19993 clauses out of 40008 with flag 882218/2444030
171.75/170.04	c cleaning 20996 clauses out of 42015 with flag 971212/2466030
173.44/171.78	c cleaning 22003 clauses out of 44020 with flag 1065540/2489031
175.23/173.54	c cleaning 22988 clauses out of 46019 with flag 1170072/2513033
177.03/175.35	c cleaning 24004 clauses out of 48028 with flag 1277005/2538030
178.93/177.22	c cleaning 25002 clauses out of 50024 with flag 1386086/2564030
180.92/179.21	c cleaning 26003 clauses out of 52023 with flag 1497036/2591031
182.83/181.18	c cleaning 27001 clauses out of 54020 with flag 1614114/2619031
185.02/183.36	c cleaning 28006 clauses out of 56018 with flag 1739528/2648030
187.33/185.68	c cleaning 28998 clauses out of 58012 with flag 1863949/2678030
189.93/188.22	c cleaning 30001 clauses out of 60016 with flag 1998931/2709032
192.32/190.64	c cleaning 30997 clauses out of 62013 with flag 2131457/2741030
194.92/193.21	c cleaning 32001 clauses out of 64016 with flag 2263138/2774030
197.51/195.80	c cleaning 33006 clauses out of 66015 with flag 2389887/2808030
200.11/198.44	c cleaning 33997 clauses out of 68009 with flag 2531439/2843030
202.91/201.26	c cleaning 34995 clauses out of 70016 with flag 2670077/2879034
205.81/204.15	c cleaning 36003 clauses out of 72017 with flag 2814846/2916030
208.80/207.12	c cleaning 37001 clauses out of 74015 with flag 2962654/2954031
211.99/210.34	c cleaning 38002 clauses out of 76015 with flag 3132198/2993032
215.12/213.47	c cleaning 38996 clauses out of 78011 with flag 3304440/3033030
218.31/216.69	c cleaning 39990 clauses out of 80015 with flag 3474063/3074030
221.71/220.02	c cleaning 40999 clauses out of 82025 with flag 3642693/3116030
224.99/223.35	c cleaning 42009 clauses out of 84026 with flag 3821515/3159030
228.48/226.80	c cleaning 43001 clauses out of 86018 with flag 4002686/3203031
231.88/230.28	c cleaning 44003 clauses out of 88017 with flag 4186634/3248031
235.57/233.96	c cleaning 44993 clauses out of 90016 with flag 4381016/3294033
239.26/237.68	c cleaning 46007 clauses out of 92021 with flag 4582420/3341031
243.30/241.65	c cleaning 46999 clauses out of 94013 with flag 4789677/3389030
247.09/245.44	c cleaning 47992 clauses out of 96015 with flag 4991551/3438031
250.98/249.31	c cleaning 49011 clauses out of 98023 with flag 5193224/3488031
255.27/253.61	c cleaning 49993 clauses out of 100012 with flag 5419818/3539031
259.67/258.01	c cleaning 51000 clauses out of 102019 with flag 5631729/3591031
264.15/262.57	c cleaning 52002 clauses out of 104020 with flag 5848012/3644032
268.84/267.23	c cleaning 53005 clauses out of 106018 with flag 6065826/3698032
273.63/272.03	c cleaning 54006 clauses out of 108012 with flag 6294187/3753031
278.41/276.83	c cleaning 54993 clauses out of 110005 with flag 6519544/3809030
283.29/281.74	c cleaning 55999 clauses out of 112012 with flag 6750695/3866030
288.32/286.69	c cleaning 57002 clauses out of 114013 with flag 6978987/3924030
293.10/291.44	c cleaning 57988 clauses out of 116012 with flag 7213848/3983031
297.90/296.29	c cleaning 59002 clauses out of 118024 with flag 7459721/4043031
302.88/301.29	c cleaning 60010 clauses out of 120022 with flag 7731004/4104031
308.17/306.59	c cleaning 60999 clauses out of 122013 with flag 7988683/4166032
313.56/311.99	c cleaning 62006 clauses out of 124012 with flag 8256935/4229030
318.94/317.30	c cleaning 62998 clauses out of 126008 with flag 8519669/4293032
324.23/322.63	c cleaning 64000 clauses out of 128008 with flag 8788007/4358030
329.76/328.19	c cleaning 64985 clauses out of 130010 with flag 9068656/4424032
335.54/333.96	c cleaning 66003 clauses out of 132023 with flag 9351138/4491030
341.23/339.67	c cleaning 67013 clauses out of 134025 with flag 9643160/4559035
347.51/345.91	c cleaning 67994 clauses out of 136010 with flag 9933586/4628033
353.70/352.13	c cleaning 69002 clauses out of 138017 with flag 10207375/4698034
360.18/358.67	c cleaning 70003 clauses out of 140017 with flag 10507390/4769036
366.76/365.29	c cleaning 71000 clauses out of 142011 with flag 10811851/4841033
373.14/371.67	c cleaning 72002 clauses out of 144014 with flag 11112029/4914036
379.63/378.14	c cleaning 73000 clauses out of 146007 with flag 11440755/4988031
386.21/384.79	c cleaning 74001 clauses out of 148006 with flag 11761165/5063030
392.89/391.42	c cleaning 75004 clauses out of 150008 with flag 12082063/5139033
399.93/398.48	c cleaning 75993 clauses out of 152001 with flag 12398033/5216030
407.18/405.67	c cleaning 77005 clauses out of 154009 with flag 12722572/5294031
414.47/412.99	c cleaning 78002 clauses out of 156004 with flag 13075202/5373031
422.35/420.82	c cleaning 78994 clauses out of 158004 with flag 13417366/5453033
429.73/428.29	c cleaning 79996 clauses out of 160008 with flag 13808397/5534031
437.61/436.15	c cleaning 80999 clauses out of 162015 with flag 14177699/5616034
445.19/443.76	c cleaning 81999 clauses out of 164012 with flag 14530141/5699030
452.97/451.55	c cleaning 82998 clauses out of 166013 with flag 14886670/5783030
461.22/459.71	c cleaning 84001 clauses out of 168015 with flag 15255893/5868030
469.51/468.04	c cleaning 85002 clauses out of 170016 with flag 15623441/5954032
478.19/476.76	c cleaning 86003 clauses out of 172015 with flag 16003945/6041033
486.77/485.31	c cleaning 87004 clauses out of 174009 with flag 16384491/6129030
495.46/494.07	c cleaning 87998 clauses out of 176006 with flag 16769062/6218031
504.34/502.94	c cleaning 88993 clauses out of 178007 with flag 17176694/6308030
513.13/511.73	c cleaning 90005 clauses out of 180014 with flag 17579830/6399030
522.21/520.83	c cleaning 91000 clauses out of 182010 with flag 18000962/6491031
531.19/529.88	c cleaning 91996 clauses out of 184011 with flag 18426441/6584032
540.63/539.24	c cleaning 93007 clauses out of 186017 with flag 18884786/6678034
549.91/548.59	c cleaning 93999 clauses out of 188006 with flag 19311638/6773030
559.79/558.41	c cleaning 95002 clauses out of 190011 with flag 19768218/6869034
570.07/568.78	c cleaning 95993 clauses out of 192005 with flag 20262814/6966030
580.15/578.85	c cleaning 97002 clauses out of 194013 with flag 20749378/7064031
590.23/588.90	c cleaning 97993 clauses out of 196011 with flag 21195520/7163031
601.10/599.89	c cleaning 99007 clauses out of 198017 with flag 21736244/7263030
611.69/610.41	c cleaning 100003 clauses out of 200013 with flag 22238240/7364033
622.16/620.82	c cleaning 100996 clauses out of 202007 with flag 22746986/7466030
632.94/631.60	c cleaning 101987 clauses out of 204011 with flag 23275528/7569030
643.51/642.28	c cleaning 103010 clauses out of 206025 with flag 23740433/7673031
654.89/653.65	c cleaning 103998 clauses out of 208015 with flag 24217341/7778031
665.56/664.38	c cleaning 105000 clauses out of 210017 with flag 24687252/7884031
676.83/675.61	c cleaning 106004 clauses out of 212016 with flag 25211819/7991030
688.50/687.36	c cleaning 106996 clauses out of 214012 with flag 25779734/8099030
700.17/699.03	c cleaning 108004 clauses out of 216020 with flag 26376342/8208034
712.54/711.42	c cleaning 108996 clauses out of 218012 with flag 26929119/8318030
725.00/723.71	c cleaning 110003 clauses out of 220017 with flag 27504677/8429031
737.87/736.67	c cleaning 110996 clauses out of 222013 with flag 28090825/8541030
750.34/749.19	c cleaning 112003 clauses out of 224018 with flag 28652890/8654031
763.31/762.16	c cleaning 112997 clauses out of 226014 with flag 29251937/8768030
776.56/775.40	c cleaning 113988 clauses out of 228017 with flag 29824844/8883030
789.33/788.25	c cleaning 115012 clauses out of 230029 with flag 30351371/8999030
801.50/800.41	c cleaning 116004 clauses out of 232017 with flag 30854332/9116030
814.36/813.39	c cleaning 117003 clauses out of 234013 with flag 31395010/9234030
827.52/826.52	c cleaning 117995 clauses out of 236010 with flag 31991470/9353030
840.89/839.99	c cleaning 118994 clauses out of 238019 with flag 32572243/9473034
854.95/854.04	c cleaning 120007 clauses out of 240023 with flag 33126208/9594032
868.02/867.18	c cleaning 120999 clauses out of 242014 with flag 33683956/9716030
881.78/880.90	c cleaning 122002 clauses out of 244015 with flag 34240500/9839030
895.74/894.99	c cleaning 122999 clauses out of 246013 with flag 34793912/9963030
910.40/909.68	c cleaning 123996 clauses out of 248015 with flag 35415192/10088031
925.36/924.63	c cleaning 125008 clauses out of 250020 with flag 36074097/10214032
940.12/939.46	c cleaning 125996 clauses out of 252010 with flag 36664347/10341030
955.18/954.55	c cleaning 126997 clauses out of 254017 with flag 37273370/10469033
970.45/969.72	c cleaning 128007 clauses out of 256019 with flag 37882361/10598032
984.92/984.25	c cleaning 128996 clauses out of 258010 with flag 38496326/10728030
1000.38/999.70	c cleaning 130001 clauses out of 260016 with flag 39146305/10859032
1015.35/1014.78	c cleaning 130999 clauses out of 262013 with flag 39759909/10991030
1030.31/1029.78	c cleaning 132002 clauses out of 264015 with flag 40366004/11124031
1046.16/1045.61	c cleaning 132985 clauses out of 266012 with flag 41010055/11258030
1061.63/1061.18	c cleaning 134008 clauses out of 268027 with flag 41641182/11393030
1077.78/1077.35	c cleaning 135001 clauses out of 270019 with flag 42281342/11529030
1094.54/1094.15	c cleaning 136000 clauses out of 272018 with flag 42965629/11666030
1112.01/1111.52	c cleaning 137005 clauses out of 274019 with flag 43656661/11804031
1128.37/1127.96	c cleaning 138006 clauses out of 276014 with flag 44312411/11943031
1144.04/1143.65	c cleaning 138997 clauses out of 278008 with flag 44956901/12083031
1160.61/1160.27	c cleaning 139999 clauses out of 280011 with flag 45645518/12224031
1177.77/1177.40	c cleaning 140996 clauses out of 282011 with flag 46341784/12366030
1195.04/1194.77	c cleaning 142003 clauses out of 284015 with flag 47052313/12509030
1213.31/1213.04	c cleaning 143001 clauses out of 286012 with flag 47729147/12653030
1230.77/1230.59	c cleaning 144001 clauses out of 288012 with flag 48413612/12798031
1248.14/1247.95	c cleaning 144999 clauses out of 290010 with flag 49110240/12944030
1266.80/1266.66	c cleaning 146007 clauses out of 292013 with flag 49817957/13091032
1285.28/1284.82	c cleaning 146991 clauses out of 294004 with flag 50539435/13239030
1304.12/1303.76	c cleaning 148004 clauses out of 296013 with flag 51245772/13388030
1322.98/1322.63	c cleaning 148994 clauses out of 298009 with flag 51957988/13538030
1342.73/1342.40	c cleaning 150003 clauses out of 300015 with flag 52675448/13689030
1361.17/1360.95	c cleaning 151001 clauses out of 302012 with flag 53404853/13841030
1381.02/1380.87	c cleaning 151997 clauses out of 304011 with flag 54157138/13994030
1399.87/1399.72	c cleaning 153001 clauses out of 306014 with flag 54868610/14148030
1418.52/1418.45	c cleaning 153999 clauses out of 308013 with flag 55589263/14303030
1438.96/1438.91	c cleaning 155002 clauses out of 310014 with flag 56319728/14459030
1459.31/1459.32	c cleaning 155992 clauses out of 312012 with flag 57067123/14616030
1479.54/1479.56	c cleaning 156999 clauses out of 314021 with flag 57828519/14774031
1499.10/1499.17	c cleaning 158011 clauses out of 316023 with flag 58586382/14933032
1519.45/1519.59	c cleaning 158999 clauses out of 318014 with flag 59360844/15093034
1540.31/1540.49	c cleaning 160000 clauses out of 320011 with flag 60135168/15254030
1561.17/1561.31	c cleaning 161000 clauses out of 322011 with flag 60916079/15416030
1582.52/1582.78	c cleaning 161999 clauses out of 324011 with flag 61726228/15579030
1604.29/1604.57	c cleaning 162996 clauses out of 326014 with flag 62544384/15743032
1626.64/1626.96	c cleaning 164010 clauses out of 328020 with flag 63348330/15908034
1648.20/1648.56	c cleaning 164997 clauses out of 330006 with flag 64142251/16074030
1670.35/1670.73	c cleaning 165998 clauses out of 332011 with flag 64945552/16241032
1692.30/1692.79	c cleaning 167003 clauses out of 334016 with flag 65774546/16409035
1715.07/1715.50	c cleaning 167988 clauses out of 336009 with flag 66618679/16578031
1737.13/1737.59	c cleaning 168996 clauses out of 338023 with flag 67427419/16748033
1760.59/1761.00	c cleaning 169998 clauses out of 340024 with flag 68252794/16919030
1783.12/1783.63	c cleaning 171007 clauses out of 342029 with flag 69129088/17091033
1806.85/1807.41	c cleaning 172007 clauses out of 344020 with flag 69981127/17264031
1829.99/1830.62	c cleaning 172995 clauses out of 346012 with flag 70837625/17438030
1853.63/1854.32	c cleaning 174003 clauses out of 348017 with flag 71693333/17613030
1878.66/1879.46	c cleaning 175001 clauses out of 350014 with flag 72573096/17789030
1903.69/1904.58	c cleaning 176002 clauses out of 352014 with flag 73438600/17966031
1928.63/1929.59	c cleaning 176998 clauses out of 354011 with flag 74313854/18144030
1941.49/1942.48	c Got one! Elapsed wall clock time (in seconds):1942.335
1941.49/1942.48	o 122
1942.99/1943.96	c cleaning 139915 clauses out of 279831 with flag 26574/18246848
1943.89/1944.89	c cleaning 72945 clauses out of 145914 with flag 55590/18252846
1944.68/1945.68	c cleaning 39976 clauses out of 79970 with flag 89182/18259847
1945.48/1946.45	c cleaning 23982 clauses out of 47994 with flag 118505/18267847
1946.38/1947.34	c cleaning 12985 clauses out of 33011 with flag 146364/18276846
1947.28/1948.27	c cleaning 9998 clauses out of 30026 with flag 173782/18286846
1948.38/1949.30	c cleaning 11009 clauses out of 31030 with flag 204984/18297848
1949.38/1950.35	c cleaning 11995 clauses out of 32020 with flag 242729/18309847
1950.50/1951.46	c cleaning 12996 clauses out of 33025 with flag 279459/18322847
1951.82/1952.71	c cleaning 14002 clauses out of 34028 with flag 321001/18336846
1953.12/1954.06	c cleaning 14985 clauses out of 35026 with flag 363228/18351846
1954.70/1955.53	c cleaning 16016 clauses out of 36042 with flag 410518/18367847
1956.30/1957.12	c cleaning 16987 clauses out of 37025 with flag 458890/18384846
1958.00/1958.80	c cleaning 18016 clauses out of 38039 with flag 509515/18402847
1959.69/1960.56	c cleaning 18987 clauses out of 39022 with flag 563234/18421846
1961.49/1962.35	c cleaning 20000 clauses out of 40035 with flag 623622/18441846
1963.39/1964.25	c cleaning 20508 clauses out of 41036 with flag 684105/18462847
1965.38/1966.24	c cleaning 21252 clauses out of 42527 with flag 747031/18484846
1967.48/1968.37	c cleaning 22136 clauses out of 44275 with flag 816191/18507846
1969.67/1970.53	c cleaning 23068 clauses out of 46139 with flag 887874/18531846
1971.87/1972.71	c cleaning 24028 clauses out of 48072 with flag 960238/18556847
1974.06/1974.98	c cleaning 25018 clauses out of 50044 with flag 1041024/18582847
1976.56/1977.44	c cleaning 26002 clauses out of 52026 with flag 1133108/18609847
1979.16/1980.07	c cleaning 27009 clauses out of 54025 with flag 1227717/18637848
1981.95/1982.88	c cleaning 28002 clauses out of 56015 with flag 1315443/18666847
1984.84/1985.70	c cleaning 28995 clauses out of 58012 with flag 1412155/18696846
1987.73/1988.62	c cleaning 29996 clauses out of 60017 with flag 1508440/18727846
1990.73/1991.64	c cleaning 31001 clauses out of 62022 with flag 1616702/18759847
1993.82/1994.79	c cleaning 32009 clauses out of 64021 with flag 1727613/18792847
1997.12/1998.02	c cleaning 32994 clauses out of 66012 with flag 1838337/18826847
2000.41/2001.31	c cleaning 34002 clauses out of 68020 with flag 1953768/18861849
2003.80/2004.76	c cleaning 35003 clauses out of 70015 with flag 2071316/18897846
2007.59/2008.55	c cleaning 36005 clauses out of 72013 with flag 2198969/18934847
2011.19/2012.13	c cleaning 36995 clauses out of 74007 with flag 2323764/18972846
2015.08/2016.06	c cleaning 38004 clauses out of 76014 with flag 2463752/19011848
2018.97/2019.95	c cleaning 38992 clauses out of 78008 with flag 2606694/19051846
2022.96/2023.90	c cleaning 39995 clauses out of 80016 with flag 2742792/19092846
2027.23/2028.10	c cleaning 40994 clauses out of 82020 with flag 2883871/19134846
2031.77/2032.52	c cleaning 42010 clauses out of 84029 with flag 3030194/19177849
2036.37/2037.19	c cleaning 43004 clauses out of 86019 with flag 3183475/19221849
2040.95/2041.79	c cleaning 43997 clauses out of 88011 with flag 3346732/19266846
2045.95/2046.79	c cleaning 45000 clauses out of 90012 with flag 3510382/19312846
2050.76/2051.54	c cleaning 46000 clauses out of 92010 with flag 3678911/19359846
2055.55/2056.38	c cleaning 47004 clauses out of 94009 with flag 3854818/19407847
2059.35/2060.13	c starts		: 46096
2059.35/2060.13	c conflicts		: 19443396
2059.35/2060.13	c decisions		: 48122795
2059.35/2060.13	c propagations		: 2294858845
2059.35/2060.13	c inspects		: 19107533292
2059.35/2060.13	c shortcuts		: 0
2059.35/2060.13	c learnt literals	: 29
2059.35/2060.13	c learnt binary clauses	: 335
2059.35/2060.13	c learnt ternary clauses	: 2941
2059.35/2060.13	c learnt constraints	: 19443366
2059.35/2060.13	c ignored constraints	: 0
2059.35/2060.13	c root simplifications	: 0
2059.35/2060.13	c removed literals (reason simplification)	: 175704258
2059.35/2060.13	c reason swapping (by a shorter reason)	: 0
2059.35/2060.13	c Calls to reduceDB	: 341
2059.35/2060.13	c Number of update (reduction) of LBD	: 6858009
2059.35/2060.13	c Imported unit clauses	: 0
2059.35/2060.13	c No decision after first conflict	: false
2059.35/2060.13	c number of reductions to clauses (during analyze)	: 0
2059.35/2060.13	c number of learned constraints concerned by reduction	: 0
2059.35/2060.13	c number of learning phase by resolution	: 0
2059.35/2060.13	c number of learning phase by cutting planes	: 0
2059.35/2060.13	c number of rounding to 1 operations	: 0
2059.35/2060.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2059.35/2060.13	c number of reductions of the coefficients by power 2 	: 0
2059.35/2060.13	c number of right shift for reduction by power 2 	: 0
2059.35/2060.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
2059.35/2060.13	c number of ending skipping 	: 0
2059.35/2060.13	c number of internal skipping 	: 0
2059.35/2060.13	c number of derivation steps 	: 0
2059.35/2060.13	c number of skipped derivation steps 	: 0
2059.35/2060.13	c number of remaining unassigned 	: 0
2059.35/2060.13	c number of remaining assigned 	: 0
2059.35/2060.13	c number of falsified literals weakened from reason	: 0
2059.35/2060.13	c number of falsified literals weakened from conflict	: 0
2059.35/2060.13	c time for arithmetic operations	: 0
2059.35/2060.14	c minimum degree of deleted constraints	: null
2059.35/2060.14	c maximum degree of deleted constraints	: null
2059.35/2060.14	c number of deleted constraints	: 0
2059.35/2060.14	c speed (assignments/second)	: 1114061.6062989375
2059.35/2060.14	c non guided choices	: 1592
2059.35/2060.14	s OPTIMUM FOUND
2059.35/2060.14	c Found 13 solution(s)
2059.35/2060.14	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 
2059.35/2060.14	c objective function=122
2059.35/2060.14	c Total wall clock time (in seconds): 2059.997

Verifier Data 

OK	122

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: 63708 MiB (50789 MiB free)
  memory of node 1: 64465 MiB (55715 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502608-1751434764/watcher-4502608-1751434764 -o /tmp/evaluation-result-4502608-1751434764/solver-4502608-1751434764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751434764-60262 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502608-1751434764.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60314, runsolver pid=60302
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.43 3.30 3.76 13/331 60387
/proc/meminfo: memFree=108977136/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=18930384 memory=51844 CPUtime=0.09 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 6135 0 0 0 7 2 0 0 20 0 18 0 59154959 19384713216 12961 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4732596 12961 5340 1 0 547242 0
[pid=60314/tid=60322] ppid=60302 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 4968 0 0 0 5 1 0 0 20 0 18 0 59154962 19384713216 12961 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=18930384 memory=15156 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59154964 19384713216 12993 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=18930384 memory=56286469424100 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 59154964 19384713216 12993 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51844 KiB

[startup+0.205621 s]*
/proc/loadavg: 1.43 3.30 3.76 15/331 60387
/proc/meminfo: memFree=108957288/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=18930384 memory=63852 CPUtime=0.29 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 7001 0 0 0 26 3 0 0 20 0 18 0 59154959 19384713216 15963 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4732596 15963 5436 1 0 547906 0
[pid=60314/tid=60322] ppid=60302 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 5287 0 0 0 14 1 0 0 20 0 18 0 59154962 19384713216 15963 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=18930384 memory=15156 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59154964 19384713216 15963 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=18930384 memory=56286469424100 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 59154964 19384713216 15963 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63852 KiB

[startup+0.305604 s]*
/proc/loadavg: 1.43 3.30 3.76 12/334 60390
/proc/meminfo: memFree=108914692/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=18996948 memory=69396 CPUtime=0.48 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 8727 0 0 0 45 3 0 0 20 0 19 0 59154959 19452874752 17349 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4749237 17349 5500 1 0 548808 0
[pid=60314/tid=60322] ppid=60302 vsize=18996948 memory=-6000919494265367657 CPUtime=0.24 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 5423 0 0 0 22 2 0 0 20 0 19 0 59154962 19452874752 17349 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 17349 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 17349 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154983 19452874752 17349 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69396 KiB

[startup+0.700211 s]
/proc/loadavg: 1.43 3.30 3.76 11/335 60391
/proc/meminfo: memFree=108894688/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=18996948 memory=82608 CPUtime=1.24 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 12869 0 0 0 120 4 0 0 20 0 19 0 59154959 19452874752 20652 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4749237 20652 5500 1 0 551545 0
[pid=60314/tid=60322] ppid=60302 vsize=18996948 memory=18432 CPUtime=0.62 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 5477 0 0 0 60 2 0 0 20 0 19 0 59154962 19452874752 20652 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 20652 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 20652 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154983 19452874752 20652 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82608 KiB

[startup+1.50021 s]
/proc/loadavg: 1.43 3.30 3.76 8/335 60391
/proc/meminfo: memFree=108844596/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=18996948 memory=88420 CPUtime=2.45 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 16256 0 0 0 240 5 0 0 20 0 19 0 59154959 19452874752 22105 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4749237 22105 5500 1 0 551847 0
[pid=60314/tid=60322] ppid=60302 vsize=18996948 memory=10752 CPUtime=1.39 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 5900 0 0 0 137 2 0 0 20 0 19 0 59154962 19452874752 22105 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 22105 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 22105 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154983 19452874752 22105 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88420 KiB

[startup+3.10527 s]
/proc/loadavg: 1.43 3.30 3.76 5/291 60411
/proc/meminfo: memFree=108899256/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=18996948 memory=100844 CPUtime=4.2 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 17902 0 0 0 415 5 0 0 20 0 19 0 59154959 19452874752 25211 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4749237 25211 5500 1 0 551850 0
[pid=60314/tid=60322] ppid=60302 vsize=18996948 memory=10752 CPUtime=2.99 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 6545 0 0 0 297 2 0 0 20 0 19 0 59154962 19452874752 25211 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=18996948 memory=-6000919498560334953 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 25211 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 25211 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154983 19452874752 25211 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100844 KiB

[startup+6.30014 s]
/proc/loadavg: 1.55 3.29 3.75 6/313 60495
/proc/meminfo: memFree=108114424/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=18996948 memory=121112 CPUtime=7.5 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 18504 0 0 0 744 6 0 0 20 0 19 0 59154959 19452874752 30278 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4749237 30278 5500 1 0 551853 0
[pid=60314/tid=60322] ppid=60302 vsize=18996948 memory=0 CPUtime=6.18 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 6877 0 0 0 615 3 0 0 20 0 19 0 59154962 19452874752 30278 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 30278 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 30278 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=18996948 memory=14344 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154983 19452874752 30278 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121112 KiB

[startup+12.7001 s]
/proc/loadavg: 1.67 3.29 3.75 5/315 60497
/proc/meminfo: memFree=107682512/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=170816 CPUtime=14 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 24777 0 0 0 1392 8 0 0 20 0 20 0 59154959 19521036288 42704 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 42704 5532 1 0 552142 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=0 CPUtime=12.55 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 8228 0 0 0 1251 4 0 0 20 0 20 0 59154962 19521036288 42704 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 42704 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=-6000919498560334953 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 42704 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=2688 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 42704 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170816 KiB

[startup+25.5002 s]
/proc/loadavg: 2.04 3.29 3.74 5/316 60499
/proc/meminfo: memFree=107592400/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=177156 CPUtime=26.79 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 26684 0 0 0 2671 8 0 0 20 0 20 0 59154959 19521036288 44289 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 44289 5564 1 0 552142 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=0 CPUtime=25.31 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 8782 0 0 0 2527 4 0 0 20 0 20 0 59154962 19521036288 44289 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=170944 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 44289 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 44289 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=170944 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 44289 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 26.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177156 KiB

[startup+51.1055 s]
/proc/loadavg: 2.37 3.26 3.72 5/316 60499
/proc/meminfo: memFree=107313368/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=201984 CPUtime=52.36 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 26860 0 0 0 5227 9 0 0 20 0 20 0 59154959 19521036288 50496 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 50496 5564 1 0 552142 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=10752 CPUtime=50.83 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 8816 0 0 0 5079 4 0 0 20 0 20 0 59154962 19521036288 50496 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=-6000919498560334953 CPUtime=0 cores=1,3

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

[pid=60314] ppid=60302 vsize=19063512 memory=2157320 CPUtime=2021.46 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 79200 0 0 0 202070 76 0 0 20 0 20 0 59154959 19521036288 539330 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539330 5564 1 0 556880 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=73 CPUtime=2015.61 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 30910 0 0 0 201543 18 0 0 20 0 20 0 59154962 19521036288 539330 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=2157320 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539330 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=3100 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 917 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539330 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539330 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2021.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157320 KiB

[startup+2035.2 s]
/proc/loadavg: 3.09 3.13 3.21 5/314 60604
/proc/meminfo: memFree=101594684/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=2157832 CPUtime=2034.47 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 80807 0 0 0 203370 77 0 0 20 0 20 0 59154959 19521036288 539458 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539458 5564 1 0 556984 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=18432 CPUtime=2028.38 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 31897 0 0 0 202820 18 0 0 20 0 20 0 59154962 19521036288 539458 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=164 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539458 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=15024 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 917 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539458 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=3100 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539458 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2034.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157832 KiB

[startup+2048 s]*
/proc/loadavg: 3.15 3.14 3.22 5/314 60610
/proc/meminfo: memFree=101578092/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=2157960 CPUtime=2047.28 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 80880 0 0 0 204651 77 0 0 20 0 20 0 59154959 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539490 5564 1 0 556984 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=-6000919494147861609 CPUtime=2041.16 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 31948 0 0 0 204098 18 0 0 20 0 20 0 59154962 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=-4050210904893671056 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=-6945247094607208300 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 917 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=-8918446412247227744 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2047.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157960 KiB

[startup+2054.4 s]
/proc/loadavg: 3.14 3.14 3.22 5/314 60610
/proc/meminfo: memFree=101578092/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=2157960 CPUtime=2053.66 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 80964 0 0 0 205289 77 0 0 20 0 20 0 59154959 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539490 5564 1 0 556984 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=18432 CPUtime=2047.54 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 31972 0 0 0 204736 18 0 0 20 0 20 0 59154962 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=-6000919498560334953 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 971 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=2157832 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2053.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157960 KiB

[startup+2057.6 s]
/proc/loadavg: 3.13 3.14 3.21 5/314 60610
/proc/meminfo: memFree=101578156/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=2157960 CPUtime=2056.85 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 80975 0 0 0 205608 77 0 0 20 0 20 0 59154959 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539490 5564 1 0 556984 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=2157960 CPUtime=2050.73 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 31982 0 0 0 205055 18 0 0 20 0 20 0 59154962 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=-4050210904893671056 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=2157960 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 971 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=14344 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2056.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157960 KiB

[startup+2059.2 s]
/proc/loadavg: 3.13 3.14 3.21 5/314 60610
/proc/meminfo: memFree=101578156/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=2157960 CPUtime=2058.45 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 80985 0 0 0 205768 77 0 0 20 0 20 0 59154959 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539490 5564 1 0 556984 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=2688 CPUtime=2052.33 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 31990 0 0 0 205215 18 0 0 20 0 20 0 59154962 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=14344 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 971 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=14344 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2058.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157960 KiB

[startup+2059.6 s]
/proc/loadavg: 3.13 3.14 3.21 5/314 60610
/proc/meminfo: memFree=101578156/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=2157960 CPUtime=2058.85 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 80985 0 0 0 205808 77 0 0 20 0 20 0 59154959 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539490 5564 1 0 556984 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=-6000919498560334953 CPUtime=2052.72 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 31990 0 0 0 205254 18 0 0 20 0 20 0 59154962 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 971 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2058.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157960 KiB

[startup+2060 s]*
/proc/loadavg: 3.12 3.14 3.21 5/314 60610
/proc/meminfo: memFree=101578156/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=2157960 CPUtime=2059.25 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 81002 0 0 0 205848 77 0 0 20 0 20 0 59154959 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539490 5564 1 0 556984 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=-6000919494147861609 CPUtime=2053.13 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 32002 0 0 0 205295 18 0 0 20 0 20 0 59154962 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=-4050210904893671056 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=4788 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 971 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=6772 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2059.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157960 KiB

[startup+2060.11 s]
/proc/loadavg: 3.12 3.14 3.21 5/314 60610
/proc/meminfo: memFree=101578156/131249988 swapFree=33010416/33010684
[pid=60314] ppid=60302 vsize=19063512 memory=2157960 CPUtime=2059.35 cores=1,3
/proc/60314/stat : 60314 (java) S 60302 60314 59167 0 -1 4194304 81007 0 0 0 205858 77 0 0 20 0 20 0 59154959 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
/proc/60314/statm: 4765878 539490 5564 1 0 556984 0
[pid=60314/tid=60322] ppid=60302 vsize=19063512 memory=2157320 CPUtime=2053.23 cores=1,3
/proc/60314/task/60322/stat : 60322 (java) R 60302 60314 59167 0 -1 4194368 32003 0 0 0 205305 18 0 0 20 0 20 0 59154962 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60368] ppid=60302 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/60314/task/60368/stat : 60368 (Finalizer) S 60302 60314 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60387] ppid=60302 vsize=19063512 memory=2157832 CPUtime=0 cores=1,3
/proc/60314/task/60387/stat : 60387 (Common-Cleaner) S 60302 60314 59167 0 -1 4194368 971 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
[pid=60314/tid=60389] ppid=60302 vsize=19063512 memory=2157960 CPUtime=0 cores=1,3
/proc/60314/task/60389/stat : 60389 (Timer-0) S 60302 60314 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154983 19521036288 539490 18446744073709551615 94112483708928 94112483712624 140730795243536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94112483720440 94112483721232 94112492961792 140730795252097 140730795252198 140730795252198 140730795257800 0
Current children cumulated CPU time: 2059.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157960 KiB

Child status: 30

Real time (s): 2060.16
CPU time (s): 2059.44
CPU user time (s): 2058.64
CPU system time (s): 0.792003
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2157960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2058.64
system time used= 0.792003
maximum resident set size= 2158728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60707
involuntary context switches= 2183


# summary of solver processes directly reported to runsolver:
#   pid: 60314
#   total CPU time (s): 2059.44
#   total CPU user time (s): 2058.64
#   total CPU system time (s): 0.792003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.23534 second user time and 7.73037 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-02 07:39:24
IDJOB=4502608
IDBENCH=155354
IDSOLVER=3363
FILE ID=nodeC031/4502608-1751434764
RUNJOBID= nodeC031-1751434764-60262
SLURM_JOB_ID= 9598370
Free space on /tmp= 432148 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502608-1751434764/watcher-4502608-1751434764 -o /tmp/evaluation-result-4502608-1751434764/solver-4502608-1751434764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751434764-60262 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4502608-1751434764.opb

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

MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=51045428

nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.240
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.695
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3600.444
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.892
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.893
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3600.985
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3600.412
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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.636
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        109065796 kB
MemAvailable:   129596088 kB
Buffers:            2128 kB
Cached:         21216192 kB
SwapCached:           12 kB
Active:           488144 kB
Inactive:       20809932 kB
Active(anon):      87336 kB
Inactive(anon):    10472 kB
Active(file):     400808 kB
Inactive(file): 20799460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1296 kB
Writeback:             0 kB
AnonPages:         82500 kB
Mapped:           103804 kB
Shmem:             18052 kB
KReclaimable:     338528 kB
Slab:             429876 kB
SReclaimable:     338528 kB
SUnreclaim:        91348 kB
KernelStack:        4020 kB
PageTables:         2564 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     348796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432096 MiB
End job on nodeC031 at 2025-07-02 08:13:44