Trace number 4542783

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.18 3594.3

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
MD5SUM99fe8e2cd23c0484947be7a71ede996e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark11.4771
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1729
Total number of constraints866
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints856
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4542783-1753217372.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.20	c ... done. Wall clock time 0.057s.
0.12/0.20	c declared #vars     1729
0.12/0.20	c #constraints  866
0.12/0.20	c constraints type 
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 864
0.12/0.20	c 866 constraints processed.
0.89/0.52	c cleaning 2497 clauses out of 5001 with flag 18891/5001
1.47/0.80	c cleaning 4229 clauses out of 8504 with flag 40472/11001
1.87/1.06	c cleaning 5625 clauses out of 11274 with flag 69617/18000
2.26/1.20	c cleaning 6824 clauses out of 13649 with flag 105622/26000
2.43/1.33	c cleaning 7879 clauses out of 15826 with flag 146004/35001
2.82/1.50	c cleaning 8945 clauses out of 17946 with flag 190602/45000
3.00/1.68	c cleaning 9953 clauses out of 20003 with flag 242297/56002
3.44/1.94	c cleaning 10991 clauses out of 22049 with flag 294533/68001
3.65/2.20	c cleaning 12005 clauses out of 24058 with flag 353321/81001
3.94/2.43	c cleaning 12993 clauses out of 26052 with flag 419434/95000
4.16/2.68	c cleaning 13974 clauses out of 28059 with flag 483850/110000
4.47/2.95	c cleaning 15022 clauses out of 30087 with flag 554009/126002
4.90/3.32	c cleaning 15977 clauses out of 32063 with flag 645891/143000
5.22/3.67	c cleaning 17022 clauses out of 34087 with flag 727947/161001
5.73/4.17	c cleaning 17993 clauses out of 36065 with flag 816946/180001
6.12/4.51	c cleaning 18988 clauses out of 38072 with flag 911470/200001
6.52/4.91	c cleaning 19978 clauses out of 40083 with flag 1009481/221000
6.92/5.34	c cleaning 20999 clauses out of 42106 with flag 1113556/243001
7.42/5.82	c cleaning 22019 clauses out of 44106 with flag 1221614/266000
8.12/6.55	c cleaning 23017 clauses out of 46088 with flag 1361504/290001
8.91/7.31	c cleaning 24011 clauses out of 48072 with flag 1499033/315002
10.01/8.48	c cleaning 25001 clauses out of 50059 with flag 1641042/341000
10.92/9.38	c cleaning 25986 clauses out of 52058 with flag 1800478/368000
12.31/10.71	c cleaning 26998 clauses out of 54074 with flag 1991523/396002
13.31/11.71	c cleaning 27987 clauses out of 56074 with flag 2174267/425000
13.91/12.36	c cleaning 28976 clauses out of 58088 with flag 2323089/455001
14.81/13.22	c cleaning 29992 clauses out of 60111 with flag 2463134/486000
15.51/13.96	c cleaning 30995 clauses out of 62122 with flag 2616026/518003
17.43/15.83	c cleaning 31990 clauses out of 64125 with flag 2821707/551001
19.12/17.59	c cleaning 33015 clauses out of 66134 with flag 3036785/585000
19.92/18.38	c cleaning 34022 clauses out of 68119 with flag 3199553/620000
20.72/19.16	c cleaning 35012 clauses out of 70099 with flag 3367994/656002
21.72/20.18	c cleaning 35981 clauses out of 72085 with flag 3546305/693000
22.81/21.25	c cleaning 37016 clauses out of 74104 with flag 3733070/731000
23.86/22.20	c cleaning 37970 clauses out of 76090 with flag 3907818/770002
25.66/24.05	c cleaning 39023 clauses out of 78121 with flag 4124407/810003
26.95/25.30	c cleaning 40016 clauses out of 80098 with flag 4322711/851003
30.05/28.41	c cleaning 40999 clauses out of 82079 with flag 4544827/893000
32.75/31.18	c cleaning 42004 clauses out of 84081 with flag 4793386/936001
36.07/34.40	c cleaning 43008 clauses out of 86078 with flag 5062231/980002
39.36/37.70	c cleaning 44002 clauses out of 88069 with flag 5340108/1025001
43.16/41.59	c cleaning 45001 clauses out of 90069 with flag 5638974/1071003
46.85/45.24	c cleaning 46001 clauses out of 92067 with flag 5958461/1118002
51.05/49.41	c cleaning 47000 clauses out of 94065 with flag 6276161/1166001
53.05/51.42	c cleaning 48019 clauses out of 96067 with flag 6547660/1215003
54.15/52.58	c cleaning 49006 clauses out of 98045 with flag 6791800/1265000
55.25/53.62	c cleaning 49938 clauses out of 100039 with flag 7019060/1316000
56.69/55.06	c cleaning 50986 clauses out of 102102 with flag 7250830/1368001
57.98/56.39	c cleaning 52006 clauses out of 104115 with flag 7496247/1421000
59.38/57.74	c cleaning 53026 clauses out of 106109 with flag 7749209/1475000
60.88/59.24	c cleaning 53960 clauses out of 108083 with flag 8019589/1530000
62.52/60.82	c cleaning 54991 clauses out of 110123 with flag 8299039/1586000
64.01/62.31	c cleaning 55951 clauses out of 112132 with flag 8586272/1643000
69.00/67.35	c cleaning 57062 clauses out of 114182 with flag 8941764/1701001
73.93/72.25	c cleaning 58035 clauses out of 116119 with flag 9338011/1760000
76.92/75.22	c cleaning 59026 clauses out of 118084 with flag 9703265/1820000
81.41/79.77	c cleaning 60007 clauses out of 120059 with flag 10126081/1881001
85.33/83.68	c cleaning 60956 clauses out of 122052 with flag 10527666/1943001
87.03/85.34	c cleaning 62013 clauses out of 124096 with flag 10840219/2006001
89.13/87.48	c cleaning 62969 clauses out of 126082 with flag 11147050/2070000
92.05/90.36	c cleaning 64015 clauses out of 128114 with flag 11491618/2135001
95.05/93.40	c cleaning 65004 clauses out of 130098 with flag 11867899/2201000
96.64/95.00	c cleaning 65998 clauses out of 132095 with flag 12181778/2268001
98.58/96.86	c cleaning 67022 clauses out of 134098 with flag 12514854/2336002
102.37/100.63	c cleaning 68028 clauses out of 136075 with flag 12909298/2405001
107.76/106.03	c cleaning 69005 clauses out of 138046 with flag 13379696/2475000
114.09/112.37	c cleaning 70008 clauses out of 140042 with flag 13872208/2546001
120.88/119.11	c cleaning 71004 clauses out of 142034 with flag 14327572/2618001
127.36/125.67	c cleaning 72000 clauses out of 144030 with flag 14823461/2691001
134.19/132.43	c cleaning 73004 clauses out of 146032 with flag 15332936/2765003
138.08/136.38	c cleaning 73978 clauses out of 148025 with flag 15784394/2840000
140.18/138.49	c cleaning 74958 clauses out of 150048 with flag 16151118/2916001
142.27/140.50	c cleaning 75997 clauses out of 152090 with flag 16529393/2993001
146.71/144.95	c cleaning 77016 clauses out of 154093 with flag 16949836/3071001
151.40/149.68	c cleaning 78011 clauses out of 156076 with flag 17418801/3150000
154.29/152.56	c cleaning 78996 clauses out of 158066 with flag 17824213/3230001
158.38/156.65	c cleaning 79941 clauses out of 160069 with flag 18257887/3311000
163.96/162.27	c cleaning 80996 clauses out of 162128 with flag 18784841/3393000
166.42/164.69	c cleaning 82035 clauses out of 164132 with flag 19196438/3476000
168.62/166.81	c cleaning 83005 clauses out of 166098 with flag 19592154/3560001
172.71/170.90	c cleaning 83997 clauses out of 168092 with flag 20067751/3645000
175.40/173.64	c cleaning 85016 clauses out of 170095 with flag 20485084/3731000
178.07/176.27	c cleaning 86016 clauses out of 172080 with flag 20922159/3818001
180.87/179.03	c cleaning 86973 clauses out of 174065 with flag 21398541/3906002
188.96/187.19	c cleaning 87993 clauses out of 176091 with flag 22018917/3995001
191.15/189.38	c cleaning 89033 clauses out of 178097 with flag 22413021/4085000
193.61/191.75	c cleaning 89937 clauses out of 180066 with flag 22831893/4176002
196.50/194.61	c cleaning 91036 clauses out of 182127 with flag 23280010/4268000
206.58/204.78	c cleaning 92014 clauses out of 184093 with flag 23870018/4361002
214.27/212.43	c cleaning 93011 clauses out of 186077 with flag 24496659/4455000
223.55/221.74	c cleaning 94003 clauses out of 188066 with flag 25125743/4550000
233.28/231.49	c cleaning 94999 clauses out of 190063 with flag 25811346/4646000
236.98/235.10	c cleaning 95962 clauses out of 192064 with flag 26326574/4743000
244.67/242.89	c cleaning 97020 clauses out of 194102 with flag 26954205/4841000
253.45/251.62	c cleaning 98011 clauses out of 196084 with flag 27670587/4940002
259.94/258.19	c cleaning 98982 clauses out of 198071 with flag 28371890/5040000
263.31/261.06	c cleaning 99956 clauses out of 200089 with flag 28844650/5141000
266.59/264.34	c cleaning 101023 clauses out of 202134 with flag 29331377/5243001
269.29/267.09	c cleaning 102039 clauses out of 204111 with flag 29819193/5346001
273.18/270.91	c cleaning 102979 clauses out of 206073 with flag 30314898/5450002
277.97/275.73	c cleaning 103963 clauses out of 208094 with flag 30861491/5555002
282.33/280.04	c cleaning 105021 clauses out of 210129 with flag 31401885/5661000
289.42/287.19	c cleaning 106033 clauses out of 212108 with flag 32063805/5768000
294.00/291.75	c cleaning 107018 clauses out of 214076 with flag 32643883/5876001
298.59/296.31	c cleaning 107972 clauses out of 216059 with flag 33221033/5985002
302.48/300.24	c cleaning 108964 clauses out of 218085 with flag 33774801/6095000
306.15/303.89	c cleaning 109973 clauses out of 220122 with flag 34307358/6206001
310.24/308.00	c cleaning 111051 clauses out of 222148 with flag 34890882/6318000
319.73/317.48	c cleaning 112009 clauses out of 224097 with flag 35558063/6431000
333.90/331.62	c cleaning 113006 clauses out of 226089 with flag 36337763/6545001
338.69/336.49	c cleaning 114018 clauses out of 228082 with flag 36993181/6660000
343.57/341.22	c cleaning 114986 clauses out of 230064 with flag 37582690/6776000
347.86/345.58	c cleaning 115958 clauses out of 232078 with flag 38180439/6893000
351.16/348.85	c cleaning 117032 clauses out of 234122 with flag 38721739/7011002
356.04/353.72	c cleaning 117990 clauses out of 236088 with flag 39341920/7130000
362.93/360.69	c cleaning 119018 clauses out of 238101 with flag 39999557/7250003
368.92/366.56	c cleaning 119981 clauses out of 240080 with flag 40666742/7371000
374.80/372.43	c cleaning 121012 clauses out of 242099 with flag 41281018/7493000
378.89/376.59	c cleaning 122007 clauses out of 244088 with flag 41905755/7616001
388.06/385.72	c cleaning 123021 clauses out of 246081 with flag 42811883/7740001
391.65/389.34	c cleaning 123965 clauses out of 248059 with flag 43396035/7865000
396.74/394.33	c cleaning 124990 clauses out of 250095 with flag 44006218/7991001
402.92/400.58	c cleaning 125985 clauses out of 252104 with flag 44679100/8118000
412.80/410.49	c cleaning 127035 clauses out of 254120 with flag 45489882/8246001
418.99/416.69	c cleaning 127989 clauses out of 256084 with flag 46252796/8375000
426.57/424.28	c cleaning 128966 clauses out of 258095 with flag 46935334/8505000
430.37/428.06	c cleaning 129996 clauses out of 260131 with flag 47531894/8636002
434.97/432.58	c cleaning 131022 clauses out of 262133 with flag 48180392/8768000
439.26/436.84	c cleaning 131953 clauses out of 264111 with flag 48846161/8901000
444.85/442.45	c cleaning 132997 clauses out of 266159 with flag 49586620/9035001
450.24/447.83	c cleaning 134025 clauses out of 268163 with flag 50275558/9170002
455.62/453.20	c cleaning 134995 clauses out of 270138 with flag 50955163/9306002
461.63/458.83	c cleaning 136058 clauses out of 272141 with flag 51648179/9443000
467.31/464.55	c cleaning 137012 clauses out of 274083 with flag 52333179/9581000
479.38/476.60	c cleaning 138023 clauses out of 276071 with flag 53173429/9720000
498.14/495.49	c cleaning 139008 clauses out of 278048 with flag 54185726/9860000
513.50/510.88	c cleaning 140009 clauses out of 280042 with flag 55210681/10001002
529.95/527.20	c cleaning 140996 clauses out of 282032 with flag 56231940/10143001
540.94/538.23	c cleaning 141982 clauses out of 284035 with flag 57148643/10286000
546.73/544.04	c cleaning 142988 clauses out of 286053 with flag 57885102/10430000
553.01/550.39	c cleaning 143979 clauses out of 288067 with flag 58637112/10575002
561.39/558.73	c cleaning 145016 clauses out of 290086 with flag 59437628/10721000
567.78/565.19	c cleaning 146001 clauses out of 292072 with flag 60242425/10868002
583.08/580.35	c cleaning 147010 clauses out of 294069 with flag 61192803/11016000
591.86/589.17	c cleaning 147971 clauses out of 296061 with flag 62068603/11165002
599.54/596.89	c cleaning 149001 clauses out of 298089 with flag 62832433/11315001
604.74/602.02	c cleaning 149998 clauses out of 300087 with flag 63562916/11466000
610.22/607.50	c cleaning 150989 clauses out of 302092 with flag 64288490/11618003
619.70/617.04	c cleaning 151990 clauses out of 304102 with flag 65148174/11771002
625.98/623.32	c cleaning 152984 clauses out of 306110 with flag 65954915/11925000
636.26/633.60	c cleaning 154033 clauses out of 308127 with flag 66793747/12080001
644.10/641.33	c cleaning 155008 clauses out of 310094 with flag 67625223/12236001
648.99/646.26	c cleaning 155965 clauses out of 312086 with flag 68366109/12393001
655.58/652.81	c cleaning 156986 clauses out of 314122 with flag 69163448/12551002
661.56/658.84	c cleaning 157998 clauses out of 316134 with flag 69938994/12710000
670.04/667.37	c cleaning 158964 clauses out of 318137 with flag 70750374/12870001
676.93/674.25	c cleaning 160038 clauses out of 320174 with flag 71602092/13031002
695.93/693.19	c cleaning 160998 clauses out of 322135 with flag 72652548/13193001
706.11/703.31	c cleaning 161992 clauses out of 324136 with flag 73579546/13356000
720.97/718.27	c cleaning 162976 clauses out of 326146 with flag 74598997/13520002
745.42/742.71	c cleaning 163989 clauses out of 328168 with flag 75682902/13685000
756.20/753.57	c cleaning 165027 clauses out of 330182 with flag 76619994/13851003
762.38/759.71	c cleaning 166009 clauses out of 332152 with flag 77452573/14018000
769.17/766.50	c cleaning 167026 clauses out of 334143 with flag 78284216/14186000
778.00/775.28	c cleaning 168006 clauses out of 336120 with flag 79185694/14355003
785.68/782.99	c cleaning 168986 clauses out of 338111 with flag 80035159/14525000
798.36/795.67	c cleaning 170024 clauses out of 340126 with flag 81029834/14696001
809.54/806.85	c cleaning 171008 clauses out of 342103 with flag 81999008/14868002
824.12/820.84	c cleaning 171952 clauses out of 344093 with flag 83077300/15041000
839.08/835.86	c cleaning 173056 clauses out of 346143 with flag 84118126/15215002
851.56/848.33	c cleaning 173956 clauses out of 348085 with flag 85104261/15390000
858.94/855.79	c cleaning 175045 clauses out of 350129 with flag 86023091/15566000
868.44/865.19	c cleaning 176020 clauses out of 352084 with flag 86961080/15743000
879.52/876.29	c cleaning 176934 clauses out of 354065 with flag 87992834/15921001
887.49/884.28	c cleaning 178018 clauses out of 356130 with flag 88945483/16100000
900.37/897.16	c cleaning 179027 clauses out of 358112 with flag 89905858/16280000
908.04/904.82	c cleaning 179948 clauses out of 360086 with flag 90841114/16461001
915.55/912.26	c cleaning 181020 clauses out of 362138 with flag 91729605/16643001
927.82/924.53	c cleaning 181995 clauses out of 364117 with flag 92777310/16826000
959.45/956.27	c cleaning 182995 clauses out of 366122 with flag 94069758/17010000
984.00/980.89	c cleaning 183996 clauses out of 368127 with flag 95452763/17195000
1008.26/1005.08	c cleaning 185000 clauses out of 370131 with flag 96749674/17381000
1035.20/1032.07	c cleaning 185999 clauses out of 372132 with flag 98046550/17568001
1062.62/1059.54	c cleaning 187005 clauses out of 374135 with flag 99475970/17756003
1092.05/1089.07	c cleaning 187992 clauses out of 376127 with flag 100869311/17945000
1104.91/1101.95	c cleaning 189048 clauses out of 378135 with flag 101924069/18135000
1116.43/1113.35	c cleaning 190009 clauses out of 380087 with flag 102890582/18326000
1133.69/1130.65	c cleaning 190996 clauses out of 382078 with flag 103990680/18518000
1147.75/1144.77	c cleaning 191999 clauses out of 384083 with flag 105002922/18711001
1156.72/1153.72	c cleaning 193022 clauses out of 386083 with flag 105999294/18905000
1165.90/1162.90	c cleaning 193965 clauses out of 388061 with flag 107036048/19100000
1183.40/1180.34	c cleaning 195024 clauses out of 390096 with flag 108048674/19296000
1190.78/1187.72	c cleaning 195949 clauses out of 392076 with flag 108999491/19493004
1213.93/1210.92	c cleaning 196989 clauses out of 394124 with flag 110274695/19691001
1243.46/1240.54	c cleaning 197988 clauses out of 396134 with flag 111690965/19890000
1272.85/1269.89	c cleaning 199002 clauses out of 398147 with flag 113186772/20090001
1292.21/1289.22	c cleaning 199975 clauses out of 400144 with flag 114449129/20291000
1300.59/1297.69	c cleaning 201069 clauses out of 402169 with flag 115432481/20493000
1309.43/1305.86	c cleaning 202030 clauses out of 404101 with flag 116409630/20696001
1317.81/1314.22	c cleaning 202950 clauses out of 406071 with flag 117428876/20900001
1326.19/1322.67	c cleaning 204014 clauses out of 408120 with flag 118459741/21105000
1333.81/1330.24	c cleaning 204954 clauses out of 410108 with flag 119462164/21311002
1343.99/1340.46	c cleaning 206045 clauses out of 412152 with flag 120554545/21518000
1353.07/1349.53	c cleaning 206975 clauses out of 414108 with flag 121633269/21726001
1361.46/1357.90	c cleaning 207974 clauses out of 416132 with flag 122643874/21935000
1372.04/1368.47	c cleaning 209020 clauses out of 418158 with flag 123702058/22145000
1382.41/1378.81	c cleaning 210041 clauses out of 420138 with flag 124781307/22356000
1391.89/1388.38	c cleaning 211004 clauses out of 422100 with flag 125873305/22568003
1401.17/1397.62	c cleaning 211979 clauses out of 424094 with flag 126933000/22781001
1411.05/1407.56	c cleaning 213037 clauses out of 426118 with flag 128021621/22995004
1421.53/1417.91	c cleaning 213998 clauses out of 428077 with flag 129133457/23210000
1432.30/1428.73	c cleaning 214999 clauses out of 430081 with flag 130229160/23426002
1440.79/1437.22	c cleaning 215978 clauses out of 432080 with flag 131315344/23643000
1452.56/1449.03	c cleaning 216963 clauses out of 434102 with flag 132468816/23861000
1462.73/1459.26	c cleaning 218030 clauses out of 436140 with flag 133580201/24080001
1475.26/1471.66	c cleaning 219007 clauses out of 438109 with flag 134735078/24300000
1496.61/1493.02	c cleaning 220007 clauses out of 440103 with flag 136120405/24521001
1512.77/1509.29	c cleaning 221041 clauses out of 442096 with flag 137417877/24743001
1522.25/1518.79	c cleaning 221981 clauses out of 444054 with flag 138524785/24966000
1532.73/1529.24	c cleaning 223017 clauses out of 446074 with flag 139658496/25190001
1542.51/1539.07	c cleaning 223969 clauses out of 448060 with flag 140813844/25415004
1551.82/1548.29	c cleaning 224977 clauses out of 450089 with flag 141920064/25641002
1562.81/1559.25	c cleaning 226034 clauses out of 452110 with flag 143076143/25868000
1572.69/1569.12	c cleaning 226962 clauses out of 454079 with flag 144212823/26096003
1581.96/1578.49	c cleaning 227991 clauses out of 456114 with flag 145341982/26325000
1594.15/1590.55	c cleaning 228989 clauses out of 458123 with flag 146570822/26555000
1604.82/1601.22	c cleaning 230005 clauses out of 460135 with flag 147741371/26786001
1617.50/1613.90	c cleaning 231016 clauses out of 462130 with flag 148947659/27018001
1629.48/1625.98	c cleaning 232032 clauses out of 464113 with flag 150174302/27251000
1644.55/1641.08	c cleaning 232942 clauses out of 466081 with flag 151441369/27485000
1654.45/1650.87	c cleaning 234053 clauses out of 468140 with flag 152576460/27720001
1665.33/1661.71	c cleaning 234998 clauses out of 470086 with flag 153784641/27956000
1676.90/1673.35	c cleaning 235987 clauses out of 472088 with flag 154957412/28193000
1688.38/1684.88	c cleaning 237026 clauses out of 474102 with flag 156177465/28431001
1709.73/1705.64	c cleaning 238015 clauses out of 476075 with flag 157438734/28670000
1720.01/1715.91	c cleaning 238965 clauses out of 478060 with flag 158583397/28910000
1731.80/1727.75	c cleaning 240006 clauses out of 480095 with flag 159826013/29151000
1748.66/1744.59	c cleaning 240995 clauses out of 482089 with flag 161177034/29393000
1797.95/1793.92	c cleaning 241997 clauses out of 484094 with flag 162591352/29636000
1821.30/1817.34	c cleaning 242994 clauses out of 486098 with flag 163997418/29880001
1839.21/1835.22	c cleaning 243996 clauses out of 488103 with flag 165327651/30125000
1851.82/1847.65	c cleaning 244978 clauses out of 490107 with flag 166587009/30371000
1865.30/1861.06	c cleaning 245998 clauses out of 492129 with flag 167896068/30618000
1879.42/1875.17	c cleaning 247004 clauses out of 494131 with flag 169329717/30866000
1905.10/1900.89	c cleaning 248045 clauses out of 496127 with flag 171008810/31115000
1919.47/1915.01	c cleaning 249020 clauses out of 498082 with flag 172273569/31365000
1936.78/1932.32	c cleaning 250013 clauses out of 500064 with flag 173590740/31616002
1947.46/1943.09	c cleaning 250992 clauses out of 502050 with flag 174841174/31868001
1960.84/1956.28	c cleaning 251951 clauses out of 504057 with flag 176123530/32121000
1980.04/1975.31	c cleaning 252986 clauses out of 506106 with flag 177553859/32375000
1995.61/1990.95	c cleaning 254016 clauses out of 508120 with flag 178884789/32630000
2007.70/2002.72	c cleaning 255010 clauses out of 510105 with flag 180158352/32886001
2018.57/2013.61	c cleaning 255997 clauses out of 512094 with flag 181444520/33143000
2035.74/2030.83	c cleaning 257003 clauses out of 514097 with flag 182897030/33401000
2052.51/2047.61	c cleaning 258001 clauses out of 516095 with flag 184375033/33660001
2063.75/2058.89	c cleaning 259041 clauses out of 518094 with flag 185679980/33920001
2078.61/2073.72	c cleaning 259989 clauses out of 520052 with flag 187097992/34181000
2091.08/2086.23	c cleaning 260986 clauses out of 522063 with flag 188461638/34443000
2103.50/2098.57	c cleaning 261972 clauses out of 524077 with flag 189821978/34706000
2118.57/2113.62	c cleaning 263016 clauses out of 526106 with flag 191248314/34970001
2131.24/2126.36	c cleaning 264029 clauses out of 528089 with flag 192605789/35235000
2144.81/2139.20	c cleaning 264950 clauses out of 530060 with flag 194002037/35501000
2157.78/2152.28	c cleaning 265952 clauses out of 532110 with flag 195327552/35768000
2170.76/2165.23	c cleaning 266976 clauses out of 534158 with flag 196693703/36036000
2183.17/2177.64	c cleaning 268068 clauses out of 536182 with flag 198009789/36305000
2194.74/2189.27	c cleaning 268983 clauses out of 538115 with flag 199316642/36575001
2206.81/2201.35	c cleaning 270037 clauses out of 540131 with flag 200635755/36846000
2219.09/2213.61	c cleaning 270950 clauses out of 542095 with flag 202029066/37118001
2233.44/2227.90	c cleaning 272058 clauses out of 544145 with flag 203472867/37391001
2245.72/2240.29	c cleaning 273004 clauses out of 546086 with flag 204831549/37665000
2257.00/2251.55	c cleaning 274022 clauses out of 548085 with flag 206143932/37940003
2270.36/2264.93	c cleaning 275015 clauses out of 550061 with flag 207557234/38216001
2283.14/2277.78	c cleaning 275988 clauses out of 552045 with flag 208971682/38493000
2297.79/2292.30	c cleaning 276981 clauses out of 554061 with flag 210478071/38771004
2311.36/2305.99	c cleaning 277945 clauses out of 556076 with flag 211876368/39050000
2324.43/2319.10	c cleaning 279033 clauses out of 558132 with flag 213316216/39330001
2344.39/2339.07	c cleaning 280006 clauses out of 560099 with flag 214772850/39611001
2358.75/2353.47	c cleaning 281001 clauses out of 562094 with flag 216202296/39893002
2374.51/2369.03	c cleaning 282011 clauses out of 564093 with flag 217700485/40176002
2387.17/2381.74	c cleaning 282955 clauses out of 566081 with flag 219145252/40460001
2406.33/2400.94	c cleaning 284012 clauses out of 568125 with flag 220733566/40745000
2419.60/2414.22	c cleaning 285009 clauses out of 570115 with flag 222169102/41031002
2432.77/2427.41	c cleaning 285975 clauses out of 572104 with flag 223637112/41318000
2450.23/2444.96	c cleaning 287003 clauses out of 574130 with flag 225177176/41606001
2463.44/2458.06	c cleaning 287976 clauses out of 576128 with flag 226585061/41895002
2480.59/2475.26	c cleaning 289056 clauses out of 578150 with flag 228135562/42185000
2496.25/2490.91	c cleaning 289990 clauses out of 580094 with flag 229686119/42476000
2509.62/2504.36	c cleaning 291013 clauses out of 582105 with flag 231134528/42768001
2528.87/2523.66	c cleaning 291996 clauses out of 584092 with flag 232727289/43061001
2544.50/2539.17	c cleaning 292986 clauses out of 586095 with flag 234243896/43355000
2560.85/2555.52	c cleaning 294020 clauses out of 588110 with flag 235749413/43650001
2580.62/2575.36	c cleaning 295001 clauses out of 590089 with flag 237368197/43946000
2638.99/2633.80	c cleaning 296018 clauses out of 592088 with flag 239426067/44243000
2687.89/2682.85	c cleaning 296942 clauses out of 594072 with flag 241453997/44541002
2707.17/2701.95	c cleaning 298024 clauses out of 596129 with flag 243168337/44840001
2721.74/2716.52	c cleaning 299029 clauses out of 598105 with flag 244666969/45140001
2737.21/2732.05	c cleaning 299992 clauses out of 600075 with flag 246143725/45441000
2752.42/2747.16	c cleaning 300963 clauses out of 602084 with flag 247670776/45743001
2769.47/2764.24	c cleaning 302008 clauses out of 604121 with flag 249361242/46046001
2792.63/2787.47	c cleaning 302993 clauses out of 606112 with flag 251144265/46350000
2864.80/2859.60	c cleaning 303988 clauses out of 608119 with flag 253248725/46655000
2916.36/2911.32	c cleaning 304998 clauses out of 610131 with flag 255394136/46961000
2937.11/2931.26	c cleaning 306017 clauses out of 612133 with flag 257140862/47268000
2964.06/2958.16	c cleaning 307023 clauses out of 614116 with flag 258972468/47576000
2979.23/2973.38	c cleaning 308022 clauses out of 616094 with flag 260533095/47885001
2993.19/2987.39	c cleaning 308961 clauses out of 618073 with flag 262076565/48195002
3012.25/3006.44	c cleaning 310023 clauses out of 620110 with flag 263650512/48506000
3029.59/3023.75	c cleaning 311006 clauses out of 622088 with flag 265297179/48818001
3047.85/3042.09	c cleaning 312036 clauses out of 624082 with flag 266967054/49131001
3066.31/3060.56	c cleaning 313000 clauses out of 626045 with flag 268637078/49445000
3082.13/3076.27	c cleaning 313969 clauses out of 628045 with flag 270234940/49760000
3099.09/3093.24	c cleaning 314999 clauses out of 630079 with flag 271835816/50076003
3121.24/3115.46	c cleaning 315965 clauses out of 632079 with flag 273617893/50393002
3138.60/3132.86	c cleaning 317015 clauses out of 634115 with flag 275180905/50711003
3169.57/3163.78	c cleaning 318024 clauses out of 636099 with flag 277064364/51030002
3194.92/3189.11	c cleaning 318985 clauses out of 638073 with flag 278901086/51350000
3220.45/3214.71	c cleaning 319998 clauses out of 640089 with flag 280729152/51671001
3239.04/3233.19	c cleaning 321001 clauses out of 642090 with flag 282472082/51993000
3255.70/3249.83	c cleaning 322020 clauses out of 644089 with flag 284147914/52316000
3273.66/3267.81	c cleaning 322979 clauses out of 646071 with flag 285881754/52640002
3289.36/3283.55	c cleaning 323997 clauses out of 648091 with flag 287515003/52965001
3307.11/3301.29	c cleaning 325007 clauses out of 650094 with flag 289243792/53291001
3322.98/3317.11	c cleaning 325993 clauses out of 652086 with flag 290820990/53618000
3379.76/3374.00	c cleaning 327005 clauses out of 654093 with flag 293197866/53946000
3401.35/3395.50	c cleaning 327960 clauses out of 656090 with flag 295075602/54275002
3422.11/3416.34	c cleaning 329040 clauses out of 658131 with flag 296891349/54605003
3450.44/3444.73	c cleaning 329959 clauses out of 660088 with flag 298798518/54936000
3476.23/3470.43	c cleaning 331043 clauses out of 662129 with flag 300629951/55268000
3495.79/3490.03	c cleaning 331972 clauses out of 664087 with flag 302378543/55601001
3517.04/3511.39	c cleaning 332981 clauses out of 666116 with flag 304126885/55935002
3538.35/3532.52	c cleaning 334015 clauses out of 668135 with flag 305915691/56270002
3558.21/3552.42	c cleaning 335039 clauses out of 670119 with flag 307734119/56606001
3580.95/3575.26	c cleaning 335975 clauses out of 672079 with flag 309595187/56943000
3598.63/3592.85	c cleaning 337024 clauses out of 674104 with flag 311304383/57281000
3600.03/3594.21	c starts		: 19547
3600.03/3594.21	c conflicts		: 57319252
3600.03/3594.21	c decisions		: 84145239
3600.03/3594.21	c propagations		: 796635520
3600.03/3594.21	c inspects		: 48948707739
3600.03/3594.21	c shortcuts		: 0
3600.03/3594.21	c learnt literals	: 0
3600.03/3594.21	c learnt binary clauses	: 0
3600.03/3594.21	c learnt ternary clauses	: 0
3600.03/3594.21	c learnt constraints	: 57319252
3600.03/3594.21	c ignored constraints	: 0
3600.03/3594.21	c root simplifications	: 0
3600.03/3594.21	c removed literals (reason simplification)	: 49278091
3600.03/3594.21	c reason swapping (by a shorter reason)	: 0
3600.03/3594.21	c Calls to reduceDB	: 334
3600.03/3594.21	c Number of update (reduction) of LBD	: 18555106
3600.03/3594.21	c Imported unit clauses	: 0
3600.03/3594.21	c No decision after first conflict	: false
3600.03/3594.21	c number of reductions to clauses (during analyze)	: 0
3600.03/3594.21	c number of learned constraints concerned by reduction	: 0
3600.03/3594.21	c number of learning phase by resolution	: 0
3600.03/3594.21	c number of learning phase by cutting planes	: 0
3600.03/3594.21	c number of rounding to 1 operations	: 0
3600.03/3594.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3594.21	c number of reductions of the coefficients by power 2 	: 0
3600.03/3594.21	c number of right shift for reduction by power 2 	: 0
3600.03/3594.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3594.21	c number of ending skipping 	: 0
3600.03/3594.21	c number of internal skipping 	: 0
3600.03/3594.21	c number of derivation steps 	: 0
3600.03/3594.21	c number of skipped derivation steps 	: 0
3600.03/3594.21	c number of remaining unassigned 	: 0
3600.03/3594.21	c number of remaining assigned 	: 0
3600.03/3594.21	c number of falsified literals weakened from reason	: 0
3600.03/3594.21	c number of falsified literals weakened from conflict	: 0
3600.03/3594.21	c time for arithmetic operations	: 0
3600.03/3594.22	c minimum degree of deleted constraints	: null
3600.03/3594.22	c maximum degree of deleted constraints	: null
3600.03/3594.22	c number of deleted constraints	: 0
3600.03/3594.22	c timeout
3600.03/3594.22	c speed (assignments/second)	: 221655.96276924602
3600.03/3594.22	c non guided choices	: 11263017
3600.03/3594.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 375332
3600.03/3594.28	s UNKNOWN
3600.03/3594.28	c Total wall clock time (in seconds): 3594.146

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (41967 MiB free)
  memory of node 1: 64465 MiB (42782 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542783-1753217372/watcher-4542783-1753217372 -o /tmp/evaluation-result-4542783-1753217372/solver-4542783-1753217372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753210180-157169 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542783-1753217372.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=158108, runsolver pid=158105

[startup+0.100059 s]*
/proc/loadavg: 4.19 4.15 4.15 5/338 158126
/proc/meminfo: memFree=86752848/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=18930384 memory=57676 CPUtime=0.12 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 6552 0 0 0 11 1 0 0 20 0 18 0 237414782 19384713216 14419 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4732596 14419 5340 1 0 547604 0
[pid=158108/tid=158110] ppid=158105 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 5051 0 0 0 7 1 0 0 20 0 18 0 237414783 19384713216 14419 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237414786 19384713216 14419 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237414786 19384713216 14419 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57676 KiB

[startup+0.211457 s]*
/proc/loadavg: 4.19 4.15 4.15 8/339 158127
/proc/meminfo: memFree=86732432/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=18996948 memory=76488 CPUtime=0.32 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 7086 0 0 0 30 2 0 0 20 0 19 0 237414782 19452874752 19122 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4749237 19122 5436 1 0 548252 0
[pid=158108/tid=158110] ppid=158105 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 5306 0 0 0 16 1 0 0 20 0 19 0 237414783 19452874752 19122 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=18996948 memory=17146 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 19122 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=18996948 memory=54087446168546 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 19122 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (java) R 158105 158108 157157 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 237414802 19452874752 19122 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76488 KiB

[startup+0.305681 s]*
/proc/loadavg: 4.19 4.15 4.15 6/339 158127
/proc/meminfo: memFree=86720272/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=18996948 memory=85712 CPUtime=0.51 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 10400 0 0 0 48 3 0 0 20 0 19 0 237414782 19452874752 21428 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4749237 21428 5436 1 0 550005 0
[pid=158108/tid=158110] ppid=158105 vsize=18996948 memory=-8817319525446623932 CPUtime=0.25 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 5321 0 0 0 24 1 0 0 20 0 19 0 237414783 19452874752 21428 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 21428 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 21428 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237414802 19452874752 21428 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85712 KiB

[startup+0.700195 s]
/proc/loadavg: 4.19 4.15 4.15 6/339 158127
/proc/meminfo: memFree=86720272/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=18996948 memory=104516 CPUtime=1.27 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 15652 0 0 0 123 4 0 0 20 0 19 0 237414782 19452874752 26129 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4749237 26129 5468 1 0 553524 0
[pid=158108/tid=158110] ppid=158105 vsize=18996948 memory=27136 CPUtime=0.61 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 5380 0 0 0 60 1 0 0 20 0 19 0 237414783 19452874752 26129 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 26129 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 26129 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237414802 19452874752 26129 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104516 KiB

[startup+1.50022 s]
/proc/loadavg: 4.19 4.15 4.15 6/339 158127
/proc/meminfo: memFree=86705780/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=18996948 memory=119424 CPUtime=2.82 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 19192 0 0 0 278 4 0 0 20 0 19 0 237414782 19452874752 29856 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4749237 29856 5468 1 0 553525 0
[pid=158108/tid=158110] ppid=158105 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 5692 0 0 0 139 2 0 0 20 0 19 0 237414783 19452874752 29856 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 29856 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 29856 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237414802 19452874752 29856 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119424 KiB

[startup+3.10546 s]
/proc/loadavg: 4.18 4.14 4.15 5/339 158127
/proc/meminfo: memFree=86661412/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=18996948 memory=154624 CPUtime=4.7 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 20745 0 0 0 465 5 0 0 20 0 19 0 237414782 19452874752 38656 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4749237 38656 5500 1 0 553527 0
[pid=158108/tid=158110] ppid=158105 vsize=18996948 memory=10752 CPUtime=3.02 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 6041 0 0 0 299 3 0 0 20 0 19 0 237414783 19452874752 38656 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=18996948 memory=-8817319525446623932 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 38656 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237414786 19452874752 38656 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237414802 19452874752 38656 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 154624 KiB

[startup+6.30016 s]
/proc/loadavg: 4.18 4.14 4.15 5/340 158128
/proc/meminfo: memFree=86624492/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=178396 CPUtime=7.92 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 21846 0 0 0 786 6 0 0 20 0 20 0 237414782 19521036288 44599 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 44599 5500 1 0 553816 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=0 CPUtime=6.18 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 6135 0 0 0 615 3 0 0 20 0 20 0 237414783 19521036288 44599 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 44599 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 44599 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=121472 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 44599 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 7.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178396 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.15 5/340 158128
/proc/meminfo: memFree=86612260/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=186620 CPUtime=14.31 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 24192 0 0 0 1425 6 0 0 20 0 20 0 237414782 19521036288 46655 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 46655 5500 1 0 553816 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=121472 CPUtime=12.55 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 6948 0 0 0 1252 3 0 0 20 0 20 0 237414783 19521036288 46655 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=186620 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 46655 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 46655 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 46655 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 14.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186620 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.15 4.16 5/341 158198
/proc/meminfo: memFree=89689036/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=264680 CPUtime=27.15 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 27108 0 0 0 2706 9 0 0 20 0 20 0 237414782 19521036288 66170 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 66170 5500 1 0 553816 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=186620 CPUtime=25.24 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 7608 0 0 0 2521 3 0 0 20 0 20 0 237414783 19521036288 66170 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 66170 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 66170 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 66170 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 27.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 264680 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.14 4.15 5/343 158202
/proc/meminfo: memFree=89305404/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=344668 CPUtime=52.76 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 28215 0 0 0 5265 11 0 0 20 0 20 0 237414782 19521036288 86167 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 86167 5500 1 0 553816 0

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

/proc/meminfo: memFree=81097520/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=2898516 CPUtime=3228.05 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 112639 0 0 0 322695 110 0 0 20 0 20 0 237414782 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 724629 5532 1 0 738505 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=2898516 CPUtime=3206.92 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 51758 0 0 0 320668 24 0 0 20 0 20 0 237414783 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=2898516 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=2898516 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 1316 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 3228.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2898516 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/339 158378
/proc/meminfo: memFree=81097488/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=2898516 CPUtime=3288.16 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 113364 0 0 0 328706 110 0 0 20 0 20 0 237414782 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 724629 5532 1 0 738527 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=10752 CPUtime=3266.56 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 51833 0 0 0 326632 24 0 0 20 0 20 0 237414783 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=2898516 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=2898516 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 1316 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 724629 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 3288.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2898516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/339 158380
/proc/meminfo: memFree=81096916/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=2898644 CPUtime=3348.12 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 113578 0 0 0 334701 111 0 0 20 0 20 0 237414782 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 724661 5532 1 0 738559 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=16508 CPUtime=3326.33 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 51889 0 0 0 332609 24 0 0 20 0 20 0 237414783 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=2898644 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=2898644 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 1325 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 3348.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2898644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/340 158383
/proc/meminfo: memFree=81096788/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=2898644 CPUtime=3408.14 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 114036 0 0 0 340702 112 0 0 20 0 20 0 237414782 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 724661 5532 1 0 738559 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=2898644 CPUtime=3386.05 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 52293 0 0 0 338581 24 0 0 20 0 20 0 237414783 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=2898644 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 1325 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=2898644 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 724661 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 3408.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2898644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/341 158386
/proc/meminfo: memFree=81097012/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=2898772 CPUtime=3468.15 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 115915 0 0 0 346702 113 0 0 20 0 20 0 237414782 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 724693 5532 1 0 738559 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=2898644 CPUtime=3445.75 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 53355 0 0 0 344551 24 0 0 20 0 20 0 237414783 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=2898644 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 1325 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=27136 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 3468.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2898772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/341 158388
/proc/meminfo: memFree=81096716/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=2898772 CPUtime=3528.01 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 117015 0 0 0 352687 114 0 0 20 0 20 0 237414782 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 724693 5532 1 0 738559 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=2898644 CPUtime=3505.59 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 54191 0 0 0 350535 24 0 0 20 0 20 0 237414783 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=2898644 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=2898772 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 1368 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=2898772 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 724693 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 3528.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2898772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/341 158390
/proc/meminfo: memFree=81096948/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=2899156 CPUtime=3588.15 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 118104 0 0 0 358700 115 0 0 20 0 20 0 237414782 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 724789 5532 1 0 738559 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=2898644 CPUtime=3565.16 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 54507 0 0 0 356492 24 0 0 20 0 20 0 237414783 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 1414 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 3588.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2899156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.2 s]
/proc/loadavg: 3.90 4.07 4.09 3/291 158458
/proc/meminfo: memFree=85437320/131249988 swapFree=33010160/33010684
[pid=158108] ppid=158105 vsize=19063512 memory=2899156 CPUtime=3600.03 cores=1,3
/proc/158108/stat : 158108 (java) S 158105 158108 157157 0 -1 4194304 118354 0 0 0 359888 115 0 0 20 0 20 0 237414782 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
/proc/158108/statm: 4765878 724789 5532 1 0 738559 0
[pid=158108/tid=158110] ppid=158105 vsize=19063512 memory=245635481903 CPUtime=3577.03 cores=1,3
/proc/158108/task/158110/stat : 158110 (java) R 158105 158108 157157 0 -1 4194368 54757 0 0 0 357679 24 0 0 20 0 20 0 237414783 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158119] ppid=158105 vsize=19063512 memory=5764661636199875314 CPUtime=0 cores=1,3
/proc/158108/task/158119/stat : 158119 (Finalizer) S 158105 158108 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158126] ppid=158105 vsize=19063512 memory=3904963053502228241 CPUtime=0 cores=1,3
/proc/158108/task/158126/stat : 158126 (Common-Cleaner) S 158105 158108 157157 0 -1 4194368 1414 0 0 0 0 0 0 0 20 0 20 0 237414786 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
[pid=158108/tid=158127] ppid=158105 vsize=19063512 memory=9984 CPUtime=0 cores=1,3
/proc/158108/task/158127/stat : 158127 (Timer-0) S 158105 158108 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237414802 19521036288 724789 18446744073709551615 93875787046912 93875787050608 140731414340400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93875787058424 93875787059216 93875797614592 140731414342015 140731414342116 140731414342116 140731414347720 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2899156 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=1.17661 s

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

Child status: 143

Real time (s): 3594.3
CPU time (s): 3600.18
CPU user time (s): 3599.01
CPU system time (s): 1.17661
CPU usage (%): 100.164
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2899156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.17661
maximum resident set size= 2900180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108091
involuntary context switches= 6663


# summary of solver processes directly reported to runsolver:
#   pid: 158108
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 1.17661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85101 second user time and 16.0475 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-22 22:49:32
IDJOB=4542783
IDBENCH=164647
IDSOLVER=3363
FILE ID=nodeC020/4542783-1753217372
RUNJOBID= nodeC020-1753210180-157169
SLURM_JOB_ID= 9687784
Free space on /tmp= 432888 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542783-1753217372/watcher-4542783-1753217372 -o /tmp/evaluation-result-4542783-1753217372/solver-4542783-1753217372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753210180-157169 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542783-1753217372.opb

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

MD5SUM BENCH= 99fe8e2cd23c0484947be7a71ede996e
RANDOM SEED=1611087539

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        86784168 kB
MemAvailable:   126011972 kB
Buffers:            2128 kB
Cached:         39984952 kB
SwapCached:            4 kB
Active:          4593544 kB
Inactive:       39130740 kB
Active(anon):    3738912 kB
Inactive(anon):    24536 kB
Active(file):     854632 kB
Inactive(file): 39106204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               780 kB
Writeback:             0 kB
AnonPages:       3739912 kB
Mapped:           128568 kB
Shmem:             26244 kB
KReclaimable:     212412 kB
Slab:             308984 kB
SReclaimable:     212412 kB
SUnreclaim:        96572 kB
KernelStack:        5168 kB
PageTables:        10912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    9182488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3510272 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432892 MiB
End job on nodeC020 at 2025-07-22 23:49:27