Trace number 4490848

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)72 3600.28 3601.94

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.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.19	c version PB25.v20250606
0.13/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.21	c java.vm.version	22.0.1+8-16
0.13/0.21	c java.vm.vendor	Oracle Corporation
0.13/0.21	c sun.arch.data.model	64
0.13/0.21	c java.version		22.0.1
0.13/0.21	c os.name		Linux
0.13/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.21	c os.arch		amd64
0.13/0.22	c Free memory 		2104792832
0.13/0.22	c Max memory 		16282288128
0.13/0.22	c Total memory 		2113929216
0.13/0.23	c Number of processors 	2
0.30/0.33	c Pseudo Boolean Optimization by upper bound
0.30/0.33	c --- Begin Solver configuration ---
0.30/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.30/0.33	c Learn all clauses as in MiniSAT
0.30/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.33	c Expensive reason simplification
0.30/0.33	c Glucose 2.1 dynamic restart strategy
0.30/0.33	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.30/0.33	c timeout=2147483s
0.30/0.33	c DB Simplification allowed=false
0.30/0.33	c Listener: none
0.30/0.33	c --- End Solver configuration ---
0.47/0.33	c solving HOME/instance-4490848-1751364066.opb
0.47/0.33	c reading problem ... 
0.47/0.33	c  objective function found
1.15/0.75	c ... done. Wall clock time 0.415s.
1.15/0.76	c declared #vars     1287
1.15/0.76	c #constraints  2430
1.15/0.76	c constraints type 
1.15/0.76	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2430
1.15/0.76	c 2430 constraints processed.
1.15/0.79	c objective function length is 7 literals
2.13/1.26	c SATISFIABLE
2.13/1.26	c OPTIMIZING...
2.13/1.26	c Got one! Elapsed wall clock time (in seconds):0.93
2.13/1.26	o 119
3.55/2.04	c Got one! Elapsed wall clock time (in seconds):1.708
3.55/2.04	o 118
4.10/2.59	c Got one! Elapsed wall clock time (in seconds):2.265
4.10/2.59	o 115
4.52/2.93	c cleaning 3293 clauses out of 6590 with flag 3441/6590
4.72/3.03	c Got one! Elapsed wall clock time (in seconds):2.704
4.72/3.03	o 106
5.32/3.45	c Got one! Elapsed wall clock time (in seconds):3.119
5.32/3.45	o 104
6.60/4.20	c cleaning 4429 clauses out of 8860 with flag 9025/12153
7.83/5.48	c cleaning 5210 clauses out of 10430 with flag 25464/18152
9.33/7.00	c cleaning 6106 clauses out of 12223 with flag 46477/25155
11.03/8.66	c cleaning 7058 clauses out of 14115 with flag 70025/33153
12.63/10.21	c Got one! Elapsed wall clock time (in seconds):9.878
12.63/10.21	o 98
13.93/11.54	c cleaning 9562 clauses out of 19129 with flag 16154/45225
15.11/12.42	c Got one! Elapsed wall clock time (in seconds):12.092
15.11/12.42	o 96
16.05/13.09	c cleaning 7708 clauses out of 15433 with flag 5605/51091
16.24/13.16	c Got one! Elapsed wall clock time (in seconds):12.83
16.24/13.16	o 90
17.90/14.34	c cleaning 6503 clauses out of 13008 with flag 15315/56374
19.82/15.68	c cleaning 6245 clauses out of 12505 with flag 34157/62374
21.42/17.24	c cleaning 6626 clauses out of 13260 with flag 54751/69374
23.23/19.03	c cleaning 7317 clauses out of 14634 with flag 78174/77374
25.33/21.17	c cleaning 8157 clauses out of 16318 with flag 104521/86375
27.62/23.40	c cleaning 9078 clauses out of 18160 with flag 130767/96374
29.33/25.19	c Got one! Elapsed wall clock time (in seconds):24.862
29.33/25.19	o 89
30.71/26.54	c cleaning 10936 clauses out of 21890 with flag 16992/109182
32.00/27.89	c cleaning 8473 clauses out of 16953 with flag 33169/115181
33.78/29.56	c cleaning 7738 clauses out of 15480 with flag 51507/122181
35.69/31.32	c cleaning 7867 clauses out of 15741 with flag 72645/130180
37.18/32.85	c Got one! Elapsed wall clock time (in seconds):32.527
37.18/32.85	o 87
38.39/34.01	c cleaning 9984 clauses out of 19969 with flag 16911/142275
39.60/35.20	c cleaning 7983 clauses out of 15985 with flag 36338/148275
41.00/36.68	c cleaning 7493 clauses out of 15000 with flag 59973/155273
42.70/38.34	c cleaning 7746 clauses out of 15507 with flag 86560/163273
44.51/40.15	c cleaning 8379 clauses out of 16761 with flag 115606/172273
46.59/42.29	c cleaning 9188 clauses out of 18384 with flag 150158/182275
49.08/44.71	c cleaning 10089 clauses out of 20194 with flag 186934/193273
51.50/47.17	c cleaning 11047 clauses out of 22105 with flag 225277/205273
53.19/48.84	c Got one! Elapsed wall clock time (in seconds):48.512
53.19/48.84	o 81
54.40/50.03	c cleaning 11860 clauses out of 23742 with flag 15896/217957
55.88/51.37	c cleaning 8918 clauses out of 17881 with flag 35620/223956
57.38/52.82	c cleaning 7973 clauses out of 15963 with flag 56196/230956
59.08/54.51	c cleaning 7992 clauses out of 15991 with flag 78949/238957
61.09/56.54	c cleaning 8495 clauses out of 16998 with flag 103444/247956
63.38/58.83	c cleaning 9250 clauses out of 18504 with flag 130980/257957
65.78/61.28	c cleaning 10113 clauses out of 20255 with flag 165049/268958
68.47/63.97	c cleaning 11069 clauses out of 22140 with flag 199025/280956
71.47/66.91	c cleaning 12034 clauses out of 24071 with flag 238667/293956
74.16/69.70	c cleaning 13013 clauses out of 26037 with flag 282142/307956
77.06/72.59	c cleaning 14009 clauses out of 28024 with flag 329143/322956
80.70/76.03	c cleaning 15002 clauses out of 30015 with flag 376448/338956
84.28/79.61	c cleaning 15996 clauses out of 32014 with flag 429234/355957
88.57/83.92	c cleaning 17006 clauses out of 34017 with flag 481409/373956
93.16/88.54	c cleaning 17997 clauses out of 36012 with flag 540834/392957
98.25/93.69	c cleaning 19003 clauses out of 38016 with flag 614068/412958
103.44/98.85	c cleaning 20003 clauses out of 40012 with flag 689061/433957
108.53/103.91	c cleaning 20994 clauses out of 42008 with flag 763183/455956
110.92/106.39	c Got one! Elapsed wall clock time (in seconds):106.062
110.92/106.39	o 79
112.53/107.96	c cleaning 18859 clauses out of 37732 with flag 19391/472674
114.02/109.43	c cleaning 12428 clauses out of 24873 with flag 40445/478674
115.63/111.04	c cleaning 9716 clauses out of 19445 with flag 64744/485674
117.42/112.86	c cleaning 8855 clauses out of 17729 with flag 93348/493674
119.21/114.68	c cleaning 8932 clauses out of 17874 with flag 120135/502674
121.51/116.90	c cleaning 9466 clauses out of 18944 with flag 153194/512676
123.90/119.39	c cleaning 10237 clauses out of 20477 with flag 192015/523675
126.61/122.08	c cleaning 11118 clauses out of 22240 with flag 231488/535675
129.39/124.80	c cleaning 12056 clauses out of 24121 with flag 271245/548674
132.18/127.66	c cleaning 13025 clauses out of 26066 with flag 315617/562675
135.28/130.76	c cleaning 14014 clauses out of 28042 with flag 361976/577676
138.97/134.41	c cleaning 15011 clauses out of 30026 with flag 418312/593674
142.86/138.34	c cleaning 16004 clauses out of 32016 with flag 474884/610675
147.25/142.74	c cleaning 17002 clauses out of 34012 with flag 529948/628675
151.66/147.12	c cleaning 18002 clauses out of 36009 with flag 586918/647674
153.74/149.22	c Got one! Elapsed wall clock time (in seconds):148.895
153.74/149.22	o 78
155.14/150.66	c cleaning 16435 clauses out of 32884 with flag 18519/662551
156.54/152.05	c cleaning 11212 clauses out of 22451 with flag 38235/668553
158.23/153.70	c cleaning 9101 clauses out of 18237 with flag 62501/675551
160.02/155.59	c cleaning 8561 clauses out of 17136 with flag 89445/683551
161.92/157.46	c cleaning 8785 clauses out of 17576 with flag 118446/692552
164.22/159.75	c cleaning 9390 clauses out of 18790 with flag 152552/702551
166.53/162.01	c cleaning 10197 clauses out of 20400 with flag 186457/713551
169.01/164.54	c cleaning 11098 clauses out of 22204 with flag 226288/725552
171.81/167.32	c cleaning 12053 clauses out of 24106 with flag 271203/738552
174.90/170.44	c cleaning 13020 clauses out of 26052 with flag 319193/752551
178.50/174.09	c cleaning 14013 clauses out of 28033 with flag 367885/767552
182.49/178.05	c cleaning 15005 clauses out of 30021 with flag 425105/783553
186.77/182.30	c cleaning 16002 clauses out of 32015 with flag 489973/800552
191.06/186.66	c cleaning 17001 clauses out of 34012 with flag 556586/818551
195.34/190.94	c cleaning 18001 clauses out of 36012 with flag 618058/837552
200.45/196.06	c cleaning 19002 clauses out of 38010 with flag 692987/857551
205.44/201.10	c cleaning 20002 clauses out of 40009 with flag 759147/878552
211.02/206.66	c cleaning 20995 clauses out of 42006 with flag 827972/900551
216.42/212.06	c cleaning 22001 clauses out of 44011 with flag 899202/923551
221.89/217.59	c cleaning 23005 clauses out of 46011 with flag 973801/947552
227.40/223.10	c cleaning 23993 clauses out of 48005 with flag 1050937/972551
234.08/229.70	c cleaning 25000 clauses out of 50013 with flag 1135237/998552
241.38/237.11	c cleaning 25999 clauses out of 52013 with flag 1223766/1025552
248.47/244.11	c cleaning 26998 clauses out of 54013 with flag 1325186/1053551
255.24/250.92	c cleaning 28008 clauses out of 56017 with flag 1414071/1082553
262.72/258.40	c cleaning 29003 clauses out of 58009 with flag 1510150/1112553
270.91/266.66	c cleaning 29998 clauses out of 60006 with flag 1614269/1143553
279.59/275.34	c cleaning 30992 clauses out of 62006 with flag 1730946/1175551
289.30/285.10	c cleaning 32002 clauses out of 64015 with flag 1841218/1208552
298.27/294.10	c cleaning 33002 clauses out of 66013 with flag 1955967/1242552
307.15/302.92	c cleaning 34002 clauses out of 68010 with flag 2081963/1277551
312.83/308.65	c Got one! Elapsed wall clock time (in seconds):308.324
312.83/308.65	o 77
314.52/310.30	c cleaning 30309 clauses out of 60639 with flag 16976/1304182
315.92/311.74	c cleaning 18154 clauses out of 36328 with flag 35678/1310180
317.62/313.42	c cleaning 12580 clauses out of 25174 with flag 58758/1317180
319.51/315.36	c cleaning 10291 clauses out of 20595 with flag 86605/1325181
321.81/317.62	c cleaning 9644 clauses out of 19304 with flag 121178/1334181
324.32/320.11	c cleaning 9826 clauses out of 19660 with flag 159827/1344181
327.00/322.80	c cleaning 10407 clauses out of 20834 with flag 198333/1355181
330.10/325.95	c cleaning 11211 clauses out of 22426 with flag 242763/1367180
332.99/328.84	c cleaning 12099 clauses out of 24217 with flag 285700/1380182
336.48/332.33	c cleaning 13051 clauses out of 26116 with flag 333637/1394180
339.77/335.65	c cleaning 14029 clauses out of 28066 with flag 378377/1409181
343.06/338.93	c cleaning 15008 clauses out of 30037 with flag 429061/1425181
346.65/342.50	c cleaning 16012 clauses out of 32028 with flag 481787/1442180
350.94/346.84	c cleaning 17000 clauses out of 34018 with flag 537185/1460182
355.04/351.00	c cleaning 18008 clauses out of 36017 with flag 597132/1479181
359.52/355.44	c cleaning 18997 clauses out of 38009 with flag 665794/1499181
364.62/360.51	c cleaning 20003 clauses out of 40011 with flag 741774/1520180
369.60/365.54	c cleaning 21002 clauses out of 42009 with flag 816625/1542181
375.60/371.53	c cleaning 21994 clauses out of 44007 with flag 903153/1565181
379.48/375.42	c Got one! Elapsed wall clock time (in seconds):375.097
379.48/375.42	o 76
380.68/376.66	c cleaning 21439 clauses out of 42895 with flag 16688/1586063
382.09/378.06	c cleaning 13718 clauses out of 27454 with flag 38446/1592061
383.68/379.60	c cleaning 10355 clauses out of 20736 with flag 62491/1599061
385.48/381.46	c cleaning 9180 clauses out of 18381 with flag 90241/1607061
387.58/383.57	c cleaning 9090 clauses out of 18201 with flag 122724/1616061
389.77/385.79	c cleaning 9551 clauses out of 19111 with flag 155122/1626061
392.27/388.23	c cleaning 10274 clauses out of 20561 with flag 190968/1637062
394.86/390.87	c cleaning 11136 clauses out of 22287 with flag 230574/1649062
397.85/393.83	c cleaning 12071 clauses out of 24150 with flag 274474/1662061
401.06/397.02	c cleaning 13040 clauses out of 26079 with flag 320612/1676061
404.73/400.74	c cleaning 14013 clauses out of 28039 with flag 375985/1691061
408.43/404.46	c cleaning 15006 clauses out of 30026 with flag 431868/1707061
412.53/408.54	c cleaning 16007 clauses out of 32020 with flag 490856/1724061
416.81/412.83	c cleaning 17002 clauses out of 34015 with flag 554701/1742063
421.01/417.09	c cleaning 18003 clauses out of 36012 with flag 621116/1761062
425.39/421.48	c cleaning 18994 clauses out of 38008 with flag 686024/1781061
430.59/426.66	c cleaning 20002 clauses out of 40014 with flag 754320/1802061
435.57/431.63	c cleaning 20999 clauses out of 42013 with flag 819915/1824062
439.99/436.09	c cleaning 22000 clauses out of 44015 with flag 883987/1847063
444.97/441.10	c cleaning 23000 clauses out of 46013 with flag 954227/1871061
451.34/447.44	c cleaning 24007 clauses out of 48014 with flag 1031008/1896062
457.33/453.41	c cleaning 24999 clauses out of 50006 with flag 1116673/1922061
462.72/458.88	c cleaning 25997 clauses out of 52008 with flag 1204257/1949062
469.01/465.11	c cleaning 26999 clauses out of 54010 with flag 1303900/1977061
475.79/471.99	c cleaning 27998 clauses out of 56012 with flag 1401651/2006062
482.61/478.71	c cleaning 28996 clauses out of 58014 with flag 1496105/2036062
489.91/486.05	c cleaning 29999 clauses out of 60018 with flag 1597582/2067062
498.00/494.17	c cleaning 30994 clauses out of 62018 with flag 1707571/2099061
507.56/503.79	c cleaning 31997 clauses out of 64025 with flag 1835441/2132062
516.45/512.64	c cleaning 33003 clauses out of 66028 with flag 1945486/2166062
524.42/520.63	c cleaning 34009 clauses out of 68026 with flag 2061913/2201063
532.41/528.61	c cleaning 35003 clauses out of 70017 with flag 2181825/2237063
541.83/538.03	c cleaning 36003 clauses out of 72013 with flag 2308734/2274062
552.21/548.41	c cleaning 37002 clauses out of 74010 with flag 2448726/2312062
561.08/557.33	c cleaning 37997 clauses out of 76009 with flag 2580498/2351063
571.56/567.82	c cleaning 38992 clauses out of 78011 with flag 2723860/2391062
582.04/578.35	c cleaning 40001 clauses out of 80018 with flag 2870864/2432061
593.13/589.44	c cleaning 41006 clauses out of 82017 with flag 3010986/2474061
604.11/600.44	c cleaning 41994 clauses out of 84013 with flag 3162154/2517063
615.88/612.21	c cleaning 42994 clauses out of 86018 with flag 3318284/2561062
627.56/623.95	c cleaning 44007 clauses out of 88023 with flag 3480487/2606061
640.44/636.85	c cleaning 44998 clauses out of 90016 with flag 3658227/2652061
654.73/651.19	c cleaning 46003 clauses out of 92019 with flag 3832053/2699062
667.70/664.19	c cleaning 47003 clauses out of 94016 with flag 4010263/2747062
680.76/677.22	c cleaning 48001 clauses out of 96013 with flag 4187936/2796062
689.14/685.62	c Got one! Elapsed wall clock time (in seconds):685.29
689.14/685.62	o 75
691.24/687.72	c cleaning 42213 clauses out of 84442 with flag 20026/2832492
693.03/689.53	c cleaning 24116 clauses out of 48232 with flag 43912/2838495
694.83/691.35	c cleaning 15546 clauses out of 31114 with flag 71137/2845493
696.54/693.06	c cleaning 11777 clauses out of 23567 with flag 97937/2853492
698.33/694.88	c cleaning 10388 clauses out of 20791 with flag 125470/2862493
700.32/696.83	c cleaning 10189 clauses out of 20402 with flag 155135/2872492
702.63/699.14	c cleaning 10600 clauses out of 21213 with flag 191661/2883492
705.41/701.98	c cleaning 11303 clauses out of 22614 with flag 232924/2895493
708.52/705.07	c cleaning 12153 clauses out of 24311 with flag 277213/2908493
711.70/708.21	c cleaning 13072 clauses out of 26158 with flag 325722/2922493
715.09/711.65	c cleaning 14036 clauses out of 28085 with flag 374097/2937492
718.78/715.37	c cleaning 15018 clauses out of 30049 with flag 428725/2953492
722.77/719.39	c cleaning 16011 clauses out of 32031 with flag 488187/2970492
727.17/723.73	c cleaning 17004 clauses out of 34021 with flag 551740/2988493
731.96/728.51	c cleaning 18003 clauses out of 36016 with flag 621545/3007492
736.74/733.35	c cleaning 19005 clauses out of 38015 with flag 692907/3027494
741.74/738.37	c cleaning 20003 clauses out of 40008 with flag 761536/3048492
747.02/743.61	c cleaning 21002 clauses out of 42006 with flag 837253/3070493
752.71/749.34	c cleaning 21998 clauses out of 44003 with flag 921594/3093492
758.90/755.51	c cleaning 22994 clauses out of 46005 with flag 1010777/3117492
765.29/761.94	c cleaning 24000 clauses out of 48011 with flag 1104393/3142492
770.68/767.39	c cleaning 25002 clauses out of 50011 with flag 1186504/3168492
776.26/772.91	c cleaning 26001 clauses out of 52011 with flag 1271549/3195494
782.16/778.89	c cleaning 27004 clauses out of 54008 with flag 1359893/3223492
788.94/785.65	c cleaning 27997 clauses out of 56006 with flag 1460811/3252494
796.02/792.78	c cleaning 29000 clauses out of 58008 with flag 1564380/3282493
803.42/800.16	c cleaning 29994 clauses out of 60007 with flag 1668860/3313492
811.79/808.52	c cleaning 31005 clauses out of 62013 with flag 1770833/3345492
820.18/816.93	c cleaning 31998 clauses out of 64009 with flag 1889068/3378493
829.26/826.08	c cleaning 32999 clauses out of 66010 with flag 2014438/3412492
837.94/834.74	c cleaning 34003 clauses out of 68014 with flag 2132465/3447495
847.33/844.15	c cleaning 34997 clauses out of 70009 with flag 2268374/3483493
856.90/853.77	c cleaning 36005 clauses out of 72012 with flag 2405527/3520493
868.08/864.93	c cleaning 36999 clauses out of 74007 with flag 2552806/3558493
880.16/877.09	c cleaning 37993 clauses out of 76008 with flag 2712409/3597493
892.14/889.05	c cleaning 38999 clauses out of 78014 with flag 2860942/3637492
904.21/901.12	c cleaning 40004 clauses out of 80016 with flag 3001039/3678493
915.19/912.16	c cleaning 41001 clauses out of 82012 with flag 3153844/3720493
928.27/925.28	c cleaning 42001 clauses out of 84010 with flag 3312625/3763492
939.94/936.94	c cleaning 42999 clauses out of 86010 with flag 3477087/3807493
952.91/949.90	c cleaning 43996 clauses out of 88011 with flag 3654833/3852493
965.69/962.76	c cleaning 44999 clauses out of 90015 with flag 3815488/3898493
978.17/975.24	c cleaning 46002 clauses out of 92016 with flag 3981328/3945493
991.73/988.85	c cleaning 46999 clauses out of 94014 with flag 4142847/3993493
1005.61/1002.73	c cleaning 47999 clauses out of 96014 with flag 4315521/4042492
1019.28/1016.45	c cleaning 48998 clauses out of 98016 with flag 4493123/4092493
1020.08/1017.28	c Got one! Elapsed wall clock time (in seconds):1016.953
1020.08/1017.28	o 74
1020.89/1018.02	c cleaning 27326 clauses out of 54670 with flag 7741/4098145
1022.47/1019.69	c cleaning 16663 clauses out of 33343 with flag 28754/4104144
1024.27/1021.44	c cleaning 11831 clauses out of 23681 with flag 50452/4111145
1026.07/1023.26	c cleaning 9918 clauses out of 19849 with flag 73282/4119144
1028.07/1025.20	c cleaning 9457 clauses out of 18932 with flag 99287/4128145
1030.26/1027.40	c cleaning 9730 clauses out of 19474 with flag 130210/4138144
1032.76/1029.98	c cleaning 10365 clauses out of 20745 with flag 167269/4149145
1035.65/1032.89	c cleaning 11186 clauses out of 22379 with flag 208441/4161144
1038.86/1036.08	c cleaning 12089 clauses out of 24193 with flag 251462/4174144
1042.54/1039.70	c cleaning 13047 clauses out of 26104 with flag 299997/4188144
1046.22/1043.40	c cleaning 14026 clauses out of 28057 with flag 349557/4203144
1049.83/1047.10	c cleaning 15007 clauses out of 30031 with flag 401406/4219144
1053.71/1050.93	c cleaning 16011 clauses out of 32024 with flag 454971/4236144
1058.50/1055.78	c cleaning 17000 clauses out of 34014 with flag 524692/4254145
1062.90/1060.12	c cleaning 18002 clauses out of 36014 with flag 585418/4273145
1067.79/1065.04	c cleaning 18999 clauses out of 38011 with flag 651445/4293144
1073.07/1070.37	c cleaning 20000 clauses out of 40012 with flag 719252/4314144
1078.15/1075.48	c cleaning 20996 clauses out of 42014 with flag 794708/4336146
1083.55/1080.88	c cleaning 22003 clauses out of 44017 with flag 877625/4359145
1089.13/1086.49	c cleaning 22999 clauses out of 46013 with flag 959946/4383144
1095.92/1093.21	c cleaning 23994 clauses out of 48014 with flag 1064720/4408144
1103.00/1100.36	c cleaning 25005 clauses out of 50021 with flag 1156736/4434145
1110.39/1107.75	c cleaning 26006 clauses out of 52018 with flag 1256789/4461147
1117.17/1114.56	c cleaning 26994 clauses out of 54009 with flag 1358767/4489144
1124.16/1121.51	c cleaning 27996 clauses out of 56015 with flag 1460433/4518144
1131.85/1129.27	c cleaning 29007 clauses out of 58019 with flag 1566400/4548144
1139.83/1137.24	c cleaning 29999 clauses out of 60013 with flag 1678756/4579145
1148.31/1145.73	c cleaning 31000 clauses out of 62014 with flag 1794219/4611145
1155.79/1153.22	c cleaning 32007 clauses out of 64015 with flag 1910095/4644146
1164.17/1161.68	c cleaning 33002 clauses out of 66006 with flag 2039575/4678144
1172.26/1169.71	c cleaning 33996 clauses out of 68007 with flag 2158170/4713147
1181.84/1179.33	c cleaning 35002 clauses out of 70009 with flag 2285592/4749145
1191.42/1188.94	c cleaning 35995 clauses out of 72008 with flag 2410656/4786146
1202.40/1199.93	c cleaning 36995 clauses out of 74011 with flag 2558535/4824144
1212.38/1209.94	c cleaning 38000 clauses out of 76016 with flag 2695233/4863144
1223.57/1221.12	c cleaning 39004 clauses out of 78018 with flag 2844884/4903146
1236.54/1234.12	c cleaning 40002 clauses out of 80012 with flag 3015587/4944144
1248.01/1245.60	c cleaning 41003 clauses out of 82012 with flag 3173140/4986146
1259.29/1256.92	c cleaning 42001 clauses out of 84007 with flag 3330696/5029144
1271.66/1269.33	c cleaning 42998 clauses out of 86006 with flag 3502014/5073144
1284.03/1281.71	c cleaning 43999 clauses out of 88009 with flag 3672608/5118145
1296.51/1294.23	c cleaning 45001 clauses out of 90009 with flag 3835544/5164144
1309.59/1307.35	c cleaning 45996 clauses out of 92009 with flag 4010666/5211145
1322.75/1320.53	c cleaning 47003 clauses out of 94013 with flag 4193198/5259145
1338.12/1335.98	c cleaning 48002 clauses out of 96009 with flag 4392114/5308144
1353.29/1350.71	c cleaning 48995 clauses out of 98006 with flag 4576415/5358144
1368.19/1365.59	c cleaning 50002 clauses out of 100011 with flag 4773712/5409144
1383.81/1381.13	c cleaning 50997 clauses out of 102009 with flag 4971374/5461145
1398.47/1395.88	c cleaning 52000 clauses out of 104012 with flag 5174493/5514145
1413.75/1411.19	c cleaning 53001 clauses out of 106012 with flag 5388153/5568145
1429.20/1426.61	c cleaning 53999 clauses out of 108010 with flag 5600003/5623144
1446.36/1443.86	c cleaning 54999 clauses out of 110012 with flag 5817537/5679145
1463.93/1461.49	c cleaning 55999 clauses out of 112012 with flag 6039273/5736144
1480.40/1477.93	c cleaning 56997 clauses out of 114013 with flag 6261737/5794144
1497.06/1494.68	c cleaning 57993 clauses out of 116016 with flag 6483336/5853144
1515.54/1513.11	c cleaning 58999 clauses out of 118024 with flag 6700531/5913145
1533.03/1530.61	c cleaning 60008 clauses out of 120025 with flag 6924896/5974145
1551.50/1549.11	c cleaning 61004 clauses out of 122016 with flag 7158382/6036144
1568.85/1566.56	c cleaning 62002 clauses out of 124014 with flag 7382778/6099146
1589.50/1587.25	c cleaning 62999 clauses out of 126012 with flag 7642541/6163146
1609.38/1607.12	c cleaning 63997 clauses out of 128012 with flag 7881784/6228145
1629.82/1627.66	c cleaning 65003 clauses out of 130015 with flag 8122198/6294145
1650.19/1648.05	c cleaning 65997 clauses out of 132012 with flag 8354962/6361145
1671.33/1669.27	c cleaning 66998 clauses out of 134016 with flag 8605563/6429146
1690.83/1688.77	c cleaning 68003 clauses out of 136017 with flag 8831560/6498145
1713.98/1711.92	c cleaning 69004 clauses out of 138015 with flag 9107450/6568146
1735.73/1733.78	c cleaning 70000 clauses out of 140010 with flag 9388110/6639145
1757.79/1755.88	c cleaning 71000 clauses out of 142011 with flag 9688370/6711146
1780.34/1778.41	c cleaning 71997 clauses out of 144010 with flag 9945111/6784145
1803.07/1801.17	c cleaning 72997 clauses out of 146012 with flag 10209839/6858144
1823.82/1821.98	c cleaning 73994 clauses out of 148015 with flag 10471146/6933144
1845.99/1844.13	c cleaning 75003 clauses out of 150022 with flag 10755450/7009145
1870.12/1868.38	c cleaning 76004 clauses out of 152019 with flag 11043629/7086145
1892.88/1891.14	c cleaning 76995 clauses out of 154014 with flag 11323900/7164144
1915.42/1913.72	c cleaning 78002 clauses out of 156022 with flag 11599916/7243147
1940.17/1938.50	c cleaning 79007 clauses out of 158017 with flag 11907076/7323144
1969.20/1967.55	c cleaning 80002 clauses out of 160011 with flag 12216936/7404145
2000.23/1998.65	c cleaning 80995 clauses out of 162008 with flag 12542934/7486144
2028.48/2026.93	c cleaning 82003 clauses out of 164014 with flag 12853650/7569145
2056.53/2055.05	c cleaning 82999 clauses out of 166012 with flag 13175382/7653146
2084.25/2082.84	c cleaning 83997 clauses out of 168012 with flag 13495624/7738145
2113.00/2111.61	c cleaning 84998 clauses out of 170014 with flag 13818977/7824144
2140.09/2138.80	c cleaning 85998 clauses out of 172015 with flag 14152499/7911144
2172.83/2171.58	c cleaning 87002 clauses out of 174017 with flag 14494321/7999144
2199.77/2198.57	c cleaning 88002 clauses out of 176017 with flag 14811588/8088146
2231.50/2230.34	c cleaning 89003 clauses out of 178013 with flag 15158952/8178144
2258.35/2257.28	c cleaning 89993 clauses out of 180011 with flag 15487840/8269145
2290.38/2289.35	c cleaning 90999 clauses out of 182017 with flag 15838961/8361144
2322.12/2321.02	c cleaning 92001 clauses out of 184018 with flag 16188703/8454144
2353.24/2352.29	c cleaning 93004 clauses out of 186017 with flag 16538032/8548144
2381.88/2380.90	c cleaning 94004 clauses out of 188014 with flag 16876514/8643145
2415.22/2414.39	c cleaning 94994 clauses out of 190010 with flag 17249132/8739145
2451.54/2450.80	c cleaning 96004 clauses out of 192016 with flag 17632368/8836145
2486.76/2486.10	c cleaning 96999 clauses out of 194011 with flag 18021983/8934144
2521.26/2520.57	c cleaning 97999 clauses out of 196013 with flag 18389579/9033145
2553.80/2553.13	c cleaning 99002 clauses out of 198014 with flag 18742289/9133145
2589.01/2588.47	c cleaning 100000 clauses out of 200011 with flag 19133522/9234144
2625.65/2625.19	c cleaning 101000 clauses out of 202011 with flag 19547498/9336144
2629.32/2628.87	c Got one! Elapsed wall clock time (in seconds):2628.542
2629.32/2628.87	o 72
2631.53/2631.01	c cleaning 59002 clauses out of 118012 with flag 20162/9353145
2633.41/2632.98	c cleaning 32498 clauses out of 65008 with flag 43285/9359143
2635.42/2634.90	c cleaning 19750 clauses out of 39512 with flag 69216/9366145
2637.52/2637.04	c cleaning 13872 clauses out of 27760 with flag 98212/9374143
2639.91/2639.41	c cleaning 11434 clauses out of 22888 with flag 132004/9383143
2642.30/2641.80	c cleaning 10720 clauses out of 21454 with flag 165608/9393143
2644.39/2643.91	c cleaning 10864 clauses out of 21734 with flag 197132/9404143
2646.60/2646.16	c cleaning 11428 clauses out of 22870 with flag 229837/9416143
2649.89/2649.48	c cleaning 12219 clauses out of 24442 with flag 277075/9429143
2653.59/2653.14	c cleaning 13103 clauses out of 26223 with flag 330299/9443143
2657.76/2657.37	c cleaning 14051 clauses out of 28120 with flag 395212/9458143
2661.95/2661.58	c cleaning 15026 clauses out of 30069 with flag 455258/9474143
2666.34/2665.92	c cleaning 16014 clauses out of 32044 with flag 518420/9491144
2670.83/2670.42	c cleaning 17008 clauses out of 34029 with flag 582635/9509143
2676.03/2675.62	c cleaning 18007 clauses out of 36021 with flag 656626/9528143
2680.82/2680.46	c cleaning 18999 clauses out of 38014 with flag 721090/9548143
2686.00/2685.65	c cleaning 20004 clauses out of 40017 with flag 793564/9569145
2691.09/2690.78	c cleaning 20998 clauses out of 42011 with flag 867018/9591143
2695.98/2695.63	c cleaning 21999 clauses out of 44014 with flag 937429/9614144
2701.63/2701.21	c cleaning 23004 clauses out of 46014 with flag 1015227/9638143
2707.82/2707.47	c cleaning 23997 clauses out of 48010 with flag 1104928/9663143
2715.00/2714.60	c cleaning 25002 clauses out of 50014 with flag 1203465/9689144
2722.50/2722.13	c cleaning 25997 clauses out of 52011 with flag 1300013/9716143
2730.28/2729.97	c cleaning 26997 clauses out of 54014 with flag 1408369/9744143
2737.76/2737.42	c cleaning 27999 clauses out of 56018 with flag 1511049/9773144
2744.45/2744.18	c cleaning 29000 clauses out of 58019 with flag 1606520/9803144
2751.22/2750.96	c cleaning 30007 clauses out of 60019 with flag 1705536/9834144
2758.71/2758.45	c cleaning 30999 clauses out of 62011 with flag 1809675/9866143
2766.89/2766.63	c cleaning 32001 clauses out of 64012 with flag 1932077/9899143
2775.08/2774.88	c cleaning 32999 clauses out of 66013 with flag 2048212/9933145
2784.65/2784.43	c cleaning 34005 clauses out of 68015 with flag 2168914/9968146
2794.54/2794.38	c cleaning 35000 clauses out of 70007 with flag 2300788/10004143
2804.62/2804.45	c cleaning 35997 clauses out of 72008 with flag 2434131/10041144
2814.49/2814.34	c cleaning 36995 clauses out of 74010 with flag 2566558/10079143
2825.29/2825.17	c cleaning 38003 clauses out of 76015 with flag 2715829/10118143
2836.84/2836.75	c cleaning 38999 clauses out of 78013 with flag 2868583/10158144
2847.93/2847.89	c cleaning 40004 clauses out of 80013 with flag 3015375/10199143
2858.30/2858.21	c cleaning 40990 clauses out of 82009 with flag 3163036/10241143
2868.99/2868.94	c cleaning 42001 clauses out of 84020 with flag 3316774/10284144
2879.70/2879.66	c cleaning 43001 clauses out of 86018 with flag 3463403/10328143
2891.58/2891.58	c cleaning 44009 clauses out of 88018 with flag 3625591/10373144
2904.25/2904.22	c cleaning 44996 clauses out of 90010 with flag 3794245/10419145
2917.51/2917.51	c cleaning 46003 clauses out of 92014 with flag 3967507/10466145
2929.78/2929.89	c cleaning 47000 clauses out of 94009 with flag 4133215/10514143
2943.95/2944.07	c cleaning 48001 clauses out of 96011 with flag 4318340/10563145
2958.71/2958.84	c cleaning 48998 clauses out of 98008 with flag 4514977/10613143
2973.56/2973.75	c cleaning 49996 clauses out of 100010 with flag 4704442/10664143
2988.84/2989.06	c cleaning 51004 clauses out of 102015 with flag 4894256/10716144
3002.59/3002.89	c cleaning 51998 clauses out of 104010 with flag 5076595/10769143
3018.04/3018.36	c cleaning 52995 clauses out of 106013 with flag 5272510/10823144
3033.40/3033.71	c cleaning 54000 clauses out of 108019 with flag 5462330/10878145
3049.96/3050.37	c cleaning 54998 clauses out of 110017 with flag 5663503/10934143
3067.02/3067.43	c cleaning 56005 clauses out of 112019 with flag 5872441/10991143
3082.88/3083.39	c cleaning 57007 clauses out of 114015 with flag 6077772/11049144
3099.73/3100.25	c cleaning 57999 clauses out of 116007 with flag 6294079/11108143
3118.08/3118.63	c cleaning 58997 clauses out of 118008 with flag 6507397/11168143
3135.64/3136.24	c cleaning 59998 clauses out of 120011 with flag 6726065/11229143
3153.19/3153.82	c cleaning 60997 clauses out of 122014 with flag 6942821/11291144
3171.84/3172.58	c cleaning 62005 clauses out of 124017 with flag 7166589/11354144
3190.99/3191.79	c cleaning 62993 clauses out of 126011 with flag 7400343/11418143
3210.44/3211.27	c cleaning 64000 clauses out of 128018 with flag 7642405/11483143
3232.88/3233.77	c cleaning 65002 clauses out of 130018 with flag 7902545/11549143
3253.03/3253.98	c cleaning 66003 clauses out of 132017 with flag 8141326/11616144
3275.86/3276.82	c cleaning 66993 clauses out of 134013 with flag 8398913/11684143
3297.41/3298.49	c cleaning 68005 clauses out of 136020 with flag 8660145/11753143
3319.25/3320.35	c cleaning 69004 clauses out of 138015 with flag 8922527/11823143
3343.19/3344.37	c cleaning 69999 clauses out of 140011 with flag 9208290/11894143
3366.22/3367.42	c cleaning 71001 clauses out of 142013 with flag 9487920/11966144
3390.26/3391.56	c cleaning 72000 clauses out of 144012 with flag 9763371/12039144
3413.82/3415.17	c cleaning 73001 clauses out of 146012 with flag 10036321/12113144
3438.14/3439.51	c cleaning 74001 clauses out of 148010 with flag 10328941/12188143
3462.87/3464.39	c cleaning 75000 clauses out of 150010 with flag 10613230/12264144
3487.30/3488.85	c cleaning 75998 clauses out of 152009 with flag 10904349/12341143
3513.46/3515.05	c cleaning 77000 clauses out of 154011 with flag 11207181/12419143
3540.67/3542.33	c cleaning 77998 clauses out of 156012 with flag 11525676/12498144
3569.09/3570.84	c cleaning 79005 clauses out of 158014 with flag 11850140/12578144
3599.62/3601.44	c cleaning 79998 clauses out of 160009 with flag 12182252/12659144
3600.02/3601.83	c starts		: 12829
3600.02/3601.85	c conflicts		: 12660542
3600.02/3601.85	c decisions		: 14460526
3600.02/3601.85	c propagations		: 1011195853
3600.02/3601.85	c inspects		: 32979174234
3600.02/3601.85	c shortcuts		: 0
3600.02/3601.85	c learnt literals	: 3
3600.02/3601.85	c learnt binary clauses	: 15
3600.02/3601.85	c learnt ternary clauses	: 31
3600.02/3601.85	c learnt constraints	: 12660539
3600.02/3601.85	c ignored constraints	: 0
3600.02/3601.85	c root simplifications	: 0
3600.02/3601.85	c removed literals (reason simplification)	: 50320351
3600.02/3601.85	c reason swapping (by a shorter reason)	: 0
3600.02/3601.85	c Calls to reduceDB	: 374
3600.02/3601.85	c Number of update (reduction) of LBD	: 2324111
3600.02/3601.85	c Imported unit clauses	: 0
3600.02/3601.85	c No decision after first conflict	: false
3600.02/3601.85	c number of reductions to clauses (during analyze)	: 0
3600.02/3601.85	c number of learned constraints concerned by reduction	: 0
3600.02/3601.85	c number of learning phase by resolution	: 0
3600.02/3601.85	c number of learning phase by cutting planes	: 0
3600.02/3601.85	c number of rounding to 1 operations	: 0
3600.02/3601.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3601.85	c number of reductions of the coefficients by power 2 	: 0
3600.02/3601.85	c number of right shift for reduction by power 2 	: 0
3600.02/3601.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3601.85	c number of ending skipping 	: 0
3600.02/3601.85	c number of internal skipping 	: 0
3600.02/3601.85	c number of derivation steps 	: 0
3600.02/3601.85	c number of skipped derivation steps 	: 0
3600.02/3601.85	c number of remaining unassigned 	: 0
3600.02/3601.85	c number of remaining assigned 	: 0
3600.02/3601.85	c number of falsified literals weakened from reason	: 0
3600.02/3601.85	c number of falsified literals weakened from conflict	: 0
3600.02/3601.85	c time for arithmetic operations	: 0
3600.02/3601.86	c minimum degree of deleted constraints	: null
3600.02/3601.86	c maximum degree of deleted constraints	: null
3600.02/3601.86	c number of deleted constraints	: 0
3600.02/3601.86	c speed (assignments/second)	: 280804.9774774712
3600.02/3601.86	c non guided choices	: 17575
3600.22/3601.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 81394
3600.22/3601.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 15
3600.22/3601.91	s SATISFIABLE
3600.22/3601.91	c Found 18 solution(s)
3600.22/3601.92	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.22/3601.92	c objective function=72
3600.22/3601.92	c Total wall clock time (in seconds): 3601.592

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490848-1751364066/watcher-4490848-1751364066 -o /tmp/evaluation-result-4490848-1751364066/solver-4490848-1751364066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51820 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490848-1751364066.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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=52461, runsolver pid=52458

[startup+0.10007 s]*
/proc/loadavg: 4.39 4.21 4.17 8/322 52479
/proc/meminfo: memFree=121320604/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18930384 memory=48472 CPUtime=0.13 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 5833 0 0 0 9 4 0 0 20 0 18 0 52086435 19384713216 12118 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4732596 12118 5306 1 0 547050 0
[pid=52461/tid=52463] ppid=52458 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 4680 0 0 0 6 2 0 0 20 0 18 0 52086438 19384713216 12118 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52086442 19384713216 12118 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18930384 memory=59593594258114 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52086443 19384713216 12118 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48472 KiB

[startup+0.220204 s]*
/proc/loadavg: 4.39 4.21 4.17 9/323 52480
/proc/meminfo: memFree=121292628/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18930384 memory=55352 CPUtime=0.3 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 6478 0 0 0 26 4 0 0 20 0 18 0 52086435 19384713216 13838 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4732596 13838 5338 1 0 547564 0
[pid=52461/tid=52463] ppid=52458 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 5002 0 0 0 16 2 0 0 20 0 18 0 52086438 19384713216 13838 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52086442 19384713216 13838 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52086443 19384713216 13838 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55352 KiB

[startup+0.315467 s]*
/proc/loadavg: 4.39 4.21 4.17 8/323 52480
/proc/meminfo: memFree=121286516/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18930384 memory=58764 CPUtime=0.47 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 6765 0 0 0 42 5 0 0 20 0 18 0 52086435 19384713216 14691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4732596 14691 5434 1 0 547780 0
[pid=52461/tid=52463] ppid=52458 vsize=18930384 memory=-6000919472706579050 CPUtime=0.29 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 5198 0 0 0 26 3 0 0 20 0 18 0 52086438 19384713216 14691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52086442 19384713216 14691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52086443 19384713216 14691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58764 KiB

[startup+0.700386 s]
/proc/loadavg: 4.39 4.21 4.17 9/323 52480
/proc/meminfo: memFree=121284692/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18930384 memory=96652 CPUtime=1.15 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 8459 0 0 0 107 8 0 0 20 0 18 0 52086435 19384713216 24163 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4732596 24163 5434 1 0 548912 0
[pid=52461/tid=52463] ppid=52458 vsize=18930384 memory=17920 CPUtime=0.61 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 5274 0 0 0 57 4 0 0 20 0 18 0 52086438 19384713216 24163 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18930384 memory=10624 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52086442 19384713216 24163 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52086443 19384713216 24163 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 96652 KiB

[startup+1.50029 s]
/proc/loadavg: 4.39 4.21 4.17 6/324 52481
/proc/meminfo: memFree=121243508/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18996948 memory=116140 CPUtime=2.73 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 15532 0 0 0 262 11 0 0 20 0 19 0 52086435 19452874752 29035 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4749237 29035 5498 1 0 551724 0
[pid=52461/tid=52463] ppid=52458 vsize=18996948 memory=3200 CPUtime=1.3 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 6613 0 0 0 125 5 0 0 20 0 19 0 52086438 19452874752 29035 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086442 19452874752 29035 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52086443 19452874752 29035 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=18996948 memory=14560 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086516 19452874752 29035 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116140 KiB

[startup+3.11309 s]
/proc/loadavg: 4.39 4.21 4.17 6/324 52481
/proc/meminfo: memFree=121215396/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18996948 memory=121808 CPUtime=4.92 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 17333 0 0 0 480 12 0 0 20 0 19 0 52086435 19452874752 30452 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4749237 30452 5498 1 0 552000 0
[pid=52461/tid=52463] ppid=52458 vsize=18996948 memory=14560 CPUtime=2.91 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 7439 0 0 0 285 6 0 0 20 0 19 0 52086438 19452874752 30452 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086442 19452874752 30452 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52086443 19452874752 30452 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086516 19452874752 30452 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121808 KiB

[startup+6.30042 s]
/proc/loadavg: 4.36 4.20 4.16 5/325 52482
/proc/meminfo: memFree=121190820/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18996948 memory=123108 CPUtime=8.73 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 22317 0 0 0 859 14 0 0 20 0 19 0 52086435 19452874752 30777 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4749237 30777 5498 1 0 552196 0
[pid=52461/tid=52463] ppid=52458 vsize=18996948 memory=0 CPUtime=6.09 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 8082 0 0 0 603 6 0 0 20 0 19 0 52086438 19452874752 30777 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086442 19452874752 30777 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52086443 19452874752 30777 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=18996948 memory=116268 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086516 19452874752 30777 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 123108 KiB

[startup+12.7004 s]
/proc/loadavg: 4.33 4.20 4.16 5/325 52482
/proc/meminfo: memFree=121178392/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18996948 memory=137316 CPUtime=15.44 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 27313 0 0 0 1529 15 0 0 20 0 19 0 52086435 19452874752 34329 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4749237 34329 5498 1 0 552212 0
[pid=52461/tid=52463] ppid=52458 vsize=18996948 memory=116268 CPUtime=12.47 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 9589 0 0 0 1241 6 0 0 20 0 19 0 52086438 19452874752 34329 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18996948 memory=133348 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086442 19452874752 34329 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52086443 19452874752 34329 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086516 19452874752 34329 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 15.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137316 KiB

[startup+25.5004 s]
/proc/loadavg: 4.32 4.20 4.17 5/325 52482
/proc/meminfo: memFree=121138456/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=18996948 memory=159848 CPUtime=29.71 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 36869 0 0 0 2952 19 0 0 20 0 19 0 52086435 19452874752 39962 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4749237 39962 5498 1 0 555750 0
[pid=52461/tid=52463] ppid=52458 vsize=18996948 memory=0 CPUtime=25.23 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 11165 0 0 0 2516 7 0 0 20 0 19 0 52086438 19452874752 39962 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=18996948 memory=14560 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086442 19452874752 39962 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=18996948 memory=157800 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52086443 19452874752 39962 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=18996948 memory=151656 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086516 19452874752 39962 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 29.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159848 KiB

[startup+51.1134 s]
/proc/loadavg: 4.28 4.20 4.17 5/326 52483
/proc/meminfo: memFree=121072192/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19063512 memory=174720 CPUtime=55.69 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 38479 0 0 0 5548 21 0 0 20 0 20 0 52086435 19521036288 43680 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4765878 43680 5530 1 0 556039 0
[pid=52461/tid=52463] ppid=52458 vsize=19063512 memory=159848 CPUtime=50.74 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 11278 0 0 0 5067 7 0 0 20 0 20 0 52086438 19521036288 43680 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086442 19521036288 43680 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 52086443 19521036288 43680 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=19063512 memory=137316 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/327 52697
/proc/meminfo: memFree=117501948/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19063512 memory=1412492 CPUtime=3281.35 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 65072 0 0 0 327910 225 0 0 20 0 20 0 52086435 19521036288 353123 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4765878 353123 5530 1 0 556055 0
[pid=52461/tid=52463] ppid=52458 vsize=19063512 memory=1398156 CPUtime=3269.91 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 25073 0 0 0 326976 15 0 0 20 0 20 0 52086438 19521036288 353123 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19063512 memory=1387916 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086442 19521036288 353123 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19063512 memory=1381772 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 1212 0 0 0 0 0 0 0 20 0 20 0 52086443 19521036288 353123 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=19063512 memory=1410444 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086516 19521036288 353123 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 3281.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1412492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/326 52699
/proc/meminfo: memFree=117440524/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19063512 memory=1471884 CPUtime=3341.19 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 65150 0 0 0 333890 229 0 0 20 0 20 0 52086435 19521036288 367971 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4765878 367971 5530 1 0 556055 0
[pid=52461/tid=52463] ppid=52458 vsize=19063512 memory=1447308 CPUtime=3329.7 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 25146 0 0 0 332955 15 0 0 20 0 20 0 52086438 19521036288 367971 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19063512 memory=1420684 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086442 19521036288 367971 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19063512 memory=1461644 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 1212 0 0 0 0 0 0 0 20 0 20 0 52086443 19521036288 367971 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=19063512 memory=1457548 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086516 19521036288 367971 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 3341.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1471884 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/325 52701
/proc/meminfo: memFree=117346100/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19063512 memory=1533324 CPUtime=3401.04 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 65232 0 0 0 339871 233 0 0 20 0 20 0 52086435 19521036288 383331 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4765878 383331 5530 1 0 556055 0
[pid=52461/tid=52463] ppid=52458 vsize=19063512 memory=1514892 CPUtime=3389.51 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 25223 0 0 0 338934 17 0 0 20 0 20 0 52086438 19521036288 383331 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086442 19521036288 383331 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19063512 memory=1525132 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 1212 0 0 0 0 0 0 0 20 0 20 0 52086443 19521036288 383331 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=19063512 memory=1523084 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086516 19521036288 383331 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 3401.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1533324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/326 52704
/proc/meminfo: memFree=117284692/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19063512 memory=1594764 CPUtime=3460.88 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 65307 0 0 0 345850 238 0 0 20 0 20 0 52086435 19521036288 398691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4765878 398691 5530 1 0 556055 0
[pid=52461/tid=52463] ppid=52458 vsize=19063512 memory=1529228 CPUtime=3449.31 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 25293 0 0 0 344913 18 0 0 20 0 20 0 52086438 19521036288 398691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19063512 memory=1549708 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086442 19521036288 398691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19063512 memory=1588620 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 1212 0 0 0 0 0 0 0 20 0 20 0 52086443 19521036288 398691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=19063512 memory=1590668 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086516 19521036288 398691 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 3460.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1594764 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/326 52706
/proc/meminfo: memFree=117140628/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19063512 memory=1654156 CPUtime=3520.72 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 65831 0 0 0 351830 242 0 0 20 0 20 0 52086435 19521036288 413539 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4765878 413539 5530 1 0 556055 0
[pid=52461/tid=52463] ppid=52458 vsize=19063512 memory=1645964 CPUtime=3509.11 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 25812 0 0 0 350892 19 0 0 20 0 20 0 52086438 19521036288 413539 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086442 19521036288 413539 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19063512 memory=1633676 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 1212 0 0 0 0 0 0 0 20 0 20 0 52086443 19521036288 413539 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=19063512 memory=1652108 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086516 19521036288 413539 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 3520.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/326 52708
/proc/meminfo: memFree=117083300/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19063512 memory=1709452 CPUtime=3580.56 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 66688 0 0 0 357810 246 0 0 20 0 20 0 52086435 19521036288 427363 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4765878 427363 5530 1 0 556055 0
[pid=52461/tid=52463] ppid=52458 vsize=19063512 memory=1676684 CPUtime=3568.91 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 26517 0 0 0 356871 20 0 0 20 0 20 0 52086438 19521036288 427363 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19063512 memory=1670540 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086442 19521036288 427363 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 52086443 19521036288 427363 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=19063512 memory=1709452 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086516 19521036288 427363 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 3580.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1709452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.8 s]
/proc/loadavg: 4.18 4.11 4.10 5/304 52828
/proc/meminfo: memFree=120215448/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19063512 memory=1725836 CPUtime=3600.02 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 66851 0 0 0 359754 248 0 0 20 0 20 0 52086435 19521036288 431459 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4765878 431459 5530 1 0 556055 0
[pid=52461/tid=52463] ppid=52458 vsize=19063512 memory=6656 CPUtime=3588.35 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 26677 0 0 0 358814 21 0 0 20 0 20 0 52086438 19521036288 431459 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19063512 memory=-6000919472706579050 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086442 19521036288 431459 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19063512 memory=640 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 52086443 19521036288 431459 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52481] ppid=52458 vsize=19063512 memory=-6000919481346583146 CPUtime=0 cores=0,2
/proc/52461/task/52481/stat : 52481 (Timer-0) S 52458 52461 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086516 19521036288 431459 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1725836 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.77 s, system=2.50711 s

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

[startup+3601.9 s]
/proc/loadavg: 4.18 4.11 4.10 5/304 52828
/proc/meminfo: memFree=120215448/131382112 swapFree=33010684/33010684
[pid=52461] ppid=52458 vsize=19263204 memory=1734968 CPUtime=3600.22 cores=0,2
/proc/52461/stat : 52461 (java) S 52458 52461 51810 0 -1 4194304 69261 0 0 0 359773 249 0 0 20 0 21 0 52086435 19725520896 433742 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
/proc/52461/statm: 4815801 433742 5562 1 0 556974 0
[pid=52461/tid=52463] ppid=52458 vsize=19263204 memory=1670540 CPUtime=3588.45 cores=0,2
/proc/52461/task/52463/stat : 52463 (java) R 52458 52461 51810 0 -1 4194368 26927 0 0 0 358824 21 0 0 20 0 21 0 52086438 19725520896 433742 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52472] ppid=52458 vsize=19263204 memory=-6000919472706579050 CPUtime=0 cores=0,2
/proc/52461/task/52472/stat : 52472 (Finalizer) S 52458 52461 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52086442 19725520896 433742 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
[pid=52461/tid=52479] ppid=52458 vsize=19263204 memory=1719692 CPUtime=0 cores=0,2
/proc/52461/task/52479/stat : 52479 (Common-Cleaner) S 52458 52461 51810 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 21 0 52086443 19725520896 433742 18446744073709551615 94909900140544 94909900144240 140730630516096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94909900152056 94909900152848 94909915975680 140730630519169 140730630519270 140730630519270 140730630524872 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1734968 KiB

Child status: 143

Real time (s): 3601.94
CPU time (s): 3600.28
CPU user time (s): 3597.77
CPU system time (s): 2.50711
CPU usage (%): 99.9537
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1734968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.77
system time used= 2.50711
maximum resident set size= 1735096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103487
involuntary context switches= 9688


# summary of solver processes directly reported to runsolver:
#   pid: 52461
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3597.77
#   total CPU system time (s): 2.50711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.99 second user time and 38.4339 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 12:01:07
IDJOB=4490848
IDBENCH=147623
IDSOLVER=3363
FILE ID=nodeC009/4490848-1751364066
RUNJOBID= nodeC009-1751360462-51820
SLURM_JOB_ID= 9598165
Free space on /tmp= 432648 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490848-1751364066/watcher-4490848-1751364066 -o /tmp/evaluation-result-4490848-1751364066/solver-4490848-1751364066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51820 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4490848-1751364066.opb

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

MD5SUM BENCH= 615ef0f28fa6784c486981c328c6a987
RANDOM SEED=918762252

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        121360876 kB
MemAvailable:   128057628 kB
Buffers:            3280 kB
Cached:          7468384 kB
SwapCached:            0 kB
Active:          2251448 kB
Inactive:        7168768 kB
Active(anon):    1965544 kB
Inactive(anon):      968 kB
Active(file):     285904 kB
Inactive(file):  7167800 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8372 kB
Writeback:             0 kB
AnonPages:       1951736 kB
Mapped:           123280 kB
Shmem:             17960 kB
KReclaimable:     164964 kB
Slab:             249376 kB
SReclaimable:     164964 kB
SUnreclaim:        84412 kB
KernelStack:        4928 kB
PageTables:         7368 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7059424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150248 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1730560 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432652 MiB
End job on nodeC009 at 2025-07-01 13:01:09