Trace number 4518740

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)1 3600.41 3583.8

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb
MD5SUM476e0631a033c65f224eebb218d3a1ec
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.59172
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1804
Total number of constraints451
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)451
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 451
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 451
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 451
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.26/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.24	c java.vm.version	22.0.1+8-16
0.26/0.24	c java.vm.vendor	Oracle Corporation
0.26/0.24	c sun.arch.data.model	64
0.26/0.24	c java.version		22.0.1
0.26/0.24	c os.name		Linux
0.26/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.24	c os.arch		amd64
0.26/0.25	c Free memory 		2104792832
0.26/0.25	c Max memory 		16282288128
0.26/0.25	c Total memory 		2113929216
0.26/0.26	c Number of processors 	2
0.41/0.38	c Pseudo Boolean Optimization by upper bound
0.41/0.38	c --- Begin Solver configuration ---
0.41/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.38	c Learn all clauses as in MiniSAT
0.41/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.38	c Expensive reason simplification
0.41/0.38	c Glucose 2.1 dynamic restart strategy
0.41/0.38	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.41/0.38	c timeout=2147483s
0.41/0.38	c DB Simplification allowed=false
0.41/0.38	c Listener: none
0.41/0.38	c --- End Solver configuration ---
0.41/0.38	c solving HOME/instance-4518740-1751552048.opb
0.41/0.38	c reading problem ... 
0.41/0.39	c  objective function found
0.77/0.54	c ... done. Wall clock time 0.15s.
0.77/0.54	c declared #vars     1804
0.77/0.54	c #constraints  902
0.77/0.54	c constraints type 
0.77/0.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 902
0.77/0.54	c 902 constraints processed.
0.77/0.57	c objective function length is 451 literals
1.50/0.97	c SATISFIABLE
1.50/0.97	c OPTIMIZING...
1.50/0.97	c Got one! Elapsed wall clock time (in seconds):0.586
1.50/0.97	o 1
3.09/1.76	c cleaning 2887 clauses out of 5776 with flag 43085/5776
3.61/2.03	c cleaning 4439 clauses out of 8890 with flag 79188/11777
4.00/2.31	c cleaning 5718 clauses out of 11450 with flag 124135/18776
4.24/2.58	c cleaning 6859 clauses out of 13735 with flag 169079/26779
4.82/2.90	c cleaning 7934 clauses out of 15875 with flag 225506/35778
5.13/3.24	c cleaning 8948 clauses out of 17940 with flag 289624/45777
5.53/3.60	c cleaning 9984 clauses out of 19991 with flag 360474/56776
5.83/3.98	c cleaning 10989 clauses out of 22007 with flag 433156/68776
6.23/4.38	c cleaning 11996 clauses out of 24018 with flag 511667/81776
6.73/4.86	c cleaning 12992 clauses out of 26022 with flag 600353/95776
7.25/5.34	c cleaning 13997 clauses out of 28030 with flag 692972/110776
7.75/5.83	c cleaning 14999 clauses out of 30034 with flag 789497/126777
8.43/6.43	c cleaning 15999 clauses out of 32035 with flag 894469/143777
9.10/7.06	c cleaning 17003 clauses out of 34037 with flag 1004504/161778
9.80/7.70	c cleaning 17988 clauses out of 36032 with flag 1116986/180776
10.40/8.37	c cleaning 19002 clauses out of 38045 with flag 1236416/200777
11.11/9.09	c cleaning 20004 clauses out of 40043 with flag 1367944/221777
12.00/10.00	c cleaning 21005 clauses out of 42041 with flag 1495914/243779
12.90/10.80	c cleaning 21981 clauses out of 44033 with flag 1632547/266776
13.70/11.64	c cleaning 23015 clauses out of 46052 with flag 1779984/290776
14.65/12.57	c cleaning 23997 clauses out of 48037 with flag 1926247/315776
15.56/13.48	c cleaning 24990 clauses out of 50040 with flag 2083050/341776
16.56/14.47	c cleaning 26008 clauses out of 52050 with flag 2241921/368776
18.35/16.29	c cleaning 27003 clauses out of 54042 with flag 2409529/396776
20.16/18.03	c cleaning 27994 clauses out of 56039 with flag 2583511/425776
21.34/19.20	c cleaning 29001 clauses out of 58045 with flag 2772847/455776
22.66/20.54	c cleaning 29998 clauses out of 60044 with flag 2964844/486776
23.86/21.78	c cleaning 30999 clauses out of 62046 with flag 3161712/518776
25.17/23.03	c cleaning 32002 clauses out of 64048 with flag 3367753/551777
26.72/24.56	c cleaning 33000 clauses out of 66046 with flag 3582157/585777
28.11/25.95	c cleaning 33987 clauses out of 68046 with flag 3798831/620777
29.62/27.40	c cleaning 35008 clauses out of 70062 with flag 4028524/656780
31.23/29.07	c cleaning 35994 clauses out of 72051 with flag 4261397/693777
32.72/30.59	c cleaning 37006 clauses out of 74057 with flag 4500398/731777
34.34/32.14	c cleaning 37994 clauses out of 76052 with flag 4741560/770778
36.28/34.06	c cleaning 38999 clauses out of 78056 with flag 4994425/810776
37.96/35.72	c cleaning 39995 clauses out of 80057 with flag 5243810/851776
40.10/37.85	c cleaning 41006 clauses out of 82064 with flag 5513095/893778
42.89/40.64	c cleaning 41993 clauses out of 84057 with flag 5779868/936777
44.79/42.50	c cleaning 43005 clauses out of 86064 with flag 6052337/980777
46.74/44.46	c cleaning 43994 clauses out of 88058 with flag 6334579/1025776
48.73/46.43	c cleaning 44987 clauses out of 90064 with flag 6630792/1071776
50.89/48.58	c cleaning 46014 clauses out of 92077 with flag 6929390/1118776
52.98/50.65	c cleaning 47011 clauses out of 94063 with flag 7242246/1166776
55.55/53.14	c cleaning 48000 clauses out of 96052 with flag 7555235/1215776
57.73/55.33	c cleaning 49002 clauses out of 98052 with flag 7880939/1265776
60.09/57.60	c cleaning 50001 clauses out of 100050 with flag 8205265/1316776
62.40/59.97	c cleaning 50995 clauses out of 102049 with flag 8538032/1368776
64.87/62.36	c cleaning 52005 clauses out of 104057 with flag 8865850/1421779
67.26/64.76	c cleaning 53001 clauses out of 106050 with flag 9212131/1475777
69.77/67.27	c cleaning 53979 clauses out of 108049 with flag 9565330/1530777
72.36/69.89	c cleaning 55015 clauses out of 110069 with flag 9919765/1586776
74.95/72.47	c cleaning 56002 clauses out of 112055 with flag 10282301/1643777
77.76/75.28	c cleaning 57027 clauses out of 114054 with flag 10654839/1701778
80.57/78.02	c cleaning 57991 clauses out of 116027 with flag 11040687/1760778
84.70/82.17	c cleaning 58988 clauses out of 118034 with flag 11431015/1820776
87.59/85.07	c cleaning 59985 clauses out of 120046 with flag 11834109/1881776
90.99/88.46	c cleaning 61008 clauses out of 122061 with flag 12239929/1943776
93.98/91.45	c cleaning 62005 clauses out of 124055 with flag 12661298/2006778
97.31/94.71	c cleaning 62989 clauses out of 126048 with flag 13089221/2070776
100.40/97.81	c cleaning 64000 clauses out of 128060 with flag 13507677/2135777
103.68/101.05	c cleaning 64999 clauses out of 130060 with flag 13947678/2201777
106.95/104.33	c cleaning 65999 clauses out of 132060 with flag 14393822/2268776
110.93/108.21	c cleaning 66998 clauses out of 134064 with flag 14827426/2336779
115.03/112.32	c cleaning 67976 clauses out of 136063 with flag 15274947/2405776
118.42/115.71	c cleaning 69014 clauses out of 138087 with flag 15738444/2475776
123.17/120.48	c cleaning 70009 clauses out of 140074 with flag 16206182/2546777
126.97/124.20	c cleaning 71004 clauses out of 142065 with flag 16678586/2618777
130.56/127.87	c cleaning 72009 clauses out of 144061 with flag 17155554/2691777
134.35/131.62	c cleaning 72994 clauses out of 146051 with flag 17638979/2765776
138.39/135.61	c cleaning 73988 clauses out of 148058 with flag 18149041/2840777
142.28/139.51	c cleaning 75008 clauses out of 150071 with flag 18670188/2916778
146.19/143.49	c cleaning 76001 clauses out of 152062 with flag 19171642/2993777
150.33/147.58	c cleaning 76990 clauses out of 154061 with flag 19677792/3071777
154.62/151.83	c cleaning 78015 clauses out of 156070 with flag 20206165/3150776
158.71/155.98	c cleaning 78981 clauses out of 158055 with flag 20745894/3230776
164.54/161.76	c cleaning 80000 clauses out of 160074 with flag 21289365/3311776
168.84/166.03	c cleaning 80996 clauses out of 162074 with flag 21848323/3393776
173.51/170.63	c cleaning 82020 clauses out of 164081 with flag 22412047/3476779
177.92/175.09	c cleaning 83010 clauses out of 166058 with flag 22988355/3560776
182.49/179.64	c cleaning 83998 clauses out of 168048 with flag 23559470/3645776
187.40/184.46	c cleaning 84992 clauses out of 170050 with flag 24161090/3731776
192.10/189.16	c cleaning 86001 clauses out of 172058 with flag 24760707/3818776
196.88/193.96	c cleaning 87004 clauses out of 174060 with flag 25355702/3906779
202.37/199.00	c cleaning 87981 clauses out of 176054 with flag 25962946/3995777
207.51/203.87	c cleaning 89003 clauses out of 178074 with flag 26584380/4085778
212.40/208.76	c cleaning 90035 clauses out of 180069 with flag 27204669/4176776
218.93/215.22	c cleaning 90984 clauses out of 182034 with flag 27830599/4268776
224.12/220.41	c cleaning 91985 clauses out of 184051 with flag 28469028/4361777
229.32/225.65	c cleaning 92999 clauses out of 186066 with flag 29126635/4455777
234.82/231.12	c cleaning 93987 clauses out of 188066 with flag 29777786/4550776
240.42/236.64	c cleaning 95005 clauses out of 190079 with flag 30436552/4646776
245.82/242.04	c cleaning 95992 clauses out of 192074 with flag 31103452/4743776
251.40/247.66	c cleaning 97009 clauses out of 194083 with flag 31778622/4841777
257.21/253.38	c cleaning 98000 clauses out of 196073 with flag 32448539/4940776
263.10/259.22	c cleaning 99004 clauses out of 198073 with flag 33137482/5040776
268.90/265.08	c cleaning 99998 clauses out of 200069 with flag 33843207/5141776
275.14/271.15	c cleaning 101004 clauses out of 202071 with flag 34543286/5243776
281.21/277.23	c cleaning 102007 clauses out of 204068 with flag 35262269/5346777
287.38/283.34	c cleaning 103002 clauses out of 206060 with flag 35987549/5450776
293.58/289.53	c cleaning 104007 clauses out of 208058 with flag 36717234/5555776
299.87/295.85	c cleaning 104996 clauses out of 210054 with flag 37429922/5661779
306.58/302.54	c cleaning 106001 clauses out of 212055 with flag 38170537/5768776
313.09/309.05	c cleaning 106994 clauses out of 214054 with flag 38893515/5876776
321.08/317.06	c cleaning 108002 clauses out of 216060 with flag 39656967/5985776
328.03/323.90	c cleaning 108989 clauses out of 218060 with flag 40406022/6095778
334.61/330.58	c cleaning 110003 clauses out of 220069 with flag 41173701/6206776
341.30/337.28	c cleaning 111013 clauses out of 222066 with flag 41938932/6318776
348.42/344.32	c cleaning 111989 clauses out of 224053 with flag 42733173/6431776
355.32/351.23	c cleaning 112980 clauses out of 226065 with flag 43539562/6545777
362.48/358.39	c cleaning 114008 clauses out of 228084 with flag 44353679/6660776
369.76/365.60	c cleaning 115010 clauses out of 230077 with flag 45172238/6776777
377.16/373.04	c cleaning 116003 clauses out of 232067 with flag 45987770/6893777
385.88/381.74	c cleaning 116993 clauses out of 234064 with flag 46806392/7011777
393.47/389.34	c cleaning 118000 clauses out of 236071 with flag 47648962/7130777
401.06/396.99	c cleaning 119012 clauses out of 238073 with flag 48481855/7250779
408.79/404.56	c cleaning 119987 clauses out of 240059 with flag 49307781/7371777
416.57/412.35	c cleaning 120987 clauses out of 242071 with flag 50160186/7493776
424.37/420.15	c cleaning 121985 clauses out of 244084 with flag 51015253/7616776
432.26/427.93	c cleaning 123012 clauses out of 246099 with flag 51871061/7740776
440.14/435.88	c cleaning 124018 clauses out of 248090 with flag 52758186/7865779
448.23/443.92	c cleaning 124999 clauses out of 250069 with flag 53658239/7991776
456.54/452.14	c cleaning 125997 clauses out of 252070 with flag 54549354/8118776
464.61/460.28	c cleaning 126992 clauses out of 254073 with flag 55450895/8246776
473.10/468.74	c cleaning 128006 clauses out of 256081 with flag 56360164/8375776
481.50/477.17	c cleaning 129019 clauses out of 258075 with flag 57279691/8505776
489.92/485.57	c cleaning 130004 clauses out of 260056 with flag 58214427/8636776
498.71/494.35	c cleaning 130994 clauses out of 262053 with flag 59158283/8768777
507.59/503.26	c cleaning 132006 clauses out of 264058 with flag 60089960/8901776
516.77/512.40	c cleaning 132993 clauses out of 266052 with flag 61036759/9035776
525.95/521.58	c cleaning 133994 clauses out of 268059 with flag 62014825/9170776
535.03/530.60	c cleaning 135003 clauses out of 270066 with flag 62969742/9306777
544.31/539.91	c cleaning 136003 clauses out of 272062 with flag 63953538/9443776
553.29/549.00	c cleaning 137002 clauses out of 274059 with flag 64921620/9581776
562.88/558.53	c cleaning 137999 clauses out of 276058 with flag 65912519/9720777
572.26/568.00	c cleaning 138998 clauses out of 278058 with flag 66904621/9860776
583.15/578.21	c cleaning 140008 clauses out of 280064 with flag 67914337/10001780
592.95/588.07	c cleaning 140989 clauses out of 282053 with flag 68916573/10143777
602.72/597.87	c cleaning 142002 clauses out of 284066 with flag 69915708/10286779
612.79/607.93	c cleaning 142991 clauses out of 286061 with flag 70940970/10430776
623.44/618.46	c cleaning 144006 clauses out of 288070 with flag 71974148/10575776
633.69/628.63	c cleaning 145007 clauses out of 290065 with flag 73006758/10721777
644.10/639.03	c cleaning 145989 clauses out of 292057 with flag 74054462/10868776
654.61/649.50	c cleaning 146994 clauses out of 294069 with flag 75115007/11016777
665.25/660.17	c cleaning 147988 clauses out of 296074 with flag 76198420/11165776
675.62/670.52	c cleaning 149017 clauses out of 298089 with flag 77275553/11315779
686.42/681.34	c cleaning 150002 clauses out of 300069 with flag 78369636/11466776
697.19/692.01	c cleaning 150987 clauses out of 302067 with flag 79463643/11618776
707.95/702.84	c cleaning 152009 clauses out of 304080 with flag 80579206/11771776
720.31/715.15	c cleaning 153001 clauses out of 306071 with flag 81703385/11925776
731.47/726.37	c cleaning 154001 clauses out of 308071 with flag 82843692/12080777
742.75/737.63	c cleaning 154997 clauses out of 310069 with flag 83980222/12236776
753.72/748.65	c cleaning 156002 clauses out of 312073 with flag 85110654/12393777
765.21/760.14	c cleaning 156983 clauses out of 314070 with flag 86240400/12551776
778.57/773.36	c cleaning 157995 clauses out of 316087 with flag 87409170/12710776
790.84/785.62	c cleaning 158998 clauses out of 318092 with flag 88577188/12870776
802.12/796.97	c cleaning 160014 clauses out of 320094 with flag 89736809/13031776
813.99/808.83	c cleaning 161006 clauses out of 322081 with flag 90947230/13193777
826.31/821.08	c cleaning 162006 clauses out of 324074 with flag 92151059/13356776
838.08/832.85	c cleaning 163009 clauses out of 326068 with flag 93361300/13520776
850.28/845.04	c cleaning 164007 clauses out of 328059 with flag 94546473/13685776
862.74/857.39	c cleaning 165000 clauses out of 330054 with flag 95761583/13851778
874.82/869.49	c cleaning 165981 clauses out of 332053 with flag 96986986/14018777
887.20/881.85	c cleaning 167003 clauses out of 334071 with flag 98205587/14186776
899.79/894.30	c cleaning 168020 clauses out of 336070 with flag 99450847/14355778
912.07/906.65	c cleaning 168997 clauses out of 338049 with flag 100676887/14525777
924.84/919.48	c cleaning 169984 clauses out of 340052 with flag 101928126/14696777
937.72/932.32	c cleaning 170997 clauses out of 342067 with flag 103187455/14868776
950.92/945.42	c cleaning 171992 clauses out of 344071 with flag 104463259/15041777
963.99/958.51	c cleaning 173011 clauses out of 346080 with flag 105739399/15215778
977.37/972.00	c cleaning 174008 clauses out of 348067 with flag 107034042/15390776
990.95/985.51	c cleaning 175005 clauses out of 350060 with flag 108352318/15566777
1004.72/999.28	c cleaning 175995 clauses out of 352055 with flag 109667829/15743777
1018.00/1012.54	c cleaning 176991 clauses out of 354060 with flag 110973000/15921777
1031.58/1026.19	c cleaning 178000 clauses out of 356069 with flag 112277839/16100777
1045.65/1040.20	c cleaning 179002 clauses out of 358070 with flag 113601016/16280778
1060.05/1054.42	c cleaning 179988 clauses out of 360067 with flag 114960945/16461777
1074.23/1068.66	c cleaning 181004 clauses out of 362078 with flag 116315137/16643776
1088.91/1083.34	c cleaning 182020 clauses out of 364075 with flag 117685838/16826777
1103.34/1097.70	c cleaning 182992 clauses out of 366054 with flag 119043290/17010776
1118.02/1112.44	c cleaning 183995 clauses out of 368062 with flag 120422501/17195776
1132.60/1127.10	c cleaning 185012 clauses out of 370067 with flag 121816937/17381776
1147.57/1142.05	c cleaning 186000 clauses out of 372055 with flag 123235659/17568776
1162.96/1157.23	c cleaning 186991 clauses out of 374056 with flag 124625618/17756777
1177.84/1172.15	c cleaning 188004 clauses out of 376067 with flag 126026029/17945779
1194.20/1187.61	c cleaning 188989 clauses out of 378060 with flag 127472170/18135776
1209.37/1202.87	c cleaning 189997 clauses out of 380072 with flag 128912007/18326777
1224.95/1218.43	c cleaning 190997 clauses out of 382074 with flag 130370654/18518776
1240.32/1233.89	c cleaning 192004 clauses out of 384077 with flag 131856782/18711776
1258.87/1252.26	c cleaning 193013 clauses out of 386073 with flag 133298762/18905776
1274.75/1268.09	c cleaning 194000 clauses out of 388061 with flag 134760436/19100777
1290.73/1283.98	c cleaning 194973 clauses out of 390061 with flag 136228692/19296777
1307.32/1300.48	c cleaning 196023 clauses out of 392089 with flag 137710254/19493778
1324.31/1317.36	c cleaning 196990 clauses out of 394064 with flag 139198928/19691776
1341.20/1334.05	c cleaning 197999 clauses out of 396075 with flag 140707788/19890777
1357.66/1350.43	c cleaning 199005 clauses out of 398076 with flag 142232199/20090777
1374.46/1367.23	c cleaning 200004 clauses out of 400072 with flag 143731163/20291778
1391.99/1384.71	c cleaning 200999 clauses out of 402066 with flag 145279990/20493776
1408.96/1401.67	c cleaning 201995 clauses out of 404067 with flag 146791543/20696776
1426.82/1419.49	c cleaning 203004 clauses out of 406072 with flag 148346540/20900776
1444.32/1436.86	c cleaning 204018 clauses out of 408068 with flag 149890251/21105776
1462.46/1454.88	c cleaning 204977 clauses out of 410050 with flag 151464730/21311776
1480.00/1472.24	c cleaning 206009 clauses out of 412073 with flag 153044361/21518776
1498.11/1490.27	c cleaning 206982 clauses out of 414064 with flag 154636121/21726776
1516.05/1508.06	c cleaning 208016 clauses out of 416082 with flag 156225241/21935776
1533.12/1525.14	c cleaning 209000 clauses out of 418068 with flag 157787880/22145778
1551.33/1543.39	c cleaning 209981 clauses out of 420066 with flag 159408654/22356776
1570.92/1561.81	c cleaning 211009 clauses out of 422086 with flag 161041468/22568777
1589.27/1580.16	c cleaning 212014 clauses out of 424076 with flag 162668330/22781776
1607.63/1598.43	c cleaning 212993 clauses out of 426063 with flag 164296167/22995777
1625.70/1616.51	c cleaning 213997 clauses out of 428070 with flag 165939306/23210777
1645.55/1636.24	c cleaning 214991 clauses out of 430072 with flag 167601491/23426776
1665.26/1655.81	c cleaning 215999 clauses out of 432083 with flag 169246962/23643778
1684.54/1675.18	c cleaning 217007 clauses out of 434084 with flag 170907308/23861778
1703.76/1694.33	c cleaning 217986 clauses out of 436076 with flag 172567773/24080777
1722.73/1713.38	c cleaning 219006 clauses out of 438091 with flag 174246885/24300778
1742.29/1732.96	c cleaning 220016 clauses out of 440083 with flag 175949316/24521776
1762.63/1753.21	c cleaning 220998 clauses out of 442067 with flag 177653784/24743776
1782.95/1773.48	c cleaning 222009 clauses out of 444069 with flag 179362185/24966776
1802.97/1793.31	c cleaning 223008 clauses out of 446061 with flag 181073790/25190777
1822.33/1812.73	c cleaning 223999 clauses out of 448055 with flag 182807187/25415779
1843.32/1833.54	c cleaning 224989 clauses out of 450054 with flag 184567302/25641777
1863.83/1853.95	c cleaning 226003 clauses out of 452066 with flag 186306161/25868778
1884.88/1874.96	c cleaning 226990 clauses out of 454062 with flag 188078244/26096777
1905.88/1896.00	c cleaning 228014 clauses out of 456073 with flag 189839225/26325778
1927.78/1917.82	c cleaning 228983 clauses out of 458057 with flag 191618548/26555776
1948.43/1938.47	c cleaning 230005 clauses out of 460074 with flag 193389489/26786776
1970.36/1960.21	c cleaning 230999 clauses out of 462070 with flag 195170808/27018777
1991.02/1980.92	c cleaning 231999 clauses out of 464070 with flag 196942757/27251776
2012.11/2002.08	c cleaning 232996 clauses out of 466073 with flag 198769102/27485778
2033.17/2023.19	c cleaning 234000 clauses out of 468077 with flag 200596526/27720778
2054.67/2044.69	c cleaning 235000 clauses out of 470075 with flag 202425929/27956776
2075.64/2065.64	c cleaning 235984 clauses out of 472076 with flag 204233317/28193777
2097.51/2087.47	c cleaning 236989 clauses out of 474092 with flag 206104637/28431777
2119.42/2109.36	c cleaning 238022 clauses out of 476104 with flag 207975344/28670778
2141.38/2131.33	c cleaning 239009 clauses out of 478081 with flag 209829886/28910777
2164.36/2154.16	c cleaning 240002 clauses out of 480071 with flag 211723789/29151776
2187.43/2177.16	c cleaning 240997 clauses out of 482070 with flag 213612683/29393777
2210.52/2200.21	c cleaning 242010 clauses out of 484073 with flag 215519878/29636777
2233.44/2223.14	c cleaning 242996 clauses out of 486065 with flag 217404532/29880779
2257.13/2246.74	c cleaning 244005 clauses out of 488071 with flag 219344520/30125781
2280.37/2269.88	c cleaning 244986 clauses out of 490063 with flag 221282751/30371778
2304.89/2294.20	c cleaning 246013 clauses out of 492075 with flag 223211928/30618776
2328.07/2317.34	c cleaning 247001 clauses out of 494063 with flag 225153496/30866777
2351.72/2340.88	c cleaning 247998 clauses out of 496063 with flag 227111045/31115778
2376.73/2364.73	c cleaning 249011 clauses out of 498063 with flag 229067293/31365776
2401.28/2389.20	c cleaning 249995 clauses out of 500052 with flag 231025845/31616776
2426.28/2414.14	c cleaning 250995 clauses out of 502058 with flag 232982939/31868777
2450.13/2437.89	c cleaning 251999 clauses out of 504063 with flag 234957997/32121777
2474.95/2462.57	c cleaning 252999 clauses out of 506063 with flag 236945575/32375776
2500.94/2488.48	c cleaning 254000 clauses out of 508067 with flag 238954118/32630779
2525.19/2512.57	c cleaning 254991 clauses out of 510064 with flag 240987812/32886776
2550.50/2537.74	c cleaning 255998 clauses out of 512073 with flag 243013539/33143776
2574.92/2562.06	c cleaning 257001 clauses out of 514075 with flag 245037629/33401776
2599.58/2586.68	c cleaning 258015 clauses out of 516074 with flag 247086295/33660776
2625.15/2612.19	c cleaning 259002 clauses out of 518060 with flag 249154496/33920777
2652.46/2639.45	c cleaning 259985 clauses out of 520058 with flag 251231725/34181777
2677.98/2664.92	c cleaning 260993 clauses out of 522072 with flag 253296562/34443776
2705.22/2692.14	c cleaning 262023 clauses out of 524079 with flag 255369463/34706776
2731.17/2718.19	c cleaning 262978 clauses out of 526056 with flag 257465986/34970776
2758.06/2744.82	c cleaning 264040 clauses out of 528079 with flag 259568671/35235777
2783.32/2770.00	c cleaning 264989 clauses out of 530038 with flag 261644999/35501776
2809.84/2796.34	c cleaning 266001 clauses out of 532050 with flag 263750253/35768777
2836.53/2822.93	c cleaning 266982 clauses out of 534048 with flag 265873891/36036776
2862.99/2849.35	c cleaning 268006 clauses out of 536067 with flag 268005413/36305777
2890.69/2877.07	c cleaning 269000 clauses out of 538060 with flag 270133486/36575776
2917.40/2903.75	c cleaning 269990 clauses out of 540061 with flag 272276975/36846777
2944.47/2930.72	c cleaning 270996 clauses out of 542071 with flag 274450386/37118777
2972.89/2959.09	c cleaning 272018 clauses out of 544075 with flag 276615275/37391777
3000.55/2986.63	c cleaning 272995 clauses out of 546056 with flag 278777383/37665776
3029.02/3015.02	c cleaning 273989 clauses out of 548062 with flag 280974606/37940777
3057.85/3043.85	c cleaning 274986 clauses out of 550073 with flag 283196556/38216777
3085.80/3071.66	c cleaning 276019 clauses out of 552086 with flag 285396665/38493776
3115.00/3100.78	c cleaning 277013 clauses out of 554067 with flag 287616040/38771776
3143.30/3128.97	c cleaning 278009 clauses out of 556056 with flag 289843892/39050778
3172.46/3158.01	c cleaning 278985 clauses out of 558047 with flag 292075680/39330778
3200.97/3186.33	c cleaning 280002 clauses out of 560060 with flag 294322120/39611776
3229.61/3214.93	c cleaning 280995 clauses out of 562060 with flag 296568121/39893778
3260.02/3245.31	c cleaning 282007 clauses out of 564063 with flag 298828652/40176776
3289.24/3274.38	c cleaning 282991 clauses out of 566058 with flag 301076613/40460778
3319.81/3303.84	c cleaning 284002 clauses out of 568065 with flag 303358627/40745776
3350.16/3334.24	c cleaning 285004 clauses out of 570064 with flag 305670741/41031777
3380.45/3364.50	c cleaning 286009 clauses out of 572061 with flag 307963593/41318778
3411.19/3395.28	c cleaning 286997 clauses out of 574053 with flag 310260627/41606779
3441.99/3425.97	c cleaning 287992 clauses out of 576053 with flag 312557524/41895776
3473.42/3457.25	c cleaning 289003 clauses out of 578062 with flag 314895125/42185777
3504.72/3488.35	c cleaning 290009 clauses out of 580058 with flag 317218500/42476776
3535.56/3519.24	c cleaning 290984 clauses out of 582049 with flag 319587017/42768776
3566.17/3549.83	c cleaning 292008 clauses out of 584065 with flag 321949414/43061776
3597.84/3581.47	c cleaning 292985 clauses out of 586057 with flag 324311925/43355776
3600.04/3583.64	c starts		: 195658
3600.04/3583.67	c conflicts		: 43381888
3600.04/3583.67	c decisions		: 189136500
3600.04/3583.67	c propagations		: 1890926715
3600.04/3583.67	c inspects		: 42074863214
3600.04/3583.67	c shortcuts		: 0
3600.04/3583.67	c learnt literals	: 0
3600.04/3583.67	c learnt binary clauses	: 0
3600.04/3583.67	c learnt ternary clauses	: 0
3600.04/3583.67	c learnt constraints	: 43381888
3600.04/3583.67	c ignored constraints	: 0
3600.04/3583.67	c root simplifications	: 0
3600.04/3583.67	c removed literals (reason simplification)	: 41946182
3600.04/3583.69	c reason swapping (by a shorter reason)	: 0
3600.04/3583.69	c Calls to reduceDB	: 290
3600.04/3583.69	c Number of update (reduction) of LBD	: 12862370
3600.04/3583.69	c Imported unit clauses	: 0
3600.04/3583.69	c No decision after first conflict	: false
3600.04/3583.69	c number of reductions to clauses (during analyze)	: 0
3600.04/3583.69	c number of learned constraints concerned by reduction	: 0
3600.04/3583.69	c number of learning phase by resolution	: 0
3600.04/3583.69	c number of learning phase by cutting planes	: 0
3600.04/3583.69	c number of rounding to 1 operations	: 0
3600.04/3583.69	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3583.69	c number of reductions of the coefficients by power 2 	: 0
3600.04/3583.69	c number of right shift for reduction by power 2 	: 0
3600.04/3583.69	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3583.69	c number of ending skipping 	: 0
3600.04/3583.69	c number of internal skipping 	: 0
3600.04/3583.69	c number of derivation steps 	: 0
3600.04/3583.69	c number of skipped derivation steps 	: 0
3600.04/3583.69	c number of remaining unassigned 	: 0
3600.04/3583.69	c number of remaining assigned 	: 0
3600.04/3583.69	c number of falsified literals weakened from reason	: 0
3600.04/3583.69	c number of falsified literals weakened from conflict	: 0
3600.04/3583.69	c time for arithmetic operations	: 0
3600.04/3583.69	c minimum degree of deleted constraints	: null
3600.04/3583.69	c maximum degree of deleted constraints	: null
3600.04/3583.69	c number of deleted constraints	: 0
3600.04/3583.69	c speed (assignments/second)	: 527734.8427339455
3600.04/3583.69	c non guided choices	: 3226080
3600.24/3583.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 319184
3600.24/3583.76	s SATISFIABLE
3600.24/3583.76	c Found 1 solution(s)
3600.24/3583.77	v x1 -x2 -x3 -x4 x5 x6 -x7 -x8 -x9 x10 x11 x12 -x13 x14 -x15 -x16 x17 x18 -x19 x20 -x21 x22 -x23 x24 x25 -x26 -x27 x28 -x29 x30 -x31 -x32 x33 -x34 x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 x46 x47 x48 x49 -x50 -x51 -x52 x53 x54 -x55 -x56 -x57 x58 x59 x60 -x61 x62 -x63 x64 x65 -x66 -x67 -x68 x69 x70 x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 x80 x81 x82 -x83 -x84 -x85 x86 x87 x88 -x89 -x90 x91 x92 x93 -x94 -x95 -x96 x97 x98 x99 -x100 -x101 -x102 x103 x104 x105 -x106 -x107 x108 x109 -x110 x111 x112 -x113 -x114 -x115 x116 x117 -x118 x119 -x120 -x121 x122 x123 -x124 x125 x126 -x127 -x128 -x129 -x130 x131 x132 x133 -x134 -x135 -x136 x137 x138 x139 -x140 -x141 -x142 x143 x144 x145 -x146 -x147 x148 x149 x150 -x151 -x152 -x153 x154 x155 x156 -x157 -x158 -x159 x160 x161 x162 -x163 x164 -x165 x166 x167 -x168 -x169 -x170 x171 x172 x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 -x182 x183 x184 x185 -x186 -x187 x188 x189 x190 -x191 -x192 -x193 x194 x195 x196 -x197 -x198 x199 -x200 x201 x202 -x203 -x204 x205 x206 -x207 x208 -x209 -x210 x211 -x212 x213 x214 -x215 -x216 x217 x218 x219 -x220 x221 -x222 -x223 x224 -x225 -x226 -x227 x228 x229 x230 -x231 -x232 x233 -x234 x235 x236 x237 -x238 x239 x240 -x241 -x242 x243 -x244 x245 x246 -x247 -x248 x249 x250 x251 -x252 -x253 -x254 x255 x256 x257 -x258 -x259 -x260 x261 x262 x263 x264 -x265 -x266 x267 x268 -x269 -x270 x271 x272 x273 -x274 x275 x276 -x277 x278 -x279 x280 -x281 -x282 x283 -x284 x285 -x286 -x287 x288 -x289 x290 x291 -x292 -x293 x294 x295 x296 -x297 -x298 -x299 x300 x301 x302 x303 -x304 x305 x306 -x307 -x308 x309 x310 x311 -x312 -x313 -x314 x315 x316 x317 x318 -x319 -x320 x321 -x322 -x323 x324 -x325 x326 x327 -x328 -x329 -x330 x331 x332 x333 -x334 x335 -x336 -x337 x338 x339 x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 x349 -x350 x351 x352 -x353 x354 -x355 -x356 x357 -x358 x359 x360 -x361 x362 -x363 x364 x365 -x366 -x367 x368 x369 x370 x371 -x372 -x373 -x374 x375 x376 -x377 -x378 x379 -x380 x381 x382 x383 -x384 -x385 -x386 x387 x388 x389 -x390 x391 x392 x393 x394 -x395 x396 -x397 x398 x399 x400 -x401 x402 x403 -x404 x405 x406 -x407 -x408 -x409 x410 x411 x412 -x413 -x414 x415 x416 x417 -x418 -x419 -x420 x421 x422 -x423 x424 x425 x426 x427 x428 x429 -x430 -x431 -x432 x433 x434 x435 -x436 -x437 -x438 x439 x440 x441 x442 -x443 -x444 x445 x446 -x447 -x448 -x449 x450 x451 -x452 x453 x454 -x455 -x456 x457 x458 -x459 -x460 -x461 x462 x463 x464 -x465 -x466 x467 x468 x469 -x470 -x471 x472 x473 x474 -x475 x476 x477 x478 -x479 x480 -x481 x482 x483 -x484 x485 x486 x487 -x488 -x489 -x490 x491 x492 x493 -x494 -x495 x496 x497 x498 -x499 x500 -x501 -x502 x503 x504 -x505 x506 -x507 -x508 x509 -x510 x511 -x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 x521 x522 -x523 x524 x525 x526 -x527 -x528 x529 x530 x531 -x532 -x533 x534 x535 x536 x537 x538 -x539 x540 x541 x542 x543 -x544 -x545 x546 x547 x548 -x549 x550 x551 -x552 -x553 -x554 x555 x556 x557 x558 -x559 x560 -x561 -x562 x563 x564 x565 -x566 x567 -x568 -x569 x570 x571 -x572 -x573 x574 x575 x576 -x577 x578 x579 -x580 x581 -x582 -x583 x584 x585 x586 -x587 x588 x589 -x590 x591 x592 -x593 x594 -x595 x596 x597 x598 -x599 -x600 x601 -x602 x603 x604 -x605 x606 x607 -x608 -x609 x610 x611 x612 x613 -x614 x615 x616 x617 -x618 x619 -x620 x621 x622 -x623 -x624 x625 -x626 x627 x628 x629 -x630 x631 x632 -x633 x634 x635 x636 -x637 -x638 x639 x640 x641 -x642 -x643 x644 x645 -x646 x647 x648 x649 -x650 -x651 x652 x653 x654 -x655 x656 x657 x658 x659 x660 -x661 -x662 -x663 x664 x665 x666 -x667 x668 -x669 x670 -x671 x672 x673 x674 x675 x676 -x677 -x678 x679 x680 -x681 x682 x683 x684 -x685 x686 x687 x688 -x689 -x690 x691 x692 -x693 x694 x695 x696 -x697 -x698 -x699 x700 x701 -x702 x703 -x704 x705 x706 -x707 x708 x709 x710 -x711 x712 x713 x714 -x715 -x716 x717 x718 -x719 -x720 -x721 x722 x723 x724 x725 -x726 x727 x728 x729 x730 -x731 -x732 x733 -x734 x735 x736 x737 x738 x739 x740 x741 -x742 -x743 x744 x745 x746 x747 -x748 x749 -x750 -x751 -x752 x753 x754 -x755 x756 x757 -x758 -x759 x760 x761 x762 x763 -x764 x765 x766 x767 x768 x769 x770 -x771 x772 x773 -x774 -x775 x776 -x777 x778 x779 x780 x781 x782 x783 -x784 x785 x786 -x787 x788 x789 x790 -x791 x792 x793 -x794 -x795 x796 x797 -x798 -x799 x800 -x801 x802 x803 -x804 -x805 x806 -x807 x808 x809 -x810 -x811 x812 x813 x814 -x815 x816 -x817 x818 -x819 -x820 x821 x822 x823 -x824 x825 x826 x827 -x828 -x829 -x830 x831 x832 x833 x834 -x835 x836 x837 -x838 x839 x840 -x841 x842 x843 x844 x845 -x846 -x847 -x848 x849 x850 x851 x852 -x853 x854 x855 -x856 x857 x858 x859 -x860 x861 x862 -x863 x864 -x865 x866 x867 x868 x869 x870 -x871 x872 x873 x874 x875 -x876 x877 -x878 x879 x880 -x881 -x882 x883 -x884 x885 x886 x887 x888 x889 -x890 x891 x892 x893 x894 -x895 x896 -x897 x898 x899 -x900 -x901 x902 x903 -x904 x905 x906 x907 -x908 -x909 x910 x911 x912 -x913 -x914 x915 x916 x917 x918 x919 x920 -x921 x922 -x923 x924 x925 -x926 x927 -x928 x929 x930 x931 -x932 x933 -x934 -x935 x936 x937 x938 x939 -x940 x941 x942 -x943 x944 -x945 -x946 -x947 x948 x949 x950 x951 x952 -x953 -x954 -x955 x956 x957 x958 -x959 x960 x961 -x962 x963 x964 -x965 x966 x967 x968 x969 -x970 -x971 -x972 -x973 x974 x975 x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 x984 x985 x986 -x987 -x988 -x989 -x990 x991 x992 -x993 x994 x995 -x996 -x997 x998 x999 x1000 -x1001 x1002 x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 -x1010 -x1011 -x1012 x1013 -x1014 x1015 x1016 x1017 x1018 x1019 -x1020 x1021 x1022 x1023 x1024 -x1025 x1026 -x1027 x1028 x1029 -x1030 -x1031 x1032 x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 x1045 x1046 -x1047 x1048 x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 x1062 -x1063 x1064 x1065 -x1066 x1067 x1068 x1069 x1070 x1071 x1072 x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 -x1104 x1105 -x1106 -x1107 x1108 x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 x1116 x1117 -x1118 x1119 x1120 -x1121 -x1122 -x1123 x1124 x1125 -x1126 -x1127 x1128 x1129 -x1130 x1131 -x1132 x1133 -x1134 -x1135 -x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 x1150 -x1151 x1152 -x1153 -x1154 -x1155 x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 x1163 x1164 -x1165 -x1166 -x1167 -x1168 x1169 x1170 -x1171 -x1172 -x1173 -x1174 x1175 x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 x1190 -x1191 x1192 -x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 
3600.24/3583.78	c objective function=1
3600.24/3583.78	c Total wall clock time (in seconds): 3583.395

Verifier Data 

OK	1

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=79354, runsolver pid=79340

[startup+0.100073 s]*
/proc/loadavg: 3.07 3.95 4.10 15/317 79423
/proc/meminfo: memFree=128753440/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=18930344 memory=45448 CPUtime=0.09 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 5431 0 20 0 5 4 0 0 20 0 18 0 70883692 19384672256 11362 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4732586 11362 4921 1 0 546703 0
[pid=79354/tid=79360] ppid=79340 vsize=18930344 memory=4026532124 CPUtime=0.05 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 4573 0 20 0 3 2 0 0 20 0 18 0 70883696 19384672256 11362 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=18930344 memory=1593 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70883701 19384672256 11362 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=18930344 memory=60693105869820 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883702 19384672256 11362 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45448 KiB

[startup+0.215003 s]*
/proc/loadavg: 3.07 3.95 4.10 11/319 79425
/proc/meminfo: memFree=128730772/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=18930384 memory=51728 CPUtime=0.26 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 6136 0 20 0 21 5 0 0 20 0 18 0 70883692 19384713216 12932 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4732596 12932 5337 1 0 547230 0
[pid=79354/tid=79360] ppid=79340 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 4972 0 20 0 13 2 0 0 20 0 18 0 70883696 19384713216 12932 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70883701 19384713216 12932 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883702 19384713216 12932 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51728 KiB

[startup+0.314447 s]*
/proc/loadavg: 3.07 3.95 4.10 13/319 79425
/proc/meminfo: memFree=128715208/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=18930384 memory=57876 CPUtime=0.41 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 6653 0 20 0 36 5 0 0 20 0 18 0 70883692 19384713216 14469 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4732596 14469 5337 1 0 547676 0
[pid=79354/tid=79360] ppid=79340 vsize=18930384 memory=-6000919502788191080 CPUtime=0.24 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 5129 0 20 0 21 3 0 0 20 0 18 0 70883696 19384713216 14469 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70883701 19384713216 14469 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883702 19384713216 14469 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57876 KiB

[startup+0.700336 s]
/proc/loadavg: 3.07 3.95 4.10 14/320 79426
/proc/meminfo: memFree=128656920/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=18996948 memory=79628 CPUtime=1.1 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 8558 0 20 0 102 8 0 0 20 0 19 0 70883692 19452874752 19907 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4749237 19907 5465 1 0 548949 0
[pid=79354/tid=79360] ppid=79340 vsize=18996948 memory=18560 CPUtime=0.5 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 5389 0 20 0 46 4 0 0 20 0 19 0 70883696 19452874752 19907 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 19907 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883702 19452874752 19907 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79628 KiB

[startup+1.50023 s]
/proc/loadavg: 3.07 3.95 4.10 12/323 79429
/proc/meminfo: memFree=128616220/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=18996948 memory=105672 CPUtime=2.68 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 18566 0 20 0 257 11 0 0 20 0 19 0 70883692 19452874752 26418 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4749237 26418 5497 1 0 552729 0
[pid=79354/tid=79360] ppid=79340 vsize=18996948 memory=3200 CPUtime=1.25 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 5644 0 20 0 121 4 0 0 20 0 19 0 70883696 19452874752 26418 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 26418 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883702 19452874752 26418 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883752 19452874752 26418 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105672 KiB

[startup+3.11155 s]
/proc/loadavg: 3.07 3.95 4.10 8/323 79429
/proc/meminfo: memFree=128393272/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=18996948 memory=151764 CPUtime=5.03 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 20546 0 20 0 490 13 0 0 20 0 19 0 70883692 19452874752 37941 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4749237 37941 5497 1 0 552801 0
[pid=79354/tid=79360] ppid=79340 vsize=18996948 memory=14720 CPUtime=2.82 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 6801 0 20 0 277 5 0 0 20 0 19 0 70883696 19452874752 37941 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 37941 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883702 19452874752 37941 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883752 19452874752 37941 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 151764 KiB

[startup+6.30041 s]
/proc/loadavg: 3.14 3.96 4.10 9/326 79432
/proc/meminfo: memFree=128249560/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=174052 CPUtime=8.33 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 21621 0 20 0 818 15 0 0 20 0 20 0 70883692 19521036288 43513 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 43513 5529 1 0 553092 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=0 CPUtime=5.98 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 6901 0 20 0 592 6 0 0 20 0 20 0 70883696 19521036288 43513 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 43513 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 43513 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=107860 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 43513 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 8.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174052 KiB

[startup+12.7004 s]
/proc/loadavg: 3.21 3.96 4.10 8/327 79433
/proc/meminfo: memFree=128058256/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=272644 CPUtime=14.85 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 24907 0 20 0 1468 17 0 0 20 0 20 0 70883692 19521036288 68161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 68161 5529 1 0 553092 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=107860 CPUtime=12.1 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 7354 0 20 0 1204 6 0 0 20 0 20 0 70883696 19521036288 68161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=221368 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 68161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 68161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 68161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 14.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 272644 KiB

[startup+25.5005 s]
/proc/loadavg: 3.47 3.98 4.10 8/327 79434
/proc/meminfo: memFree=127361220/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=556644 CPUtime=27.72 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 26951 0 20 0 2748 24 0 0 20 0 20 0 70883692 19521036288 139161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 139161 5529 1 0 686766 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=221368 CPUtime=24.46 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 8070 0 20 0 2438 8 0 0 20 0 20 0 70883696 19521036288 139161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 139161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 139161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=462408 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 139161 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 27.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 556644 KiB

[startup+51.1133 s]
/proc/loadavg: 3.65 3.98 4.10 8/327 79434
/proc/meminfo: memFree=126159968/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=827052 CPUtime=53.5 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 28322 0 20 0 5318 32 0 0 20 0 20 0 70883692 19521036288 206763 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 206763 5529 1 0 686767 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=827052 CPUtime=49.5 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 8640 0 20 0 4942 8 0 0 20 0 20 0 70883696 19521036288 206763 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=272644 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 206763 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 206763 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.15 4.17 8/326 79599
/proc/meminfo: memFree=114088192/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=5661608 CPUtime=3297.22 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 185690 0 20 0 329397 325 0 0 20 0 20 0 70883692 19521036288 1415402 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 1415402 5561 1 0 1484128 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=11264 CPUtime=3251.91 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 107904 0 20 0 325139 52 0 0 20 0 20 0 70883696 19521036288 1415402 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=5430184 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 1415402 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 1822 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 1415402 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=5661608 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 1415402 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 3297.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5661608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.17 8/326 79601
/proc/meminfo: memFree=113448544/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=6290248 CPUtime=3358.29 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 194480 0 20 0 335487 342 0 0 20 0 20 0 70883692 19521036288 1572562 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 1572562 5561 1 0 2188458 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=5430184 CPUtime=3311.46 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 112534 0 20 0 331087 59 0 0 20 0 20 0 70883696 19521036288 1572562 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=6181676 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 1572562 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=6290248 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 1863 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 1572562 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 1572562 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 3358.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6290248 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 8/326 79603
/proc/meminfo: memFree=113346024/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=6388552 CPUtime=3418.27 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 196182 0 20 0 341480 347 0 0 20 0 20 0 70883692 19521036288 1597138 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 1597138 5561 1 0 2188458 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=5430184 CPUtime=3371.09 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 113222 0 20 0 337050 59 0 0 20 0 20 0 70883696 19521036288 1597138 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=6181676 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 1597138 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=6388552 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 1864 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 1597138 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=6388552 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 1597138 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 3418.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6388552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.15 8/325 79606
/proc/meminfo: memFree=113347080/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=6392664 CPUtime=3478.51 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 198600 0 20 0 347500 351 0 0 20 0 20 0 70883692 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 1598166 5561 1 0 2188466 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=6181676 CPUtime=3430.55 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 115132 0 20 0 342995 60 0 0 20 0 20 0 70883696 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=6392664 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 1906 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=6392664 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 3478.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6392664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.15 8/325 79608
/proc/meminfo: memFree=113346784/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=6392664 CPUtime=3538.66 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 201693 0 20 0 353512 354 0 0 20 0 20 0 70883692 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 1598166 5561 1 0 2188469 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=6392664 CPUtime=3490.13 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 117097 0 20 0 348953 60 0 0 20 0 20 0 70883696 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=6392664 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 2027 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=6392664 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 3538.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6392664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.15 4.16 8/325 79610
/proc/meminfo: memFree=113346152/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=6392664 CPUtime=3598.74 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 204029 0 20 0 359517 357 0 0 20 0 20 0 70883692 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 1598166 5561 1 0 2188469 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=14720 CPUtime=3549.76 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 118223 0 20 0 354916 60 0 0 20 0 20 0 70883696 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=6392664 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 2142 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 3598.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6392664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3583.6 s]
/proc/loadavg: 4.22 4.15 4.16 8/325 79610
/proc/meminfo: memFree=113346176/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19063512 memory=6392664 CPUtime=3600.04 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 204033 0 20 0 359647 357 0 0 20 0 20 0 70883692 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4765878 1598166 5561 1 0 2188469 0
[pid=79354/tid=79360] ppid=79340 vsize=19063512 memory=-6000919507083158376 CPUtime=3551.05 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 118224 0 20 0 355045 60 0 0 20 0 20 0 70883696 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19063512 memory=4892 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 2142 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79429] ppid=79340 vsize=19063512 memory=23532 CPUtime=0 cores=5,7
/proc/79354/task/79429/stat : 79429 (Timer-0) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883752 19521036288 1598166 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6392664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.81 s, system=3.60745 s

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

[startup+3583.71 s]
/proc/loadavg: 4.22 4.15 4.16 8/325 79610
/proc/meminfo: memFree=113346176/131382112 swapFree=33009904/33010684
[pid=79354] ppid=79340 vsize=19263204 memory=6393304 CPUtime=3600.24 cores=5,7
/proc/79354/stat : 79354 (java) S 79340 79354 79288 0 -1 4194304 206015 0 20 0 359666 358 0 0 20 0 21 0 70883692 19725520896 1598326 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
/proc/79354/statm: 4815801 1598326 5561 1 0 2189391 0
[pid=79354/tid=79360] ppid=79340 vsize=19263204 memory=14720 CPUtime=3551.14 cores=5,7
/proc/79354/task/79360/stat : 79360 (java) R 79340 79354 79288 0 -1 4194368 118464 0 20 0 355054 60 0 0 20 0 21 0 70883696 19725520896 1598326 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79397] ppid=79340 vsize=19263204 memory=11264 CPUtime=0 cores=5,7
/proc/79354/task/79397/stat : 79397 (Finalizer) S 79340 79354 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70883701 19725520896 1598326 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
[pid=79354/tid=79421] ppid=79340 vsize=19263204 memory=6392664 CPUtime=0 cores=5,7
/proc/79354/task/79421/stat : 79421 (Common-Cleaner) S 79340 79354 79288 0 -1 4194368 2142 0 0 0 0 0 0 0 20 0 21 0 70883702 19725520896 1598326 18446744073709551615 94036928540672 94036928544368 140727641221712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94036928552184 94036928552976 94036957007872 140727641225601 140727641225702 140727641225702 140727641231304 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6393304 KiB

Child status: 143

Real time (s): 3583.8
CPU time (s): 3600.41
CPU user time (s): 3596.81
CPU system time (s): 3.60745
CPU usage (%): 100.463
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6393304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.81
system time used= 3.60745
maximum resident set size= 6393560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206365
page faults= 20
swaps= 0
block input operations= 0
block output operations= 4152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112694
involuntary context switches= 5372


# summary of solver processes directly reported to runsolver:
#   pid: 79354
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3596.81
#   total CPU system time (s): 3.60745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4878 second user time and 35.0754 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-03 16:14:08
IDJOB=4518740
IDBENCH=177069
IDSOLVER=3363
FILE ID=nodeC001/4518740-1751552048
RUNJOBID= nodeC001-1751552048-79301
SLURM_JOB_ID= 9598733
Free space on /tmp= 432508 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518740-1751552048/watcher-4518740-1751552048 -o /tmp/evaluation-result-4518740-1751552048/solver-4518740-1751552048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751552048-79301 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4518740-1751552048.opb

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

MD5SUM BENCH= 476e0631a033c65f224eebb218d3a1ec
RANDOM SEED=488727636

nodeC001 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.205
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.49
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.179
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.49
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.542
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.49
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.369
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.49
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		: 1197.199
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.49
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		: 1197.168
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.49
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		: 1197.770
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.222
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128805852 kB
MemAvailable:   129900240 kB
Buffers:            1668 kB
Cached:          1879880 kB
SwapCached:          128 kB
Active:           305764 kB
Inactive:        1642232 kB
Active(anon):      55956 kB
Inactive(anon):    28268 kB
Active(file):     249808 kB
Inactive(file):  1613964 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:         69376 kB
Mapped:           102984 kB
Shmem:             17776 kB
KReclaimable:     140100 kB
Slab:             224868 kB
SReclaimable:     140100 kB
SUnreclaim:        84768 kB
KernelStack:        3732 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     339436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432504 MiB
End job on nodeC001 at 2025-07-03 17:13:52