Trace number 4486663

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 VeriPB 2025-06-06SAT (TO)207 3600.27 3611.33

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.01/0.27	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.27	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.27	c See www.sat4j.org for details.
0.01/0.27	c version PB25.v20250606
0.01/0.28	c java.runtime.name	OpenJDK Runtime Environment
0.01/0.28	c java.vm.name		OpenJDK 64-Bit Server VM
0.01/0.28	c java.vm.version	22.0.1+8-16
0.01/0.28	c java.vm.vendor	Oracle Corporation
0.01/0.28	c sun.arch.data.model	64
0.01/0.28	c java.version		22.0.1
0.01/0.28	c os.name		Linux
0.01/0.28	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.01/0.28	c os.arch		amd64
0.01/0.29	c Free memory 		2104792832
0.01/0.29	c Max memory 		16282288128
0.01/0.29	c Total memory 		2113929216
0.01/0.29	c Number of processors 	2
0.14/0.33	c Pseudo Boolean Optimization by upper bound
0.14/0.33	c --- Begin Solver configuration ---
0.14/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.14/0.33	c Learn all clauses as in MiniSAT
0.14/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.33	c Expensive reason simplification
0.14/0.33	c Glucose 2.1 dynamic restart strategy
0.14/0.33	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.14/0.33	c timeout=2147483s
0.14/0.33	c DB Simplification allowed=false
0.14/0.33	c Listener: none
0.14/0.33	c --- End Solver configuration ---
0.14/0.33	c solving HOME/instance-4486663-1751336155.opb
0.14/0.33	c reading problem ... 
0.14/0.34	c using VERIPB proof format
0.14/0.34	c  objective function found
0.33/0.41	c ... done. Wall clock time 0.077s.
0.33/0.41	c declared #vars     498
0.33/0.41	c #constraints  2431
0.33/0.41	c constraints type 
0.33/0.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2169
0.33/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 262
0.33/0.41	c 2431 constraints processed.
0.33/0.42	c objective function length is 498 literals
0.33/0.46	c SATISFIABLE
0.33/0.46	c OPTIMIZING...
0.33/0.46	c Got one! Elapsed wall clock time (in seconds):0.124
0.33/0.46	o 247
0.33/0.47	c Got one! Elapsed wall clock time (in seconds):0.143
0.33/0.47	o 246
0.33/0.48	c Got one! Elapsed wall clock time (in seconds):0.146
0.33/0.48	o 243
0.33/0.48	c Got one! Elapsed wall clock time (in seconds):0.149
0.33/0.48	o 241
0.33/0.49	c Got one! Elapsed wall clock time (in seconds):0.154
0.33/0.49	o 240
0.33/0.50	c Got one! Elapsed wall clock time (in seconds):0.163
0.33/0.50	o 239
0.51/0.52	c Got one! Elapsed wall clock time (in seconds):0.186
0.51/0.52	o 238
0.51/0.53	c Got one! Elapsed wall clock time (in seconds):0.202
0.51/0.53	o 237
0.51/0.57	c Got one! Elapsed wall clock time (in seconds):0.236
0.51/0.57	o 236
0.70/0.67	c Got one! Elapsed wall clock time (in seconds):0.333
0.70/0.67	o 235
0.89/0.71	c Got one! Elapsed wall clock time (in seconds):0.381
0.89/0.71	o 234
0.89/0.73	c Got one! Elapsed wall clock time (in seconds):0.399
0.89/0.73	o 233
1.29/0.99	c Got one! Elapsed wall clock time (in seconds):0.655
1.29/0.99	o 232
1.48/1.06	c Got one! Elapsed wall clock time (in seconds):0.732
1.48/1.06	o 231
1.88/1.27	c Got one! Elapsed wall clock time (in seconds):0.94
1.88/1.27	o 230
2.47/1.52	c cleaning 3646 clauses out of 7297 with flag 5057/7297
3.06/1.89	c Got one! Elapsed wall clock time (in seconds):1.555
3.06/1.89	o 229
3.26/1.93	c Got one! Elapsed wall clock time (in seconds):1.599
3.26/1.93	o 228
3.41/2.02	c cleaning 4694 clauses out of 9405 with flag 2344/13051
3.41/2.06	c Got one! Elapsed wall clock time (in seconds):1.727
3.41/2.06	o 227
3.69/2.24	c Got one! Elapsed wall clock time (in seconds):1.909
3.69/2.24	o 226
3.89/2.49	c cleaning 5424 clauses out of 10847 with flag 6708/19187
4.53/2.97	c cleaning 5712 clauses out of 11424 with flag 20301/25188
5.18/3.46	c cleaning 6355 clauses out of 12710 with flag 36191/32186
5.83/4.00	c cleaning 7177 clauses out of 14355 with flag 54648/40186
6.05/4.16	c Got one! Elapsed wall clock time (in seconds):3.831
6.05/4.16	o 225
6.32/4.35	c cleaning 6312 clauses out of 12650 with flag 7910/45658
6.48/4.42	c Got one! Elapsed wall clock time (in seconds):4.083
6.48/4.42	o 224
6.81/4.71	c cleaning 5821 clauses out of 11665 with flag 10944/50985
7.11/5.09	c Got one! Elapsed wall clock time (in seconds):4.759
7.11/5.09	o 223
7.31/5.29	c Got one! Elapsed wall clock time (in seconds):4.961
7.31/5.29	o 222
7.67/9.01	c cleaning 8640 clauses out of 17296 with flag 7396/62437
8.17/9.51	c cleaning 7327 clauses out of 14662 with flag 22238/68443
8.37/9.70	c Got one! Elapsed wall clock time (in seconds):9.364
8.37/9.70	o 221
8.57/9.94	c cleaning 6415 clauses out of 12848 with flag 7327/73956
8.68/10.03	c Got one! Elapsed wall clock time (in seconds):9.699
8.68/10.03	o 220
9.08/10.40	c cleaning 5733 clauses out of 11483 with flag 9647/79006
9.59/10.95	c Got one! Elapsed wall clock time (in seconds):10.619
9.59/10.95	o 219
10.09/11.47	c cleaning 8221 clauses out of 16441 with flag 11461/89697
10.39/11.79	c Got one! Elapsed wall clock time (in seconds):11.461
10.39/11.79	o 218
10.69/12.00	c cleaning 6728 clauses out of 13464 with flag 4580/94941
10.98/12.38	c Got one! Elapsed wall clock time (in seconds):12.052
10.98/12.38	o 217
11.19/12.57	c cleaning 6193 clauses out of 12393 with flag 4668/100598
11.69/13.03	c Got one! Elapsed wall clock time (in seconds):12.702
11.69/13.03	o 216
11.79/13.14	c cleaning 6065 clauses out of 12138 with flag 2284/106536
12.38/13.76	c cleaning 6033 clauses out of 12073 with flag 16112/112536
13.11/14.42	c cleaning 6520 clauses out of 13041 with flag 33002/119537
13.23/14.57	c Got one! Elapsed wall clock time (in seconds):14.239
13.23/14.57	o 215
13.64/14.90	c cleaning 6191 clauses out of 12385 with flag 9807/125401
13.93/15.29	c cleaning 6094 clauses out of 12197 with flag 25008/131404
14.35/15.68	c cleaning 6546 clauses out of 13101 with flag 43196/138402
15.00/16.25	c cleaning 7265 clauses out of 14554 with flag 65676/146401
15.81/17.01	c cleaning 8145 clauses out of 16290 with flag 87521/155402
16.42/17.64	c cleaning 9064 clauses out of 18145 with flag 115565/165402
17.13/18.31	c cleaning 10042 clauses out of 20084 with flag 148338/176405
17.73/18.96	c Got one! Elapsed wall clock time (in seconds):18.625
17.73/18.96	o 214
18.26/19.42	c cleaning 13423 clauses out of 26846 with flag 12573/193209
18.26/19.43	c Got one! Elapsed wall clock time (in seconds):19.095
18.26/19.43	o 213
18.66/19.85	c cleaning 9261 clauses out of 18537 with flag 12072/198323
19.06/20.29	c cleaning 7635 clauses out of 15275 with flag 30983/204322
19.56/20.70	c cleaning 7316 clauses out of 14640 with flag 50934/211322
19.96/21.16	c cleaning 7659 clauses out of 15324 with flag 72941/219322
20.55/21.70	c cleaning 8330 clauses out of 16665 with flag 97417/228322
21.05/22.28	c cleaning 9163 clauses out of 18336 with flag 125126/238323
21.76/22.95	c cleaning 10087 clauses out of 20173 with flag 155446/249323
22.65/23.80	c cleaning 11042 clauses out of 22085 with flag 191161/261322
23.86/25.09	c cleaning 12020 clauses out of 24043 with flag 230926/274322
25.15/26.38	c cleaning 13002 clauses out of 26024 with flag 268511/288323
25.96/27.15	c Got one! Elapsed wall clock time (in seconds):26.821
25.96/27.15	o 212
26.35/27.58	c cleaning 13446 clauses out of 26914 with flag 10950/302215
26.85/28.09	c cleaning 9725 clauses out of 19467 with flag 24158/308214
27.47/28.68	c cleaning 8361 clauses out of 16742 with flag 39786/315214
28.20/29.37	c cleaning 8186 clauses out of 16381 with flag 58232/323214
29.01/30.17	c cleaning 8597 clauses out of 17195 with flag 77668/332214
29.90/31.05	c cleaning 9297 clauses out of 18598 with flag 99816/342214
30.90/32.05	c cleaning 10152 clauses out of 20308 with flag 124268/353221
32.09/33.23	c cleaning 11075 clauses out of 22149 with flag 150971/365214
33.30/34.47	c cleaning 12034 clauses out of 24078 with flag 180003/378218
34.80/35.90	c cleaning 13018 clauses out of 26040 with flag 210952/392214
36.29/37.48	c cleaning 14011 clauses out of 28022 with flag 244689/407214
37.99/39.15	c cleaning 15002 clauses out of 30012 with flag 280667/423215
39.80/40.95	c cleaning 16000 clauses out of 32011 with flag 318959/440216
41.79/42.94	c cleaning 17005 clauses out of 34009 with flag 359048/458214
43.89/45.02	c cleaning 17994 clauses out of 36004 with flag 401250/477214
46.01/47.10	c cleaning 19000 clauses out of 38011 with flag 445655/497215
48.20/49.34	c cleaning 20005 clauses out of 40010 with flag 491272/518214
50.70/51.81	c cleaning 21003 clauses out of 42006 with flag 539015/540215
53.31/54.44	c cleaning 22003 clauses out of 44005 with flag 589881/563217
55.91/57.10	c cleaning 22998 clauses out of 46000 with flag 643629/587215
58.82/59.99	c cleaning 24000 clauses out of 48004 with flag 699485/612217
61.91/63.08	c cleaning 24999 clauses out of 50001 with flag 756949/638214
65.40/66.55	c cleaning 26000 clauses out of 52004 with flag 817981/665216
68.40/69.56	c cleaning 26998 clauses out of 54002 with flag 878651/693214
72.01/73.13	c cleaning 28002 clauses out of 56004 with flag 941328/722214
75.92/77.03	c cleaning 29002 clauses out of 58003 with flag 1006909/752215
79.83/80.98	c cleaning 29996 clauses out of 60001 with flag 1075601/783215
83.95/85.06	c cleaning 31003 clauses out of 62005 with flag 1147280/815215
88.37/89.40	c cleaning 31998 clauses out of 64005 with flag 1220322/848218
93.08/94.13	c cleaning 32990 clauses out of 66003 with flag 1294761/882214
98.20/99.27	c cleaning 34003 clauses out of 68014 with flag 1371644/917215
103.25/104.87	c cleaning 34993 clauses out of 70011 with flag 1450718/953215
108.67/110.22	c cleaning 36004 clauses out of 72018 with flag 1532017/990215
114.08/115.63	c cleaning 36992 clauses out of 74014 with flag 1615944/1028215
120.10/121.68	c cleaning 38006 clauses out of 76021 with flag 1701761/1067214
125.90/127.47	c cleaning 39005 clauses out of 78016 with flag 1789073/1107215
132.71/134.50	c cleaning 40000 clauses out of 80010 with flag 1879413/1148214
139.67/141.47	c cleaning 41006 clauses out of 82011 with flag 1971907/1190215
146.81/148.58	c cleaning 41997 clauses out of 84006 with flag 2066551/1233216
154.32/156.01	c cleaning 43002 clauses out of 86008 with flag 2162319/1277215
161.80/163.66	c cleaning 43998 clauses out of 88006 with flag 2261085/1322215
169.53/171.37	c cleaning 45002 clauses out of 90008 with flag 2360658/1368215
177.74/179.55	c cleaning 46003 clauses out of 92006 with flag 2461934/1415215
186.00/187.77	c cleaning 47000 clauses out of 94002 with flag 2567231/1463214
194.76/196.62	c cleaning 47996 clauses out of 96006 with flag 2674431/1512218
203.90/205.76	c cleaning 49003 clauses out of 98006 with flag 2783328/1562214
212.02/213.83	c cleaning 49997 clauses out of 100003 with flag 2895485/1613214
220.21/221.98	c cleaning 51001 clauses out of 102006 with flag 3011638/1665214
229.39/230.76	c cleaning 52004 clauses out of 104007 with flag 3156120/1718216
238.32/239.63	c cleaning 53001 clauses out of 106001 with flag 3315344/1772214
243.97/245.24	c cleaning 53988 clauses out of 108000 with flag 3461515/1827214
246.11/247.31	c Got one! Elapsed wall clock time (in seconds):246.975
246.11/247.31	o 211
246.82/247.93	c cleaning 41449 clauses out of 82919 with flag 13781/1856121
247.12/248.29	c cleaning 23718 clauses out of 47466 with flag 28902/1862117
247.52/248.68	c cleaning 15357 clauses out of 30752 with flag 46103/1869121
248.02/249.15	c cleaning 11678 clauses out of 23390 with flag 65713/1877116
248.02/249.18	c Got one! Elapsed wall clock time (in seconds):248.848
248.02/249.18	o 210
248.32/249.46	c cleaning 8591 clauses out of 17199 with flag 14979/1882603
248.72/249.80	c cleaning 7297 clauses out of 14607 with flag 32677/1888602
249.16/250.22	c cleaning 7137 clauses out of 14310 with flag 51676/1895602
249.65/250.71	c cleaning 7584 clauses out of 15174 with flag 72337/1903603
250.16/251.28	c cleaning 8291 clauses out of 16591 with flag 94596/1912604
250.85/251.94	c cleaning 9154 clauses out of 18308 with flag 119492/1922612
251.55/252.68	c cleaning 10058 clauses out of 20144 with flag 147722/1933602
252.55/253.69	c cleaning 11043 clauses out of 22086 with flag 183530/1945602
253.81/255.27	c cleaning 12017 clauses out of 24044 with flag 223651/1958603
254.72/256.11	c cleaning 13013 clauses out of 26028 with flag 259150/1972604
256.21/257.64	c cleaning 14008 clauses out of 28016 with flag 304421/1987605
257.80/259.27	c cleaning 15002 clauses out of 30006 with flag 354153/2003603
259.24/260.65	c cleaning 15994 clauses out of 32004 with flag 400222/2020603
260.24/261.66	c cleaning 17004 clauses out of 34010 with flag 443996/2038603
261.33/262.79	c cleaning 17997 clauses out of 36005 with flag 489021/2057602
262.53/263.90	c cleaning 19002 clauses out of 38008 with flag 536572/2077602
263.77/265.14	c cleaning 19996 clauses out of 40009 with flag 585889/2098605
265.06/266.43	c cleaning 20998 clauses out of 42010 with flag 636851/2120602
266.46/267.83	c cleaning 21997 clauses out of 44013 with flag 690782/2143603
268.01/269.36	c cleaning 23003 clauses out of 46015 with flag 747917/2167602
269.41/270.79	c cleaning 24004 clauses out of 48013 with flag 806932/2192603
271.10/272.47	c cleaning 24992 clauses out of 50008 with flag 867524/2218602
272.70/274.10	c cleaning 26005 clauses out of 52018 with flag 930001/2245604
274.44/275.73	c cleaning 27003 clauses out of 54012 with flag 994206/2273603
275.93/277.30	c cleaning 27996 clauses out of 56009 with flag 1062158/2302603
277.73/279.09	c cleaning 29002 clauses out of 58012 with flag 1137331/2332602
279.77/281.04	c cleaning 30002 clauses out of 60010 with flag 1213111/2363602
281.87/283.12	c cleaning 31000 clauses out of 62009 with flag 1294961/2395603
283.95/285.27	c cleaning 32001 clauses out of 64008 with flag 1373520/2428602
286.35/287.69	c cleaning 33001 clauses out of 66008 with flag 1455414/2462603
288.44/289.78	c cleaning 34004 clauses out of 68007 with flag 1532764/2497603
290.63/291.96	c cleaning 34992 clauses out of 70003 with flag 1615126/2533603
293.03/294.33	c cleaning 35995 clauses out of 72011 with flag 1707008/2570603
295.66/296.90	c cleaning 37008 clauses out of 74020 with flag 1803208/2608607
298.06/299.35	c Got one! Elapsed wall clock time (in seconds):299.014
298.06/299.35	o 209
298.61/299.81	c cleaning 37956 clauses out of 75929 with flag 13562/2647524
298.91/300.18	c cleaning 21982 clauses out of 43973 with flag 29389/2653524
299.30/300.58	c cleaning 14490 clauses out of 28991 with flag 48082/2660524
299.81/301.02	c cleaning 11251 clauses out of 22501 with flag 69301/2668524
300.31/301.54	c cleaning 10125 clauses out of 20250 with flag 92570/2677524
300.81/302.10	c cleaning 10057 clauses out of 20126 with flag 117703/2687525
301.40/302.69	c cleaning 10526 clauses out of 21068 with flag 145091/2698524
302.10/303.37	c cleaning 11268 clauses out of 22543 with flag 178336/2710525
303.23/304.42	c cleaning 12138 clauses out of 24275 with flag 218137/2723525
304.64/305.85	c cleaning 13059 clauses out of 26138 with flag 256926/2737526
306.27/307.42	c cleaning 14038 clauses out of 28080 with flag 293632/2752527
307.77/308.98	c cleaning 15014 clauses out of 30040 with flag 334329/2768525
310.36/311.30	c cleaning 16013 clauses out of 32025 with flag 389276/2785524
312.16/313.11	c cleaning 17005 clauses out of 34013 with flag 443317/2803525
313.36/314.38	c cleaning 17997 clauses out of 36008 with flag 491569/2822525
314.79/315.70	c cleaning 19007 clauses out of 38014 with flag 544823/2842528
316.01/317.52	c cleaning 19997 clauses out of 40007 with flag 597398/2863528
317.31/318.89	c cleaning 21001 clauses out of 42008 with flag 652320/2885526
318.70/320.29	c cleaning 21996 clauses out of 44007 with flag 710007/2908526
320.30/321.82	c cleaning 23005 clauses out of 46018 with flag 770307/2932533
321.95/323.45	c cleaning 23999 clauses out of 48005 with flag 832770/2957525
323.65/325.12	c cleaning 25003 clauses out of 50006 with flag 895631/2983525
324.14/325.61	c Got one! Elapsed wall clock time (in seconds):325.281
324.14/325.61	o 208
324.44/325.92	c cleaning 19239 clauses out of 38486 with flag 13886/2997008
324.73/326.26	c cleaning 12618 clauses out of 25247 with flag 29563/3003008
325.13/326.66	c cleaning 9806 clauses out of 19628 with flag 48198/3010007
325.64/327.11	c cleaning 8905 clauses out of 17823 with flag 69198/3018008
326.13/327.61	c cleaning 8956 clauses out of 17917 with flag 93939/3027007
326.64/328.14	c cleaning 9477 clauses out of 18962 with flag 118970/3037008
327.64/329.05	c cleaning 10238 clauses out of 20484 with flag 151067/3048007
328.23/329.69	c cleaning 11109 clauses out of 22246 with flag 180998/3060007
328.93/330.39	c cleaning 12056 clauses out of 24137 with flag 213494/3073007
330.13/331.53	c cleaning 13037 clauses out of 26081 with flag 255545/3087007
331.67/333.05	c cleaning 14023 clauses out of 28045 with flag 292404/3102008
333.42/334.74	c cleaning 15008 clauses out of 30021 with flag 331575/3118007
335.12/336.50	c cleaning 16002 clauses out of 32013 with flag 374472/3135007
336.02/337.37	c cleaning 17005 clauses out of 34011 with flag 417439/3153007
337.06/338.36	c cleaning 18004 clauses out of 36007 with flag 462916/3172008
338.05/339.34	c cleaning 19002 clauses out of 38003 with flag 516574/3192008
339.15/340.46	c cleaning 20000 clauses out of 40003 with flag 566622/3213010
340.55/341.81	c cleaning 20988 clauses out of 42000 with flag 619953/3235007
343.34/344.63	c cleaning 21998 clauses out of 44012 with flag 685928/3258007
345.85/347.33	c cleaning 23001 clauses out of 46015 with flag 747917/3282008
348.37/349.85	c cleaning 24006 clauses out of 48014 with flag 810469/3307008
351.16/352.57	c cleaning 24987 clauses out of 50007 with flag 870657/3333007
354.02/355.37	c cleaning 26008 clauses out of 52020 with flag 937513/3360007
357.16/358.47	c cleaning 27004 clauses out of 54013 with flag 1004332/3388008
359.71/360.91	c cleaning 27995 clauses out of 56008 with flag 1084946/3417007
361.70/362.95	c cleaning 29005 clauses out of 58013 with flag 1164047/3447007
363.74/364.95	c cleaning 29992 clauses out of 60009 with flag 1250138/3478008
366.14/367.31	c cleaning 31004 clauses out of 62017 with flag 1347063/3510008
369.53/370.72	c cleaning 32001 clauses out of 64013 with flag 1445444/3543008
373.05/374.27	c cleaning 33000 clauses out of 66012 with flag 1542049/3577008
375.35/376.50	c cleaning 34006 clauses out of 68012 with flag 1636750/3612008
377.62/379.07	c cleaning 35003 clauses out of 70006 with flag 1732029/3648008
380.50/381.96	c cleaning 35986 clauses out of 72004 with flag 1828206/3685009
384.04/385.40	c cleaning 37007 clauses out of 74018 with flag 1923632/3723009
385.52/386.94	c Got one! Elapsed wall clock time (in seconds):386.609
385.52/386.94	o 207
386.03/387.40	c cleaning 30837 clauses out of 61685 with flag 11222/3747683
386.42/387.88	c cleaning 18417 clauses out of 36849 with flag 25910/3753684
387.15/388.50	c cleaning 12705 clauses out of 25431 with flag 43074/3760683
387.75/389.14	c cleaning 10357 clauses out of 20727 with flag 62201/3768684
388.45/389.87	c cleaning 9680 clauses out of 19369 with flag 85009/3777683
389.24/390.65	c cleaning 9840 clauses out of 19689 with flag 107652/3787683
390.24/391.64	c cleaning 10415 clauses out of 20850 with flag 134367/3798684
391.27/392.68	c cleaning 11209 clauses out of 22434 with flag 164104/3810683
392.47/393.88	c cleaning 12106 clauses out of 24226 with flag 196604/3823684
393.76/395.12	c cleaning 13053 clauses out of 26120 with flag 231377/3837684
395.18/396.53	c cleaning 14024 clauses out of 28066 with flag 267803/3852683
396.69/398.08	c cleaning 15010 clauses out of 30042 with flag 306659/3868683
398.42/399.79	c cleaning 16006 clauses out of 32032 with flag 347944/3885683
400.01/401.33	c cleaning 17007 clauses out of 34027 with flag 391459/3903684
401.87/403.18	c cleaning 18002 clauses out of 36021 with flag 440015/3922685
403.84/405.15	c cleaning 19005 clauses out of 38019 with flag 491124/3942685
405.43/406.73	c cleaning 19997 clauses out of 40012 with flag 544988/3963683
406.67/407.98	c cleaning 21006 clauses out of 42015 with flag 597402/3985683
408.10/409.75	c cleaning 21989 clauses out of 44009 with flag 651095/4008683
409.50/411.15	c cleaning 23004 clauses out of 46020 with flag 709853/4032683
410.99/412.66	c cleaning 24007 clauses out of 48018 with flag 770031/4057685
412.63/414.27	c cleaning 25005 clauses out of 50009 with flag 831050/4083683
414.33/415.96	c cleaning 26002 clauses out of 52004 with flag 893787/4110683
416.13/417.75	c cleaning 26998 clauses out of 54002 with flag 959244/4138683
418.03/419.65	c cleaning 27996 clauses out of 56004 with flag 1026482/4167683
420.07/421.60	c cleaning 29002 clauses out of 58009 with flag 1096987/4197684
422.26/423.84	c cleaning 30004 clauses out of 60007 with flag 1164693/4228684
424.26/425.87	c cleaning 30998 clauses out of 62002 with flag 1242980/4260683
426.36/428.00	c cleaning 31996 clauses out of 64004 with flag 1324114/4293683
428.69/430.23	c cleaning 33003 clauses out of 66008 with flag 1406551/4327683
431.08/432.67	c cleaning 34003 clauses out of 68005 with flag 1486349/4362683
433.57/435.16	c cleaning 35000 clauses out of 70003 with flag 1573790/4398684
436.11/437.61	c cleaning 35999 clauses out of 72003 with flag 1660920/4435684
438.60/440.57	c cleaning 37002 clauses out of 74004 with flag 1748348/4473684
441.30/443.23	c cleaning 37997 clauses out of 76002 with flag 1840833/4512684
444.03/445.96	c cleaning 38999 clauses out of 78004 with flag 1933669/4552683
447.03/448.92	c cleaning 40003 clauses out of 80006 with flag 2031250/4593684
450.23/452.16	c cleaning 40998 clauses out of 82003 with flag 2128992/4635684
453.45/455.36	c cleaning 42001 clauses out of 84004 with flag 2228184/4678683
456.85/458.75	c cleaning 42991 clauses out of 86006 with flag 2328917/4722686
460.44/462.31	c cleaning 43995 clauses out of 88012 with flag 2432122/4767683
464.18/466.04	c cleaning 44989 clauses out of 90017 with flag 2539311/4813683
468.25/470.26	c cleaning 46007 clauses out of 92028 with flag 2647409/4860683
473.30/475.25	c cleaning 47005 clauses out of 94022 with flag 2758542/4908684
477.18/479.12	c cleaning 48005 clauses out of 96016 with flag 2873717/4957683
481.33/483.21	c cleaning 49000 clauses out of 98012 with flag 2990272/5007684
485.13/487.08	c cleaning 50005 clauses out of 100012 with flag 3110125/5058684
489.36/491.28	c cleaning 50999 clauses out of 102006 with flag 3232960/5110683
493.55/495.44	c cleaning 52000 clauses out of 104007 with flag 3355869/5163683
498.00/499.86	c cleaning 53003 clauses out of 106008 with flag 3479947/5217684
502.32/504.30	c cleaning 53998 clauses out of 108007 with flag 3607062/5272686
507.18/509.12	c cleaning 54999 clauses out of 110006 with flag 3733097/5328683
512.36/514.37	c cleaning 55990 clauses out of 112007 with flag 3863596/5385683
517.39/519.34	c cleaning 57009 clauses out of 114018 with flag 3998214/5443684
522.58/524.57	c cleaning 58002 clauses out of 116009 with flag 4133111/5502684
528.22/530.12	c cleaning 59000 clauses out of 118006 with flag 4274729/5562683
533.81/536.00	c cleaning 59998 clauses out of 120006 with flag 4415381/5623683
539.94/542.01	c cleaning 60998 clauses out of 122010 with flag 4560768/5685685
545.73/547.85	c cleaning 62003 clauses out of 124010 with flag 4707867/5748683
552.26/554.39	c cleaning 63002 clauses out of 126007 with flag 4854789/5812683
558.00/560.07	c cleaning 63998 clauses out of 128006 with flag 5007054/5877684
564.23/566.44	c cleaning 64997 clauses out of 130010 with flag 5162689/5943686
570.68/572.84	c cleaning 66001 clauses out of 132010 with flag 5322877/6010683
576.76/578.99	c cleaning 67006 clauses out of 134014 with flag 5481169/6078688
583.59/585.73	c cleaning 67989 clauses out of 136003 with flag 5644076/6147683
590.13/592.26	c cleaning 69002 clauses out of 138015 with flag 5808614/6217684
596.97/599.20	c cleaning 69995 clauses out of 140012 with flag 5974057/6288683
604.20/606.49	c cleaning 71004 clauses out of 142017 with flag 6145183/6360683
611.13/613.40	c cleaning 71999 clauses out of 144013 with flag 6318415/6433683
618.17/620.35	c cleaning 73007 clauses out of 146015 with flag 6494548/6507684
625.71/628.04	c cleaning 74002 clauses out of 148007 with flag 6671939/6582683
632.83/635.15	c cleaning 75001 clauses out of 150006 with flag 6846685/6658684
640.44/642.76	c cleaning 75997 clauses out of 152005 with flag 7029600/6735684
648.48/650.78	c cleaning 77003 clauses out of 154007 with flag 7208228/6813683
657.37/659.80	c cleaning 77996 clauses out of 156008 with flag 7395055/6892687
665.46/667.86	c cleaning 79001 clauses out of 158008 with flag 7579370/6972683
673.27/675.69	c cleaning 79994 clauses out of 160008 with flag 7765683/7053684
682.05/684.28	c cleaning 81006 clauses out of 162014 with flag 7953993/7135684
690.80/693.13	c cleaning 82000 clauses out of 164008 with flag 8147742/7218684
700.08/702.40	c cleaning 82996 clauses out of 166011 with flag 8342253/7302687
709.09/711.49	c cleaning 83999 clauses out of 168011 with flag 8541547/7387683
718.94/722.11	c cleaning 85002 clauses out of 170012 with flag 8744336/7473683
728.51/731.76	c cleaning 86003 clauses out of 172010 with flag 8946126/7560683
738.83/742.09	c cleaning 86999 clauses out of 174008 with flag 9153346/7648684
748.91/752.99	c cleaning 88003 clauses out of 176008 with flag 9358531/7737683
759.60/763.69	c cleaning 88998 clauses out of 178005 with flag 9567631/7827683
771.22/775.24	c cleaning 90003 clauses out of 180007 with flag 9781426/7918683
782.38/786.49	c cleaning 90988 clauses out of 182004 with flag 10027703/8010683
794.24/798.26	c cleaning 92007 clauses out of 184023 with flag 10315997/8103690
805.64/809.60	c cleaning 92999 clauses out of 186010 with flag 10562752/8197684
812.68/816.61	c cleaning 93996 clauses out of 188011 with flag 10787465/8292684
818.83/822.74	c cleaning 95004 clauses out of 190014 with flag 11016656/8388683
826.12/830.08	c cleaning 95996 clauses out of 192010 with flag 11251495/8485683
832.66/836.51	c cleaning 96997 clauses out of 194014 with flag 11498775/8583683
838.97/843.22	c cleaning 98001 clauses out of 196017 with flag 11736228/8682683
845.71/849.98	c cleaning 99003 clauses out of 198018 with flag 11980301/8782685
858.26/862.50	c cleaning 99999 clauses out of 200013 with flag 12238455/8883683
873.85/878.10	c cleaning 100998 clauses out of 202014 with flag 12526536/8985683
887.20/891.35	c cleaning 102003 clauses out of 204017 with flag 12809414/9088684
901.17/905.36	c cleaning 102997 clauses out of 206019 with flag 13097925/9192689
912.32/916.47	c cleaning 103998 clauses out of 208016 with flag 13377346/9297683
920.75/924.88	c cleaning 105000 clauses out of 210018 with flag 13645988/9403683
931.68/935.80	c cleaning 106004 clauses out of 212018 with flag 13934031/9510683
945.41/949.55	c cleaning 107007 clauses out of 214014 with flag 14226460/9618683
954.24/958.38	c cleaning 107988 clauses out of 216008 with flag 14491183/9727684
967.56/971.71	c cleaning 109005 clauses out of 218020 with flag 14771126/9837684
979.56/983.67	c cleaning 110000 clauses out of 220014 with flag 15071000/9948683
992.69/996.83	c cleaning 110993 clauses out of 222015 with flag 15365064/10060684
1004.92/1009.03	c cleaning 112004 clauses out of 224021 with flag 15668435/10173683
1020.62/1024.78	c cleaning 113004 clauses out of 226017 with flag 15965870/10287683
1034.35/1038.47	c cleaning 113999 clauses out of 228013 with flag 16280397/10402683
1044.47/1048.51	c cleaning 114994 clauses out of 230014 with flag 16564244/10518683
1052.90/1057.07	c cleaning 116004 clauses out of 232020 with flag 16843661/10635683
1061.93/1066.05	c cleaning 116996 clauses out of 234017 with flag 17124942/10753684
1069.97/1074.05	c cleaning 118005 clauses out of 236021 with flag 17410606/10872684
1078.75/1082.89	c cleaning 119007 clauses out of 238015 with flag 17702076/10992683
1086.78/1090.98	c cleaning 119996 clauses out of 240008 with flag 17996117/11113683
1094.21/1098.38	c cleaning 121002 clauses out of 242013 with flag 18298120/11235684
1103.15/1107.27	c cleaning 122001 clauses out of 244011 with flag 18591829/11358684
1112.19/1116.32	c cleaning 122996 clauses out of 246010 with flag 18882399/11482684
1125.39/1129.47	c cleaning 123998 clauses out of 248014 with flag 19209859/11607684
1137.61/1141.35	c cleaning 124995 clauses out of 250015 with flag 19520406/11733683
1148.18/1152.07	c cleaning 126005 clauses out of 252020 with flag 19816970/11860683
1157.60/1161.47	c cleaning 127001 clauses out of 254016 with flag 20112959/11988684
1168.64/1172.41	c cleaning 128002 clauses out of 256015 with flag 20420116/12117684
1178.13/1182.07	c cleaning 129004 clauses out of 258012 with flag 20723803/12247683
1187.84/1191.77	c cleaning 130001 clauses out of 260008 with flag 21025852/12378683
1197.86/1201.76	c cleaning 130999 clauses out of 262008 with flag 21331412/12510684
1209.35/1213.39	c cleaning 131998 clauses out of 264008 with flag 21639712/12643683
1220.17/1224.16	c cleaning 133002 clauses out of 266011 with flag 21952662/12777684
1231.51/1235.40	c cleaning 133988 clauses out of 268010 with flag 22266488/12912685
1243.13/1247.13	c cleaning 135008 clauses out of 270021 with flag 22586862/13048684
1253.85/1257.89	c cleaning 135998 clauses out of 272012 with flag 22918919/13185683
1263.78/1267.76	c cleaning 137003 clauses out of 274016 with flag 23250702/13323685
1275.45/1279.46	c cleaning 138001 clauses out of 276011 with flag 23576683/13462683
1288.22/1292.27	c cleaning 139000 clauses out of 278010 with flag 23906697/13602683
1300.26/1304.30	c cleaning 140005 clauses out of 280011 with flag 24233067/13743684
1312.12/1316.12	c cleaning 140998 clauses out of 282005 with flag 24564340/13885683
1324.15/1328.13	c cleaning 141999 clauses out of 284007 with flag 24907849/14028683
1336.17/1340.29	c cleaning 143001 clauses out of 286009 with flag 25265081/14172684
1349.34/1353.49	c cleaning 143996 clauses out of 288008 with flag 25629482/14317684
1365.95/1370.12	c cleaning 144997 clauses out of 290011 with flag 26006772/14463683
1378.66/1382.71	c cleaning 145997 clauses out of 292014 with flag 26379084/14610683
1392.36/1396.57	c cleaning 147002 clauses out of 294018 with flag 26740427/14758684
1404.69/1408.88	c cleaning 148008 clauses out of 296015 with flag 27116100/14907683
1418.47/1422.74	c cleaning 148993 clauses out of 298007 with flag 27503885/15057683
1435.10/1439.36	c cleaning 150001 clauses out of 300015 with flag 27909668/15208684
1447.86/1452.05	c cleaning 150995 clauses out of 302013 with flag 28328021/15360683
1466.69/1472.13	c cleaning 152000 clauses out of 304018 with flag 28740165/15513683
1483.40/1488.92	c cleaning 153004 clauses out of 306020 with flag 29146080/15667685
1497.12/1502.54	c cleaning 154003 clauses out of 308014 with flag 29549990/15822683
1513.39/1518.61	c cleaning 155003 clauses out of 310012 with flag 29945528/15978684
1532.30/1540.31	c cleaning 156001 clauses out of 312011 with flag 30335642/16135686
1549.82/1557.81	c cleaning 157001 clauses out of 314008 with flag 30734998/16293684
1569.29/1577.18	c cleaning 157998 clauses out of 316006 with flag 31126042/16452683
1587.09/1594.76	c cleaning 158997 clauses out of 318008 with flag 31520923/16612683
1610.49/1618.31	c cleaning 159997 clauses out of 320011 with flag 31916319/16773683
1629.78/1637.42	c cleaning 161008 clauses out of 322015 with flag 32312908/16935684
1650.75/1658.55	c cleaning 161995 clauses out of 324006 with flag 32721499/17098683
1677.61/1685.11	c cleaning 163003 clauses out of 326013 with flag 33128394/17262685
1705.22/1713.08	c cleaning 163998 clauses out of 328009 with flag 33529104/17427684
1728.97/1736.93	c cleaning 165001 clauses out of 330010 with flag 33942733/17593683
1755.37/1763.15	c cleaning 166002 clauses out of 332009 with flag 34360233/17760683
1783.68/1792.77	c cleaning 167001 clauses out of 334007 with flag 34780233/17928683
1805.51/1814.57	c cleaning 167991 clauses out of 336006 with flag 35194737/18097683
1824.89/1833.76	c cleaning 168997 clauses out of 338015 with flag 35621144/18267683
1849.18/1858.61	c cleaning 170006 clauses out of 340020 with flag 36048864/18438685
1868.53/1877.69	c cleaning 170999 clauses out of 342013 with flag 36481827/18610684
1897.68/1906.81	c cleaning 172000 clauses out of 344014 with flag 36901968/18783684
1927.46/1936.69	c cleaning 173001 clauses out of 346015 with flag 37324540/18957685
1950.69/1959.23	c cleaning 174000 clauses out of 348014 with flag 37760524/19132685
1981.94/1990.54	c cleaning 175001 clauses out of 350013 with flag 38187950/19308684
2013.03/2021.62	c cleaning 176004 clauses out of 352011 with flag 38617803/19485683
2043.91/2052.61	c cleaning 176999 clauses out of 354008 with flag 39050091/19663684
2075.52/2083.96	c cleaning 178001 clauses out of 356010 with flag 39484806/19842685
2104.35/2112.85	c cleaning 179001 clauses out of 358008 with flag 39920321/20022684
2131.73/2140.28	c cleaning 180001 clauses out of 360006 with flag 40356598/20203683
2157.36/2166.10	c cleaning 181000 clauses out of 362006 with flag 40797134/20385684
2177.79/2186.31	c cleaning 181997 clauses out of 364006 with flag 41270008/20568684
2198.67/2207.19	c cleaning 182998 clauses out of 366008 with flag 41766951/20752683
2215.67/2224.22	c cleaning 184001 clauses out of 368013 with flag 42226910/20937686
2230.29/2238.85	c cleaning 184997 clauses out of 370009 with flag 42677158/21123683
2249.33/2258.04	c cleaning 185992 clauses out of 372012 with flag 43161935/21310683
2264.67/2273.49	c cleaning 187010 clauses out of 374020 with flag 43634559/21498683
2281.57/2290.20	c cleaning 187997 clauses out of 376010 with flag 44090098/21687683
2302.46/2311.26	c cleaning 189001 clauses out of 378013 with flag 44556672/21877683
2321.48/2330.20	c cleaning 189999 clauses out of 380012 with flag 45021044/22068683
2340.01/2348.73	c cleaning 190994 clauses out of 382013 with flag 45490597/22260683
2359.50/2368.30	c cleaning 192002 clauses out of 384019 with flag 45942990/22453683
2376.70/2385.17	c cleaning 193004 clauses out of 386017 with flag 46427912/22647683
2391.16/2399.78	c cleaning 193999 clauses out of 388013 with flag 46910721/22842683
2407.83/2416.36	c cleaning 194999 clauses out of 390014 with flag 47375317/23038683
2424.54/2433.13	c cleaning 195997 clauses out of 392015 with flag 47860838/23235683
2442.79/2451.37	c cleaning 197002 clauses out of 394020 with flag 48356845/23433685
2462.13/2470.60	c cleaning 197999 clauses out of 396016 with flag 48863278/23632683
2480.71/2489.20	c cleaning 199003 clauses out of 398018 with flag 49358346/23832684
2500.62/2509.13	c cleaning 200002 clauses out of 400014 with flag 49857461/24033683
2520.72/2529.36	c cleaning 201002 clauses out of 402013 with flag 50358938/24235684
2540.53/2549.29	c cleaning 202003 clauses out of 404011 with flag 50865874/24438684
2565.37/2574.06	c cleaning 203001 clauses out of 406008 with flag 51379354/24642684
2593.60/2602.34	c cleaning 203997 clauses out of 408007 with flag 51890871/24847684
2620.59/2629.35	c cleaning 205002 clauses out of 410009 with flag 52402443/25053683
2646.81/2655.63	c cleaning 205998 clauses out of 412007 with flag 52938859/25260683
2675.38/2683.98	c cleaning 207002 clauses out of 414009 with flag 53447015/25468683
2696.91/2705.50	c cleaning 208004 clauses out of 416008 with flag 53966282/25677684
2723.55/2732.17	c cleaning 208995 clauses out of 418003 with flag 54507653/25887683
2769.28/2778.04	c cleaning 209998 clauses out of 420009 with flag 55070347/26098684
2819.23/2828.02	c cleaning 211005 clauses out of 422010 with flag 55635673/26310683
2867.57/2876.41	c cleaning 211995 clauses out of 424005 with flag 56201954/26523683
2919.12/2928.14	c cleaning 213003 clauses out of 426010 with flag 56766135/26737683
2968.14/2977.12	c cleaning 213993 clauses out of 428007 with flag 57332964/26952683
2994.89/3003.90	c cleaning 215007 clauses out of 430014 with flag 57877405/27168683
3015.30/3024.42	c cleaning 215993 clauses out of 432008 with flag 58378541/27385684
3041.67/3050.91	c cleaning 217004 clauses out of 434014 with flag 58838826/27603683
3064.85/3074.21	c cleaning 217996 clauses out of 436010 with flag 59333137/27822683
3096.89/3106.33	c cleaning 219002 clauses out of 438014 with flag 59913152/28042683
3124.52/3134.02	c cleaning 219998 clauses out of 440012 with flag 60469234/28263683
3149.87/3159.35	c cleaning 220989 clauses out of 442014 with flag 60950320/28485683
3171.89/3181.41	c cleaning 222007 clauses out of 444026 with flag 61473677/28708684
3195.94/3205.56	c cleaning 223005 clauses out of 446019 with flag 62056559/28932684
3226.24/3235.99	c cleaning 224001 clauses out of 448014 with flag 62642076/29157684
3258.95/3268.47	c cleaning 225007 clauses out of 450013 with flag 63202291/29383684
3277.52/3287.09	c cleaning 225999 clauses out of 452005 with flag 63774753/29610683
3303.24/3312.74	c cleaning 226999 clauses out of 454007 with flag 64374280/29838684
3325.06/3334.67	c cleaning 227999 clauses out of 456008 with flag 64950649/30067684
3354.50/3364.16	c cleaning 228991 clauses out of 458008 with flag 65495474/30297683
3377.50/3387.23	c cleaning 230005 clauses out of 460018 with flag 66042240/30528684
3409.28/3419.12	c cleaning 230996 clauses out of 462012 with flag 66572116/30760683
3441.59/3452.09	c cleaning 232002 clauses out of 464017 with flag 67123569/30993684
3471.08/3481.80	c cleaning 233004 clauses out of 466015 with flag 67683322/31227684
3496.25/3507.08	c cleaning 233997 clauses out of 468010 with flag 68232808/31462683
3519.72/3530.40	c cleaning 235002 clauses out of 470013 with flag 68806872/31698683
3542.61/3553.41	c cleaning 236003 clauses out of 472012 with flag 69385906/31935684
3565.11/3576.14	c cleaning 236990 clauses out of 474008 with flag 69992248/32173683
3587.37/3598.53	c cleaning 238006 clauses out of 476018 with flag 70526415/32412683
3600.08/3611.21	c starts		: 78786
3600.08/3611.21	c conflicts		: 32553920
3600.08/3611.21	c decisions		: 70659072
3600.08/3611.21	c propagations		: 407758381
3600.08/3611.21	c inspects		: 18577322511
3600.08/3611.21	c shortcuts		: 0
3600.08/3611.21	c learnt literals	: 0
3600.08/3611.21	c learnt binary clauses	: 22
3600.08/3611.21	c learnt ternary clauses	: 199
3600.08/3611.21	c learnt constraints	: 32553920
3600.08/3611.21	c ignored constraints	: 0
3600.08/3611.21	c root simplifications	: 0
3600.08/3611.21	c removed literals (reason simplification)	: 5307284226
3600.08/3611.21	c reason swapping (by a shorter reason)	: 0
3600.08/3611.21	c Calls to reduceDB	: 416
3600.08/3611.21	c Number of update (reduction) of LBD	: 8630911
3600.08/3611.21	c Imported unit clauses	: 0
3600.08/3611.21	c No decision after first conflict	: false
3600.08/3611.21	c number of reductions to clauses (during analyze)	: 0
3600.08/3611.21	c number of learned constraints concerned by reduction	: 0
3600.08/3611.21	c number of learning phase by resolution	: 0
3600.08/3611.21	c number of learning phase by cutting planes	: 0
3600.08/3611.21	c number of rounding to 1 operations	: 0
3600.08/3611.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3611.21	c number of reductions of the coefficients by power 2 	: 0
3600.08/3611.21	c number of right shift for reduction by power 2 	: 0
3600.08/3611.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3611.21	c number of ending skipping 	: 0
3600.08/3611.21	c number of internal skipping 	: 0
3600.08/3611.21	c number of derivation steps 	: 0
3600.08/3611.21	c number of skipped derivation steps 	: 0
3600.08/3611.21	c number of remaining unassigned 	: 0
3600.08/3611.21	c number of remaining assigned 	: 0
3600.08/3611.21	c number of falsified literals weakened from reason	: 0
3600.08/3611.21	c number of falsified literals weakened from conflict	: 0
3600.08/3611.21	c time for arithmetic operations	: 0
3600.08/3611.21	c minimum degree of deleted constraints	: null
3600.08/3611.21	c maximum degree of deleted constraints	: null
3600.08/3611.21	c number of deleted constraints	: 0
3600.08/3611.21	c speed (assignments/second)	: 112928.0914173922
3600.08/3611.21	c non guided choices	: 0
3600.08/3611.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 379227
3600.08/3611.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 22
3600.08/3611.27	s SATISFIABLE
3600.08/3611.27	c Found 38 solution(s)
3600.08/3611.28	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.08/3611.28	c objective function=207
3600.08/3611.28	c Total wall clock time (in seconds): 3610.945

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486663-1751336155/watcher-4486663-1751336155 -o /tmp/evaluation-result-4486663-1751336155/solver-4486663-1751336155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751336155-49843 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486663-1751336155 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486663-1751336155.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49900, runsolver pid=49884
Current StackSize limit: 8192 KiB


[startup+0.100055 s]*
/proc/loadavg: 1.28 2.66 3.51 3/300 49934
/proc/meminfo: memFree=128575828/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=404 memory=128 CPUtime=0 cores=1,3
/proc/49900/stat : 49900 (java) D 49884 49900 49831 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 49293494 413696 32 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 101 32 32 1 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 404 KiB
Current children cumulated memory: 128 KiB

[startup+0.20478 s]*
/proc/loadavg: 1.28 2.66 3.51 8/323 49957
/proc/meminfo: memFree=128532808/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=18330292 memory=38812 CPUtime=0.01 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 4982 0 0 0 0 1 0 0 20 0 9 0 49293494 18770219008 9703 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16784588 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4582573 9703 4154 1 0 544005 0
[pid=49900/tid=49952] ppid=49884 vsize=18330292 memory=3461362064260530460 CPUtime=0.01 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 4384 0 0 0 0 1 0 0 20 0 9 0 49293512 18770219008 9703 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18330292 KiB
Current children cumulated memory: 38812 KiB

[startup+0.30559 s]*
/proc/loadavg: 1.28 2.66 3.51 9/334 49968
/proc/meminfo: memFree=128483552/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=18930384 memory=57880 CPUtime=0.14 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 6607 0 0 0 11 3 0 0 20 0 18 0 49293494 19384713216 14470 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4732596 14470 5338 1 0 547642 0
[pid=49900/tid=49952] ppid=49884 vsize=18930384 memory=-6000919489835852651 CPUtime=0.09 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 5103 0 0 0 7 2 0 0 20 0 18 0 49293512 19384713216 14470 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49293515 19384713216 14470 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49293515 19384713216 14470 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57880 KiB

[startup+0.700219 s]
/proc/loadavg: 1.28 2.66 3.51 8/315 49974
/proc/meminfo: memFree=128387520/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=18996948 memory=105064 CPUtime=0.89 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 9742 0 0 0 83 6 0 0 20 0 19 0 49293494 19452874752 26266 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4749237 26266 5466 1 0 549944 0
[pid=49900/tid=49952] ppid=49884 vsize=18996948 memory=0 CPUtime=0.4 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 5460 0 0 0 36 4 0 0 20 0 19 0 49293512 19452874752 26266 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=18996948 memory=68266944 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49293515 19452874752 26266 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=18996948 memory=2623 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49293515 19452874752 26266 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=18996948 memory=56286469424100 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49293538 19452874752 26266 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105064 KiB

[startup+1.50024 s]
/proc/loadavg: 1.28 2.66 3.51 5/296 49988
/proc/meminfo: memFree=128369256/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=169136 CPUtime=2.47 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 17475 0 0 0 239 8 0 0 20 0 20 0 49293494 19521036288 42284 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 42284 5498 1 0 552180 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=0 CPUtime=1.15 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 6060 0 0 0 110 5 0 0 20 0 20 0 49293512 19521036288 42284 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 42284 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=219899232572 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 42284 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=68266944 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 42284 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169136 KiB

[startup+3.10542 s]
/proc/loadavg: 1.28 2.66 3.51 4/296 50032
/proc/meminfo: memFree=128168236/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=329876 CPUtime=4.77 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 20715 0 0 0 464 13 0 0 20 0 20 0 49293494 19521036288 82469 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 82469 5498 1 0 552233 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=0 CPUtime=2.71 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 7075 0 0 0 263 8 0 0 20 0 20 0 49293512 19521036288 82469 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=68266944 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 82469 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=121816 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 82469 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 82469 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 329876 KiB

[startup+6.30014 s]
/proc/loadavg: 1.50 2.68 3.52 1/296 50032
/proc/meminfo: memFree=127808368/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=543228 CPUtime=7.5 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 21219 0 0 0 731 19 0 0 20 0 20 0 49293494 19521036288 135807 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 135807 5498 1 0 552234 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=7593750017922390123 CPUtime=4.99 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) D 49884 49900 49831 0 -1 4194368 7429 0 0 0 484 15 0 0 20 0 20 0 49293512 19521036288 135807 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 135807 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 135807 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 135807 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 543228 KiB

[startup+12.7002 s]
/proc/loadavg: 1.70 2.70 3.52 4/322 50124
/proc/meminfo: memFree=126756360/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=1309288 CPUtime=11.39 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 25607 0 0 0 1102 37 0 0 20 0 20 0 49293494 19521036288 327322 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 327322 5498 1 0 552250 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=543228 CPUtime=8.8 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 8967 0 0 0 848 32 0 0 20 0 20 0 49293512 19521036288 327322 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 327322 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=329876 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 327322 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=219899232572 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 327322 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 11.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1309288 KiB

[startup+25.5002 s]
/proc/loadavg: 2.34 2.80 3.54 5/342 50175
/proc/meminfo: memFree=123884416/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=1317616 CPUtime=24.35 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 30120 0 0 0 2389 46 0 0 20 0 20 0 49293494 19521036288 329404 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 329404 5498 1 0 552250 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=543228 CPUtime=21.54 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 10471 0 0 0 2113 41 0 0 20 0 20 0 49293512 19521036288 329404 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=1317616 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 329404 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 329404 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=164 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 329404 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 24.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1317616 KiB

[startup+51.1056 s]
/proc/loadavg: 2.98 2.91 3.56 7/343 50176
/proc/meminfo: memFree=122062552/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=1340360 CPUtime=50.02 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 34746 0 0 0 4938 64 0 0 20 0 20 0 49293494 19521036288 335090 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 335090 5530 1 0 552250 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=16360 CPUtime=46.95 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 11815 0 0 0 4638 57 0 0 20 0 20 0 49293512 19521036288 335090 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=18176 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 335090 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 335090 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=543228 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 335090 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 50.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1340360 KiB

[startup+102.3 s]

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

/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211084 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/343 50364
/proc/meminfo: memFree=85741468/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3272.94 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 124152 0 0 0 326080 1214 0 0 20 0 20 0 49293494 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 552771 5530 1 0 566717 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3225.42 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 46705 0 0 0 321433 1109 0 0 20 0 20 0 49293512 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211084 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/344 50367
/proc/meminfo: memFree=85361728/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3332.79 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 125324 0 0 0 332049 1230 0 0 20 0 20 0 49293494 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 552771 5530 1 0 566719 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3284.79 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 47612 0 0 0 327355 1124 0 0 20 0 20 0 49293512 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211084 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/344 50369
/proc/meminfo: memFree=85034236/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3392.6 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 126217 0 0 0 338019 1241 0 0 20 0 20 0 49293494 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 552771 5530 1 0 566719 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=18304 CPUtime=3344.26 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 48314 0 0 0 333292 1134 0 0 20 0 20 0 49293512 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 1505 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=-6000919489835852651 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/344 50371
/proc/meminfo: memFree=84716988/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3451.86 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 126777 0 0 0 343934 1252 0 0 20 0 20 0 49293494 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 552771 5530 1 0 566719 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=18304 CPUtime=3403.05 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 48638 0 0 0 339162 1143 0 0 20 0 20 0 49293512 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 1592 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 3451.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211084 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/343 50374
/proc/meminfo: memFree=84320780/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3511.58 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 126908 0 0 0 349893 1265 0 0 20 0 20 0 49293494 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 552771 5530 1 0 566719 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3462.21 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 48653 0 0 0 345067 1154 0 0 20 0 20 0 49293512 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=-6000919489835852651 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211084 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/343 50376
/proc/meminfo: memFree=83962224/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3571.34 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 127502 0 0 0 355852 1282 0 0 20 0 20 0 49293494 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 552771 5530 1 0 566719 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=2764 CPUtime=3521.37 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 49112 0 0 0 350967 1170 0 0 20 0 20 0 49293512 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=3104 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 3571.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/343 50376
/proc/meminfo: memFree=83816896/131250000 swapFree=33010684/33010684
[pid=49900] ppid=49884 vsize=19063512 memory=2211084 CPUtime=3600.08 cores=1,3
/proc/49900/stat : 49900 (java) S 49884 49900 49831 0 -1 4194304 128243 0 0 0 358719 1289 0 0 20 0 20 0 49293494 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
/proc/49900/statm: 4765878 552771 5530 1 0 566719 0
[pid=49900/tid=49952] ppid=49884 vsize=19063512 memory=5760 CPUtime=3549.92 cores=1,3
/proc/49900/task/49952/stat : 49952 (java) R 49884 49900 49831 0 -1 4194368 49641 0 0 0 353815 1177 0 0 20 0 20 0 49293512 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49961] ppid=49884 vsize=19063512 memory=3104 CPUtime=0 cores=1,3
/proc/49900/task/49961/stat : 49961 (Finalizer) S 49884 49900 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49968] ppid=49884 vsize=19063512 memory=2211084 CPUtime=0 cores=1,3
/proc/49900/task/49968/stat : 49968 (Common-Cleaner) S 49884 49900 49831 0 -1 4194368 1711 0 0 0 0 0 0 0 20 0 20 0 49293515 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
[pid=49900/tid=49973] ppid=49884 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/49900/task/49973/stat : 49973 (Timer-0) S 49884 49900 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49293538 19521036288 552771 18446744073709551615 94796409417728 94796409421424 140729780784000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94796409429240 94796409430032 94796414361600 140729780791600 140729780791782 140729780791782 140729780797384 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.35 s, system=12.9134 s

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

[startup+3611.31 s]*
/proc/loadavg: 4.12 4.10 4.09 4/325 50379
/proc/meminfo: memFree=85996552/131250000 swapFree=33010684/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): 3611.33
CPU time (s): 3600.27
CPU user time (s): 3587.35
CPU system time (s): 12.9134
CPU usage (%): 99.6936
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2591632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.35
system time used= 12.9134
maximum resident set size= 2591632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26724360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129282
involuntary context switches= 12611


# summary of solver processes directly reported to runsolver:
#   pid: 49900
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3587.35
#   total CPU system time (s): 12.9134

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51616 second user time and 16.7859 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-01 04:15:56
IDJOB=4486663
IDBENCH=147034
IDSOLVER=3364
FILE ID=nodeC018/4486663-1751336155
RUNJOBID= nodeC018-1751336155-49843
SLURM_JOB_ID= 9594383
Free space on /tmp= 432932 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486663-1751336155/watcher-4486663-1751336155 -o /tmp/evaluation-result-4486663-1751336155/solver-4486663-1751336155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751336155-49843 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486663-1751336155 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486663-1751336155.opb

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

MD5SUM BENCH= 0ec52d363b7c61cdd5525674056021d1
RANDOM SEED=126312382

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128618040 kB
MemAvailable:   129757692 kB
Buffers:            3280 kB
Cached:          1940740 kB
SwapCached:            0 kB
Active:           326064 kB
Inactive:        1682960 kB
Active(anon):      83080 kB
Inactive(anon):        0 kB
Active(file):     242984 kB
Inactive(file):  1682960 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4496 kB
Writeback:             0 kB
AnonPages:         68468 kB
Mapped:           103500 kB
Shmem:             18076 kB
KReclaimable:     105496 kB
Slab:             193848 kB
SReclaimable:     105496 kB
SUnreclaim:        88352 kB
KernelStack:        4160 kB
PageTables:         2992 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     331800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432928 MiB
End job on nodeC018 at 2025-07-01 05:16:08