Trace number 4490849

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)72 3600.26 3643.47

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
MD5SUM615ef0f28fa6784c486981c328c6a987
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 benchmark72
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1287
Total number of constraints2430
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
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.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.09	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4490849-1751383557.opb
0.11/0.14	c reading problem ... 
0.11/0.15	c using VERIPB proof format
0.11/0.15	c  objective function found
0.30/0.29	c ... done. Wall clock time 0.142s.
0.30/0.29	c declared #vars     1287
0.30/0.29	c #constraints  2430
0.30/0.29	c constraints type 
0.30/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2430
0.30/0.29	c 2430 constraints processed.
0.49/0.31	c objective function length is 7 literals
1.07/0.68	c SATISFIABLE
1.07/0.68	c OPTIMIZING...
1.07/0.68	c Got one! Elapsed wall clock time (in seconds):0.534
1.07/0.68	o 119
2.63/1.41	c Got one! Elapsed wall clock time (in seconds):1.272
2.63/1.41	o 118
3.50/1.96	c Got one! Elapsed wall clock time (in seconds):1.812
3.50/1.96	o 115
3.93/2.25	c cleaning 3293 clauses out of 6590 with flag 3441/6590
4.12/2.34	c Got one! Elapsed wall clock time (in seconds):2.194
4.12/2.34	o 106
4.68/2.70	c Got one! Elapsed wall clock time (in seconds):2.556
4.68/2.70	o 104
5.59/3.33	c cleaning 4429 clauses out of 8860 with flag 9025/12153
6.98/4.40	c cleaning 5210 clauses out of 10430 with flag 25464/18152
8.37/5.73	c cleaning 6106 clauses out of 12223 with flag 46477/25155
9.91/7.16	c cleaning 7058 clauses out of 14115 with flag 70025/33153
11.20/8.46	c Got one! Elapsed wall clock time (in seconds):8.313
11.20/8.46	o 98
12.35/9.58	c cleaning 9562 clauses out of 19129 with flag 16154/45225
13.26/10.32	c Got one! Elapsed wall clock time (in seconds):10.177
13.26/10.32	o 96
14.03/10.89	c cleaning 7708 clauses out of 15433 with flag 5605/51091
14.23/10.95	c Got one! Elapsed wall clock time (in seconds):10.808
14.23/10.95	o 90
15.38/11.90	c cleaning 6503 clauses out of 13008 with flag 15315/56374
16.68/13.03	c cleaning 6245 clauses out of 12505 with flag 34157/62374
18.13/14.35	c cleaning 6626 clauses out of 13260 with flag 54751/69374
19.63/15.89	c cleaning 7317 clauses out of 14634 with flag 78174/77374
21.43/17.67	c cleaning 8157 clauses out of 16318 with flag 104521/86375
23.33/19.53	c cleaning 9078 clauses out of 18160 with flag 130767/96374
24.83/21.04	c Got one! Elapsed wall clock time (in seconds):20.897
24.83/21.04	o 89
26.02/22.22	c cleaning 10936 clauses out of 21890 with flag 16992/109182
27.12/23.37	c cleaning 8473 clauses out of 16953 with flag 33169/115181
28.79/24.86	c cleaning 7738 clauses out of 15480 with flag 51507/122181
30.57/26.55	c cleaning 7867 clauses out of 15741 with flag 72645/130180
32.19/28.00	c Got one! Elapsed wall clock time (in seconds):27.859
32.19/28.00	o 87
33.29/29.13	c cleaning 9984 clauses out of 19969 with flag 16911/142275
34.49/30.31	c cleaning 7983 clauses out of 15985 with flag 36338/148275
35.96/31.80	c cleaning 7493 clauses out of 15000 with flag 59973/155273
37.45/33.39	c cleaning 7746 clauses out of 15507 with flag 86560/163273
39.25/35.18	c cleaning 8379 clauses out of 16761 with flag 115606/172273
41.34/37.29	c cleaning 9188 clauses out of 18384 with flag 150158/182275
43.74/39.64	c cleaning 10089 clauses out of 20194 with flag 186934/193273
46.14/42.05	c cleaning 11047 clauses out of 22105 with flag 225277/205273
47.73/43.67	c Got one! Elapsed wall clock time (in seconds):43.528
47.73/43.67	o 81
48.92/44.82	c cleaning 11860 clauses out of 23742 with flag 15896/217957
50.21/46.10	c cleaning 8918 clauses out of 17881 with flag 35620/223956
51.71/47.50	c cleaning 7973 clauses out of 15963 with flag 56196/230956
53.31/49.11	c cleaning 7992 clauses out of 15991 with flag 78949/238957
55.20/51.05	c cleaning 8495 clauses out of 16998 with flag 103444/247956
57.40/53.21	c cleaning 9250 clauses out of 18504 with flag 130980/257957
59.69/55.52	c cleaning 10113 clauses out of 20255 with flag 165049/268958
62.19/58.07	c cleaning 11069 clauses out of 22140 with flag 199025/280956
64.98/60.85	c cleaning 12034 clauses out of 24071 with flag 238667/293956
67.60/63.58	c cleaning 13013 clauses out of 26037 with flag 282142/307956
70.40/66.37	c cleaning 14009 clauses out of 28024 with flag 329143/322956
73.70/69.63	c cleaning 15002 clauses out of 30015 with flag 376448/338956
77.10/73.03	c cleaning 15996 clauses out of 32014 with flag 429234/355957
81.24/77.14	c cleaning 17006 clauses out of 34017 with flag 481409/373956
85.62/81.58	c cleaning 17997 clauses out of 36012 with flag 540834/392957
90.60/86.52	c cleaning 19003 clauses out of 38016 with flag 614068/412958
95.50/91.42	c cleaning 20003 clauses out of 40012 with flag 689061/433957
100.32/96.31	c cleaning 20994 clauses out of 42008 with flag 763183/455956
102.61/98.62	c Got one! Elapsed wall clock time (in seconds):98.479
102.61/98.62	o 79
104.11/100.11	c cleaning 18859 clauses out of 37732 with flag 19391/472674
105.51/101.54	c cleaning 12428 clauses out of 24873 with flag 40445/478674
107.11/103.12	c cleaning 9716 clauses out of 19445 with flag 64744/485674
108.80/104.89	c cleaning 8855 clauses out of 17729 with flag 93348/493674
110.60/106.69	c cleaning 8932 clauses out of 17874 with flag 120135/502674
112.79/108.87	c cleaning 9466 clauses out of 18944 with flag 153194/512676
115.28/111.32	c cleaning 10237 clauses out of 20477 with flag 192015/523675
117.78/113.89	c cleaning 11118 clauses out of 22240 with flag 231488/535675
120.38/116.49	c cleaning 12056 clauses out of 24121 with flag 271245/548674
123.07/119.18	c cleaning 13025 clauses out of 26066 with flag 315617/562675
126.06/122.12	c cleaning 14014 clauses out of 28042 with flag 361976/577676
129.50/125.60	c cleaning 15011 clauses out of 30026 with flag 418312/593674
133.19/129.30	c cleaning 16004 clauses out of 32016 with flag 474884/610675
137.28/133.44	c cleaning 17002 clauses out of 34012 with flag 529948/628675
141.47/137.60	c cleaning 18002 clauses out of 36009 with flag 586918/647674
143.47/139.61	c Got one! Elapsed wall clock time (in seconds):139.463
143.47/139.61	o 78
144.77/140.99	c cleaning 16435 clauses out of 32884 with flag 18519/662551
146.16/142.32	c cleaning 11212 clauses out of 22451 with flag 38235/668553
147.77/143.91	c cleaning 9101 clauses out of 18237 with flag 62501/675551
149.56/145.72	c cleaning 8561 clauses out of 17136 with flag 89445/683551
151.35/147.54	c cleaning 8785 clauses out of 17576 with flag 118446/692552
153.55/149.77	c cleaning 9390 clauses out of 18790 with flag 152552/702551
155.74/151.99	c cleaning 10197 clauses out of 20400 with flag 186457/713551
158.27/154.52	c cleaning 11098 clauses out of 22204 with flag 226288/725552
160.95/157.23	c cleaning 12053 clauses out of 24106 with flag 271203/738552
163.95/160.24	c cleaning 13020 clauses out of 26052 with flag 319193/752551
167.04/163.34	c cleaning 14013 clauses out of 28033 with flag 367885/767552
170.53/166.89	c cleaning 15005 clauses out of 30021 with flag 425105/783553
174.62/170.90	c cleaning 16002 clauses out of 32015 with flag 489973/800552
178.62/174.95	c cleaning 17001 clauses out of 34012 with flag 556586/818551
182.50/178.89	c cleaning 18001 clauses out of 36012 with flag 618058/837552
187.29/183.68	c cleaning 19002 clauses out of 38010 with flag 692987/857551
192.05/188.40	c cleaning 20002 clauses out of 40009 with flag 759147/878552
197.14/193.53	c cleaning 20995 clauses out of 42006 with flag 827972/900551
202.13/198.56	c cleaning 22001 clauses out of 44011 with flag 899202/923551
207.21/203.65	c cleaning 23005 clauses out of 46011 with flag 973801/947552
212.41/208.84	c cleaning 23993 clauses out of 48005 with flag 1050937/972551
218.50/214.92	c cleaning 25000 clauses out of 50013 with flag 1135237/998552
225.39/221.85	c cleaning 25999 clauses out of 52013 with flag 1223766/1025552
231.97/228.40	c cleaning 26998 clauses out of 54013 with flag 1325186/1053551
238.26/234.79	c cleaning 28008 clauses out of 56017 with flag 1414071/1082553
245.25/241.74	c cleaning 29003 clauses out of 58009 with flag 1510150/1112553
252.76/249.37	c cleaning 29998 clauses out of 60006 with flag 1614269/1143553
260.74/257.39	c cleaning 30992 clauses out of 62006 with flag 1730946/1175551
268.93/265.52	c cleaning 32002 clauses out of 64015 with flag 1841218/1208552
277.51/274.14	c cleaning 33002 clauses out of 66013 with flag 1955967/1242552
285.96/282.61	c cleaning 34002 clauses out of 68010 with flag 2081963/1277551
291.36/288.09	c Got one! Elapsed wall clock time (in seconds):287.944
291.36/288.09	o 77
292.95/289.63	c cleaning 30309 clauses out of 60639 with flag 16976/1304182
294.35/291.04	c cleaning 18154 clauses out of 36328 with flag 35678/1310180
295.94/292.64	c cleaning 12580 clauses out of 25174 with flag 58758/1317180
297.84/294.54	c cleaning 10291 clauses out of 20595 with flag 86605/1325181
300.03/296.76	c cleaning 9644 clauses out of 19304 with flag 121178/1334181
302.52/299.21	c cleaning 9826 clauses out of 19660 with flag 159827/1344181
305.12/301.83	c cleaning 10407 clauses out of 20834 with flag 198333/1355181
308.21/304.90	c cleaning 11211 clauses out of 22426 with flag 242763/1367180
310.90/307.68	c cleaning 12099 clauses out of 24217 with flag 285700/1380182
314.17/310.99	c cleaning 13051 clauses out of 26116 with flag 333637/1394180
317.46/314.20	c cleaning 14029 clauses out of 28066 with flag 378377/1409181
320.55/317.33	c cleaning 15008 clauses out of 30037 with flag 429061/1425181
323.94/320.76	c cleaning 16012 clauses out of 32028 with flag 481787/1442180
328.13/324.90	c cleaning 17000 clauses out of 34018 with flag 537185/1460182
332.12/328.90	c cleaning 18008 clauses out of 36017 with flag 597132/1479181
336.31/333.14	c cleaning 18997 clauses out of 38009 with flag 665794/1499181
341.21/338.00	c cleaning 20003 clauses out of 40011 with flag 741774/1520180
345.86/342.79	c cleaning 21002 clauses out of 42009 with flag 816625/1542181
351.54/348.40	c cleaning 21994 clauses out of 44007 with flag 903153/1565181
355.14/352.08	c Got one! Elapsed wall clock time (in seconds):351.936
355.14/352.08	o 76
356.33/353.24	c cleaning 21439 clauses out of 42895 with flag 16688/1586063
357.63/354.58	c cleaning 13718 clauses out of 27454 with flag 38446/1592061
359.13/356.06	c cleaning 10355 clauses out of 20736 with flag 62491/1599061
360.82/357.78	c cleaning 9180 clauses out of 18381 with flag 90241/1607061
362.81/359.78	c cleaning 9090 clauses out of 18201 with flag 122724/1616061
365.01/361.92	c cleaning 9551 clauses out of 19111 with flag 155122/1626061
367.31/364.26	c cleaning 10274 clauses out of 20561 with flag 190968/1637062
369.80/366.76	c cleaning 11136 clauses out of 22287 with flag 230574/1649062
372.67/369.66	c cleaning 12071 clauses out of 24150 with flag 274474/1662061
375.76/372.72	c cleaning 13040 clauses out of 26079 with flag 320612/1676061
379.26/376.27	c cleaning 14013 clauses out of 28039 with flag 375985/1691061
382.84/379.82	c cleaning 15006 clauses out of 30026 with flag 431868/1707061
386.74/383.73	c cleaning 16007 clauses out of 32020 with flag 490856/1724061
390.83/387.86	c cleaning 17002 clauses out of 34015 with flag 554701/1742063
394.92/391.90	c cleaning 18003 clauses out of 36012 with flag 621116/1761062
399.01/396.09	c cleaning 18994 clauses out of 38008 with flag 686024/1781061
403.97/401.06	c cleaning 20002 clauses out of 40014 with flag 754320/1802061
408.76/405.81	c cleaning 20999 clauses out of 42013 with flag 819915/1824062
413.06/410.17	c cleaning 22000 clauses out of 44015 with flag 883987/1847063
417.84/415.00	c cleaning 23000 clauses out of 46013 with flag 954227/1871061
423.92/421.03	c cleaning 24007 clauses out of 48014 with flag 1031008/1896062
429.60/426.71	c cleaning 24999 clauses out of 50006 with flag 1116673/1922061
434.76/431.96	c cleaning 25997 clauses out of 52008 with flag 1204257/1949062
440.65/437.87	c cleaning 26999 clauses out of 54010 with flag 1303900/1977061
447.13/444.37	c cleaning 27998 clauses out of 56012 with flag 1401651/2006062
453.50/450.73	c cleaning 28996 clauses out of 58014 with flag 1496105/2036062
460.59/457.84	c cleaning 29999 clauses out of 60018 with flag 1597582/2067062
468.34/465.64	c cleaning 30994 clauses out of 62018 with flag 1707571/2099061
477.52/474.82	c cleaning 31997 clauses out of 64025 with flag 1835441/2132062
485.82/483.19	c cleaning 33003 clauses out of 66028 with flag 1945486/2166062
493.39/490.78	c cleaning 34009 clauses out of 68026 with flag 2061913/2201063
501.04/498.47	c cleaning 35003 clauses out of 70017 with flag 2181825/2237063
510.04/507.42	c cleaning 36003 clauses out of 72013 with flag 2308734/2274062
519.81/517.27	c cleaning 37002 clauses out of 74010 with flag 2448726/2312062
528.35/525.83	c cleaning 37997 clauses out of 76009 with flag 2580498/2351063
538.25/535.79	c cleaning 38992 clauses out of 78011 with flag 2723860/2391062
548.23/545.79	c cleaning 40001 clauses out of 80018 with flag 2870864/2432061
558.78/556.33	c cleaning 41006 clauses out of 82017 with flag 3010986/2474061
569.37/566.95	c cleaning 41994 clauses out of 84013 with flag 3162154/2517063
580.54/578.16	c cleaning 42994 clauses out of 86018 with flag 3318284/2561062
591.78/590.05	c cleaning 44007 clauses out of 88023 with flag 3480487/2606061
603.95/602.28	c cleaning 44998 clauses out of 90016 with flag 3658227/2652061
616.26/614.55	c cleaning 46003 clauses out of 92019 with flag 3832053/2699062
628.68/627.06	c cleaning 47003 clauses out of 94016 with flag 4010263/2747062
641.19/639.54	c cleaning 48001 clauses out of 96013 with flag 4187936/2796062
649.13/647.58	c Got one! Elapsed wall clock time (in seconds):647.437
649.13/647.58	o 75
651.12/649.53	c cleaning 42213 clauses out of 84442 with flag 20026/2832492
652.81/651.22	c cleaning 24116 clauses out of 48232 with flag 43912/2838495
654.51/652.97	c cleaning 15546 clauses out of 31114 with flag 71137/2845493
656.21/654.63	c cleaning 11777 clauses out of 23567 with flag 97937/2853492
658.00/656.42	c cleaning 10388 clauses out of 20791 with flag 125470/2862493
659.89/658.33	c cleaning 10189 clauses out of 20402 with flag 155135/2872492
662.10/660.59	c cleaning 10600 clauses out of 21213 with flag 191661/2883492
664.69/663.18	c cleaning 11303 clauses out of 22614 with flag 232924/2895493
667.80/666.26	c cleaning 12153 clauses out of 24311 with flag 277213/2908493
670.90/669.36	c cleaning 13072 clauses out of 26158 with flag 325722/2922493
674.30/672.73	c cleaning 14036 clauses out of 28085 with flag 374097/2937492
677.88/676.36	c cleaning 15018 clauses out of 30049 with flag 428725/2953492
681.72/680.29	c cleaning 16011 clauses out of 32031 with flag 488187/2970492
686.02/684.51	c cleaning 17004 clauses out of 34021 with flag 551740/2988493
690.64/689.17	c cleaning 18003 clauses out of 36016 with flag 621545/3007492
695.43/693.91	c cleaning 19005 clauses out of 38015 with flag 692907/3027494
700.22/698.70	c cleaning 20003 clauses out of 40008 with flag 761536/3048492
705.30/703.84	c cleaning 21002 clauses out of 42006 with flag 837253/3070493
710.82/709.46	c cleaning 21998 clauses out of 44003 with flag 921594/3093492
716.72/715.37	c cleaning 22994 clauses out of 46005 with flag 1010777/3117492
723.00/721.62	c cleaning 24000 clauses out of 48011 with flag 1104393/3142492
728.19/726.84	c cleaning 25002 clauses out of 50011 with flag 1186504/3168492
733.49/732.18	c cleaning 26001 clauses out of 52011 with flag 1271549/3195494
739.27/737.99	c cleaning 27004 clauses out of 54008 with flag 1359893/3223492
745.85/744.52	c cleaning 27997 clauses out of 56006 with flag 1460811/3252494
752.73/751.41	c cleaning 29000 clauses out of 58008 with flag 1564380/3282493
759.87/758.55	c cleaning 29994 clauses out of 60007 with flag 1668860/3313492
767.84/766.59	c cleaning 31005 clauses out of 62013 with flag 1770833/3345492
775.99/778.38	c cleaning 31998 clauses out of 64009 with flag 1889068/3378493
784.68/787.06	c cleaning 32999 clauses out of 66010 with flag 2014438/3412492
793.09/795.46	c cleaning 34003 clauses out of 68014 with flag 2132465/3447495
802.12/804.52	c cleaning 34997 clauses out of 70009 with flag 2268374/3483493
811.35/813.77	c cleaning 36005 clauses out of 72012 with flag 2405527/3520493
821.82/824.22	c cleaning 36999 clauses out of 74007 with flag 2552806/3558493
833.14/835.69	c cleaning 37993 clauses out of 76008 with flag 2712409/3597493
844.58/847.01	c cleaning 38999 clauses out of 78014 with flag 2860942/3637492
855.94/858.49	c cleaning 40004 clauses out of 80016 with flag 3001039/3678493
866.50/869.07	c cleaning 41001 clauses out of 82012 with flag 3153844/3720493
878.90/881.40	c cleaning 42001 clauses out of 84010 with flag 3312625/3763492
889.97/892.53	c cleaning 42999 clauses out of 86010 with flag 3477087/3807493
902.24/904.82	c cleaning 43996 clauses out of 88011 with flag 3654833/3852493
914.30/916.92	c cleaning 44999 clauses out of 90015 with flag 3815488/3898493
926.20/928.86	c cleaning 46002 clauses out of 92016 with flag 3981328/3945493
939.06/941.76	c cleaning 46999 clauses out of 94014 with flag 4142847/3993493
952.38/955.04	c cleaning 47999 clauses out of 96014 with flag 4315521/4042492
965.41/968.16	c cleaning 48998 clauses out of 98016 with flag 4493123/4092493
966.20/969.00	c Got one! Elapsed wall clock time (in seconds):968.858
966.30/969.00	o 74
966.99/969.71	c cleaning 27326 clauses out of 54670 with flag 7741/4098145
968.59/971.34	c cleaning 16663 clauses out of 33343 with flag 28754/4104144
970.28/973.07	c cleaning 11831 clauses out of 23681 with flag 50452/4111145
972.07/974.88	c cleaning 9918 clauses out of 19849 with flag 73282/4119144
974.08/976.82	c cleaning 9457 clauses out of 18932 with flag 99287/4128145
976.27/979.04	c cleaning 9730 clauses out of 19474 with flag 130210/4138144
978.87/981.64	c cleaning 10365 clauses out of 20745 with flag 167269/4149145
981.76/984.55	c cleaning 11186 clauses out of 22379 with flag 208441/4161144
984.95/987.70	c cleaning 12089 clauses out of 24193 with flag 251462/4174144
988.31/991.16	c cleaning 13047 clauses out of 26104 with flag 299997/4188144
991.90/994.79	c cleaning 14026 clauses out of 28057 with flag 349557/4203144
995.58/998.45	c cleaning 15007 clauses out of 30031 with flag 401406/4219144
999.37/1002.22	c cleaning 16011 clauses out of 32024 with flag 454971/4236144
1004.08/1006.95	c cleaning 17000 clauses out of 34014 with flag 524692/4254145
1008.36/1011.23	c cleaning 18002 clauses out of 36014 with flag 585418/4273145
1013.16/1016.05	c cleaning 18999 clauses out of 38011 with flag 651445/4293144
1018.30/1021.22	c cleaning 20000 clauses out of 40012 with flag 719252/4314144
1023.28/1026.20	c cleaning 20996 clauses out of 42014 with flag 794708/4336146
1028.59/1031.50	c cleaning 22003 clauses out of 44017 with flag 877625/4359145
1033.88/1036.85	c cleaning 22999 clauses out of 46013 with flag 959946/4383144
1040.35/1043.32	c cleaning 23994 clauses out of 48014 with flag 1064720/4408144
1047.14/1050.15	c cleaning 25005 clauses out of 50021 with flag 1156736/4434145
1054.31/1057.30	c cleaning 26006 clauses out of 52018 with flag 1256789/4461147
1060.86/1063.92	c cleaning 26994 clauses out of 54009 with flag 1358767/4489144
1067.45/1070.59	c cleaning 27996 clauses out of 56015 with flag 1460433/4518144
1074.93/1078.06	c cleaning 29007 clauses out of 58019 with flag 1566400/4548144
1082.64/1085.80	c cleaning 29999 clauses out of 60013 with flag 1678756/4579145
1090.21/1093.44	c cleaning 31000 clauses out of 62014 with flag 1794219/4611145
1097.40/1100.64	c cleaning 32007 clauses out of 64015 with flag 1910095/4644146
1105.61/1108.86	c cleaning 33002 clauses out of 66006 with flag 2039575/4678144
1113.32/1116.67	c cleaning 33996 clauses out of 68007 with flag 2158170/4713147
1122.70/1126.00	c cleaning 35002 clauses out of 70009 with flag 2285592/4749145
1132.00/1135.30	c cleaning 35995 clauses out of 72008 with flag 2410656/4786146
1142.41/1145.84	c cleaning 36995 clauses out of 74011 with flag 2558535/4824144
1152.12/1155.54	c cleaning 38000 clauses out of 76016 with flag 2695233/4863144
1162.69/1166.19	c cleaning 39004 clauses out of 78018 with flag 2844884/4903146
1175.12/1178.61	c cleaning 40002 clauses out of 80012 with flag 3015587/4944144
1186.12/1189.62	c cleaning 41003 clauses out of 82012 with flag 3173140/4986146
1196.80/1200.35	c cleaning 42001 clauses out of 84007 with flag 3330696/5029144
1209.16/1212.71	c cleaning 42998 clauses out of 86006 with flag 3502014/5073144
1221.01/1224.68	c cleaning 43999 clauses out of 88009 with flag 3672608/5118145
1233.00/1236.62	c cleaning 45001 clauses out of 90009 with flag 3835544/5164144
1245.56/1249.22	c cleaning 45996 clauses out of 92009 with flag 4010666/5211145
1258.16/1261.87	c cleaning 47003 clauses out of 94013 with flag 4193198/5259145
1272.78/1276.54	c cleaning 48002 clauses out of 96009 with flag 4392114/5308144
1287.16/1290.52	c cleaning 48995 clauses out of 98006 with flag 4576415/5358144
1301.49/1304.95	c cleaning 50002 clauses out of 100011 with flag 4773712/5409144
1316.40/1319.86	c cleaning 50997 clauses out of 102009 with flag 4971374/5461145
1330.34/1333.85	c cleaning 52000 clauses out of 104012 with flag 5174493/5514145
1344.76/1348.34	c cleaning 53001 clauses out of 106012 with flag 5388153/5568145
1359.54/1363.15	c cleaning 53999 clauses out of 108010 with flag 5600003/5623144
1375.68/1379.38	c cleaning 54999 clauses out of 110012 with flag 5817537/5679145
1392.36/1396.01	c cleaning 55999 clauses out of 112012 with flag 6039273/5736144
1407.89/1411.68	c cleaning 56997 clauses out of 114013 with flag 6261737/5794144
1423.99/1427.74	c cleaning 57993 clauses out of 116016 with flag 6483336/5853144
1441.24/1445.01	c cleaning 58999 clauses out of 118024 with flag 6700531/5913145
1457.01/1460.81	c cleaning 60008 clauses out of 120025 with flag 6924896/5974145
1474.27/1478.18	c cleaning 61004 clauses out of 122016 with flag 7158382/6036144
1491.03/1494.94	c cleaning 62002 clauses out of 124014 with flag 7382778/6099146
1510.26/1514.23	c cleaning 62999 clauses out of 126012 with flag 7642541/6163146
1528.95/1532.94	c cleaning 63997 clauses out of 128012 with flag 7881784/6228145
1548.16/1552.29	c cleaning 65003 clauses out of 130015 with flag 8122198/6294145
1567.06/1571.19	c cleaning 65997 clauses out of 132012 with flag 8354962/6361145
1586.90/1591.03	c cleaning 66998 clauses out of 134016 with flag 8605563/6429146
1604.71/1608.94	c cleaning 68003 clauses out of 136017 with flag 8831560/6498145
1626.10/1630.35	c cleaning 69004 clauses out of 138015 with flag 9107450/6568146
1646.05/1656.77	c cleaning 70000 clauses out of 140010 with flag 9388110/6639145
1666.84/1677.50	c cleaning 71000 clauses out of 142011 with flag 9688370/6711146
1687.61/1698.38	c cleaning 71997 clauses out of 144010 with flag 9945111/6784145
1708.54/1719.38	c cleaning 72997 clauses out of 146012 with flag 10209839/6858144
1727.90/1738.79	c cleaning 73994 clauses out of 148015 with flag 10471146/6933144
1748.31/1759.28	c cleaning 75003 clauses out of 150022 with flag 10755450/7009145
1770.88/1781.88	c cleaning 76004 clauses out of 152019 with flag 11043629/7086145
1792.44/1803.45	c cleaning 76995 clauses out of 154014 with flag 11323900/7164144
1813.46/1824.54	c cleaning 78002 clauses out of 156022 with flag 11599916/7243147
1836.55/1847.60	c cleaning 79007 clauses out of 158017 with flag 11907076/7323144
1862.51/1873.68	c cleaning 80002 clauses out of 160011 with flag 12216936/7404145
1890.53/1901.79	c cleaning 80995 clauses out of 162008 with flag 12542934/7486144
1916.30/1927.50	c cleaning 82003 clauses out of 164014 with flag 12853650/7569145
1942.16/1953.44	c cleaning 82999 clauses out of 166012 with flag 13175382/7653146
1967.93/1979.26	c cleaning 83997 clauses out of 168012 with flag 13495624/7738145
1994.45/2005.80	c cleaning 84998 clauses out of 170014 with flag 13818977/7824144
2019.13/2030.58	c cleaning 85998 clauses out of 172015 with flag 14152499/7911144
2048.61/2062.86	c cleaning 87002 clauses out of 174017 with flag 14494321/7999144
2073.20/2087.50	c cleaning 88002 clauses out of 176017 with flag 14811588/8088146
2101.67/2116.04	c cleaning 89003 clauses out of 178013 with flag 15158952/8178144
2126.54/2140.90	c cleaning 89993 clauses out of 180011 with flag 15487840/8269145
2155.39/2170.82	c cleaning 90999 clauses out of 182017 with flag 15838961/8361144
2183.94/2199.73	c cleaning 92001 clauses out of 184018 with flag 16188703/8454144
2212.39/2228.29	c cleaning 93004 clauses out of 186017 with flag 16538032/8548144
2239.06/2254.93	c cleaning 94004 clauses out of 188014 with flag 16876514/8643145
2270.82/2286.84	c cleaning 94994 clauses out of 190010 with flag 17249132/8739145
2304.65/2320.75	c cleaning 96004 clauses out of 192016 with flag 17632368/8836145
2336.94/2358.25	c cleaning 96999 clauses out of 194011 with flag 18021983/8934144
2368.20/2389.91	c cleaning 97999 clauses out of 196013 with flag 18389579/9033145
2398.17/2420.04	c cleaning 99002 clauses out of 198014 with flag 18742289/9133145
2430.73/2452.64	c cleaning 100000 clauses out of 200011 with flag 19133522/9234144
2464.20/2489.33	c cleaning 101000 clauses out of 202011 with flag 19547498/9336144
2467.68/2492.84	c Got one! Elapsed wall clock time (in seconds):2492.693
2467.68/2492.84	o 72
2469.68/2494.84	c cleaning 59002 clauses out of 118012 with flag 20162/9353145
2471.58/2496.72	c cleaning 32498 clauses out of 65008 with flag 43285/9359143
2473.37/2498.59	c cleaning 19750 clauses out of 39512 with flag 69216/9366145
2475.46/2500.68	c cleaning 13872 clauses out of 27760 with flag 98212/9374143
2477.87/2503.00	c cleaning 11434 clauses out of 22888 with flag 132004/9383143
2480.14/2505.37	c cleaning 10720 clauses out of 21454 with flag 165608/9393143
2482.38/2507.50	c cleaning 10864 clauses out of 21734 with flag 197132/9404143
2484.55/2514.87	c cleaning 11428 clauses out of 22870 with flag 229837/9416143
2487.74/2518.04	c cleaning 12219 clauses out of 24442 with flag 277075/9429143
2491.24/2521.60	c cleaning 13103 clauses out of 26223 with flag 330299/9443143
2495.32/2525.69	c cleaning 14051 clauses out of 28120 with flag 395212/9458143
2499.51/2529.82	c cleaning 15026 clauses out of 30069 with flag 455258/9474143
2503.71/2534.08	c cleaning 16014 clauses out of 32044 with flag 518420/9491144
2508.20/2538.53	c cleaning 17008 clauses out of 34029 with flag 582635/9509143
2513.19/2543.59	c cleaning 18007 clauses out of 36021 with flag 656626/9528143
2517.78/2548.19	c cleaning 18999 clauses out of 38014 with flag 721090/9548143
2522.86/2553.26	c cleaning 20004 clauses out of 40017 with flag 793564/9569145
2527.85/2558.23	c cleaning 20998 clauses out of 42011 with flag 867018/9591143
2532.54/2562.99	c cleaning 21999 clauses out of 44014 with flag 937429/9614144
2537.92/2568.38	c cleaning 23004 clauses out of 46014 with flag 1015227/9638143
2544.22/2574.60	c cleaning 23997 clauses out of 48010 with flag 1104928/9663143
2551.10/2581.53	c cleaning 25002 clauses out of 50014 with flag 1203465/9689144
2558.28/2588.79	c cleaning 25997 clauses out of 52011 with flag 1300013/9716143
2565.96/2596.40	c cleaning 26997 clauses out of 54014 with flag 1408369/9744143
2573.11/2603.67	c cleaning 27999 clauses out of 56018 with flag 1511049/9773144
2579.73/2610.23	c cleaning 29000 clauses out of 58019 with flag 1606520/9803144
2586.31/2616.89	c cleaning 30007 clauses out of 60019 with flag 1705536/9834144
2593.60/2624.17	c cleaning 30999 clauses out of 62011 with flag 1809675/9866143
2601.49/2632.03	c cleaning 32001 clauses out of 64012 with flag 1932077/9899143
2609.45/2640.02	c cleaning 32999 clauses out of 66013 with flag 2048212/9933145
2618.53/2649.18	c cleaning 34005 clauses out of 68015 with flag 2168914/9968146
2628.10/2658.74	c cleaning 35000 clauses out of 70007 with flag 2300788/10004143
2637.55/2668.29	c cleaning 35997 clauses out of 72008 with flag 2434131/10041144
2647.07/2677.78	c cleaning 36995 clauses out of 74010 with flag 2566558/10079143
2657.44/2688.17	c cleaning 38003 clauses out of 76015 with flag 2715829/10118143
2668.59/2699.36	c cleaning 38999 clauses out of 78013 with flag 2868583/10158144
2679.20/2709.93	c cleaning 40004 clauses out of 80013 with flag 3015375/10199143
2689.37/2720.17	c cleaning 40990 clauses out of 82009 with flag 3163036/10241143
2700.08/2730.91	c cleaning 42001 clauses out of 84020 with flag 3316774/10284144
2710.40/2741.27	c cleaning 43001 clauses out of 86018 with flag 3463403/10328143
2721.77/2752.66	c cleaning 44009 clauses out of 88018 with flag 3625591/10373144
2733.61/2764.50	c cleaning 44996 clauses out of 90010 with flag 3794245/10419145
2746.13/2777.07	c cleaning 46003 clauses out of 92014 with flag 3967507/10466145
2757.96/2789.00	c cleaning 47000 clauses out of 94009 with flag 4133215/10514143
2771.32/2802.32	c cleaning 48001 clauses out of 96011 with flag 4318340/10563145
2785.32/2816.31	c cleaning 48998 clauses out of 98008 with flag 4514977/10613143
2799.35/2830.47	c cleaning 49996 clauses out of 100010 with flag 4704442/10664143
2813.95/2845.05	c cleaning 51004 clauses out of 102015 with flag 4894256/10716144
2826.89/2858.07	c cleaning 51998 clauses out of 104010 with flag 5076595/10769143
2841.45/2872.67	c cleaning 52995 clauses out of 106013 with flag 5272510/10823144
2856.11/2887.39	c cleaning 54000 clauses out of 108019 with flag 5462330/10878145
2871.38/2902.61	c cleaning 54998 clauses out of 110017 with flag 5663503/10934143
2887.34/2918.69	c cleaning 56005 clauses out of 112019 with flag 5872441/10991143
2902.21/2933.54	c cleaning 57007 clauses out of 114015 with flag 6077772/11049144
2918.38/2949.77	c cleaning 57999 clauses out of 116007 with flag 6294079/11108143
2935.25/2966.63	c cleaning 58997 clauses out of 118008 with flag 6507397/11168143
2951.88/2983.39	c cleaning 59998 clauses out of 120011 with flag 6726065/11229143
2968.25/2999.74	c cleaning 60997 clauses out of 122014 with flag 6942821/11291144
2985.69/3017.27	c cleaning 62005 clauses out of 124017 with flag 7166589/11354144
3003.65/3035.26	c cleaning 62993 clauses out of 126011 with flag 7400343/11418143
3021.61/3053.21	c cleaning 64000 clauses out of 128018 with flag 7642405/11483143
3042.63/3074.31	c cleaning 65002 clauses out of 130018 with flag 7902545/11549143
3061.18/3092.91	c cleaning 66003 clauses out of 132017 with flag 8141326/11616144
3082.52/3114.37	c cleaning 66993 clauses out of 134013 with flag 8398913/11684143
3102.56/3134.43	c cleaning 68005 clauses out of 136020 with flag 8660145/11753143
3122.54/3154.43	c cleaning 69004 clauses out of 138015 with flag 8922527/11823143
3145.05/3177.05	c cleaning 69999 clauses out of 140011 with flag 9208290/11894143
3166.38/3198.48	c cleaning 71001 clauses out of 142013 with flag 9487920/11966144
3188.64/3223.44	c cleaning 72000 clauses out of 144012 with flag 9763371/12039144
3210.89/3245.76	c cleaning 73001 clauses out of 146012 with flag 10036321/12113144
3233.42/3270.36	c cleaning 74001 clauses out of 148010 with flag 10328941/12188143
3256.14/3293.10	c cleaning 75000 clauses out of 150010 with flag 10613230/12264144
3279.64/3316.72	c cleaning 75998 clauses out of 152009 with flag 10904349/12341143
3304.03/3341.19	c cleaning 77000 clauses out of 154011 with flag 11207181/12419143
3328.74/3365.91	c cleaning 77998 clauses out of 156012 with flag 11525676/12498144
3354.78/3392.04	c cleaning 79005 clauses out of 158014 with flag 11850140/12578144
3383.24/3420.50	c cleaning 79998 clauses out of 160009 with flag 12182252/12659144
3411.44/3448.82	c cleaning 81004 clauses out of 162011 with flag 12517532/12741144
3436.34/3477.45	c cleaning 82004 clauses out of 164009 with flag 12833853/12824146
3460.63/3501.79	c cleaning 82992 clauses out of 166003 with flag 13141529/12908144
3486.43/3527.66	c cleaning 84000 clauses out of 168011 with flag 13463955/12993144
3510.78/3551.93	c cleaning 84993 clauses out of 170010 with flag 13773851/13079143
3537.34/3578.55	c cleaning 86005 clauses out of 172017 with flag 14096459/13166143
3564.24/3605.57	c cleaning 86997 clauses out of 174012 with flag 14434637/13254143
3591.69/3633.03	c cleaning 88003 clauses out of 176015 with flag 14805313/13343143
3600.07/3641.41	c starts		: 12879
3600.07/3641.41	c conflicts		: 13373174
3600.07/3641.41	c decisions		: 15249419
3600.07/3641.41	c propagations		: 1069344525
3600.07/3641.41	c inspects		: 35156121337
3600.07/3641.41	c shortcuts		: 0
3600.07/3641.41	c learnt literals	: 3
3600.07/3641.41	c learnt binary clauses	: 15
3600.07/3641.41	c learnt ternary clauses	: 31
3600.07/3641.41	c learnt constraints	: 13373171
3600.07/3641.41	c ignored constraints	: 0
3600.07/3641.41	c root simplifications	: 0
3600.07/3641.41	c removed literals (reason simplification)	: 53031400
3600.07/3641.41	c reason swapping (by a shorter reason)	: 0
3600.07/3641.41	c Calls to reduceDB	: 382
3600.07/3641.41	c Number of update (reduction) of LBD	: 2461527
3600.07/3641.41	c Imported unit clauses	: 0
3600.07/3641.41	c No decision after first conflict	: false
3600.07/3641.41	c number of reductions to clauses (during analyze)	: 0
3600.07/3641.41	c number of learned constraints concerned by reduction	: 0
3600.07/3641.41	c number of learning phase by resolution	: 0
3600.07/3641.41	c number of learning phase by cutting planes	: 0
3600.07/3641.41	c number of rounding to 1 operations	: 0
3600.07/3641.41	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3641.41	c number of reductions of the coefficients by power 2 	: 0
3600.07/3641.41	c number of right shift for reduction by power 2 	: 0
3600.07/3641.41	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3641.41	c number of ending skipping 	: 0
3600.07/3641.41	c number of internal skipping 	: 0
3600.07/3641.41	c number of derivation steps 	: 0
3600.07/3641.41	c number of skipped derivation steps 	: 0
3600.07/3641.41	c number of remaining unassigned 	: 0
3600.07/3641.41	c number of remaining assigned 	: 0
3600.07/3641.41	c number of falsified literals weakened from reason	: 0
3600.07/3641.41	c number of falsified literals weakened from conflict	: 0
3600.07/3641.41	c time for arithmetic operations	: 0
3600.07/3641.41	c minimum degree of deleted constraints	: null
3600.07/3641.41	c maximum degree of deleted constraints	: null
3600.07/3641.41	c number of deleted constraints	: 0
3600.07/3641.41	c speed (assignments/second)	: 293687.7813887204
3600.07/3641.41	c non guided choices	: 17673
3600.07/3641.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 118028
3600.07/3641.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 15
3600.07/3641.48	s SATISFIABLE
3600.07/3641.48	c Found 18 solution(s)
3600.07/3641.48	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 
3600.07/3641.48	c objective function=72
3600.07/3641.48	c Total wall clock time (in seconds): 3641.34

Verifier Data 

OK	72

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=55152, runsolver pid=55149

[startup+0.100063 s]*
/proc/loadavg: 4.32 4.19 4.13 5/341 55170
/proc/meminfo: memFree=81541240/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=18930384 memory=55552 CPUtime=0.11 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 6536 0 0 0 10 1 0 0 20 0 18 0 54033559 19384713216 13888 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4732596 13888 5338 1 0 547587 0
[pid=55152/tid=55154] ppid=55149 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 5035 0 0 0 6 1 0 0 20 0 18 0 54033561 19384713216 13888 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54033563 19384713216 13888 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54033563 19384713216 13888 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55552 KiB

[startup+0.205879 s]*
/proc/loadavg: 4.32 4.19 4.13 7/341 55170
/proc/meminfo: memFree=81528196/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=18930384 memory=70140 CPUtime=0.3 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 7035 0 0 0 28 2 0 0 20 0 18 0 54033559 19384713216 17535 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4732596 17535 5434 1 0 547926 0
[pid=55152/tid=55154] ppid=55149 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 5266 0 0 0 15 1 0 0 20 0 18 0 54033561 19384713216 17535 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54033563 19384713216 17535 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54033563 19384713216 17535 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70140 KiB

[startup+0.305794 s]*
/proc/loadavg: 4.32 4.19 4.13 6/341 55170
/proc/meminfo: memFree=81490640/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=18930384 memory=103996 CPUtime=0.49 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 8737 0 0 0 46 3 0 0 20 0 18 0 54033559 19384713216 25999 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4732596 25999 5466 1 0 549094 0
[pid=55152/tid=55154] ppid=55149 vsize=18930384 memory=-6000919468428584810 CPUtime=0.24 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 5335 0 0 0 22 2 0 0 20 0 18 0 54033561 19384713216 25999 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54033563 19384713216 25999 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54033563 19384713216 25999 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103996 KiB

[startup+0.700242 s]
/proc/loadavg: 4.32 4.19 4.13 6/342 55171
/proc/meminfo: memFree=81471740/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=18996948 memory=131156 CPUtime=1.25 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 15403 0 0 0 119 6 0 0 20 0 19 0 54033559 19452874752 32789 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4749237 32789 5466 1 0 553858 0
[pid=55152/tid=55154] ppid=55149 vsize=18996948 memory=13568 CPUtime=0.54 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 5446 0 0 0 52 2 0 0 20 0 19 0 54033561 19452874752 32789 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54033563 19452874752 32789 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54033563 19452874752 32789 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54033592 19452874752 32789 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 131156 KiB

[startup+1.50022 s]
/proc/loadavg: 4.32 4.19 4.13 6/342 55171
/proc/meminfo: memFree=81450252/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=18996948 memory=165984 CPUtime=2.83 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 22295 0 0 0 275 8 0 0 20 0 19 0 54033559 19452874752 41496 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4749237 41496 5466 1 0 554188 0
[pid=55152/tid=55154] ppid=55149 vsize=18996948 memory=0 CPUtime=1.3 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 5984 0 0 0 127 3 0 0 20 0 19 0 54033561 19452874752 41496 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54033563 19452874752 41496 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54033563 19452874752 41496 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54033592 19452874752 41496 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 165984 KiB

[startup+3.10551 s]
/proc/loadavg: 4.37 4.21 4.13 5/319 55201
/proc/meminfo: memFree=83543428/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=182292 CPUtime=5.39 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 26042 0 0 0 529 10 0 0 20 0 20 0 54033559 19521036288 45573 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 45573 5530 1 0 554657 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=10880 CPUtime=2.87 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 7282 0 0 0 282 5 0 0 20 0 20 0 54033561 19521036288 45573 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=-6000919468428584810 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 45573 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 45573 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 45573 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182292 KiB

[startup+6.30024 s]
/proc/loadavg: 4.37 4.21 4.13 7/343 55239
/proc/meminfo: memFree=96218580/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=177360 CPUtime=9.09 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 28657 0 0 0 897 12 0 0 20 0 20 0 54033559 19521036288 44340 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 44340 5530 1 0 554657 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=0 CPUtime=6.04 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 7377 0 0 0 597 7 0 0 20 0 20 0 54033561 19521036288 44340 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 44340 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 44340 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=170196 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 44340 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 9.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177360 KiB

[startup+12.7002 s]
/proc/loadavg: 4.42 4.22 4.14 5/322 55268
/proc/meminfo: memFree=98208444/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=290480 CPUtime=16.37 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 41074 0 0 0 1619 18 0 0 20 0 20 0 54033559 19521036288 72620 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 72620 5530 1 0 555925 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=170196 CPUtime=12.4 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 9983 0 0 0 1230 10 0 0 20 0 20 0 54033561 19521036288 72620 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 72620 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 72620 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=-6000919468428584810 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 72620 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 16.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 290480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.40 4.22 4.14 5/343 55306
/proc/meminfo: memFree=108979532/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=596884 CPUtime=29.55 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 49666 0 0 0 2928 27 0 0 20 0 20 0 54033559 19521036288 149221 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 149221 5530 1 0 556111 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=10880 CPUtime=25.15 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 11553 0 0 0 2497 18 0 0 20 0 20 0 54033561 19521036288 149221 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 149221 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=13568 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 149221 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=170196 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 149221 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 29.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 596884 KiB

[startup+51.1057 s]
/proc/loadavg: 4.27 4.20 4.14 5/342 55307
/proc/meminfo: memFree=105396348/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=1320192 CPUtime=55.31 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 50558 0 0 0 5487 44 0 0 20 0 20 0 54033559 19521036288 330048 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 330048 5562 1 0 556127 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=170196 CPUtime=50.64 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 12181 0 0 0 5029 35 0 0 20 0 20 0 54033561 19521036288 330048 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=1320192 CPUtime=0 cores=0,2

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

Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2072208 KiB

[startup+3342.3 s]
/proc/loadavg: 3.83 4.23 4.28 4/324 55593
/proc/meminfo: memFree=79054100/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=2074256 CPUtime=3305.22 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 106747 0 0 0 330007 515 0 0 20 0 20 0 54033559 19521036288 518564 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 518564 5562 1 0 556176 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=2070160 CPUtime=3291.31 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 41377 0 0 0 328702 429 0 0 20 0 20 0 54033561 19521036288 518564 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=2074256 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 518564 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=2074256 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 1421 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 518564 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 518564 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 3305.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2074256 KiB

[startup+3402.3 s]
/proc/loadavg: 3.86 4.15 4.24 4/324 55595
/proc/meminfo: memFree=78371148/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=2076364 CPUtime=3365.05 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 106754 0 0 0 335984 521 0 0 20 0 20 0 54033559 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 519091 5562 1 0 556176 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=2074256 CPUtime=3351.05 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 41379 0 0 0 334671 434 0 0 20 0 20 0 54033561 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=2074256 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 1421 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=2076364 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 3365.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2076364 KiB

[startup+3462.3 s]
/proc/loadavg: 3.84 4.08 4.21 4/324 55597
/proc/meminfo: memFree=77723424/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=2076364 CPUtime=3424.94 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 107336 0 0 0 341969 525 0 0 20 0 20 0 54033559 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 519091 5562 1 0 556176 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=2074256 CPUtime=3410.75 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 41883 0 0 0 340637 438 0 0 20 0 20 0 54033561 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=2076364 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=2076364 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 1421 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=2076364 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 519091 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 3424.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2076364 KiB

[startup+3522.3 s]
/proc/loadavg: 3.43 3.91 4.14 4/321 55604
/proc/meminfo: memFree=77030016/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=2078420 CPUtime=3481.14 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 108361 0 0 0 347582 532 0 0 20 0 20 0 54033559 19521036288 519605 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 519605 5562 1 0 556176 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=2076364 CPUtime=3466.83 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 42590 0 0 0 346241 442 0 0 20 0 20 0 54033561 19521036288 519605 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 519605 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 1509 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 519605 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=13568 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 519605 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 3481.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2078420 KiB

[startup+3582.3 s]
/proc/loadavg: 3.30 3.79 4.08 4/321 55606
/proc/meminfo: memFree=76358188/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=2082524 CPUtime=3541.13 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 110152 0 0 0 353575 538 0 0 20 0 20 0 54033559 19521036288 520631 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 520631 5562 1 0 556192 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=2760 CPUtime=3526.48 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 43602 0 0 0 352201 447 0 0 20 0 20 0 54033561 19521036288 520631 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=2082524 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 520631 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=-6000919468428584810 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 1591 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 520631 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 520631 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 3541.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3641.4 s]
/proc/loadavg: 2.87 3.60 4.00 2/270 55677
/proc/meminfo: memFree=124899036/131249996 swapFree=33005272/33010684
[pid=55152] ppid=55149 vsize=19063512 memory=2099004 CPUtime=3600.07 cores=0,2
/proc/55152/stat : 55152 (java) S 55149 55152 54228 0 -1 4194304 110190 0 0 0 359463 544 0 0 20 0 20 0 54033559 19521036288 524751 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
/proc/55152/statm: 4765878 524751 5562 1 0 556192 0
[pid=55152/tid=55154] ppid=55149 vsize=19063512 memory=245635481903 CPUtime=3585.33 cores=0,2
/proc/55152/task/55154/stat : 55154 (java) R 55149 55152 54228 0 -1 4194368 43605 0 0 0 358081 452 0 0 20 0 20 0 54033561 19521036288 524751 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55163] ppid=55149 vsize=19063512 memory=4179393467853832945 CPUtime=0 cores=0,2
/proc/55152/task/55163/stat : 55163 (Finalizer) S 55149 55152 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 524751 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55170] ppid=55149 vsize=19063512 memory=3617850880742916128 CPUtime=0 cores=0,2
/proc/55152/task/55170/stat : 55170 (Common-Cleaner) S 55149 55152 54228 0 -1 4194368 1610 0 0 0 0 0 0 0 20 0 20 0 54033563 19521036288 524751 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
[pid=55152/tid=55171] ppid=55149 vsize=19063512 memory=6784 CPUtime=0 cores=0,2
/proc/55152/task/55171/stat : 55171 (Timer-0) S 55149 55152 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54033592 19521036288 524751 18446744073709551615 94143631294464 94143631298160 140734906728720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94143631305976 94143631306768 94143662919680 140734906730800 140734906730982 140734906730982 140734906736584 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2099004 KiB

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

[startup+3642.3 s]
/proc/loadavg: 2.87 3.60 4.00 1/252 55680
/proc/meminfo: memFree=126961968/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
heavy processes:

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3594.8 s, system=5.46181 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3642.4 s]
/proc/loadavg: 2.87 3.60 4.00 1/252 55680
/proc/meminfo: memFree=126961968/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3643.2 s]
/proc/loadavg: 2.87 3.60 4.00 1/252 55680
/proc/meminfo: memFree=126962328/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3643.4 s]
/proc/loadavg: 2.87 3.60 4.00 1/252 55680
/proc/meminfo: memFree=126962328/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3643.47
CPU time (s): 3600.26
CPU user time (s): 3594.8
CPU system time (s): 5.46181
CPU usage (%): 98.814
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2099004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.8
system time used= 5.46181
maximum resident set size= 2099772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6289032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111996
involuntary context switches= 15914


# summary of solver processes directly reported to runsolver:
#   pid: 55152
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3594.8
#   total CPU system time (s): 5.46181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17561 second user time and 16.8115 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 17:25:57
IDJOB=4490849
IDBENCH=147623
IDSOLVER=3364
FILE ID=nodeC023/4490849-1751383557
RUNJOBID= nodeC023-1751376307-54238
SLURM_JOB_ID= 9598216
Free space on /tmp= 433060 MiB

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

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

MD5SUM BENCH= 615ef0f28fa6784c486981c328c6a987
RANDOM SEED=818882377

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        81581688 kB
MemAvailable:   123298164 kB
Buffers:            1328 kB
Cached:         42470504 kB
SwapCached:          428 kB
Active:          6687264 kB
Inactive:       42314056 kB
Active(anon):    6488280 kB
Inactive(anon):    54636 kB
Active(file):     198984 kB
Inactive(file): 42259420 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             35940 kB
Writeback:             8 kB
AnonPages:       6532188 kB
Mapped:           118844 kB
Shmem:             13380 kB
KReclaimable:     194620 kB
Slab:             284512 kB
SReclaimable:     194620 kB
SUnreclaim:        89892 kB
KernelStack:        5232 kB
PageTables:        16408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7082492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6299648 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433064 MiB
End job on nodeC023 at 2025-07-01 18:26:41