Trace number 4486662

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)207 3600.62 3594.83

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
MD5SUM0ec52d363b7c61cdd5525674056021d1
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 benchmark207
Best CPU time to get the best result obtained on this benchmark1.5157
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables498
Total number of constraints2431
Number of constraints which are clauses2431
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 498
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 498
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 498
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2104792832
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.31/0.31	c Pseudo Boolean Optimization by upper bound
0.31/0.31	c --- Begin Solver configuration ---
0.31/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.31/0.31	c Learn all clauses as in MiniSAT
0.31/0.31	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.31	c Expensive reason simplification
0.31/0.31	c Glucose 2.1 dynamic restart strategy
0.31/0.31	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.31/0.31	c timeout=2147483s
0.31/0.31	c DB Simplification allowed=false
0.31/0.31	c Listener: none
0.31/0.31	c --- End Solver configuration ---
0.31/0.31	c solving HOME/instance-4486662-1751317642.opb
0.31/0.31	c reading problem ... 
0.31/0.31	c  objective function found
0.64/0.50	c ... done. Wall clock time 0.187s.
0.64/0.50	c declared #vars     498
0.64/0.50	c #constraints  2431
0.64/0.50	c constraints type 
0.64/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2169
0.64/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 262
0.64/0.50	c 2431 constraints processed.
0.82/0.53	c objective function length is 498 literals
0.82/0.58	c SATISFIABLE
0.82/0.58	c OPTIMIZING...
0.82/0.58	c Got one! Elapsed wall clock time (in seconds):0.27
0.82/0.58	o 247
0.82/0.60	c Got one! Elapsed wall clock time (in seconds):0.29
0.82/0.60	o 246
0.82/0.60	c Got one! Elapsed wall clock time (in seconds):0.295
0.82/0.60	o 243
0.82/0.61	c Got one! Elapsed wall clock time (in seconds):0.298
0.82/0.61	o 241
0.98/0.61	c Got one! Elapsed wall clock time (in seconds):0.304
0.98/0.61	o 240
0.98/0.62	c Got one! Elapsed wall clock time (in seconds):0.312
0.98/0.62	o 239
0.98/0.64	c Got one! Elapsed wall clock time (in seconds):0.329
0.98/0.64	o 238
0.98/0.66	c Got one! Elapsed wall clock time (in seconds):0.351
0.98/0.66	o 237
1.15/0.70	c Got one! Elapsed wall clock time (in seconds):0.389
1.15/0.70	o 236
1.15/0.79	c Got one! Elapsed wall clock time (in seconds):0.485
1.15/0.79	o 235
1.35/0.85	c Got one! Elapsed wall clock time (in seconds):0.541
1.35/0.85	o 234
1.35/0.87	c Got one! Elapsed wall clock time (in seconds):0.561
1.35/0.87	o 233
1.95/1.15	c Got one! Elapsed wall clock time (in seconds):0.839
1.95/1.15	o 232
2.14/1.20	c Got one! Elapsed wall clock time (in seconds):0.89
2.14/1.20	o 231
2.34/1.38	c Got one! Elapsed wall clock time (in seconds):1.077
2.34/1.38	o 230
2.74/1.58	c cleaning 3646 clauses out of 7297 with flag 5057/7297
3.15/1.83	c Got one! Elapsed wall clock time (in seconds):1.518
3.15/1.83	o 229
3.15/1.86	c Got one! Elapsed wall clock time (in seconds):1.554
3.15/1.86	o 228
3.27/1.93	c cleaning 4694 clauses out of 9405 with flag 2344/13051
3.27/1.96	c Got one! Elapsed wall clock time (in seconds):1.653
3.27/1.96	o 227
3.54/2.10	c Got one! Elapsed wall clock time (in seconds):1.797
3.54/2.10	o 226
3.74/2.30	c cleaning 5424 clauses out of 10847 with flag 6708/19187
4.17/2.67	c cleaning 5712 clauses out of 11424 with flag 20301/25188
4.68/3.14	c cleaning 6355 clauses out of 12710 with flag 36191/32186
5.59/4.06	c cleaning 7177 clauses out of 14355 with flag 54648/40186
5.77/4.26	c Got one! Elapsed wall clock time (in seconds):3.947
5.77/4.26	o 225
6.38/4.66	c cleaning 6312 clauses out of 12650 with flag 7910/45658
6.61/4.80	c Got one! Elapsed wall clock time (in seconds):4.494
6.61/4.80	o 224
7.10/5.30	c cleaning 5821 clauses out of 11665 with flag 10944/50985
7.50/5.75	c Got one! Elapsed wall clock time (in seconds):5.446
7.50/5.75	o 223
7.70/5.96	c Got one! Elapsed wall clock time (in seconds):5.654
7.70/5.96	o 222
7.99/6.20	c cleaning 8640 clauses out of 17296 with flag 7396/62437
8.39/6.63	c cleaning 7327 clauses out of 14662 with flag 22238/68443
8.50/6.77	c Got one! Elapsed wall clock time (in seconds):6.458
8.50/6.77	o 221
8.70/6.95	c cleaning 6415 clauses out of 12848 with flag 7327/73956
8.81/7.02	c Got one! Elapsed wall clock time (in seconds):6.711
8.81/7.02	o 220
9.00/7.29	c cleaning 5733 clauses out of 11483 with flag 9647/79006
9.40/7.68	c Got one! Elapsed wall clock time (in seconds):7.371
9.40/7.68	o 219
9.90/8.13	c cleaning 8221 clauses out of 16441 with flag 11461/89697
10.10/8.37	c Got one! Elapsed wall clock time (in seconds):8.066
10.10/8.37	o 218
10.30/8.53	c cleaning 6728 clauses out of 13464 with flag 4580/94941
10.50/8.79	c Got one! Elapsed wall clock time (in seconds):8.483
10.50/8.79	o 217
10.70/8.94	c cleaning 6193 clauses out of 12393 with flag 4668/100598
10.99/9.28	c Got one! Elapsed wall clock time (in seconds):8.977
10.99/9.28	o 216
11.09/9.36	c cleaning 6065 clauses out of 12138 with flag 2284/106536
11.59/9.83	c cleaning 6033 clauses out of 12073 with flag 16112/112536
12.16/10.32	c cleaning 6520 clauses out of 13041 with flag 33002/119537
12.32/10.42	c Got one! Elapsed wall clock time (in seconds):10.115
12.32/10.42	o 215
12.52/10.65	c cleaning 6191 clauses out of 12385 with flag 9807/125401
12.82/10.93	c cleaning 6094 clauses out of 12197 with flag 25008/131404
13.14/11.22	c cleaning 6546 clauses out of 13101 with flag 43196/138402
13.54/11.61	c cleaning 7265 clauses out of 14554 with flag 65676/146401
14.08/12.12	c cleaning 8145 clauses out of 16290 with flag 87521/155402
14.48/12.58	c cleaning 9064 clauses out of 18145 with flag 115565/165402
14.98/13.10	c cleaning 10042 clauses out of 20084 with flag 148338/176405
15.57/13.66	c Got one! Elapsed wall clock time (in seconds):13.355
15.57/13.66	o 214
15.96/14.00	c cleaning 13423 clauses out of 26846 with flag 12573/193209
15.96/14.01	c Got one! Elapsed wall clock time (in seconds):13.703
15.96/14.01	o 213
16.26/14.31	c cleaning 9261 clauses out of 18537 with flag 12072/198323
16.56/14.64	c cleaning 7635 clauses out of 15275 with flag 30983/204322
16.86/14.95	c cleaning 7316 clauses out of 14640 with flag 50934/211322
17.25/15.32	c cleaning 7659 clauses out of 15324 with flag 72941/219322
17.65/15.74	c cleaning 8330 clauses out of 16665 with flag 97417/228322
18.14/16.20	c cleaning 9163 clauses out of 18336 with flag 125126/238323
18.64/16.71	c cleaning 10087 clauses out of 20173 with flag 155446/249323
19.24/17.37	c cleaning 11042 clauses out of 22085 with flag 191161/261322
20.23/18.33	c cleaning 12020 clauses out of 24043 with flag 230926/274322
21.02/19.19	c cleaning 13002 clauses out of 26024 with flag 268511/288323
22.32/20.40	c Got one! Elapsed wall clock time (in seconds):20.096
22.32/20.40	o 212
22.82/20.90	c cleaning 13446 clauses out of 26914 with flag 10950/302215
23.22/21.37	c cleaning 9725 clauses out of 19467 with flag 24158/308214
23.72/21.84	c cleaning 8361 clauses out of 16742 with flag 39786/315214
24.21/22.36	c cleaning 8186 clauses out of 16381 with flag 58232/323214
24.81/22.95	c cleaning 8597 clauses out of 17195 with flag 77668/332214
25.51/23.60	c cleaning 9297 clauses out of 18598 with flag 99816/342214
26.21/24.34	c cleaning 10152 clauses out of 20308 with flag 124268/353221
27.11/25.24	c cleaning 11075 clauses out of 22149 with flag 150971/365214
28.21/26.30	c cleaning 12034 clauses out of 24078 with flag 180003/378218
29.22/27.37	c cleaning 13018 clauses out of 26040 with flag 210952/392214
30.52/28.60	c cleaning 14011 clauses out of 28022 with flag 244689/407214
31.72/29.89	c cleaning 15002 clauses out of 30012 with flag 280667/423215
33.12/31.29	c cleaning 16000 clauses out of 32011 with flag 318959/440216
36.16/34.38	c cleaning 17005 clauses out of 34009 with flag 359048/458214
38.03/36.29	c cleaning 17994 clauses out of 36004 with flag 401250/477214
39.72/37.98	c cleaning 19000 clauses out of 38011 with flag 445655/497215
41.51/39.78	c cleaning 20005 clauses out of 40010 with flag 491272/518214
43.70/41.91	c cleaning 21003 clauses out of 42006 with flag 539015/540215
45.81/44.05	c cleaning 22003 clauses out of 44005 with flag 589881/563217
47.91/46.18	c cleaning 22998 clauses out of 46000 with flag 643629/587215
50.50/48.72	c cleaning 24000 clauses out of 48004 with flag 699485/612217
52.91/51.19	c cleaning 24999 clauses out of 50001 with flag 756949/638214
55.80/54.09	c cleaning 26000 clauses out of 52004 with flag 817981/665216
58.38/56.64	c cleaning 26998 clauses out of 54002 with flag 878651/693214
61.29/59.55	c cleaning 28002 clauses out of 56004 with flag 941328/722214
64.48/62.79	c cleaning 29002 clauses out of 58003 with flag 1006909/752215
67.97/66.25	c cleaning 29996 clauses out of 60001 with flag 1075601/783215
71.36/69.62	c cleaning 31003 clauses out of 62005 with flag 1147280/815215
74.96/73.23	c cleaning 31998 clauses out of 64005 with flag 1220322/848218
79.05/77.34	c cleaning 32990 clauses out of 66003 with flag 1294761/882214
83.34/81.69	c cleaning 34003 clauses out of 68014 with flag 1371644/917215
87.74/86.04	c cleaning 34993 clauses out of 70011 with flag 1450718/953215
92.23/90.56	c cleaning 36004 clauses out of 72018 with flag 1532017/990215
96.92/95.23	c cleaning 36992 clauses out of 74014 with flag 1615944/1028215
102.11/100.42	c cleaning 38006 clauses out of 76021 with flag 1701761/1067214
106.94/105.26	c cleaning 39005 clauses out of 78016 with flag 1789073/1107215
112.75/111.02	c cleaning 40000 clauses out of 80010 with flag 1879413/1148214
118.84/117.13	c cleaning 41006 clauses out of 82011 with flag 1971907/1190215
124.91/123.28	c cleaning 41997 clauses out of 84006 with flag 2066551/1233216
131.44/129.75	c cleaning 43002 clauses out of 86008 with flag 2162319/1277215
137.85/136.14	c cleaning 43998 clauses out of 88006 with flag 2261085/1322215
144.63/142.91	c cleaning 45002 clauses out of 90008 with flag 2360658/1368215
151.73/150.08	c cleaning 46003 clauses out of 92006 with flag 2461934/1415215
158.95/157.21	c cleaning 47000 clauses out of 94002 with flag 2567231/1463214
166.54/164.86	c cleaning 47996 clauses out of 96006 with flag 2674431/1512218
174.74/173.10	c cleaning 49003 clauses out of 98006 with flag 2783328/1562214
181.61/179.98	c cleaning 49997 clauses out of 100003 with flag 2895485/1613214
188.85/187.18	c cleaning 51001 clauses out of 102006 with flag 3011638/1665214
197.24/194.88	c cleaning 52004 clauses out of 104007 with flag 3156120/1718216
206.71/203.90	c cleaning 53001 clauses out of 106001 with flag 3315344/1772214
212.27/209.49	c cleaning 53988 clauses out of 108000 with flag 3461515/1827214
213.77/211.00	c Got one! Elapsed wall clock time (in seconds):210.689
213.77/211.00	o 211
214.38/211.58	c cleaning 41449 clauses out of 82919 with flag 13781/1856121
214.68/211.88	c cleaning 23718 clauses out of 47466 with flag 28902/1862117
215.08/212.22	c cleaning 15357 clauses out of 30752 with flag 46103/1869121
215.48/212.62	c cleaning 11678 clauses out of 23390 with flag 65713/1877116
215.48/212.64	c Got one! Elapsed wall clock time (in seconds):212.33
215.48/212.64	o 210
215.68/212.86	c cleaning 8591 clauses out of 17199 with flag 14979/1882603
215.99/213.13	c cleaning 7297 clauses out of 14607 with flag 32677/1888602
216.28/213.43	c cleaning 7137 clauses out of 14310 with flag 51676/1895602
216.68/213.80	c cleaning 7584 clauses out of 15174 with flag 72337/1903603
217.08/214.24	c cleaning 8291 clauses out of 16591 with flag 94596/1912604
217.58/214.73	c cleaning 9154 clauses out of 18308 with flag 119492/1922612
218.18/215.30	c cleaning 10058 clauses out of 20144 with flag 147722/1933602
218.89/216.07	c cleaning 11043 clauses out of 22086 with flag 183530/1945602
220.51/217.53	c cleaning 12017 clauses out of 24044 with flag 223651/1958603
221.59/218.66	c cleaning 13013 clauses out of 26028 with flag 259150/1972604
222.98/220.02	c cleaning 14008 clauses out of 28016 with flag 304421/1987605
224.34/221.41	c cleaning 15002 clauses out of 30006 with flag 354153/2003603
225.33/222.49	c cleaning 15994 clauses out of 32004 with flag 400222/2020603
226.63/223.76	c cleaning 17004 clauses out of 34010 with flag 443996/2038603
227.94/225.05	c cleaning 17997 clauses out of 36005 with flag 489021/2057602
228.83/225.98	c cleaning 19002 clauses out of 38008 with flag 536572/2077602
229.83/226.95	c cleaning 19996 clauses out of 40009 with flag 585889/2098605
231.04/228.13	c cleaning 20998 clauses out of 42010 with flag 636851/2120602
232.13/229.29	c cleaning 21997 clauses out of 44013 with flag 690782/2143603
233.32/230.49	c cleaning 23003 clauses out of 46015 with flag 747917/2167602
234.52/231.66	c cleaning 24004 clauses out of 48013 with flag 806932/2192603
235.93/233.05	c cleaning 24992 clauses out of 50008 with flag 867524/2218602
237.21/234.38	c cleaning 26005 clauses out of 52018 with flag 930001/2245604
238.61/235.71	c cleaning 27003 clauses out of 54012 with flag 994206/2273603
239.92/237.03	c cleaning 27996 clauses out of 56009 with flag 1062158/2302603
241.44/238.57	c cleaning 29002 clauses out of 58012 with flag 1137331/2332602
243.05/240.19	c cleaning 30002 clauses out of 60010 with flag 1213111/2363602
244.83/241.90	c cleaning 31000 clauses out of 62009 with flag 1294961/2395603
246.63/243.75	c cleaning 32001 clauses out of 64008 with flag 1373520/2428602
248.76/245.67	c cleaning 33001 clauses out of 66008 with flag 1455414/2462603
250.55/247.47	c cleaning 34004 clauses out of 68007 with flag 1532764/2497603
252.45/249.36	c cleaning 34992 clauses out of 70003 with flag 1615126/2533603
254.45/251.32	c cleaning 35995 clauses out of 72011 with flag 1707008/2570603
256.64/253.57	c cleaning 37008 clauses out of 74020 with flag 1803208/2608607
258.64/255.53	c Got one! Elapsed wall clock time (in seconds):255.219
258.64/255.53	o 209
258.94/255.88	c cleaning 37956 clauses out of 75929 with flag 13562/2647524
259.25/256.19	c cleaning 21982 clauses out of 43973 with flag 29389/2653524
259.54/256.49	c cleaning 14490 clauses out of 28991 with flag 48082/2660524
259.93/256.84	c cleaning 11251 clauses out of 22501 with flag 69301/2668524
260.33/257.27	c cleaning 10125 clauses out of 20250 with flag 92570/2677524
260.83/257.72	c cleaning 10057 clauses out of 20126 with flag 117703/2687525
261.33/258.20	c cleaning 10526 clauses out of 21068 with flag 145091/2698524
261.83/258.73	c cleaning 11268 clauses out of 22543 with flag 178336/2710525
262.64/259.54	c cleaning 12138 clauses out of 24275 with flag 218137/2723525
263.64/260.52	c cleaning 13059 clauses out of 26138 with flag 256926/2737526
264.56/261.48	c cleaning 14038 clauses out of 28080 with flag 293632/2752527
265.66/262.57	c cleaning 15014 clauses out of 30040 with flag 334329/2768525
267.74/264.44	c cleaning 16013 clauses out of 32025 with flag 389276/2785524
269.42/265.91	c cleaning 17005 clauses out of 34013 with flag 443317/2803525
270.43/266.91	c cleaning 17997 clauses out of 36008 with flag 491569/2822525
271.43/267.97	c cleaning 19007 clauses out of 38014 with flag 544823/2842528
272.54/269.02	c cleaning 19997 clauses out of 40007 with flag 597398/2863528
273.63/270.18	c cleaning 21001 clauses out of 42008 with flag 652320/2885526
274.81/271.35	c cleaning 21996 clauses out of 44007 with flag 710007/2908526
276.11/272.65	c cleaning 23005 clauses out of 46018 with flag 770307/2932533
277.41/273.99	c cleaning 23999 clauses out of 48005 with flag 832770/2957525
278.80/275.39	c cleaning 25003 clauses out of 50006 with flag 895631/2983525
279.30/275.81	c Got one! Elapsed wall clock time (in seconds):275.499
279.30/275.81	o 208
279.51/276.06	c cleaning 19239 clauses out of 38486 with flag 13886/2997008
279.80/276.33	c cleaning 12618 clauses out of 25247 with flag 29563/3003008
280.11/276.65	c cleaning 9806 clauses out of 19628 with flag 48198/3010007
280.99/277.54	c cleaning 8905 clauses out of 17823 with flag 69198/3018008
281.68/278.27	c cleaning 8956 clauses out of 17917 with flag 93939/3027007
282.28/278.82	c cleaning 9477 clauses out of 18962 with flag 118970/3037008
283.20/279.53	c cleaning 10238 clauses out of 20484 with flag 151067/3048007
283.70/280.08	c cleaning 11109 clauses out of 22246 with flag 180998/3060007
284.30/280.65	c cleaning 12056 clauses out of 24137 with flag 213494/3073007
285.17/281.59	c cleaning 13037 clauses out of 26081 with flag 255545/3087007
286.16/282.54	c cleaning 14023 clauses out of 28045 with flag 292404/3102008
287.25/283.63	c cleaning 15008 clauses out of 30021 with flag 331575/3118007
288.54/284.99	c cleaning 16002 clauses out of 32013 with flag 374472/3135007
289.33/285.74	c cleaning 17005 clauses out of 34011 with flag 417439/3153007
290.12/286.53	c cleaning 18004 clauses out of 36007 with flag 462916/3172008
290.92/287.35	c cleaning 19002 clauses out of 38003 with flag 516574/3192008
291.91/288.30	c cleaning 20000 clauses out of 40003 with flag 566622/3213010
293.60/290.00	c cleaning 20988 clauses out of 42000 with flag 619953/3235007
296.09/292.58	c cleaning 21998 clauses out of 44012 with flag 685928/3258007
297.79/294.24	c cleaning 23001 clauses out of 46015 with flag 747917/3282008
299.51/295.90	c cleaning 24006 clauses out of 48014 with flag 810469/3307008
301.22/297.64	c cleaning 24987 clauses out of 50007 with flag 870657/3333007
303.01/299.44	c cleaning 26008 clauses out of 52020 with flag 937513/3360007
305.11/301.55	c cleaning 27004 clauses out of 54013 with flag 1004332/3388008
307.16/303.59	c cleaning 27995 clauses out of 56008 with flag 1084946/3417007
308.96/305.32	c cleaning 29005 clauses out of 58013 with flag 1164047/3447007
310.55/306.92	c cleaning 29992 clauses out of 60009 with flag 1250138/3478008
312.45/308.85	c cleaning 31004 clauses out of 62017 with flag 1347063/3510008
315.35/311.77	c cleaning 32001 clauses out of 64013 with flag 1445444/3543008
318.24/314.65	c cleaning 33000 clauses out of 66012 with flag 1542049/3577008
320.14/316.52	c cleaning 34006 clauses out of 68012 with flag 1636750/3612008
321.94/318.36	c cleaning 35003 clauses out of 70006 with flag 1732029/3648008
324.35/320.74	c cleaning 35986 clauses out of 72004 with flag 1828206/3685009
327.04/323.48	c cleaning 37007 clauses out of 74018 with flag 1923632/3723009
328.24/324.66	c Got one! Elapsed wall clock time (in seconds):324.351
328.24/324.66	o 207
328.54/325.00	c cleaning 30837 clauses out of 61685 with flag 11222/3747683
328.94/325.33	c cleaning 18417 clauses out of 36849 with flag 25910/3753684
329.34/325.73	c cleaning 12705 clauses out of 25431 with flag 43074/3760683
329.75/326.17	c cleaning 10357 clauses out of 20727 with flag 62201/3768684
330.24/326.67	c cleaning 9680 clauses out of 19369 with flag 85009/3777683
330.84/327.22	c cleaning 9840 clauses out of 19689 with flag 107652/3787683
331.54/327.94	c cleaning 10415 clauses out of 20850 with flag 134367/3798684
332.23/328.67	c cleaning 11209 clauses out of 22434 with flag 164104/3810683
333.14/329.56	c cleaning 12106 clauses out of 24226 with flag 196604/3823684
334.04/330.46	c cleaning 13053 clauses out of 26120 with flag 231377/3837684
335.04/331.49	c cleaning 14024 clauses out of 28066 with flag 267803/3852683
336.34/332.75	c cleaning 15010 clauses out of 30042 with flag 306659/3868683
337.65/334.02	c cleaning 16006 clauses out of 32032 with flag 347944/3885683
338.75/335.14	c cleaning 17007 clauses out of 34027 with flag 391459/3903684
340.13/336.51	c cleaning 18002 clauses out of 36021 with flag 440015/3922685
341.53/338.00	c cleaning 19005 clauses out of 38019 with flag 491124/3942685
342.83/339.24	c cleaning 19997 clauses out of 40012 with flag 544988/3963683
343.83/340.24	c cleaning 21006 clauses out of 42015 with flag 597402/3985683
345.02/341.41	c cleaning 21989 clauses out of 44009 with flag 651095/4008683
346.12/342.56	c cleaning 23004 clauses out of 46020 with flag 709853/4032683
347.41/343.83	c cleaning 24007 clauses out of 48018 with flag 770031/4057685
348.73/345.13	c cleaning 25005 clauses out of 50009 with flag 831050/4083683
350.12/346.51	c cleaning 26002 clauses out of 52004 with flag 893787/4110683
351.51/348.00	c cleaning 26998 clauses out of 54002 with flag 959244/4138683
353.27/349.67	c cleaning 27996 clauses out of 56004 with flag 1026482/4167683
354.86/351.24	c cleaning 29002 clauses out of 58009 with flag 1096987/4197684
356.77/353.16	c cleaning 30004 clauses out of 60007 with flag 1164693/4228684
358.46/354.87	c cleaning 30998 clauses out of 62002 with flag 1242980/4260683
360.25/356.65	c cleaning 31996 clauses out of 64004 with flag 1324114/4293683
362.05/358.49	c cleaning 33003 clauses out of 66008 with flag 1406551/4327683
364.14/360.58	c cleaning 34003 clauses out of 68005 with flag 1486349/4362683
366.33/362.71	c cleaning 35000 clauses out of 70003 with flag 1573790/4398684
368.34/364.78	c cleaning 35999 clauses out of 72003 with flag 1660920/4435684
370.53/366.95	c cleaning 37002 clauses out of 74004 with flag 1748348/4473684
372.83/369.21	c cleaning 37997 clauses out of 76002 with flag 1840833/4512684
375.02/371.47	c cleaning 38999 clauses out of 78004 with flag 1933669/4552683
377.63/374.03	c cleaning 40003 clauses out of 80006 with flag 2031250/4593684
380.41/376.87	c cleaning 40998 clauses out of 82003 with flag 2128992/4635684
383.11/379.59	c cleaning 42001 clauses out of 84004 with flag 2228184/4678683
386.10/382.59	c cleaning 42991 clauses out of 86006 with flag 2328917/4722686
389.29/385.75	c cleaning 43995 clauses out of 88012 with flag 2432122/4767683
392.71/389.17	c cleaning 44989 clauses out of 90017 with flag 2539311/4813683
396.29/392.78	c cleaning 46007 clauses out of 92028 with flag 2647409/4860683
400.78/397.23	c cleaning 47005 clauses out of 94022 with flag 2758542/4908684
404.18/400.62	c cleaning 48005 clauses out of 96016 with flag 2873717/4957683
407.68/404.17	c cleaning 49000 clauses out of 98012 with flag 2990272/5007684
411.06/407.53	c cleaning 50005 clauses out of 100012 with flag 3110125/5058684
414.66/411.18	c cleaning 50999 clauses out of 102006 with flag 3232960/5110683
418.35/414.81	c cleaning 52000 clauses out of 104007 with flag 3355869/5163683
422.14/418.65	c cleaning 53003 clauses out of 106008 with flag 3479947/5217684
425.83/422.39	c cleaning 53998 clauses out of 108007 with flag 3607062/5272686
430.02/426.57	c cleaning 54999 clauses out of 110006 with flag 3733097/5328683
434.87/431.31	c cleaning 55990 clauses out of 112007 with flag 3863596/5385683
439.26/435.70	c cleaning 57009 clauses out of 114018 with flag 3998214/5443684
443.85/440.34	c cleaning 58002 clauses out of 116009 with flag 4133111/5502684
448.75/445.29	c cleaning 59000 clauses out of 118006 with flag 4274729/5562683
453.83/450.34	c cleaning 59998 clauses out of 120006 with flag 4415381/5623683
459.32/455.82	c cleaning 60998 clauses out of 122010 with flag 4560768/5685685
464.53/461.05	c cleaning 62003 clauses out of 124010 with flag 4707867/5748683
470.30/466.89	c cleaning 63002 clauses out of 126007 with flag 4854789/5812683
475.28/471.86	c cleaning 63998 clauses out of 128006 with flag 5007054/5877684
480.88/477.48	c cleaning 64997 clauses out of 130010 with flag 5162689/5943686
486.66/483.23	c cleaning 66001 clauses out of 132010 with flag 5322877/6010683
492.04/488.69	c cleaning 67006 clauses out of 134014 with flag 5481169/6078688
498.92/495.46	c cleaning 67989 clauses out of 136003 with flag 5644076/6147683
505.51/502.05	c cleaning 69002 clauses out of 138015 with flag 5808614/6217684
511.61/508.19	c cleaning 69995 clauses out of 140012 with flag 5974057/6288683
518.18/514.78	c cleaning 71004 clauses out of 142017 with flag 6145183/6360683
524.37/520.97	c cleaning 71999 clauses out of 144013 with flag 6318415/6433683
530.58/527.14	c cleaning 73007 clauses out of 146015 with flag 6494548/6507684
537.35/533.98	c cleaning 74002 clauses out of 148007 with flag 6671939/6582683
543.84/540.45	c cleaning 75001 clauses out of 150006 with flag 6846685/6658684
551.99/548.50	c cleaning 75997 clauses out of 152005 with flag 7029600/6735684
559.18/555.73	c cleaning 77003 clauses out of 154007 with flag 7208228/6813683
567.18/563.75	c cleaning 77996 clauses out of 156008 with flag 7395055/6892687
574.47/571.09	c cleaning 79001 clauses out of 158008 with flag 7579370/6972683
581.55/578.11	c cleaning 79994 clauses out of 160008 with flag 7765683/7053684
589.23/585.89	c cleaning 81006 clauses out of 162014 with flag 7953993/7135684
597.21/593.89	c cleaning 82000 clauses out of 164008 with flag 8147742/7218684
605.79/602.41	c cleaning 82996 clauses out of 166011 with flag 8342253/7302687
613.98/610.61	c cleaning 83999 clauses out of 168011 with flag 8541547/7387683
622.96/619.61	c cleaning 85002 clauses out of 170012 with flag 8744336/7473683
634.00/629.92	c cleaning 86003 clauses out of 172010 with flag 8946126/7560683
643.58/639.59	c cleaning 86999 clauses out of 174008 with flag 9153346/7648684
652.86/648.83	c cleaning 88003 clauses out of 176008 with flag 9358531/7737683
662.74/658.74	c cleaning 88998 clauses out of 178005 with flag 9567631/7827683
673.61/669.62	c cleaning 90003 clauses out of 180007 with flag 9781426/7918683
683.79/679.89	c cleaning 90988 clauses out of 182004 with flag 10027703/8010683
694.37/690.46	c cleaning 92007 clauses out of 184023 with flag 10315997/8103690
703.62/699.62	c cleaning 92999 clauses out of 186010 with flag 10562752/8197684
709.68/705.67	c cleaning 93996 clauses out of 188011 with flag 10787465/8292684
714.96/711.00	c cleaning 95004 clauses out of 190014 with flag 11016656/8388683
721.55/717.55	c cleaning 95996 clauses out of 192010 with flag 11251495/8485683
727.15/723.14	c cleaning 96997 clauses out of 194014 with flag 11498775/8583683
732.77/728.74	c cleaning 98001 clauses out of 196017 with flag 11736228/8682683
738.56/734.56	c cleaning 99003 clauses out of 198018 with flag 11980301/8782685
749.74/745.75	c cleaning 99999 clauses out of 200013 with flag 12238455/8883683
765.10/761.01	c cleaning 100998 clauses out of 202014 with flag 12526536/8985683
778.08/774.06	c cleaning 102003 clauses out of 204017 with flag 12809414/9088684
791.75/787.78	c cleaning 102997 clauses out of 206019 with flag 13097925/9192689
802.31/798.23	c cleaning 103998 clauses out of 208016 with flag 13377346/9297683
809.90/805.83	c cleaning 105000 clauses out of 210018 with flag 13645988/9403683
819.77/815.71	c cleaning 106004 clauses out of 212018 with flag 13934031/9510683
833.02/829.00	c cleaning 107007 clauses out of 214014 with flag 14226460/9618683
841.22/837.13	c cleaning 107988 clauses out of 216008 with flag 14491183/9727684
853.88/849.87	c cleaning 109005 clauses out of 218020 with flag 14771126/9837684
864.47/860.47	c cleaning 110000 clauses out of 220014 with flag 15071000/9948683
879.06/874.12	c cleaning 110993 clauses out of 222015 with flag 15365064/10060684
890.63/885.76	c cleaning 112004 clauses out of 224021 with flag 15668435/10173683
903.95/899.10	c cleaning 113004 clauses out of 226017 with flag 15965870/10287683
917.11/912.26	c cleaning 113999 clauses out of 228013 with flag 16280397/10402683
926.30/921.50	c cleaning 114994 clauses out of 230014 with flag 16564244/10518683
934.09/929.23	c cleaning 116004 clauses out of 232020 with flag 16843661/10635683
942.35/937.48	c cleaning 116996 clauses out of 234017 with flag 17124942/10753684
949.43/944.57	c cleaning 118005 clauses out of 236021 with flag 17410606/10872684
957.42/952.59	c cleaning 119007 clauses out of 238015 with flag 17702076/10992683
964.51/959.63	c cleaning 119996 clauses out of 240008 with flag 17996117/11113683
970.79/966.00	c cleaning 121002 clauses out of 242013 with flag 18298120/11235684
978.68/973.89	c cleaning 122001 clauses out of 244011 with flag 18591829/11358684
986.67/981.88	c cleaning 122996 clauses out of 246010 with flag 18882399/11482684
998.80/993.95	c cleaning 123998 clauses out of 248014 with flag 19209859/11607684
1008.39/1003.51	c cleaning 124995 clauses out of 250015 with flag 19520406/11733683
1018.20/1013.37	c cleaning 126005 clauses out of 252020 with flag 19816970/11860683
1026.59/1021.77	c cleaning 127001 clauses out of 254016 with flag 20112959/11988684
1036.47/1031.66	c cleaning 128002 clauses out of 256015 with flag 20420116/12117684
1045.16/1040.34	c cleaning 129004 clauses out of 258012 with flag 20723803/12247683
1054.05/1049.28	c cleaning 130001 clauses out of 260008 with flag 21025852/12378683
1063.13/1058.33	c cleaning 130999 clauses out of 262008 with flag 21331412/12510684
1073.72/1068.98	c cleaning 131998 clauses out of 264008 with flag 21639712/12643683
1083.70/1078.95	c cleaning 133002 clauses out of 266011 with flag 21952662/12777684
1094.44/1089.63	c cleaning 133988 clauses out of 268010 with flag 22266488/12912685
1105.21/1100.43	c cleaning 135008 clauses out of 270021 with flag 22586862/13048684
1114.91/1110.18	c cleaning 135998 clauses out of 272012 with flag 22918919/13185683
1123.68/1118.96	c cleaning 137003 clauses out of 274016 with flag 23250702/13323685
1134.50/1129.75	c cleaning 138001 clauses out of 276011 with flag 23576683/13462683
1146.48/1141.73	c cleaning 139000 clauses out of 278010 with flag 23906697/13602683
1157.47/1152.73	c cleaning 140005 clauses out of 280011 with flag 24233067/13743684
1168.24/1163.53	c cleaning 140998 clauses out of 282005 with flag 24564340/13885683
1179.25/1174.59	c cleaning 141999 clauses out of 284007 with flag 24907849/14028683
1190.22/1185.54	c cleaning 143001 clauses out of 286009 with flag 25265081/14172684
1202.41/1197.74	c cleaning 143996 clauses out of 288008 with flag 25629482/14317684
1217.69/1213.08	c cleaning 144997 clauses out of 290011 with flag 26006772/14463683
1229.65/1224.95	c cleaning 145997 clauses out of 292014 with flag 26379084/14610683
1242.53/1237.85	c cleaning 147002 clauses out of 294018 with flag 26740427/14758684
1253.91/1249.27	c cleaning 148008 clauses out of 296015 with flag 27116100/14907683
1267.15/1262.45	c cleaning 148993 clauses out of 298007 with flag 27503885/15057683
1282.93/1278.26	c cleaning 150001 clauses out of 300015 with flag 27909668/15208684
1294.72/1290.10	c cleaning 150995 clauses out of 302013 with flag 28328021/15360683
1313.26/1308.58	c cleaning 152000 clauses out of 304018 with flag 28740165/15513683
1329.14/1324.44	c cleaning 153004 clauses out of 306020 with flag 29146080/15667685
1341.91/1337.24	c cleaning 154003 clauses out of 308014 with flag 29549990/15822683
1355.67/1350.91	c cleaning 155003 clauses out of 310012 with flag 29945528/15978684
1371.32/1366.56	c cleaning 156001 clauses out of 312011 with flag 30335642/16135686
1384.99/1380.12	c cleaning 157001 clauses out of 314008 with flag 30734998/16293684
1402.01/1396.79	c cleaning 157998 clauses out of 316006 with flag 31126042/16452683
1417.58/1412.32	c cleaning 158997 clauses out of 318008 with flag 31520923/16612683
1439.02/1433.85	c cleaning 159997 clauses out of 320011 with flag 31916319/16773683
1455.04/1449.81	c cleaning 161008 clauses out of 322015 with flag 32312908/16935684
1472.49/1467.23	c cleaning 161995 clauses out of 324006 with flag 32721499/17098683
1495.37/1490.19	c cleaning 163003 clauses out of 326013 with flag 33128394/17262685
1519.96/1514.78	c cleaning 163998 clauses out of 328009 with flag 33529104/17427684
1540.19/1534.92	c cleaning 165001 clauses out of 330010 with flag 33942733/17593683
1563.20/1557.81	c cleaning 166002 clauses out of 332009 with flag 34360233/17760683
1587.66/1582.36	c cleaning 167001 clauses out of 334007 with flag 34780233/17928683
1606.62/1601.31	c cleaning 167991 clauses out of 336006 with flag 35194737/18097683
1622.01/1616.76	c cleaning 168997 clauses out of 338015 with flag 35621144/18267683
1643.96/1638.72	c cleaning 170006 clauses out of 340020 with flag 36048864/18438685
1659.01/1653.79	c cleaning 170999 clauses out of 342013 with flag 36481827/18610684
1684.71/1679.43	c cleaning 172000 clauses out of 344014 with flag 36901968/18783684
1713.40/1707.57	c cleaning 173001 clauses out of 346015 with flag 37324540/18957685
1732.28/1726.46	c cleaning 174000 clauses out of 348014 with flag 37760524/19132685
1761.90/1756.07	c cleaning 175001 clauses out of 350013 with flag 38187950/19308684
1790.02/1784.18	c cleaning 176004 clauses out of 352011 with flag 38617803/19485683
1817.84/1812.00	c cleaning 176999 clauses out of 354008 with flag 39050091/19663684
1845.97/1840.07	c cleaning 178001 clauses out of 356010 with flag 39484806/19842685
1871.66/1865.79	c cleaning 179001 clauses out of 358008 with flag 39920321/20022684
1895.72/1889.72	c cleaning 180001 clauses out of 360006 with flag 40356598/20203683
1917.49/1911.52	c cleaning 181000 clauses out of 362006 with flag 40797134/20385684
1936.59/1930.64	c cleaning 181997 clauses out of 364006 with flag 41270008/20568684
1957.15/1951.27	c cleaning 182998 clauses out of 366008 with flag 41766951/20752683
1972.75/1966.70	c cleaning 184001 clauses out of 368013 with flag 42226910/20937686
1986.62/1980.68	c cleaning 184997 clauses out of 370009 with flag 42677158/21123683
2004.69/1998.76	c cleaning 185992 clauses out of 372012 with flag 43161935/21310683
2019.37/2013.48	c cleaning 187010 clauses out of 374020 with flag 43634559/21498683
2035.83/2029.88	c cleaning 187997 clauses out of 376010 with flag 44090098/21687683
2055.31/2049.35	c cleaning 189001 clauses out of 378013 with flag 44556672/21877683
2073.38/2067.44	c cleaning 189999 clauses out of 380012 with flag 45021044/22068683
2090.75/2084.84	c cleaning 190994 clauses out of 382013 with flag 45490597/22260683
2110.07/2104.05	c cleaning 192002 clauses out of 384019 with flag 45942990/22453683
2125.62/2119.62	c cleaning 193004 clauses out of 386017 with flag 46427912/22647683
2139.01/2133.03	c cleaning 193999 clauses out of 388013 with flag 46910721/22842683
2155.00/2148.99	c cleaning 194999 clauses out of 390014 with flag 47375317/23038683
2170.87/2164.86	c cleaning 195997 clauses out of 392015 with flag 47860838/23235683
2188.74/2182.72	c cleaning 197002 clauses out of 394020 with flag 48356845/23433685
2207.20/2200.64	c cleaning 197999 clauses out of 396016 with flag 48863278/23632683
2225.28/2218.78	c cleaning 199003 clauses out of 398018 with flag 49358346/23832684
2245.04/2238.57	c cleaning 200002 clauses out of 400014 with flag 49857461/24033683
2264.81/2258.38	c cleaning 201002 clauses out of 402013 with flag 50358938/24235684
2285.14/2278.69	c cleaning 202003 clauses out of 404011 with flag 50865874/24438684
2309.68/2303.20	c cleaning 203001 clauses out of 406008 with flag 51379354/24642684
2336.62/2330.27	c cleaning 203997 clauses out of 408007 with flag 51890871/24847684
2363.07/2356.75	c cleaning 205002 clauses out of 410009 with flag 52402443/25053683
2387.84/2381.46	c cleaning 205998 clauses out of 412007 with flag 52938859/25260683
2415.18/2408.82	c cleaning 207002 clauses out of 414009 with flag 53447015/25468683
2435.24/2429.00	c cleaning 208004 clauses out of 416008 with flag 53966282/25677684
2462.67/2456.47	c cleaning 208995 clauses out of 418003 with flag 54507653/25887683
2509.78/2503.68	c cleaning 209998 clauses out of 420009 with flag 55070347/26098684
2564.26/2558.21	c cleaning 211005 clauses out of 422010 with flag 55635673/26310683
2617.39/2611.30	c cleaning 211995 clauses out of 424005 with flag 56201954/26523683
2674.89/2668.97	c cleaning 213003 clauses out of 426010 with flag 56766135/26737683
2727.39/2721.53	c cleaning 213993 clauses out of 428007 with flag 57332964/26952683
2753.58/2747.69	c cleaning 215007 clauses out of 430014 with flag 57877405/27168683
2772.96/2767.06	c cleaning 215993 clauses out of 432008 with flag 58378541/27385684
2798.59/2792.78	c cleaning 217004 clauses out of 434014 with flag 58838826/27603683
2820.88/2814.97	c cleaning 217996 clauses out of 436010 with flag 59333137/27822683
2852.61/2846.79	c cleaning 219002 clauses out of 438014 with flag 59913152/28042683
2879.26/2873.47	c cleaning 219998 clauses out of 440012 with flag 60469234/28263683
2904.11/2898.31	c cleaning 220989 clauses out of 442014 with flag 60950320/28485683
2925.24/2919.41	c cleaning 222007 clauses out of 444026 with flag 61473677/28708684
2948.20/2942.46	c cleaning 223005 clauses out of 446019 with flag 62056559/28932684
2978.24/2972.50	c cleaning 224001 clauses out of 448014 with flag 62642076/29157684
3011.44/3005.71	c cleaning 225007 clauses out of 450013 with flag 63202291/29383684
3028.73/3023.08	c cleaning 225999 clauses out of 452005 with flag 63774753/29610683
3053.91/3048.22	c cleaning 226999 clauses out of 454007 with flag 64374280/29838684
3074.58/3068.90	c cleaning 227999 clauses out of 456008 with flag 64950649/30067684
3103.62/3097.98	c cleaning 228991 clauses out of 458008 with flag 65495474/30297683
3125.79/3120.18	c cleaning 230005 clauses out of 460018 with flag 66042240/30528684
3158.13/3152.50	c cleaning 230996 clauses out of 462012 with flag 66572116/30760683
3191.19/3185.56	c cleaning 232002 clauses out of 464017 with flag 67123569/30993684
3221.82/3216.30	c cleaning 233004 clauses out of 466015 with flag 67683322/31227684
3246.96/3241.43	c cleaning 233997 clauses out of 468010 with flag 68232808/31462683
3269.43/3263.84	c cleaning 235002 clauses out of 470013 with flag 68806872/31698683
3291.09/3285.59	c cleaning 236003 clauses out of 472012 with flag 69385906/31935684
3312.07/3306.42	c cleaning 236990 clauses out of 474008 with flag 69992248/32173683
3332.83/3327.27	c cleaning 238006 clauses out of 476018 with flag 70526415/32412683
3375.46/3369.93	c cleaning 239005 clauses out of 478012 with flag 71033771/32652683
3398.92/3393.34	c cleaning 240000 clauses out of 480008 with flag 71628655/32893684
3424.69/3419.14	c cleaning 240998 clauses out of 482007 with flag 72248069/33135683
3443.15/3437.63	c cleaning 242003 clauses out of 484010 with flag 72841376/33378684
3463.42/3457.84	c cleaning 242999 clauses out of 486006 with flag 73425213/33622683
3489.49/3483.96	c cleaning 243997 clauses out of 488007 with flag 73997215/33867683
3512.95/3507.42	c cleaning 244998 clauses out of 490011 with flag 74579934/34113684
3536.00/3530.45	c cleaning 245997 clauses out of 492013 with flag 75149278/34360684
3554.86/3549.35	c cleaning 247000 clauses out of 494016 with flag 75755872/34608684
3579.82/3574.34	c cleaning 248007 clauses out of 496017 with flag 76379448/34857685
3600.01/3594.54	c starts		: 90998
3600.01/3594.57	c conflicts		: 35107683
3600.01/3594.57	c decisions		: 76078392
3600.01/3594.57	c propagations		: 452075502
3600.01/3594.57	c inspects		: 19930527831
3600.01/3594.57	c shortcuts		: 0
3600.01/3594.57	c learnt literals	: 0
3600.01/3594.57	c learnt binary clauses	: 23
3600.01/3594.58	c learnt ternary clauses	: 203
3600.01/3594.58	c learnt constraints	: 35107683
3600.01/3594.58	c ignored constraints	: 0
3600.01/3594.58	c root simplifications	: 0
3600.01/3594.58	c removed literals (reason simplification)	: 5776369630
3600.01/3594.58	c reason swapping (by a shorter reason)	: 0
3600.01/3594.58	c Calls to reduceDB	: 427
3600.01/3594.58	c Number of update (reduction) of LBD	: 9126761
3600.01/3594.58	c Imported unit clauses	: 0
3600.01/3594.58	c No decision after first conflict	: false
3600.01/3594.58	c number of reductions to clauses (during analyze)	: 0
3600.01/3594.58	c number of learned constraints concerned by reduction	: 0
3600.01/3594.59	c number of learning phase by resolution	: 0
3600.01/3594.59	c number of learning phase by cutting planes	: 0
3600.01/3594.59	c number of rounding to 1 operations	: 0
3600.01/3594.59	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3594.59	c number of reductions of the coefficients by power 2 	: 0
3600.01/3594.59	c number of right shift for reduction by power 2 	: 0
3600.01/3594.59	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3594.59	c number of ending skipping 	: 0
3600.01/3594.59	c number of internal skipping 	: 0
3600.01/3594.59	c number of derivation steps 	: 0
3600.01/3594.59	c number of skipped derivation steps 	: 0
3600.01/3594.59	c number of remaining unassigned 	: 0
3600.01/3594.59	c number of remaining assigned 	: 0
3600.01/3594.59	c number of falsified literals weakened from reason	: 0
3600.01/3594.59	c number of falsified literals weakened from conflict	: 0
3600.01/3594.59	c time for arithmetic operations	: 0
3600.01/3594.60	c minimum degree of deleted constraints	: null
3600.21/3594.60	c maximum degree of deleted constraints	: null
3600.21/3594.60	c number of deleted constraints	: 0
3600.21/3594.61	c speed (assignments/second)	: 125784.24704129458
3600.21/3594.61	c non guided choices	: 0
3600.40/3594.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 497985
3600.40/3594.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 23
3600.40/3594.78	s SATISFIABLE
3600.40/3594.78	c Found 38 solution(s)
3600.40/3594.79	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 
3600.40/3594.79	c objective function=207
3600.40/3594.79	c Total wall clock time (in seconds): 3594.485

Verifier Data 

OK	207

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=42901, runsolver pid=42898

[startup+0.100071 s]*
/proc/loadavg: 4.14 4.19 4.18 7/324 42919
/proc/meminfo: memFree=122857908/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=18930384 memory=48360 CPUtime=0.12 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 5788 0 0 0 9 3 0 0 20 0 18 0 47443085 19384713216 12090 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4732596 12090 5317 1 0 546986 0
[pid=42901/tid=42903] ppid=42898 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) S 42898 42901 42338 0 -1 4194368 4685 0 0 0 6 2 0 0 20 0 18 0 47443087 19384713216 12090 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47443092 19384713216 12122 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=18930384 memory=61792617516369 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47443093 19384713216 12122 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48360 KiB

[startup+0.216477 s]*
/proc/loadavg: 4.14 4.19 4.18 7/324 42919
/proc/meminfo: memFree=122851292/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=18930384 memory=55380 CPUtime=0.31 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 6532 0 0 0 27 4 0 0 20 0 18 0 47443085 19384713216 13845 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4732596 13845 5317 1 0 547603 0
[pid=42901/tid=42903] ppid=42898 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 5046 0 0 0 16 2 0 0 20 0 18 0 47443087 19384713216 13845 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47443092 19384713216 13845 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47443093 19384713216 13845 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55380 KiB

[startup+0.315394 s]*
/proc/loadavg: 4.14 4.19 4.18 7/324 42919
/proc/meminfo: memFree=122847196/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=18930384 memory=59052 CPUtime=0.47 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 6805 0 0 0 42 5 0 0 20 0 18 0 47443085 19384713216 14763 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4732596 14763 5445 1 0 547792 0
[pid=42901/tid=42903] ppid=42898 vsize=18930384 memory=-6000919472639208043 CPUtime=0.29 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 5216 0 0 0 26 3 0 0 20 0 18 0 47443087 19384713216 14763 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47443092 19384713216 14763 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47443093 19384713216 14763 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59052 KiB

[startup+0.700268 s]
/proc/loadavg: 4.14 4.19 4.18 7/324 42919
/proc/meminfo: memFree=122838248/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=18996948 memory=73668 CPUtime=1.15 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 8584 0 0 0 109 6 0 0 20 0 19 0 47443085 19452874752 18417 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4749237 18417 5477 1 0 548889 0
[pid=42901/tid=42903] ppid=42898 vsize=18996948 memory=17664 CPUtime=0.58 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 5396 0 0 0 55 3 0 0 20 0 19 0 47443087 19452874752 18417 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47443092 19452874752 18417 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47443093 19452874752 18417 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73668 KiB

[startup+1.50028 s]
/proc/loadavg: 4.14 4.19 4.18 6/325 42920
/proc/meminfo: memFree=122833964/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=18996948 memory=92184 CPUtime=2.74 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 15943 0 0 0 265 9 0 0 20 0 19 0 47443085 19452874752 23046 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4749237 23046 5477 1 0 551336 0
[pid=42901/tid=42903] ppid=42898 vsize=18996948 memory=3200 CPUtime=1.35 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 6033 0 0 0 131 4 0 0 20 0 19 0 47443087 19452874752 23046 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47443092 19452874752 23046 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47443093 19452874752 23046 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47443139 19452874752 23046 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92184 KiB

[startup+3.10533 s]
/proc/loadavg: 4.14 4.19 4.18 5/325 42920
/proc/meminfo: memFree=122801084/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=18996948 memory=111152 CPUtime=4.68 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 17591 0 0 0 459 9 0 0 20 0 19 0 47443085 19452874752 27788 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4749237 27788 5477 1 0 551399 0
[pid=42901/tid=42903] ppid=42898 vsize=18996948 memory=14720 CPUtime=2.93 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 6919 0 0 0 289 4 0 0 20 0 19 0 47443087 19452874752 27788 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47443092 19452874752 27788 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47443093 19452874752 27788 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47443139 19452874752 27788 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111152 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.18 4.18 5/325 42920
/proc/meminfo: memFree=122774996/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=18996948 memory=135872 CPUtime=8.09 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 22970 0 0 0 798 11 0 0 20 0 19 0 47443085 19452874752 33968 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4749237 33968 5477 1 0 551620 0
[pid=42901/tid=42903] ppid=42898 vsize=18996948 memory=0 CPUtime=6.08 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 7961 0 0 0 603 5 0 0 20 0 19 0 47443087 19452874752 33968 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47443092 19452874752 33968 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47443093 19452874752 33968 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=18996948 memory=92440 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47443139 19452874752 33968 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 8.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 135872 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.18 4.18 5/326 42921
/proc/meminfo: memFree=122734540/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=171264 CPUtime=14.68 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 27201 0 0 0 1455 13 0 0 20 0 20 0 47443085 19521036288 42816 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 42816 5509 1 0 551909 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=92440 CPUtime=12.42 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 8946 0 0 0 1236 6 0 0 20 0 20 0 47443087 19521036288 42816 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=171264 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 42816 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 42816 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 42816 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 14.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171264 KiB

[startup+25.5005 s]
/proc/loadavg: 4.09 4.17 4.17 5/326 42921
/proc/meminfo: memFree=122690240/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=239188 CPUtime=27.4 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 29364 0 0 0 2725 15 0 0 20 0 20 0 47443085 19521036288 59797 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 59797 5509 1 0 551909 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=0 CPUtime=24.91 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 9838 0 0 0 2485 6 0 0 20 0 20 0 47443087 19521036288 59797 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 59797 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=220736 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 59797 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=220736 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 59797 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 27.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239188 KiB

[startup+51.1133 s]
/proc/loadavg: 4.39 4.24 4.19 5/325 43447
/proc/meminfo: memFree=129248348/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=372500 CPUtime=52.91 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 29585 0 0 0 5263 28 0 0 20 0 20 0 47443085 19521036288 93125 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 93125 5541 1 0 551909 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=239316 CPUtime=50 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 9874 0 0 0 4986 14 0 0 20 0 20 0 47443087 19521036288 93125 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=315108 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 93125 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 93125 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=14720 CPUtime=0 cores=5,7

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

/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 1556 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 3227.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2877596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/327 43632
/proc/meminfo: memFree=117589940/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=2877596 CPUtime=3287.9 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 102830 0 0 0 328510 280 0 0 20 0 20 0 47443085 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 719399 5541 1 0 742905 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=2877596 CPUtime=3258.52 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 39058 0 0 0 325815 37 0 0 20 0 20 0 47443087 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 1659 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 3287.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2877596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/328 43637
/proc/meminfo: memFree=117590988/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=2877596 CPUtime=3347.9 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 102904 0 0 0 334508 282 0 0 20 0 20 0 47443085 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 719399 5541 1 0 742905 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=2877596 CPUtime=3318.26 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 39065 0 0 0 331789 37 0 0 20 0 20 0 47443087 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 1661 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 3347.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2877596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/328 43643
/proc/meminfo: memFree=117598908/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=2877596 CPUtime=3407.9 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 103400 0 0 0 340504 286 0 0 20 0 20 0 47443085 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 719399 5541 1 0 742921 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=3200 CPUtime=3377.94 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 39494 0 0 0 337757 37 0 0 20 0 20 0 47443087 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=4892 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 1661 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 3407.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2877596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/328 43645
/proc/meminfo: memFree=117594644/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=2877596 CPUtime=3467.92 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 104391 0 0 0 346502 290 0 0 20 0 20 0 47443085 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 719399 5541 1 0 742921 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=3200 CPUtime=3437.61 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 40175 0 0 0 343724 37 0 0 20 0 20 0 47443087 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 1761 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=-6000919472639208043 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 719399 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 3467.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2877596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/328 43647
/proc/meminfo: memFree=117590596/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=2881880 CPUtime=3527.91 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 104980 0 0 0 352499 292 0 0 20 0 20 0 47443085 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 720470 5541 1 0 742921 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=14720 CPUtime=3497.32 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 40499 0 0 0 349695 37 0 0 20 0 20 0 47443087 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 1871 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=2877596 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 3527.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2881880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.17 4.18 5/326 43649
/proc/meminfo: memFree=117590668/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=2881880 CPUtime=3587.81 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 105293 0 0 0 358485 296 0 0 20 0 20 0 47443085 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 720470 5541 1 0 742921 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=-6000919472639208043 CPUtime=3557.18 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 40807 0 0 0 355680 38 0 0 20 0 20 0 47443087 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=5108 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 1871 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=5200 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2881880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.5 s]
/proc/loadavg: 4.19 4.16 4.18 5/325 43650
/proc/meminfo: memFree=117590424/131382112 swapFree=33010160/33010684
[pid=42901] ppid=42898 vsize=19063512 memory=2881880 CPUtime=3600.01 cores=5,7
/proc/42901/stat : 42901 (java) S 42898 42901 42338 0 -1 4194304 105436 0 0 0 359704 297 0 0 20 0 20 0 47443085 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
/proc/42901/statm: 4765878 720470 5541 1 0 742921 0
[pid=42901/tid=42903] ppid=42898 vsize=19063512 memory=4252 CPUtime=3569.24 cores=5,7
/proc/42901/task/42903/stat : 42903 (java) R 42898 42901 42338 0 -1 4194368 40898 0 0 0 356886 38 0 0 20 0 20 0 47443087 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42912] ppid=42898 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/42901/task/42912/stat : 42912 (Finalizer) S 42898 42901 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47443092 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42919] ppid=42898 vsize=19063512 memory=2881880 CPUtime=0 cores=5,7
/proc/42901/task/42919/stat : 42919 (Common-Cleaner) S 42898 42901 42338 0 -1 4194368 1871 0 0 0 0 0 0 0 20 0 20 0 47443093 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
[pid=42901/tid=42920] ppid=42898 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/42901/task/42920/stat : 42920 (Timer-0) S 42898 42901 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47443139 19521036288 720470 18446744073709551615 94238280159232 94238280162928 140721308733504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94238280170744 94238280171536 94238280200192 140721308739969 140721308740070 140721308740070 140721308745672 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2881880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.61 s, system=3.0089 s

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

[startup+3594.8 s]*
/proc/loadavg: 4.19 4.16 4.18 5/307 43653
/proc/meminfo: memFree=117590424/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3594.83
CPU time (s): 3600.62
CPU user time (s): 3597.61
CPU system time (s): 3.0089
CPU usage (%): 100.161
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2882776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.61
system time used= 3.0089
maximum resident set size= 2882776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111005
involuntary context switches= 6814


# summary of solver processes directly reported to runsolver:
#   pid: 42901
#   total CPU time (s): 3600.62
#   total CPU user time (s): 3597.61
#   total CPU system time (s): 3.0089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3701 second user time and 37.1475 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-06-30 23:07:22
IDJOB=4486662
IDBENCH=147034
IDSOLVER=3363
FILE ID=nodeC001/4486662-1751317642
RUNJOBID= nodeC001-1751314075-42351
SLURM_JOB_ID= 9594322
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486662-1751317642/watcher-4486662-1751317642 -o /tmp/evaluation-result-4486662-1751317642/solver-4486662-1751317642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42351 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4486662-1751317642.opb

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

MD5SUM BENCH= 0ec52d363b7c61cdd5525674056021d1
RANDOM SEED=830651819

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		: 3662.437
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		: 3491.752
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.026
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.210
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		: 3662.442
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.171
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.341
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.184
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:        122877016 kB
MemAvailable:   122629144 kB
Buffers:            2128 kB
Cached:           556856 kB
SwapCached:           28 kB
Active:          7665888 kB
Inactive:         257980 kB
Active(anon):    7372452 kB
Inactive(anon):    10380 kB
Active(file):     293436 kB
Inactive(file):   247600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               900 kB
Writeback:             0 kB
AnonPages:       7367996 kB
Mapped:           122640 kB
Shmem:             17932 kB
KReclaimable:     101052 kB
Slab:             183664 kB
SReclaimable:     101052 kB
SUnreclaim:        82612 kB
KernelStack:        5008 kB
PageTables:        18036 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7922664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7098368 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= 433052 MiB
End job on nodeC001 at 2025-07-01 00:07:17