Trace number 4491355

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 VeriPB 2025-06-06SAT (TO)94 3600.55 3606.31

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
MD5SUM6f99dbdca9fbd2980e0943071bb7f8ab
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark91
Best CPU time to get the best result obtained on this benchmark72000.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1807
Total number of constraints3444
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 66
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 193
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1320
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.24	c os.arch		amd64
0.27/0.25	c Free memory 		2104792832
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.26	c Number of processors 	2
0.41/0.37	c Pseudo Boolean Optimization by upper bound
0.41/0.37	c --- Begin Solver configuration ---
0.41/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.37	c Learn all clauses as in MiniSAT
0.41/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.37	c Expensive reason simplification
0.41/0.37	c Glucose 2.1 dynamic restart strategy
0.41/0.37	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.41/0.37	c timeout=2147483s
0.41/0.37	c DB Simplification allowed=false
0.41/0.37	c Listener: none
0.41/0.37	c --- End Solver configuration ---
0.41/0.37	c solving HOME/instance-4491355-1751386583.opb
0.41/0.37	c reading problem ... 
0.41/0.37	c using VERIPB proof format
0.41/0.38	c  objective function found
1.31/0.87	c ... done. Wall clock time 0.496s.
1.31/0.87	c declared #vars     1807
1.31/0.87	c #constraints  3444
1.31/0.87	c constraints type 
1.31/0.88	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3443
1.31/0.88	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1.31/0.88	c 3444 constraints processed.
1.51/0.90	c objective function length is 8 literals
5.50/3.26	c SATISFIABLE
5.50/3.26	c OPTIMIZING...
5.50/3.26	c Got one! Elapsed wall clock time (in seconds):2.893
5.50/3.26	o 135
6.30/3.64	c cleaning 2934 clauses out of 5870 with flag 2996/5870
8.78/5.33	c cleaning 4461 clauses out of 8937 with flag 19106/11871
10.82/7.27	c cleaning 5735 clauses out of 11476 with flag 39768/18871
13.59/9.75	c cleaning 6867 clauses out of 13740 with flag 66326/26870
15.44/11.53	c Got one! Elapsed wall clock time (in seconds):11.162
15.44/11.53	o 134
17.14/13.29	c cleaning 9533 clauses out of 19075 with flag 16061/39072
18.64/14.79	c cleaning 7771 clauses out of 15541 with flag 33250/45071
18.74/14.87	c Got one! Elapsed wall clock time (in seconds):14.507
18.74/14.87	o 132
20.79/16.63	c cleaning 6578 clauses out of 13174 with flag 16907/50475
22.59/18.44	c cleaning 6293 clauses out of 12596 with flag 35852/56475
24.78/20.68	c cleaning 6644 clauses out of 13303 with flag 58977/63475
27.48/23.33	c cleaning 7323 clauses out of 14658 with flag 87037/71474
30.58/26.41	c cleaning 8156 clauses out of 16336 with flag 119530/80475
32.68/28.56	c Got one! Elapsed wall clock time (in seconds):28.196
32.68/28.56	o 127
34.83/30.58	c cleaning 10274 clauses out of 20558 with flag 16043/92853
36.93/32.64	c cleaning 8126 clauses out of 16284 with flag 37672/98853
41.17/36.95	c cleaning 7568 clauses out of 15158 with flag 60688/105853
44.15/39.98	c cleaning 7784 clauses out of 15589 with flag 86736/113852
48.07/43.82	c cleaning 8395 clauses out of 16806 with flag 118263/122853
51.64/47.40	c cleaning 9195 clauses out of 18410 with flag 151653/132852
55.23/51.01	c cleaning 10099 clauses out of 20215 with flag 189042/143852
59.22/55.00	c cleaning 11048 clauses out of 22116 with flag 230969/155852
63.61/59.36	c cleaning 12028 clauses out of 24069 with flag 276845/168853
67.12/62.88	c cleaning 13019 clauses out of 26041 with flag 316022/182853
69.29/65.09	c Got one! Elapsed wall clock time (in seconds):64.72
69.29/65.09	o 126
70.97/66.77	c cleaning 13056 clauses out of 26133 with flag 17997/195964
72.97/68.72	c cleaning 9525 clauses out of 19077 with flag 38567/201964
75.06/70.87	c cleaning 8264 clauses out of 16552 with flag 61116/208964
77.37/73.13	c cleaning 8135 clauses out of 16288 with flag 86513/216964
80.15/76.01	c cleaning 8566 clauses out of 17152 with flag 116694/225963
83.36/79.18	c cleaning 9289 clauses out of 18589 with flag 150238/235966
86.83/82.62	c cleaning 10142 clauses out of 20297 with flag 188538/246963
89.57/85.23	c Got one! Elapsed wall clock time (in seconds):84.859
89.57/85.23	o 124
92.14/86.94	c cleaning 11625 clauses out of 23252 with flag 16551/260060
94.45/88.90	c cleaning 8802 clauses out of 17629 with flag 37765/266062
96.80/91.02	c cleaning 7902 clauses out of 15825 with flag 61813/273060
99.50/93.27	c cleaning 7950 clauses out of 15923 with flag 86966/281060
102.22/95.95	c cleaning 8472 clauses out of 16973 with flag 116413/290060
105.11/98.82	c cleaning 9241 clauses out of 18501 with flag 148814/300060
108.51/102.20	c cleaning 10126 clauses out of 20262 with flag 185565/311062
111.99/105.78	c cleaning 11062 clauses out of 22136 with flag 228246/323062
115.88/109.68	c cleaning 12029 clauses out of 24072 with flag 273613/336060
119.97/113.75	c cleaning 13016 clauses out of 26043 with flag 321032/350060
121.57/115.33	c Got one! Elapsed wall clock time (in seconds):114.96
121.57/115.33	o 117
123.28/117.09	c cleaning 11872 clauses out of 23751 with flag 17079/360784
124.96/118.79	c cleaning 8933 clauses out of 17879 with flag 35574/366784
126.86/120.64	c cleaning 7968 clauses out of 15946 with flag 56056/373784
129.06/122.83	c cleaning 7981 clauses out of 15979 with flag 80051/381785
131.45/125.25	c cleaning 8493 clauses out of 16997 with flag 107345/390784
134.31/128.12	c cleaning 9242 clauses out of 18507 with flag 138392/400787
137.49/131.31	c cleaning 10126 clauses out of 20262 with flag 173749/411784
138.79/132.23	c Got one! Elapsed wall clock time (in seconds):131.859
138.79/132.23	o 116
139.41/132.88	c cleaning 7683 clauses out of 15377 with flag 6241/417026
139.80/133.24	c Got one! Elapsed wall clock time (in seconds):132.877
139.80/133.24	o 115
141.04/134.43	c cleaning 6451 clauses out of 12916 with flag 11212/422248
141.24/134.63	c Got one! Elapsed wall clock time (in seconds):134.268
141.24/134.63	o 114
142.24/135.66	c Got one! Elapsed wall clock time (in seconds):135.298
142.24/135.66	o 113
142.84/136.27	c cleaning 6322 clauses out of 12653 with flag 6475/428436
144.47/137.75	c Got one! Elapsed wall clock time (in seconds):137.38
144.47/137.75	o 105
145.89/139.19	c cleaning 8166 clauses out of 16343 with flag 16920/438448
147.67/140.90	c cleaning 7078 clauses out of 14175 with flag 37276/444446
149.56/142.83	c cleaning 7041 clauses out of 14098 with flag 58956/451447
151.66/144.97	c cleaning 7519 clauses out of 15056 with flag 81877/459447
154.05/147.37	c cleaning 8263 clauses out of 16539 with flag 106800/468449
156.65/149.95	c cleaning 9129 clauses out of 18273 with flag 136489/478446
159.53/152.85	c cleaning 10067 clauses out of 20145 with flag 166900/489447
163.02/156.39	c cleaning 11035 clauses out of 22078 with flag 205957/501447
167.25/160.61	c cleaning 12011 clauses out of 24042 with flag 253455/514446
171.44/164.80	c cleaning 13014 clauses out of 26031 with flag 302247/528446
175.14/168.21	c Got one! Elapsed wall clock time (in seconds):167.841
175.14/168.21	o 104
176.83/169.90	c cleaning 14812 clauses out of 29641 with flag 17177/545071
178.82/171.94	c cleaning 10397 clauses out of 20830 with flag 38557/551072
181.04/174.12	c cleaning 8706 clauses out of 17433 with flag 62936/558072
183.51/176.60	c cleaning 8355 clauses out of 16729 with flag 89555/566074
186.21/179.33	c cleaning 8680 clauses out of 17371 with flag 119919/575071
189.20/182.38	c cleaning 9336 clauses out of 18691 with flag 153135/585071
192.69/185.80	c cleaning 10168 clauses out of 20355 with flag 189833/596071
196.45/189.64	c cleaning 11085 clauses out of 22188 with flag 231821/608072
200.34/193.52	c cleaning 12047 clauses out of 24105 with flag 269927/621074
204.53/197.72	c cleaning 13020 clauses out of 26056 with flag 314604/635072
208.73/201.91	c cleaning 14016 clauses out of 28035 with flag 355482/650071
209.62/202.87	c Got one! Elapsed wall clock time (in seconds):202.505
209.62/202.87	o 102
210.42/203.67	c cleaning 9686 clauses out of 19397 with flag 8164/655449
212.51/205.75	c cleaning 7842 clauses out of 15713 with flag 29201/661451
214.82/208.03	c cleaning 7423 clauses out of 14869 with flag 52799/668449
217.40/210.66	c cleaning 7717 clauses out of 15446 with flag 80301/676449
220.40/213.61	c cleaning 8354 clauses out of 16731 with flag 111804/685451
223.60/216.84	c cleaning 9179 clauses out of 18377 with flag 146936/695451
227.15/220.42	c cleaning 10088 clauses out of 20196 with flag 186003/706449
230.86/224.16	c cleaning 11042 clauses out of 22108 with flag 225822/718449
235.23/228.50	c cleaning 12021 clauses out of 24066 with flag 272522/731449
239.83/233.16	c cleaning 13013 clauses out of 26046 with flag 318582/745450
244.51/237.81	c cleaning 14012 clauses out of 28032 with flag 366769/760449
248.81/242.12	c cleaning 15008 clauses out of 30020 with flag 412617/776449
254.19/247.50	c cleaning 15996 clauses out of 32013 with flag 463612/793450
259.52/252.92	c cleaning 17001 clauses out of 34018 with flag 514498/811451
263.82/257.28	c cleaning 18007 clauses out of 36015 with flag 566224/830449
268.80/262.28	c cleaning 19003 clauses out of 38009 with flag 623887/850450
274.89/268.32	c cleaning 20002 clauses out of 40007 with flag 681801/871451
281.04/274.40	c cleaning 20989 clauses out of 42004 with flag 740078/893450
286.62/280.09	c cleaning 22002 clauses out of 44015 with flag 802323/916450
292.99/286.43	c cleaning 22996 clauses out of 46012 with flag 868478/940449
298.17/291.62	c Got one! Elapsed wall clock time (in seconds):291.248
298.17/291.62	o 98
300.26/293.64	c cleaning 23634 clauses out of 47289 with flag 19210/964722
302.26/295.64	c cleaning 14817 clauses out of 29655 with flag 40306/970722
304.45/297.85	c cleaning 10903 clauses out of 21837 with flag 64095/977721
307.14/300.56	c cleaning 9459 clauses out of 18935 with flag 92942/985722
310.23/303.68	c cleaning 9227 clauses out of 18476 with flag 127332/994722
313.52/306.97	c cleaning 9611 clauses out of 19249 with flag 161464/1004722
316.88/310.36	c cleaning 10311 clauses out of 20637 with flag 197545/1015721
320.68/314.13	c cleaning 11160 clauses out of 22326 with flag 239025/1027721
324.96/318.40	c cleaning 12077 clauses out of 24166 with flag 285530/1040721
329.25/322.75	c cleaning 13036 clauses out of 26089 with flag 335152/1054721
333.84/327.34	c cleaning 14025 clauses out of 28056 with flag 387655/1069724
338.55/332.11	c cleaning 15000 clauses out of 30028 with flag 441255/1085721
343.72/337.21	c cleaning 16011 clauses out of 32029 with flag 498208/1102722
349.08/342.63	c cleaning 17007 clauses out of 34019 with flag 559878/1120723
354.97/348.57	c cleaning 17999 clauses out of 36010 with flag 626525/1139721
360.96/354.51	c cleaning 18994 clauses out of 38011 with flag 692669/1159721
367.04/360.67	c cleaning 20001 clauses out of 40018 with flag 763137/1180722
373.12/366.73	c cleaning 21003 clauses out of 42017 with flag 834416/1202722
379.28/372.91	c cleaning 22006 clauses out of 44015 with flag 908925/1225723
385.77/379.42	c cleaning 23004 clauses out of 46009 with flag 983964/1249723
393.47/387.15	c cleaning 24000 clauses out of 48003 with flag 1072668/1274721
401.03/394.71	c cleaning 24991 clauses out of 50004 with flag 1154211/1300722
409.00/402.55	c cleaning 25998 clauses out of 52010 with flag 1228058/1327721
417.77/411.30	c cleaning 26999 clauses out of 54014 with flag 1323628/1355723
426.57/420.13	c cleaning 27995 clauses out of 56013 with flag 1418613/1384721
431.95/425.53	c Got one! Elapsed wall clock time (in seconds):425.161
431.95/425.53	o 97
433.74/427.38	c cleaning 25545 clauses out of 51109 with flag 18623/1407812
435.55/429.19	c cleaning 15773 clauses out of 31563 with flag 38432/1413811
437.54/431.19	c cleaning 11384 clauses out of 22790 with flag 60870/1420811
439.97/433.65	c cleaning 9695 clauses out of 19408 with flag 88172/1428813
442.67/436.37	c cleaning 9344 clauses out of 18711 with flag 119095/1437811
445.87/439.55	c cleaning 9670 clauses out of 19367 with flag 153773/1447811
449.16/442.90	c cleaning 10342 clauses out of 20697 with flag 192396/1458811
452.36/446.03	c cleaning 11168 clauses out of 22355 with flag 228485/1470811
455.74/449.49	c cleaning 12092 clauses out of 24188 with flag 268804/1483812
459.45/453.13	c cleaning 13038 clauses out of 26096 with flag 312231/1497812
463.43/457.11	c cleaning 14023 clauses out of 28057 with flag 357287/1512811
468.02/461.74	c cleaning 15011 clauses out of 30036 with flag 411600/1528813
472.76/466.51	c cleaning 16007 clauses out of 32025 with flag 459961/1545813
477.65/471.47	c cleaning 17004 clauses out of 34017 with flag 516372/1563812
482.83/476.69	c cleaning 17997 clauses out of 36013 with flag 577855/1582812
488.52/482.39	c cleaning 19001 clauses out of 38016 with flag 644426/1602812
494.61/488.42	c cleaning 20006 clauses out of 40015 with flag 707684/1623812
501.18/495.07	c cleaning 20995 clauses out of 42009 with flag 776860/1645812
507.76/501.63	c cleaning 21991 clauses out of 44012 with flag 845293/1668811
515.34/509.21	c cleaning 22993 clauses out of 46023 with flag 932698/1692813
522.92/516.86	c cleaning 24003 clauses out of 48028 with flag 1020887/1717811
531.66/525.62	c cleaning 25009 clauses out of 50025 with flag 1124729/1743811
540.15/534.15	c cleaning 26004 clauses out of 52016 with flag 1221503/1770811
549.41/543.40	c cleaning 27000 clauses out of 54014 with flag 1332710/1798813
557.90/551.90	c cleaning 27997 clauses out of 56013 with flag 1425886/1827812
566.44/560.59	c cleaning 28995 clauses out of 58015 with flag 1521667/1857811
575.52/569.66	c cleaning 29998 clauses out of 60020 with flag 1624641/1888811
584.60/578.74	c cleaning 31005 clauses out of 62022 with flag 1730218/1920811
594.13/588.38	c cleaning 31999 clauses out of 64017 with flag 1839180/1953811
604.21/598.44	c cleaning 33002 clauses out of 66018 with flag 1956660/1987811
614.38/608.60	c cleaning 34001 clauses out of 68017 with flag 2075804/2022812
625.84/620.19	c cleaning 35002 clauses out of 70016 with flag 2204850/2058812
637.40/631.77	c cleaning 36000 clauses out of 72013 with flag 2335737/2095811
647.87/642.30	c cleaning 37000 clauses out of 74013 with flag 2457489/2133811
658.53/652.97	c cleaning 38006 clauses out of 76016 with flag 2580415/2172814
671.00/665.48	c cleaning 38995 clauses out of 78007 with flag 2707559/2212811
683.07/677.53	c cleaning 40005 clauses out of 80013 with flag 2845574/2253812
695.33/689.83	c cleaning 40990 clauses out of 82009 with flag 2991730/2295813
707.70/702.25	c cleaning 41998 clauses out of 84017 with flag 3137853/2338811
720.35/714.97	c cleaning 43006 clauses out of 86019 with flag 3287750/2382811
734.43/729.02	c cleaning 44000 clauses out of 88014 with flag 3450450/2427812
750.40/745.05	c cleaning 44999 clauses out of 90014 with flag 3619987/2473812
763.66/758.36	c cleaning 45999 clauses out of 92015 with flag 3775903/2520812
777.42/772.11	c cleaning 47007 clauses out of 94016 with flag 3938653/2568812
791.30/786.11	c cleaning 48000 clauses out of 96010 with flag 4100523/2617813
806.85/801.66	c cleaning 49000 clauses out of 98008 with flag 4279234/2667811
821.50/816.39	c cleaning 49990 clauses out of 100008 with flag 4449294/2718811
838.93/833.85	c cleaning 51006 clauses out of 102018 with flag 4620497/2770811
855.30/850.26	c cleaning 51995 clauses out of 104012 with flag 4795045/2823811
872.63/867.61	c cleaning 53002 clauses out of 106018 with flag 4978563/2877812
889.95/885.02	c cleaning 54003 clauses out of 108016 with flag 5164016/2932812
906.80/902.00	c cleaning 55003 clauses out of 110013 with flag 5346989/2988812
923.51/918.71	c Got one! Elapsed wall clock time (in seconds):918.346
923.51/918.71	o 96
925.61/920.80	c cleaning 55256 clauses out of 110527 with flag 17850/3044329
927.61/922.89	c cleaning 30626 clauses out of 61270 with flag 39013/3050328
930.00/925.23	c cleaning 18815 clauses out of 37644 with flag 64043/3057328
932.59/927.83	c cleaning 13404 clauses out of 26830 with flag 93786/3065329
935.49/930.72	c cleaning 11205 clauses out of 22425 with flag 125487/3074328
938.48/933.76	c cleaning 10600 clauses out of 21220 with flag 160913/3084328
941.83/937.11	c cleaning 10802 clauses out of 21621 with flag 199465/3095329
945.31/940.66	c cleaning 11405 clauses out of 22819 with flag 240727/3107329
949.39/944.74	c cleaning 12206 clauses out of 24414 with flag 286966/3120329
953.09/948.45	c cleaning 13100 clauses out of 26208 with flag 333076/3134329
957.18/952.60	c cleaning 14046 clauses out of 28108 with flag 386270/3149329
961.69/957.05	c cleaning 15030 clauses out of 30063 with flag 439610/3165330
966.86/962.23	c cleaning 16014 clauses out of 32032 with flag 493816/3182329
972.68/968.47	c cleaning 16994 clauses out of 34017 with flag 551396/3200328
979.27/975.02	c cleaning 18008 clauses out of 36023 with flag 627296/3219328
986.05/981.89	c cleaning 19004 clauses out of 38016 with flag 710210/3239329
992.44/988.25	c cleaning 19999 clauses out of 40012 with flag 781407/3260329
998.76/994.63	c cleaning 21001 clauses out of 42012 with flag 850026/3282328
1005.64/1001.54	c cleaning 21993 clauses out of 44011 with flag 918822/3305328
1013.42/1009.31	c cleaning 23003 clauses out of 46017 with flag 1008037/3329328
1022.12/1018.04	c cleaning 24004 clauses out of 48014 with flag 1109751/3354328
1031.13/1027.15	c cleaning 25001 clauses out of 50012 with flag 1214406/3380330
1038.51/1034.53	c cleaning 25989 clauses out of 52010 with flag 1298622/3407329
1046.68/1042.74	c cleaning 27007 clauses out of 54020 with flag 1391483/3435328
1054.79/1050.86	c cleaning 28002 clauses out of 56013 with flag 1482982/3464328
1063.41/1059.56	c cleaning 29001 clauses out of 58011 with flag 1580058/3494328
1071.59/1067.73	c cleaning 29998 clauses out of 60010 with flag 1679572/3525328
1080.00/1076.17	c cleaning 31003 clauses out of 62013 with flag 1776405/3557329
1090.29/1086.50	c cleaning 32005 clauses out of 64011 with flag 1876518/3590330
1100.67/1096.99	c cleaning 32999 clauses out of 66005 with flag 1986314/3624329
1111.15/1107.43	c cleaning 33997 clauses out of 68006 with flag 2093725/3659329
1122.22/1118.70	c cleaning 35005 clauses out of 70010 with flag 2203078/3695330
1134.59/1131.11	c cleaning 35996 clauses out of 72003 with flag 2317764/3732328
1146.53/1143.13	c cleaning 36999 clauses out of 74007 with flag 2435333/3770328
1158.79/1155.41	c cleaning 37997 clauses out of 76008 with flag 2572446/3809328
1171.71/1168.49	c cleaning 38997 clauses out of 78011 with flag 2719308/3849328
1185.68/1182.46	c cleaning 40000 clauses out of 80014 with flag 2866144/3890328
1198.45/1195.20	c cleaning 41001 clauses out of 82015 with flag 2994485/3932329
1211.66/1208.50	c cleaning 42003 clauses out of 84014 with flag 3133475/3975329
1225.94/1222.87	c cleaning 42999 clauses out of 86011 with flag 3298024/4019329
1241.09/1239.38	c cleaning 44001 clauses out of 88012 with flag 3440033/4064329
1255.87/1254.19	c cleaning 45000 clauses out of 90011 with flag 3597950/4110329
1270.96/1269.37	c cleaning 46002 clauses out of 92011 with flag 3733677/4157329
1284.93/1283.31	c cleaning 46995 clauses out of 94008 with flag 3880071/4205328
1299.46/1297.97	c cleaning 47993 clauses out of 96013 with flag 4029660/4254328
1317.61/1316.11	c cleaning 49006 clauses out of 98020 with flag 4219370/4304328
1335.15/1333.73	c cleaning 49999 clauses out of 100015 with flag 4389692/4355329
1352.29/1350.90	c cleaning 50998 clauses out of 102016 with flag 4565340/4407329
1368.75/1367.44	c cleaning 52001 clauses out of 104017 with flag 4732144/4460328
1387.96/1386.79	c cleaning 53007 clauses out of 106017 with flag 4905040/4514329
1408.34/1407.18	c cleaning 54000 clauses out of 108010 with flag 5114304/4569329
1427.25/1426.18	c cleaning 55000 clauses out of 110009 with flag 5303140/4625328
1447.78/1446.76	c cleaning 56003 clauses out of 112009 with flag 5489958/4682328
1463.54/1462.59	c cleaning 56995 clauses out of 114007 with flag 5669512/4740329
1482.59/1481.64	c cleaning 58002 clauses out of 116013 with flag 5865171/4799330
1503.01/1502.06	c cleaning 59001 clauses out of 118011 with flag 6082737/4859330
1521.97/1521.08	c cleaning 59998 clauses out of 120009 with flag 6290889/4920329
1541.18/1540.39	c cleaning 61006 clauses out of 122013 with flag 6505299/4982331
1563.11/1562.39	c cleaning 61992 clauses out of 124005 with flag 6710504/5045329
1584.77/1584.06	c cleaning 63004 clauses out of 126013 with flag 6912330/5109329
1604.97/1604.39	c cleaning 64002 clauses out of 128010 with flag 7134765/5174330
1627.99/1627.40	c cleaning 65000 clauses out of 130006 with flag 7397897/5240328
1648.04/1647.50	c cleaning 65995 clauses out of 132006 with flag 7629482/5307328
1668.69/1668.28	c cleaning 66990 clauses out of 134012 with flag 7841283/5375329
1693.78/1693.30	c cleaning 68003 clauses out of 136022 with flag 8072076/5444329
1716.89/1716.52	c cleaning 69007 clauses out of 138018 with flag 8312128/5514328
1745.75/1745.49	c cleaning 70000 clauses out of 140012 with flag 8539445/5585329
1773.65/1773.38	c cleaning 70999 clauses out of 142011 with flag 8792546/5657328
1797.96/1797.78	c cleaning 72000 clauses out of 144012 with flag 9035796/5730328
1824.84/1824.65	c cleaning 72994 clauses out of 146012 with flag 9284604/5804328
1851.78/1851.63	c cleaning 74005 clauses out of 148018 with flag 9536942/5879328
1882.72/1882.60	c cleaning 75001 clauses out of 150014 with flag 9774058/5955329
1911.41/1911.47	c cleaning 76001 clauses out of 152012 with flag 10012626/6032328
1939.16/1939.21	c cleaning 76998 clauses out of 154012 with flag 10269245/6110329
1969.09/1969.23	c cleaning 77994 clauses out of 156013 with flag 10546103/6189328
2001.36/2001.60	c cleaning 79009 clauses out of 158021 with flag 10807409/6269330
2033.48/2033.88	c cleaning 79992 clauses out of 160010 with flag 11093401/6350328
2062.28/2062.78	c cleaning 81002 clauses out of 162018 with flag 11386114/6432328
2092.41/2092.97	c cleaning 82005 clauses out of 164016 with flag 11646099/6515328
2121.75/2122.33	c cleaning 82998 clauses out of 166011 with flag 11936448/6599328
2150.94/2151.61	c cleaning 83993 clauses out of 168013 with flag 12253697/6684328
2182.31/2184.58	c cleaning 85010 clauses out of 170021 with flag 12539216/6770329
2212.58/2214.89	c cleaning 86000 clauses out of 172010 with flag 12835784/6857328
2243.90/2246.23	c cleaning 86996 clauses out of 174011 with flag 13121910/6945329
2275.62/2278.02	c cleaning 87998 clauses out of 176014 with flag 13419239/7034328
2301.73/2304.19	c cleaning 89000 clauses out of 178017 with flag 13708749/7124329
2329.41/2331.99	c cleaning 90004 clauses out of 180017 with flag 13996217/7215329
2365.68/2368.24	c cleaning 90998 clauses out of 182013 with flag 14335692/7307329
2399.20/2401.84	c cleaning 92002 clauses out of 184014 with flag 14654323/7400328
2434.19/2436.91	c cleaning 92995 clauses out of 186012 with flag 14982757/7494328
2470.28/2473.10	c cleaning 94005 clauses out of 188017 with flag 15287449/7589328
2506.02/2508.89	c cleaning 94997 clauses out of 190012 with flag 15645629/7685328
2541.00/2543.83	c cleaning 96001 clauses out of 192015 with flag 16012431/7782328
2575.05/2578.03	c cleaning 97002 clauses out of 194015 with flag 16330853/7880329
2615.77/2618.81	c cleaning 98000 clauses out of 196013 with flag 16670915/7979329
2656.24/2659.44	c cleaning 99000 clauses out of 198012 with flag 17008912/8079328
2696.48/2699.70	c cleaning 100003 clauses out of 200012 with flag 17348473/8180328
2739.58/2742.96	c cleaning 100994 clauses out of 202010 with flag 17728957/8282329
2784.22/2787.76	c cleaning 102001 clauses out of 204017 with flag 18064908/8385330
2823.17/2826.88	c cleaning 103004 clauses out of 206015 with flag 18436405/8489329
2865.48/2869.29	c cleaning 104002 clauses out of 208011 with flag 18778823/8594329
2867.57/2871.33	c Got one! Elapsed wall clock time (in seconds):2870.967
2867.57/2871.33	o 94
2870.07/2873.85	c cleaning 57346 clauses out of 114705 with flag 17218/8605025
2872.28/2876.09	c cleaning 31664 clauses out of 63358 with flag 40236/8611024
2874.40/2878.26	c cleaning 19345 clauses out of 38695 with flag 64397/8618025
2876.80/2880.67	c cleaning 13669 clauses out of 27350 with flag 87497/8626025
2879.40/2883.29	c cleaning 11336 clauses out of 22682 with flag 112738/8635026
2882.39/2886.20	c cleaning 10661 clauses out of 21344 with flag 144504/8645024
2885.58/2889.46	c cleaning 10826 clauses out of 21684 with flag 183469/8656025
2888.77/2892.69	c cleaning 11423 clauses out of 22858 with flag 222413/8668025
2892.50/2896.37	c cleaning 12204 clauses out of 24436 with flag 266029/8681026
2896.60/2900.45	c cleaning 13101 clauses out of 26230 with flag 313628/8695024
2900.95/2904.86	c cleaning 14062 clauses out of 28131 with flag 363579/8710026
2905.95/2909.86	c cleaning 15027 clauses out of 30067 with flag 420573/8726024
2911.03/2914.99	c cleaning 16015 clauses out of 32041 with flag 481480/8743025
2916.62/2920.52	c cleaning 17008 clauses out of 34026 with flag 540062/8761025
2922.11/2926.05	c cleaning 18004 clauses out of 36017 with flag 596463/8780024
2928.39/2932.30	c cleaning 19005 clauses out of 38014 with flag 656304/8800025
2934.88/2938.81	c cleaning 19999 clauses out of 40008 with flag 727995/8821024
2941.76/2945.77	c cleaning 21001 clauses out of 42009 with flag 799954/8843024
2948.94/2952.99	c cleaning 22003 clauses out of 44010 with flag 871425/8866026
2956.29/2960.35	c cleaning 23001 clauses out of 46005 with flag 945473/8890024
2963.98/2968.01	c cleaning 23996 clauses out of 48006 with flag 1028096/8915026
2972.25/2976.33	c cleaning 25003 clauses out of 50009 with flag 1117021/8941025
2983.31/2987.42	c cleaning 26003 clauses out of 52006 with flag 1201167/8968025
2992.79/2996.98	c cleaning 26995 clauses out of 54002 with flag 1287486/8996024
3001.77/3005.95	c cleaning 28000 clauses out of 56008 with flag 1389834/9025025
3011.61/3015.84	c cleaning 29002 clauses out of 58007 with flag 1493719/9055024
3021.24/3025.42	c cleaning 29996 clauses out of 60005 with flag 1599943/9086024
3031.89/3036.15	c cleaning 30993 clauses out of 62010 with flag 1712116/9118025
3042.66/3046.96	c cleaning 32005 clauses out of 64017 with flag 1818814/9151025
3054.33/3058.69	c cleaning 33002 clauses out of 66012 with flag 1934375/9185025
3065.13/3069.42	c cleaning 33990 clauses out of 68009 with flag 2041089/9220024
3076.20/3080.53	c cleaning 35002 clauses out of 70019 with flag 2160529/9256024
3087.08/3091.43	c cleaning 35997 clauses out of 72017 with flag 2283777/9293024
3098.89/3103.34	c cleaning 37004 clauses out of 74020 with flag 2415639/9331024
3111.90/3116.34	c cleaning 37991 clauses out of 76016 with flag 2550137/9370024
3125.03/3129.51	c cleaning 38999 clauses out of 78026 with flag 2682512/9410025
3138.62/3143.13	c cleaning 40012 clauses out of 80027 with flag 2810907/9451025
3153.69/3158.20	c cleaning 41000 clauses out of 82014 with flag 2956234/9493024
3168.67/3173.23	c cleaning 41996 clauses out of 84014 with flag 3103824/9536024
3184.09/3188.78	c cleaning 43000 clauses out of 86019 with flag 3273341/9580025
3197.82/3202.45	c cleaning 44008 clauses out of 88019 with flag 3427474/9625025
3210.95/3215.61	c cleaning 44999 clauses out of 90011 with flag 3572397/9671025
3222.82/3227.53	c cleaning 46003 clauses out of 92011 with flag 3714792/9718024
3236.32/3241.01	c cleaning 46999 clauses out of 94009 with flag 3869831/9766025
3248.79/3253.55	c cleaning 47996 clauses out of 96009 with flag 4022298/9815024
3263.43/3268.28	c cleaning 49001 clauses out of 98013 with flag 4175123/9865024
3277.50/3282.39	c cleaning 50001 clauses out of 100015 with flag 4332471/9916027
3292.13/3297.02	c cleaning 50996 clauses out of 102012 with flag 4494820/9968025
3309.61/3314.59	c cleaning 51997 clauses out of 104015 with flag 4670034/10021024
3326.94/3331.92	c cleaning 53003 clauses out of 106019 with flag 4845005/10075025
3345.43/3350.41	c cleaning 54001 clauses out of 108015 with flag 5043698/10130024
3365.23/3370.39	c cleaning 55005 clauses out of 110015 with flag 5238763/10186025
3387.33/3392.57	c cleaning 56002 clauses out of 112009 with flag 5456120/10243024
3408.38/3413.63	c cleaning 57000 clauses out of 114008 with flag 5660753/10301025
3428.23/3433.57	c cleaning 57995 clauses out of 116008 with flag 5863176/10360025
3449.41/3454.82	c cleaning 59003 clauses out of 118012 with flag 6064403/10420024
3472.40/3477.92	c cleaning 59994 clauses out of 120009 with flag 6272536/10481024
3494.55/3500.19	c cleaning 61000 clauses out of 122015 with flag 6487867/10543024
3514.93/3520.67	c cleaning 62003 clauses out of 124017 with flag 6687759/10606026
3539.37/3545.21	c cleaning 62997 clauses out of 126014 with flag 6919763/10670026
3561.72/3567.68	c cleaning 64004 clauses out of 128015 with flag 7148807/10735024
3584.79/3590.70	c cleaning 64999 clauses out of 130012 with flag 7382376/10801025
3600.03/3606.05	c starts		: 22708
3600.03/3606.07	c conflicts		: 10847216
3600.03/3606.08	c decisions		: 12980211
3600.03/3606.08	c propagations		: 1071734615
3600.03/3606.08	c inspects		: 34462121092
3600.03/3606.08	c shortcuts		: 0
3600.03/3606.08	c learnt literals	: 7
3600.03/3606.08	c learnt binary clauses	: 24
3600.03/3606.08	c learnt ternary clauses	: 57
3600.03/3606.08	c learnt constraints	: 10847209
3600.03/3606.08	c ignored constraints	: 0
3600.03/3606.08	c root simplifications	: 0
3600.03/3606.08	c removed literals (reason simplification)	: 53403124
3600.03/3606.08	c reason swapping (by a shorter reason)	: 0
3600.03/3606.08	c Calls to reduceDB	: 329
3600.03/3606.09	c Number of update (reduction) of LBD	: 1901783
3600.03/3606.09	c Imported unit clauses	: 0
3600.03/3606.09	c No decision after first conflict	: false
3600.03/3606.09	c number of reductions to clauses (during analyze)	: 0
3600.03/3606.09	c number of learned constraints concerned by reduction	: 0
3600.03/3606.09	c number of learning phase by resolution	: 0
3600.03/3606.09	c number of learning phase by cutting planes	: 0
3600.03/3606.09	c number of rounding to 1 operations	: 0
3600.03/3606.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3606.09	c number of reductions of the coefficients by power 2 	: 0
3600.03/3606.09	c number of right shift for reduction by power 2 	: 0
3600.03/3606.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3606.09	c number of ending skipping 	: 0
3600.03/3606.09	c number of internal skipping 	: 0
3600.03/3606.09	c number of derivation steps 	: 0
3600.03/3606.09	c number of skipped derivation steps 	: 0
3600.03/3606.10	c number of remaining unassigned 	: 0
3600.03/3606.10	c number of remaining assigned 	: 0
3600.03/3606.10	c number of falsified literals weakened from reason	: 0
3600.03/3606.10	c number of falsified literals weakened from conflict	: 0
3600.03/3606.10	c time for arithmetic operations	: 0
3600.03/3606.10	c minimum degree of deleted constraints	: null
3600.03/3606.10	c maximum degree of deleted constraints	: null
3600.03/3606.10	c number of deleted constraints	: 0
3600.03/3606.10	c speed (assignments/second)	: 297275.8998497997
3600.03/3606.10	c non guided choices	: 11614
3600.39/3606.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 111180
3600.39/3606.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 24
3600.39/3606.24	s SATISFIABLE
3600.39/3606.24	c Found 18 solution(s)
3600.39/3606.25	v -x1 -x2 x3 x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 x72 -x73 -x74 x75 -x76 -x77 x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 -x88 x89 -x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 -x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 -x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 -x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 -x309 -x310 x311 x312 x313 x314 x315 x316 -x317 -x318 -x319 x320 x321 x322 x323 -x324 -x325 x326 x327 x328 x329 -x330 x331 x332 x333 x334 x335 x336 x337 x338 -x339 -x340 x341 -x342 -x343 -x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 -x359 x360 x361 x362 x363 x364 x365 -x366 -x367 -x368 x369 x370 x371 x372 -x373 -x374 -x375 x376 x377 x378 x379 -x380 -x381 x382 x383 x384 x385 -x386 x387 x388 x389 x390 x391 x392 x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 -x419 -x420 x421 x422 x423 x424 -x425 -x426 x427 x428 x429 x430 -x431 -x432 x433 x434 x435 x436 -x437 x438 x439 x440 x441 x442 x443 x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 -x462 x463 x464 x465 x466 -x467 x468 x469 x470 x471 -x472 x473 x474 x475 x476 -x477 x478 x479 x480 x481 -x482 -x483 x484 x485 x486 -x487 -x488 x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 -x521 -x522 x523 x524 -x525 -x526 x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 x566 x567 x568 x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 -x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 -x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 -x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 -x722 -x723 x724 x725 x726 x727 x728 x729 -x730 -x731 -x732 x733 x734 x735 x736 -x737 -x738 x739 x740 x741 x742 -x743 x744 x745 x746 x747 x748 x749 x750 x751 -x752 -x753 x754 -x755 -x756 -x757 x758 x759 x760 x761 x762 x763 x764 -x765 x766 x767 x768 x769 x770 x771 -x772 -x773 -x774 x775 x776 x777 x778 -x779 -x780 -x781 x782 x783 x784 x785 -x786 -x787 x788 x789 x790 x791 -x792 x793 x794 x795 x796 x797 x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 -x819 -x820 x821 x822 x823 x824 -x825 -x826 x827 x828 x829 x830 -x831 -x832 x833 x834 x835 x836 -x837 x838 x839 x840 x841 x842 x843 x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 x854 x855 x856 -x857 x858 x859 x860 x861 -x862 x863 x864 x865 x866 -x867 x868 x869 x870 x871 -x872 x873 x874 x875 x876 -x877 -x878 x879 x880 x881 -x882 -x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 -x912 -x913 x914 x915 -x916 -x917 x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 x927 x928 x929 x930 x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 x983 x984 x985 x986 x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 x998 -x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 -x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 -x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 -x1035 -x1036 x1037 x1038 x1039 x1040 x1041 x1042 -x1043 -x1044 -x1045 x1046 x1047 x1048 x1049 -x1050 -x1051 x1052 x1053 x1054 x1055 -x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 x1072 x1073 x1074 x1075 x1076 x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 x1084 -x1085 -x1086 -x1087 x1088 x1089 x1090 x1091 -x1092 -x1093 x1094 x1095 x1096 x1097 -x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 x1114 x1115 x1116 x1117 x1118 -x1119 -x1120 x1121 x1122 x1123 x1124 -x1125 -x1126 x1127 x1128 x1129 x1130 -x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 x1138 x1139 x1140 x1141 x1142 x1143 x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 x1156 -x1157 x1158 x1159 x1160 x1161 -x1162 x1163 x1164 x1165 x1166 -x1167 x1168 x1169 x1170 x1171 -x1172 -x1173 x1174 x1175 x1176 -x1177 -x1178 x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 x1202 -x1203 -x1204 x1205 x1206 -x1207 -x1208 x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 x1270 x1271 x1272 x1273 x1274 -x1275 x1276 x1277 x1278 x1279 x1280 x1281 -x1282 x1283 x1284 x1285 x1286 x1287 -x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 -x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 x1304 x1305 x1306 x1307 x1308 x1309 -x1310 -x1311 -x1312 x1313 x1314 x1315 x1316 -x1317 -x1318 x1319 x1320 x1321 x1322 -x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 x1340 x1341 x1342 x1343 -x1344 -x1345 x1346 x1347 x1348 x1349 -x1350 -x1351 x1352 x1353 x1354 x1355 -x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 x1373 x1374 x1375 -x1376 x1377 x1378 x1379 x1380 -x1381 x1382 x1383 x1384 x1385 -x1386 -x1387 x1388 x1389 x1390 -x1391 x1392 x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 -x1413 x1414 x1415 x1416 -x1417 x1418 x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 -x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 -x1496 x1497 -x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510 -x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 -x1520 x1521 x1522 -x1523 x1524 -x1525 -x1526 x1527 x1528 x1529 x1530 -x1531 x1532 x1533 x1534 x1535 -x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 x1574 x1575 -x1576 x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 -x1637 x1638 x1639 x1640 x1641 x1642 x1643 x1644 x1645 -x1646 x1647 x1648 -x1649 -x1650 -x1651 x1652 x1653 x1654 x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 x1670 x1671 x1672 -x1673 x1674 x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 x1704 x1705 x1706 x1707 x1708 x1709 x1710 -x1711 x1712 x1713 -x1714 -x1715 -x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 x1724 -x1725 x1726 x1727 -x1728 -x1729 -x1730 -x1731 x1732 x1733 -x1734 x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 x1758 x1759 x1760 x1761 x1762 x1763 x1764 x1765 x1766 x1767 x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 x1807 
3600.39/3606.27	c objective function=94
3600.39/3606.27	c Total wall clock time (in seconds): 3605.899

Verifier Data 

OK	94

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: 63794 MiB (63044 MiB free)
  memory of node 1: 64507 MiB (63658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491355-1751386583/watcher-4491355-1751386583 -o /tmp/evaluation-result-4491355-1751386583/solver-4491355-1751386583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751386581-53119 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4491355-1751386583 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4491355-1751386583.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53389, runsolver pid=53381
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 0.52 1.34 2.66 7/312 53435
/proc/meminfo: memFree=129692976/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=18930384 memory=47148 CPUtime=0.1 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 5661 0 0 0 7 3 0 0 20 0 18 0 54337244 19384713216 11787 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4732596 11787 5107 1 0 546875 0
[pid=53389/tid=53398] ppid=53381 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 4585 0 0 0 4 2 0 0 20 0 18 0 54337247 19384713216 11787 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54337252 19384713216 11787 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54337253 19384713216 11787 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47148 KiB

[startup+0.213637 s]*
/proc/loadavg: 0.52 1.34 2.66 9/323 53446
/proc/meminfo: memFree=129687608/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=18930384 memory=51948 CPUtime=0.27 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 6151 0 0 0 23 4 0 0 20 0 18 0 54337244 19384713216 12987 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4732596 12987 5331 1 0 547249 0
[pid=53389/tid=53398] ppid=53381 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 4962 0 0 0 14 2 0 0 20 0 18 0 54337247 19384713216 12987 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54337252 19384713216 12987 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54337253 19384713216 12987 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51948 KiB

[startup+0.313081 s]*
/proc/loadavg: 0.52 1.34 2.66 9/323 53446
/proc/meminfo: memFree=129680552/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=18930384 memory=58268 CPUtime=0.41 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 6697 0 0 0 37 4 0 0 20 0 18 0 54337244 19384713216 14567 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4732596 14567 5363 1 0 547739 0
[pid=53389/tid=53398] ppid=53381 vsize=18930384 memory=-6000919485524437354 CPUtime=0.25 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 5118 0 0 0 22 3 0 0 20 0 18 0 54337247 19384713216 14567 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54337252 19384713216 14567 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54337253 19384713216 14567 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58268 KiB

[startup+0.700291 s]
/proc/loadavg: 0.52 1.34 2.66 12/323 53446
/proc/meminfo: memFree=129663540/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=18930384 memory=95364 CPUtime=1.12 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 8657 0 0 0 105 7 0 0 20 0 18 0 54337244 19384713216 23841 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4732596 23841 5427 1 0 549065 0
[pid=53389/tid=53398] ppid=53381 vsize=18930384 memory=17792 CPUtime=0.55 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 5276 0 0 0 51 4 0 0 20 0 18 0 54337247 19384713216 23841 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54337252 19384713216 23841 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54337253 19384713216 23841 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95364 KiB

[startup+1.50025 s]
/proc/loadavg: 0.52 1.34 2.66 8/307 53459
/proc/meminfo: memFree=129502160/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=18996948 memory=145492 CPUtime=2.69 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 15095 0 0 0 259 10 0 0 20 0 19 0 54337244 19452874752 36373 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4749237 36373 5459 1 0 551797 0
[pid=53389/tid=53398] ppid=53381 vsize=18996948 memory=3200 CPUtime=1.21 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 5834 0 0 0 115 6 0 0 20 0 19 0 54337247 19452874752 36373 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54337252 19452874752 36373 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54337253 19452874752 36373 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=18996948 memory=14720 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54337336 19452874752 36373 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145492 KiB

[startup+3.10566 s]
/proc/loadavg: 1.04 1.43 2.68 7/328 53517
/proc/meminfo: memFree=129395636/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=174972 CPUtime=5.31 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 18849 0 0 0 519 12 0 0 20 0 20 0 54337244 19521036288 43743 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 43743 5523 1 0 553008 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=11264 CPUtime=2.78 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 6234 0 0 0 271 7 0 0 20 0 20 0 54337247 19521036288 43743 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 43743 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 43743 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 43743 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174972 KiB

[startup+6.30042 s]
/proc/loadavg: 1.04 1.43 2.68 6/329 53518
/proc/meminfo: memFree=129207032/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=172444 CPUtime=9.92 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 27935 0 0 0 977 15 0 0 20 0 20 0 54337244 19521036288 43111 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 43111 5523 1 0 553583 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=0 CPUtime=5.95 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 8281 0 0 0 587 8 0 0 20 0 20 0 54337247 19521036288 43111 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 43111 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 43111 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=149692 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 43111 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172444 KiB

[startup+12.7004 s]
/proc/loadavg: 1.50 1.52 2.70 5/329 53518
/proc/meminfo: memFree=128435920/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=221984 CPUtime=16.64 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 32913 0 0 0 1646 18 0 0 20 0 20 0 54337244 19521036288 55496 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 55496 5523 1 0 553599 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=149692 CPUtime=12.27 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 9584 0 0 0 1218 9 0 0 20 0 20 0 54337247 19521036288 55496 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=221984 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 55496 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 55496 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=176596 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 55496 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 16.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 221984 KiB

[startup+25.5005 s]
/proc/loadavg: 1.88 1.60 2.71 5/329 53518
/proc/meminfo: memFree=127568036/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=303960 CPUtime=29.68 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 38576 0 0 0 2946 22 0 0 20 0 20 0 54337244 19521036288 75990 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 75990 5523 1 0 553599 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=0 CPUtime=24.96 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 10347 0 0 0 2484 12 0 0 20 0 20 0 54337247 19521036288 75990 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=303960 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 75990 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 75990 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=149692 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 75990 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 29.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 303960 KiB

[startup+51.1135 s]
/proc/loadavg: 2.61 1.79 2.75 5/332 53522
/proc/meminfo: memFree=126600040/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=782780 CPUtime=55.45 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 47947 0 0 0 5509 36 0 0 20 0 20 0 54337244 19521036288 195695 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 195695 5555 1 0 553599 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=303960 CPUtime=50.37 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 11882 0 0 0 5014 23 0 0 20 0 20 0 54337247 19521036288 195695 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=149692 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 195695 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=782780 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/330 53765
/proc/meminfo: memFree=116156104/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=1848516 CPUtime=3277.5 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 123644 0 0 0 327298 452 0 0 20 0 20 0 54337244 19521036288 462129 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 462129 5555 1 0 555220 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=1496296 CPUtime=3258.17 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 44450 0 0 0 325525 292 0 0 20 0 20 0 54337247 19521036288 462129 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=1848516 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 462129 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=1848516 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 1744 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 462129 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=1848516 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 462129 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 3277.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1848516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/329 53767
/proc/meminfo: memFree=115943584/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=1881288 CPUtime=3337.32 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 125426 0 0 0 333271 461 0 0 20 0 20 0 54337244 19521036288 470322 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 470322 5555 1 0 555237 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=1848516 CPUtime=3317.76 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 45854 0 0 0 331479 297 0 0 20 0 20 0 54337247 19521036288 470322 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 470322 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 1790 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 470322 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 470322 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 3337.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1881288 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.11 6/328 53769
/proc/meminfo: memFree=115796432/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=1905900 CPUtime=3397.17 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 126918 0 0 0 339247 470 0 0 20 0 20 0 54337244 19521036288 476475 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 476475 5555 1 0 555237 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=1881288 CPUtime=3377.29 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 46627 0 0 0 337427 302 0 0 20 0 20 0 54337247 19521036288 476475 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=1881288 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 476475 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=-6000919502721083754 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 1803 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 476475 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 476475 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 3397.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1905900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.10 5/328 53771
/proc/meminfo: memFree=115624216/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=1909996 CPUtime=3456.9 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 127070 0 0 0 345213 477 0 0 20 0 20 0 54337244 19521036288 477499 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 477499 5555 1 0 555237 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=1881288 CPUtime=3436.85 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 46697 0 0 0 343379 306 0 0 20 0 20 0 54337247 19521036288 477499 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=1909996 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 477499 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 1859 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 477499 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=1909996 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 477499 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 3456.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1909996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/328 53773
/proc/meminfo: memFree=115503732/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=1914092 CPUtime=3516.63 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 127133 0 0 0 351179 484 0 0 20 0 20 0 54337244 19521036288 478523 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 478523 5555 1 0 555237 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=-6000919502721083754 CPUtime=3496.43 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 46727 0 0 0 349333 310 0 0 20 0 20 0 54337247 19521036288 478523 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=1909996 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 478523 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=1914092 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 1864 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 478523 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 478523 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 3516.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/328 53775
/proc/meminfo: memFree=115360604/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=1918188 CPUtime=3576.36 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 127143 0 0 0 357145 491 0 0 20 0 20 0 54337244 19521036288 479547 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 479547 5555 1 0 555237 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=11264 CPUtime=3556.02 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 46729 0 0 0 355288 314 0 0 20 0 20 0 54337247 19521036288 479547 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 479547 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 1864 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 479547 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=-6000919502721083754 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 479547 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 3576.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1918188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606 s]*
/proc/loadavg: 4.13 4.13 4.09 5/309 53798
/proc/meminfo: memFree=117252428/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19063512 memory=1920236 CPUtime=3600.03 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 127283 0 0 0 359510 493 0 0 20 0 20 0 54337244 19521036288 480059 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4765878 480059 5555 1 0 555237 0
[pid=53389/tid=53398] ppid=53381 vsize=19063512 memory=-6000919472656181610 CPUtime=3579.58 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 46858 0 0 0 357643 315 0 0 20 0 20 0 54337247 19521036288 480059 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54337252 19521036288 480059 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19063512 memory=1981568 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 1869 0 0 0 0 0 0 0 20 0 20 0 54337253 19521036288 480059 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53450] ppid=53381 vsize=19063512 memory=7012 CPUtime=0 cores=0,2
/proc/53389/task/53450/stat : 53450 (Timer-0) S 53381 53389 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54337336 19521036288 480059 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1920236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.59 s, system=4.95867 s

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

[startup+3606.2 s]
/proc/loadavg: 4.13 4.13 4.09 5/309 53798
/proc/meminfo: memFree=117252428/131382112 swapFree=33010160/33010684
[pid=53389] ppid=53381 vsize=19263204 memory=1921004 CPUtime=3600.39 cores=0,2
/proc/53389/stat : 53389 (java) S 53381 53389 53106 0 -1 4194304 129475 0 0 0 359545 494 0 0 20 0 21 0 54337244 19725520896 480251 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
/proc/53389/statm: 4815801 480251 5555 1 0 556204 0
[pid=53389/tid=53398] ppid=53381 vsize=19263204 memory=245635481903 CPUtime=3579.76 cores=0,2
/proc/53389/task/53398/stat : 53398 (java) R 53381 53389 53106 0 -1 4194368 47043 0 0 0 357661 315 0 0 20 0 21 0 54337247 19725520896 480251 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53423] ppid=53381 vsize=19263204 memory=4179395666877088499 CPUtime=0 cores=0,2
/proc/53389/task/53423/stat : 53423 (Finalizer) S 53381 53389 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54337252 19725520896 480251 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
[pid=53389/tid=53435] ppid=53381 vsize=19263204 memory=3976735865505632886 CPUtime=0 cores=0,2
/proc/53389/task/53435/stat : 53435 (Common-Cleaner) S 53381 53389 53106 0 -1 4194368 1869 0 0 0 0 0 0 0 20 0 21 0 54337253 19725520896 480251 18446744073709551615 94406713884672 94406713888368 140735432025440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94406713896184 94406713896976 94406717931520 140735432034608 140735432034790 140735432034790 140735432040392 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1921004 KiB

Child status: 143

Real time (s): 3606.31
CPU time (s): 3600.55
CPU user time (s): 3595.59
CPU system time (s): 4.95867
CPU usage (%): 99.8403
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1921004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.59
system time used= 4.95867
maximum resident set size= 1921260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130254
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4924520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107926
involuntary context switches= 11134


# summary of solver processes directly reported to runsolver:
#   pid: 53389
#   total CPU time (s): 3600.55
#   total CPU user time (s): 3595.59
#   total CPU system time (s): 4.95867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8647 second user time and 34.3914 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-01 18:16:24
IDJOB=4491355
IDBENCH=147703
IDSOLVER=3364
FILE ID=nodeC001/4491355-1751386583
RUNJOBID= nodeC001-1751386581-53119
SLURM_JOB_ID= 9598248
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491355-1751386583/watcher-4491355-1751386583 -o /tmp/evaluation-result-4491355-1751386583/solver-4491355-1751386583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751386581-53119 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4491355-1751386583 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4491355-1751386583.opb

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

MD5SUM BENCH= 6f99dbdca9fbd2980e0943071bb7f8ab
RANDOM SEED=1840681181

nodeC001 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	: 0xb00001f
cpu MHz		: 1197.535
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.721
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.171
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.742
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.193
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.170
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.167
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.790
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129735996 kB
MemAvailable:   129772424 kB
Buffers:            2128 kB
Cached:           840372 kB
SwapCached:           28 kB
Active:           525756 kB
Inactive:         540772 kB
Active(anon):     231616 kB
Inactive(anon):    10380 kB
Active(file):     294140 kB
Inactive(file):   530392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7384 kB
Writeback:             0 kB
AnonPages:        227248 kB
Mapped:           122560 kB
Shmem:             17932 kB
KReclaimable:     102664 kB
Slab:             186132 kB
SReclaimable:     102664 kB
SUnreclaim:        83468 kB
KernelStack:        4304 kB
PageTables:         3504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2572948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149640 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC001 at 2025-07-01 19:16:30