Trace number 4502278

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)33 3600.62 3597.39

General information on the benchmark

NamePB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
MD5SUMab4c554ed2f191f485244f3b7085352c
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.711418
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data 

0.11/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.15	c See www.sat4j.org for details.
0.11/0.16	c version PB25.v20250606
0.11/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.19	c java.vm.version	22.0.1+8-16
0.11/0.19	c java.vm.vendor	Oracle Corporation
0.11/0.19	c sun.arch.data.model	64
0.11/0.19	c java.version		22.0.1
0.11/0.19	c os.name		Linux
0.11/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.19	c os.arch		amd64
0.11/0.19	c Free memory 		2104792832
0.11/0.19	c Max memory 		16282288128
0.11/0.19	c Total memory 		2113929216
0.11/0.20	c Number of processors 	2
0.29/0.29	c Pseudo Boolean Optimization by upper bound
0.29/0.29	c --- Begin Solver configuration ---
0.29/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.29	c Learn all clauses as in MiniSAT
0.29/0.29	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.29	c Expensive reason simplification
0.29/0.29	c Glucose 2.1 dynamic restart strategy
0.29/0.29	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.29/0.29	c timeout=2147483s
0.29/0.29	c DB Simplification allowed=false
0.29/0.29	c Listener: none
0.29/0.29	c --- End Solver configuration ---
0.29/0.29	c solving HOME/instance-4502278-1751468804.opb
0.29/0.29	c reading problem ... 
0.29/0.30	c  objective function found
1.18/0.71	c ... done. Wall clock time 0.419s.
1.18/0.71	c declared #vars     584
1.18/0.72	c internal #vars     2990
1.18/0.72	c #constraints  5666
1.18/0.72	c constraints type 
1.18/0.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 40
1.18/0.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 424
1.18/0.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2348
1.18/0.72	c org.sat4j.specs.Constr$1 => 618
1.18/0.72	c org.sat4j.pb.constraints.pb.UnitClausesPB => 16
1.18/0.72	c org.sat4j.pb.constraints.pb.UnitClausePB => 115
1.18/0.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2105
1.18/0.72	c 5666 constraints processed.
1.18/0.73	c objective function length is 182 literals
2.76/1.50	c cleaning 2497 clauses out of 5000 with flag 10525/5000
3.16/1.77	c SATISFIABLE
3.16/1.77	c OPTIMIZING...
3.16/1.77	c Got one! Elapsed wall clock time (in seconds):1.473
3.16/1.77	o 87
3.58/2.01	c cleaning 3880 clauses out of 7766 with flag 7257/10263
4.60/2.63	c cleaning 4934 clauses out of 9885 with flag 26624/16262
4.98/2.82	c cleaning 5973 clauses out of 11953 with flag 42083/23264
5.34/3.02	c cleaning 6990 clauses out of 13980 with flag 59029/31264
5.69/3.31	c cleaning 7991 clauses out of 15988 with flag 77908/40262
6.03/3.65	c cleaning 8997 clauses out of 17997 with flag 98865/50262
6.55/4.12	c cleaning 10003 clauses out of 20005 with flag 121763/61267
7.05/4.62	c cleaning 10995 clauses out of 21998 with flag 145768/73263
7.67/5.21	c cleaning 11999 clauses out of 24003 with flag 171768/86263
8.27/5.88	c cleaning 13002 clauses out of 26004 with flag 199768/100263
9.78/7.37	c cleaning 13999 clauses out of 28002 with flag 243530/115263
12.90/10.46	c cleaning 14995 clauses out of 30002 with flag 348432/131262
14.19/11.63	c Got one! Elapsed wall clock time (in seconds):11.337
14.19/11.63	o 85
14.82/12.22	c cleaning 13956 clauses out of 27921 with flag 17356/144176
14.82/12.26	c Got one! Elapsed wall clock time (in seconds):11.971
14.82/12.26	o 77
15.10/12.41	c Got one! Elapsed wall clock time (in seconds):12.122
15.10/12.41	o 75
15.50/12.87	c cleaning 10157 clauses out of 20322 with flag 18859/150533
15.82/13.15	c cleaning 8076 clauses out of 16160 with flag 33415/156528
16.10/13.45	c cleaning 7535 clauses out of 15084 with flag 50109/163528
16.50/13.88	c cleaning 7767 clauses out of 15549 with flag 70677/171528
17.00/14.37	c cleaning 8388 clauses out of 16782 with flag 94166/180528
17.20/14.59	c Got one! Elapsed wall clock time (in seconds):14.296
17.20/14.59	o 74
17.50/14.90	c cleaning 7070 clauses out of 14157 with flag 11651/186291
18.11/15.47	c cleaning 6539 clauses out of 13088 with flag 42949/192292
18.61/15.92	c Got one! Elapsed wall clock time (in seconds):15.63
18.61/15.92	o 72
18.80/16.01	c cleaning 6066 clauses out of 12139 with flag 3748/197882
19.53/16.55	c cleaning 6026 clauses out of 12076 with flag 30546/203885
19.79/16.71	c Got one! Elapsed wall clock time (in seconds):16.415
19.79/16.71	o 71
20.07/16.93	c cleaning 5719 clauses out of 11464 with flag 11046/209299
20.42/17.17	c Got one! Elapsed wall clock time (in seconds):16.881
20.42/17.17	o 69
20.71/17.41	c cleaning 5477 clauses out of 10966 with flag 12027/214520
20.91/17.66	c Got one! Elapsed wall clock time (in seconds):17.364
20.91/17.66	o 68
20.91/17.68	c Got one! Elapsed wall clock time (in seconds):17.385
20.91/17.68	o 65
21.32/18.04	c cleaning 5695 clauses out of 11416 with flag 12086/220447
21.80/18.57	c Got one! Elapsed wall clock time (in seconds):18.278
21.80/18.57	o 63
22.03/18.72	c cleaning 5576 clauses out of 11168 with flag 8191/225894
22.62/19.31	c cleaning 5794 clauses out of 11595 with flag 42425/231897
23.02/19.73	c Got one! Elapsed wall clock time (in seconds):19.441
23.02/19.73	o 62
23.02/19.79	c cleaning 5490 clauses out of 10988 with flag 3091/237084
23.60/20.02	c cleaning 5745 clauses out of 11495 with flag 18329/243081
23.84/20.29	c cleaning 6367 clauses out of 12748 with flag 36132/250079
23.94/20.31	c Got one! Elapsed wall clock time (in seconds):20.014
23.94/20.31	o 60
24.44/20.83	c cleaning 5973 clauses out of 11960 with flag 30960/255658
24.93/21.37	c cleaning 5989 clauses out of 11987 with flag 62419/261658
25.03/21.47	c Got one! Elapsed wall clock time (in seconds):21.175
25.03/21.47	o 58
25.43/21.89	c cleaning 5807 clauses out of 11636 with flag 24197/267296
26.03/22.41	c cleaning 5911 clauses out of 11830 with flag 54129/273297
26.33/22.75	c cleaning 6453 clauses out of 12917 with flag 72130/280295
26.74/23.12	c cleaning 7229 clauses out of 14464 with flag 91697/288295
27.13/23.56	c cleaning 8117 clauses out of 16235 with flag 116578/297295
27.64/24.07	c cleaning 9059 clauses out of 18118 with flag 142591/307295
28.23/24.64	c cleaning 10023 clauses out of 20059 with flag 172086/318295
29.04/25.40	c cleaning 11015 clauses out of 22038 with flag 203737/330297
29.04/25.44	c Got one! Elapsed wall clock time (in seconds):25.144
29.04/25.44	o 57
29.40/25.79	c Got one! Elapsed wall clock time (in seconds):25.5
29.40/25.79	o 55
29.71/25.92	c cleaning 8249 clauses out of 16518 with flag 6529/335792
30.04/26.28	c Got one! Elapsed wall clock time (in seconds):25.984
30.04/26.28	o 54
30.04/26.29	c Got one! Elapsed wall clock time (in seconds):26.0
30.04/26.29	o 53
30.36/26.47	c cleaning 7069 clauses out of 14154 with flag 7273/341677
30.36/26.48	c Got one! Elapsed wall clock time (in seconds):26.192
30.36/26.48	o 51
31.15/27.17	c cleaning 6098 clauses out of 12207 with flag 26656/346799
31.94/27.96	c cleaning 6048 clauses out of 12108 with flag 56403/352798
32.34/28.30	c Got one! Elapsed wall clock time (in seconds):28.013
32.34/28.30	o 49
32.44/28.49	c cleaning 5747 clauses out of 11540 with flag 6642/358278
32.54/28.56	c Got one! Elapsed wall clock time (in seconds):28.266
32.54/28.56	o 48
32.86/28.80	c cleaning 5861 clauses out of 11732 with flag 12208/364217
33.07/29.09	c Got one! Elapsed wall clock time (in seconds):28.802
33.07/29.09	o 47
33.36/29.35	c cleaning 5462 clauses out of 10937 with flag 12961/369283
33.66/29.68	c Got one! Elapsed wall clock time (in seconds):29.384
33.66/29.68	o 46
33.86/29.83	c cleaning 5306 clauses out of 10616 with flag 6293/374424
34.07/30.10	c cleaning 5649 clauses out of 11309 with flag 21466/380423
34.46/30.43	c cleaning 6329 clauses out of 12661 with flag 39232/387424
34.86/30.81	c cleaning 7162 clauses out of 14331 with flag 58898/395423
35.26/31.25	c cleaning 8083 clauses out of 16172 with flag 81861/404426
35.86/31.84	c cleaning 9043 clauses out of 18087 with flag 106418/414424
36.56/32.52	c cleaning 10018 clauses out of 20045 with flag 131739/425425
37.25/33.28	c cleaning 11012 clauses out of 22025 with flag 159726/437423
37.65/33.64	c Got one! Elapsed wall clock time (in seconds):33.351
37.65/33.64	o 44
37.95/33.95	c Got one! Elapsed wall clock time (in seconds):33.663
37.95/33.95	o 42
38.17/34.16	c cleaning 11125 clauses out of 22256 with flag 8243/448666
38.75/34.72	c cleaning 8563 clauses out of 17131 with flag 28653/454666
39.45/35.44	c cleaning 7779 clauses out of 15568 with flag 56034/461666
40.16/36.13	c cleaning 7887 clauses out of 15791 with flag 80735/469668
40.65/36.61	c Got one! Elapsed wall clock time (in seconds):36.323
40.65/36.62	o 41
40.86/36.81	c cleaning 6839 clauses out of 13693 with flag 9023/475457
40.86/36.88	c Got one! Elapsed wall clock time (in seconds):36.59
40.86/36.88	o 39
41.56/37.51	c cleaning 6061 clauses out of 12166 with flag 21528/480769
41.96/37.91	c cleaning 6048 clauses out of 12108 with flag 38231/486772
42.17/38.15	c cleaning 6528 clauses out of 13057 with flag 55436/493769
42.66/38.65	c cleaning 7260 clauses out of 14530 with flag 76610/501770
43.35/39.38	c cleaning 8130 clauses out of 16269 with flag 105206/510769
43.65/39.68	c cleaning 9070 clauses out of 18139 with flag 126674/520769
43.95/39.99	c cleaning 10035 clauses out of 20072 with flag 149454/531772
45.16/41.16	c cleaning 11007 clauses out of 22037 with flag 191719/543772
45.95/41.90	c cleaning 12009 clauses out of 24028 with flag 227201/556770
46.55/42.51	c cleaning 13008 clauses out of 26019 with flag 259890/570770
47.35/43.35	c cleaning 13997 clauses out of 28012 with flag 297631/585771
48.65/44.64	c cleaning 15004 clauses out of 30015 with flag 342883/601771
49.44/45.47	c cleaning 16004 clauses out of 32011 with flag 379228/618771
50.24/46.27	c cleaning 17001 clauses out of 34008 with flag 416543/636772
51.24/47.21	c cleaning 18002 clauses out of 36007 with flag 456937/655772
52.44/48.44	c cleaning 19001 clauses out of 38006 with flag 499145/675773
55.94/51.97	c cleaning 19993 clauses out of 40003 with flag 580990/696771
61.82/57.82	c cleaning 21003 clauses out of 42011 with flag 694193/718772
63.72/59.71	c cleaning 21998 clauses out of 44006 with flag 755602/741770
65.03/61.04	c cleaning 23002 clauses out of 46007 with flag 805754/765769
66.51/62.59	c cleaning 24004 clauses out of 48008 with flag 859013/790772
68.84/64.82	c cleaning 24995 clauses out of 50002 with flag 915036/816770
70.93/66.92	c cleaning 26003 clauses out of 52006 with flag 973814/843769
72.93/69.00	c cleaning 27000 clauses out of 54004 with flag 1033731/871770
75.33/71.34	c cleaning 27995 clauses out of 56003 with flag 1096889/900769
77.82/73.82	c cleaning 29001 clauses out of 58009 with flag 1158991/930770
80.32/76.36	c cleaning 29998 clauses out of 60008 with flag 1222563/961770
83.02/79.10	c cleaning 31001 clauses out of 62010 with flag 1290509/993770
86.02/82.03	c cleaning 32004 clauses out of 64010 with flag 1360023/1026771
89.01/85.06	c cleaning 32998 clauses out of 66005 with flag 1431585/1060770
92.40/88.48	c cleaning 34005 clauses out of 68009 with flag 1505256/1095772
96.29/92.32	c cleaning 34998 clauses out of 70002 with flag 1583752/1131770
100.30/96.33	c cleaning 36002 clauses out of 72007 with flag 1665087/1168773
104.50/100.57	c cleaning 36994 clauses out of 74002 with flag 1747424/1206770
108.79/104.89	c cleaning 38003 clauses out of 76007 with flag 1829955/1245769
112.99/109.04	c cleaning 38999 clauses out of 78004 with flag 1915742/1285769
117.57/113.62	c cleaning 40002 clauses out of 80007 with flag 2003397/1326771
121.97/118.03	c cleaning 40999 clauses out of 82003 with flag 2091660/1368769
126.97/123.08	c cleaning 42003 clauses out of 84006 with flag 2186055/1411771
132.95/129.04	c cleaning 42997 clauses out of 86001 with flag 2284069/1455769
139.85/135.90	c cleaning 43999 clauses out of 88006 with flag 2386959/1500771
145.94/142.11	c cleaning 45002 clauses out of 90008 with flag 2487971/1546772
152.42/148.60	c cleaning 45997 clauses out of 92003 with flag 2590562/1593769
159.51/155.66	c cleaning 46998 clauses out of 94008 with flag 2693924/1641771
167.19/163.32	c cleaning 48003 clauses out of 96009 with flag 2795179/1690770
175.48/171.61	c cleaning 48993 clauses out of 98006 with flag 2918455/1740770
181.67/177.87	c cleaning 50007 clauses out of 100014 with flag 3058973/1791771
186.66/182.80	c cleaning 50999 clauses out of 102006 with flag 3179362/1843770
193.25/189.41	c cleaning 51997 clauses out of 104007 with flag 3295600/1896770
199.63/195.56	c cleaning 52993 clauses out of 106008 with flag 3434214/1950769
210.53/206.48	c cleaning 53999 clauses out of 108015 with flag 3641282/2005769
218.00/213.70	c cleaning 55008 clauses out of 110016 with flag 3799495/2061769
224.98/220.72	c cleaning 55991 clauses out of 112008 with flag 3932764/2118769
232.67/228.47	c Got one! Elapsed wall clock time (in seconds):228.178
232.67/228.47	o 38
233.38/229.18	c Got one! Elapsed wall clock time (in seconds):228.892
233.38/229.18	o 37
233.86/229.63	c cleaning 54677 clauses out of 109374 with flag 3562/2172126
234.66/230.44	c cleaning 30340 clauses out of 60696 with flag 22796/2178125
235.27/231.01	c cleaning 18665 clauses out of 37356 with flag 42208/2185125
236.02/231.71	c cleaning 13335 clauses out of 26691 with flag 64968/2193125
236.72/232.50	c cleaning 11167 clauses out of 22356 with flag 91016/2202125
237.62/233.39	c cleaning 10590 clauses out of 21191 with flag 120107/2212127
238.61/234.33	c cleaning 10797 clauses out of 21603 with flag 152022/2223129
239.61/235.38	c cleaning 11391 clauses out of 22802 with flag 188316/2235125
240.81/236.50	c cleaning 12197 clauses out of 24413 with flag 228838/2248127
242.01/237.79	c cleaning 13097 clauses out of 26214 with flag 271605/2262125
243.31/239.09	c cleaning 14048 clauses out of 28117 with flag 315615/2277125
244.52/240.29	c cleaning 15031 clauses out of 30069 with flag 362011/2293125
247.01/242.74	c cleaning 16011 clauses out of 32038 with flag 430827/2310125
248.71/244.47	c cleaning 17009 clauses out of 34027 with flag 484791/2328125
250.20/245.99	c cleaning 18007 clauses out of 36018 with flag 538411/2347125
251.31/247.02	c cleaning 19004 clauses out of 38011 with flag 582960/2367125
252.50/248.26	c cleaning 19997 clauses out of 40009 with flag 631367/2388127
254.99/250.78	c cleaning 20997 clauses out of 42011 with flag 711382/2410126
257.63/253.36	c cleaning 22000 clauses out of 44014 with flag 790597/2433126
259.12/254.88	c cleaning 23000 clauses out of 46013 with flag 857940/2457125
260.72/256.41	c cleaning 24005 clauses out of 48015 with flag 929027/2482127
262.22/257.99	c cleaning 25001 clauses out of 50012 with flag 990220/2508129
264.61/260.30	c cleaning 26000 clauses out of 52007 with flag 1067839/2535125
266.11/261.81	c cleaning 26998 clauses out of 54008 with flag 1127361/2563126
267.51/263.22	c cleaning 28004 clauses out of 56010 with flag 1187920/2592126
269.93/265.63	c cleaning 28998 clauses out of 58005 with flag 1264212/2622125
271.63/267.30	c cleaning 30001 clauses out of 60007 with flag 1330683/2653125
273.43/269.13	c cleaning 31001 clauses out of 62009 with flag 1399193/2685128
275.22/270.98	c cleaning 32003 clauses out of 64005 with flag 1468412/2718125
277.33/273.05	c cleaning 33000 clauses out of 66003 with flag 1538772/2752126
279.42/275.19	c cleaning 33995 clauses out of 68002 with flag 1611193/2787125
283.41/279.11	c cleaning 35002 clauses out of 70007 with flag 1715898/2823125
285.50/281.25	c cleaning 35998 clauses out of 72006 with flag 1792777/2860126
288.09/283.85	c cleaning 37004 clauses out of 74007 with flag 1871394/2898125
290.59/286.37	c cleaning 38002 clauses out of 76004 with flag 1960665/2937126
294.08/289.86	c cleaning 39002 clauses out of 78003 with flag 2056105/2977127
298.20/293.97	c cleaning 39989 clauses out of 79999 with flag 2169587/3018125
303.09/298.87	c cleaning 41004 clauses out of 82011 with flag 2321070/3060126
306.18/301.92	c cleaning 41999 clauses out of 84007 with flag 2427076/3103126
309.98/305.75	c cleaning 42997 clauses out of 86007 with flag 2535817/3147125
313.29/309.10	c cleaning 44009 clauses out of 88017 with flag 2631668/3192132
318.62/314.32	c cleaning 44996 clauses out of 90004 with flag 2755340/3238128
322.81/318.59	c cleaning 45998 clauses out of 92010 with flag 2881177/3285130
328.61/324.36	c cleaning 46996 clauses out of 94008 with flag 3017697/3333126
333.60/329.32	c cleaning 47994 clauses out of 96012 with flag 3159388/3382126
338.89/334.69	c cleaning 49000 clauses out of 98018 with flag 3313027/3432126
345.24/340.96	c cleaning 49999 clauses out of 100017 with flag 3471470/3483125
350.83/346.56	c cleaning 51005 clauses out of 102018 with flag 3634425/3535125
356.22/351.98	c cleaning 52001 clauses out of 104013 with flag 3787083/3588125
360.92/356.65	c cleaning 52998 clauses out of 106014 with flag 3932456/3642127
367.77/363.42	c cleaning 54005 clauses out of 108014 with flag 4102096/3697125
373.16/368.80	c cleaning 54998 clauses out of 110010 with flag 4251514/3753126
377.75/373.44	c cleaning 56004 clauses out of 112012 with flag 4405059/3810126
386.23/382.00	c cleaning 56992 clauses out of 114008 with flag 4589609/3868126
395.86/391.52	c cleaning 57996 clauses out of 116015 with flag 4785249/3927125
406.24/401.97	c cleaning 58999 clauses out of 118020 with flag 4997672/3987126
414.03/409.76	c cleaning 60008 clauses out of 120020 with flag 5189358/4048125
423.26/418.96	c cleaning 61006 clauses out of 122013 with flag 5376528/4110126
429.04/424.70	c Got one! Elapsed wall clock time (in seconds):424.409
429.04/424.70	o 36
430.15/425.88	c cleaning 56491 clauses out of 112989 with flag 24648/4162108
430.55/426.24	c Got one! Elapsed wall clock time (in seconds):425.946
430.55/426.24	o 34
431.05/426.78	c cleaning 30761 clauses out of 61536 with flag 9907/4167146
432.05/427.79	c cleaning 18369 clauses out of 36775 with flag 31746/4173146
432.95/428.65	c cleaning 12699 clauses out of 25407 with flag 53985/4180147
433.65/429.37	c cleaning 10351 clauses out of 20708 with flag 76350/4188147
434.15/429.84	c cleaning 9674 clauses out of 19358 with flag 98092/4197148
435.04/430.76	c cleaning 9832 clauses out of 19682 with flag 121862/4207146
436.04/431.79	c cleaning 10417 clauses out of 20852 with flag 147691/4218148
437.24/432.95	c cleaning 11206 clauses out of 22433 with flag 177058/4230146
438.73/434.45	c cleaning 12106 clauses out of 24227 with flag 209942/4243146
440.23/435.90	c cleaning 13055 clauses out of 26124 with flag 243671/4257149
442.03/437.78	c cleaning 14022 clauses out of 28067 with flag 281004/4272147
444.02/439.73	c cleaning 15015 clauses out of 30044 with flag 321951/4288146
445.92/441.61	c cleaning 16007 clauses out of 32032 with flag 365163/4305149
447.91/443.65	c cleaning 17000 clauses out of 34022 with flag 411235/4323146
449.51/445.28	c cleaning 18007 clauses out of 36022 with flag 457856/4342146
451.85/447.51	c cleaning 19003 clauses out of 38017 with flag 513029/4362148
454.84/450.57	c cleaning 19999 clauses out of 40012 with flag 575680/4383146
458.35/454.04	c cleaning 21001 clauses out of 42014 with flag 646090/4405147
461.93/457.62	c cleaning 21995 clauses out of 44012 with flag 724439/4428146
465.82/461.51	c cleaning 23001 clauses out of 46018 with flag 807069/4452147
469.72/465.48	c cleaning 24006 clauses out of 48018 with flag 893093/4477148
471.42/467.18	c cleaning 24998 clauses out of 50011 with flag 957550/4503147
473.51/469.22	c cleaning 25987 clauses out of 52012 with flag 1019809/4530146
478.10/473.81	c cleaning 26992 clauses out of 54026 with flag 1118555/4558147
480.79/476.59	c cleaning 28010 clauses out of 56033 with flag 1200063/4587146
484.39/480.17	c cleaning 28997 clauses out of 58024 with flag 1283092/4617147
492.28/488.05	c cleaning 30008 clauses out of 60029 with flag 1419581/4648149
495.06/490.84	c cleaning 30998 clauses out of 62021 with flag 1506533/4680149
497.56/493.32	c cleaning 32002 clauses out of 64020 with flag 1596104/4713146
499.65/495.49	c cleaning 33007 clauses out of 66018 with flag 1676471/4747146
501.94/497.73	c cleaning 34006 clauses out of 68013 with flag 1763120/4782148
504.44/500.24	c cleaning 34997 clauses out of 70005 with flag 1857215/4818146
507.74/503.59	c cleaning 35995 clauses out of 72009 with flag 1956170/4855147
511.32/507.09	c cleaning 37007 clauses out of 74013 with flag 2047700/4893146
514.80/510.55	c cleaning 37999 clauses out of 76008 with flag 2141798/4932148
518.70/514.43	c cleaning 39004 clauses out of 78009 with flag 2255093/4972148
522.58/518.35	c cleaning 40002 clauses out of 80005 with flag 2363247/5013148
528.29/524.08	c cleaning 40995 clauses out of 82001 with flag 2484179/5055146
532.47/528.26	c cleaning 42003 clauses out of 84007 with flag 2586334/5098147
536.27/532.10	c cleaning 42992 clauses out of 86003 with flag 2702913/5142146
540.85/536.66	c cleaning 43998 clauses out of 88011 with flag 2819387/5187146
545.84/541.66	c cleaning 45003 clauses out of 90013 with flag 2940747/5233146
553.23/549.08	c cleaning 45997 clauses out of 92011 with flag 3087013/5280147
557.51/553.36	c cleaning 47000 clauses out of 94013 with flag 3203725/5328146
560.60/556.42	c Got one! Elapsed wall clock time (in seconds):556.129
560.60/556.42	o 33
561.80/557.61	c cleaning 42623 clauses out of 85263 with flag 18194/5366396
562.40/558.26	c cleaning 24307 clauses out of 48641 with flag 33724/5372397
562.99/558.86	c cleaning 15654 clauses out of 31336 with flag 51737/5379399
563.69/559.54	c cleaning 11821 clauses out of 23681 with flag 71836/5387398
564.49/560.38	c cleaning 10410 clauses out of 20858 with flag 93787/5396396
565.59/561.41	c cleaning 10220 clauses out of 20449 with flag 117941/5406397
566.30/562.14	c cleaning 10602 clauses out of 21228 with flag 145749/5417396
567.20/563.05	c cleaning 11305 clauses out of 22626 with flag 174137/5429396
568.30/564.17	c cleaning 12154 clauses out of 24321 with flag 203820/5442396
569.59/565.43	c cleaning 13079 clauses out of 26168 with flag 235689/5456397
570.88/566.78	c cleaning 14040 clauses out of 28088 with flag 270251/5471396
572.48/568.31	c cleaning 15015 clauses out of 30048 with flag 306526/5487396
573.98/569.86	c cleaning 16011 clauses out of 32033 with flag 344447/5504396
575.57/571.42	c cleaning 17002 clauses out of 34025 with flag 386218/5522399
577.65/573.42	c cleaning 18007 clauses out of 36023 with flag 433702/5541399
581.05/576.81	c cleaning 18995 clauses out of 38014 with flag 484844/5561397
584.25/580.01	c cleaning 19998 clauses out of 40019 with flag 540547/5582397
587.53/583.32	c cleaning 20997 clauses out of 42021 with flag 596383/5604397
591.03/586.87	c cleaning 21997 clauses out of 44025 with flag 658325/5627398
593.02/588.87	c cleaning 23006 clauses out of 46026 with flag 715805/5651396
595.02/590.89	c cleaning 24009 clauses out of 48020 with flag 772045/5676396
597.22/593.02	c cleaning 25001 clauses out of 50011 with flag 830569/5702396
599.61/595.44	c cleaning 26005 clauses out of 52012 with flag 889553/5729398
602.00/597.90	c cleaning 26998 clauses out of 54008 with flag 961645/5757399
604.89/600.72	c cleaning 27994 clauses out of 56010 with flag 1035637/5786399
606.78/602.60	c cleaning 28997 clauses out of 58015 with flag 1097509/5816398
611.07/606.96	c cleaning 30002 clauses out of 60016 with flag 1188912/5847396
614.18/610.04	c cleaning 31007 clauses out of 62017 with flag 1274438/5879399
616.27/612.17	c cleaning 32002 clauses out of 64010 with flag 1345332/5912399
619.35/615.29	c cleaning 32998 clauses out of 66005 with flag 1425226/5946396
622.85/618.73	c cleaning 33997 clauses out of 68007 with flag 1506801/5981396
625.84/621.79	c cleaning 34996 clauses out of 70011 with flag 1604197/6017397
630.53/626.41	c cleaning 36002 clauses out of 72016 with flag 1704127/6054398
632.92/628.83	c cleaning 37006 clauses out of 74015 with flag 1783577/6092399
636.51/632.43	c cleaning 37988 clauses out of 76006 with flag 1878062/6131396
639.55/635.44	c cleaning 39003 clauses out of 78019 with flag 1972091/6171397
642.26/638.14	c cleaning 40005 clauses out of 80016 with flag 2056598/6212397
644.64/640.58	c cleaning 41005 clauses out of 82012 with flag 2144255/6254398
647.74/643.64	c cleaning 41998 clauses out of 84005 with flag 2234605/6297396
651.15/647.04	c cleaning 43002 clauses out of 86009 with flag 2327053/6341398
654.93/650.84	c cleaning 43999 clauses out of 88008 with flag 2423324/6386399
658.42/654.35	c cleaning 45003 clauses out of 90010 with flag 2519164/6432400
662.41/658.35	c cleaning 45995 clauses out of 92003 with flag 2619691/6479396
666.11/662.10	c cleaning 47000 clauses out of 94008 with flag 2720430/6527396
670.39/666.37	c cleaning 47999 clauses out of 96010 with flag 2823116/6576398
674.78/670.73	c cleaning 49004 clauses out of 98010 with flag 2928068/6626397
679.37/675.35	c cleaning 49996 clauses out of 100005 with flag 3034589/6677396
684.57/680.55	c cleaning 51004 clauses out of 102012 with flag 3143112/6729399
691.25/687.25	c cleaning 51997 clauses out of 104005 with flag 3275449/6782396
697.34/693.34	c cleaning 53000 clauses out of 106010 with flag 3403506/6836398
702.52/698.57	c cleaning 54003 clauses out of 108012 with flag 3532586/6891400
708.31/704.37	c cleaning 54992 clauses out of 110006 with flag 3675350/6947397
715.69/711.17	c cleaning 55999 clauses out of 112013 with flag 3821131/7004396
724.25/719.72	c cleaning 56996 clauses out of 114014 with flag 3976488/7062396
734.03/729.50	c cleaning 57993 clauses out of 116018 with flag 4146611/7121396
743.63/739.16	c cleaning 58995 clauses out of 118026 with flag 4318218/7181397
748.01/743.56	c cleaning 60017 clauses out of 120034 with flag 4450376/7242400
753.10/748.67	c cleaning 61006 clauses out of 122015 with flag 4582799/7304398
758.44/753.93	c cleaning 61999 clauses out of 124007 with flag 4720168/7367396
763.13/758.62	c cleaning 62997 clauses out of 126009 with flag 4857435/7431397
771.30/766.85	c cleaning 64003 clauses out of 128014 with flag 5013136/7496399
777.20/772.72	c cleaning 65003 clauses out of 130010 with flag 5154106/7562398
783.68/779.26	c cleaning 65998 clauses out of 132007 with flag 5297743/7629398
790.07/785.65	c cleaning 67000 clauses out of 134007 with flag 5444988/7697396
796.35/791.95	c cleaning 68001 clauses out of 136007 with flag 5597747/7766396
802.54/798.19	c cleaning 69001 clauses out of 138006 with flag 5748072/7836396
810.33/805.92	c cleaning 69997 clauses out of 140005 with flag 5919863/7907396
819.42/815.01	c cleaning 71001 clauses out of 142010 with flag 6111799/7979398
826.41/822.03	c cleaning 71998 clauses out of 144007 with flag 6267330/8052396
833.52/829.16	c cleaning 73001 clauses out of 146010 with flag 6426338/8126397
840.10/835.72	c cleaning 73997 clauses out of 148008 with flag 6585368/8201396
846.39/842.06	c cleaning 74999 clauses out of 150012 with flag 6746668/8277397
853.26/848.94	c cleaning 76002 clauses out of 152014 with flag 6909549/8354398
860.25/856.01	c cleaning 76999 clauses out of 154010 with flag 7071154/8432396
868.13/863.82	c cleaning 78004 clauses out of 156011 with flag 7232772/8511396
876.50/872.20	c cleaning 79002 clauses out of 158007 with flag 7396136/8591396
885.29/881.04	c cleaning 80002 clauses out of 160005 with flag 7559616/8672396
899.66/895.43	c cleaning 80996 clauses out of 162004 with flag 7781661/8754397
911.09/906.81	c cleaning 81996 clauses out of 164008 with flag 8000205/8837397
927.06/922.89	c cleaning 82997 clauses out of 166011 with flag 8242722/8921396
943.63/939.46	c cleaning 83995 clauses out of 168017 with flag 8513848/9006399
958.60/954.36	c cleaning 85000 clauses out of 170019 with flag 8788274/9092396
971.05/966.76	c cleaning 86003 clauses out of 172022 with flag 9015002/9179399
982.33/978.02	c cleaning 87004 clauses out of 174017 with flag 9263044/9267397
991.89/987.64	c cleaning 88003 clauses out of 176013 with flag 9480988/9356397
1010.62/1006.32	c cleaning 89001 clauses out of 178011 with flag 9749315/9446398
1020.59/1016.30	c cleaning 90000 clauses out of 180008 with flag 9944670/9537396
1030.47/1026.27	c cleaning 90998 clauses out of 182008 with flag 10141947/9629396
1040.56/1036.33	c cleaning 92003 clauses out of 184013 with flag 10340578/9722399
1054.24/1050.01	c cleaning 93003 clauses out of 186007 with flag 10575584/9816396
1071.06/1066.84	c cleaning 93995 clauses out of 188004 with flag 10841166/9911396
1083.34/1079.13	c cleaning 94995 clauses out of 190010 with flag 11081464/10007397
1096.70/1092.57	c cleaning 95999 clauses out of 192014 with flag 11333827/10104396
1112.72/1108.54	c cleaning 96996 clauses out of 194015 with flag 11609236/10202396
1127.10/1122.99	c cleaning 98011 clauses out of 196021 with flag 11887322/10301398
1142.00/1137.73	c cleaning 98997 clauses out of 198009 with flag 12166837/10401397
1169.64/1165.41	c cleaning 99989 clauses out of 200012 with flag 12497660/10502397
1195.30/1191.12	c cleaning 101000 clauses out of 202022 with flag 12823188/10604396
1210.47/1206.23	c cleaning 102001 clauses out of 204022 with flag 13072446/10707396
1225.25/1221.08	c cleaning 103005 clauses out of 206023 with flag 13351955/10811398
1245.94/1241.05	c cleaning 103993 clauses out of 208016 with flag 13668012/10916396
1266.29/1261.49	c cleaning 104991 clauses out of 210023 with flag 13993681/11022396
1287.35/1282.50	c cleaning 106013 clauses out of 212034 with flag 14267458/11129398
1307.67/1302.84	c cleaning 106998 clauses out of 214019 with flag 14560639/11237396
1326.23/1321.49	c cleaning 108005 clauses out of 216024 with flag 14830590/11346399
1344.19/1339.46	c cleaning 109000 clauses out of 218017 with flag 15062002/11456397
1362.02/1357.20	c cleaning 110005 clauses out of 220017 with flag 15303130/11567397
1373.30/1368.54	c cleaning 111004 clauses out of 222013 with flag 15539199/11679398
1387.67/1382.98	c cleaning 111998 clauses out of 224008 with flag 15780962/11792397
1402.93/1398.23	c cleaning 112998 clauses out of 226011 with flag 16020126/11906398
1416.72/1412.05	c cleaning 113999 clauses out of 228013 with flag 16265672/12021398
1433.98/1429.30	c cleaning 115001 clauses out of 230016 with flag 16512762/12137400
1453.74/1449.15	c cleaning 116002 clauses out of 232011 with flag 16756866/12254396
1473.99/1469.48	c cleaning 117004 clauses out of 234016 with flag 17008188/12372403
1496.26/1491.61	c cleaning 117994 clauses out of 236005 with flag 17260847/12491396
1516.02/1511.45	c cleaning 119000 clauses out of 238011 with flag 17507885/12611396
1535.98/1531.42	c cleaning 119998 clauses out of 240011 with flag 17759481/12732396
1550.44/1545.93	c cleaning 121005 clauses out of 242017 with flag 18015986/12854400
1569.62/1565.17	c cleaning 121997 clauses out of 244009 with flag 18272516/12977397
1591.36/1586.97	c cleaning 123005 clauses out of 246016 with flag 18531128/13101401
1620.74/1616.21	c cleaning 123991 clauses out of 248008 with flag 18856240/13226398
1653.08/1648.62	c cleaning 124998 clauses out of 250016 with flag 19231629/13352397
1680.32/1675.99	c cleaning 125999 clauses out of 252019 with flag 19578763/13479398
1698.50/1694.17	c cleaning 127007 clauses out of 254019 with flag 19853636/13607397
1715.45/1711.02	c cleaning 128003 clauses out of 256011 with flag 20125630/13736396
1734.79/1730.47	c cleaning 129004 clauses out of 258009 with flag 20397810/13866397
1758.65/1754.34	c cleaning 129989 clauses out of 260006 with flag 20762682/13997398
1776.01/1771.71	c cleaning 131001 clauses out of 262018 with flag 21055557/14129399
1788.30/1783.91	c cleaning 132002 clauses out of 264014 with flag 21330378/14262396
1803.98/1799.68	c cleaning 133001 clauses out of 266012 with flag 21602460/14396396
1819.45/1815.15	c cleaning 134000 clauses out of 268011 with flag 21878209/14531396
1838.51/1834.22	c cleaning 135004 clauses out of 270012 with flag 22170170/14667397
1855.28/1851.06	c cleaning 135998 clauses out of 272007 with flag 22461310/14804396
1872.24/1868.07	c cleaning 136999 clauses out of 274011 with flag 22754916/14942398
1893.58/1889.41	c cleaning 138000 clauses out of 276011 with flag 23055411/15081397
1922.82/1918.68	c cleaning 139000 clauses out of 278010 with flag 23350295/15221396
1944.08/1939.95	c cleaning 139997 clauses out of 280012 with flag 23651437/15362398
1964.26/1960.12	c cleaning 141003 clauses out of 282013 with flag 23944348/15504396
1989.98/1985.91	c cleaning 141997 clauses out of 284012 with flag 24247093/15647398
2011.15/2007.19	c cleaning 143001 clauses out of 286015 with flag 24554631/15791398
2034.48/2030.50	c cleaning 144005 clauses out of 288015 with flag 24859230/15936399
2058.19/2054.25	c cleaning 144996 clauses out of 290009 with flag 25173861/16082398
2083.14/2079.23	c cleaning 146004 clauses out of 292013 with flag 25489089/16229398
2107.38/2103.51	c cleaning 147001 clauses out of 294007 with flag 25800897/16377396
2132.62/2128.81	c cleaning 147999 clauses out of 296006 with flag 26117390/16526396
2160.07/2156.31	c cleaning 148997 clauses out of 298007 with flag 26442440/16676396
2183.73/2180.10	c cleaning 149996 clauses out of 300010 with flag 26773417/16827396
2212.95/2209.34	c cleaning 151002 clauses out of 302014 with flag 27101470/16979396
2239.00/2234.79	c cleaning 152003 clauses out of 304012 with flag 27437740/17132396
2268.64/2264.49	c cleaning 153003 clauses out of 306011 with flag 27774170/17286398
2297.68/2293.56	c cleaning 154002 clauses out of 308011 with flag 28119340/17441401
2336.51/2332.48	c cleaning 154999 clauses out of 310008 with flag 28548436/17597400
2378.91/2374.81	c cleaning 155992 clauses out of 312007 with flag 29020975/17754398
2455.46/2451.58	c cleaning 157001 clauses out of 314015 with flag 29593549/17912398
2534.38/2530.44	c cleaning 158003 clauses out of 316011 with flag 30173342/18071396
2581.20/2577.14	c cleaning 158990 clauses out of 318010 with flag 30642858/18231398
2617.05/2612.99	c cleaning 160001 clauses out of 320018 with flag 31123173/18392396
2651.39/2647.32	c cleaning 160983 clauses out of 322017 with flag 31588092/18554396
2686.11/2682.06	c cleaning 162013 clauses out of 324034 with flag 32036650/18717396
2716.93/2713.00	c cleaning 163005 clauses out of 326021 with flag 32381444/18881396
2755.94/2751.92	c cleaning 164001 clauses out of 328017 with flag 32726266/19046397
2790.47/2786.57	c cleaning 165004 clauses out of 330015 with flag 33085046/19212396
2815.94/2812.02	c cleaning 166005 clauses out of 332016 with flag 33443750/19379401
2840.68/2836.84	c cleaning 166999 clauses out of 334010 with flag 33801617/19547400
2866.43/2862.68	c cleaning 168000 clauses out of 336008 with flag 34156920/19716397
2892.80/2889.02	c cleaning 169005 clauses out of 338009 with flag 34519096/19886398
2918.02/2914.29	c cleaning 169992 clauses out of 340004 with flag 34873278/20057398
2947.46/2943.73	c cleaning 171003 clauses out of 342011 with flag 35229702/20229397
2986.09/2982.47	c cleaning 171996 clauses out of 344007 with flag 35586129/20402396
3017.63/3014.02	c cleaning 173001 clauses out of 346013 with flag 35946394/20576398
3045.75/3042.27	c cleaning 174000 clauses out of 348011 with flag 36308792/20751397
3079.30/3075.72	c cleaning 174999 clauses out of 350010 with flag 36672034/20927396
3113.83/3110.30	c cleaning 176005 clauses out of 352012 with flag 37045060/21104397
3147.07/3143.61	c cleaning 176997 clauses out of 354007 with flag 37421054/21282397
3178.02/3174.60	c cleaning 177997 clauses out of 356011 with flag 37799768/21461398
3212.36/3209.06	c cleaning 178999 clauses out of 358015 with flag 38177169/21641399
3251.25/3247.94	c cleaning 180004 clauses out of 360015 with flag 38552604/21822398
3285.29/3282.04	c cleaning 180999 clauses out of 362009 with flag 38929137/22004396
3320.51/3317.33	c cleaning 182001 clauses out of 364010 with flag 39307085/22187396
3358.34/3355.27	c cleaning 183000 clauses out of 366009 with flag 39687737/22371396
3418.75/3415.65	c cleaning 183986 clauses out of 368010 with flag 40132279/22556397
3461.18/3458.17	c cleaning 185004 clauses out of 370024 with flag 40670406/22742397
3509.08/3506.08	c cleaning 185999 clauses out of 372019 with flag 41211180/22929396
3549.01/3546.06	c cleaning 187000 clauses out of 374020 with flag 41727751/23117396
3600.08/3597.16	c starts		: 23842
3600.08/3597.18	c conflicts		: 23306396
3600.08/3597.18	c decisions		: 26108904
3600.08/3597.18	c propagations		: 1183921141
3600.08/3597.18	c inspects		: 44790481658
3600.08/3597.18	c shortcuts		: 0
3600.08/3597.18	c learnt literals	: 2
3600.08/3597.18	c learnt binary clauses	: 99
3600.08/3597.18	c learnt ternary clauses	: 353
3600.08/3597.18	c learnt constraints	: 23306394
3600.08/3597.18	c ignored constraints	: 0
3600.08/3597.18	c root simplifications	: 0
3600.08/3597.18	c removed literals (reason simplification)	: 184550603
3600.08/3597.18	c reason swapping (by a shorter reason)	: 0
3600.08/3597.18	c Calls to reduceDB	: 402
3600.08/3597.18	c Number of update (reduction) of LBD	: 1080459
3600.08/3597.18	c Imported unit clauses	: 0
3600.08/3597.18	c No decision after first conflict	: false
3600.08/3597.18	c number of reductions to clauses (during analyze)	: 0
3600.08/3597.18	c number of learned constraints concerned by reduction	: 0
3600.08/3597.18	c number of learning phase by resolution	: 0
3600.08/3597.18	c number of learning phase by cutting planes	: 0
3600.08/3597.18	c number of rounding to 1 operations	: 0
3600.08/3597.18	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3597.18	c number of reductions of the coefficients by power 2 	: 0
3600.08/3597.18	c number of right shift for reduction by power 2 	: 0
3600.08/3597.18	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3597.18	c number of ending skipping 	: 0
3600.08/3597.18	c number of internal skipping 	: 0
3600.08/3597.18	c number of derivation steps 	: 0
3600.08/3597.18	c number of skipped derivation steps 	: 0
3600.08/3597.18	c number of remaining unassigned 	: 0
3600.08/3597.18	c number of remaining assigned 	: 0
3600.08/3597.18	c number of falsified literals weakened from reason	: 0
3600.08/3597.18	c number of falsified literals weakened from conflict	: 0
3600.08/3597.18	c time for arithmetic operations	: 0
3600.08/3597.18	c minimum degree of deleted constraints	: null
3600.08/3597.19	c maximum degree of deleted constraints	: null
3600.08/3597.19	c number of deleted constraints	: 0
3600.08/3597.19	c speed (assignments/second)	: 329191.603108621
3600.08/3597.20	c non guided choices	: 8428
3600.45/3597.34	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 375921
3600.45/3597.34	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 99
3600.45/3597.35	s SATISFIABLE
3600.45/3597.35	c Found 32 solution(s)
3600.45/3597.36	v -x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 x28 -x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 x81 x82 -x83 -x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 x224 x225 -x226 x227 -x228 x229 x230 -x231 -x232 x233 x234 x235 x236 -x237 x238 x239 -x240 x241 x242 x243 x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 x257 -x258 x259 -x260 x261 x262 x263 x264 -x265 x266 x267 x268 -x269 -x270 -x271 x272 -x273 x274 -x275 -x276 -x277 -x278 x279 x280 -x281 -x282 x283 -x284 -x285 x286 x287 x288 x289 -x290 x291 -x292 -x293 x294 -x295 x296 x297 x298 -x299 x300 -x301 x302 x303 -x304 -x305 -x306 -x307 x308 -x309 x310 -x311 -x312 x313 x314 x315 -x316 -x317 -x318 x319 -x320 x321 x322 -x323 -x324 -x325 x326 -x327 x328 x329 x330 x331 -x332 -x333 x334 -x335 x336 x337 x338 -x339 -x340 -x341 x342 -x343 -x344 x345 -x346 x347 x348 x349 x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 -x366 x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 x380 -x381 x382 -x383 -x384 -x385 x386 x387 x388 x389 -x390 x391 x392 -x393 x394 x395 x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 x404 x405 -x406 -x407 -x408 x409 x410 x411 x412 x413 x414 -x415 x416 x417 x418 -x419 -x420 -x421 x422 x423 -x424 -x425 x426 x427 x428 x429 x430 -x431 x432 -x433 x434 -x435 -x436 x437 -x438 x439 -x440 -x441 x442 x443 -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 x453 x454 x455 -x456 x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 x471 x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 x483 -x484 x485 -x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 -x497 x498 -x499 x500 -x501 -x502 x503 x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 x515 x516 x517 x518 -x519 x520 x521 x522 x523 x524 -x525 -x526 x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 -x541 x542 x543 -x544 x545 x546 x547 -x548 -x549 x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
3600.45/3597.36	c objective function=33
3600.45/3597.37	c Total wall clock time (in seconds): 3597.073

Verifier Data 

OK	33

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: 63837 MiB (62723 MiB free)
  memory of node 1: 64465 MiB (62920 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502278-1751468804/watcher-4502278-1751468804 -o /tmp/evaluation-result-4502278-1751468804/solver-4502278-1751468804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751465155-62839 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502278-1751468804.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100068 s]*
/proc/loadavg: 4.71 4.34 4.17 7/324 64470
/proc/meminfo: memFree=128639512/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=18930384 memory=48492 CPUtime=0.11 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 5822 0 0 0 9 2 0 0 20 0 18 0 62559210 19384713216 12123 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4732596 12123 5304 1 0 547025 0
[pid=64452/tid=64454] ppid=64449 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 4709 0 0 0 5 1 0 0 20 0 18 0 62559211 19384713216 12123 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62559215 19384713216 12123 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=18930384 memory=55195547748946 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62559216 19384713216 12123 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48492 KiB

[startup+0.210656 s]*
/proc/loadavg: 4.71 4.34 4.17 5/324 64470
/proc/meminfo: memFree=128638504/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=18930384 memory=57664 CPUtime=0.29 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 6560 0 0 0 26 3 0 0 20 0 18 0 62559210 19384713216 14416 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4732596 14416 5336 1 0 547602 0
[pid=64452/tid=64454] ppid=64449 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 5062 0 0 0 16 2 0 0 20 0 18 0 62559211 19384713216 14416 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62559215 19384713216 14416 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62559216 19384713216 14416 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57664 KiB

[startup+0.31421 s]*
/proc/loadavg: 4.71 4.34 4.17 7/324 64470
/proc/meminfo: memFree=128635732/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=18930384 memory=59200 CPUtime=0.46 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 6860 0 0 0 42 4 0 0 20 0 18 0 62559210 19384713216 14800 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4732596 14800 5432 1 0 547849 0
[pid=64452/tid=64454] ppid=64449 vsize=18930384 memory=-6000919468428388457 CPUtime=0.28 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 5265 0 0 0 25 3 0 0 20 0 18 0 62559211 19384713216 14800 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62559215 19384713216 14800 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62559216 19384713216 14800 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59200 KiB

[startup+0.700364 s]
/proc/loadavg: 4.71 4.34 4.17 7/324 64470
/proc/meminfo: memFree=128631636/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=18930384 memory=75140 CPUtime=1.18 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 7727 0 0 0 113 5 0 0 20 0 18 0 62559210 19384713216 18785 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4732596 18785 5432 1 0 548117 0
[pid=64452/tid=64454] ppid=64449 vsize=18930384 memory=17920 CPUtime=0.65 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 5314 0 0 0 62 3 0 0 20 0 18 0 62559211 19384713216 18785 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62559215 19384713216 18785 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62559216 19384713216 18785 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 75140 KiB

[startup+1.50025 s]
/proc/loadavg: 4.71 4.34 4.17 6/325 64471
/proc/meminfo: memFree=128593200/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=18996948 memory=98812 CPUtime=2.76 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 18845 0 0 0 269 7 0 0 20 0 19 0 62559210 19452874752 24703 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4749237 24703 5464 1 0 551963 0
[pid=64452/tid=64454] ppid=64449 vsize=18996948 memory=3200 CPUtime=1.42 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 6359 0 0 0 138 4 0 0 20 0 19 0 62559211 19452874752 24703 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62559215 19452874752 24703 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62559216 19452874752 24703 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=18996948 memory=14464 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 62559284 19452874752 24703 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98812 KiB

[startup+3.10549 s]
/proc/loadavg: 4.71 4.34 4.17 5/325 64471
/proc/meminfo: memFree=128547960/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=18996948 memory=124556 CPUtime=5.44 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 26767 0 0 0 535 9 0 0 20 0 19 0 62559210 19452874752 31139 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4749237 31139 5464 1 0 554668 0
[pid=64452/tid=64454] ppid=64449 vsize=18996948 memory=14464 CPUtime=3.02 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 7184 0 0 0 298 4 0 0 20 0 19 0 62559211 19452874752 31139 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62559215 19452874752 31139 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62559216 19452874752 31139 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 62559284 19452874752 31139 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124556 KiB

[startup+6.30032 s]
/proc/loadavg: 4.66 4.33 4.17 5/325 64471
/proc/meminfo: memFree=128515608/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=18996948 memory=136572 CPUtime=8.77 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 30352 0 0 0 867 10 0 0 20 0 19 0 62559210 19452874752 34143 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4749237 34143 5496 1 0 554685 0
[pid=64452/tid=64454] ppid=64449 vsize=18996948 memory=0 CPUtime=6.2 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 7757 0 0 0 616 4 0 0 20 0 19 0 62559211 19452874752 34143 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62559215 19452874752 34143 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62559216 19452874752 34143 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=18996948 memory=98940 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 62559284 19452874752 34143 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136572 KiB

[startup+12.7003 s]
/proc/loadavg: 4.68 4.35 4.18 5/326 64472
/proc/meminfo: memFree=128409696/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=186348 CPUtime=15.4 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 35160 0 0 0 1528 12 0 0 20 0 20 0 62559210 19521036288 46587 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 46587 5560 1 0 554974 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=98940 CPUtime=12.53 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 8690 0 0 0 1248 5 0 0 20 0 20 0 62559211 19521036288 46587 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=186348 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 46587 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 46587 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62559284 19521036288 46587 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 15.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186348 KiB

[startup+25.5004 s]
/proc/loadavg: 4.53 4.33 4.17 5/326 64473
/proc/meminfo: memFree=128287368/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=194892 CPUtime=29.2 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 39714 0 0 0 2907 13 0 0 20 0 20 0 62559210 19521036288 48723 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 48723 5560 1 0 554974 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=0 CPUtime=25.24 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 9783 0 0 0 2519 5 0 0 20 0 20 0 62559211 19521036288 48723 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 48723 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=194892 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 48723 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=186604 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62559284 19521036288 48723 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 29.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194892 KiB

[startup+51.1133 s]
/proc/loadavg: 4.35 4.30 4.17 5/326 64473
/proc/meminfo: memFree=128144908/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=230168 CPUtime=55.15 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 41821 0 0 0 5499 16 0 0 20 0 20 0 62559210 19521036288 57542 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 57542 5560 1 0 554974 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=194892 CPUtime=50.59 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 10857 0 0 0 5054 5 0 0 20 0 20 0 62559211 19521036288 57542 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=26520 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 57542 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 57542 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=186348 CPUtime=0 cores=0,2

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

Current children cumulated memory: 1812108 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/325 64640
/proc/meminfo: memFree=118694592/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=1812108 CPUtime=3345.46 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 104463 0 0 0 334360 186 0 0 20 0 20 0 62559210 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 453027 5560 1 0 562563 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=1812108 CPUtime=3326.99 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 44439 0 0 0 332683 16 0 0 20 0 20 0 62559211 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=1812108 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=1812108 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 1741 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=1812108 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62559284 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 3345.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1812108 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/325 64642
/proc/meminfo: memFree=118445168/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=1812108 CPUtime=3405.38 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 105409 0 0 0 340349 189 0 0 20 0 20 0 62559210 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 453027 5560 1 0 562563 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=1812108 CPUtime=3386.69 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) S 64449 64452 62829 0 -1 4194368 44931 0 0 0 338653 16 0 0 20 0 20 0 62559211 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=1812108 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=-4050210904893474192 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 1741 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=-6000919468428388457 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62559284 19521036288 453027 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 3405.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1812108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/325 64644
/proc/meminfo: memFree=118248796/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=1875672 CPUtime=3465.37 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 106160 0 0 0 346344 193 0 0 20 0 20 0 62559210 19521036288 468918 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 468918 5560 1 0 562563 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=1812108 CPUtime=3446.42 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 45435 0 0 0 344626 16 0 0 20 0 20 0 62559211 19521036288 468918 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=1812108 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 468918 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=1875672 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 1856 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 468918 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=1875672 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62559284 19521036288 468918 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 3465.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1875672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/326 64649
/proc/meminfo: memFree=118092320/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=1945304 CPUtime=3525.34 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 107264 0 0 0 352336 198 0 0 20 0 20 0 62559210 19521036288 486326 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 486326 5560 1 0 562563 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=1875672 CPUtime=3506.17 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 45960 0 0 0 350601 16 0 0 20 0 20 0 62559211 19521036288 486326 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=1875672 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 486326 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=1945304 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 1856 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 486326 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62559284 19521036288 486326 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 3525.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1945304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.14 4.15 5/327 64922
/proc/meminfo: memFree=125055968/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=2025240 CPUtime=3585.31 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 108250 0 0 0 358330 201 0 0 20 0 20 0 62559210 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 506310 5560 1 0 562563 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=17920 CPUtime=3565.89 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 46279 0 0 0 356573 16 0 0 20 0 20 0 62559211 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=2025240 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 1942 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62559284 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2025240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.11 s]
/proc/loadavg: 4.24 4.15 4.15 5/327 64922
/proc/meminfo: memFree=121769972/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19063512 memory=2025240 CPUtime=3600.08 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 108251 0 0 0 359806 202 0 0 20 0 20 0 62559210 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4765878 506310 5560 1 0 562563 0
[pid=64452/tid=64454] ppid=64449 vsize=19063512 memory=17920 CPUtime=3580.65 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 46280 0 0 0 358049 16 0 0 20 0 20 0 62559211 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19063512 memory=2025240 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62559215 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 1942 0 0 0 0 0 0 0 20 0 20 0 62559216 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64471] ppid=64449 vsize=19063512 memory=2025240 CPUtime=0 cores=0,2
/proc/64452/task/64471/stat : 64471 (Timer-0) S 64449 64452 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62559284 19521036288 506310 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2025240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.56 s, system=2.05513 s

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

[startup+3597.2 s]
/proc/loadavg: 4.24 4.15 4.15 5/327 64922
/proc/meminfo: memFree=121769972/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19263204 memory=2025880 CPUtime=3600.26 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 110266 0 0 0 359823 203 0 0 20 0 21 0 62559210 19725520896 506470 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4815801 506470 5560 1 0 563466 0
[pid=64452/tid=64454] ppid=64449 vsize=19263204 memory=-6000919468428388457 CPUtime=3580.74 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 46281 0 0 0 358058 16 0 0 20 0 21 0 62559211 19725520896 506470 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19263204 memory=245635481903 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62559215 19725520896 506470 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19263204 memory=59606428812013 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 1942 0 0 0 0 0 0 0 20 0 21 0 62559216 19725520896 506470 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2025880 KiB

[startup+3597.3 s]
/proc/loadavg: 4.24 4.15 4.15 5/327 64922
/proc/meminfo: memFree=121769972/131382120 swapFree=33010416/33010684
[pid=64452] ppid=64449 vsize=19263204 memory=2025880 CPUtime=3600.45 cores=0,2
/proc/64452/stat : 64452 (java) S 64449 64452 62829 0 -1 4194304 110269 0 0 0 359842 203 0 0 20 0 21 0 62559210 19725520896 506470 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
/proc/64452/statm: 4815801 506470 5560 1 0 563466 0
[pid=64452/tid=64454] ppid=64449 vsize=19263204 memory=17920 CPUtime=3580.83 cores=0,2
/proc/64452/task/64454/stat : 64454 (java) R 64449 64452 62829 0 -1 4194368 46281 0 0 0 358067 16 0 0 20 0 21 0 62559211 19725520896 506470 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64463] ppid=64449 vsize=19263204 memory=2025240 CPUtime=0 cores=0,2
/proc/64452/task/64463/stat : 64463 (Finalizer) S 64449 64452 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62559215 19725520896 506470 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
[pid=64452/tid=64470] ppid=64449 vsize=19263204 memory=14464 CPUtime=0 cores=0,2
/proc/64452/task/64470/stat : 64470 (Common-Cleaner) S 64449 64452 62829 0 -1 4194368 1942 0 0 0 0 0 0 0 20 0 21 0 62559216 19725520896 506470 18446744073709551615 93947221450752 93947221454448 140733022888064 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93947221462264 93947221463056 93947241484288 140733022890369 140733022890470 140733022890470 140733022896072 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2025880 KiB

Child status: 143

Real time (s): 3597.39
CPU time (s): 3600.62
CPU user time (s): 3598.56
CPU system time (s): 2.05513
CPU usage (%): 100.09
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2025880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.56
system time used= 2.05513
maximum resident set size= 2026008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107510
involuntary context switches= 9872


# summary of solver processes directly reported to runsolver:
#   pid: 64452
#   total CPU time (s): 3600.62
#   total CPU user time (s): 3598.56
#   total CPU system time (s): 2.05513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.384 second user time and 37.7138 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-02 17:06:44
IDJOB=4502278
IDBENCH=155312
IDSOLVER=3363
FILE ID=nodeC002/4502278-1751468804
RUNJOBID= nodeC002-1751465155-62839
SLURM_JOB_ID= 9598478
Free space on /tmp= 432736 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502278-1751468804/watcher-4502278-1751468804 -o /tmp/evaluation-result-4502278-1751468804/solver-4502278-1751468804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751465155-62839 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4502278-1751468804.opb

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

MD5SUM BENCH= ab4c554ed2f191f485244f3b7085352c
RANDOM SEED=1693209131

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128659008 kB
MemAvailable:   129059148 kB
Buffers:            2128 kB
Cached:          1206644 kB
SwapCached:           28 kB
Active:          1265500 kB
Inactive:         903556 kB
Active(anon):     971812 kB
Inactive(anon):     6404 kB
Active(file):     293688 kB
Inactive(file):   897152 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14556 kB
Writeback:             0 kB
AnonPages:        963396 kB
Mapped:           123044 kB
Shmem:             17932 kB
KReclaimable:      97856 kB
Slab:             182280 kB
SReclaimable:      97856 kB
SUnreclaim:        84424 kB
KernelStack:        4944 kB
PageTables:         5672 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   13470640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150248 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    741376 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432728 MiB
End job on nodeC002 at 2025-07-02 18:06:42