Trace number 4518786

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.35 3599.63

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
MD5SUM6ddf7cdb8e212e3876ea6adaf4134c19
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 benchmark1.72286
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1404
Total number of constraints351
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)351
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 351
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 351
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 351
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB25.v20250606
0.09/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.11	c java.vm.version	22.0.1+8-16
0.09/0.11	c java.vm.vendor	Oracle Corporation
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		22.0.1
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.11	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.12	c Number of processors 	2
0.09/0.15	c Pseudo Boolean Optimization by upper bound
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Glucose 2.1 dynamic restart strategy
0.09/0.15	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.09/0.15	c timeout=2147483s
0.09/0.15	c DB Simplification allowed=false
0.09/0.15	c Listener: none
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-4518786-1751554990.opb
0.09/0.15	c reading problem ... 
0.09/0.15	c  objective function found
0.09/0.19	c ... done. Wall clock time 0.04s.
0.09/0.19	c declared #vars     1404
0.09/0.19	c #constraints  702
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 702
0.09/0.19	c 702 constraints processed.
0.09/0.20	c objective function length is 351 literals
0.47/0.32	c SATISFIABLE
0.47/0.32	c OPTIMIZING...
0.47/0.32	c Got one! Elapsed wall clock time (in seconds):0.175
0.47/0.33	o 1
1.23/0.73	c cleaning 2868 clauses out of 5750 with flag 37108/5750
1.59/0.94	c cleaning 4431 clauses out of 8880 with flag 68801/11748
2.10/1.22	c cleaning 5719 clauses out of 11451 with flag 110872/18750
2.42/1.46	c cleaning 6863 clauses out of 13730 with flag 158483/26748
2.79/1.73	c cleaning 7929 clauses out of 15868 with flag 213865/35749
3.08/2.03	c cleaning 8957 clauses out of 17939 with flag 272220/45749
3.39/2.34	c cleaning 9982 clauses out of 19982 with flag 337423/56749
3.68/2.69	c cleaning 10995 clauses out of 21999 with flag 409485/68748
4.08/3.08	c cleaning 11992 clauses out of 24004 with flag 483664/81748
4.60/3.50	c cleaning 12993 clauses out of 26012 with flag 569824/95748
5.00/3.93	c cleaning 13992 clauses out of 28019 with flag 663520/110748
5.39/4.39	c cleaning 14998 clauses out of 30028 with flag 760655/126749
6.03/4.90	c cleaning 16003 clauses out of 32029 with flag 862724/143748
6.55/5.43	c cleaning 16993 clauses out of 34026 with flag 975299/161748
7.16/6.03	c cleaning 17994 clauses out of 36034 with flag 1088488/180749
7.76/6.67	c cleaning 19011 clauses out of 38040 with flag 1206152/200749
8.46/7.34	c cleaning 19997 clauses out of 40028 with flag 1331549/221748
9.16/8.08	c cleaning 21006 clauses out of 42031 with flag 1462451/243748
10.09/8.90	c cleaning 21991 clauses out of 44027 with flag 1607751/266750
10.88/9.72	c cleaning 22998 clauses out of 46034 with flag 1752912/290748
11.78/10.63	c cleaning 23992 clauses out of 48037 with flag 1908279/315749
12.68/11.56	c cleaning 25003 clauses out of 50044 with flag 2064629/341748
13.72/12.57	c cleaning 26001 clauses out of 52044 with flag 2230198/368751
14.72/13.58	c cleaning 27005 clauses out of 54040 with flag 2397917/396748
15.82/14.62	c cleaning 27990 clauses out of 56036 with flag 2577084/425749
16.95/15.76	c cleaning 29002 clauses out of 58045 with flag 2755123/455748
18.15/16.92	c cleaning 29993 clauses out of 60043 with flag 2954368/486748
19.25/18.10	c cleaning 31010 clauses out of 62051 with flag 3155176/518749
20.68/19.43	c cleaning 31992 clauses out of 64041 with flag 3366913/551749
22.08/20.82	c cleaning 33005 clauses out of 66049 with flag 3584463/585749
23.47/22.21	c cleaning 34007 clauses out of 68045 with flag 3807198/620750
24.90/23.60	c cleaning 34995 clauses out of 70037 with flag 4036328/656749
26.31/25.00	c cleaning 36003 clauses out of 72041 with flag 4266278/693748
27.84/26.55	c cleaning 37005 clauses out of 74039 with flag 4502978/731749
29.45/28.13	c cleaning 37989 clauses out of 76034 with flag 4750001/770749
31.03/29.73	c cleaning 38984 clauses out of 78044 with flag 5011174/810748
32.66/31.37	c cleaning 40007 clauses out of 80060 with flag 5261102/851748
34.36/33.09	c cleaning 40993 clauses out of 82055 with flag 5532253/893750
36.19/34.87	c cleaning 42008 clauses out of 84060 with flag 5809811/936748
38.09/36.71	c cleaning 42990 clauses out of 86052 with flag 6093581/980748
40.01/38.65	c cleaning 44009 clauses out of 88062 with flag 6385941/1025748
41.91/40.52	c cleaning 44999 clauses out of 90055 with flag 6675174/1071750
43.94/42.59	c cleaning 46003 clauses out of 92055 with flag 6969616/1118749
46.04/44.64	c cleaning 46999 clauses out of 94051 with flag 7284070/1166748
48.17/46.75	c cleaning 47994 clauses out of 96052 with flag 7598865/1215748
50.36/48.91	c cleaning 49010 clauses out of 98060 with flag 7930727/1265750
52.46/51.08	c cleaning 49996 clauses out of 100049 with flag 8265590/1316749
54.92/53.47	c cleaning 51005 clauses out of 102053 with flag 8608717/1368749
57.31/55.82	c cleaning 52012 clauses out of 104047 with flag 8959335/1421748
59.71/58.26	c cleaning 52989 clauses out of 106036 with flag 9311665/1475749
62.13/60.68	c cleaning 54001 clauses out of 108047 with flag 9667046/1530749
64.63/63.15	c cleaning 55007 clauses out of 110047 with flag 10025246/1586750
67.22/65.75	c cleaning 55991 clauses out of 112038 with flag 10399065/1643748
70.05/68.54	c cleaning 56993 clauses out of 114048 with flag 10777096/1701749
72.84/71.32	c cleaning 58007 clauses out of 116055 with flag 11161626/1760749
75.64/74.17	c cleaning 58992 clauses out of 118049 with flag 11539972/1820750
78.53/77.05	c cleaning 60020 clauses out of 120055 with flag 11935959/1881748
81.59/80.03	c cleaning 60982 clauses out of 122036 with flag 12337497/1943749
84.58/83.06	c cleaning 62001 clauses out of 124055 with flag 12757838/2006750
87.67/86.17	c cleaning 63007 clauses out of 126052 with flag 13187870/2070748
90.87/89.34	c cleaning 64009 clauses out of 128046 with flag 13614982/2135749
94.22/92.62	c cleaning 64992 clauses out of 130037 with flag 14047778/2201749
97.42/95.88	c cleaning 66006 clauses out of 132045 with flag 14488360/2268749
100.81/99.26	c cleaning 66989 clauses out of 134038 with flag 14938543/2336748
104.20/102.62	c cleaning 67994 clauses out of 136049 with flag 15397305/2405748
107.69/106.20	c cleaning 68996 clauses out of 138055 with flag 15867392/2475748
111.54/109.93	c cleaning 69999 clauses out of 140060 with flag 16342752/2546749
115.04/113.46	c cleaning 70997 clauses out of 142062 with flag 16824572/2618750
118.73/117.18	c cleaning 72000 clauses out of 144064 with flag 17325339/2691749
122.42/120.89	c cleaning 73006 clauses out of 146064 with flag 17829025/2765749
126.41/124.88	c cleaning 74002 clauses out of 148057 with flag 18311739/2840748
130.30/128.72	c cleaning 75002 clauses out of 150057 with flag 18822493/2916750
134.47/132.80	c cleaning 75984 clauses out of 152053 with flag 19343532/2993748
138.36/136.71	c cleaning 77001 clauses out of 154069 with flag 19863210/3071748
142.55/140.90	c cleaning 78014 clauses out of 156069 with flag 20403537/3150749
146.83/145.25	c cleaning 78994 clauses out of 158055 with flag 20955160/3230749
151.13/149.52	c cleaning 79992 clauses out of 160061 with flag 21497890/3311749
156.09/154.18	c cleaning 81000 clauses out of 162069 with flag 22049750/3393749
160.57/158.64	c cleaning 82020 clauses out of 164070 with flag 22605285/3476750
165.16/163.25	c cleaning 82994 clauses out of 166048 with flag 23172697/3560748
169.75/167.87	c cleaning 84006 clauses out of 168054 with flag 23747461/3645748
174.54/172.61	c cleaning 84987 clauses out of 170050 with flag 24351842/3731750
179.38/177.48	c cleaning 86005 clauses out of 172062 with flag 24927069/3818749
184.27/182.35	c cleaning 87005 clauses out of 174056 with flag 25522518/3906748
189.26/187.37	c cleaning 88004 clauses out of 176051 with flag 26133690/3995748
194.25/192.35	c cleaning 89000 clauses out of 178047 with flag 26740452/4085748
199.33/197.49	c cleaning 89980 clauses out of 180047 with flag 27362388/4176748
204.52/202.68	c cleaning 91011 clauses out of 182069 with flag 28002245/4268750
210.00/208.08	c cleaning 92000 clauses out of 184057 with flag 28636819/4361749
215.38/213.49	c cleaning 93005 clauses out of 186057 with flag 29285211/4455749
220.98/219.02	c cleaning 93990 clauses out of 188052 with flag 29939776/4550749
226.46/224.59	c cleaning 95002 clauses out of 190061 with flag 30609172/4646748
232.05/230.16	c cleaning 95997 clauses out of 192059 with flag 31282972/4743748
238.04/236.16	c cleaning 96994 clauses out of 194062 with flag 31974503/4841748
244.21/242.20	c cleaning 98004 clauses out of 196068 with flag 32663357/4940748
250.00/248.09	c cleaning 99014 clauses out of 198064 with flag 33334073/5040748
255.98/254.05	c cleaning 100007 clauses out of 200050 with flag 34039075/5141748
261.97/260.09	c cleaning 101000 clauses out of 202044 with flag 34742931/5243749
268.35/266.43	c cleaning 101986 clauses out of 204043 with flag 35478424/5346748
274.87/272.85	c cleaning 102996 clauses out of 206057 with flag 36194144/5450748
281.25/279.25	c cleaning 104018 clauses out of 208064 with flag 36927130/5555751
287.84/285.82	c cleaning 104996 clauses out of 210047 with flag 37661526/5661752
294.52/292.57	c cleaning 105988 clauses out of 212047 with flag 38396476/5768748
301.20/299.29	c cleaning 107001 clauses out of 214059 with flag 39150762/5876748
307.86/305.84	c cleaning 108005 clauses out of 216061 with flag 39917851/5985751
314.56/312.55	c cleaning 109004 clauses out of 218054 with flag 40671905/6095749
321.33/319.36	c cleaning 109998 clauses out of 220049 with flag 41444005/6206748
328.21/326.27	c cleaning 111003 clauses out of 222052 with flag 42202845/6318749
335.29/333.36	c cleaning 111997 clauses out of 224048 with flag 42981896/6431748
342.48/340.55	c cleaning 112998 clauses out of 226051 with flag 43798209/6545748
350.25/348.22	c cleaning 114001 clauses out of 228055 with flag 44609114/6660750
357.23/355.28	c cleaning 114996 clauses out of 230053 with flag 45409805/6776749
365.01/363.00	c cleaning 116007 clauses out of 232060 with flag 46248512/6893752
372.69/370.75	c cleaning 116976 clauses out of 234049 with flag 47082028/7011748
380.27/378.32	c cleaning 118010 clauses out of 236075 with flag 47907254/7130750
388.05/386.01	c cleaning 119011 clauses out of 238065 with flag 48748593/7250750
395.72/393.78	c cleaning 119988 clauses out of 240052 with flag 49613488/7371748
403.60/401.69	c cleaning 121010 clauses out of 242065 with flag 50469668/7493749
411.59/409.63	c cleaning 121995 clauses out of 244054 with flag 51336507/7616748
419.47/417.55	c cleaning 122982 clauses out of 246059 with flag 52218681/7740748
427.75/425.81	c cleaning 124016 clauses out of 248077 with flag 53106126/7865748
436.35/434.36	c cleaning 125005 clauses out of 250061 with flag 53997032/7991748
444.43/442.45	c cleaning 125996 clauses out of 252057 with flag 54883924/8118749
452.91/450.97	c cleaning 126996 clauses out of 254060 with flag 55789014/8246748
461.40/459.47	c cleaning 128016 clauses out of 256067 with flag 56707278/8375751
470.08/468.16	c cleaning 128999 clauses out of 258049 with flag 57642000/8505749
478.96/477.00	c cleaning 129986 clauses out of 260049 with flag 58565324/8636748
488.08/485.90	c cleaning 131002 clauses out of 262063 with flag 59524315/8768748
497.06/494.98	c cleaning 131965 clauses out of 264061 with flag 60467364/8901748
506.35/504.26	c cleaning 133015 clauses out of 266096 with flag 61415447/9035748
515.93/513.83	c cleaning 133990 clauses out of 268081 with flag 62396260/9170748
525.41/523.34	c cleaning 135020 clauses out of 270092 with flag 63371743/9306749
535.05/532.93	c cleaning 136007 clauses out of 272071 with flag 64361674/9443748
544.52/542.47	c cleaning 137010 clauses out of 274066 with flag 65366575/9581750
554.31/552.24	c cleaning 137996 clauses out of 276054 with flag 66375529/9720748
564.09/562.04	c cleaning 138994 clauses out of 278058 with flag 67388869/9860748
573.86/571.86	c cleaning 140000 clauses out of 280064 with flag 68414828/10001748
583.53/581.58	c cleaning 141006 clauses out of 282065 with flag 69449965/10143749
593.61/591.62	c cleaning 142003 clauses out of 284058 with flag 70481602/10286748
603.89/601.89	c cleaning 142998 clauses out of 286055 with flag 71530054/10430748
614.17/612.10	c cleaning 143987 clauses out of 288057 with flag 72596187/10575748
624.64/622.61	c cleaning 145021 clauses out of 290074 with flag 73660003/10721752
635.21/633.28	c cleaning 145993 clauses out of 292049 with flag 74738534/10868748
646.18/644.20	c cleaning 147008 clauses out of 294057 with flag 75823190/11016749
657.15/655.28	c cleaning 147998 clauses out of 296048 with flag 76896059/11165748
668.32/666.41	c cleaning 149007 clauses out of 298053 with flag 77994938/11315751
679.52/677.59	c cleaning 150002 clauses out of 300043 with flag 79120807/11466748
690.79/688.88	c cleaning 150997 clauses out of 302041 with flag 80241820/11618748
702.26/700.36	c cleaning 151978 clauses out of 304044 with flag 81371498/11771748
713.74/711.88	c cleaning 153003 clauses out of 306066 with flag 82508185/11925748
725.22/723.34	c cleaning 153999 clauses out of 308064 with flag 83630802/12080749
736.89/735.00	c cleaning 155007 clauses out of 310066 with flag 84779565/12236750
748.56/746.73	c cleaning 155989 clauses out of 312060 with flag 85939116/12393751
760.54/758.71	c cleaning 157000 clauses out of 314068 with flag 87124270/12551748
772.43/770.52	c cleaning 157996 clauses out of 316070 with flag 88291813/12710750
784.30/782.48	c cleaning 159004 clauses out of 318072 with flag 89455403/12870748
796.78/794.90	c cleaning 159996 clauses out of 320068 with flag 90664642/13031748
809.15/807.31	c cleaning 161009 clauses out of 322072 with flag 91859732/13193748
821.42/819.61	c cleaning 162012 clauses out of 324064 with flag 93063092/13356749
833.98/832.24	c cleaning 163002 clauses out of 326052 with flag 94264921/13520749
847.33/845.47	c cleaning 163996 clauses out of 328050 with flag 95477152/13685749
860.30/858.48	c cleaning 164987 clauses out of 330054 with flag 96711066/13851749
873.66/871.84	c cleaning 166012 clauses out of 332067 with flag 97947251/14018749
886.63/884.85	c cleaning 166984 clauses out of 334054 with flag 99204293/14186748
899.59/897.87	c cleaning 168009 clauses out of 336072 with flag 100475622/14355750
913.35/911.63	c cleaning 169002 clauses out of 338062 with flag 101736576/14525749
927.03/925.29	c cleaning 170002 clauses out of 340059 with flag 103007718/14696748
940.60/938.83	c cleaning 170994 clauses out of 342058 with flag 104286059/14868749
954.57/952.83	c cleaning 172010 clauses out of 344064 with flag 105557717/15041749
968.54/966.84	c cleaning 173002 clauses out of 346053 with flag 106839502/15215748
982.61/980.91	c cleaning 173987 clauses out of 348052 with flag 108130158/15390749
996.82/995.03	c cleaning 175008 clauses out of 350065 with flag 109441577/15566749
1010.79/1009.02	c cleaning 175998 clauses out of 352057 with flag 110774068/15743749
1025.35/1023.67	c cleaning 177005 clauses out of 354058 with flag 112138842/15921748
1040.01/1038.39	c cleaning 177997 clauses out of 356053 with flag 113471506/16100748
1054.98/1053.33	c cleaning 178992 clauses out of 358056 with flag 114811621/16280748
1069.92/1068.21	c cleaning 180003 clauses out of 360064 with flag 116153647/16461748
1085.47/1083.88	c cleaning 181000 clauses out of 362061 with flag 117546616/16643748
1100.34/1098.74	c cleaning 182011 clauses out of 364061 with flag 118927776/16826748
1115.10/1113.56	c cleaning 182984 clauses out of 366050 with flag 120309650/17010748
1130.88/1129.25	c cleaning 184019 clauses out of 368067 with flag 121725385/17195749
1145.83/1144.28	c cleaning 184984 clauses out of 370048 with flag 123125523/17381749
1161.30/1159.79	c cleaning 186011 clauses out of 372063 with flag 124543709/17568748
1176.95/1175.48	c cleaning 187011 clauses out of 374052 with flag 125964725/17756748
1193.01/1191.18	c cleaning 187994 clauses out of 376041 with flag 127371862/17945748
1209.47/1207.65	c cleaning 189006 clauses out of 378048 with flag 128815696/18135749
1225.63/1223.82	c cleaning 189990 clauses out of 380043 with flag 130270562/18326750
1242.22/1240.36	c cleaning 190997 clauses out of 382052 with flag 131730500/18518749
1258.88/1257.06	c cleaning 191980 clauses out of 384054 with flag 133203477/18711748
1275.33/1273.51	c cleaning 193037 clauses out of 386074 with flag 134653007/18905748
1292.58/1290.83	c cleaning 193988 clauses out of 388038 with flag 136113739/19100749
1309.82/1308.05	c cleaning 194993 clauses out of 390049 with flag 137613148/19296748
1326.38/1324.63	c cleaning 196000 clauses out of 392056 with flag 139098066/19493748
1343.35/1341.69	c cleaning 196992 clauses out of 394056 with flag 140606136/19691748
1361.71/1360.03	c cleaning 197996 clauses out of 396065 with flag 142138015/19890749
1379.46/1377.66	c cleaning 199010 clauses out of 398068 with flag 143646795/20090748
1396.92/1395.11	c cleaning 199999 clauses out of 400059 with flag 145194309/20291749
1414.68/1412.92	c cleaning 200995 clauses out of 402060 with flag 146735186/20493749
1432.48/1430.66	c cleaning 201992 clauses out of 404064 with flag 148273927/20696748
1451.03/1449.23	c cleaning 203009 clauses out of 406073 with flag 149835881/20900749
1469.79/1468.04	c cleaning 203997 clauses out of 408063 with flag 151404430/21105748
1488.25/1486.57	c cleaning 205012 clauses out of 410066 with flag 152989572/21311748
1506.47/1504.76	c cleaning 205996 clauses out of 412055 with flag 154589538/21518749
1525.53/1523.85	c cleaning 207002 clauses out of 414058 with flag 156178251/21726748
1544.49/1542.87	c cleaning 207986 clauses out of 416056 with flag 157775996/21935748
1564.14/1561.96	c cleaning 208990 clauses out of 418070 with flag 159404060/22145748
1583.50/1581.37	c cleaning 210019 clauses out of 420080 with flag 161017110/22356748
1602.16/1600.01	c cleaning 211003 clauses out of 422062 with flag 162653372/22568749
1621.53/1619.35	c cleaning 211995 clauses out of 424058 with flag 164288386/22781748
1641.07/1638.93	c cleaning 213003 clauses out of 426063 with flag 165948388/22995748
1660.52/1658.49	c cleaning 214002 clauses out of 428060 with flag 167609728/23210748
1681.29/1679.17	c cleaning 215003 clauses out of 430058 with flag 169270464/23426748
1702.04/1699.91	c cleaning 215987 clauses out of 432055 with flag 170944295/23643748
1722.09/1720.09	c cleaning 217000 clauses out of 434069 with flag 172634515/23861749
1742.54/1740.50	c cleaning 217990 clauses out of 436068 with flag 174337642/24080748
1763.66/1761.69	c cleaning 219014 clauses out of 438078 with flag 176035387/24300748
1784.50/1782.50	c cleaning 219989 clauses out of 440065 with flag 177759434/24521749
1804.64/1802.73	c cleaning 221021 clauses out of 442075 with flag 179501998/24743748
1825.89/1824.01	c cleaning 222016 clauses out of 444054 with flag 181232244/24966748
1847.64/1845.74	c cleaning 222988 clauses out of 446038 with flag 182969832/25190748
1868.80/1866.93	c cleaning 224000 clauses out of 448050 with flag 184726201/25415748
1890.43/1888.60	c cleaning 225000 clauses out of 450051 with flag 186484490/25641749
1911.58/1909.84	c cleaning 225993 clauses out of 452050 with flag 188254195/25868748
1934.04/1932.29	c cleaning 226998 clauses out of 454057 with flag 190016526/26096748
1955.99/1954.22	c cleaning 228005 clauses out of 456059 with flag 191824694/26325748
1978.03/1976.33	c cleaning 229008 clauses out of 458059 with flag 193620987/26555753
2000.07/1998.48	c cleaning 229997 clauses out of 460048 with flag 195445829/26786750
2022.61/2020.93	c cleaning 230975 clauses out of 462049 with flag 197243131/27018748
2045.14/2043.57	c cleaning 232017 clauses out of 464075 with flag 199068915/27251749
2067.98/2066.45	c cleaning 233005 clauses out of 466057 with flag 200889849/27485748
2091.12/2089.67	c cleaning 233998 clauses out of 468053 with flag 202728788/27720749
2115.15/2113.42	c cleaning 235003 clauses out of 470055 with flag 204597736/27956749
2138.49/2136.83	c cleaning 236006 clauses out of 472052 with flag 206463346/28193749
2161.83/2160.27	c cleaning 236991 clauses out of 474045 with flag 208348281/28431748
2185.02/2183.32	c cleaning 238007 clauses out of 476054 with flag 210233908/28670748
2209.76/2208.14	c cleaning 239010 clauses out of 478047 with flag 212117112/28910748
2233.81/2232.27	c cleaning 239988 clauses out of 480037 with flag 214036072/29151748
2258.05/2256.51	c cleaning 240988 clauses out of 482051 with flag 215959067/29393750
2282.73/2281.22	c cleaning 242009 clauses out of 484061 with flag 217887868/29636748
2307.48/2306.06	c cleaning 243002 clauses out of 486053 with flag 219810754/29880749
2331.20/2329.87	c cleaning 244007 clauses out of 488051 with flag 221731348/30125749
2356.43/2355.14	c cleaning 245001 clauses out of 490044 with flag 223674967/30371749
2381.37/2380.03	c cleaning 245987 clauses out of 492043 with flag 225630953/30618749
2406.22/2404.93	c cleaning 246988 clauses out of 494055 with flag 227583427/30866748
2431.06/2429.86	c cleaning 247999 clauses out of 496068 with flag 229557885/31115749
2456.60/2455.43	c cleaning 248998 clauses out of 498068 with flag 231534357/31365748
2482.72/2481.44	c cleaning 249993 clauses out of 500071 with flag 233532120/31616749
2508.26/2507.07	c cleaning 251007 clauses out of 502077 with flag 235541323/31868748
2534.00/2532.84	c cleaning 252016 clauses out of 504072 with flag 237565247/32121750
2560.54/2559.46	c cleaning 253028 clauses out of 506055 with flag 239589018/32375749
2586.72/2585.51	c cleaning 253988 clauses out of 508027 with flag 241635690/32630749
2614.05/2613.00	c cleaning 254987 clauses out of 510038 with flag 243677804/32886748
2640.50/2639.45	c cleaning 256006 clauses out of 512053 with flag 245741221/33143750
2666.83/2665.85	c cleaning 256997 clauses out of 514045 with flag 247793466/33401748
2693.82/2692.82	c cleaning 257990 clauses out of 516048 with flag 249831862/33660748
2721.07/2720.14	c cleaning 258999 clauses out of 518060 with flag 251899825/33920750
2748.70/2747.87	c cleaning 259999 clauses out of 520060 with flag 253976964/34181749
2776.90/2775.55	c cleaning 261010 clauses out of 522060 with flag 256069750/34443748
2805.35/2804.08	c cleaning 262010 clauses out of 524051 with flag 258179086/34706749
2833.57/2832.37	c cleaning 263002 clauses out of 526041 with flag 260296098/34970749
2861.22/2859.91	c cleaning 263994 clauses out of 528038 with flag 262416957/35235748
2888.76/2887.55	c cleaning 265003 clauses out of 530045 with flag 264512440/35501749
2917.09/2915.93	c cleaning 265996 clauses out of 532041 with flag 266640776/35768748
2946.45/2945.29	c cleaning 266983 clauses out of 534046 with flag 268808234/36036749
2976.28/2975.14	c cleaning 268000 clauses out of 536064 with flag 270988402/36305750
3005.22/3004.16	c cleaning 268995 clauses out of 538062 with flag 273161734/36575748
3034.00/3032.84	c cleaning 270007 clauses out of 540067 with flag 275372936/36846748
3063.82/3062.76	c cleaning 270998 clauses out of 542062 with flag 277562485/37118750
3093.05/3092.02	c cleaning 272008 clauses out of 544062 with flag 279767765/37391748
3123.86/3122.95	c cleaning 273006 clauses out of 546055 with flag 281987805/37665749
3154.16/3153.25	c cleaning 274006 clauses out of 548048 with flag 284211829/37940748
3184.39/3183.58	c cleaning 274994 clauses out of 550042 with flag 286451662/38216748
3214.92/3214.18	c cleaning 275997 clauses out of 552049 with flag 288735011/38493749
3246.91/3246.08	c cleaning 276990 clauses out of 554051 with flag 290993127/38771748
3277.94/3277.17	c cleaning 277990 clauses out of 556062 with flag 293251608/39050749
3308.95/3308.25	c cleaning 279006 clauses out of 558071 with flag 295541708/39330748
3342.03/3340.90	c cleaning 280016 clauses out of 560068 with flag 297836558/39611751
3373.26/3372.28	c cleaning 281002 clauses out of 562050 with flag 300127040/39893749
3403.48/3402.51	c cleaning 281987 clauses out of 564048 with flag 302441060/40176749
3433.36/3432.47	c cleaning 283000 clauses out of 566061 with flag 304732809/40460749
3463.59/3462.72	c cleaning 283999 clauses out of 568062 with flag 307055494/40745750
3494.52/3493.78	c cleaning 285008 clauses out of 570063 with flag 309403283/41031750
3525.99/3525.29	c cleaning 285992 clauses out of 572053 with flag 311743655/41318748
3557.32/3556.60	c cleaning 287005 clauses out of 574061 with flag 314119148/41606748
3589.33/3588.71	c cleaning 287998 clauses out of 576057 with flag 316463602/41895749
3600.09/3599.52	c starts		: 169931
3600.09/3599.52	c conflicts		: 42010388
3600.09/3599.53	c decisions		: 142936736
3600.09/3599.53	c propagations		: 1590570643
3600.09/3599.53	c inspects		: 46084808894
3600.09/3599.53	c shortcuts		: 0
3600.09/3599.53	c learnt literals	: 0
3600.09/3599.53	c learnt binary clauses	: 0
3600.09/3599.53	c learnt ternary clauses	: 0
3600.09/3599.53	c learnt constraints	: 42010388
3600.09/3599.53	c ignored constraints	: 0
3600.09/3599.53	c root simplifications	: 0
3600.09/3599.53	c removed literals (reason simplification)	: 45560730
3600.09/3599.53	c reason swapping (by a shorter reason)	: 0
3600.09/3599.53	c Calls to reduceDB	: 285
3600.09/3599.53	c Number of update (reduction) of LBD	: 12432553
3600.09/3599.53	c Imported unit clauses	: 0
3600.09/3599.53	c No decision after first conflict	: false
3600.09/3599.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3599.53	c number of learned constraints concerned by reduction	: 0
3600.09/3599.53	c number of learning phase by resolution	: 0
3600.09/3599.53	c number of learning phase by cutting planes	: 0
3600.09/3599.53	c number of rounding to 1 operations	: 0
3600.09/3599.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3599.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3599.53	c number of right shift for reduction by power 2 	: 0
3600.09/3599.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3599.53	c number of ending skipping 	: 0
3600.09/3599.53	c number of internal skipping 	: 0
3600.09/3599.53	c number of derivation steps 	: 0
3600.09/3599.53	c number of skipped derivation steps 	: 0
3600.09/3599.53	c number of remaining unassigned 	: 0
3600.09/3599.53	c number of remaining assigned 	: 0
3600.09/3599.53	c number of falsified literals weakened from reason	: 0
3600.09/3599.53	c number of falsified literals weakened from conflict	: 0
3600.09/3599.53	c time for arithmetic operations	: 0
3600.09/3599.54	c minimum degree of deleted constraints	: null
3600.09/3599.54	c maximum degree of deleted constraints	: null
3600.09/3599.54	c number of deleted constraints	: 0
3600.09/3599.54	c speed (assignments/second)	: 441907.4224925194
3600.09/3599.54	c non guided choices	: 1979072
3600.30/3599.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 402698
3600.30/3599.61	s SATISFIABLE
3600.30/3599.61	c Found 1 solution(s)
3600.30/3599.62	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 
3600.30/3599.62	c objective function=1
3600.30/3599.62	c Total wall clock time (in seconds): 3599.469

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 0.58 2.00 3.12 9/334 82573
/proc/meminfo: memFree=126004128/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=18930384 memory=53208 CPUtime=0.09 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 6135 0 21 0 7 2 0 0 20 0 18 0 71176803 19384713216 13302 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4732596 13302 5242 1 0 547220 0
[pid=82496/tid=82507] ppid=82487 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 4999 0 4 0 4 1 0 0 20 0 18 0 71176805 19384713216 13302 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=18930384 memory=16198 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71176807 19384713216 13302 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 71176808 19384713216 13302 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53208 KiB

[startup+0.205833 s]*
/proc/loadavg: 0.58 2.00 3.12 14/334 82573
/proc/meminfo: memFree=125977600/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=18931412 memory=71696 CPUtime=0.28 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 7019 0 21 0 25 3 0 0 20 0 19 0 71176803 19385765888 17924 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4732853 17924 5402 1 0 548254 0
[pid=82496/tid=82507] ppid=82487 vsize=18931412 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) S 82487 82496 82431 0 -1 4194368 5407 0 4 0 14 2 0 0 20 0 19 0 71176805 19385765888 17924 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=18931412 memory=16198 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71176807 19385765888 17924 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=18931412 memory=59585004307431 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 71176808 19385765888 17924 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=18931412 memory=0 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (java) R 82487 82496 82431 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 71176823 19385765888 17924 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 2147221247 0 16800975 0 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18931412 KiB
Current children cumulated memory: 71696 KiB

[startup+0.306122 s]*
/proc/loadavg: 0.58 2.00 3.12 10/337 82578
/proc/meminfo: memFree=125904948/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=18996948 memory=76964 CPUtime=0.47 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 8542 0 21 0 44 3 0 0 20 0 19 0 71176803 19452874752 19241 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4749237 19241 5402 1 0 549162 0
[pid=82496/tid=82507] ppid=82487 vsize=18996948 memory=-6000919468361280103 CPUtime=0.25 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 5434 0 4 0 23 2 0 0 20 0 19 0 71176805 19452874752 19241 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71176807 19452874752 19241 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 71176808 19452874752 19241 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71176823 19452874752 19241 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76964 KiB

[startup+0.700221 s]
/proc/loadavg: 0.58 2.00 3.12 9/319 82587
/proc/meminfo: memFree=125907160/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=18996948 memory=100956 CPUtime=1.23 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 15259 0 21 0 118 5 0 0 20 0 19 0 71176803 19452874752 25239 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4749237 25239 5402 1 0 552950 0
[pid=82496/tid=82507] ppid=82487 vsize=18996948 memory=18688 CPUtime=0.62 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 5462 0 4 0 60 2 0 0 20 0 19 0 71176805 19452874752 25239 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71176807 19452874752 25239 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 71176808 19452874752 25239 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71176823 19452874752 25239 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100956 KiB

[startup+1.50019 s]
/proc/loadavg: 0.58 2.00 3.12 7/316 82587
/proc/meminfo: memFree=125853816/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=18996948 memory=124020 CPUtime=2.59 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 20366 0 21 0 253 6 0 0 20 0 19 0 71176803 19452874752 31005 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4749237 31005 5402 1 0 553004 0
[pid=82496/tid=82507] ppid=82487 vsize=18996948 memory=10752 CPUtime=1.41 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 5891 0 4 0 138 3 0 0 20 0 19 0 71176805 19452874752 31005 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71176807 19452874752 31005 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 71176808 19452874752 31005 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71176823 19452874752 31005 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124020 KiB

[startup+3.10528 s]
/proc/loadavg: 0.58 2.00 3.12 7/339 82643
/proc/meminfo: memFree=125616872/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=186172 CPUtime=4.2 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 22032 0 21 0 412 8 0 0 20 0 20 0 71176803 19521036288 46543 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 46543 5466 1 0 553294 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=10752 CPUtime=2.98 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 6202 0 4 0 294 4 0 0 20 0 20 0 71176805 19521036288 46543 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=-6000919476951214695 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 46543 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 46543 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 46543 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186172 KiB

[startup+6.30016 s]
/proc/loadavg: 0.85 2.03 3.12 6/341 82645
/proc/meminfo: memFree=125180244/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=184124 CPUtime=7.46 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 22286 0 21 0 738 8 0 0 20 0 20 0 71176803 19521036288 46031 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 46031 5498 1 0 553295 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=0 CPUtime=6.16 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 6221 0 4 0 612 4 0 0 20 0 20 0 71176805 19521036288 46031 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 46031 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 46031 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 46031 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184124 KiB

[startup+12.7002 s]
/proc/loadavg: 1.11 2.06 3.13 6/342 82646
/proc/meminfo: memFree=124352720/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=276612 CPUtime=13.92 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 24095 0 21 0 1382 10 0 0 20 0 20 0 71176803 19521036288 69153 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 69153 5498 1 0 553295 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=0 CPUtime=12.47 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 6756 0 4 0 1243 4 0 0 20 0 20 0 71176805 19521036288 69153 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 69153 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=219048 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 69153 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=219048 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 69153 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 276612 KiB

[startup+25.5002 s]
/proc/loadavg: 1.89 2.19 3.15 6/343 82648
/proc/meminfo: memFree=122323180/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=407944 CPUtime=26.8 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 26447 0 21 0 2667 13 0 0 20 0 20 0 71176803 19521036288 101986 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 101986 5498 1 0 553295 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=0 CPUtime=25.12 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 7505 0 4 0 2508 4 0 0 20 0 20 0 71176805 19521036288 101986 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=371072 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 101986 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=371072 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 101986 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=321812 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 101986 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 26.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 407944 KiB

[startup+51.1052 s]
/proc/loadavg: 2.61 2.34 3.18 7/343 82648
/proc/meminfo: memFree=119895084/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=678332 CPUtime=52.56 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 26883 0 21 0 5238 18 0 0 20 0 20 0 71176803 19521036288 169583 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 169583 5498 1 0 553295 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=678332 CPUtime=50.43 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.52 4.39 4.25 6/342 82810
/proc/meminfo: memFree=101490860/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=2179204 CPUtime=3283.12 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 115299 0 21 0 328192 120 0 0 20 0 20 0 71176803 19521036288 544801 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 544801 5498 1 0 558939 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=2179204 CPUtime=3267.34 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 58854 0 4 0 326705 29 0 0 20 0 20 0 71176805 19521036288 544801 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=2179204 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 544801 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=2179204 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 544801 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=2179204 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 544801 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 3283.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.43 4.41 4.27 6/343 82814
/proc/meminfo: memFree=101083240/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3343.42 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 119806 0 21 0 334221 121 0 0 20 0 20 0 71176803 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 544833 5498 1 0 558958 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3327.07 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 62791 0 4 0 332678 29 0 0 20 0 20 0 71176805 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 3343.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.35 4.26 5/343 82881
/proc/meminfo: memFree=116631840/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3403.28 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 120731 0 21 0 340205 123 0 0 20 0 20 0 71176803 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 544833 5498 1 0 558958 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3386.91 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 63589 0 4 0 338661 30 0 0 20 0 20 0 71176805 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 3403.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.31 4.25 5/341 82883
/proc/meminfo: memFree=116252588/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3463.19 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 122136 0 21 0 346194 125 0 0 20 0 20 0 71176803 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 544833 5498 1 0 558958 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3446.68 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 64363 0 4 0 344638 30 0 0 20 0 20 0 71176805 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 1052 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 3463.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.29 4.24 5/342 82899
/proc/meminfo: memFree=115983360/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3523.1 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 122866 0 21 0 352184 126 0 0 20 0 20 0 71176803 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 544833 5498 1 0 558958 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3506.46 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 64585 0 4 0 350616 30 0 0 20 0 20 0 71176805 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 1071 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 3523.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.23 4.23 5/342 82901
/proc/meminfo: memFree=115762932/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3582.95 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 123167 0 21 0 358169 126 0 0 20 0 20 0 71176803 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 544833 5498 1 0 558958 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3566.29 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 64859 0 4 0 356599 30 0 0 20 0 20 0 71176805 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 1071 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 3582.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.5 s]
/proc/loadavg: 4.12 4.24 4.23 7/341 83100
/proc/meminfo: memFree=121516512/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3600.09 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 123381 0 21 0 359881 128 0 0 20 0 20 0 71176803 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4765878 544833 5498 1 0 558958 0
[pid=82496/tid=82507] ppid=82487 vsize=19063512 memory=2179332 CPUtime=3583.43 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 65068 0 4 0 358311 32 0 0 20 0 20 0 71176805 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19063512 memory=2179332 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71176807 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 1071 0 0 0 0 0 0 0 20 0 20 0 71176808 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82574] ppid=82487 vsize=19063512 memory=-6000919498476644711 CPUtime=0 cores=0,2
/proc/82496/task/82574/stat : 82574 (Timer-0) S 82487 82496 82431 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71176823 19521036288 544833 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179332 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.3023 s

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

[startup+3599.6 s]
/proc/loadavg: 4.12 4.24 4.23 7/341 83100
/proc/meminfo: memFree=121516512/131249996 swapFree=33010672/33010684
[pid=82496] ppid=82487 vsize=19263204 memory=2180228 CPUtime=3600.3 cores=0,2
/proc/82496/stat : 82496 (java) S 82487 82496 82431 0 -1 4194304 125030 0 21 0 359901 129 0 0 20 0 21 0 71176803 19725520896 545057 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
/proc/82496/statm: 4815801 545057 5530 1 0 559880 0
[pid=82496/tid=82507] ppid=82487 vsize=19263204 memory=18688 CPUtime=3583.51 cores=0,2
/proc/82496/task/82507/stat : 82507 (java) R 82487 82496 82431 0 -1 4194368 65217 0 4 0 358319 32 0 0 20 0 21 0 71176805 19725520896 545057 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82532] ppid=82487 vsize=19263204 memory=10752 CPUtime=0 cores=0,2
/proc/82496/task/82532/stat : 82532 (Finalizer) S 82487 82496 82431 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 71176807 19725520896 545057 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
[pid=82496/tid=82551] ppid=82487 vsize=19263204 memory=5760 CPUtime=0 cores=0,2
/proc/82496/task/82551/stat : 82551 (Common-Cleaner) S 82487 82496 82431 0 -1 4194368 1071 0 0 0 0 0 0 0 20 0 21 0 71176808 19725520896 545057 18446744073709551615 94206523367424 94206523371120 140735400832944 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94206523378936 94206523379728 94206529699840 140735400839553 140735400839654 140735400839654 140735400845256 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2180228 KiB

Child status: 143

Real time (s): 3599.63
CPU time (s): 3600.35
CPU user time (s): 3599.05
CPU system time (s): 1.3023
CPU usage (%): 100.02
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2180228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.3023
maximum resident set size= 2180356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125281
page faults= 21
swaps= 0
block input operations= 0
block output operations= 9480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106729
involuntary context switches= 9228


# summary of solver processes directly reported to runsolver:
#   pid: 82496
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.3023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91622 second user time and 14.8877 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-03 17:03:10
IDJOB=4518786
IDBENCH=177075
IDSOLVER=3363
FILE ID=nodeC017/4518786-1751554990
RUNJOBID= nodeC017-1751554990-82446
SLURM_JOB_ID= 9598744
Free space on /tmp= 432468 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_351.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518786-1751554990/watcher-4518786-1751554990 -o /tmp/evaluation-result-4518786-1751554990/solver-4518786-1751554990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751554990-82446 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4518786-1751554990.opb

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

MD5SUM BENCH= 6ddf7cdb8e212e3876ea6adaf4134c19
RANDOM SEED=181289101

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126061612 kB
MemAvailable:   129675744 kB
Buffers:            1688 kB
Cached:          4382800 kB
SwapCached:            8 kB
Active:           360104 kB
Inactive:        4093440 kB
Active(anon):      71000 kB
Inactive(anon):    16128 kB
Active(file):     289104 kB
Inactive(file):  4077312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3240 kB
Writeback:             0 kB
AnonPages:         72148 kB
Mapped:           103808 kB
Shmem:             18072 kB
KReclaimable:     173508 kB
Slab:             264612 kB
SReclaimable:     173508 kB
SUnreclaim:        91104 kB
KernelStack:        4040 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     330132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432412 MiB
End job on nodeC017 at 2025-07-03 18:03:10