Trace number 4491354

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)94 3600.29 3604.64

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4491354-1751374867.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  objective function found
0.50/0.33	c ... done. Wall clock time 0.188s.
0.50/0.33	c declared #vars     1807
0.50/0.33	c #constraints  3444
0.50/0.33	c constraints type 
0.50/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3443
0.50/0.33	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.50/0.33	c 3444 constraints processed.
0.50/0.34	c objective function length is 8 literals
3.35/2.37	c SATISFIABLE
3.35/2.37	c OPTIMIZING...
3.35/2.37	c Got one! Elapsed wall clock time (in seconds):2.223
3.35/2.37	o 135
3.96/2.80	c cleaning 2934 clauses out of 5870 with flag 2996/5870
5.79/4.63	c cleaning 4461 clauses out of 8937 with flag 19106/11871
7.97/6.72	c cleaning 5735 clauses out of 11476 with flag 39768/18871
10.86/9.50	c cleaning 6867 clauses out of 13740 with flag 66326/26870
12.85/11.52	c Got one! Elapsed wall clock time (in seconds):11.375
12.85/11.52	o 134
14.75/13.46	c cleaning 9533 clauses out of 19075 with flag 16061/39072
16.45/15.17	c cleaning 7771 clauses out of 15541 with flag 33250/45071
16.55/15.27	c Got one! Elapsed wall clock time (in seconds):15.127
16.55/15.27	o 132
18.55/17.14	c cleaning 6578 clauses out of 13174 with flag 16907/50475
20.56/19.14	c cleaning 6293 clauses out of 12596 with flag 35852/56475
22.74/21.30	c cleaning 6644 clauses out of 13303 with flag 58977/63475
25.23/23.89	c cleaning 7323 clauses out of 14658 with flag 87037/71474
28.33/26.94	c cleaning 8156 clauses out of 16336 with flag 119530/80475
30.43/29.09	c Got one! Elapsed wall clock time (in seconds):28.946
30.43/29.09	o 127
32.35/30.73	c cleaning 10274 clauses out of 20558 with flag 16043/92853
34.35/32.73	c cleaning 8126 clauses out of 16284 with flag 37672/98853
36.54/34.92	c cleaning 7568 clauses out of 15158 with flag 60688/105853
39.04/37.44	c cleaning 7784 clauses out of 15589 with flag 86736/113852
41.97/40.31	c cleaning 8395 clauses out of 16806 with flag 118263/122853
45.08/43.45	c cleaning 9195 clauses out of 18410 with flag 151653/132852
48.58/46.96	c cleaning 10099 clauses out of 20215 with flag 189042/143852
52.47/50.86	c cleaning 11048 clauses out of 22116 with flag 230969/155852
56.76/55.12	c cleaning 12028 clauses out of 24069 with flag 276845/168853
60.17/58.58	c cleaning 13019 clauses out of 26041 with flag 316022/182853
62.36/60.71	c Got one! Elapsed wall clock time (in seconds):60.572
62.36/60.71	o 126
63.96/62.35	c cleaning 13056 clauses out of 26133 with flag 17997/195964
65.85/64.23	c cleaning 9525 clauses out of 19077 with flag 38567/201964
67.95/66.33	c cleaning 8264 clauses out of 16552 with flag 61116/208964
70.14/68.53	c cleaning 8135 clauses out of 16288 with flag 86513/216964
72.94/71.33	c cleaning 8566 clauses out of 17152 with flag 116694/225963
76.03/74.41	c cleaning 9289 clauses out of 18589 with flag 150238/235966
79.32/77.73	c cleaning 10142 clauses out of 20297 with flag 188538/246963
81.92/80.25	c Got one! Elapsed wall clock time (in seconds):80.105
81.92/80.25	o 124
83.64/81.88	c cleaning 11625 clauses out of 23252 with flag 16551/260060
85.86/83.90	c cleaning 8802 clauses out of 17629 with flag 37765/266062
88.31/86.12	c cleaning 7902 clauses out of 15825 with flag 61813/273060
90.60/88.47	c cleaning 7950 clauses out of 15923 with flag 86966/281060
93.39/91.20	c cleaning 8472 clauses out of 16973 with flag 116413/290060
96.29/94.18	c cleaning 9241 clauses out of 18501 with flag 148814/300060
99.78/97.67	c cleaning 10126 clauses out of 20262 with flag 185565/311062
103.47/101.35	c cleaning 11062 clauses out of 22136 with flag 228246/323062
107.56/105.40	c cleaning 12029 clauses out of 24072 with flag 273613/336060
111.75/109.61	c cleaning 13016 clauses out of 26043 with flag 321032/350060
113.34/111.26	c Got one! Elapsed wall clock time (in seconds):111.114
113.34/111.26	o 117
115.15/113.01	c cleaning 11872 clauses out of 23751 with flag 17079/360784
116.84/114.79	c cleaning 8933 clauses out of 17879 with flag 35574/366784
118.83/116.74	c cleaning 7968 clauses out of 15946 with flag 56056/373784
121.13/119.08	c cleaning 7981 clauses out of 15979 with flag 80051/381785
123.72/121.68	c cleaning 8493 clauses out of 16997 with flag 107345/390784
126.71/124.67	c cleaning 9242 clauses out of 18507 with flag 138392/400787
130.11/128.09	c cleaning 10126 clauses out of 20262 with flag 173749/411784
131.20/129.01	c Got one! Elapsed wall clock time (in seconds):128.868
131.20/129.01	o 116
131.80/129.69	c cleaning 7683 clauses out of 15377 with flag 6241/417026
132.20/130.06	c Got one! Elapsed wall clock time (in seconds):129.919
132.20/130.06	o 115
133.40/131.29	c cleaning 6451 clauses out of 12916 with flag 11212/422248
133.70/131.50	c Got one! Elapsed wall clock time (in seconds):131.36
133.70/131.50	o 114
134.70/132.57	c Got one! Elapsed wall clock time (in seconds):132.427
134.70/132.57	o 113
135.39/133.20	c cleaning 6322 clauses out of 12653 with flag 6475/428436
136.94/134.75	c Got one! Elapsed wall clock time (in seconds):134.61
136.94/134.75	o 105
138.44/136.24	c cleaning 8166 clauses out of 16343 with flag 16920/438448
140.24/138.03	c cleaning 7078 clauses out of 14175 with flag 37276/444446
142.24/140.07	c cleaning 7041 clauses out of 14098 with flag 58956/451447
144.53/142.34	c cleaning 7519 clauses out of 15056 with flag 81877/459447
147.02/144.80	c cleaning 8263 clauses out of 16539 with flag 106800/468449
149.61/147.46	c cleaning 9129 clauses out of 18273 with flag 136489/478446
152.60/150.48	c cleaning 10067 clauses out of 20145 with flag 166900/489447
156.40/154.23	c cleaning 11035 clauses out of 22078 with flag 205957/501447
160.79/158.60	c cleaning 12011 clauses out of 24042 with flag 253455/514446
165.08/162.99	c cleaning 13014 clauses out of 26031 with flag 302247/528446
168.78/166.64	c Got one! Elapsed wall clock time (in seconds):166.496
168.78/166.64	o 104
170.57/168.40	c cleaning 14812 clauses out of 29641 with flag 17177/545071
172.57/170.50	c cleaning 10397 clauses out of 20830 with flag 38557/551072
174.86/172.76	c cleaning 8706 clauses out of 17433 with flag 62936/558072
177.46/175.38	c cleaning 8355 clauses out of 16729 with flag 89555/566074
180.35/178.24	c cleaning 8680 clauses out of 17371 with flag 119919/575071
183.54/181.43	c cleaning 9336 clauses out of 18691 with flag 153135/585071
187.04/184.98	c cleaning 10168 clauses out of 20355 with flag 189833/596071
191.03/188.91	c cleaning 11085 clauses out of 22188 with flag 231821/608072
195.12/193.04	c cleaning 12047 clauses out of 24105 with flag 269927/621074
199.42/197.36	c cleaning 13020 clauses out of 26056 with flag 314604/635072
203.91/201.81	c cleaning 14016 clauses out of 28035 with flag 355482/650071
204.90/202.82	c Got one! Elapsed wall clock time (in seconds):202.676
204.90/202.82	o 102
205.70/203.65	c cleaning 9686 clauses out of 19397 with flag 8164/655449
207.90/205.85	c cleaning 7842 clauses out of 15713 with flag 29201/661451
210.29/208.22	c cleaning 7423 clauses out of 14869 with flag 52799/668449
212.98/210.97	c cleaning 7717 clauses out of 15446 with flag 80301/676449
216.08/214.04	c cleaning 8354 clauses out of 16731 with flag 111804/685451
219.37/217.39	c cleaning 9179 clauses out of 18377 with flag 146936/695451
223.18/221.11	c cleaning 10088 clauses out of 20196 with flag 186003/706449
227.07/225.08	c cleaning 11042 clauses out of 22108 with flag 225822/718449
231.65/229.62	c cleaning 12021 clauses out of 24066 with flag 272522/731449
236.55/234.55	c cleaning 13013 clauses out of 26046 with flag 318582/745450
241.44/239.41	c cleaning 14012 clauses out of 28032 with flag 366769/760449
245.93/243.91	c cleaning 15008 clauses out of 30020 with flag 412617/776449
251.52/249.58	c cleaning 15996 clauses out of 32013 with flag 463612/793450
257.11/255.20	c cleaning 17001 clauses out of 34018 with flag 514498/811451
261.59/259.68	c cleaning 18007 clauses out of 36015 with flag 566224/830449
266.79/264.87	c cleaning 19003 clauses out of 38009 with flag 623887/850450
273.08/271.10	c cleaning 20002 clauses out of 40007 with flag 681801/871451
279.38/277.43	c cleaning 20989 clauses out of 42004 with flag 740078/893450
285.27/283.30	c cleaning 22002 clauses out of 44015 with flag 802323/916450
291.98/290.06	c cleaning 22996 clauses out of 46012 with flag 868478/940449
297.47/295.57	c Got one! Elapsed wall clock time (in seconds):295.432
297.47/295.57	o 98
299.66/297.72	c cleaning 23634 clauses out of 47289 with flag 19210/964722
301.76/299.80	c cleaning 14817 clauses out of 29655 with flag 40306/970722
304.06/302.11	c cleaning 10903 clauses out of 21837 with flag 64095/977721
306.85/304.90	c cleaning 9459 clauses out of 18935 with flag 92942/985722
310.04/308.18	c cleaning 9227 clauses out of 18476 with flag 127332/994722
313.53/311.64	c cleaning 9611 clauses out of 19249 with flag 161464/1004722
317.03/315.19	c cleaning 10311 clauses out of 20637 with flag 197545/1015721
321.02/319.18	c cleaning 11160 clauses out of 22326 with flag 239025/1027721
325.60/323.71	c cleaning 12077 clauses out of 24166 with flag 285530/1040721
330.19/328.33	c cleaning 13036 clauses out of 26089 with flag 335152/1054721
335.08/333.20	c cleaning 14025 clauses out of 28056 with flag 387655/1069724
340.07/338.23	c cleaning 15000 clauses out of 30028 with flag 441255/1085721
345.36/343.57	c cleaning 16011 clauses out of 32029 with flag 498208/1102722
351.05/349.25	c cleaning 17007 clauses out of 34019 with flag 559878/1120723
357.33/355.56	c cleaning 17999 clauses out of 36010 with flag 626525/1139721
363.63/361.85	c cleaning 18994 clauses out of 38011 with flag 692669/1159721
370.13/368.39	c cleaning 20001 clauses out of 40018 with flag 763137/1180722
376.62/374.86	c cleaning 21003 clauses out of 42017 with flag 834416/1202722
383.20/381.41	c cleaning 22006 clauses out of 44015 with flag 908925/1225723
390.09/388.37	c cleaning 23004 clauses out of 46009 with flag 983964/1249723
398.17/396.48	c cleaning 24000 clauses out of 48003 with flag 1072668/1274721
406.15/404.45	c cleaning 24991 clauses out of 50004 with flag 1154211/1300722
414.46/412.76	c cleaning 25998 clauses out of 52010 with flag 1228058/1327721
423.75/422.08	c cleaning 26999 clauses out of 54014 with flag 1323628/1355723
433.22/431.51	c cleaning 27995 clauses out of 56013 with flag 1418613/1384721
438.86/437.13	c Got one! Elapsed wall clock time (in seconds):436.984
438.86/437.13	o 97
440.75/439.10	c cleaning 25545 clauses out of 51109 with flag 18623/1407812
442.75/441.03	c cleaning 15773 clauses out of 31563 with flag 38432/1413811
444.84/443.17	c cleaning 11384 clauses out of 22790 with flag 60870/1420811
447.43/445.73	c cleaning 9695 clauses out of 19408 with flag 88172/1428813
450.33/448.64	c cleaning 9344 clauses out of 18711 with flag 119095/1437811
453.73/452.04	c cleaning 9670 clauses out of 19367 with flag 153773/1447811
457.31/455.64	c cleaning 10342 clauses out of 20697 with flag 192396/1458811
460.71/459.03	c cleaning 11168 clauses out of 22355 with flag 228485/1470811
464.39/462.77	c cleaning 12092 clauses out of 24188 with flag 268804/1483812
468.29/466.68	c cleaning 13038 clauses out of 26096 with flag 312231/1497812
472.58/470.97	c cleaning 14023 clauses out of 28057 with flag 357287/1512811
477.57/475.99	c cleaning 15011 clauses out of 30036 with flag 411600/1528813
482.66/481.04	c cleaning 16007 clauses out of 32025 with flag 459961/1545813
488.05/486.40	c cleaning 17004 clauses out of 34017 with flag 516372/1563812
493.64/492.06	c cleaning 17997 clauses out of 36013 with flag 577855/1582812
499.73/498.19	c cleaning 19001 clauses out of 38016 with flag 644426/1602812
506.11/504.59	c cleaning 20006 clauses out of 40015 with flag 707684/1623812
513.21/511.69	c cleaning 20995 clauses out of 42009 with flag 776860/1645812
520.20/518.64	c cleaning 21991 clauses out of 44012 with flag 845293/1668811
528.47/526.94	c cleaning 22993 clauses out of 46023 with flag 932698/1692813
536.75/535.21	c cleaning 24003 clauses out of 48028 with flag 1020887/1717811
546.22/544.71	c cleaning 25009 clauses out of 50025 with flag 1124729/1743811
555.41/553.97	c cleaning 26004 clauses out of 52016 with flag 1221503/1770811
565.38/563.91	c cleaning 27000 clauses out of 54014 with flag 1332710/1798813
574.46/573.05	c cleaning 27997 clauses out of 56013 with flag 1425886/1827812
583.73/582.30	c cleaning 28995 clauses out of 58015 with flag 1521667/1857811
593.42/592.03	c cleaning 29998 clauses out of 60020 with flag 1624641/1888811
603.09/601.79	c cleaning 31005 clauses out of 62022 with flag 1730218/1920811
613.27/611.95	c cleaning 31999 clauses out of 64017 with flag 1839180/1953811
623.94/622.67	c cleaning 33002 clauses out of 66018 with flag 1956660/1987811
634.71/633.46	c cleaning 34001 clauses out of 68017 with flag 2075804/2022812
646.98/645.76	c cleaning 35002 clauses out of 70016 with flag 2204850/2058812
659.26/658.01	c cleaning 36000 clauses out of 72013 with flag 2335737/2095811
670.53/669.34	c cleaning 37000 clauses out of 74013 with flag 2457489/2133811
681.92/680.72	c cleaning 38006 clauses out of 76016 with flag 2580415/2172814
694.98/693.80	c cleaning 38995 clauses out of 78007 with flag 2707559/2212811
707.46/706.39	c cleaning 40005 clauses out of 80013 with flag 2845574/2253812
720.33/719.24	c cleaning 40990 clauses out of 82009 with flag 2991730/2295813
733.21/732.15	c cleaning 41998 clauses out of 84017 with flag 3137853/2338811
746.61/745.52	c cleaning 43006 clauses out of 86019 with flag 3287750/2382811
761.68/760.62	c cleaning 44000 clauses out of 88014 with flag 3450450/2427812
777.64/776.63	c cleaning 44999 clauses out of 90014 with flag 3619987/2473812
791.81/790.82	c cleaning 45999 clauses out of 92015 with flag 3775903/2520812
806.58/805.63	c cleaning 47007 clauses out of 94016 with flag 3938653/2568812
821.54/820.60	c cleaning 48000 clauses out of 96010 with flag 4100523/2617813
838.15/837.20	c cleaning 49000 clauses out of 98008 with flag 4279234/2667811
853.73/852.89	c cleaning 49990 clauses out of 100008 with flag 4449294/2718811
872.08/871.29	c cleaning 51006 clauses out of 102018 with flag 4620497/2770811
889.44/888.69	c cleaning 51995 clauses out of 104012 with flag 4795045/2823811
907.71/906.97	c cleaning 53002 clauses out of 106018 with flag 4978563/2877812
925.88/925.15	c cleaning 54003 clauses out of 108016 with flag 5164016/2932812
943.98/943.21	c cleaning 55003 clauses out of 110013 with flag 5346989/2988812
961.45/960.76	c Got one! Elapsed wall clock time (in seconds):960.615
961.45/960.76	o 96
963.65/962.94	c cleaning 55256 clauses out of 110527 with flag 17850/3044329
965.85/965.16	c cleaning 30626 clauses out of 61270 with flag 39013/3050328
968.34/967.65	c cleaning 18815 clauses out of 37644 with flag 64043/3057328
971.13/970.43	c cleaning 13404 clauses out of 26830 with flag 93786/3065329
974.13/973.48	c cleaning 11205 clauses out of 22425 with flag 125487/3074328
977.42/976.73	c cleaning 10600 clauses out of 21220 with flag 160913/3084328
980.82/980.18	c cleaning 10802 clauses out of 21621 with flag 199465/3095329
984.60/983.92	c cleaning 11405 clauses out of 22819 with flag 240727/3107329
988.89/988.27	c cleaning 12206 clauses out of 24414 with flag 286966/3120329
992.88/992.27	c cleaning 13100 clauses out of 26208 with flag 333076/3134329
997.37/996.71	c cleaning 14046 clauses out of 28108 with flag 386270/3149329
1002.06/1001.44	c cleaning 15030 clauses out of 30063 with flag 439610/3165330
1007.45/1006.87	c cleaning 16014 clauses out of 32032 with flag 493816/3182329
1013.34/1012.72	c cleaning 16994 clauses out of 34017 with flag 551396/3200328
1020.32/1019.77	c cleaning 18008 clauses out of 36023 with flag 627296/3219328
1027.71/1027.17	c cleaning 19004 clauses out of 38016 with flag 710210/3239329
1034.49/1033.98	c cleaning 19999 clauses out of 40012 with flag 781407/3260329
1041.30/1040.74	c cleaning 21001 clauses out of 42012 with flag 850026/3282328
1048.39/1047.88	c cleaning 21993 clauses out of 44011 with flag 918822/3305328
1056.67/1056.13	c cleaning 23003 clauses out of 46017 with flag 1008037/3329328
1065.85/1065.38	c cleaning 24004 clauses out of 48014 with flag 1109751/3354328
1075.43/1074.94	c cleaning 25001 clauses out of 50012 with flag 1214406/3380330
1083.32/1082.80	c cleaning 25989 clauses out of 52010 with flag 1298622/3407329
1092.00/1091.54	c cleaning 27007 clauses out of 54020 with flag 1391483/3435328
1100.48/1100.09	c cleaning 28002 clauses out of 56013 with flag 1482982/3464328
1109.56/1109.16	c cleaning 29001 clauses out of 58011 with flag 1580058/3494328
1118.24/1117.89	c cleaning 29998 clauses out of 60010 with flag 1679572/3525328
1127.12/1126.76	c cleaning 31003 clauses out of 62013 with flag 1776405/3557329
1136.70/1136.36	c cleaning 32005 clauses out of 64011 with flag 1876518/3590330
1147.78/1147.45	c cleaning 32999 clauses out of 66005 with flag 1986314/3624329
1158.76/1158.47	c cleaning 33997 clauses out of 68006 with flag 2093725/3659329
1170.36/1170.08	c cleaning 35005 clauses out of 70010 with flag 2203078/3695330
1182.13/1181.86	c cleaning 35996 clauses out of 72003 with flag 2317764/3732328
1194.80/1194.55	c cleaning 36999 clauses out of 74007 with flag 2435333/3770328
1207.77/1207.55	c cleaning 37997 clauses out of 76008 with flag 2572446/3809328
1221.55/1221.33	c cleaning 38997 clauses out of 78011 with flag 2719308/3849328
1234.92/1234.76	c cleaning 40000 clauses out of 80014 with flag 2866144/3890328
1248.38/1248.20	c cleaning 41001 clauses out of 82015 with flag 2994485/3932329
1262.35/1262.22	c cleaning 42003 clauses out of 84014 with flag 3133475/3975329
1277.23/1277.15	c cleaning 42999 clauses out of 86011 with flag 3298024/4019329
1292.10/1292.03	c cleaning 44001 clauses out of 88012 with flag 3440033/4064329
1307.65/1307.64	c cleaning 45000 clauses out of 90011 with flag 3597950/4110329
1321.82/1321.82	c cleaning 46002 clauses out of 92011 with flag 3733677/4157329
1336.10/1336.18	c cleaning 46995 clauses out of 94008 with flag 3880071/4205328
1351.36/1351.48	c cleaning 47993 clauses out of 96013 with flag 4029660/4254328
1370.32/1370.44	c cleaning 49006 clauses out of 98020 with flag 4219370/4304328
1388.78/1388.95	c cleaning 49999 clauses out of 100015 with flag 4389692/4355329
1405.44/1405.63	c cleaning 50998 clauses out of 102016 with flag 4565340/4407329
1422.92/1423.16	c cleaning 52001 clauses out of 104017 with flag 4732144/4460328
1443.06/1443.33	c cleaning 53007 clauses out of 106017 with flag 4905040/4514329
1463.22/1463.51	c cleaning 54000 clauses out of 108010 with flag 5114304/4569329
1482.87/1483.24	c cleaning 55000 clauses out of 110009 with flag 5303140/4625328
1503.83/1504.27	c cleaning 56003 clauses out of 112009 with flag 5489958/4682328
1520.00/1520.42	c cleaning 56995 clauses out of 114007 with flag 5669512/4740329
1538.42/1538.86	c cleaning 58002 clauses out of 116013 with flag 5865171/4799330
1559.67/1560.18	c cleaning 59001 clauses out of 118011 with flag 6082737/4859330
1579.43/1579.93	c cleaning 59998 clauses out of 120009 with flag 6290889/4920329
1599.38/1599.95	c cleaning 61006 clauses out of 122013 with flag 6505299/4982331
1621.83/1622.49	c cleaning 61992 clauses out of 124005 with flag 6710504/5045329
1644.28/1644.90	c cleaning 63004 clauses out of 126013 with flag 6912330/5109329
1664.54/1665.23	c cleaning 64002 clauses out of 128010 with flag 7134765/5174330
1687.79/1688.58	c cleaning 65000 clauses out of 130006 with flag 7397897/5240328
1708.15/1708.96	c cleaning 65995 clauses out of 132006 with flag 7629482/5307328
1729.50/1730.33	c cleaning 66990 clauses out of 134012 with flag 7841283/5375329
1754.16/1755.07	c cleaning 68003 clauses out of 136022 with flag 8072076/5444329
1778.40/1779.31	c cleaning 69007 clauses out of 138018 with flag 8312128/5514328
1806.73/1807.76	c cleaning 70000 clauses out of 140012 with flag 8539445/5585329
1835.48/1836.47	c cleaning 70999 clauses out of 142011 with flag 8792546/5657328
1860.72/1861.74	c cleaning 72000 clauses out of 144012 with flag 9035796/5730328
1888.36/1889.41	c cleaning 72994 clauses out of 146012 with flag 9284604/5804328
1916.09/1917.27	c cleaning 74005 clauses out of 148018 with flag 9536942/5879328
1946.51/1947.77	c cleaning 75001 clauses out of 150014 with flag 9774058/5955329
1976.02/1977.32	c cleaning 76001 clauses out of 152012 with flag 10012626/6032328
2004.06/2005.46	c cleaning 76998 clauses out of 154012 with flag 10269245/6110329
2034.68/2036.18	c cleaning 77994 clauses out of 156013 with flag 10546103/6189328
2067.83/2069.30	c cleaning 79009 clauses out of 158021 with flag 10807409/6269330
2100.56/2102.16	c cleaning 79992 clauses out of 160010 with flag 11093401/6350328
2130.39/2132.06	c cleaning 81002 clauses out of 162018 with flag 11386114/6432328
2160.23/2161.92	c cleaning 82005 clauses out of 164016 with flag 11646099/6515328
2190.27/2192.04	c cleaning 82998 clauses out of 166011 with flag 11936448/6599328
2220.30/2222.16	c cleaning 83993 clauses out of 168013 with flag 12253697/6684328
2251.43/2253.34	c cleaning 85010 clauses out of 170021 with flag 12539216/6770329
2282.27/2284.23	c cleaning 86000 clauses out of 172010 with flag 12835784/6857328
2314.60/2316.60	c cleaning 86996 clauses out of 174011 with flag 13121910/6945329
2347.33/2349.42	c cleaning 87998 clauses out of 176014 with flag 13419239/7034328
2373.88/2376.03	c cleaning 89000 clauses out of 178017 with flag 13708749/7124329
2402.51/2404.74	c cleaning 90004 clauses out of 180017 with flag 13996217/7215329
2439.02/2441.20	c cleaning 90998 clauses out of 182013 with flag 14335692/7307329
2473.34/2475.61	c cleaning 92002 clauses out of 184014 with flag 14654323/7400328
2509.68/2512.06	c cleaning 92995 clauses out of 186012 with flag 14982757/7494328
2546.69/2549.13	c cleaning 94005 clauses out of 188017 with flag 15287449/7589328
2582.40/2584.90	c cleaning 94997 clauses out of 190012 with flag 15645629/7685328
2618.33/2620.90	c cleaning 96001 clauses out of 192015 with flag 16012431/7782328
2653.26/2655.97	c cleaning 97002 clauses out of 194015 with flag 16330853/7880329
2694.77/2697.53	c cleaning 98000 clauses out of 196013 with flag 16670915/7979329
2735.78/2738.67	c cleaning 99000 clauses out of 198012 with flag 17008912/8079328
2774.90/2777.83	c cleaning 100003 clauses out of 200012 with flag 17348473/8180328
2818.74/2821.61	c cleaning 100994 clauses out of 202010 with flag 17728957/8282329
2863.15/2866.19	c cleaning 102001 clauses out of 204017 with flag 18064908/8385330
2902.97/2906.06	c cleaning 103004 clauses out of 206015 with flag 18436405/8489329
2946.37/2949.59	c cleaning 104002 clauses out of 208011 with flag 18778823/8594329
2948.57/2951.70	c Got one! Elapsed wall clock time (in seconds):2951.561
2948.57/2951.70	o 94
2951.06/2954.26	c cleaning 57346 clauses out of 114705 with flag 17218/8605025
2953.36/2956.57	c cleaning 31664 clauses out of 63358 with flag 40236/8611024
2955.55/2958.75	c cleaning 19345 clauses out of 38695 with flag 64397/8618025
2958.05/2961.26	c cleaning 13669 clauses out of 27350 with flag 87497/8626025
2960.74/2964.00	c cleaning 11336 clauses out of 22682 with flag 112738/8635026
2963.84/2967.08	c cleaning 10661 clauses out of 21344 with flag 144504/8645024
2967.32/2970.52	c cleaning 10826 clauses out of 21684 with flag 183469/8656025
2970.72/2973.93	c cleaning 11423 clauses out of 22858 with flag 222413/8668025
2974.51/2977.80	c cleaning 12204 clauses out of 24436 with flag 266029/8681026
2978.90/2982.12	c cleaning 13101 clauses out of 26230 with flag 313628/8695024
2983.49/2986.72	c cleaning 14062 clauses out of 28131 with flag 363579/8710026
2988.69/2991.98	c cleaning 15027 clauses out of 30067 with flag 420573/8726024
2994.07/2997.38	c cleaning 16015 clauses out of 32041 with flag 481480/8743025
2999.86/3003.14	c cleaning 17008 clauses out of 34026 with flag 540062/8761025
3005.55/3008.89	c cleaning 18004 clauses out of 36017 with flag 596463/8780024
3012.03/3015.38	c cleaning 19005 clauses out of 38014 with flag 656304/8800025
3018.72/3022.10	c cleaning 19999 clauses out of 40008 with flag 727995/8821024
3026.00/3029.30	c cleaning 21001 clauses out of 42009 with flag 799954/8843024
3033.48/3036.82	c cleaning 22003 clauses out of 44010 with flag 871425/8866026
3041.07/3044.40	c cleaning 23001 clauses out of 46005 with flag 945473/8890024
3048.95/3052.33	c cleaning 23996 clauses out of 48006 with flag 1028096/8915026
3057.53/3060.96	c cleaning 25003 clauses out of 50009 with flag 1117021/8941025
3066.51/3069.90	c cleaning 26003 clauses out of 52006 with flag 1201167/8968025
3076.29/3079.72	c cleaning 26995 clauses out of 54002 with flag 1287486/8996024
3085.57/3089.03	c cleaning 28000 clauses out of 56008 with flag 1389834/9025025
3095.66/3099.13	c cleaning 29002 clauses out of 58007 with flag 1493719/9055024
3105.43/3108.91	c cleaning 29996 clauses out of 60005 with flag 1599943/9086024
3116.41/3119.94	c cleaning 30993 clauses out of 62010 with flag 1712116/9118025
3127.59/3131.11	c cleaning 32005 clauses out of 64017 with flag 1818814/9151025
3139.70/3143.21	c cleaning 33002 clauses out of 66012 with flag 1934375/9185025
3150.68/3154.21	c cleaning 33990 clauses out of 68009 with flag 2041089/9220024
3162.15/3165.75	c cleaning 35002 clauses out of 70019 with flag 2160529/9256024
3173.43/3177.09	c cleaning 35997 clauses out of 72017 with flag 2283777/9293024
3185.79/3189.46	c cleaning 37004 clauses out of 74020 with flag 2415639/9331024
3199.17/3202.89	c cleaning 37991 clauses out of 76016 with flag 2550137/9370024
3212.74/3216.40	c cleaning 38999 clauses out of 78026 with flag 2682512/9410025
3226.72/3230.40	c cleaning 40012 clauses out of 80027 with flag 2810907/9451025
3242.08/3245.81	c cleaning 41000 clauses out of 82014 with flag 2956234/9493024
3257.45/3261.23	c cleaning 41996 clauses out of 84014 with flag 3103824/9536024
3273.61/3277.49	c cleaning 43000 clauses out of 86019 with flag 3273341/9580025
3287.88/3291.70	c cleaning 44008 clauses out of 88019 with flag 3427474/9625025
3301.45/3305.32	c cleaning 44999 clauses out of 90011 with flag 3572397/9671025
3313.72/3317.61	c cleaning 46003 clauses out of 92011 with flag 3714792/9718024
3327.39/3331.38	c cleaning 46999 clauses out of 94009 with flag 3869831/9766025
3340.27/3344.26	c cleaning 47996 clauses out of 96009 with flag 4022298/9815024
3354.04/3358.06	c cleaning 49001 clauses out of 98013 with flag 4175123/9865024
3368.61/3372.63	c cleaning 50001 clauses out of 100015 with flag 4332471/9916027
3383.67/3387.72	c cleaning 50996 clauses out of 102012 with flag 4494820/9968025
3400.34/3404.45	c cleaning 51997 clauses out of 104015 with flag 4670034/10021024
3418.20/3422.33	c cleaning 53003 clauses out of 106019 with flag 4845005/10075025
3437.06/3441.27	c cleaning 54001 clauses out of 108015 with flag 5043698/10130024
3457.72/3461.94	c cleaning 55005 clauses out of 110015 with flag 5238763/10186025
3480.47/3484.72	c cleaning 56002 clauses out of 112009 with flag 5456120/10243024
3501.92/3506.29	c cleaning 57000 clauses out of 114008 with flag 5660753/10301025
3522.58/3526.95	c cleaning 57995 clauses out of 116008 with flag 5863176/10360025
3544.23/3548.61	c cleaning 59003 clauses out of 118012 with flag 6064403/10420024
3567.78/3572.28	c cleaning 59994 clauses out of 120009 with flag 6272536/10481024
3590.54/3595.09	c cleaning 61000 clauses out of 122015 with flag 6487867/10543024
3600.01/3604.52	c starts		: 22544
3600.01/3604.53	c conflicts		: 10570681
3600.01/3604.53	c decisions		: 12659055
3600.01/3604.53	c propagations		: 1045006126
3600.01/3604.53	c inspects		: 33538914064
3600.01/3604.53	c shortcuts		: 0
3600.01/3604.53	c learnt literals	: 7
3600.01/3604.53	c learnt binary clauses	: 24
3600.01/3604.53	c learnt ternary clauses	: 57
3600.01/3604.53	c learnt constraints	: 10570674
3600.01/3604.53	c ignored constraints	: 0
3600.01/3604.53	c root simplifications	: 0
3600.01/3604.54	c removed literals (reason simplification)	: 51780903
3600.01/3604.54	c reason swapping (by a shorter reason)	: 0
3600.01/3604.54	c Calls to reduceDB	: 325
3600.01/3604.54	c Number of update (reduction) of LBD	: 1851437
3600.01/3604.54	c Imported unit clauses	: 0
3600.01/3604.54	c No decision after first conflict	: false
3600.01/3604.54	c number of reductions to clauses (during analyze)	: 0
3600.01/3604.54	c number of learned constraints concerned by reduction	: 0
3600.01/3604.54	c number of learning phase by resolution	: 0
3600.01/3604.54	c number of learning phase by cutting planes	: 0
3600.01/3604.54	c number of rounding to 1 operations	: 0
3600.01/3604.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3604.54	c number of reductions of the coefficients by power 2 	: 0
3600.01/3604.54	c number of right shift for reduction by power 2 	: 0
3600.01/3604.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3604.54	c number of ending skipping 	: 0
3600.01/3604.54	c number of internal skipping 	: 0
3600.01/3604.54	c number of derivation steps 	: 0
3600.01/3604.54	c number of skipped derivation steps 	: 0
3600.01/3604.54	c number of remaining unassigned 	: 0
3600.01/3604.54	c number of remaining assigned 	: 0
3600.01/3604.54	c number of falsified literals weakened from reason	: 0
3600.01/3604.54	c number of falsified literals weakened from conflict	: 0
3600.01/3604.54	c time for arithmetic operations	: 0
3600.01/3604.55	c minimum degree of deleted constraints	: null
3600.01/3604.55	c maximum degree of deleted constraints	: null
3600.01/3604.55	c number of deleted constraints	: 0
3600.01/3604.55	c speed (assignments/second)	: 289941.1342486171
3600.01/3604.55	c non guided choices	: 11580
3600.22/3604.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 88648
3600.22/3604.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 24
3600.22/3604.61	s SATISFIABLE
3600.22/3604.61	c Found 18 solution(s)
3600.22/3604.62	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.22/3604.63	c objective function=94
3600.22/3604.63	c Total wall clock time (in seconds): 3604.485

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=53942, runsolver pid=53927

[startup+0.100061 s]*
/proc/loadavg: 0.47 0.91 1.30 8/334 54004
/proc/meminfo: memFree=127943348/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=18930384 memory=55412 CPUtime=0.12 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 6525 0 0 0 10 2 0 0 20 0 18 0 53163266 19384713216 13853 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4732596 13853 5328 1 0 547586 0
[pid=53942/tid=53967] ppid=53927 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 5029 0 0 0 6 1 0 0 20 0 18 0 53163268 19384713216 13853 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=18930384 memory=16955 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53163270 19384713216 13853 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 53163270 19384713216 13853 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55412 KiB

[startup+0.205743 s]*
/proc/loadavg: 0.47 0.91 1.30 9/316 54008
/proc/meminfo: memFree=127917748/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=18930384 memory=68008 CPUtime=0.31 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 7009 0 0 0 28 3 0 0 20 0 18 0 53163266 19384713216 17002 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4732596 17002 5424 1 0 547891 0
[pid=53942/tid=53967] ppid=53927 vsize=18930384 memory=4026663031 CPUtime=0.16 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 5255 0 0 0 15 1 0 0 20 0 18 0 53163268 19384713216 17002 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=18930384 memory=215637836056 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53163270 19384713216 17002 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=18930384 memory=30785 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 53163270 19384713216 17002 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68008 KiB

[startup+0.305571 s]*
/proc/loadavg: 0.47 0.91 1.30 5/293 54011
/proc/meminfo: memFree=127859180/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=18930384 memory=114036 CPUtime=0.5 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 8716 0 0 0 46 4 0 0 20 0 18 0 53163266 19384713216 28509 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4732596 28509 5424 1 0 549077 0
[pid=53942/tid=53967] ppid=53927 vsize=18930384 memory=-7520023360772621766 CPUtime=0.25 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 5280 0 0 0 23 2 0 0 20 0 18 0 53163268 19384713216 28509 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=18930384 memory=-6000919472672762218 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53163270 19384713216 28509 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 53163270 19384713216 28509 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 114036 KiB

[startup+0.700233 s]
/proc/loadavg: 0.47 0.91 1.30 5/294 54028
/proc/meminfo: memFree=127774588/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=18996948 memory=144040 CPUtime=1.26 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 15080 0 0 0 121 5 0 0 20 0 19 0 53163266 19452874752 36010 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4749237 36010 5456 1 0 553648 0
[pid=53942/tid=53967] ppid=53927 vsize=18996948 memory=18176 CPUtime=0.62 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 5393 0 0 0 59 3 0 0 20 0 19 0 53163268 19452874752 36010 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 36010 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=18996948 memory=2892 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 36010 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=18996948 memory=21608 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163301 19452874752 36010 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144040 KiB

[startup+1.50022 s]
/proc/loadavg: 0.47 0.91 1.30 6/295 54029
/proc/meminfo: memFree=127742836/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=18996948 memory=144424 CPUtime=2.46 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 16575 0 0 0 241 5 0 0 20 0 19 0 53163266 19452874752 36106 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4749237 36106 5456 1 0 553653 0
[pid=53942/tid=53967] ppid=53927 vsize=18996948 memory=0 CPUtime=1.4 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 5518 0 0 0 137 3 0 0 20 0 19 0 53163268 19452874752 36106 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 36106 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=18996948 memory=2892 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 36106 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=18996948 memory=21608 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163301 19452874752 36106 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144424 KiB

[startup+3.10552 s]
/proc/loadavg: 0.47 0.91 1.30 5/319 54164
/proc/meminfo: memFree=127737580/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=18996948 memory=148936 CPUtime=4.27 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 21735 0 0 0 421 6 0 0 20 0 19 0 53163266 19452874752 37234 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4749237 37234 5456 1 0 553693 0
[pid=53942/tid=53967] ppid=53927 vsize=18996948 memory=10752 CPUtime=2.99 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 7567 0 0 0 296 3 0 0 20 0 19 0 53163268 19452874752 37234 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=18996948 memory=-6000919477051550058 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 37234 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 37234 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=18996948 memory=2892 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163301 19452874752 37234 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148936 KiB

[startup+6.30017 s]
/proc/loadavg: 1.07 1.03 1.34 5/339 54204
/proc/meminfo: memFree=127598648/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=18996948 memory=149020 CPUtime=7.57 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 22081 0 0 0 751 6 0 0 20 0 19 0 53163266 19452874752 37255 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4749237 37255 5456 1 0 553699 0
[pid=53942/tid=53967] ppid=53927 vsize=18996948 memory=0 CPUtime=6.18 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 7651 0 0 0 615 3 0 0 20 0 19 0 53163268 19452874752 37255 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=18996948 memory=2892 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 37255 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 37255 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=18996948 memory=144424 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163301 19452874752 37255 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149020 KiB

[startup+12.7002 s]
/proc/loadavg: 1.30 1.08 1.36 5/341 54206
/proc/meminfo: memFree=127471604/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=18996948 memory=157220 CPUtime=14.05 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 27740 0 0 0 1398 7 0 0 20 0 19 0 53163266 19452874752 39305 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4749237 39305 5456 1 0 553716 0
[pid=53942/tid=53967] ppid=53927 vsize=18996948 memory=144424 CPUtime=12.56 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 9158 0 0 0 1252 4 0 0 20 0 19 0 53163268 19452874752 39305 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 39305 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 53163270 19452874752 39305 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=18996948 memory=-6000919477051550058 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53163301 19452874752 39305 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 14.05 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157220 KiB

[startup+25.5002 s]
/proc/loadavg: 1.90 1.22 1.40 5/342 54207
/proc/meminfo: memFree=127415020/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=176408 CPUtime=26.93 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 32946 0 0 0 2685 8 0 0 20 0 20 0 53163266 19521036288 44102 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 44102 5520 1 0 554005 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=176408 CPUtime=25.31 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 10373 0 0 0 2527 4 0 0 20 0 20 0 53163268 19521036288 44102 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 44102 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19063512 memory=14248 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 44102 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163301 19521036288 44102 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 26.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176408 KiB

[startup+51.1056 s]
/proc/loadavg: 2.75 1.48 1.48 7/343 54209
/proc/meminfo: memFree=127287736/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=178840 CPUtime=52.77 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 35054 0 0 0 5269 8 0 0 20 0 20 0 53163266 19521036288 44710 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 44710 5552 1 0 554005 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=178840 CPUtime=50.85 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 10964 0 0 0 5081 4 0 0 20 0 20 0 53163268 19521036288 44710 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=178840 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 44710 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0

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

[startup+3282.3 s]
/proc/loadavg: 4.06 4.11 4.06 5/340 54692
/proc/meminfo: memFree=122807680/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3278.5 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 66117 0 0 0 327769 81 0 0 20 0 20 0 53163266 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 326603 5552 1 0 556161 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3273.22 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 24659 0 0 0 327312 10 0 0 20 0 20 0 53163268 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=1306412 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19063512 memory=8113408836119731592 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 1076 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=19063512 memory=14248 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163301 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 3278.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1306412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/340 54694
/proc/meminfo: memFree=122807576/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3338.38 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 66739 0 0 0 333756 82 0 0 20 0 20 0 53163266 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 326603 5552 1 0 556161 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=8113408836119731592 CPUtime=3333.08 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 25139 0 0 0 333297 11 0 0 20 0 20 0 53163268 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=1306412 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163301 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 3338.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1306412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.14 4.07 5/339 54696
/proc/meminfo: memFree=122807464/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3398.25 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 66854 0 0 0 339742 83 0 0 20 0 20 0 53163266 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 326603 5552 1 0 556161 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3392.94 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 25221 0 0 0 339283 11 0 0 20 0 20 0 53163268 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=14248 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19063512 memory=1306412 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163301 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 3398.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1306412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/339 54698
/proc/meminfo: memFree=122807376/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3458.12 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 67070 0 0 0 345728 84 0 0 20 0 20 0 53163266 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 326603 5552 1 0 556161 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3452.8 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 25293 0 0 0 345269 11 0 0 20 0 20 0 53163268 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=1306412 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19063512 memory=1306412 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=19063512 memory=14248 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163301 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 3458.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1306412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/341 54704
/proc/meminfo: memFree=122721556/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3517.99 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 67312 0 0 0 351714 85 0 0 20 0 20 0 53163266 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 326603 5552 1 0 556161 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=1306412 CPUtime=3512.65 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 25501 0 0 0 351254 11 0 0 20 0 20 0 53163268 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=1306412 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19063512 memory=1306412 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=19063512 memory=1306412 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163301 19521036288 326603 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 3517.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1306412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/341 54711
/proc/meminfo: memFree=122647728/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=1349444 CPUtime=3577.86 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 68051 0 0 0 357699 87 0 0 20 0 20 0 53163266 19521036288 337361 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 337361 5552 1 0 556161 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=18176 CPUtime=3572.5 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 26082 0 0 0 357238 12 0 0 20 0 20 0 53163268 19521036288 337361 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=4480 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 337361 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19063512 memory=18176 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 1260 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 337361 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163301 19521036288 337361 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 3577.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1349444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.5 s]
/proc/loadavg: 4.08 4.10 4.07 5/342 54724
/proc/meminfo: memFree=122626856/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19063512 memory=1369924 CPUtime=3600.01 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 68179 0 0 0 359913 88 0 0 20 0 20 0 53163266 19521036288 342481 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4765878 342481 5552 1 0 556161 0
[pid=53942/tid=53967] ppid=53927 vsize=19063512 memory=1324868 CPUtime=3594.65 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 26197 0 0 0 359452 13 0 0 20 0 20 0 53163268 19521036288 342481 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19063512 memory=1353540 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 342481 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19063512 memory=1363780 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 1260 0 0 0 0 0 0 0 20 0 20 0 53163270 19521036288 342481 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=54020] ppid=53927 vsize=19063512 memory=1359684 CPUtime=0 cores=1,3
/proc/53942/task/54020/stat : 54020 (Timer-0) S 53927 53942 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53163301 19521036288 342481 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1369924 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.39 s, system=0.897354 s

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

[startup+3604.61 s]
/proc/loadavg: 4.08 4.10 4.07 5/342 54724
/proc/meminfo: memFree=122626856/131250000 swapFree=33010684/33010684
[pid=53942] ppid=53927 vsize=19263204 memory=1380996 CPUtime=3600.22 cores=1,3
/proc/53942/stat : 53942 (java) S 53927 53942 53867 0 -1 4194304 70496 0 0 0 359933 89 0 0 20 0 21 0 53163266 19725520896 345249 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
/proc/53942/statm: 4815801 345249 5552 1 0 557112 0
[pid=53942/tid=53967] ppid=53927 vsize=19263204 memory=4660 CPUtime=3594.76 cores=1,3
/proc/53942/task/53967/stat : 53967 (java) R 53927 53942 53867 0 -1 4194368 26369 0 0 0 359463 13 0 0 20 0 21 0 53163268 19725520896 345249 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53980] ppid=53927 vsize=19263204 memory=6872 CPUtime=0 cores=1,3
/proc/53942/task/53980/stat : 53980 (Finalizer) S 53927 53942 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53163270 19725520896 345249 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
[pid=53942/tid=53987] ppid=53927 vsize=19263204 memory=-6000919477051550058 CPUtime=0 cores=1,3
/proc/53942/task/53987/stat : 53987 (Common-Cleaner) S 53927 53942 53867 0 -1 4194368 1260 0 0 0 0 0 0 0 20 0 21 0 53163270 19725520896 345249 18446744073709551615 93856101163008 93856101166704 140724636436256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93856101174520 93856101175312 93856110444544 140724636440961 140724636441062 140724636441062 140724636446664 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1380996 KiB

Child status: 143

Real time (s): 3604.64
CPU time (s): 3600.29
CPU user time (s): 3599.39
CPU system time (s): 0.897354
CPU usage (%): 99.8791
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1380996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.39
system time used= 0.897354
maximum resident set size= 1381252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103564
involuntary context switches= 6147


# summary of solver processes directly reported to runsolver:
#   pid: 53942
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3599.39
#   total CPU system time (s): 0.897354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66397 second user time and 16.0253 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-01 15:01:07
IDJOB=4491354
IDBENCH=147703
IDSOLVER=3363
FILE ID=nodeC014/4491354-1751374867
RUNJOBID= nodeC014-1751374867-53879
SLURM_JOB_ID= 9598211
Free space on /tmp= 433008 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491354-1751374867/watcher-4491354-1751374867 -o /tmp/evaluation-result-4491354-1751374867/solver-4491354-1751374867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751374867-53879 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4491354-1751374867.opb

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

MD5SUM BENCH= 6f99dbdca9fbd2980e0943071bb7f8ab
RANDOM SEED=1392071305

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.318
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.128
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.907
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3603.207
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.325
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.185
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.494
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.313
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128070104 kB
MemAvailable:   129786832 kB
Buffers:            3280 kB
Cached:          2513388 kB
SwapCached:            0 kB
Active:           335656 kB
Inactive:        2256652 kB
Active(anon):      93708 kB
Inactive(anon):        0 kB
Active(file):     241948 kB
Inactive(file):  2256652 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5188 kB
Writeback:             0 kB
AnonPages:         78752 kB
Mapped:           103748 kB
Shmem:             18068 kB
KReclaimable:     114736 kB
Slab:             204328 kB
SReclaimable:     114736 kB
SUnreclaim:        89592 kB
KernelStack:        4056 kB
PageTables:         2392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     343028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC014 at 2025-07-01 16:01:12