Trace number 4518648

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.59 3590.99

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
MD5SUMc2769aec5501f1fd7f55f6e1394c15e3
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.76096
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1604
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
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 401
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 401
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 401
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.08/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.20	c See www.sat4j.org for details.
0.08/0.22	c version PB25.v20250606
0.25/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.24	c java.vm.version	22.0.1+8-16
0.25/0.24	c java.vm.vendor	Oracle Corporation
0.25/0.24	c sun.arch.data.model	64
0.25/0.25	c java.version		22.0.1
0.25/0.25	c os.name		Linux
0.25/0.25	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.25	c os.arch		amd64
0.25/0.25	c Free memory 		2104792832
0.25/0.26	c Max memory 		16282288128
0.25/0.26	c Total memory 		2113929216
0.25/0.26	c Number of processors 	2
0.40/0.38	c Pseudo Boolean Optimization by upper bound
0.40/0.38	c --- Begin Solver configuration ---
0.40/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.40/0.38	c Learn all clauses as in MiniSAT
0.40/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.38	c Expensive reason simplification
0.40/0.38	c Glucose 2.1 dynamic restart strategy
0.40/0.38	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.40/0.38	c timeout=2147483s
0.40/0.38	c DB Simplification allowed=false
0.40/0.38	c Listener: none
0.40/0.38	c --- End Solver configuration ---
0.40/0.38	c solving HOME/instance-4518648-1751552048.opb
0.40/0.38	c reading problem ... 
0.40/0.38	c  objective function found
0.76/0.54	c ... done. Wall clock time 0.142s.
0.76/0.54	c declared #vars     1604
0.76/0.54	c #constraints  802
0.76/0.54	c constraints type 
0.76/0.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 802
0.76/0.54	c 802 constraints processed.
0.76/0.57	c objective function length is 401 literals
1.09/0.77	c SATISFIABLE
1.09/0.77	c OPTIMIZING...
1.09/0.77	c Got one! Elapsed wall clock time (in seconds):0.394
1.09/0.77	o 1
2.67/1.51	c cleaning 2675 clauses out of 5352 with flag 30593/5352
3.26/1.81	c cleaning 4329 clauses out of 8676 with flag 60979/11351
3.86/2.11	c cleaning 5664 clauses out of 11348 with flag 104298/18352
4.20/2.36	c cleaning 6842 clauses out of 13683 with flag 150390/26351
4.51/2.65	c cleaning 7914 clauses out of 15842 with flag 204091/35352
4.81/2.96	c cleaning 8950 clauses out of 17927 with flag 263140/45351
5.59/3.76	c cleaning 9979 clauses out of 19978 with flag 331780/56352
6.30/4.42	c cleaning 10981 clauses out of 21998 with flag 402000/68351
6.79/4.94	c cleaning 11997 clauses out of 24021 with flag 476267/81355
7.20/5.36	c cleaning 13000 clauses out of 26020 with flag 558036/95351
7.70/5.81	c cleaning 13984 clauses out of 28021 with flag 644789/110352
8.12/6.29	c cleaning 15003 clauses out of 30037 with flag 733873/126352
8.79/6.80	c cleaning 15976 clauses out of 32034 with flag 836394/143352
9.35/7.34	c cleaning 17006 clauses out of 34057 with flag 945113/161351
9.95/7.98	c cleaning 18011 clauses out of 36051 with flag 1054783/180351
10.64/8.64	c cleaning 18994 clauses out of 38041 with flag 1183132/200352
11.24/9.29	c cleaning 19998 clauses out of 40046 with flag 1308000/221351
11.95/9.98	c cleaning 21024 clauses out of 42048 with flag 1438545/243351
13.04/11.10	c cleaning 21991 clauses out of 44024 with flag 1575562/266351
13.93/11.92	c cleaning 22991 clauses out of 46034 with flag 1716208/290352
14.74/12.77	c cleaning 23998 clauses out of 48043 with flag 1867925/315352
15.74/13.70	c cleaning 25007 clauses out of 50044 with flag 2024699/341351
17.33/15.35	c cleaning 25998 clauses out of 52037 with flag 2188253/368351
18.91/16.97	c cleaning 27004 clauses out of 54040 with flag 2358886/396352
20.23/18.27	c cleaning 27999 clauses out of 56035 with flag 2545997/425351
21.54/19.56	c cleaning 28998 clauses out of 58036 with flag 2725828/455351
22.74/20.71	c cleaning 29983 clauses out of 60039 with flag 2924599/486352
23.93/21.90	c cleaning 31014 clauses out of 62056 with flag 3122295/518352
25.24/23.30	c cleaning 32006 clauses out of 64041 with flag 3324838/551351
26.54/24.59	c cleaning 32998 clauses out of 66035 with flag 3535796/585351
27.94/25.95	c cleaning 33988 clauses out of 68038 with flag 3761244/620352
29.43/27.48	c cleaning 35001 clauses out of 70049 with flag 3983477/656351
30.93/28.90	c cleaning 36010 clauses out of 72049 with flag 4209846/693352
32.33/30.37	c cleaning 37000 clauses out of 74038 with flag 4444110/731351
34.20/32.16	c cleaning 37988 clauses out of 76038 with flag 4692937/770351
35.78/33.74	c cleaning 38996 clauses out of 78050 with flag 4947411/810351
37.37/35.38	c cleaning 40009 clauses out of 80054 with flag 5208558/851351
39.12/37.10	c cleaning 40990 clauses out of 82046 with flag 5476023/893352
40.90/38.89	c cleaning 42002 clauses out of 84055 with flag 5760702/936351
42.87/40.76	c cleaning 43007 clauses out of 86053 with flag 6041896/980351
44.76/42.61	c cleaning 44006 clauses out of 88047 with flag 6329019/1025352
46.66/44.52	c cleaning 44999 clauses out of 90040 with flag 6623726/1071351
48.68/46.54	c cleaning 46001 clauses out of 92041 with flag 6922437/1118351
50.78/48.63	c cleaning 47000 clauses out of 94042 with flag 7243881/1166353
53.35/51.16	c cleaning 47993 clauses out of 96041 with flag 7560895/1215352
55.43/53.25	c cleaning 48980 clauses out of 98047 with flag 7878258/1265351
57.63/55.46	c cleaning 50002 clauses out of 100067 with flag 8214789/1316351
60.10/57.80	c cleaning 51012 clauses out of 102067 with flag 8550582/1368353
62.30/60.08	c cleaning 52010 clauses out of 104053 with flag 8890563/1421351
64.78/62.58	c cleaning 53003 clauses out of 106043 with flag 9233005/1475351
67.29/65.07	c cleaning 53973 clauses out of 108041 with flag 9602362/1530352
70.09/67.80	c cleaning 55011 clauses out of 110068 with flag 9976023/1586352
72.68/70.44	c cleaning 55996 clauses out of 112056 with flag 10348507/1643351
75.44/73.14	c cleaning 56999 clauses out of 114060 with flag 10732222/1701351
78.12/75.87	c cleaning 58001 clauses out of 116062 with flag 11109796/1760352
81.04/78.79	c cleaning 59003 clauses out of 118061 with flag 11507759/1820352
83.93/81.60	c cleaning 60004 clauses out of 120057 with flag 11904428/1881351
86.95/84.68	c cleaning 61027 clauses out of 122053 with flag 12317794/1943351
89.94/87.60	c cleaning 61988 clauses out of 124027 with flag 12737722/2006352
92.83/90.59	c cleaning 62991 clauses out of 126042 with flag 13147512/2070355
96.16/93.81	c cleaning 63998 clauses out of 128048 with flag 13596010/2135352
99.26/96.92	c cleaning 65006 clauses out of 130052 with flag 14033434/2201354
102.78/100.43	c cleaning 66002 clauses out of 132046 with flag 14482070/2268354
106.08/103.72	c cleaning 66994 clauses out of 134042 with flag 14945189/2336352
109.74/107.37	c cleaning 67989 clauses out of 136047 with flag 15419067/2405351
113.23/110.86	c cleaning 68993 clauses out of 138061 with flag 15887046/2475354
116.82/114.43	c cleaning 70015 clauses out of 140065 with flag 16376618/2546351
120.57/118.17	c cleaning 71009 clauses out of 142053 with flag 16870915/2618354
124.15/121.74	c cleaning 71985 clauses out of 144041 with flag 17358568/2691351
127.85/125.49	c cleaning 73004 clauses out of 146057 with flag 17865053/2765352
131.91/129.47	c cleaning 74000 clauses out of 148052 with flag 18372509/2840351
135.80/133.38	c cleaning 74988 clauses out of 150053 with flag 18881755/2916352
139.89/137.44	c cleaning 76004 clauses out of 152065 with flag 19400407/2993352
144.17/141.64	c cleaning 77002 clauses out of 154060 with flag 19948810/3071351
148.36/145.88	c cleaning 77994 clauses out of 156058 with flag 20499373/3150351
152.68/150.12	c cleaning 78999 clauses out of 158064 with flag 21044295/3230351
156.96/154.41	c cleaning 80004 clauses out of 160065 with flag 21600937/3311351
161.53/158.93	c cleaning 81004 clauses out of 162061 with flag 22170592/3393351
165.92/163.36	c cleaning 81998 clauses out of 164057 with flag 22731791/3476351
170.31/167.78	c cleaning 82988 clauses out of 166059 with flag 23308504/3560351
175.00/172.44	c cleaning 84003 clauses out of 168074 with flag 23899999/3645354
179.71/177.17	c cleaning 85006 clauses out of 170068 with flag 24492485/3731351
184.57/181.96	c cleaning 86005 clauses out of 172062 with flag 25110036/3818351
189.46/186.87	c cleaning 87004 clauses out of 174057 with flag 25720223/3906351
194.35/191.74	c cleaning 87999 clauses out of 176053 with flag 26333215/3995351
199.34/196.77	c cleaning 88983 clauses out of 178054 with flag 26961237/4085351
205.08/202.32	c cleaning 90005 clauses out of 180073 with flag 27604771/4176353
210.27/207.52	c cleaning 91012 clauses out of 182067 with flag 28237689/4268352
215.35/212.69	c cleaning 92011 clauses out of 184056 with flag 28882095/4361353
220.64/217.95	c cleaning 92985 clauses out of 186044 with flag 29530899/4455352
227.53/224.70	c cleaning 94007 clauses out of 188061 with flag 30181039/4550354
232.93/230.16	c cleaning 94984 clauses out of 190051 with flag 30847901/4646351
238.70/235.94	c cleaning 95998 clauses out of 192068 with flag 31532916/4743352
244.39/241.65	c cleaning 97020 clauses out of 194069 with flag 32222669/4841351
250.09/247.36	c cleaning 97990 clauses out of 196049 with flag 32925078/4940351
256.30/253.48	c cleaning 99005 clauses out of 198060 with flag 33626686/5040352
262.29/259.49	c cleaning 100001 clauses out of 200054 with flag 34337681/5141351
268.27/265.42	c cleaning 100981 clauses out of 202054 with flag 35046405/5243352
274.46/271.67	c cleaning 101994 clauses out of 204073 with flag 35783573/5346352
280.75/277.92	c cleaning 103016 clauses out of 206078 with flag 36503808/5450351
288.93/285.68	c cleaning 104003 clauses out of 208062 with flag 37245641/5555351
295.33/292.06	c cleaning 104991 clauses out of 210059 with flag 37991867/5661351
301.80/298.53	c cleaning 105997 clauses out of 212068 with flag 38736118/5768351
308.68/305.39	c cleaning 107010 clauses out of 214071 with flag 39499415/5876351
315.49/312.11	c cleaning 108009 clauses out of 216062 with flag 40273167/5985352
322.16/318.88	c cleaning 108998 clauses out of 218053 with flag 41053430/6095352
329.04/325.76	c cleaning 109998 clauses out of 220055 with flag 41845403/6206352
336.13/332.84	c cleaning 110998 clauses out of 222056 with flag 42634018/6318351
343.38/340.05	c cleaning 112029 clauses out of 224058 with flag 43435391/6431351
350.55/347.22	c cleaning 112994 clauses out of 226030 with flag 44252535/6545352
357.84/354.55	c cleaning 113993 clauses out of 228036 with flag 45073735/6660352
365.13/361.87	c cleaning 114988 clauses out of 230044 with flag 45903738/6776353
374.41/371.08	c cleaning 116004 clauses out of 232055 with flag 46731843/6893352
381.78/378.43	c cleaning 116998 clauses out of 234050 with flag 47590187/7011351
389.26/386.00	c cleaning 118002 clauses out of 236054 with flag 48429065/7130353
397.05/393.76	c cleaning 119003 clauses out of 238051 with flag 49276556/7250352
405.85/402.42	c cleaning 119984 clauses out of 240047 with flag 50152609/7371351
413.64/410.29	c cleaning 120990 clauses out of 242063 with flag 51023882/7493351
421.86/418.40	c cleaning 122004 clauses out of 244075 with flag 51926423/7616353
429.95/426.52	c cleaning 123019 clauses out of 246069 with flag 52801499/7740351
438.13/434.79	c cleaning 123997 clauses out of 248051 with flag 53690307/7865352
446.32/443.01	c cleaning 125001 clauses out of 250053 with flag 54604584/7991351
455.18/451.70	c cleaning 125999 clauses out of 252052 with flag 55521253/8118351
463.66/460.27	c cleaning 126997 clauses out of 254053 with flag 56441608/8246351
472.24/468.84	c cleaning 127989 clauses out of 256059 with flag 57366219/8375354
481.12/477.74	c cleaning 128999 clauses out of 258067 with flag 58294265/8505351
489.91/486.56	c cleaning 130013 clauses out of 260068 with flag 59250857/8636351
498.78/495.45	c cleaning 130995 clauses out of 262057 with flag 60187001/8768353
507.96/504.52	c cleaning 131979 clauses out of 264060 with flag 61134635/8901351
517.14/513.70	c cleaning 133023 clauses out of 266082 with flag 62110542/9035352
526.53/523.13	c cleaning 134002 clauses out of 268060 with flag 63085439/9170353
535.90/532.57	c cleaning 135000 clauses out of 270056 with flag 64066277/9306351
545.19/541.87	c cleaning 136000 clauses out of 272056 with flag 65044941/9443351
555.43/552.00	c cleaning 137003 clauses out of 274056 with flag 66044998/9581351
565.22/561.77	c cleaning 137992 clauses out of 276055 with flag 67061335/9720353
574.99/571.54	c cleaning 139009 clauses out of 278061 with flag 68074910/9860351
584.87/581.42	c cleaning 139992 clauses out of 280052 with flag 69092045/10001351
595.10/591.57	c cleaning 140987 clauses out of 282061 with flag 70121069/10143352
605.28/601.76	c cleaning 142007 clauses out of 284074 with flag 71167987/10286352
615.36/611.88	c cleaning 142996 clauses out of 286067 with flag 72220412/10430352
626.04/622.51	c cleaning 143999 clauses out of 288072 with flag 73286807/10575353
636.78/633.12	c cleaning 144986 clauses out of 290072 with flag 74361078/10721352
647.15/643.55	c cleaning 146009 clauses out of 292085 with flag 75425734/10868351
657.64/654.10	c cleaning 147016 clauses out of 294076 with flag 76524823/11016351
668.11/664.58	c cleaning 147997 clauses out of 296061 with flag 77621881/11165352
678.79/675.27	c cleaning 149008 clauses out of 298063 with flag 78712402/11315351
690.04/686.40	c cleaning 150004 clauses out of 300055 with flag 79832908/11466351
700.73/697.15	c cleaning 150989 clauses out of 302051 with flag 80942793/11618351
711.90/708.33	c cleaning 152012 clauses out of 304063 with flag 82082972/11771352
722.98/719.48	c cleaning 152988 clauses out of 306050 with flag 83208867/11925351
734.67/731.18	c cleaning 154014 clauses out of 308064 with flag 84368557/12080353
746.85/743.17	c cleaning 155003 clauses out of 310050 with flag 85525405/12236353
758.41/754.78	c cleaning 156000 clauses out of 312046 with flag 86700731/12393352
770.49/766.80	c cleaning 156985 clauses out of 314045 with flag 87895941/12551351
782.36/778.78	c cleaning 157998 clauses out of 316062 with flag 89077066/12710353
796.14/792.42	c cleaning 158998 clauses out of 318063 with flag 90271319/12870352
808.12/804.43	c cleaning 160008 clauses out of 320064 with flag 91474777/13031351
820.09/816.47	c cleaning 160997 clauses out of 322056 with flag 92714440/13193351
832.26/828.63	c cleaning 162003 clauses out of 324060 with flag 93925632/13356352
845.16/841.50	c cleaning 162993 clauses out of 326056 with flag 95162462/13520351
857.92/854.28	c cleaning 164006 clauses out of 328063 with flag 96396653/13685351
870.71/867.09	c cleaning 164995 clauses out of 330057 with flag 97643970/13851351
883.69/880.09	c cleaning 165990 clauses out of 332062 with flag 98899163/14018351
897.41/893.61	c cleaning 167011 clauses out of 334073 with flag 100174303/14186352
910.68/906.94	c cleaning 167984 clauses out of 336062 with flag 101454179/14355352
924.06/920.36	c cleaning 169008 clauses out of 338078 with flag 102724585/14525352
937.33/933.63	c cleaning 170006 clauses out of 340069 with flag 104008560/14696351
952.12/947.65	c cleaning 171004 clauses out of 342063 with flag 105297497/14868351
966.09/961.64	c cleaning 171990 clauses out of 344059 with flag 106609309/15041351
980.05/975.67	c cleaning 173007 clauses out of 346072 with flag 107920595/15215354
994.03/989.64	c cleaning 173998 clauses out of 348063 with flag 109238870/15390352
1007.91/1003.47	c cleaning 175003 clauses out of 350066 with flag 110548000/15566353
1021.99/1017.55	c cleaning 175994 clauses out of 352063 with flag 111871785/15743353
1035.96/1031.58	c cleaning 177006 clauses out of 354069 with flag 113204778/15921353
1051.76/1047.29	c cleaning 177994 clauses out of 356061 with flag 114570458/16100351
1066.65/1062.12	c cleaning 178999 clauses out of 358068 with flag 115933222/16280352
1081.41/1076.95	c cleaning 180019 clauses out of 360068 with flag 117324097/16461351
1096.18/1091.72	c cleaning 181013 clauses out of 362049 with flag 118686911/16643351
1111.30/1106.84	c cleaning 181988 clauses out of 364036 with flag 120080583/16826351
1126.59/1122.18	c cleaning 183008 clauses out of 366050 with flag 121485413/17010353
1141.74/1137.36	c cleaning 183992 clauses out of 368042 with flag 122913253/17195353
1157.12/1152.79	c cleaning 184990 clauses out of 370048 with flag 124320768/17381351
1172.85/1168.37	c cleaning 186005 clauses out of 372058 with flag 125762755/17568351
1188.54/1184.02	c cleaning 186998 clauses out of 374054 with flag 127196789/17756352
1203.89/1199.48	c cleaning 187992 clauses out of 376055 with flag 128646923/17945351
1220.00/1215.40	c cleaning 188992 clauses out of 378063 with flag 130098463/18135351
1235.97/1231.48	c cleaning 190012 clauses out of 380071 with flag 131565254/18326351
1252.24/1247.75	c cleaning 190989 clauses out of 382060 with flag 133031952/18518352
1269.45/1264.84	c cleaning 192001 clauses out of 384070 with flag 134497336/18711351
1285.53/1280.84	c cleaning 192992 clauses out of 386071 with flag 135981548/18905353
1302.20/1297.51	c cleaning 194012 clauses out of 388077 with flag 137502021/19100351
1318.92/1314.26	c cleaning 195004 clauses out of 390065 with flag 139014688/19296351
1335.38/1330.74	c cleaning 195991 clauses out of 392062 with flag 140512004/19493352
1351.85/1347.24	c cleaning 197002 clauses out of 394072 with flag 142015873/19691353
1369.72/1364.96	c cleaning 198001 clauses out of 396070 with flag 143550383/19890353
1387.48/1382.69	c cleaning 199005 clauses out of 398067 with flag 145105736/20090351
1404.55/1399.79	c cleaning 199986 clauses out of 400064 with flag 146670387/20291353
1423.85/1418.99	c cleaning 201016 clauses out of 402078 with flag 148234177/20493353
1441.71/1436.82	c cleaning 202001 clauses out of 404060 with flag 149805760/20696351
1459.58/1454.78	c cleaning 202999 clauses out of 406059 with flag 151399150/20900351
1479.59/1473.65	c cleaning 203993 clauses out of 408060 with flag 153004137/21105351
1498.35/1492.32	c cleaning 205005 clauses out of 410069 with flag 154615815/21311353
1518.01/1512.00	c cleaning 206002 clauses out of 412063 with flag 156211719/21518352
1538.20/1532.06	c cleaning 206995 clauses out of 414061 with flag 157831836/21726352
1556.84/1550.72	c cleaning 208002 clauses out of 416066 with flag 159456998/21935352
1575.33/1569.21	c cleaning 209003 clauses out of 418064 with flag 161090274/22145352
1593.69/1587.53	c cleaning 209992 clauses out of 420060 with flag 162734089/22356351
1612.80/1606.52	c cleaning 211006 clauses out of 422069 with flag 164396949/22568352
1633.39/1627.04	c cleaning 212011 clauses out of 424065 with flag 166066295/22781354
1653.06/1646.68	c cleaning 212998 clauses out of 426052 with flag 167748059/22995352
1672.23/1665.87	c cleaning 214006 clauses out of 428056 with flag 169443633/23210354
1691.45/1685.07	c cleaning 214995 clauses out of 430047 with flag 171116448/23426351
1711.09/1704.78	c cleaning 215994 clauses out of 432055 with flag 172811368/23643354
1731.31/1724.93	c cleaning 217013 clauses out of 434059 with flag 174509602/23861352
1751.16/1744.85	c cleaning 217987 clauses out of 436045 with flag 176243490/24080351
1771.30/1764.81	c cleaning 218991 clauses out of 438058 with flag 177968226/24300351
1791.58/1785.13	c cleaning 220002 clauses out of 440067 with flag 179680183/24521351
1812.28/1805.72	c cleaning 221012 clauses out of 442065 with flag 181440486/24743351
1832.72/1826.24	c cleaning 221988 clauses out of 444053 with flag 183222169/24966351
1854.44/1847.84	c cleaning 223016 clauses out of 446065 with flag 184966488/25190351
1875.64/1868.98	c cleaning 223990 clauses out of 448050 with flag 186744200/25415352
1896.21/1889.56	c cleaning 225006 clauses out of 450060 with flag 188509857/25641352
1919.02/1912.32	c cleaning 226003 clauses out of 452053 with flag 190306080/25868351
1940.28/1933.64	c cleaning 226988 clauses out of 454052 with flag 192102627/26096353
1962.58/1955.86	c cleaning 228007 clauses out of 456063 with flag 193914579/26325352
1985.42/1977.71	c cleaning 228997 clauses out of 458055 with flag 195701093/26555351
2006.49/1998.84	c cleaning 230003 clauses out of 460059 with flag 197519470/26786352
2028.17/2020.58	c cleaning 230989 clauses out of 462056 with flag 199362613/27018352
2050.23/2042.64	c cleaning 231999 clauses out of 464066 with flag 201197767/27251351
2072.59/2065.09	c cleaning 233034 clauses out of 466068 with flag 203049175/27485352
2095.26/2087.63	c cleaning 233979 clauses out of 468034 with flag 204915339/27720352
2117.73/2110.05	c cleaning 234994 clauses out of 470054 with flag 206801103/27956351
2140.37/2132.74	c cleaning 236006 clauses out of 472061 with flag 208691236/28193352
2163.69/2156.07	c cleaning 236997 clauses out of 474055 with flag 210577674/28431352
2186.94/2179.34	c cleaning 237998 clauses out of 476059 with flag 212501516/28670353
2210.21/2202.68	c cleaning 238990 clauses out of 478060 with flag 214425444/28910352
2234.54/2226.93	c cleaning 240016 clauses out of 480072 with flag 216329509/29151354
2258.82/2251.20	c cleaning 241008 clauses out of 482055 with flag 218271200/29393353
2282.58/2275.09	c cleaning 241983 clauses out of 484046 with flag 220231613/29636352
2306.78/2299.12	c cleaning 242992 clauses out of 486063 with flag 222160460/29880352
2331.34/2323.62	c cleaning 244002 clauses out of 488070 with flag 224123461/30125351
2354.87/2347.16	c cleaning 244980 clauses out of 490068 with flag 226122841/30371351
2380.56/2372.72	c cleaning 245992 clauses out of 492089 with flag 228097775/30618352
2405.52/2397.60	c cleaning 247022 clauses out of 494097 with flag 230084066/30866352
2430.12/2422.23	c cleaning 248004 clauses out of 496074 with flag 232079742/31115351
2454.31/2446.49	c cleaning 249022 clauses out of 498071 with flag 234112400/31365352
2479.50/2471.57	c cleaning 250003 clauses out of 500048 with flag 236121353/31616351
2505.65/2497.59	c cleaning 250988 clauses out of 502045 with flag 238188569/31868351
2532.39/2524.15	c cleaning 251987 clauses out of 504058 with flag 240240029/32121352
2557.97/2549.60	c cleaning 253017 clauses out of 506070 with flag 242253077/32375351
2584.27/2575.82	c cleaning 254027 clauses out of 508053 with flag 244305695/32630351
2610.82/2602.47	c cleaning 254976 clauses out of 510027 with flag 246392508/32886352
2636.61/2628.22	c cleaning 255991 clauses out of 512052 with flag 248469911/33143353
2663.07/2654.71	c cleaning 256983 clauses out of 514060 with flag 250558309/33401352
2690.29/2681.81	c cleaning 258018 clauses out of 516077 with flag 252663908/33660352
2716.64/2708.29	c cleaning 259005 clauses out of 518058 with flag 254758912/33920351
2743.96/2734.91	c cleaning 260001 clauses out of 520055 with flag 256863459/34181353
2770.79/2761.89	c cleaning 260994 clauses out of 522054 with flag 258978877/34443353
2798.53/2789.60	c cleaning 262000 clauses out of 524058 with flag 261122796/34706351
2825.65/2816.76	c cleaning 262990 clauses out of 526058 with flag 263296352/34970351
2853.10/2844.24	c cleaning 264004 clauses out of 528068 with flag 265461930/35235351
2880.59/2871.63	c cleaning 264998 clauses out of 530066 with flag 267622894/35501353
2907.74/2898.85	c cleaning 266001 clauses out of 532066 with flag 269810589/35768351
2935.39/2926.46	c cleaning 267007 clauses out of 534065 with flag 271996758/36036351
2963.23/2954.33	c cleaning 268010 clauses out of 536059 with flag 274192550/36305352
2991.76/2982.99	c cleaning 268996 clauses out of 538052 with flag 276401407/36575355
3020.48/3011.67	c cleaning 269984 clauses out of 540052 with flag 278639219/36846351
3048.84/3040.03	c cleaning 271007 clauses out of 542068 with flag 280854017/37118351
3077.18/3068.43	c cleaning 272005 clauses out of 544061 with flag 283090899/37391351
3106.03/3097.34	c cleaning 273004 clauses out of 546056 with flag 285321239/37665351
3136.96/3128.27	c cleaning 274003 clauses out of 548053 with flag 287572182/37940352
3165.61/3156.96	c cleaning 274987 clauses out of 550049 with flag 289845422/38216351
3195.35/3186.74	c cleaning 276010 clauses out of 552062 with flag 292117775/38493351
3225.64/3216.81	c cleaning 277000 clauses out of 554052 with flag 294407723/38771351
3255.59/3246.71	c cleaning 277997 clauses out of 556054 with flag 296701910/39050353
3285.22/3276.41	c cleaning 279001 clauses out of 558056 with flag 298998709/39330352
3315.77/3307.07	c cleaning 279999 clauses out of 560055 with flag 301311265/39611352
3347.89/3339.02	c cleaning 280996 clauses out of 562057 with flag 303646325/39893353
3378.99/3370.12	c cleaning 281999 clauses out of 564059 with flag 305977940/40176351
3411.75/3402.70	c cleaning 282998 clauses out of 566060 with flag 308309911/40460351
3444.50/3435.44	c cleaning 284003 clauses out of 568063 with flag 310675391/40745352
3476.41/3467.30	c cleaning 284999 clauses out of 570060 with flag 313048329/41031352
3508.51/3499.47	c cleaning 286010 clauses out of 572061 with flag 315428211/41318352
3541.67/3532.50	c cleaning 286981 clauses out of 574050 with flag 317799488/41606351
3573.78/3564.50	c cleaning 288018 clauses out of 576070 with flag 320208858/41895352
3600.08/3590.73	c starts		: 199774
3600.08/3590.74	c conflicts		: 42153195
3600.08/3590.74	c decisions		: 173365694
3600.08/3590.74	c propagations		: 1722282424
3600.08/3590.74	c inspects		: 43982681648
3600.08/3590.74	c shortcuts		: 0
3600.08/3590.74	c learnt literals	: 0
3600.08/3590.74	c learnt binary clauses	: 0
3600.08/3590.74	c learnt ternary clauses	: 0
3600.08/3590.75	c learnt constraints	: 42153195
3600.08/3590.75	c ignored constraints	: 0
3600.08/3590.75	c root simplifications	: 0
3600.08/3590.75	c removed literals (reason simplification)	: 41727431
3600.08/3590.75	c reason swapping (by a shorter reason)	: 0
3600.08/3590.75	c Calls to reduceDB	: 285
3600.08/3590.75	c Number of update (reduction) of LBD	: 12377310
3600.08/3590.75	c Imported unit clauses	: 0
3600.08/3590.75	c No decision after first conflict	: false
3600.08/3590.75	c number of reductions to clauses (during analyze)	: 0
3600.08/3590.75	c number of learned constraints concerned by reduction	: 0
3600.08/3590.75	c number of learning phase by resolution	: 0
3600.08/3590.75	c number of learning phase by cutting planes	: 0
3600.08/3590.75	c number of rounding to 1 operations	: 0
3600.08/3590.75	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3590.75	c number of reductions of the coefficients by power 2 	: 0
3600.08/3590.76	c number of right shift for reduction by power 2 	: 0
3600.08/3590.76	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3590.76	c number of ending skipping 	: 0
3600.08/3590.76	c number of internal skipping 	: 0
3600.08/3590.76	c number of derivation steps 	: 0
3600.08/3590.76	c number of skipped derivation steps 	: 0
3600.08/3590.76	c number of remaining unassigned 	: 0
3600.08/3590.76	c number of remaining assigned 	: 0
3600.08/3590.76	c number of falsified literals weakened from reason	: 0
3600.08/3590.76	c number of falsified literals weakened from conflict	: 0
3600.08/3590.76	c time for arithmetic operations	: 0
3600.08/3590.77	c minimum degree of deleted constraints	: null
3600.08/3590.77	c maximum degree of deleted constraints	: null
3600.08/3590.77	c number of deleted constraints	: 0
3600.08/3590.78	c speed (assignments/second)	: 479719.55324877315
3600.08/3590.78	c non guided choices	: 2486773
3600.48/3590.92	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 545895
3600.48/3590.92	s SATISFIABLE
3600.48/3590.92	c Found 1 solution(s)
3600.48/3590.94	v x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 x16 x17 x18 x19 x20 -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 x29 x30 x31 x32 -x33 -x34 -x35 x36 -x37 -x38 x39 x40 x41 -x42 -x43 x44 -x45 -x46 x47 x48 -x49 -x50 x51 -x52 x53 x54 -x55 -x56 -x57 x58 x59 x60 x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 x76 x77 x78 -x79 x80 -x81 -x82 x83 x84 -x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 x94 x95 -x96 -x97 x98 x99 x100 -x101 -x102 -x103 x104 x105 x106 -x107 x108 x109 x110 -x111 -x112 -x113 x114 -x115 x116 -x117 x118 -x119 -x120 x121 x122 x123 -x124 x125 -x126 -x127 -x128 x129 x130 -x131 -x132 x133 x134 x135 -x136 -x137 x138 -x139 x140 x141 -x142 -x143 x144 -x145 x146 x147 -x148 x149 x150 -x151 x152 -x153 -x154 -x155 x156 x157 x158 -x159 x160 x161 x162 -x163 -x164 -x165 x166 x167 x168 -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 x178 x179 -x180 -x181 x182 x183 x184 -x185 x186 -x187 -x188 -x189 x190 x191 -x192 -x193 -x194 x195 x196 x197 -x198 -x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 x210 x211 -x212 x213 -x214 -x215 x216 x217 -x218 x219 -x220 x221 x222 -x223 -x224 x225 -x226 x227 x228 -x229 -x230 -x231 x232 x233 -x234 -x235 x236 x237 x238 -x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 -x259 -x260 x261 x262 x263 -x264 -x265 x266 x267 x268 -x269 x270 -x271 -x272 x273 x274 -x275 -x276 x277 x278 x279 -x280 -x281 -x282 x283 x284 x285 -x286 -x287 x288 x289 x290 -x291 x292 -x293 x294 x295 -x296 x297 x298 -x299 x300 -x301 -x302 x303 -x304 x305 x306 x307 -x308 -x309 x310 x311 -x312 x313 x314 x315 -x316 -x317 x318 x319 x320 -x321 -x322 -x323 x324 x325 x326 x327 x328 x329 -x330 -x331 -x332 -x333 x334 x335 x336 -x337 -x338 x339 x340 x341 -x342 -x343 x344 -x345 x346 -x347 -x348 x349 x350 x351 -x352 -x353 -x354 x355 x356 x357 x358 -x359 x360 x361 -x362 x363 x364 -x365 x366 x367 -x368 x369 -x370 x371 x372 x373 -x374 -x375 -x376 -x377 -x378 x379 x380 x381 -x382 -x383 x384 x385 -x386 x387 x388 -x389 x390 -x391 -x392 x393 x394 -x395 -x396 x397 x398 -x399 -x400 x401 x402 x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 x413 -x414 x415 x416 -x417 x418 -x419 -x420 x421 -x422 x423 x424 x425 -x426 x427 x428 -x429 -x430 -x431 -x432 x433 x434 -x435 -x436 x437 -x438 x439 x440 -x441 x442 x443 x444 -x445 -x446 x447 x448 x449 -x450 x451 -x452 -x453 x454 x455 -x456 -x457 x458 x459 x460 -x461 x462 -x463 x464 -x465 -x466 x467 x468 x469 x470 -x471 -x472 x473 x474 x475 -x476 x477 -x478 x479 -x480 x481 x482 -x483 -x484 x485 x486 x487 x488 x489 -x490 x491 x492 x493 x494 -x495 x496 x497 x498 -x499 -x500 -x501 x502 x503 x504 -x505 x506 x507 x508 -x509 -x510 x511 x512 x513 -x514 x515 -x516 x517 x518 -x519 -x520 -x521 x522 x523 x524 x525 -x526 x527 x528 -x529 -x530 x531 x532 x533 -x534 -x535 -x536 x537 x538 -x539 x540 x541 x542 x543 x544 -x545 x546 x547 -x548 x549 -x550 x551 x552 -x553 x554 x555 -x556 x557 -x558 x559 x560 x561 -x562 -x563 -x564 x565 x566 x567 x568 -x569 x570 x571 x572 x573 x574 -x575 -x576 -x577 x578 x579 x580 -x581 -x582 x583 x584 -x585 x586 x587 -x588 x589 x590 -x591 x592 x593 x594 -x595 x596 x597 -x598 x599 x600 x601 -x602 -x603 x604 -x605 x606 -x607 -x608 x609 x610 -x611 x612 x613 x614 -x615 -x616 x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 -x626 -x627 x628 x629 -x630 x631 x632 -x633 -x634 -x635 x636 x637 -x638 x639 x640 -x641 x642 -x643 x644 x645 -x646 -x647 x648 x649 x650 x651 -x652 -x653 x654 x655 -x656 x657 x658 x659 -x660 x661 x662 x663 x664 x665 x666 -x667 x668 x669 x670 -x671 x672 -x673 -x674 x675 x676 x677 -x678 -x679 x680 x681 x682 -x683 -x684 -x685 x686 x687 x688 -x689 x690 -x691 x692 x693 -x694 x695 x696 -x697 x698 -x699 -x700 x701 -x702 x703 -x704 x705 x706 x707 -x708 x709 x710 -x711 x712 x713 x714 -x715 x716 -x717 x718 x719 -x720 x721 x722 -x723 -x724 x725 -x726 x727 x728 x729 x730 -x731 x732 x733 -x734 x735 x736 x737 x738 -x739 x740 x741 x742 x743 x744 -x745 x746 -x747 x748 -x749 x750 x751 x752 x753 -x754 x755 -x756 x757 -x758 x759 -x760 -x761 x762 x763 x764 x765 x766 -x767 x768 x769 x770 -x771 -x772 x773 x774 x775 -x776 x777 -x778 x779 x780 -x781 x782 x783 x784 -x785 -x786 x787 x788 x789 -x790 x791 x792 x793 x794 x795 x796 x797 -x798 x799 -x800 x801 x802 x803 x804 x805 x806 -x807 x808 x809 x810 x811 x812 -x813 -x814 x815 x816 -x817 -x818 -x819 -x820 -x821 x822 x823 -x824 -x825 -x826 x827 x828 x829 x830 -x831 -x832 x833 x834 x835 x836 x837 -x838 x839 -x840 -x841 x842 -x843 x844 -x845 x846 x847 -x848 -x849 -x850 x851 -x852 x853 x854 -x855 x856 x857 -x858 x859 -x860 x861 -x862 x863 -x864 x865 -x866 x867 x868 -x869 -x870 x871 x872 x873 -x874 x875 -x876 x877 -x878 -x879 -x880 x881 x882 -x883 x884 -x885 -x886 x887 x888 -x889 x890 x891 -x892 -x893 -x894 -x895 x896 -x897 x898 x899 x900 -x901 -x902 x903 -x904 x905 x906 -x907 -x908 x909 -x910 -x911 x912 x913 -x914 x915 x916 -x917 -x918 x919 -x920 -x921 x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 x933 -x934 x935 x936 -x937 x938 x939 x940 -x941 x942 -x943 x944 x945 x946 -x947 -x948 x949 x950 x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 x965 x966 -x967 -x968 -x969 -x970 x971 x972 -x973 x974 -x975 x976 x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 x988 -x989 x990 x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 x1009 x1010 x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 x1062 -x1063 -x1064 x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 x1078 -x1079 x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 x1098 x1099 -x1100 x1101 x1102 x1103 x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 x1113 x1114 -x1115 x1116 -x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 
3600.48/3590.94	c objective function=1
3600.48/3590.94	c Total wall clock time (in seconds): 3590.559

Verifier Data 

OK	1

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62712 MiB free)
  memory of node 1: 64507 MiB (63073 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=79347, runsolver pid=79339
Current StackSize limit: 8192 KiB


[startup+0.100074 s]*
/proc/loadavg: 3.07 3.95 4.10 13/311 79417
/proc/meminfo: memFree=128753440/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=18930200 memory=45196 CPUtime=0.08 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 5331 0 116 0 4 4 0 0 20 0 18 0 70883692 19384524800 11299 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4732550 11299 4866 1 0 546664 0
[pid=79347/tid=79358] ppid=79339 vsize=18930200 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 4483 0 99 0 3 2 0 0 20 0 18 0 70883696 19384524800 11299 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=18930200 memory=1593 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883701 19384524800 11299 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=18930200 memory=60693105869820 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883703 19384524800 11299 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930200 KiB
Current children cumulated memory: 45196 KiB

[startup+0.217216 s]*
/proc/loadavg: 3.07 3.95 4.10 10/319 79425
/proc/meminfo: memFree=128730772/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=18930384 memory=51700 CPUtime=0.25 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 6041 0 116 0 20 5 0 0 20 0 18 0 70883692 19384713216 12925 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4732596 12925 5314 1 0 547213 0
[pid=79347/tid=79358] ppid=79339 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 4902 0 99 0 12 3 0 0 20 0 18 0 70883696 19384713216 12925 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883701 19384713216 12925 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883703 19384713216 12925 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51700 KiB

[startup+0.313284 s]*
/proc/loadavg: 3.07 3.95 4.10 9/319 79425
/proc/meminfo: memFree=128715208/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=18930384 memory=57800 CPUtime=0.4 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 6571 0 116 0 34 6 0 0 20 0 18 0 70883692 19384713216 14450 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4732596 14450 5314 1 0 547662 0
[pid=79347/tid=79358] ppid=79339 vsize=18930384 memory=-6000919502788191080 CPUtime=0.24 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 5061 0 99 0 20 4 0 0 20 0 18 0 70883696 19384713216 14482 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883701 19384713216 14482 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883703 19384713216 14482 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57800 KiB

[startup+0.700354 s]
/proc/loadavg: 3.07 3.95 4.10 13/320 79426
/proc/meminfo: memFree=128656920/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=18996948 memory=75548 CPUtime=1.09 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 7493 0 116 0 101 8 0 0 20 0 19 0 70883692 19452874752 18887 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4749237 18887 5442 1 0 548391 0
[pid=79347/tid=79358] ppid=79339 vsize=18996948 memory=18560 CPUtime=0.51 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 5319 0 99 0 46 5 0 0 20 0 19 0 70883696 19452874752 18887 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 18887 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883703 19452874752 18887 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75548 KiB

[startup+1.50027 s]
/proc/loadavg: 3.07 3.95 4.10 10/323 79429
/proc/meminfo: memFree=128616976/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=18996948 memory=100184 CPUtime=2.67 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 21301 0 116 0 256 11 0 0 20 0 19 0 70883692 19452874752 25046 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4749237 25046 5474 1 0 552890 0
[pid=79347/tid=79358] ppid=79339 vsize=18996948 memory=3200 CPUtime=1.26 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 6157 0 99 0 121 5 0 0 20 0 19 0 70883696 19452874752 25046 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 25046 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883703 19452874752 25046 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=18996948 memory=14720 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70883751 19452874752 25046 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100184 KiB

[startup+3.10573 s]
/proc/loadavg: 3.07 3.95 4.10 6/323 79429
/proc/meminfo: memFree=128393272/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=18996948 memory=143052 CPUtime=5.01 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 22564 0 116 0 488 13 0 0 20 0 19 0 70883692 19452874752 35763 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4749237 35763 5474 1 0 553212 0
[pid=79347/tid=79358] ppid=79339 vsize=18996948 memory=14720 CPUtime=2.84 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 6650 0 99 0 278 6 0 0 20 0 19 0 70883696 19452874752 35763 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 35763 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883703 19452874752 35763 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70883751 19452874752 35763 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143052 KiB

[startup+6.31061 s]
/proc/loadavg: 3.14 3.96 4.10 7/326 79432
/proc/meminfo: memFree=128249560/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=179540 CPUtime=8.24 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 23793 0 116 0 810 14 0 0 20 0 20 0 70883692 19521036288 44885 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 44885 5506 1 0 553502 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=0 CPUtime=5.98 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 6702 0 99 0 591 7 0 0 20 0 20 0 70883696 19521036288 44885 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 44885 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 44885 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=102592 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 44885 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 8.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179540 KiB

[startup+12.7004 s]
/proc/loadavg: 3.21 3.96 4.10 6/327 79433
/proc/meminfo: memFree=128058256/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=218624 CPUtime=14.74 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 25476 0 116 0 1458 16 0 0 20 0 20 0 70883692 19521036288 54656 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 54656 5506 1 0 553502 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=102592 CPUtime=12.17 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 7228 0 99 0 1210 7 0 0 20 0 20 0 70883696 19521036288 54656 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=218624 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 54656 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 54656 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 54656 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 14.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 218624 KiB

[startup+25.5005 s]
/proc/loadavg: 3.47 3.98 4.10 6/327 79434
/proc/meminfo: memFree=127361220/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=351908 CPUtime=27.54 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 27848 0 116 0 2734 20 0 0 20 0 20 0 70883692 19521036288 87977 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 87977 5506 1 0 553502 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=218624 CPUtime=24.48 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 8259 0 99 0 2441 7 0 0 20 0 20 0 70883696 19521036288 87977 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 87977 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 87977 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=351908 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 87977 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 27.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 351908 KiB

[startup+51.1095 s]
/proc/loadavg: 3.65 3.98 4.10 6/327 79434
/proc/meminfo: memFree=126159968/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=777272 CPUtime=53.35 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 29006 0 116 0 5304 31 0 0 20 0 20 0 70883692 19521036288 194318 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 194318 5506 1 0 691355 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=721976 CPUtime=49.56 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 8340 0 99 0 4947 9 0 0 20 0 20 0 70883696 19521036288 194318 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=218624 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 194318 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 194318 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=680928 CPUtime=0 cores=4,6

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

Current children cumulated memory: 3891092 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.17 6/326 79601
/proc/meminfo: memFree=113448544/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3351.17 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 149860 0 116 0 334860 257 0 0 20 0 20 0 70883692 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 972773 5506 1 0 987461 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=14720 CPUtime=3318.55 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 80531 0 99 0 331815 40 0 0 20 0 20 0 70883696 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 1185 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=-6000919468445229928 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 3351.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3891092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 6/326 79603
/proc/meminfo: memFree=113346024/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3411.35 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 150093 0 116 0 340875 260 0 0 20 0 20 0 70883692 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 972773 5506 1 0 987461 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3378 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 80561 0 99 0 337760 40 0 0 20 0 20 0 70883696 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=-6000919468445229928 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 1192 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 3411.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3891092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.15 6/325 79606
/proc/meminfo: memFree=113347080/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3471.42 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 150319 0 116 0 346880 262 0 0 20 0 20 0 70883692 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 972773 5506 1 0 987461 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3437.57 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 80678 0 99 0 343717 40 0 0 20 0 20 0 70883696 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=-6000919468445229928 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 1192 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 3471.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3891092 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.15 6/325 79608
/proc/meminfo: memFree=113346784/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3531.48 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 152001 0 116 0 352884 264 0 0 20 0 20 0 70883692 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 972773 5506 1 0 987461 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3497.19 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 81585 0 99 0 349679 40 0 0 20 0 20 0 70883696 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 1192 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=-6000919468445229928 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 3531.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3891092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.15 4.16 6/325 79610
/proc/meminfo: memFree=113346152/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3591.55 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 153757 0 116 0 358888 267 0 0 20 0 20 0 70883692 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 972773 5506 1 0 987461 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=-4050210904893799825 CPUtime=3556.8 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 82553 0 99 0 355640 40 0 0 20 0 20 0 70883696 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 1229 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 3591.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3891092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3590.7 s]
/proc/loadavg: 4.28 4.16 4.16 8/325 79680
/proc/meminfo: memFree=119608868/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19063512 memory=3891092 CPUtime=3600.08 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 153836 0 116 0 359741 267 0 0 20 0 20 0 70883692 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4765878 972773 5506 1 0 987461 0
[pid=79347/tid=79358] ppid=79339 vsize=19063512 memory=3200 CPUtime=3565.01 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 82553 0 99 0 356461 40 0 0 20 0 20 0 70883696 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 1229 0 0 0 0 0 0 0 20 0 20 0 70883703 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79428] ppid=79339 vsize=19063512 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79428/stat : 79428 (Timer-0) S 79339 79347 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883751 19521036288 972773 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3891092 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.87 s, system=2.72287 s

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

[startup+3590.8 s]
/proc/loadavg: 4.28 4.16 4.16 8/325 79680
/proc/meminfo: memFree=119608868/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19263204 memory=3891988 CPUtime=3600.29 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 155936 0 116 0 359760 269 0 0 20 0 21 0 70883692 19725520896 972997 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4815801 972997 5538 1 0 988392 0
[pid=79347/tid=79358] ppid=79339 vsize=19263204 memory=-6000919485591348072 CPUtime=3565.09 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 82842 0 99 0 356469 40 0 0 20 0 21 0 70883696 19725520896 972997 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19263204 memory=-6000919468445229928 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 70883701 19725520896 972997 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19263204 memory=84824 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 1229 0 0 0 0 0 0 0 20 0 21 0 70883703 19725520896 972997 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3891988 KiB

[startup+3590.9 s]
/proc/loadavg: 4.28 4.16 4.16 8/325 79680
/proc/meminfo: memFree=119608868/131382112 swapFree=33009904/33010684
[pid=79347] ppid=79339 vsize=19263204 memory=3891988 CPUtime=3600.48 cores=4,6
/proc/79347/stat : 79347 (java) S 79339 79347 79288 0 -1 4194304 155941 0 116 0 359779 269 0 0 20 0 21 0 70883692 19725520896 972997 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
/proc/79347/statm: 4815801 972997 5538 1 0 988408 0
[pid=79347/tid=79358] ppid=79339 vsize=19263204 memory=3200 CPUtime=3565.19 cores=4,6
/proc/79347/task/79358/stat : 79358 (java) R 79339 79347 79288 0 -1 4194368 82842 0 99 0 356479 40 0 0 20 0 21 0 70883696 19725520896 972997 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79395] ppid=79339 vsize=19263204 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79395/stat : 79395 (Finalizer) S 79339 79347 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 70883701 19725520896 972997 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
[pid=79347/tid=79425] ppid=79339 vsize=19263204 memory=3891092 CPUtime=0 cores=4,6
/proc/79347/task/79425/stat : 79425 (Common-Cleaner) S 79339 79347 79288 0 -1 4194368 1229 0 0 0 0 0 0 0 20 0 21 0 70883703 19725520896 972997 18446744073709551615 94383243423744 94383243427440 140726072288384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94383243435256 94383243436048 94383259795456 140726072293761 140726072293862 140726072293862 140726072299464 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3891988 KiB

Child status: 143

Real time (s): 3590.99
CPU time (s): 3600.59
CPU user time (s): 3597.87
CPU system time (s): 2.72287
CPU usage (%): 100.267
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3891988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.87
system time used= 2.72287
maximum resident set size= 3892116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156280
page faults= 116
swaps= 0
block input operations= 0
block output operations= 3984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110219
involuntary context switches= 4598


# summary of solver processes directly reported to runsolver:
#   pid: 79347
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3597.87
#   total CPU system time (s): 2.72287

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6342 second user time and 37.612 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= c2769aec5501f1fd7f55f6e1394c15e3
RANDOM SEED=488727636

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128806860 kB
MemAvailable:   129899952 kB
Buffers:            1668 kB
Cached:          1878584 kB
SwapCached:          128 kB
Active:           307060 kB
Inactive:        1640936 kB
Active(anon):      57252 kB
Inactive(anon):    28268 kB
Active(file):     249808 kB
Inactive(file):  1612668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1628 kB
Writeback:             0 kB
AnonPages:         70672 kB
Mapped:           102984 kB
Shmem:             17776 kB
KReclaimable:     140100 kB
Slab:             224868 kB
SReclaimable:     140100 kB
SUnreclaim:        84768 kB
KernelStack:        3732 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     341580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

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