Trace number 4424885

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07OPTIMUM 530.783 526.295

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-warehouse1_wcsp.wbo
MD5SUM30eba44d9a633242c7fdfd5aebca1c83
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark674555
Best CPU time to get the best result obtained on this benchmark0.187446
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables418
Total number of constraints818
Number of soft constraints779
Number of constraints which are clauses779
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 2939907
Min constraint cost 1
Max constraint cost 2939907
Sum of constraints costs 1138582091
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2113181440
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2122317824
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	No reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c No reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4424885-1720883600.wbo
0.14/0.13	c reading problem ... 
0.14/0.18	c ... done. Wall clock time 0.048s.
0.14/0.18	c declared #vars     418
0.14/0.18	c internal #vars     1197
0.14/0.18	c #constraints  858
0.14/0.18	c constraints type 
0.14/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 437
0.14/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20
0.14/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.14/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 400
0.14/0.18	c 858 constraints processed.
0.14/0.20	c objective function length is 779 literals
0.14/0.21	c SATISFIABLE
0.14/0.21	c OPTIMIZING...
0.14/0.21	c Got one! Elapsed wall clock time (in seconds):0.077
0.14/0.21	o 716425
1.50/0.81	c cleaning 2493 clauses out of 5001 with flag 11936/5001
2.09/1.14	c cleaning 4250 clauses out of 8507 with flag 36481/11000
2.58/1.42	c cleaning 5629 clauses out of 11260 with flag 73042/18003
2.91/1.74	c cleaning 6814 clauses out of 13628 with flag 106106/26000
3.22/2.07	c cleaning 7903 clauses out of 15814 with flag 140072/35000
3.68/2.43	c cleaning 8957 clauses out of 17913 with flag 181387/45002
4.26/2.83	c cleaning 9972 clauses out of 19954 with flag 231628/56000
4.66/3.22	c cleaning 10990 clauses out of 21983 with flag 274339/68001
5.06/3.64	c cleaning 11988 clauses out of 23992 with flag 316827/81000
5.67/4.16	c cleaning 12987 clauses out of 26004 with flag 369044/95000
6.17/4.69	c cleaning 14009 clauses out of 28018 with flag 422995/110001
6.94/5.24	c cleaning 14998 clauses out of 30012 with flag 481993/126004
7.61/5.89	c cleaning 15995 clauses out of 32010 with flag 550137/143000
8.37/6.58	c cleaning 16991 clauses out of 34016 with flag 629046/161001
9.19/7.34	c cleaning 17998 clauses out of 36024 with flag 699461/180000
9.90/8.09	c cleaning 19010 clauses out of 38026 with flag 769359/200000
10.79/8.94	c cleaning 19999 clauses out of 40016 with flag 847761/221000
11.69/9.84	c cleaning 21006 clauses out of 42017 with flag 928225/243000
12.58/10.79	c cleaning 22001 clauses out of 44011 with flag 1019316/266000
13.75/11.87	c cleaning 22993 clauses out of 46010 with flag 1108594/290000
14.85/12.96	c cleaning 23997 clauses out of 48017 with flag 1207171/315000
15.96/14.01	c cleaning 24994 clauses out of 50020 with flag 1308512/341000
17.06/15.17	c cleaning 26010 clauses out of 52026 with flag 1412387/368000
18.35/16.46	c cleaning 27000 clauses out of 54017 with flag 1536061/396001
18.45/16.54	c Got one! Elapsed wall clock time (in seconds):16.407
18.45/16.54	o 714500
18.45/16.55	c Got one! Elapsed wall clock time (in seconds):16.41
18.45/16.55	o 713073
18.58/16.66	c cleaning 16170 clauses out of 32353 with flag 10309/401337
18.78/16.86	c cleaning 11087 clauses out of 22184 with flag 29634/407338
19.02/17.09	c cleaning 9033 clauses out of 18096 with flag 52599/414337
19.56/17.35	c cleaning 8530 clauses out of 17064 with flag 80632/422338
19.86/17.68	c cleaning 8764 clauses out of 17533 with flag 112435/431337
20.27/18.02	c cleaning 9379 clauses out of 18771 with flag 145854/441339
20.66/18.41	c cleaning 10193 clauses out of 20390 with flag 181940/452337
21.06/18.83	c cleaning 11089 clauses out of 22197 with flag 221726/464337
21.46/19.29	c cleaning 12033 clauses out of 24108 with flag 268381/477337
21.95/19.79	c cleaning 13031 clauses out of 26075 with flag 324880/491337
22.55/20.32	c cleaning 14014 clauses out of 28044 with flag 380576/506337
23.15/20.93	c cleaning 15008 clauses out of 30032 with flag 446895/522339
23.85/21.60	c cleaning 16011 clauses out of 32023 with flag 517180/539338
24.45/22.21	c Got one! Elapsed wall clock time (in seconds):22.079
24.45/22.21	o 706664
24.65/22.44	c cleaning 18914 clauses out of 37835 with flag 17526/561161
24.85/22.66	c cleaning 12449 clauses out of 24921 with flag 38984/567161
25.15/22.92	c cleaning 9712 clauses out of 19472 with flag 63588/574161
25.45/23.20	c cleaning 8862 clauses out of 17760 with flag 93188/582161
25.75/23.53	c cleaning 8949 clauses out of 17899 with flag 126892/591162
26.05/23.89	c cleaning 9475 clauses out of 18953 with flag 169337/601165
26.45/24.29	c cleaning 10230 clauses out of 20475 with flag 213180/612162
26.95/24.75	c cleaning 11115 clauses out of 22244 with flag 275690/624161
27.45/25.23	c cleaning 12056 clauses out of 24129 with flag 331999/637161
27.95/25.72	c cleaning 13035 clauses out of 26075 with flag 381231/651163
28.56/26.32	c cleaning 14010 clauses out of 28038 with flag 438099/666161
29.15/26.93	c cleaning 15009 clauses out of 30028 with flag 500625/682161
29.75/27.50	c cleaning 16004 clauses out of 32022 with flag 557578/699164
30.36/28.18	c cleaning 16988 clauses out of 34016 with flag 619128/717162
31.05/28.89	c cleaning 18012 clauses out of 36027 with flag 690319/736161
31.85/29.68	c cleaning 19007 clauses out of 38015 with flag 761121/756161
32.75/30.53	c cleaning 19997 clauses out of 40008 with flag 836603/777161
33.65/31.45	c cleaning 20993 clauses out of 42011 with flag 915010/799161
34.54/32.33	c cleaning 22006 clauses out of 44018 with flag 996869/822161
35.44/33.25	c cleaning 22999 clauses out of 46012 with flag 1074163/846161
36.44/34.28	c cleaning 24005 clauses out of 48013 with flag 1167830/871161
37.63/35.42	c cleaning 24985 clauses out of 50011 with flag 1255338/897164
38.73/36.54	c cleaning 26012 clauses out of 52026 with flag 1351913/924164
39.93/37.74	c cleaning 27002 clauses out of 54011 with flag 1441403/952161
41.13/38.95	c cleaning 27978 clauses out of 56009 with flag 1548794/981161
42.35/40.13	c cleaning 29005 clauses out of 58031 with flag 1660984/1011161
43.63/41.43	c cleaning 29999 clauses out of 60026 with flag 1772922/1042161
45.13/42.96	c cleaning 31016 clauses out of 62031 with flag 1886874/1074165
46.72/44.53	c cleaning 31995 clauses out of 64012 with flag 2002270/1107162
48.23/46.05	c cleaning 32998 clauses out of 66016 with flag 2131439/1141161
49.72/47.52	c cleaning 34003 clauses out of 68018 with flag 2256844/1176161
51.23/49.05	c cleaning 34998 clauses out of 70015 with flag 2380080/1212161
52.91/50.74	c cleaning 36006 clauses out of 72018 with flag 2510778/1249162
54.51/52.31	c cleaning 36989 clauses out of 74011 with flag 2646460/1287161
56.11/53.97	c cleaning 37998 clauses out of 76022 with flag 2787472/1326161
58.01/55.85	c cleaning 38997 clauses out of 78024 with flag 2926669/1366161
60.11/57.92	c cleaning 39999 clauses out of 80027 with flag 3086232/1407161
62.01/59.87	c cleaning 41005 clauses out of 82028 with flag 3247222/1449161
63.90/61.75	c cleaning 42002 clauses out of 84023 with flag 3393589/1492161
65.90/63.71	c cleaning 42997 clauses out of 86021 with flag 3557853/1536161
68.09/65.97	c cleaning 44005 clauses out of 88024 with flag 3714718/1581161
70.39/68.28	c cleaning 44998 clauses out of 90019 with flag 3880774/1627161
72.89/70.77	c cleaning 46011 clauses out of 92021 with flag 4059376/1674161
75.39/73.26	c cleaning 47005 clauses out of 94014 with flag 4245485/1722165
76.98/74.84	c Got one! Elapsed wall clock time (in seconds):74.714
76.98/74.84	o 705652
77.40/75.28	c cleaning 42003 clauses out of 84048 with flag 23193/1759204
77.70/75.57	c cleaning 24003 clauses out of 48045 with flag 46094/1765204
78.00/75.82	c cleaning 15504 clauses out of 31042 with flag 70916/1772204
78.21/76.10	c cleaning 11755 clauses out of 23538 with flag 98885/1780204
78.60/76.42	c cleaning 10383 clauses out of 20785 with flag 130044/1789206
78.90/76.77	c cleaning 10195 clauses out of 20400 with flag 166774/1799204
79.31/77.14	c cleaning 10603 clauses out of 21206 with flag 204352/1810205
79.70/77.54	c cleaning 11286 clauses out of 22602 with flag 241638/1822204
80.10/78.01	c cleaning 12144 clauses out of 24316 with flag 288438/1835204
80.70/78.53	c cleaning 13077 clauses out of 26172 with flag 342948/1849204
81.31/79.12	c cleaning 14042 clauses out of 28095 with flag 399428/1864204
81.90/79.74	c cleaning 15024 clauses out of 30053 with flag 456105/1880204
82.49/80.39	c cleaning 15999 clauses out of 32029 with flag 517186/1897204
83.31/81.11	c cleaning 17005 clauses out of 34030 with flag 582220/1915204
84.09/81.90	c cleaning 17997 clauses out of 36025 with flag 650439/1934204
85.00/82.80	c cleaning 19012 clauses out of 38028 with flag 724872/1954204
85.80/83.63	c cleaning 19996 clauses out of 40018 with flag 799773/1975206
86.70/84.54	c cleaning 21000 clauses out of 42020 with flag 884838/1997204
87.60/85.49	c cleaning 22009 clauses out of 44020 with flag 973070/2020204
88.69/86.55	c cleaning 22993 clauses out of 46018 with flag 1069809/2044211
89.79/87.60	c cleaning 24008 clauses out of 48019 with flag 1158905/2069205
90.79/88.64	c cleaning 25001 clauses out of 50010 with flag 1248756/2095204
91.89/89.73	c cleaning 25985 clauses out of 52009 with flag 1335171/2122204
93.19/91.07	c cleaning 27008 clauses out of 54025 with flag 1434681/2150205
94.48/92.36	c cleaning 27993 clauses out of 56017 with flag 1537186/2179205
95.68/93.55	c cleaning 29006 clauses out of 58023 with flag 1640561/2209204
97.07/94.99	c cleaning 30005 clauses out of 60018 with flag 1746375/2240205
98.57/96.43	c cleaning 31001 clauses out of 62013 with flag 1860895/2272205
100.18/98.02	c cleaning 32003 clauses out of 64011 with flag 1973655/2305204
101.97/99.84	c cleaning 33003 clauses out of 66008 with flag 2084102/2339204
103.87/101.78	c cleaning 33992 clauses out of 68005 with flag 2196547/2374204
105.66/103.59	c cleaning 35003 clauses out of 70015 with flag 2331096/2410206
107.66/105.55	c cleaning 35981 clauses out of 72010 with flag 2471734/2447204
109.28/107.16	c cleaning 37003 clauses out of 74029 with flag 2605598/2485204
111.06/108.96	c cleaning 38010 clauses out of 76026 with flag 2755396/2524204
112.86/110.75	c cleaning 39004 clauses out of 78016 with flag 2904550/2564204
114.56/112.46	c cleaning 40000 clauses out of 80013 with flag 3048248/2605205
116.26/114.18	c cleaning 40997 clauses out of 82013 with flag 3198289/2647205
117.05/114.99	c Got one! Elapsed wall clock time (in seconds):114.861
117.05/114.99	o 704385
117.46/115.34	c cleaning 34774 clauses out of 69563 with flag 20405/2675752
117.76/115.62	c cleaning 20378 clauses out of 40789 with flag 40668/2681752
117.96/115.86	c cleaning 13690 clauses out of 27410 with flag 64621/2688751
118.27/116.13	c cleaning 10839 clauses out of 21720 with flag 88551/2696751
118.56/116.41	c cleaning 9927 clauses out of 19881 with flag 115282/2705751
118.85/116.73	c cleaning 9964 clauses out of 19954 with flag 149362/2715751
119.27/117.11	c cleaning 10486 clauses out of 20990 with flag 194506/2726751
119.65/117.52	c cleaning 11245 clauses out of 22505 with flag 238719/2738752
120.17/118.02	c cleaning 12117 clauses out of 24259 with flag 281809/2751751
120.66/118.58	c cleaning 13071 clauses out of 26143 with flag 332020/2765752
121.27/119.15	c cleaning 14032 clauses out of 28071 with flag 390276/2780751
121.86/119.74	c cleaning 15007 clauses out of 30039 with flag 449099/2796751
122.46/120.35	c cleaning 16015 clauses out of 32032 with flag 514172/2813751
123.05/120.94	c Got one! Elapsed wall clock time (in seconds):120.807
123.05/120.94	o 702822
123.36/121.22	c cleaning 19169 clauses out of 38370 with flag 20733/2836104
123.56/121.48	c cleaning 12591 clauses out of 25202 with flag 49091/2842105
123.86/121.77	c cleaning 9796 clauses out of 19610 with flag 78796/2849104
124.17/122.03	c cleaning 8887 clauses out of 17814 with flag 107128/2857104
124.46/122.33	c cleaning 8949 clauses out of 17928 with flag 136838/2866105
124.76/122.65	c cleaning 9480 clauses out of 18978 with flag 171894/2876104
125.17/123.03	c cleaning 10238 clauses out of 20498 with flag 211074/2887104
125.56/123.44	c cleaning 11117 clauses out of 22261 with flag 255015/2899105
126.06/123.91	c cleaning 12070 clauses out of 24143 with flag 300014/2912104
126.56/124.42	c cleaning 13029 clauses out of 26073 with flag 353307/2926104
127.06/124.96	c cleaning 14003 clauses out of 28044 with flag 403701/2941104
127.65/125.58	c cleaning 15017 clauses out of 30041 with flag 464916/2957104
128.35/126.27	c cleaning 16011 clauses out of 32024 with flag 527497/2974104
129.16/127.01	c cleaning 16997 clauses out of 34013 with flag 601926/2992104
129.85/127.79	c cleaning 17998 clauses out of 36016 with flag 673793/3011104
130.74/128.61	c cleaning 19002 clauses out of 38018 with flag 747426/3031104
131.54/129.45	c cleaning 19996 clauses out of 40016 with flag 821527/3052104
132.83/130.77	c cleaning 21004 clauses out of 42020 with flag 892922/3074104
134.23/132.14	c cleaning 22002 clauses out of 44016 with flag 973145/3097104
135.22/133.12	c cleaning 22992 clauses out of 46014 with flag 1057219/3121104
136.21/134.17	c cleaning 24010 clauses out of 48022 with flag 1147639/3146104
137.39/135.35	c cleaning 24993 clauses out of 50012 with flag 1241376/3172104
138.78/136.70	c cleaning 26001 clauses out of 52019 with flag 1353460/3199104
139.97/137.96	c Got one! Elapsed wall clock time (in seconds):137.826
139.97/137.96	o 701210
140.28/138.28	c cleaning 28805 clauses out of 57614 with flag 18039/3230700
140.58/138.53	c cleaning 17390 clauses out of 34806 with flag 42187/3236697
140.78/138.78	c cleaning 12198 clauses out of 24418 with flag 67258/3243699
141.08/139.05	c cleaning 10099 clauses out of 20220 with flag 95268/3251699
141.37/139.35	c cleaning 9552 clauses out of 19119 with flag 123999/3260697
141.77/139.73	c cleaning 9761 clauses out of 19567 with flag 164200/3270697
142.17/140.12	c cleaning 10401 clauses out of 20806 with flag 202489/3281697
142.56/140.58	c cleaning 11189 clauses out of 22406 with flag 243882/3293698
143.16/141.12	c cleaning 12105 clauses out of 24216 with flag 288890/3306697
143.65/141.65	c cleaning 13048 clauses out of 26111 with flag 338496/3320697
144.25/142.26	c cleaning 14020 clauses out of 28063 with flag 395443/3335697
144.85/142.86	c cleaning 15013 clauses out of 30044 with flag 449298/3351698
145.44/143.47	c cleaning 16009 clauses out of 32030 with flag 507898/3368697
146.23/144.23	c cleaning 17009 clauses out of 34023 with flag 567944/3386699
146.93/144.99	c cleaning 17994 clauses out of 36012 with flag 628458/3405697
147.82/145.81	c cleaning 19001 clauses out of 38018 with flag 699975/3425697
148.61/146.63	c cleaning 19999 clauses out of 40017 with flag 771697/3446697
149.50/147.54	c cleaning 20999 clauses out of 42018 with flag 847947/3468697
150.39/148.45	c cleaning 22005 clauses out of 44020 with flag 924784/3491698
151.39/149.47	c cleaning 22994 clauses out of 46014 with flag 1013920/3515697
152.48/150.53	c cleaning 24003 clauses out of 48020 with flag 1105655/3540697
153.47/151.58	c cleaning 25006 clauses out of 50017 with flag 1203609/3566697
154.66/152.70	c cleaning 26001 clauses out of 52011 with flag 1301267/3593697
155.95/154.03	c cleaning 27004 clauses out of 54010 with flag 1398235/3621697
157.24/155.38	c cleaning 27995 clauses out of 56006 with flag 1493921/3650697
158.63/156.72	c cleaning 28994 clauses out of 58011 with flag 1599603/3680697
159.92/158.05	c cleaning 29998 clauses out of 60017 with flag 1700445/3711697
161.30/159.48	c cleaning 30998 clauses out of 62020 with flag 1801595/3743698
162.70/160.89	c cleaning 32001 clauses out of 64021 with flag 1897822/3776697
164.28/162.48	c cleaning 33003 clauses out of 66020 with flag 2012505/3810697
166.08/164.26	c cleaning 34004 clauses out of 68017 with flag 2133961/3845697
167.87/166.03	c cleaning 35005 clauses out of 70013 with flag 2257064/3881697
169.85/168.03	c cleaning 35996 clauses out of 72008 with flag 2379582/3918697
171.83/170.10	c cleaning 37005 clauses out of 74012 with flag 2508311/3956697
174.01/172.22	c cleaning 38002 clauses out of 76007 with flag 2643181/3995697
176.19/174.49	c cleaning 38994 clauses out of 78005 with flag 2778157/4035697
178.18/176.45	c cleaning 39997 clauses out of 80012 with flag 2925152/4076698
180.26/178.50	c cleaning 40993 clauses out of 82014 with flag 3077404/4118697
182.64/180.97	c cleaning 41997 clauses out of 84021 with flag 3231472/4161697
185.16/183.44	c cleaning 42995 clauses out of 86024 with flag 3387945/4205697
187.06/185.38	c cleaning 44006 clauses out of 88030 with flag 3540441/4250698
189.15/187.41	c cleaning 44994 clauses out of 90023 with flag 3699885/4296697
191.55/189.80	c cleaning 45998 clauses out of 92029 with flag 3882417/4343697
193.86/192.13	c cleaning 47010 clauses out of 94031 with flag 4060219/4391697
196.34/194.60	c cleaning 48010 clauses out of 96024 with flag 4231184/4440700
198.85/197.18	c cleaning 48992 clauses out of 98011 with flag 4415466/4490697
201.65/200.01	c cleaning 50011 clauses out of 100023 with flag 4605403/4541701
204.24/202.50	c cleaning 50995 clauses out of 102008 with flag 4787611/4593697
206.85/205.13	c cleaning 52000 clauses out of 104014 with flag 4968962/4646698
209.54/207.80	c cleaning 53004 clauses out of 106013 with flag 5148349/4700697
209.54/207.82	c Got one! Elapsed wall clock time (in seconds):207.675
209.54/207.82	o 700022
209.77/208.04	c cleaning 29026 clauses out of 58056 with flag 16216/4705744
209.96/208.26	c cleaning 17503 clauses out of 35029 with flag 35018/4711743
210.16/208.49	c cleaning 12254 clauses out of 24526 with flag 55449/4718743
210.46/208.75	c cleaning 10131 clauses out of 20272 with flag 80435/4726743
210.77/209.06	c cleaning 9557 clauses out of 19141 with flag 112167/4735743
211.15/209.41	c cleaning 9791 clauses out of 19585 with flag 147508/4745744
211.55/209.82	c cleaning 10385 clauses out of 20794 with flag 181311/4756744
211.95/210.26	c cleaning 11193 clauses out of 22408 with flag 223914/4768743
212.45/210.77	c cleaning 12103 clauses out of 24216 with flag 266711/4781744
212.95/211.27	c cleaning 13057 clauses out of 26114 with flag 310594/4795745
213.55/211.83	c cleaning 14015 clauses out of 28057 with flag 355501/4810745
214.15/212.44	c cleaning 15016 clauses out of 30041 with flag 410070/4826744
214.86/213.11	c cleaning 16012 clauses out of 32024 with flag 467508/4843743
215.55/213.84	c cleaning 17000 clauses out of 34012 with flag 529842/4861743
216.45/214.75	c cleaning 18003 clauses out of 36012 with flag 597422/4880743
217.25/215.56	c cleaning 18995 clauses out of 38009 with flag 666216/4900743
218.15/216.49	c cleaning 20003 clauses out of 40014 with flag 738594/4921743
219.15/217.46	c cleaning 20995 clauses out of 42011 with flag 816021/4943743
220.15/218.46	c cleaning 21997 clauses out of 44016 with flag 893398/4966743
221.14/219.46	c cleaning 23009 clauses out of 46019 with flag 978185/4990743
222.24/220.51	c cleaning 23993 clauses out of 48010 with flag 1056178/5015743
223.24/221.56	c cleaning 25007 clauses out of 50021 with flag 1137934/5041747
224.44/222.76	c cleaning 26002 clauses out of 52011 with flag 1226291/5068744
225.63/223.92	c cleaning 26990 clauses out of 54008 with flag 1320580/5096743
227.13/225.42	c cleaning 28001 clauses out of 56018 with flag 1416541/5125743
228.43/226.71	c cleaning 28999 clauses out of 58017 with flag 1528110/5155743
229.63/227.95	c cleaning 30004 clauses out of 60018 with flag 1644524/5186743
231.02/229.31	c cleaning 31000 clauses out of 62014 with flag 1760055/5218743
232.32/230.69	c cleaning 31986 clauses out of 64014 with flag 1884959/5251743
234.02/232.38	c cleaning 33007 clauses out of 66028 with flag 2015991/5285743
235.41/233.75	c cleaning 34002 clauses out of 68021 with flag 2128715/5320743
237.11/235.43	c cleaning 35000 clauses out of 70020 with flag 2242076/5356744
238.72/237.06	c cleaning 35993 clauses out of 72019 with flag 2362740/5393743
240.41/238.79	c cleaning 37009 clauses out of 74027 with flag 2495636/5431744
242.21/240.57	c cleaning 37998 clauses out of 76017 with flag 2639124/5470743
243.61/241.99	c Got one! Elapsed wall clock time (in seconds):241.856
243.61/241.99	o 698627
243.61/241.99	c Got one! Elapsed wall clock time (in seconds):241.858
243.61/241.99	o 689120
244.12/242.32	c cleaning 38451 clauses out of 76921 with flag 17687/5509645
244.32/242.58	c cleaning 22219 clauses out of 44471 with flag 37746/5515646
244.62/242.84	c cleaning 14621 clauses out of 29253 with flag 64430/5522647
244.93/243.13	c cleaning 11300 clauses out of 22630 with flag 90919/5530645
245.21/243.45	c cleaning 10147 clauses out of 20330 with flag 121425/5539645
245.61/243.81	c cleaning 10080 clauses out of 20183 with flag 157375/5549645
246.01/244.22	c cleaning 10543 clauses out of 21103 with flag 197659/5560645
246.41/244.63	c cleaning 11274 clauses out of 22560 with flag 237933/5572645
246.82/245.09	c cleaning 12136 clauses out of 24286 with flag 281164/5585645
247.31/245.59	c cleaning 13067 clauses out of 26150 with flag 330607/5599645
247.92/246.15	c cleaning 14024 clauses out of 28083 with flag 382155/5614645
248.51/246.75	c cleaning 15030 clauses out of 30059 with flag 434149/5630645
249.21/247.46	c cleaning 16007 clauses out of 32029 with flag 487392/5647645
249.92/248.16	c cleaning 17007 clauses out of 34022 with flag 548467/5665645
250.71/248.91	c cleaning 18001 clauses out of 36015 with flag 611256/5684645
251.61/249.89	c cleaning 19000 clauses out of 38014 with flag 671091/5704645
252.51/250.77	c cleaning 20005 clauses out of 40016 with flag 737993/5725647
253.41/251.69	c cleaning 21002 clauses out of 42009 with flag 816854/5747645
254.60/252.80	c cleaning 21998 clauses out of 44008 with flag 901757/5770646
255.60/253.88	c cleaning 22998 clauses out of 46010 with flag 984905/5794646
256.81/255.03	c cleaning 24000 clauses out of 48011 with flag 1071793/5819645
257.91/256.15	c cleaning 24998 clauses out of 50011 with flag 1160518/5845645
259.00/257.30	c cleaning 26007 clauses out of 52015 with flag 1249994/5872647
260.29/258.56	c cleaning 26998 clauses out of 54006 with flag 1340206/5900645
261.59/259.89	c cleaning 27996 clauses out of 56008 with flag 1432859/5929645
263.09/261.32	c cleaning 28995 clauses out of 58013 with flag 1537727/5959646
264.49/262.78	c cleaning 30005 clauses out of 60017 with flag 1641789/5990645
266.08/264.31	c cleaning 31005 clauses out of 62012 with flag 1751799/6022645
267.68/265.96	c cleaning 32002 clauses out of 64008 with flag 1861378/6055646
269.08/267.33	c cleaning 32990 clauses out of 66005 with flag 1970306/6089645
270.78/269.02	c cleaning 34000 clauses out of 68015 with flag 2086331/6124645
272.67/270.90	c cleaning 35002 clauses out of 70017 with flag 2211313/6160647
274.47/272.70	c cleaning 35980 clauses out of 72013 with flag 2334153/6197645
274.57/272.83	c Got one! Elapsed wall clock time (in seconds):272.699
274.57/272.83	o 683966
274.67/272.99	c cleaning 20776 clauses out of 41586 with flag 7367/6203198
274.97/273.22	c cleaning 13390 clauses out of 26810 with flag 29778/6209198
275.17/273.48	c cleaning 10204 clauses out of 20423 with flag 55354/6216201
275.47/273.76	c cleaning 9092 clauses out of 18216 with flag 82082/6224198
275.78/274.07	c cleaning 9052 clauses out of 18124 with flag 109510/6233198
276.17/274.44	c cleaning 9525 clauses out of 19074 with flag 144191/6243200
276.57/274.84	c cleaning 10267 clauses out of 20547 with flag 175956/6254198
276.97/275.28	c cleaning 11135 clauses out of 22280 with flag 212117/6266198
277.47/275.76	c cleaning 12063 clauses out of 24145 with flag 250668/6279198
277.96/276.28	c cleaning 13039 clauses out of 26082 with flag 288033/6293198
278.06/276.33	c Got one! Elapsed wall clock time (in seconds):276.204
278.06/276.33	o 682773
278.17/276.48	c cleaning 9362 clauses out of 18753 with flag 15236/6298908
278.37/276.69	c cleaning 7687 clauses out of 15391 with flag 36461/6304908
278.67/276.92	c cleaning 7349 clauses out of 14705 with flag 62094/6311909
278.96/277.21	c cleaning 7674 clauses out of 15355 with flag 88499/6319908
279.26/277.53	c cleaning 8336 clauses out of 16681 with flag 118410/6328908
279.56/277.88	c cleaning 9169 clauses out of 18346 with flag 149156/6338909
279.96/278.28	c cleaning 10080 clauses out of 20176 with flag 185917/6349908
280.46/278.70	c cleaning 11048 clauses out of 22096 with flag 228197/6361908
280.87/279.16	c cleaning 12010 clauses out of 24048 with flag 269305/6374908
281.46/279.73	c cleaning 13012 clauses out of 26038 with flag 317518/6388908
282.06/280.33	c cleaning 14001 clauses out of 28026 with flag 370290/6403908
282.65/280.96	c cleaning 15008 clauses out of 30026 with flag 422344/6419909
283.35/281.62	c cleaning 16004 clauses out of 32017 with flag 480242/6436908
284.05/282.31	c cleaning 17007 clauses out of 34016 with flag 541831/6454911
284.76/283.07	c cleaning 17997 clauses out of 36006 with flag 606165/6473908
285.55/283.83	c cleaning 18999 clauses out of 38009 with flag 667623/6493908
286.25/284.58	c cleaning 20006 clauses out of 40011 with flag 729071/6514909
287.25/285.50	c cleaning 20991 clauses out of 42006 with flag 800333/6536910
288.14/286.47	c cleaning 22004 clauses out of 44015 with flag 884501/6559910
289.14/287.40	c cleaning 22999 clauses out of 46010 with flag 961771/6583909
290.25/288.50	c cleaning 24002 clauses out of 48011 with flag 1050574/6608909
291.45/289.71	c cleaning 24991 clauses out of 50008 with flag 1152488/6634908
292.55/290.87	c cleaning 25995 clauses out of 52017 with flag 1244457/6661908
293.86/292.18	c cleaning 27011 clauses out of 54022 with flag 1348310/6689908
295.07/293.35	c cleaning 28000 clauses out of 56012 with flag 1450696/6718909
296.37/294.63	c cleaning 28995 clauses out of 58011 with flag 1547317/6748908
297.67/295.91	c cleaning 30002 clauses out of 60017 with flag 1646588/6779909
299.16/297.45	c cleaning 31004 clauses out of 62014 with flag 1752893/6811908
300.66/298.93	c cleaning 32004 clauses out of 64011 with flag 1857914/6844909
301.46/299.73	c Got one! Elapsed wall clock time (in seconds):299.599
301.46/299.73	o 681298
301.79/300.04	c cleaning 28420 clauses out of 56881 with flag 20119/6869783
301.98/300.28	c cleaning 17223 clauses out of 34463 with flag 41583/6875785
302.28/300.54	c cleaning 12103 clauses out of 24238 with flag 66239/6882783
302.58/300.82	c cleaning 10055 clauses out of 20135 with flag 92717/6890783
302.89/301.13	c cleaning 9532 clauses out of 19080 with flag 119763/6899783
303.18/301.47	c cleaning 9767 clauses out of 19548 with flag 150135/6909783
303.58/301.86	c cleaning 10385 clauses out of 20782 with flag 183593/6920784
304.08/302.34	c cleaning 11192 clauses out of 22397 with flag 219575/6932784
304.58/302.84	c cleaning 12099 clauses out of 24204 with flag 257507/6945783
305.18/303.41	c cleaning 13032 clauses out of 26105 with flag 302891/6959783
305.68/303.94	c cleaning 14026 clauses out of 28073 with flag 352705/6974783
306.28/304.55	c cleaning 15018 clauses out of 30047 with flag 401661/6990783
306.89/305.19	c cleaning 16002 clauses out of 32029 with flag 458292/7007783
307.68/305.97	c cleaning 17007 clauses out of 34027 with flag 518301/7025783
308.47/306.73	c cleaning 18007 clauses out of 36020 with flag 587593/7044783
309.27/307.50	c cleaning 19006 clauses out of 38013 with flag 652844/7064783
310.07/308.38	c cleaning 20001 clauses out of 40009 with flag 722092/7085785
310.97/309.27	c cleaning 20996 clauses out of 42006 with flag 802328/7107783
311.88/310.12	c cleaning 22005 clauses out of 44011 with flag 871036/7130784
312.88/311.12	c cleaning 23001 clauses out of 46005 with flag 946414/7154783
313.97/312.27	c cleaning 23999 clauses out of 48004 with flag 1028889/7179783
315.16/313.43	c cleaning 24998 clauses out of 50005 with flag 1120044/7205783
316.36/314.64	c cleaning 25998 clauses out of 52008 with flag 1211454/7232784
317.56/315.89	c cleaning 27001 clauses out of 54010 with flag 1307500/7260784
319.08/317.35	c cleaning 27998 clauses out of 56008 with flag 1400962/7289783
320.38/318.66	c cleaning 29004 clauses out of 58011 with flag 1497383/7319784
322.95/320.54	c cleaning 29996 clauses out of 60006 with flag 1603470/7350783
324.92/322.34	c cleaning 30999 clauses out of 62011 with flag 1719283/7382784
326.99/324.00	c cleaning 31990 clauses out of 64012 with flag 1833688/7415784
329.29/325.61	c cleaning 33003 clauses out of 66021 with flag 1948619/7449783
330.80/327.19	c cleaning 33996 clauses out of 68018 with flag 2077944/7484783
332.49/328.88	c cleaning 35006 clauses out of 70022 with flag 2199926/7520783
334.28/330.60	c cleaning 35999 clauses out of 72017 with flag 2316507/7557784
336.08/332.42	c cleaning 37003 clauses out of 74018 with flag 2440214/7595784
338.38/334.75	c cleaning 38006 clauses out of 76015 with flag 2574851/7634784
340.58/336.94	c cleaning 38991 clauses out of 78010 with flag 2710999/7674785
342.57/338.93	c cleaning 39992 clauses out of 80017 with flag 2854729/7715783
344.47/340.83	c cleaning 40999 clauses out of 82025 with flag 2994680/7757783
346.37/342.73	c cleaning 42010 clauses out of 84027 with flag 3133470/7800784
348.36/344.77	c cleaning 43001 clauses out of 86020 with flag 3263962/7844787
350.86/347.24	c cleaning 44004 clauses out of 88016 with flag 3417221/7889784
352.95/349.35	c cleaning 45000 clauses out of 90011 with flag 3569459/7935783
355.45/351.82	c cleaning 45997 clauses out of 92011 with flag 3719378/7982783
358.59/354.67	c cleaning 47007 clauses out of 94015 with flag 3885155/8030784
361.99/358.03	c cleaning 48001 clauses out of 96008 with flag 4054126/8079784
364.68/360.72	c cleaning 49002 clauses out of 98006 with flag 4225406/8129783
367.48/363.53	c cleaning 49994 clauses out of 100004 with flag 4405241/8180783
370.32/366.29	c cleaning 50998 clauses out of 102010 with flag 4582085/8232783
372.81/368.79	c cleaning 51991 clauses out of 104012 with flag 4763234/8285783
375.31/371.22	c cleaning 52998 clauses out of 106021 with flag 4961810/8339783
377.70/373.69	c cleaning 53999 clauses out of 108023 with flag 5160919/8394783
380.40/376.32	c cleaning 55013 clauses out of 110025 with flag 5356536/8450784
382.99/379.00	c cleaning 56002 clauses out of 112012 with flag 5557044/8507784
386.20/382.19	c cleaning 56994 clauses out of 114009 with flag 5763115/8565783
389.71/385.67	c cleaning 57993 clauses out of 116015 with flag 5963642/8624783
393.00/388.97	c cleaning 58984 clauses out of 118022 with flag 6171142/8684783
396.00/391.99	c cleaning 60011 clauses out of 120040 with flag 6394519/8745785
399.11/395.02	c cleaning 61013 clauses out of 122034 with flag 6620898/8807790
402.40/398.36	c cleaning 62004 clauses out of 124014 with flag 6835797/8870783
405.59/401.59	c cleaning 62995 clauses out of 126011 with flag 7064518/8934784
409.13/405.07	c cleaning 64003 clauses out of 128016 with flag 7289701/8999784
410.62/406.53	c Got one! Elapsed wall clock time (in seconds):406.403
410.62/406.53	o 680590
410.72/406.69	c Got one! Elapsed wall clock time (in seconds):406.561
410.72/406.69	o 674555
411.02/406.96	c cleaning 52923 clauses out of 105868 with flag 7424/9041639
411.42/407.34	c cleaning 29465 clauses out of 58945 with flag 27724/9047639
411.72/407.63	c cleaning 18225 clauses out of 36481 with flag 47158/9054640
412.02/407.94	c cleaning 13118 clauses out of 26256 with flag 69914/9062640
412.32/408.24	c cleaning 11061 clauses out of 22138 with flag 94073/9071640
412.62/408.59	c cleaning 10530 clauses out of 21078 with flag 118581/9081641
413.02/409.00	c cleaning 10769 clauses out of 21547 with flag 147662/9092640
413.52/409.42	c cleaning 11386 clauses out of 22779 with flag 186770/9104641
413.92/409.88	c cleaning 12195 clauses out of 24391 with flag 233053/9117639
414.42/410.39	c cleaning 13088 clauses out of 26196 with flag 278774/9131639
415.02/410.98	c cleaning 14045 clauses out of 28108 with flag 327526/9146639
415.72/411.62	c cleaning 15031 clauses out of 30064 with flag 381230/9162640
416.42/412.36	c cleaning 16005 clauses out of 32034 with flag 443995/9179641
417.23/413.14	c cleaning 17005 clauses out of 34027 with flag 510597/9197639
418.02/413.99	c cleaning 18011 clauses out of 36022 with flag 577645/9216639
418.82/414.74	c cleaning 18988 clauses out of 38011 with flag 643846/9236639
419.62/415.59	c cleaning 20002 clauses out of 40023 with flag 714051/9257639
420.51/416.45	c cleaning 20994 clauses out of 42021 with flag 784660/9279639
421.51/417.46	c cleaning 22006 clauses out of 44027 with flag 862579/9302639
422.71/418.62	c cleaning 23009 clauses out of 46021 with flag 942023/9326639
423.81/419.79	c cleaning 23999 clauses out of 48012 with flag 1021462/9351639
424.91/420.88	c cleaning 25007 clauses out of 50014 with flag 1102494/9377640
426.21/422.14	c cleaning 25995 clauses out of 52006 with flag 1186908/9404639
427.40/423.36	c cleaning 26997 clauses out of 54011 with flag 1279392/9432639
428.73/424.65	c cleaning 27997 clauses out of 56014 with flag 1375614/9461639
429.93/425.86	c cleaning 29003 clauses out of 58017 with flag 1459794/9491639
431.62/427.50	c cleaning 30001 clauses out of 60014 with flag 1568977/9522639
432.92/428.88	c cleaning 30998 clauses out of 62013 with flag 1669571/9554639
434.52/430.45	c cleaning 32003 clauses out of 64015 with flag 1777325/9587639
436.01/431.97	c cleaning 33000 clauses out of 66012 with flag 1882027/9621639
438.10/433.75	c cleaning 34002 clauses out of 68011 with flag 1994164/9656639
439.70/435.37	c cleaning 35001 clauses out of 70009 with flag 2110969/9692639
441.33/436.84	c cleaning 35993 clauses out of 72008 with flag 2230555/9729639
442.94/438.47	c cleaning 37003 clauses out of 74015 with flag 2354682/9767639
444.74/440.26	c cleaning 37991 clauses out of 76014 with flag 2481193/9806641
446.54/442.07	c cleaning 39001 clauses out of 78021 with flag 2627107/9846639
448.54/444.03	c cleaning 40002 clauses out of 80020 with flag 2771277/9887639
450.43/446.00	c cleaning 41007 clauses out of 82019 with flag 2903663/9929640
452.42/447.94	c cleaning 41997 clauses out of 84011 with flag 3044108/9972639
454.42/449.93	c cleaning 43000 clauses out of 86014 with flag 3185703/10016639
456.63/452.11	c cleaning 44003 clauses out of 88015 with flag 3331212/10061640
459.11/454.70	c cleaning 44995 clauses out of 90012 with flag 3496773/10107640
461.52/457.09	c cleaning 46007 clauses out of 92016 with flag 3651578/10154639
463.80/459.36	c cleaning 46996 clauses out of 94009 with flag 3806397/10202639
465.90/461.45	c cleaning 48000 clauses out of 96013 with flag 3949740/10251639
468.39/463.95	c cleaning 48981 clauses out of 98013 with flag 4096008/10301639
470.89/466.49	c cleaning 50013 clauses out of 100032 with flag 4257726/10352639
473.81/469.37	c cleaning 51003 clauses out of 102022 with flag 4426576/10404642
476.90/472.42	c cleaning 51995 clauses out of 104016 with flag 4610973/10457639
479.51/475.05	c cleaning 53005 clauses out of 106021 with flag 4781125/10511639
482.60/478.14	c cleaning 54006 clauses out of 108017 with flag 4955164/10566640
485.49/481.03	c cleaning 54994 clauses out of 110010 with flag 5137931/10622639
488.38/483.93	c cleaning 56002 clauses out of 112016 with flag 5309290/10679639
492.58/488.16	c cleaning 56996 clauses out of 114014 with flag 5511765/10737639
495.87/491.42	c cleaning 58007 clauses out of 116021 with flag 5689415/10796642
499.66/495.26	c cleaning 58999 clauses out of 118010 with flag 5884030/10856640
502.86/498.42	c cleaning 60001 clauses out of 120013 with flag 6082844/10917642
506.37/501.98	c cleaning 60995 clauses out of 122009 with flag 6282871/10979639
509.96/505.58	c cleaning 62006 clauses out of 124016 with flag 6478655/11042641
513.40/508.95	c cleaning 62997 clauses out of 126007 with flag 6678090/11106639
517.10/512.65	c cleaning 64002 clauses out of 128011 with flag 6887769/11171641
521.69/517.24	c cleaning 64999 clauses out of 130006 with flag 7094933/11237639
525.59/521.15	c cleaning 66003 clauses out of 132010 with flag 7304383/11304643
529.49/525.09	c cleaning 66996 clauses out of 134000 with flag 7496648/11372639
530.68/526.24	c starts		: 7612
530.68/526.26	c conflicts		: 11394428
530.68/526.26	c decisions		: 39690446
530.68/526.26	c propagations		: 1498024345
530.68/526.26	c inspects		: 4439918309
530.68/526.26	c shortcuts		: 0
530.68/526.26	c learnt literals	: 21
530.68/526.26	c learnt binary clauses	: 39
530.68/526.26	c learnt ternary clauses	: 128
530.68/526.26	c learnt constraints	: 11394406
530.68/526.26	c ignored constraints	: 0
530.68/526.26	c root simplifications	: 0
530.68/526.26	c removed literals (reason simplification)	: 0
530.68/526.26	c reason swapping (by a shorter reason)	: 0
530.68/526.26	c Calls to reduceDB	: 437
530.68/526.26	c Number of update (reduction) of LBD	: 3983213
530.68/526.26	c Imported unit clauses	: 0
530.68/526.26	c No decision after first conflict	: false
530.68/526.26	c number of reductions to clauses (during analyze)	: 0
530.68/526.26	c number of learned constraints concerned by reduction	: 0
530.68/526.26	c number of learning phase by resolution	: 0
530.68/526.26	c number of learning phase by cutting planes	: 0
530.68/526.26	c number of rounding to 1 operations	: 0
530.68/526.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
530.68/526.26	c number of reductions of the coefficients by power 2 	: 0
530.68/526.26	c number of right shift for reduction by power 2 	: 0
530.68/526.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
530.68/526.27	c number of ending skipping 	: 0
530.68/526.27	c number of internal skipping 	: 0
530.68/526.27	c number of derivation steps 	: 0
530.68/526.27	c number of skipped derivation steps 	: 0
530.68/526.27	c number of remaining unassigned 	: 0
530.68/526.27	c number of remaining assigned 	: 0
530.68/526.27	c number of falsified literals weakened from reason	: 0
530.68/526.27	c number of falsified literals weakened from conflict	: 0
530.68/526.27	c time for arithmetic operations	: 0
530.68/526.27	c minimum degree of deleted constraints	: null
530.68/526.27	c maximum degree of deleted constraints	: null
530.68/526.27	c number of deleted constraints	: 0
530.68/526.27	c speed (assignments/second)	: 2847581.486459001
530.68/526.27	c non guided choices	: 821
530.68/526.27	s OPTIMUM FOUND
530.68/526.27	c Found 16 solution(s)
530.68/526.27	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 
530.68/526.27	c objective function=674555
530.68/526.27	c Total wall clock time (in seconds): 526.143

Verifier Data 

OK	674555

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: 64059 MiB (53447 MiB free)
  memory of node 1: 64510 MiB (62640 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424885-1720883600/watcher-4424885-1720883600 -o /tmp/evaluation-result-4424885-1720883600/solver-4424885-1720883600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701332 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424885-1720883600.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100081 s]*
/proc/loadavg: 4.42 4.24 4.19 5/319 706015
/proc/meminfo: memFree=118831256/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=18975048 memory=63280 CPUtime=0.14 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 7198 0 0 0 13 1 0 0 20 0 18 0 140519255 19430449152 15820 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4743762 15820 5724 1 0 551388 0
[pid=705997/tid=705999] ppid=705994 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 5744 0 0 0 8 1 0 0 20 0 18 0 140519255 19430449152 15820 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140519258 19430449152 15820 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=18975048 memory=15823283178223670 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140519258 19430449152 15820 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63280 KiB

[startup+0.211335 s]*
/proc/loadavg: 4.42 4.24 4.19 8/320 706016
/proc/meminfo: memFree=118820700/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19041612 memory=73656 CPUtime=0.35 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 7675 0 0 0 33 2 0 0 20 0 19 0 140519255 19498610688 18414 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4760403 18414 5847 1 0 552043 0
[pid=705997/tid=705999] ppid=705994 vsize=19041612 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 6049 0 0 0 19 1 0 0 20 0 19 0 140519255 19498610688 18414 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19041612 memory=1645 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 18414 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19041612 memory=13847460783068500 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 18414 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140519275 19498610688 18414 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73656 KiB

[startup+0.308341 s]*
/proc/loadavg: 4.42 4.24 4.19 7/320 706016
/proc/meminfo: memFree=118818324/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19041612 memory=75772 CPUtime=0.53 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 8674 0 0 0 51 2 0 0 20 0 19 0 140519255 19498610688 18943 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4760403 18943 5847 1 0 552618 0
[pid=705997/tid=705999] ppid=705994 vsize=19041612 memory=-8886835061569528508 CPUtime=0.29 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 6066 0 0 0 28 1 0 0 20 0 19 0 140519255 19498610688 18943 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 18943 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 18943 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140519275 19498610688 18943 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75772 KiB

[startup+0.700341 s]
/proc/loadavg: 4.42 4.24 4.19 7/320 706016
/proc/meminfo: memFree=118816292/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19041612 memory=83952 CPUtime=1.28 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 10127 0 0 0 126 2 0 0 20 0 19 0 140519255 19498610688 20988 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4760403 20988 5847 1 0 553577 0
[pid=705997/tid=705999] ppid=705994 vsize=19041612 memory=35464 CPUtime=0.67 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 6073 0 0 0 66 1 0 0 20 0 19 0 140519255 19498610688 20988 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19041612 memory=11948 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 20988 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19041612 memory=2208 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 20988 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19041612 memory=32604 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140519275 19498610688 20988 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83952 KiB

[startup+1.50025 s]
/proc/loadavg: 4.42 4.24 4.19 7/320 706016
/proc/meminfo: memFree=118801032/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19041612 memory=99820 CPUtime=2.71 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 16308 0 0 0 268 3 0 0 20 0 19 0 140519255 19498610688 24955 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4760403 24955 5879 1 0 555297 0
[pid=705997/tid=705999] ppid=705994 vsize=19041612 memory=11948 CPUtime=1.46 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 6488 0 0 0 145 1 0 0 20 0 19 0 140519255 19498610688 24955 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 24955 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19041612 memory=2208 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 24955 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19041612 memory=32604 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140519275 19498610688 24955 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99820 KiB

[startup+3.11295 s]
/proc/loadavg: 4.42 4.24 4.19 5/320 706016
/proc/meminfo: memFree=118780188/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19041612 memory=116252 CPUtime=4.57 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 17004 0 0 0 453 4 0 0 20 0 19 0 140519255 19498610688 29063 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4760403 29063 5879 1 0 555299 0
[pid=705997/tid=705999] ppid=705994 vsize=19041612 memory=0 CPUtime=3.08 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 6810 0 0 0 306 2 0 0 20 0 19 0 140519255 19498610688 29063 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19041612 memory=-8886835061569528508 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 29063 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19041612 memory=11948 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 29063 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19041612 memory=2208 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140519275 19498610688 29063 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 116252 KiB

[startup+6.30039 s]
/proc/loadavg: 4.38 4.24 4.18 5/320 706016
/proc/meminfo: memFree=118751236/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19041612 memory=145068 CPUtime=8.17 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 18503 0 0 0 812 5 0 0 20 0 19 0 140519255 19498610688 36267 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4760403 36267 5879 1 0 555301 0
[pid=705997/tid=705999] ppid=705994 vsize=19041612 memory=11948 CPUtime=6.25 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 6961 0 0 0 623 2 0 0 20 0 19 0 140519255 19498610688 36267 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19041612 memory=2208 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 36267 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140519258 19498610688 36267 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19041612 memory=99820 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140519275 19498610688 36267 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 145068 KiB

[startup+12.7005 s]
/proc/loadavg: 4.35 4.23 4.18 5/321 706018
/proc/meminfo: memFree=118713788/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=180296 CPUtime=14.65 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 21295 0 0 0 1458 7 0 0 20 0 20 0 140519255 19566772224 45074 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 45074 5902 1 0 555590 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=99820 CPUtime=12.6 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 7505 0 0 0 1257 3 0 0 20 0 20 0 140519255 19566772224 45074 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=180296 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 45074 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=180232 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 45074 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 45074 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 14.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180296 KiB

[startup+25.5004 s]
/proc/loadavg: 4.27 4.22 4.18 5/321 706020
/proc/meminfo: memFree=118703020/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=184896 CPUtime=27.75 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 28371 0 0 0 2767 8 0 0 20 0 20 0 140519255 19566772224 46224 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 46224 5902 1 0 555590 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=1812 CPUtime=25.35 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 9807 0 0 0 2532 3 0 0 20 0 20 0 140519255 19566772224 46224 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 46224 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=184896 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 46224 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 46224 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 27.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184896 KiB

[startup+51.1137 s]
/proc/loadavg: 4.24 4.22 4.18 5/321 706025
/proc/meminfo: memFree=118659160/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=215868 CPUtime=53.33 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 32236 0 0 0 5322 11 0 0 20 0 20 0 140519255 19566772224 53967 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 53967 5902 1 0 555590 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=11648 CPUtime=50.7 cores=5,7

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

/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 203774 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 284.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 815096 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/318 706076
/proc/meminfo: memFree=117437088/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=846832 CPUtime=345.97 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 66979 0 0 0 34556 41 0 0 20 0 20 0 140519255 19566772224 211708 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 211708 5917 1 0 559660 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=11648 CPUtime=338.83 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 20159 0 0 0 33875 8 0 0 20 0 20 0 140519255 19566772224 211708 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=844468 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 211708 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=11948 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 312 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 211708 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=846832 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 211708 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 345.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 846832 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/318 706086
/proc/meminfo: memFree=117321672/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=974148 CPUtime=406.43 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 72088 0 0 0 40596 47 0 0 20 0 20 0 140519255 19566772224 243537 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 243537 5917 1 0 559660 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=11648 CPUtime=398.21 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 20798 0 0 0 39813 8 0 0 20 0 20 0 140519255 19566772224 243537 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=908500 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 243537 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=871432 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 318 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 243537 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=908500 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 243537 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 406.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 974148 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/320 706100
/proc/meminfo: memFree=117199848/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=1002836 CPUtime=466.8 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 74746 0 0 0 46631 49 0 0 20 0 20 0 140519255 19566772224 250709 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 250709 5917 1 0 560180 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=1002800 CPUtime=458.04 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 22256 0 0 0 45796 8 0 0 20 0 20 0 140519255 19566772224 250709 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=2620 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 250709 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=1002836 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 343 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 250709 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=108 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 250709 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 466.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1002836 KiB

[startup+522.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/320 706110
/proc/meminfo: memFree=117068020/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=1101480 CPUtime=526.78 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 77475 0 0 0 52624 54 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 275370 5917 1 0 560180 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=1056164 CPUtime=517.58 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 23074 0 0 0 51750 8 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=1101480 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=1101480 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 437 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=1101480 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 526.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1101480 KiB

[startup+526.295 s]
# the end of solver process 705997 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=530.227 s, system=0.556466 s

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

[startup+524.8 s]
/proc/loadavg: 4.05 4.12 4.15 5/320 706110
/proc/meminfo: memFree=117065980/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=1101480 CPUtime=529.27 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 77475 0 0 0 52873 54 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 275370 5917 1 0 560180 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=11648 CPUtime=520.07 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 23074 0 0 0 51999 8 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=35464 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 437 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 529.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1101480 KiB

[startup+525.6 s]
/proc/loadavg: 4.05 4.12 4.15 5/320 706110
/proc/meminfo: memFree=117061884/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=1101480 CPUtime=530.07 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 77477 0 0 0 52953 54 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 275370 5917 1 0 560180 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=35464 CPUtime=520.87 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 23074 0 0 0 52079 8 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=2620 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=2208 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 437 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 530.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1101480 KiB

[startup+526 s]*
/proc/loadavg: 4.05 4.12 4.15 5/320 706110
/proc/meminfo: memFree=117061856/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=1101480 CPUtime=530.49 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 77504 0 0 0 52995 54 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 275370 5917 1 0 560180 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=-8886835061569528508 CPUtime=521.28 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 23097 0 0 0 52120 8 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=108 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 437 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=1812 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 530.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1101480 KiB

[startup+526.2 s]
/proc/loadavg: 4.05 4.12 4.15 5/320 706110
/proc/meminfo: memFree=117061856/131655788 swapFree=131071996/131071996
[pid=705997] ppid=705994 vsize=19108176 memory=1101480 CPUtime=530.68 cores=5,7
/proc/705997/stat : 705997 (java) S 705994 705997 696886 0 -1 1077936128 77510 0 0 0 53014 54 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
/proc/705997/statm: 4777044 275370 5917 1 0 560180 0
[pid=705997/tid=705999] ppid=705994 vsize=19108176 memory=11948 CPUtime=521.47 cores=5,7
/proc/705997/task/705999/stat : 705999 (java) R 705994 705997 696886 0 -1 4194368 23098 0 0 0 52139 8 0 0 20 0 20 0 140519255 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706008] ppid=705994 vsize=19108176 memory=5424 CPUtime=0 cores=5,7
/proc/705997/task/706008/stat : 706008 (Finalizer) S 705994 705997 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706015] ppid=705994 vsize=19108176 memory=-8886835061569528508 CPUtime=0 cores=5,7
/proc/705997/task/706015/stat : 706015 (Common-Cleaner) S 705994 705997 696886 0 -1 1077936192 437 0 0 0 0 0 0 0 20 0 20 0 140519258 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
[pid=705997/tid=706016] ppid=705994 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/705997/task/706016/stat : 706016 (Timer-0) S 705994 705997 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140519275 19566772224 275370 134679101440 94347525132288 94347525135984 140735200215120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347525143800 94347525144592 94347557396480 140735200224237 140735200224327 140735200224327 140735200231368 0
Current children cumulated CPU time: 530.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1101480 KiB

Child status: 30

Real time (s): 526.295
CPU time (s): 530.783
CPU user time (s): 530.227
CPU system time (s): 0.556466
CPU usage (%): 100.853
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1101480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 530.227
system time used= 0.556466
maximum resident set size= 1102884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17470
involuntary context switches= 1460


# summary of solver processes directly reported to runsolver:
#   pid: 705997
#   total CPU time (s): 530.783
#   total CPU user time (s): 530.227
#   total CPU system time (s): 0.556466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.58784 second user time and 5.08236 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-13 17:13:32
IDJOB=4424885
IDBENCH=143898
IDSOLVER=3037
FILE ID=nodeC010/4424885-1720883600
RUNJOBID= nodeC010-1720879372-701332
SLURM_JOB_ID= 7483758
Free space on /tmp= 723760 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-warehouse1_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424885-1720883600/watcher-4424885-1720883600 -o /tmp/evaluation-result-4424885-1720883600/solver-4424885-1720883600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701332 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424885-1720883600.wbo

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

MD5SUM BENCH= 30eba44d9a633242c7fdfd5aebca1c83
RANDOM SEED=603123790

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3665.721
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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		: 3651.868
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.296
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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.242
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3577.210
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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		: 2793.414
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.276
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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		: 3491.778
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        118873632 kB
MemAvailable:   118812428 kB
Buffers:          325020 kB
Cached:           462440 kB
SwapCached:            0 kB
Active:           500060 kB
Inactive:       11760340 kB
Active(anon):       1448 kB
Inactive(anon): 11509212 kB
Active(file):     498612 kB
Inactive(file):   251128 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1140 kB
Writeback:             0 kB
AnonPages:      11472948 kB
Mapped:           122056 kB
Shmem:             37704 kB
KReclaimable:      58172 kB
Slab:             148228 kB
SReclaimable:      58172 kB
SUnreclaim:        90056 kB
KernelStack:        4912 kB
PageTables:        32176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   27082548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45856 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11122688 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      162632 kB
DirectMap2M:     9179136 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC010 at 2024-07-13 17:22:18