Trace number 4543368

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.22 3596.93

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb
MD5SUM3c2aa4644140c0a520c3ebe8e754a206
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 benchmark0.005004
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables174
Total number of constraints175
Number of constraints which are clauses174
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint174
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 43
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 217
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.10/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.22	c java.vm.version	22.0.1+8-16
0.10/0.22	c java.vm.vendor	Oracle Corporation
0.10/0.22	c sun.arch.data.model	64
0.10/0.22	c java.version		22.0.1
0.10/0.22	c os.name		Linux
0.10/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.22	c os.arch		amd64
0.27/0.23	c Free memory 		2104792832
0.27/0.23	c Max memory 		16282288128
0.27/0.23	c Total memory 		2113929216
0.27/0.24	c Number of processors 	2
0.44/0.34	c Pseudo Boolean Optimization by upper bound
0.44/0.34	c --- Begin Solver configuration ---
0.44/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.34	c Learn all clauses as in MiniSAT
0.44/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.34	c Expensive reason simplification
0.44/0.34	c Glucose 2.1 dynamic restart strategy
0.44/0.34	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.44/0.34	c timeout=2147483s
0.44/0.34	c DB Simplification allowed=false
0.44/0.34	c Listener: none
0.44/0.34	c --- End Solver configuration ---
0.44/0.34	c solving HOME/instance-4543368-1753227199.opb
0.44/0.34	c reading problem ... 
0.44/0.34	c  no objective function found
0.44/0.40	c ... done. Wall clock time 0.053s.
0.44/0.40	c declared #vars     174
0.44/0.40	c #constraints  175
0.44/0.40	c constraints type 
0.44/0.40	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.44/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 174
0.44/0.40	c 175 constraints processed.
1.52/0.91	c cleaning 2494 clauses out of 5000 with flag 10688/5000
2.11/1.25	c cleaning 4243 clauses out of 8506 with flag 23353/11000
2.70/1.52	c cleaning 5622 clauses out of 11263 with flag 38203/18000
3.08/1.71	c cleaning 6814 clauses out of 13643 with flag 55142/26002
3.26/1.88	c cleaning 7904 clauses out of 15828 with flag 74145/35001
3.54/2.06	c cleaning 8953 clauses out of 17924 with flag 95197/45001
3.90/2.27	c cleaning 9976 clauses out of 19970 with flag 118425/56000
4.20/2.50	c cleaning 10990 clauses out of 21995 with flag 143701/68001
4.40/2.71	c cleaning 11991 clauses out of 24004 with flag 171076/81000
4.60/2.94	c cleaning 12997 clauses out of 26014 with flag 200643/95001
4.91/3.22	c cleaning 14000 clauses out of 28016 with flag 232062/110000
5.21/3.53	c cleaning 14998 clauses out of 30016 with flag 265793/126000
5.70/3.90	c cleaning 16001 clauses out of 32018 with flag 301637/143000
6.14/4.30	c cleaning 16999 clauses out of 34017 with flag 339707/161000
6.54/4.70	c cleaning 17998 clauses out of 36018 with flag 379839/180000
7.04/5.24	c cleaning 19006 clauses out of 38021 with flag 421973/200001
7.54/5.75	c cleaning 19999 clauses out of 40015 with flag 466350/221001
7.96/6.11	c cleaning 20999 clauses out of 42015 with flag 516264/243000
8.67/6.51	c cleaning 22002 clauses out of 44016 with flag 573628/266000
9.15/6.91	c cleaning 23006 clauses out of 46015 with flag 634907/290001
9.65/7.41	c cleaning 24003 clauses out of 48009 with flag 700028/315001
10.06/7.86	c cleaning 25001 clauses out of 50006 with flag 764795/341001
10.65/8.44	c cleaning 26002 clauses out of 52004 with flag 829683/368000
11.45/9.26	c cleaning 26994 clauses out of 54002 with flag 903748/396000
12.05/9.81	c cleaning 27999 clauses out of 56008 with flag 974321/425000
12.65/10.45	c cleaning 29000 clauses out of 58009 with flag 1044015/455000
13.45/11.27	c cleaning 30001 clauses out of 60009 with flag 1118208/486000
14.26/12.09	c cleaning 30999 clauses out of 62008 with flag 1192405/518000
15.28/13.10	c cleaning 31999 clauses out of 64010 with flag 1270951/551001
16.06/13.87	c cleaning 33003 clauses out of 66011 with flag 1347430/585001
16.96/14.74	c cleaning 33999 clauses out of 68008 with flag 1428213/620001
18.16/15.92	c cleaning 34999 clauses out of 70009 with flag 1522976/656001
19.15/16.90	c cleaning 36000 clauses out of 72010 with flag 1607967/693001
20.15/17.93	c cleaning 36997 clauses out of 74009 with flag 1693325/731000
21.30/19.06	c cleaning 37999 clauses out of 76012 with flag 1788729/770000
22.29/20.10	c cleaning 39002 clauses out of 78013 with flag 1885057/810000
23.39/21.19	c cleaning 40003 clauses out of 80011 with flag 1979811/851000
24.58/22.33	c cleaning 41002 clauses out of 82008 with flag 2077924/893000
27.28/25.04	c cleaning 41998 clauses out of 84006 with flag 2177258/936000
29.06/26.80	c cleaning 43000 clauses out of 86008 with flag 2279771/980000
30.06/27.83	c cleaning 44000 clauses out of 88008 with flag 2380485/1025000
31.28/29.09	c cleaning 45003 clauses out of 90008 with flag 2486394/1071000
32.72/30.44	c cleaning 46000 clauses out of 92006 with flag 2594745/1118001
34.22/31.92	c cleaning 46996 clauses out of 94006 with flag 2702107/1166001
35.92/33.61	c cleaning 48001 clauses out of 96009 with flag 2812132/1215000
37.91/35.61	c cleaning 48997 clauses out of 98009 with flag 2933576/1265001
41.43/39.16	c cleaning 50000 clauses out of 100011 with flag 3051039/1316000
43.81/41.56	c cleaning 51003 clauses out of 102014 with flag 3169816/1368003
45.61/43.35	c cleaning 51996 clauses out of 104008 with flag 3289513/1421000
47.71/45.44	c cleaning 53001 clauses out of 106013 with flag 3411972/1475001
49.95/47.66	c cleaning 53999 clauses out of 108012 with flag 3536270/1530001
52.14/49.87	c cleaning 55000 clauses out of 110013 with flag 3662799/1586001
54.94/52.64	c cleaning 56001 clauses out of 112013 with flag 3798865/1643001
58.49/56.13	c cleaning 57000 clauses out of 114011 with flag 3944435/1701000
61.08/58.75	c cleaning 58001 clauses out of 116011 with flag 4077995/1760000
64.48/62.12	c cleaning 58998 clauses out of 118010 with flag 4222253/1820000
68.41/66.01	c cleaning 60007 clauses out of 120013 with flag 4369826/1881001
70.90/68.50	c cleaning 60996 clauses out of 122006 with flag 4508978/1943001
73.09/70.73	c cleaning 62000 clauses out of 124009 with flag 4648660/2006000
76.24/73.82	c cleaning 63000 clauses out of 126010 with flag 4797228/2070001
78.83/76.42	c cleaning 63998 clauses out of 128009 with flag 4942046/2135000
81.72/79.31	c cleaning 65000 clauses out of 130012 with flag 5089059/2201001
85.24/82.81	c cleaning 66001 clauses out of 132011 with flag 5244680/2268000
88.14/85.79	c cleaning 67002 clauses out of 134011 with flag 5400082/2336001
91.33/88.91	c cleaning 67999 clauses out of 136009 with flag 5555359/2405001
94.96/92.54	c cleaning 69002 clauses out of 138009 with flag 5711124/2475000
97.66/95.25	c cleaning 70000 clauses out of 140007 with flag 5873017/2546000
100.76/98.37	c cleaning 71002 clauses out of 142008 with flag 6034529/2618001
104.34/101.92	c cleaning 71999 clauses out of 144005 with flag 6197894/2691000
107.84/105.40	c cleaning 73000 clauses out of 146007 with flag 6364010/2765001
110.94/108.52	c cleaning 74001 clauses out of 148007 with flag 6531279/2840001
114.75/112.34	c cleaning 74994 clauses out of 150005 with flag 6700589/2916000
118.57/116.11	c cleaning 75997 clauses out of 152011 with flag 6873515/2993000
122.56/120.11	c cleaning 77001 clauses out of 154015 with flag 7049124/3071001
126.34/123.94	c cleaning 78004 clauses out of 156013 with flag 7229522/3150000
131.07/128.63	c cleaning 79003 clauses out of 158009 with flag 7412857/3230000
136.76/134.39	c cleaning 79993 clauses out of 160006 with flag 7617341/3311000
141.84/139.44	c cleaning 81002 clauses out of 162013 with flag 7814370/3393000
146.24/143.86	c cleaning 82001 clauses out of 164011 with flag 8003125/3476000
151.73/149.34	c cleaning 82996 clauses out of 166010 with flag 8204140/3560000
158.21/155.83	c cleaning 84007 clauses out of 168015 with flag 8410354/3645001
163.11/160.74	c cleaning 84997 clauses out of 170009 with flag 8607382/3731002
168.87/166.43	c cleaning 86003 clauses out of 172011 with flag 8802709/3818001
173.47/171.08	c cleaning 87003 clauses out of 174007 with flag 8998223/3906000
178.65/176.21	c cleaning 88000 clauses out of 176004 with flag 9196711/3995000
183.45/181.07	c cleaning 88998 clauses out of 178004 with flag 9399050/4085000
188.54/186.15	c cleaning 90001 clauses out of 180006 with flag 9603952/4176000
193.77/191.38	c cleaning 91003 clauses out of 182005 with flag 9813005/4268000
199.86/197.43	c cleaning 91995 clauses out of 184002 with flag 10024143/4361000
206.15/203.72	c cleaning 92997 clauses out of 186008 with flag 10241116/4455001
212.45/210.03	c cleaning 94001 clauses out of 188010 with flag 10465185/4550000
218.43/216.03	c cleaning 95002 clauses out of 190009 with flag 10688004/4646000
224.88/222.48	c cleaning 96003 clauses out of 192007 with flag 10916779/4743000
231.66/229.25	c cleaning 97002 clauses out of 194004 with flag 11144459/4841000
237.84/235.40	c cleaning 97999 clauses out of 196004 with flag 11370536/4940002
245.94/243.53	c cleaning 98997 clauses out of 198003 with flag 11601074/5040000
254.11/251.70	c cleaning 100000 clauses out of 200006 with flag 11845124/5141000
262.70/260.28	c cleaning 101002 clauses out of 202006 with flag 12078067/5243000
270.49/268.11	c cleaning 102001 clauses out of 204004 with flag 12321688/5346000
278.66/276.25	c cleaning 102997 clauses out of 206003 with flag 12568326/5450000
287.47/285.11	c cleaning 104002 clauses out of 208007 with flag 12823550/5555001
297.63/295.11	c cleaning 105000 clauses out of 210005 with flag 13078001/5661001
305.70/303.20	c cleaning 105995 clauses out of 212004 with flag 13331086/5768000
312.09/309.68	c cleaning 107004 clauses out of 214009 with flag 13573272/5876000
317.29/314.81	c cleaning 107996 clauses out of 216006 with flag 13814982/5985001
323.90/321.12	c cleaning 109003 clauses out of 218009 with flag 14059091/6095000
330.28/327.55	c cleaning 109999 clauses out of 220006 with flag 14305853/6206000
335.67/332.99	c cleaning 110997 clauses out of 222008 with flag 14554418/6318001
341.96/339.21	c cleaning 111999 clauses out of 224011 with flag 14804591/6431001
349.60/346.83	c cleaning 113002 clauses out of 226013 with flag 15058915/6545002
355.49/352.72	c cleaning 113997 clauses out of 228009 with flag 15315782/6660000
363.17/360.41	c cleaning 115003 clauses out of 230013 with flag 15575294/6776001
369.78/367.10	c cleaning 115995 clauses out of 232009 with flag 15834910/6893000
378.07/375.37	c cleaning 117003 clauses out of 234014 with flag 16099824/7011000
386.05/383.33	c cleaning 118001 clauses out of 236011 with flag 16373415/7130000
393.75/391.08	c cleaning 119000 clauses out of 238010 with flag 16648690/7250000
401.33/398.62	c cleaning 120004 clauses out of 240011 with flag 16931514/7371001
409.41/406.75	c cleaning 121004 clauses out of 242007 with flag 17217197/7493001
416.34/413.68	c cleaning 121994 clauses out of 244002 with flag 17494042/7616000
422.54/419.87	c cleaning 122994 clauses out of 246008 with flag 17772081/7740000
430.42/427.72	c cleaning 124001 clauses out of 248015 with flag 18049344/7865001
438.41/435.72	c cleaning 125000 clauses out of 250013 with flag 18328054/7991000
446.20/443.52	c cleaning 126003 clauses out of 252014 with flag 18610829/8118001
455.03/452.34	c cleaning 127001 clauses out of 254011 with flag 18895757/8246001
464.01/461.37	c cleaning 127998 clauses out of 256010 with flag 19182438/8375001
471.89/469.25	c cleaning 128999 clauses out of 258011 with flag 19472641/8505000
479.70/477.08	c cleaning 130000 clauses out of 260012 with flag 19764820/8636000
487.00/484.30	c cleaning 131001 clauses out of 262012 with flag 20057555/8768000
495.38/492.76	c cleaning 132002 clauses out of 264011 with flag 20352038/8901000
503.07/500.49	c cleaning 133001 clauses out of 266010 with flag 20651171/9035001
514.44/511.80	c cleaning 133997 clauses out of 268008 with flag 20952931/9170000
522.81/520.29	c cleaning 135006 clauses out of 270012 with flag 21255479/9306001
531.10/528.51	c cleaning 136001 clauses out of 272007 with flag 21561739/9443002
542.27/539.71	c cleaning 136997 clauses out of 274005 with flag 21870819/9581001
552.44/549.97	c cleaning 137999 clauses out of 276008 with flag 22182450/9720001
562.54/560.02	c cleaning 139000 clauses out of 278009 with flag 22495059/9860001
571.21/568.73	c cleaning 139998 clauses out of 280008 with flag 22815037/10001000
580.99/578.52	c cleaning 141006 clauses out of 282011 with flag 23130238/10143001
594.58/592.20	c cleaning 142001 clauses out of 284005 with flag 23484200/10286001
606.14/603.72	c cleaning 142994 clauses out of 286003 with flag 23837358/10430000
617.82/615.41	c cleaning 143998 clauses out of 288009 with flag 24182023/10575000
631.18/628.84	c cleaning 145007 clauses out of 290013 with flag 24539595/10721002
644.56/642.27	c cleaning 145994 clauses out of 292005 with flag 24887563/10868001
657.72/655.46	c cleaning 146999 clauses out of 294011 with flag 25221797/11016001
669.20/666.97	c cleaning 148001 clauses out of 296011 with flag 25560814/11165000
682.07/679.88	c cleaning 148998 clauses out of 298010 with flag 25907131/11315000
692.14/689.98	c cleaning 149998 clauses out of 300012 with flag 26244943/11466000
700.12/697.97	c cleaning 151001 clauses out of 302016 with flag 26584921/11618002
707.90/705.80	c cleaning 152004 clauses out of 304013 with flag 26925315/11771000
716.88/714.76	c cleaning 152999 clauses out of 306011 with flag 27266905/11925002
725.97/723.84	c cleaning 154002 clauses out of 308011 with flag 27626498/12080001
735.34/732.96	c cleaning 155002 clauses out of 310008 with flag 27977619/12236000
746.61/744.29	c cleaning 155996 clauses out of 312006 with flag 28344202/12393000
757.09/754.75	c cleaning 157002 clauses out of 314011 with flag 28722067/12551001
770.77/768.40	c cleaning 158000 clauses out of 316008 with flag 29110243/12710000
781.74/779.44	c cleaning 159002 clauses out of 318009 with flag 29482160/12870001
791.13/788.81	c cleaning 160003 clauses out of 320007 with flag 29854018/13031001
802.59/800.18	c cleaning 160997 clauses out of 322004 with flag 30224424/13193001
811.47/809.06	c cleaning 162000 clauses out of 324006 with flag 30594633/13356000
824.44/822.02	c cleaning 163001 clauses out of 326007 with flag 30982157/13520001
834.31/831.93	c cleaning 163999 clauses out of 328005 with flag 31358734/13685000
844.89/842.41	c cleaning 165001 clauses out of 330006 with flag 31732451/13851000
855.77/853.33	c cleaning 165999 clauses out of 332005 with flag 32106827/14018000
866.56/864.11	c cleaning 166995 clauses out of 334006 with flag 32487242/14186000
877.13/874.73	c cleaning 168003 clauses out of 336011 with flag 32868943/14355000
892.18/889.82	c cleaning 169001 clauses out of 338009 with flag 33253501/14525001
902.38/900.04	c cleaning 169998 clauses out of 340007 with flag 33640776/14696000
915.98/913.27	c cleaning 170997 clauses out of 342009 with flag 34027766/14868000
929.66/926.94	c cleaning 172002 clauses out of 344012 with flag 34420238/15041000
943.84/941.18	c cleaning 173000 clauses out of 346012 with flag 34811146/15215002
958.20/955.59	c cleaning 173994 clauses out of 348010 with flag 35212428/15390000
970.59/967.99	c cleaning 175005 clauses out of 350018 with flag 35610018/15566002
983.28/980.55	c cleaning 176003 clauses out of 352011 with flag 36013596/15743000
995.87/993.11	c cleaning 176995 clauses out of 354008 with flag 36420231/15921000
1007.47/1004.72	c cleaning 178006 clauses out of 356014 with flag 36821908/16100001
1020.64/1017.91	c cleaning 179003 clauses out of 358007 with flag 37236683/16280000
1033.38/1030.64	c cleaning 179995 clauses out of 360004 with flag 37645408/16461000
1043.66/1040.93	c cleaning 180999 clauses out of 362009 with flag 38066586/16643000
1054.48/1051.76	c cleaning 182001 clauses out of 364011 with flag 38482661/16826001
1069.56/1066.84	c cleaning 182999 clauses out of 366009 with flag 38898226/17010000
1083.75/1080.93	c cleaning 183997 clauses out of 368010 with flag 39316133/17195000
1097.84/1095.02	c cleaning 185000 clauses out of 370013 with flag 39739747/17381000
1111.81/1108.96	c cleaning 186005 clauses out of 372013 with flag 40158580/17568000
1124.99/1122.15	c cleaning 187002 clauses out of 374010 with flag 40579997/17756002
1140.06/1137.25	c cleaning 187998 clauses out of 376006 with flag 41003018/17945000
1155.34/1152.46	c cleaning 189003 clauses out of 378010 with flag 41439685/18135002
1172.80/1169.93	c cleaning 189994 clauses out of 380005 with flag 41880927/18326000
1188.67/1185.81	c cleaning 191001 clauses out of 382011 with flag 42312342/18518000
1213.71/1210.35	c cleaning 191995 clauses out of 384010 with flag 42760935/18711000
1232.49/1229.16	c cleaning 193004 clauses out of 386016 with flag 43199674/18905001
1251.74/1248.44	c cleaning 193998 clauses out of 388012 with flag 43634692/19100001
1265.42/1262.15	c cleaning 194999 clauses out of 390014 with flag 44072015/19296001
1276.53/1273.23	c cleaning 196004 clauses out of 392015 with flag 44512592/19493001
1291.41/1288.12	c cleaning 197004 clauses out of 394013 with flag 44960499/19691003
1306.38/1303.14	c cleaning 197999 clauses out of 396007 with flag 45408897/19890001
1322.13/1318.95	c cleaning 199000 clauses out of 398007 with flag 45860529/20090000
1336.18/1332.94	c cleaning 199996 clauses out of 400007 with flag 46309760/20291000
1348.85/1345.64	c cleaning 200999 clauses out of 402011 with flag 46763362/20493000
1363.23/1360.09	c cleaning 202002 clauses out of 404012 with flag 47220364/20696000
1378.79/1375.68	c cleaning 203001 clauses out of 406010 with flag 47675443/20900000
1395.39/1392.21	c cleaning 203997 clauses out of 408009 with flag 48141265/21105000
1414.45/1411.34	c cleaning 204997 clauses out of 410012 with flag 48609824/21311000
1430.32/1427.20	c cleaning 206002 clauses out of 412018 with flag 49079465/21518003
1451.10/1448.10	c cleaning 207001 clauses out of 414013 with flag 49549343/21726000
1469.06/1466.08	c cleaning 208001 clauses out of 416012 with flag 50024664/21935000
1486.38/1483.36	c cleaning 208997 clauses out of 418012 with flag 50506830/22145001
1504.54/1501.52	c cleaning 210005 clauses out of 420014 with flag 50979864/22356000
1519.91/1516.99	c cleaning 211001 clauses out of 422010 with flag 51458176/22568001
1541.37/1538.47	c cleaning 211996 clauses out of 424008 with flag 51941367/22781000
1561.05/1558.10	c cleaning 213002 clauses out of 426013 with flag 52423108/22995001
1577.79/1574.89	c cleaning 214002 clauses out of 428010 with flag 52906911/23210000
1595.85/1592.94	c cleaning 215002 clauses out of 430009 with flag 53392831/23426001
1615.03/1612.16	c cleaning 215992 clauses out of 432006 with flag 53890846/23643000
1627.76/1624.82	c cleaning 217004 clauses out of 434014 with flag 54383264/23861000
1641.94/1639.02	c cleaning 218002 clauses out of 436010 with flag 54874339/24080000
1656.33/1653.34	c cleaning 219003 clauses out of 438008 with flag 55374098/24300000
1676.18/1673.22	c cleaning 220002 clauses out of 440006 with flag 55876938/24521001
1694.14/1691.21	c cleaning 220999 clauses out of 442003 with flag 56377484/24743000
1714.22/1711.32	c cleaning 221994 clauses out of 444004 with flag 56922582/24966000
1736.19/1733.36	c cleaning 222995 clauses out of 446011 with flag 57474301/25190001
1751.75/1748.99	c cleaning 224002 clauses out of 448016 with flag 58006085/25415001
1771.76/1768.98	c cleaning 225001 clauses out of 450014 with flag 58542199/25641001
1795.41/1792.70	c cleaning 225998 clauses out of 452012 with flag 59088074/25868000
1813.19/1810.35	c cleaning 227003 clauses out of 454016 with flag 59631047/26096002
1831.76/1828.99	c cleaning 228002 clauses out of 456012 with flag 60204439/26325001
1854.66/1851.82	c cleaning 228994 clauses out of 458009 with flag 60779351/26555000
1883.40/1880.66	c cleaning 229997 clauses out of 460015 with flag 61346188/26786000
1909.20/1906.35	c cleaning 231001 clauses out of 462019 with flag 61922655/27018001
1933.26/1930.40	c cleaning 232004 clauses out of 464019 with flag 62481365/27251002
1951.61/1948.79	c cleaning 233001 clauses out of 466013 with flag 63021805/27485000
1970.78/1967.98	c cleaning 233998 clauses out of 468012 with flag 63574214/27720000
1991.04/1988.20	c cleaning 234998 clauses out of 470014 with flag 64129481/27956000
2017.73/2014.90	c cleaning 236003 clauses out of 472017 with flag 64692120/28193001
2042.07/2039.31	c cleaning 237002 clauses out of 474013 with flag 65237111/28431000
2060.14/2057.47	c cleaning 238000 clauses out of 476011 with flag 65783309/28670000
2082.11/2079.41	c cleaning 239001 clauses out of 478013 with flag 66331449/28910002
2105.37/2102.75	c cleaning 240006 clauses out of 480011 with flag 66928470/29151001
2129.20/2126.54	c cleaning 241001 clauses out of 482007 with flag 67520524/29393003
2155.95/2153.36	c cleaning 241999 clauses out of 484004 with flag 68107547/29636001
2186.70/2184.18	c cleaning 242999 clauses out of 486006 with flag 68689444/29880002
2212.63/2210.03	c cleaning 243999 clauses out of 488006 with flag 69289270/30125001
2236.17/2233.63	c cleaning 244999 clauses out of 490007 with flag 69881580/30371001
2280.00/2276.88	c cleaning 245996 clauses out of 492007 with flag 70496183/30618000
2296.07/2292.92	c cleaning 246994 clauses out of 494011 with flag 71047401/30866000
2318.44/2315.39	c cleaning 248003 clauses out of 496017 with flag 71600798/31115000
2335.91/2332.86	c cleaning 249005 clauses out of 498014 with flag 72161097/31365000
2356.68/2353.61	c cleaning 249997 clauses out of 500011 with flag 72724296/31616002
2380.42/2377.33	c cleaning 250999 clauses out of 502012 with flag 73294526/31868000
2400.20/2397.16	c cleaning 252002 clauses out of 504013 with flag 73859785/32121000
2426.06/2422.94	c cleaning 253004 clauses out of 506012 with flag 74436271/32375001
2448.62/2445.53	c cleaning 253999 clauses out of 508008 with flag 75011266/32630001
2471.58/2468.57	c cleaning 254997 clauses out of 510008 with flag 75583312/32886000
2497.10/2494.06	c cleaning 255998 clauses out of 512012 with flag 76157405/33143001
2518.16/2515.15	c cleaning 257000 clauses out of 514014 with flag 76734670/33401001
2542.30/2539.37	c cleaning 258002 clauses out of 516014 with flag 77315009/33660001
2566.74/2563.79	c cleaning 258998 clauses out of 518011 with flag 77896631/33920000
2591.00/2588.08	c cleaning 260003 clauses out of 520014 with flag 78479291/34181001
2616.54/2613.62	c cleaning 260999 clauses out of 522011 with flag 79072719/34443001
2640.26/2637.37	c cleaning 262000 clauses out of 524011 with flag 79666523/34706000
2668.71/2665.83	c cleaning 262997 clauses out of 526011 with flag 80257455/34970000
2697.76/2694.96	c cleaning 264002 clauses out of 528015 with flag 80856447/35235001
2722.80/2719.95	c cleaning 265004 clauses out of 530013 with flag 81459882/35501001
2750.75/2747.94	c cleaning 265998 clauses out of 532009 with flag 82076663/35768001
2775.12/2772.32	c cleaning 266997 clauses out of 534010 with flag 82692507/36036000
2804.57/2801.89	c cleaning 267999 clauses out of 536013 with flag 83306654/36305000
2832.73/2830.05	c cleaning 269000 clauses out of 538014 with flag 83956981/36575000
2862.51/2859.76	c cleaning 270002 clauses out of 540014 with flag 84575186/36846000
2888.06/2885.38	c cleaning 271002 clauses out of 542013 with flag 85187727/37118001
2910.62/2907.81	c cleaning 272002 clauses out of 544010 with flag 85798450/37391000
2936.78/2934.10	c cleaning 273006 clauses out of 546011 with flag 86413012/37665003
2962.42/2959.72	c cleaning 273998 clauses out of 548002 with flag 87028300/37940000
2994.43/2991.76	c cleaning 274997 clauses out of 550004 with flag 87644002/38216000
3022.70/3020.10	c cleaning 275998 clauses out of 552009 with flag 88263856/38493002
3046.53/3044.00	c cleaning 276999 clauses out of 554011 with flag 88884395/38771002
3071.44/3068.74	c cleaning 278000 clauses out of 556011 with flag 89506338/39050001
3095.49/3092.82	c cleaning 279000 clauses out of 558011 with flag 90129206/39330001
3122.04/3119.43	c cleaning 280001 clauses out of 560011 with flag 90757514/39611001
3150.40/3147.71	c cleaning 280994 clauses out of 562010 with flag 91387076/39893001
3174.16/3171.52	c cleaning 281999 clauses out of 564015 with flag 92019029/40176000
3204.30/3201.75	c cleaning 283009 clauses out of 566017 with flag 92655758/40460001
3229.65/3227.08	c cleaning 283995 clauses out of 568008 with flag 93290796/40745001
3260.77/3258.28	c cleaning 285003 clauses out of 570012 with flag 93929736/41031000
3290.41/3287.99	c cleaning 285999 clauses out of 572010 with flag 94571668/41318001
3319.96/3316.53	c cleaning 286997 clauses out of 574010 with flag 95214931/41606000
3346.01/3342.63	c cleaning 288001 clauses out of 576013 with flag 95859717/41895000
3373.89/3370.50	c cleaning 289003 clauses out of 578012 with flag 96505729/42185000
3399.65/3396.33	c cleaning 289996 clauses out of 580010 with flag 97156296/42476001
3424.71/3421.46	c cleaning 291000 clauses out of 582014 with flag 97806690/42768001
3449.95/3446.78	c cleaning 291997 clauses out of 584013 with flag 98464085/43061000
3480.90/3477.73	c cleaning 293003 clauses out of 586016 with flag 99123077/43355000
3508.16/3504.94	c cleaning 294004 clauses out of 588014 with flag 99785019/43650001
3533.22/3529.92	c cleaning 295003 clauses out of 590009 with flag 100446349/43946000
3561.57/3558.30	c cleaning 296000 clauses out of 592006 with flag 101110695/44243000
3587.94/3584.71	c cleaning 296994 clauses out of 594006 with flag 101776922/44541000
3600.01/3596.82	c starts		: 3227
3600.01/3596.83	c timeout
3600.01/3596.83	c conflicts		: 44757782
3600.01/3596.83	c decisions		: 62547880
3600.01/3596.83	c propagations		: 635122039
3600.01/3596.83	c inspects		: 30823188519
3600.01/3596.83	c shortcuts		: 0
3600.01/3596.83	c learnt literals	: 0
3600.01/3596.83	c learnt binary clauses	: 0
3600.01/3596.83	c learnt ternary clauses	: 0
3600.01/3596.83	c learnt constraints	: 44757782
3600.01/3596.83	c ignored constraints	: 0
3600.01/3596.83	c root simplifications	: 0
3600.01/3596.83	c removed literals (reason simplification)	: 56529733
3600.01/3596.83	c reason swapping (by a shorter reason)	: 0
3600.01/3596.83	c Calls to reduceDB	: 294
3600.01/3596.83	c Number of update (reduction) of LBD	: 3546838
3600.01/3596.83	c Imported unit clauses	: 0
3600.01/3596.83	c No decision after first conflict	: false
3600.01/3596.83	c number of reductions to clauses (during analyze)	: 0
3600.01/3596.83	c number of learned constraints concerned by reduction	: 0
3600.01/3596.83	c number of learning phase by resolution	: 0
3600.01/3596.83	c number of learning phase by cutting planes	: 0
3600.01/3596.83	c number of rounding to 1 operations	: 0
3600.01/3596.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3596.83	c number of reductions of the coefficients by power 2 	: 0
3600.01/3596.83	c number of right shift for reduction by power 2 	: 0
3600.01/3596.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3596.83	c number of ending skipping 	: 0
3600.01/3596.83	c number of internal skipping 	: 0
3600.01/3596.83	c number of derivation steps 	: 0
3600.01/3596.83	c number of skipped derivation steps 	: 0
3600.01/3596.83	c number of remaining unassigned 	: 0
3600.01/3596.83	c number of remaining assigned 	: 0
3600.01/3596.83	c number of falsified literals weakened from reason	: 0
3600.01/3596.83	c number of falsified literals weakened from conflict	: 0
3600.01/3596.83	c time for arithmetic operations	: 0
3600.01/3596.83	c minimum degree of deleted constraints	: null
3600.01/3596.83	c maximum degree of deleted constraints	: null
3600.01/3596.83	c number of deleted constraints	: 0
3600.01/3596.83	c speed (assignments/second)	: 176598.06218783252
3600.01/3596.83	c non guided choices	: 101
3600.20/3596.90	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 513794
3600.20/3596.91	s UNKNOWN
3600.20/3596.91	c Total wall clock time (in seconds): 3596.57

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543368-1753227199/watcher-4543368-1753227199 -o /tmp/evaluation-result-4543368-1753227199/solver-4543368-1753227199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753227196-200363 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543368-1753227199.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100077 s]*
/proc/loadavg: 1.21 2.61 4.55 7/322 200623
/proc/meminfo: memFree=128794756/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=18930384 memory=47124 CPUtime=0.1 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 5672 0 0 0 6 4 0 0 20 0 18 0 238399600 19384713216 11781 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4732596 11781 5113 1 0 546899 0
[pid=200584/tid=200590] ppid=200580 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 4608 0 0 0 4 2 0 0 20 0 18 0 238399602 19384713216 11781 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399607 19384713216 11781 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238399608 19384713216 11781 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47124 KiB

[startup+0.214498 s]*
/proc/loadavg: 1.21 2.61 4.55 8/322 200623
/proc/meminfo: memFree=128784788/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=18930384 memory=51960 CPUtime=0.27 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 6145 0 0 0 23 4 0 0 20 0 18 0 238399600 19384713216 12990 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4732596 12990 5337 1 0 547254 0
[pid=200584/tid=200590] ppid=200580 vsize=18930384 memory=4027056412 CPUtime=0.18 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 4982 0 0 0 15 3 0 0 20 0 18 0 238399602 19384713216 12990 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399607 19384713216 12990 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238399608 19384713216 12990 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51960 KiB

[startup+0.314315 s]*
/proc/loadavg: 1.21 2.61 4.55 9/322 200623
/proc/meminfo: memFree=128780756/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=18930384 memory=58344 CPUtime=0.44 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 6750 0 0 0 39 5 0 0 20 0 18 0 238399600 19384713216 14586 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4732596 14586 5337 1 0 547770 0
[pid=200584/tid=200590] ppid=200580 vsize=18930384 memory=-9103293738181698236 CPUtime=0.27 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 5196 0 0 0 24 3 0 0 20 0 18 0 238399602 19384713216 14586 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399607 19384713216 14586 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238399608 19384713216 14586 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58344 KiB

[startup+0.700385 s]
/proc/loadavg: 1.21 2.61 4.55 9/324 200625
/proc/meminfo: memFree=128766704/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=18996948 memory=64648 CPUtime=1.13 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 8551 0 0 0 106 7 0 0 20 0 19 0 238399600 19452874752 16162 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4749237 16162 5433 1 0 548898 0
[pid=200584/tid=200590] ppid=200580 vsize=18996948 memory=27392 CPUtime=0.62 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 5314 0 0 0 58 4 0 0 20 0 19 0 238399602 19452874752 16162 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399607 19452874752 16162 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238399608 19452874752 16162 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238399640 19452874752 16162 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64648 KiB

[startup+1.50031 s]
/proc/loadavg: 1.59 2.67 4.55 8/324 200625
/proc/meminfo: memFree=128743472/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=18996948 memory=85760 CPUtime=2.7 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 16282 0 0 0 262 8 0 0 20 0 19 0 238399600 19452874752 21440 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4749237 21440 5433 1 0 551444 0
[pid=200584/tid=200590] ppid=200580 vsize=18996948 memory=0 CPUtime=1.37 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 5791 0 0 0 133 4 0 0 20 0 19 0 238399602 19452874752 21440 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399607 19452874752 21440 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238399608 19452874752 21440 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238399640 19452874752 21440 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85760 KiB

[startup+3.113 s]
/proc/loadavg: 1.59 2.67 4.55 5/324 200625
/proc/meminfo: memFree=128506928/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=18996948 memory=127244 CPUtime=4.82 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 17164 0 0 0 473 9 0 0 20 0 19 0 238399600 19452874752 31811 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4749237 31811 5465 1 0 551450 0
[pid=200584/tid=200590] ppid=200580 vsize=18996948 memory=10752 CPUtime=2.99 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 6079 0 0 0 294 5 0 0 20 0 19 0 238399602 19452874752 31811 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=18996948 memory=-9175351332219626172 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399607 19452874752 31811 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238399608 19452874752 31811 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238399640 19452874752 31811 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 4.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 127244 KiB

[startup+6.30043 s]
/proc/loadavg: 1.78 2.69 4.55 5/325 200626
/proc/meminfo: memFree=128261432/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=172076 CPUtime=8.3 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 22350 0 0 0 820 10 0 0 20 0 20 0 238399600 19521036288 43019 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 43019 5465 1 0 551740 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=0 CPUtime=6.13 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 6325 0 0 0 607 6 0 0 20 0 20 0 238399602 19521036288 43019 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 43019 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 43019 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=87936 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 43019 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172076 KiB

[startup+12.7005 s]
/proc/loadavg: 1.96 2.71 4.55 5/327 200628
/proc/meminfo: memFree=127828444/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=180492 CPUtime=14.95 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 24420 0 0 0 1484 11 0 0 20 0 20 0 238399600 19521036288 45123 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 45123 5465 1 0 551740 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=87936 CPUtime=12.45 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 7005 0 0 0 1239 6 0 0 20 0 20 0 238399602 19521036288 45123 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=180492 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 45123 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 45123 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 45123 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 14.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180492 KiB

[startup+25.5005 s]
/proc/loadavg: 2.28 2.76 4.54 5/327 200628
/proc/meminfo: memFree=127046736/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=289208 CPUtime=27.77 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 26320 0 0 0 2763 14 0 0 20 0 20 0 238399600 19521036288 72302 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 72302 5465 1 0 551740 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=180492 CPUtime=24.93 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 7554 0 0 0 2487 6 0 0 20 0 20 0 238399602 19521036288 72302 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 72302 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=244128 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 72302 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=27392 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 72302 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 27.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 289208 KiB

[startup+51.1132 s]
/proc/loadavg: 3.14 2.92 4.54 5/327 200629
/proc/meminfo: memFree=125611672/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=439012 CPUtime=53.46 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 26965 0 0 0 5327 19 0 0 20 0 20 0 238399600 19521036288 109753 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 109753 5497 1 0 551740 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=439012 CPUtime=50.23 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 7623 0 0 0 5017 6 0 0 20 0 20 0 238399602 19521036288 109753 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=439012 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 109753 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=439012 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 3.56 4.06 4.15 4/303 200835
/proc/meminfo: memFree=109878576/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=2187596 CPUtime=3284.82 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 88601 0 0 0 328258 224 0 0 20 0 20 0 238399600 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 546899 5529 1 0 560297 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=2187596 CPUtime=3265.23 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 32771 0 0 0 326496 27 0 0 20 0 20 0 238399602 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=14636 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=2187596 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 1635 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=14636 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 3284.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187596 KiB

[startup+3342.3 s]
/proc/loadavg: 3.35 3.90 4.09 4/303 200837
/proc/meminfo: memFree=109878596/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=2187596 CPUtime=3345.71 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 93388 0 0 0 334344 227 0 0 20 0 20 0 238399600 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 546899 5529 1 0 560297 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=2187596 CPUtime=3324.94 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 35113 0 0 0 332467 27 0 0 20 0 20 0 238399602 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=14636 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 1658 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=2187596 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 3345.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187596 KiB

[startup+3402.3 s]
/proc/loadavg: 3.31 3.78 4.03 4/302 200839
/proc/meminfo: memFree=109878828/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=2187596 CPUtime=3405.64 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 93555 0 0 0 340334 230 0 0 20 0 20 0 238399600 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 546899 5529 1 0 560297 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=2187596 CPUtime=3384.64 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 35236 0 0 0 338437 27 0 0 20 0 20 0 238399602 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=14636 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=2187596 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 1658 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=-9175351332219626172 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 3405.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187596 KiB

[startup+3462.3 s]
/proc/loadavg: 3.30 3.68 3.98 4/301 200841
/proc/meminfo: memFree=109878816/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=2187596 CPUtime=3465.52 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 95378 0 0 0 346319 233 0 0 20 0 20 0 238399600 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 546899 5529 1 0 560297 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=27392 CPUtime=3444.36 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 36010 0 0 0 344409 27 0 0 20 0 20 0 238399602 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=2187596 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=2187596 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 1658 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=2187596 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 546899 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 3465.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187596 KiB

[startup+3522.3 s]
/proc/loadavg: 2.54 3.40 3.86 3/275 200877
/proc/meminfo: memFree=124788332/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=2187724 CPUtime=3525.63 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 96275 0 0 0 352327 236 0 0 20 0 20 0 238399600 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 546931 5529 1 0 560297 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=27392 CPUtime=3503.94 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 36477 0 0 0 350367 27 0 0 20 0 20 0 238399602 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=2187596 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=2187724 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 1702 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=2187724 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 3525.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187724 KiB

[startup+3582.3 s]
/proc/loadavg: 2.24 3.16 3.75 3/276 200882
/proc/meminfo: memFree=124788788/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=2187724 CPUtime=3585.54 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 97225 0 0 0 358316 238 0 0 20 0 20 0 238399600 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 546931 5529 1 0 560297 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=2187724 CPUtime=3563.77 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 36749 0 0 0 356350 27 0 0 20 0 20 0 238399602 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=-9175351332219626172 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=19968 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 1752 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=14636 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.8 s]
/proc/loadavg: 2.27 3.14 3.74 2/252 200917
/proc/meminfo: memFree=126952012/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19063512 memory=2187724 CPUtime=3600.01 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 97294 0 0 0 359763 238 0 0 20 0 20 0 238399600 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4765878 546931 5529 1 0 560297 0
[pid=200584/tid=200590] ppid=200580 vsize=19063512 memory=2187724 CPUtime=3578.22 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) R 200580 200584 197377 0 -1 4194368 36798 0 0 0 357795 27 0 0 20 0 20 0 238399602 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19063512 memory=2187724 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399607 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19063512 memory=2187724 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 1752 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200624] ppid=200580 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/200584/task/200624/stat : 200624 (Timer-0) S 200580 200584 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399640 19521036288 546931 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.82 s, system=2.40173 s

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

[startup+3596.9 s]
/proc/loadavg: 2.27 3.14 3.74 2/252 200917
/proc/meminfo: memFree=126952012/131382112 swapFree=33010416/33010684
[pid=200584] ppid=200580 vsize=19263204 memory=2188620 CPUtime=3600.2 cores=0,2
/proc/200584/stat : 200584 (java) S 200580 200584 197377 0 -1 4194304 99539 0 0 0 359781 239 0 0 20 0 21 0 238399600 19725520896 547155 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
/proc/200584/statm: 4815801 547155 5561 1 0 561238 0
[pid=200584/tid=200590] ppid=200580 vsize=19263204 memory=2187724 CPUtime=3578.24 cores=0,2
/proc/200584/task/200590/stat : 200590 (java) S 200580 200584 197377 0 -1 4194368 36992 0 0 0 357797 27 0 0 20 0 21 0 238399602 19725520896 547155 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200607] ppid=200580 vsize=19263204 memory=14636 CPUtime=0 cores=0,2
/proc/200584/task/200607/stat : 200607 (Finalizer) S 200580 200584 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238399607 19725520896 547155 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
[pid=200584/tid=200621] ppid=200580 vsize=19263204 memory=-9175351332219626172 CPUtime=0 cores=0,2
/proc/200584/task/200621/stat : 200621 (Common-Cleaner) S 200580 200584 197377 0 -1 4194368 1752 0 0 0 0 0 0 0 20 0 21 0 238399608 19725520896 547155 18446744073709551615 94545540399104 94545540402800 140724172991648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545540410616 94545540411408 94545572311040 140724172999039 140724172999140 140724172999140 140724173004744 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2188620 KiB

Child status: 143

Real time (s): 3596.93
CPU time (s): 3600.22
CPU user time (s): 3597.82
CPU system time (s): 2.40173
CPU usage (%): 100.092
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2188620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.82
system time used= 2.40173
maximum resident set size= 2188748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99719
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107331
involuntary context switches= 9497


# summary of solver processes directly reported to runsolver:
#   pid: 200584
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3597.82
#   total CPU system time (s): 2.40173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5599 second user time and 36.2783 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-23 01:33:19
IDJOB=4543368
IDBENCH=172995
IDSOLVER=3363
FILE ID=nodeC012/4543368-1753227199
RUNJOBID= nodeC012-1753227196-200363
SLURM_JOB_ID= 9687805
Free space on /tmp= 432924 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543368-1753227199/watcher-4543368-1753227199 -o /tmp/evaluation-result-4543368-1753227199/solver-4543368-1753227199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753227196-200363 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4543368-1753227199.opb

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

MD5SUM BENCH= 3c2aa4644140c0a520c3ebe8e754a206
RANDOM SEED=487616867

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128882640 kB
MemAvailable:   129667792 kB
Buffers:            2136 kB
Cached:          1550688 kB
SwapCached:           12 kB
Active:          1508108 kB
Inactive:         347116 kB
Active(anon):     323852 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   342428 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        303536 kB
Mapped:           128148 kB
Shmem:             26140 kB
KReclaimable:     195804 kB
Slab:             287828 kB
SReclaimable:     195804 kB
SUnreclaim:        92024 kB
KernelStack:        4608 kB
PageTables:         3968 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4815240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149896 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432924 MiB
End job on nodeC012 at 2025-07-23 02:33:16