Trace number 4440337

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)10 3600.5 3603.47

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMd93197574d7bf829fc84498a7cd9d0ce
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3583.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
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.13/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.12	c See www.sat4j.org for details.
0.13/0.13	c version CUSTOM.v20240707
0.13/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.15	c java.vm.version	22.0.1+8-16
0.13/0.15	c java.vm.vendor	Oracle Corporation
0.13/0.15	c sun.arch.data.model	64
0.13/0.15	c java.version		22.0.1
0.13/0.15	c os.name		Linux
0.13/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.15	c os.arch		amd64
0.13/0.15	c Free memory 		2113181440
0.13/0.15	c Max memory 		16282288128
0.13/0.15	c Total memory 		2122317824
0.13/0.16	c Number of processors 	2
0.32/0.22	--- Begin Solver configuration ---
0.32/0.22	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.32/0.22	Learn all clauses as in MiniSAT
0.32/0.22	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.22	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.22	Expensive reason simplification
0.32/0.22	Glucose 2.1 dynamic restart strategy
0.32/0.22	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.32/0.22	timeout=2147483s
0.32/0.22	DB Simplification allowed=false
0.32/0.22	Listener: none
0.32/0.22	--- End Solver configuration ---
0.32/0.23	c Pseudo Boolean Optimization by upper bound
0.32/0.23	c --- Begin Solver configuration ---
0.32/0.23	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.32/0.23	c Learn all clauses as in MiniSAT
0.32/0.23	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.23	c Expensive reason simplification
0.32/0.23	c Glucose 2.1 dynamic restart strategy
0.32/0.23	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.32/0.23	c timeout=2147483s
0.32/0.23	c DB Simplification allowed=false
0.32/0.23	c Listener: none
0.32/0.23	c --- End Solver configuration ---
0.32/0.23	c solving HOME/instance-4440337-1721772760.opb
0.32/0.23	c reading problem ... 
0.36/1.17	c using VERIPB proof format
0.36/1.18	c  objective function found
0.42/1.22	c ... done. Wall clock time 0.984s.
0.42/1.22	c declared #vars     146
0.42/1.22	c #constraints  12
0.42/1.22	c constraints type 
0.42/1.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.42/1.22	c 12 constraints processed.
0.42/1.24	c objective function length is 96 literals
1.79/1.90	c SATISFIABLE
1.79/1.90	c OPTIMIZING...
1.79/1.90	c Got one! Elapsed wall clock time (in seconds):1.674
1.79/1.90	o 239
2.00/2.07	c Got one! Elapsed wall clock time (in seconds):1.844
2.00/2.07	o 237
2.38/2.20	c Got one! Elapsed wall clock time (in seconds):1.975
2.38/2.20	o 236
2.38/2.24	c Got one! Elapsed wall clock time (in seconds):2.011
2.38/2.24	o 232
2.38/2.28	c Got one! Elapsed wall clock time (in seconds):2.052
2.38/2.28	o 226
2.57/2.38	c Got one! Elapsed wall clock time (in seconds):2.155
2.57/2.38	o 225
2.57/2.39	c Got one! Elapsed wall clock time (in seconds):2.163
2.57/2.39	o 203
2.78/2.43	c Got one! Elapsed wall clock time (in seconds):2.206
2.78/2.43	o 202
2.78/2.45	c Got one! Elapsed wall clock time (in seconds):2.219
2.78/2.45	o 201
2.78/2.46	c Got one! Elapsed wall clock time (in seconds):2.239
2.78/2.46	o 199
2.78/2.49	c Got one! Elapsed wall clock time (in seconds):2.258
2.78/2.49	o 180
2.98/2.54	c Got one! Elapsed wall clock time (in seconds):2.305
2.98/2.54	o 179
2.98/2.58	c Got one! Elapsed wall clock time (in seconds):2.347
2.98/2.58	o 177
2.98/2.59	c Got one! Elapsed wall clock time (in seconds):2.363
2.98/2.59	o 175
3.20/2.62	c Got one! Elapsed wall clock time (in seconds):2.395
3.20/2.62	o 168
3.20/2.65	c Got one! Elapsed wall clock time (in seconds):2.42
3.20/2.65	o 167
3.37/2.73	c Got one! Elapsed wall clock time (in seconds):2.503
3.37/2.73	o 158
3.37/2.74	c Got one! Elapsed wall clock time (in seconds):2.516
3.37/2.74	o 146
3.37/2.78	c Got one! Elapsed wall clock time (in seconds):2.553
3.37/2.78	o 142
3.37/2.79	c Got one! Elapsed wall clock time (in seconds):2.562
3.37/2.79	o 130
3.57/2.81	c Got one! Elapsed wall clock time (in seconds):2.584
3.57/2.81	o 122
3.57/2.83	c Got one! Elapsed wall clock time (in seconds):2.602
3.57/2.83	o 121
3.57/2.84	c Got one! Elapsed wall clock time (in seconds):2.609
3.57/2.84	o 103
3.57/2.88	c Got one! Elapsed wall clock time (in seconds):2.653
3.57/2.88	o 96
3.77/2.90	c Got one! Elapsed wall clock time (in seconds):2.677
3.77/2.90	o 95
3.97/3.03	c Got one! Elapsed wall clock time (in seconds):2.797
3.97/3.03	o 94
3.97/3.06	c Got one! Elapsed wall clock time (in seconds):2.83
3.97/3.06	o 93
3.97/3.09	c Got one! Elapsed wall clock time (in seconds):2.859
3.97/3.09	o 92
4.17/3.12	c Got one! Elapsed wall clock time (in seconds):2.889
4.17/3.12	o 91
4.17/3.12	c Got one! Elapsed wall clock time (in seconds):2.899
4.17/3.12	o 84
4.17/3.15	c Got one! Elapsed wall clock time (in seconds):2.913
4.17/3.15	o 82
4.17/3.19	c Got one! Elapsed wall clock time (in seconds):2.956
4.17/3.19	o 80
4.36/3.24	c Got one! Elapsed wall clock time (in seconds):3.012
4.36/3.24	o 79
4.55/3.34	c Got one! Elapsed wall clock time (in seconds):3.104
4.55/3.34	o 77
4.55/3.36	c Got one! Elapsed wall clock time (in seconds):3.139
4.55/3.36	o 75
4.74/3.49	c cleaning 8509 clauses out of 17018 with flag 2441/17018
4.96/3.51	c Got one! Elapsed wall clock time (in seconds):3.275
4.96/3.51	o 73
4.96/3.54	c Got one! Elapsed wall clock time (in seconds):3.317
4.96/3.54	o 72
4.96/3.55	c Got one! Elapsed wall clock time (in seconds):3.322
4.96/3.55	o 56
5.54/3.81	c cleaning 7263 clauses out of 14527 with flag 10870/23036
5.54/3.84	c Got one! Elapsed wall clock time (in seconds):3.615
5.54/3.84	o 55
5.94/4.00	c Got one! Elapsed wall clock time (in seconds):3.777
5.94/4.01	o 53
5.94/4.02	c Got one! Elapsed wall clock time (in seconds):3.797
5.94/4.02	o 52
6.15/4.17	c cleaning 6903 clauses out of 13805 with flag 6328/29577
6.61/4.44	c cleaning 6451 clauses out of 12902 with flag 18881/35577
6.71/4.53	c Got one! Elapsed wall clock time (in seconds):4.3
6.71/4.53	o 50
6.82/4.66	c Got one! Elapsed wall clock time (in seconds):4.43
6.82/4.66	o 48
6.82/4.67	c Got one! Elapsed wall clock time (in seconds):4.447
6.82/4.67	o 47
6.82/4.69	c Got one! Elapsed wall clock time (in seconds):4.463
6.82/4.69	o 46
6.94/4.75	c cleaning 6348 clauses out of 12712 with flag 2204/41838
7.17/4.92	c Got one! Elapsed wall clock time (in seconds):4.69
7.17/4.92	o 44
7.17/4.99	c cleaning 5758 clauses out of 11535 with flag 2056/47009
7.55/5.22	c cleaning 5880 clauses out of 11774 with flag 15389/53006
7.55/5.27	c Got one! Elapsed wall clock time (in seconds):5.04
7.55/5.27	o 42
7.75/5.45	c cleaning 5724 clauses out of 11457 with flag 8798/58569
7.75/5.46	c Got one! Elapsed wall clock time (in seconds):5.23
7.75/5.46	o 41
7.96/5.66	c cleaning 5451 clauses out of 10903 with flag 10994/63739
8.16/5.87	c cleaning 5722 clauses out of 11448 with flag 23763/69735
8.46/6.16	c cleaning 6363 clauses out of 12728 with flag 38688/76737
8.76/6.47	c cleaning 7181 clauses out of 14363 with flag 55911/84735
9.16/6.86	c cleaning 8090 clauses out of 16182 with flag 75115/93735
10.05/7.79	c cleaning 9046 clauses out of 18093 with flag 96510/103736
10.95/8.61	c cleaning 10017 clauses out of 20046 with flag 119966/114735
11.53/9.02	c Got one! Elapsed wall clock time (in seconds):8.799
11.53/9.02	o 40
11.83/9.35	c cleaning 11389 clauses out of 22777 with flag 11088/127483
11.99/9.41	c Got one! Elapsed wall clock time (in seconds):9.181
11.99/9.41	o 38
12.31/9.62	c cleaning 8516 clauses out of 17054 with flag 8774/133149
12.54/9.89	c cleaning 7268 clauses out of 14538 with flag 22112/139149
12.85/10.19	c cleaning 7135 clauses out of 14272 with flag 37459/146151
13.13/10.49	c cleaning 7567 clauses out of 15139 with flag 54709/154153
13.44/10.79	c Got one! Elapsed wall clock time (in seconds):10.561
13.44/10.79	o 37
13.83/11.06	c cleaning 10346 clauses out of 20696 with flag 10822/167277
14.12/11.33	c cleaning 8170 clauses out of 16353 with flag 24124/173280
14.21/11.43	c Got one! Elapsed wall clock time (in seconds):11.206
14.21/11.43	o 36
14.32/11.60	c cleaning 6947 clauses out of 13906 with flag 6972/179003
14.70/11.80	c cleaning 6472 clauses out of 12963 with flag 19845/185007
14.91/12.04	c cleaning 6744 clauses out of 13489 with flag 35044/192005
15.20/12.32	c cleaning 7372 clauses out of 14744 with flag 52520/200004
15.50/12.66	c cleaning 8184 clauses out of 16374 with flag 72255/209006
15.70/12.83	c Got one! Elapsed wall clock time (in seconds):12.608
15.70/12.83	o 32
15.79/12.91	c cleaning 6964 clauses out of 13934 with flag 2171/214750
16.02/13.13	c cleaning 6478 clauses out of 12971 with flag 14942/220751
16.21/13.39	c cleaning 6743 clauses out of 13492 with flag 29591/227750
16.42/13.51	c Got one! Elapsed wall clock time (in seconds):13.282
16.42/13.51	o 31
16.52/13.63	c cleaning 6086 clauses out of 12187 with flag 4497/233188
16.72/13.83	c cleaning 6039 clauses out of 12101 with flag 16803/239188
16.93/14.04	c cleaning 6527 clauses out of 13061 with flag 30962/246187
17.12/14.30	c cleaning 7267 clauses out of 14537 with flag 47281/254190
17.52/14.64	c cleaning 8135 clauses out of 16269 with flag 65443/263189
17.62/14.78	c Got one! Elapsed wall clock time (in seconds):14.551
17.62/14.78	o 29
17.73/14.86	c cleaning 6835 clauses out of 13687 with flag 2285/268742
18.03/15.12	c cleaning 6416 clauses out of 12854 with flag 14982/274744
18.12/15.22	c Got one! Elapsed wall clock time (in seconds):14.999
18.12/15.22	o 27
18.22/15.34	c cleaning 5740 clauses out of 11491 with flag 4426/279797
18.42/15.54	c cleaning 5872 clauses out of 11752 with flag 16658/285798
18.62/15.77	c cleaning 6443 clauses out of 12887 with flag 30936/292805
18.94/16.04	c cleaning 7219 clauses out of 14437 with flag 47191/300798
19.39/16.35	c cleaning 8108 clauses out of 16217 with flag 65557/309797
19.54/16.41	c Got one! Elapsed wall clock time (in seconds):16.184
19.54/16.41	o 25
19.88/16.61	c cleaning 7022 clauses out of 14055 with flag 8570/315743
20.08/16.84	c cleaning 6516 clauses out of 13034 with flag 21291/321744
20.29/17.09	c cleaning 6751 clauses out of 13517 with flag 36144/328743
20.68/17.41	c cleaning 7383 clauses out of 14768 with flag 52826/336745
21.07/17.81	c cleaning 8190 clauses out of 16381 with flag 71502/345741
21.40/18.18	c cleaning 9089 clauses out of 18190 with flag 92489/355740
21.68/18.44	c Got one! Elapsed wall clock time (in seconds):18.216
21.68/18.44	o 24
21.97/18.76	c cleaning 10899 clauses out of 21806 with flag 10399/368445
22.28/19.02	c cleaning 8452 clauses out of 16909 with flag 22796/374447
22.39/19.14	c Got one! Elapsed wall clock time (in seconds):18.917
22.39/19.14	o 23
22.48/19.27	c cleaning 7119 clauses out of 14265 with flag 4173/380255
22.68/19.46	c cleaning 6571 clauses out of 13145 with flag 16637/386254
22.87/19.68	c cleaning 6780 clauses out of 13575 with flag 31261/393255
23.17/19.93	c cleaning 7396 clauses out of 14794 with flag 47936/401254
23.17/20.00	c Got one! Elapsed wall clock time (in seconds):19.77
23.17/20.00	o 22
23.38/20.15	c cleaning 6492 clauses out of 13003 with flag 6415/406859
23.68/20.41	c cleaning 6252 clauses out of 12516 with flag 19006/412864
23.97/20.74	c cleaning 6630 clauses out of 13261 with flag 33433/419861
24.29/21.06	c cleaning 7304 clauses out of 14630 with flag 50319/427860
24.67/21.44	c cleaning 8162 clauses out of 16325 with flag 68803/436859
25.07/21.85	c cleaning 9081 clauses out of 18165 with flag 89358/446861
25.57/22.35	c cleaning 10042 clauses out of 20084 with flag 111826/457861
26.16/22.92	c cleaning 11020 clauses out of 22041 with flag 136250/469860
26.87/23.67	c cleaning 12010 clauses out of 24021 with flag 162736/482860
27.28/24.03	c Got one! Elapsed wall clock time (in seconds):23.805
27.28/24.03	o 21
27.65/24.36	c cleaning 12054 clauses out of 24110 with flag 10551/494959
27.95/24.68	c cleaning 9027 clauses out of 18055 with flag 22955/500958
28.15/24.86	c Got one! Elapsed wall clock time (in seconds):24.638
28.15/24.86	o 20
28.46/25.14	c cleaning 9590 clauses out of 19194 with flag 10493/511124
28.74/25.43	c cleaning 7790 clauses out of 15606 with flag 23072/517126
28.94/25.67	c cleaning 7392 clauses out of 14815 with flag 37352/524125
29.24/25.96	c cleaning 7707 clauses out of 15422 with flag 53686/532124
29.65/26.31	c cleaning 8347 clauses out of 16716 with flag 72135/541125
29.94/26.68	c cleaning 9183 clauses out of 18368 with flag 92619/551124
30.45/27.20	c cleaning 10093 clauses out of 20185 with flag 115052/562124
31.04/27.73	c cleaning 11043 clauses out of 22094 with flag 139724/574126
31.54/28.23	c Got one! Elapsed wall clock time (in seconds):28.004
31.54/28.23	o 18
31.84/28.58	c cleaning 13785 clauses out of 27588 with flag 10541/590663
32.14/28.84	c cleaning 9892 clauses out of 19803 with flag 23096/596663
32.35/29.08	c cleaning 8446 clauses out of 16911 with flag 37399/603663
32.63/29.35	c cleaning 8229 clauses out of 16468 with flag 53762/611666
32.63/29.38	c Got one! Elapsed wall clock time (in seconds):29.149
32.63/29.38	o 16
32.84/29.59	c cleaning 7052 clauses out of 14130 with flag 10568/617557
33.04/29.79	c cleaning 6528 clauses out of 13078 with flag 23065/623557
33.35/30.02	c cleaning 6776 clauses out of 13552 with flag 37672/630559
33.54/30.29	c cleaning 7383 clauses out of 14775 with flag 54193/638558
33.94/30.61	c cleaning 8195 clauses out of 16392 with flag 72832/647558
34.24/30.98	c cleaning 9093 clauses out of 18196 with flag 93441/657557
34.75/31.45	c cleaning 10049 clauses out of 20103 with flag 115909/668557
35.34/32.12	c cleaning 11023 clauses out of 22054 with flag 140399/680557
35.93/32.75	c cleaning 12014 clauses out of 24032 with flag 167392/693558
36.63/33.42	c cleaning 13011 clauses out of 26021 with flag 196506/707561
37.24/34.08	c cleaning 14000 clauses out of 28006 with flag 227135/722557
38.02/34.86	c cleaning 14995 clauses out of 30007 with flag 259799/738558
38.92/35.78	c cleaning 16007 clauses out of 32014 with flag 294561/755560
40.02/36.84	c cleaning 17000 clauses out of 34005 with flag 331460/773558
41.12/37.98	c cleaning 18003 clauses out of 36006 with flag 370084/792559
42.41/39.21	c cleaning 18997 clauses out of 38001 with flag 410799/812557
43.81/40.62	c cleaning 20001 clauses out of 40006 with flag 453552/833559
45.22/42.04	c cleaning 20994 clauses out of 42003 with flag 498250/855557
46.51/43.38	c cleaning 22004 clauses out of 44010 with flag 544983/878558
48.00/44.86	c cleaning 23002 clauses out of 46007 with flag 593554/902559
49.60/46.42	c cleaning 24004 clauses out of 48008 with flag 644189/927562
51.10/47.96	c cleaning 24992 clauses out of 50000 with flag 696813/953558
51.31/48.15	c Got one! Elapsed wall clock time (in seconds):47.926
51.31/48.15	o 15
51.40/48.29	c cleaning 15357 clauses out of 30720 with flag 2077/959270
51.80/48.67	c cleaning 10670 clauses out of 21365 with flag 14514/965272
52.10/48.92	c cleaning 8842 clauses out of 17698 with flag 28881/972275
52.31/49.17	c cleaning 8419 clauses out of 16851 with flag 45267/980270
52.60/49.45	c cleaning 8711 clauses out of 17432 with flag 63558/989270
52.89/49.79	c cleaning 9359 clauses out of 18722 with flag 83829/999271
53.40/50.21	c cleaning 10179 clauses out of 20362 with flag 106177/1010270
53.89/50.71	c cleaning 11091 clauses out of 22184 with flag 130623/1022271
54.40/51.21	c cleaning 12048 clauses out of 24096 with flag 157144/1035274
54.89/51.79	c cleaning 13022 clauses out of 26045 with flag 185705/1049271
55.60/52.47	c cleaning 14010 clauses out of 28023 with flag 216358/1064271
56.39/53.21	c cleaning 15006 clauses out of 30012 with flag 249068/1080270
57.20/54.03	c cleaning 16004 clauses out of 32008 with flag 283609/1097272
58.09/54.97	c cleaning 17002 clauses out of 34004 with flag 320221/1115272
59.09/56.00	c cleaning 17993 clauses out of 36001 with flag 359034/1134271
60.29/57.12	c cleaning 19002 clauses out of 38009 with flag 399929/1154272
61.48/58.32	c cleaning 20001 clauses out of 40006 with flag 442792/1175271
62.69/59.55	c cleaning 20997 clauses out of 42005 with flag 487799/1197271
64.20/61.04	c cleaning 22001 clauses out of 44007 with flag 534890/1220270
65.78/62.64	c cleaning 23004 clauses out of 46007 with flag 583752/1244271
67.58/64.65	c cleaning 24002 clauses out of 48003 with flag 634567/1269271
69.37/66.40	c cleaning 24995 clauses out of 50001 with flag 687956/1295271
71.27/68.35	c cleaning 26003 clauses out of 52008 with flag 743222/1322273
73.27/70.30	c cleaning 26998 clauses out of 54002 with flag 800635/1350270
75.36/72.49	c cleaning 27997 clauses out of 56005 with flag 859946/1379271
75.97/73.11	c Got one! Elapsed wall clock time (in seconds):72.883
75.97/73.11	o 13
76.55/73.66	c cleaning 21849 clauses out of 43719 with flag 10481/1394982
76.86/74.00	c cleaning 13926 clauses out of 27868 with flag 22981/1400980
77.16/74.28	c cleaning 10469 clauses out of 20944 with flag 37599/1407982
77.46/74.56	c cleaning 9226 clauses out of 18475 with flag 54220/1415982
77.76/74.85	c cleaning 9112 clauses out of 18248 with flag 72790/1424981
78.15/75.20	c cleaning 9566 clauses out of 19136 with flag 93365/1434981
78.46/75.59	c cleaning 10281 clauses out of 20569 with flag 116043/1445980
78.97/76.10	c cleaning 11144 clauses out of 22291 with flag 140810/1457983
79.65/76.70	c cleaning 12069 clauses out of 24144 with flag 167430/1470980
80.25/77.31	c cleaning 13037 clauses out of 26076 with flag 196011/1484981
80.85/77.97	c cleaning 14015 clauses out of 28038 with flag 226888/1499980
81.65/78.72	c cleaning 15008 clauses out of 30023 with flag 259682/1515980
82.46/79.54	c cleaning 16008 clauses out of 32015 with flag 294553/1532980
83.26/80.37	c cleaning 17000 clauses out of 34008 with flag 331200/1550981
84.15/81.26	c cleaning 18000 clauses out of 36008 with flag 370292/1569981
85.15/82.27	c cleaning 19001 clauses out of 38008 with flag 411219/1589981
86.34/83.46	c cleaning 20004 clauses out of 40007 with flag 454326/1610981
87.54/84.61	c cleaning 20996 clauses out of 42004 with flag 499020/1632982
88.96/86.06	c cleaning 21999 clauses out of 44008 with flag 546144/1655982
90.54/87.65	c cleaning 23004 clauses out of 46008 with flag 595256/1679981
91.95/89.02	c cleaning 23996 clauses out of 48003 with flag 647061/1704980
93.53/90.63	c cleaning 24999 clauses out of 50008 with flag 700294/1730981
95.33/92.49	c cleaning 26002 clauses out of 52009 with flag 755327/1757981
97.03/94.13	c cleaning 26993 clauses out of 54007 with flag 812114/1785981
99.04/96.21	c cleaning 28002 clauses out of 56014 with flag 871136/1814981
101.03/98.26	c cleaning 29005 clauses out of 58012 with flag 932224/1844981
103.23/100.42	c cleaning 29997 clauses out of 60007 with flag 995185/1875981
105.52/102.74	c cleaning 31002 clauses out of 62011 with flag 1059765/1907982
107.93/105.14	c cleaning 32001 clauses out of 64009 with flag 1126523/1940982
110.51/107.72	c cleaning 33004 clauses out of 66007 with flag 1195704/1974981
113.40/110.69	c cleaning 34002 clauses out of 68005 with flag 1266903/2009983
116.49/113.74	c cleaning 34996 clauses out of 70000 with flag 1340481/2045980
119.19/116.49	c cleaning 35998 clauses out of 72006 with flag 1415920/2082982
122.29/119.58	c cleaning 37003 clauses out of 74006 with flag 1493495/2120980
126.37/123.65	c cleaning 38002 clauses out of 76003 with flag 1573450/2159980
129.91/127.21	c cleaning 38999 clauses out of 78001 with flag 1655641/2199980
133.30/130.64	c cleaning 40001 clauses out of 80007 with flag 1739613/2240985
137.60/134.99	c cleaning 40998 clauses out of 82003 with flag 1825486/2282982
141.97/139.32	c cleaning 41999 clauses out of 84004 with flag 1913094/2325981
146.16/143.50	c cleaning 42997 clauses out of 86005 with flag 2003078/2369981
150.95/148.37	c cleaning 44002 clauses out of 88008 with flag 2096023/2414981
156.64/154.08	c cleaning 45003 clauses out of 90007 with flag 2193248/2460982
162.87/160.32	c cleaning 45999 clauses out of 92002 with flag 2290882/2507980
167.96/165.49	c cleaning 46999 clauses out of 94003 with flag 2390288/2555980
172.74/170.25	c cleaning 47990 clauses out of 96004 with flag 2490757/2604980
177.94/175.41	c cleaning 49004 clauses out of 98015 with flag 2593521/2654981
183.32/180.88	c cleaning 50005 clauses out of 100011 with flag 2698751/2705981
188.81/186.35	c cleaning 50995 clauses out of 102005 with flag 2805334/2757980
194.83/192.42	c cleaning 52000 clauses out of 104012 with flag 2914510/2810982
200.44/198.07	c cleaning 53002 clauses out of 106010 with flag 3024855/2864980
204.91/202.53	c cleaning 54005 clauses out of 108010 with flag 3137061/2919982
209.52/207.12	c cleaning 54995 clauses out of 110004 with flag 3251218/2975981
214.04/211.60	c cleaning 55998 clauses out of 112009 with flag 3367878/3032981
219.83/217.40	c cleaning 57005 clauses out of 114010 with flag 3487602/3090980
224.76/222.49	c cleaning 58003 clauses out of 116006 with flag 3610111/3149981
230.27/227.96	c cleaning 58995 clauses out of 118002 with flag 3732792/3209980
235.87/233.51	c cleaning 60003 clauses out of 120008 with flag 3856759/3270981
242.15/239.82	c cleaning 60999 clauses out of 122004 with flag 3982687/3332980
249.14/246.87	c cleaning 62000 clauses out of 124005 with flag 4113066/3395980
255.87/253.64	c cleaning 62998 clauses out of 126005 with flag 4244623/3459980
263.16/261.00	c cleaning 64003 clauses out of 128010 with flag 4377716/3524983
272.14/270.00	c cleaning 65000 clauses out of 130007 with flag 4513345/3590983
280.12/277.92	c cleaning 65995 clauses out of 132004 with flag 4649865/3657980
288.72/286.57	c cleaning 67002 clauses out of 134009 with flag 4788937/3725980
296.32/294.15	c cleaning 68000 clauses out of 136010 with flag 4930428/3794983
305.10/302.97	c cleaning 68997 clauses out of 138008 with flag 5073299/3864981
314.79/313.18	c cleaning 70001 clauses out of 140012 with flag 5219082/3935982
323.45/321.80	c cleaning 71003 clauses out of 142012 with flag 5366642/4007983
335.26/333.62	c cleaning 72001 clauses out of 144006 with flag 5517362/4080980
346.68/345.02	c cleaning 72991 clauses out of 146006 with flag 5670044/4154981
357.34/355.73	c cleaning 73997 clauses out of 148015 with flag 5824817/4229981
368.94/367.34	c cleaning 75004 clauses out of 150018 with flag 5984842/4305981
381.49/379.99	c cleaning 76001 clauses out of 152013 with flag 6144369/4382980
392.39/390.80	c cleaning 77006 clauses out of 154014 with flag 6305672/4460982
401.69/400.13	c cleaning 78003 clauses out of 156007 with flag 6468128/4539981
411.47/409.98	c cleaning 79002 clauses out of 158003 with flag 6632109/4619980
422.32/420.70	c cleaning 80000 clauses out of 160003 with flag 6796939/4700982
434.46/432.93	c cleaning 81000 clauses out of 162002 with flag 6963712/4782981
445.78/444.26	c cleaning 82000 clauses out of 164003 with flag 7131750/4865982
458.89/457.43	c cleaning 83000 clauses out of 166001 with flag 7302243/4949980
470.51/469.06	c cleaning 83999 clauses out of 168003 with flag 7474684/5034982
480.18/478.72	c cleaning 84999 clauses out of 170003 with flag 7650526/5120981
490.92/489.44	c cleaning 85996 clauses out of 172004 with flag 7828854/5207981
503.11/501.69	c cleaning 86996 clauses out of 174007 with flag 8010394/5295980
513.79/512.34	c cleaning 88002 clauses out of 176015 with flag 8194442/5384984
524.43/522.90	c cleaning 89002 clauses out of 178009 with flag 8378081/5474980
535.57/534.05	c cleaning 90004 clauses out of 180008 with flag 8562844/5565981
546.94/545.45	c cleaning 91001 clauses out of 182003 with flag 8751147/5657980
549.12/547.51	c Got one! Elapsed wall clock time (in seconds):547.28
549.12/547.51	o 12
550.42/548.80	c cleaning 62514 clauses out of 125051 with flag 10357/5692029
550.92/549.34	c cleaning 34263 clauses out of 68542 with flag 22702/5698034
551.32/549.70	c cleaning 20633 clauses out of 41276 with flag 37025/5705031
551.64/550.02	c cleaning 14315 clauses out of 28641 with flag 53485/5713029
551.92/550.35	c cleaning 11651 clauses out of 23327 with flag 72256/5722030
552.22/550.69	c cleaning 10830 clauses out of 21675 with flag 92884/5732029
552.65/551.04	c cleaning 10919 clauses out of 21847 with flag 115532/5743031
553.03/551.48	c cleaning 11463 clauses out of 22926 with flag 140017/5755029
553.52/551.98	c cleaning 12230 clauses out of 24463 with flag 166642/5768029
554.13/552.52	c cleaning 13116 clauses out of 26235 with flag 195426/5782031
554.74/553.13	c cleaning 14057 clauses out of 28117 with flag 226620/5797029
555.42/553.80	c cleaning 15028 clauses out of 30061 with flag 259503/5813030
556.27/554.68	c cleaning 16015 clauses out of 32035 with flag 294290/5830032
557.07/555.48	c cleaning 17005 clauses out of 34018 with flag 331549/5848030
558.04/556.53	c cleaning 18005 clauses out of 36012 with flag 370841/5867029
559.14/557.62	c cleaning 19001 clauses out of 38007 with flag 412743/5887029
560.44/558.95	c cleaning 20004 clauses out of 40009 with flag 457371/5908032
561.65/560.12	c cleaning 20998 clauses out of 42002 with flag 503451/5930029
563.18/561.68	c cleaning 22002 clauses out of 44005 with flag 551393/5953030
564.59/563.07	c cleaning 23000 clauses out of 46005 with flag 601151/5977032
566.18/564.64	c cleaning 24002 clauses out of 48005 with flag 652455/6002032
567.78/566.22	c cleaning 24997 clauses out of 50001 with flag 705585/6028030
569.68/568.13	c cleaning 26002 clauses out of 52006 with flag 760552/6055032
571.46/569.91	c cleaning 26996 clauses out of 54002 with flag 817964/6083030
573.30/571.79	c cleaning 27997 clauses out of 56006 with flag 877083/6112030
575.90/574.31	c cleaning 29003 clauses out of 58008 with flag 939989/6142029
578.49/576.92	c cleaning 30001 clauses out of 60005 with flag 1004968/6173029
580.49/578.93	c cleaning 31003 clauses out of 62006 with flag 1071064/6205031
583.12/581.53	c cleaning 31999 clauses out of 64002 with flag 1138945/6238030
586.11/584.50	c cleaning 32991 clauses out of 66002 with flag 1209765/6272029
589.36/587.93	c cleaning 34006 clauses out of 68013 with flag 1283662/6307031
592.16/590.78	c cleaning 34999 clauses out of 70005 with flag 1358218/6343029
596.08/594.61	c cleaning 36000 clauses out of 72006 with flag 1434760/6380029
599.49/598.10	c cleaning 37004 clauses out of 74009 with flag 1513010/6418032
603.37/601.98	c cleaning 37997 clauses out of 76002 with flag 1593579/6457029
607.12/605.62	c cleaning 39004 clauses out of 78007 with flag 1676758/6497031
610.91/609.45	c cleaning 39998 clauses out of 80004 with flag 1761012/6538032
615.11/613.68	c cleaning 41002 clauses out of 82003 with flag 1847561/6580029
619.51/618.13	c cleaning 41999 clauses out of 84002 with flag 1936206/6623030
625.14/623.79	c cleaning 42999 clauses out of 86003 with flag 2026363/6667030
629.44/628.02	c cleaning 44000 clauses out of 88006 with flag 2118963/6712032
634.13/632.70	c cleaning 45000 clauses out of 90006 with flag 2213307/6758032
640.12/638.72	c cleaning 46001 clauses out of 92003 with flag 2310957/6805029
645.92/644.53	c cleaning 46996 clauses out of 94002 with flag 2411438/6853029
651.86/650.53	c cleaning 48004 clauses out of 96007 with flag 2513961/6902030
658.25/656.92	c cleaning 48995 clauses out of 98004 with flag 2617335/6952031
662.24/660.90	c cleaning 49997 clauses out of 100007 with flag 2721798/7003029
666.56/665.28	c cleaning 51004 clauses out of 102012 with flag 2828348/7055031
671.95/670.64	c cleaning 51996 clauses out of 104008 with flag 2938986/7108031
677.49/676.14	c cleaning 53004 clauses out of 106014 with flag 3051397/7162033
682.71/681.44	c cleaning 54002 clauses out of 108009 with flag 3165004/7217032
687.94/686.60	c cleaning 54998 clauses out of 110006 with flag 3280704/7273031
693.53/692.26	c cleaning 56002 clauses out of 112009 with flag 3399101/7330032
699.43/698.17	c cleaning 56996 clauses out of 114005 with flag 3520546/7388030
705.52/704.22	c cleaning 58003 clauses out of 116009 with flag 3642910/7447030
707.22/705.98	c Got one! Elapsed wall clock time (in seconds):705.756
707.22/705.98	o 11
708.21/706.92	c cleaning 45397 clauses out of 90813 with flag 10425/7479837
708.61/707.39	c cleaning 25707 clauses out of 51419 with flag 22706/7485840
709.01/707.78	c cleaning 16346 clauses out of 32709 with flag 37195/7492837
709.43/708.14	c cleaning 12167 clauses out of 24363 with flag 53452/7500837
709.71/708.46	c cleaning 10586 clauses out of 21199 with flag 72061/7509840
710.21/708.94	c cleaning 10292 clauses out of 20613 with flag 92622/7519840
710.66/709.41	c cleaning 10655 clauses out of 21320 with flag 115043/7530839
711.06/709.86	c cleaning 11331 clauses out of 22663 with flag 139767/7542837
711.55/710.35	c cleaning 12163 clauses out of 24332 with flag 166458/7555837
712.05/710.86	c cleaning 13077 clauses out of 26170 with flag 195188/7569838
712.66/711.44	c cleaning 14046 clauses out of 28093 with flag 226323/7584838
713.45/712.23	c cleaning 15024 clauses out of 30050 with flag 259439/7600841
714.37/713.11	c cleaning 16011 clauses out of 32024 with flag 294587/7617839
715.26/714.09	c cleaning 17008 clauses out of 34016 with flag 331192/7635842
716.55/715.32	c cleaning 18003 clauses out of 36009 with flag 370383/7654843
717.75/716.59	c cleaning 18996 clauses out of 38002 with flag 411875/7674839
719.04/717.89	c cleaning 20002 clauses out of 40006 with flag 455625/7695839
720.54/719.30	c cleaning 21001 clauses out of 42003 with flag 501791/7717838
721.94/720.70	c cleaning 21997 clauses out of 44002 with flag 549456/7740838
723.54/722.32	c cleaning 23000 clauses out of 46004 with flag 599009/7764837
725.28/724.06	c cleaning 24003 clauses out of 48005 with flag 650521/7789838
726.87/725.69	c cleaning 25000 clauses out of 50001 with flag 703530/7815837
728.66/727.47	c cleaning 26000 clauses out of 52002 with flag 758436/7842838
730.56/729.35	c cleaning 27000 clauses out of 54002 with flag 815426/7870838
732.66/731.44	c cleaning 27993 clauses out of 56001 with flag 874933/7899837
734.96/733.79	c cleaning 28999 clauses out of 58009 with flag 936438/7929838
737.37/736.15	c cleaning 30007 clauses out of 60015 with flag 999953/7960843
740.05/738.84	c cleaning 30998 clauses out of 62005 with flag 1065719/7992840
742.67/741.53	c cleaning 32002 clauses out of 64005 with flag 1133913/8025838
745.57/744.41	c cleaning 32998 clauses out of 66003 with flag 1205048/8059838
748.67/747.57	c cleaning 33997 clauses out of 68004 with flag 1277181/8094837
751.97/750.88	c cleaning 34997 clauses out of 70007 with flag 1352164/8130837
755.46/754.38	c cleaning 36001 clauses out of 72010 with flag 1428563/8167837
758.66/757.53	c cleaning 37003 clauses out of 74012 with flag 1507179/8205840
762.06/760.96	c cleaning 38003 clauses out of 76008 with flag 1587692/8244839
765.54/764.48	c cleaning 39000 clauses out of 78003 with flag 1670112/8284837
769.74/768.69	c cleaning 40003 clauses out of 80005 with flag 1757837/8325839
775.30/774.25	c cleaning 40998 clauses out of 82000 with flag 1845524/8367837
779.58/778.57	c cleaning 41997 clauses out of 84002 with flag 1933385/8410837
784.09/783.02	c cleaning 43001 clauses out of 86006 with flag 2023871/8454838
789.28/788.26	c cleaning 43998 clauses out of 88005 with flag 2116916/8499838
796.77/795.70	c cleaning 44996 clauses out of 90009 with flag 2213198/8545840
802.82/801.83	c cleaning 46005 clauses out of 92013 with flag 2311408/8592840
810.06/809.03	c cleaning 46998 clauses out of 94006 with flag 2410913/8640838
816.15/815.14	c cleaning 48004 clauses out of 96010 with flag 2513288/8689840
822.93/821.92	c cleaning 48998 clauses out of 98006 with flag 2617996/8739840
830.86/829.85	c cleaning 50003 clauses out of 100006 with flag 2725293/8790838
838.82/837.84	c cleaning 50996 clauses out of 102004 with flag 2832639/8842839
846.67/845.62	c cleaning 51998 clauses out of 104008 with flag 2941871/8895839
855.06/854.03	c cleaning 53005 clauses out of 106010 with flag 3052573/8949839
864.20/863.26	c cleaning 53996 clauses out of 108003 with flag 3166961/9004837
874.73/873.78	c cleaning 55003 clauses out of 110009 with flag 3284120/9060839
883.31/882.33	c cleaning 56001 clauses out of 112008 with flag 3401911/9117841
893.91/892.97	c cleaning 56998 clauses out of 114003 with flag 3522067/9175837
902.66/901.70	c cleaning 58002 clauses out of 116009 with flag 3643221/9234841
913.88/912.95	c cleaning 58992 clauses out of 118003 with flag 3768107/9294837
921.86/920.97	c cleaning 60003 clauses out of 120012 with flag 3894234/9355838
933.91/933.01	c cleaning 61004 clauses out of 122011 with flag 4023208/9417840
945.30/944.42	c cleaning 61995 clauses out of 124007 with flag 4154252/9480840
956.44/955.69	c cleaning 63002 clauses out of 126010 with flag 4287378/9544838
966.74/965.97	c cleaning 64003 clauses out of 128007 with flag 4422782/9609837
980.83/980.04	c cleaning 65001 clauses out of 130005 with flag 4559357/9675838
993.18/992.41	c cleaning 65998 clauses out of 132003 with flag 4698375/9742837
1008.04/1007.21	c cleaning 67003 clauses out of 134008 with flag 4841335/9810840
1015.93/1015.17	c Got one! Elapsed wall clock time (in seconds):1014.947
1015.93/1015.17	o 10
1017.66/1016.97	c cleaning 67941 clauses out of 135890 with flag 10445/9879725
1018.26/1017.50	c cleaning 36964 clauses out of 73949 with flag 22885/9885725
1018.57/1017.83	c cleaning 21982 clauses out of 43986 with flag 37398/9892726
1018.88/1018.15	c cleaning 14996 clauses out of 30004 with flag 53779/9900726
1019.16/1018.48	c cleaning 11989 clauses out of 24010 with flag 72401/9909728
1019.56/1018.81	c cleaning 11000 clauses out of 22019 with flag 92954/9919726
1020.02/1019.26	c cleaning 11002 clauses out of 22019 with flag 115483/9930726
1020.52/1019.71	c cleaning 11504 clauses out of 23016 with flag 140157/9942725
1021.02/1020.21	c cleaning 12254 clauses out of 24512 with flag 166874/9955725
1021.58/1020.83	c cleaning 13125 clauses out of 26260 with flag 195522/9969727
1022.17/1021.47	c cleaning 14066 clauses out of 28133 with flag 226291/9984725
1022.89/1022.17	c cleaning 15030 clauses out of 30068 with flag 259441/10000726
1023.67/1022.98	c cleaning 16013 clauses out of 32038 with flag 294567/10017726
1024.58/1023.83	c cleaning 17004 clauses out of 34025 with flag 331865/10035726
1025.47/1024.79	c cleaning 18010 clauses out of 36021 with flag 370886/10054726
1026.61/1025.83	c cleaning 19000 clauses out of 38010 with flag 412001/10074725
1027.82/1027.03	c cleaning 20004 clauses out of 40013 with flag 455618/10095728
1029.21/1028.46	c cleaning 21004 clauses out of 42008 with flag 502476/10117727
1030.71/1029.92	c cleaning 21998 clauses out of 44002 with flag 551071/10140725
1032.11/1031.39	c cleaning 23001 clauses out of 46004 with flag 602156/10164725
1033.70/1032.93	c cleaning 23999 clauses out of 48003 with flag 654546/10189725
1035.50/1034.77	c cleaning 25000 clauses out of 50008 with flag 708604/10215729
1037.51/1036.77	c cleaning 26002 clauses out of 52004 with flag 763945/10242725
1039.30/1038.52	c cleaning 27001 clauses out of 54002 with flag 821336/10270725
1041.39/1040.64	c cleaning 28002 clauses out of 56005 with flag 881128/10299729
1043.49/1042.73	c cleaning 29001 clauses out of 58002 with flag 943513/10329728
1045.91/1045.15	c cleaning 30000 clauses out of 60001 with flag 1009266/10360728
1048.31/1047.63	c cleaning 30999 clauses out of 61999 with flag 1076123/10392726
1050.61/1049.97	c cleaning 31996 clauses out of 64000 with flag 1144567/10425726
1053.40/1052.73	c cleaning 33005 clauses out of 66013 with flag 1214760/10459735
1056.51/1055.80	c cleaning 34001 clauses out of 68002 with flag 1286181/10494729
1059.82/1059.15	c cleaning 34992 clauses out of 69997 with flag 1360103/10530725
1063.41/1062.73	c cleaning 35999 clauses out of 72006 with flag 1436375/10567726
1067.12/1066.41	c cleaning 37003 clauses out of 74006 with flag 1514833/10605725
1070.73/1070.02	c cleaning 37999 clauses out of 76004 with flag 1595659/10644726
1074.95/1074.25	c cleaning 39002 clauses out of 78006 with flag 1678649/10684727
1079.81/1079.18	c cleaning 40000 clauses out of 80003 with flag 1765018/10725726
1084.24/1083.53	c cleaning 40999 clauses out of 82002 with flag 1852832/10767725
1087.75/1087.03	c cleaning 42003 clauses out of 84006 with flag 1941823/10810728
1092.32/1091.68	c cleaning 43001 clauses out of 86003 with flag 2034449/10854728
1096.67/1095.97	c cleaning 43998 clauses out of 88001 with flag 2127772/10899727
1100.78/1100.10	c cleaning 44999 clauses out of 90002 with flag 2223515/10945726
1106.65/1105.90	c cleaning 45993 clauses out of 92005 with flag 2320614/10992728
1113.75/1113.10	c cleaning 47000 clauses out of 94009 with flag 2420207/11040725
1120.74/1120.10	c cleaning 48002 clauses out of 96011 with flag 2521614/11089727
1126.61/1125.97	c cleaning 48995 clauses out of 98007 with flag 2625524/11139725
1133.51/1132.87	c cleaning 50006 clauses out of 100013 with flag 2731093/11190726
1139.39/1138.78	c cleaning 51000 clauses out of 102006 with flag 2838616/11242725
1147.18/1146.50	c cleaning 51994 clauses out of 104006 with flag 2950148/11295725
1153.17/1152.56	c cleaning 52998 clauses out of 106014 with flag 3061645/11349727
1160.15/1159.53	c cleaning 53997 clauses out of 108014 with flag 3174917/11404725
1168.47/1167.87	c cleaning 55006 clauses out of 110017 with flag 3291427/11460725
1176.30/1175.79	c cleaning 56002 clauses out of 112012 with flag 3410584/11517726
1183.67/1183.04	c cleaning 57005 clauses out of 114011 with flag 3534240/11575727
1190.15/1189.56	c cleaning 58001 clauses out of 116007 with flag 3657382/11634728
1199.12/1198.56	c cleaning 59002 clauses out of 118004 with flag 3782730/11694726
1209.15/1208.60	c cleaning 59999 clauses out of 120001 with flag 3911139/11755725
1219.25/1218.85	c cleaning 60991 clauses out of 122002 with flag 4044534/11817725
1231.65/1231.31	c cleaning 62001 clauses out of 124014 with flag 4178258/11880728
1242.13/1241.96	c cleaning 63005 clauses out of 126012 with flag 4313008/11944727
1251.50/1251.36	c cleaning 64003 clauses out of 128005 with flag 4446636/12009725
1261.51/1261.49	c cleaning 64999 clauses out of 130003 with flag 4582491/12075726
1271.24/1271.20	c cleaning 66001 clauses out of 132003 with flag 4722500/12142725
1280.66/1280.75	c cleaning 66995 clauses out of 134002 with flag 4864257/12210725
1293.15/1293.30	c cleaning 68004 clauses out of 136008 with flag 5008065/12279726
1304.16/1304.41	c cleaning 68997 clauses out of 138004 with flag 5153161/12349726
1316.93/1317.13	c cleaning 69999 clauses out of 140007 with flag 5304005/12420726
1329.07/1329.34	c cleaning 70999 clauses out of 142008 with flag 5454238/12492726
1347.14/1347.38	c cleaning 72005 clauses out of 144009 with flag 5607321/12565726
1363.68/1363.94	c cleaning 72993 clauses out of 146003 with flag 5763405/12639725
1380.43/1380.75	c cleaning 74000 clauses out of 148011 with flag 5919662/12714726
1399.13/1399.59	c cleaning 74997 clauses out of 150010 with flag 6078219/12790725
1415.94/1416.39	c cleaning 76003 clauses out of 152014 with flag 6237837/12867726
1430.60/1430.91	c cleaning 77002 clauses out of 154011 with flag 6401107/12945726
1438.28/1438.65	c cleaning 78004 clauses out of 156010 with flag 6563749/13024727
1446.92/1447.24	c cleaning 79000 clauses out of 158005 with flag 6726416/13104726
1453.91/1454.24	c cleaning 80001 clauses out of 160004 with flag 6892716/13185725
1462.05/1462.30	c cleaning 80999 clauses out of 162004 with flag 7064022/13267726
1469.97/1470.22	c cleaning 82001 clauses out of 164005 with flag 7234053/13350726
1479.50/1479.88	c cleaning 83001 clauses out of 166003 with flag 7407656/13434725
1491.30/1491.64	c cleaning 83990 clauses out of 168004 with flag 7583259/13519727
1501.63/1501.99	c cleaning 85006 clauses out of 170014 with flag 7760802/13605727
1512.26/1512.67	c cleaning 85998 clauses out of 172007 with flag 7943124/13692726
1523.30/1523.60	c cleaning 86996 clauses out of 174009 with flag 8127053/13780726
1537.27/1537.69	c cleaning 88001 clauses out of 176016 with flag 8309731/13869729
1561.40/1561.82	c cleaning 88999 clauses out of 178012 with flag 8497480/13959726
1584.42/1584.83	c cleaning 90002 clauses out of 180017 with flag 8685350/14050730
1604.65/1605.07	c cleaning 91001 clauses out of 182010 with flag 8878555/14142725
1622.39/1622.87	c cleaning 92005 clauses out of 184009 with flag 9074558/14235725
1646.37/1646.83	c cleaning 92997 clauses out of 186004 with flag 9270635/14329725
1668.24/1668.81	c cleaning 93999 clauses out of 188009 with flag 9468927/14424727
1691.77/1692.43	c cleaning 94997 clauses out of 190008 with flag 9666943/14520725
1716.94/1717.68	c cleaning 96002 clauses out of 192014 with flag 9868038/14617728
1736.34/1737.09	c cleaning 97000 clauses out of 194009 with flag 10071694/14715725
1756.71/1757.49	c cleaning 98005 clauses out of 196011 with flag 10275766/14814727
1783.97/1784.75	c cleaning 99004 clauses out of 198011 with flag 10485581/14914732
1812.02/1812.88	c cleaning 99999 clauses out of 200004 with flag 10699691/15015729
1839.52/1840.38	c cleaning 100987 clauses out of 202001 with flag 10911150/15117725
1855.94/1856.77	c cleaning 102001 clauses out of 204016 with flag 11124826/15220727
1871.75/1872.51	c cleaning 103007 clauses out of 206014 with flag 11339837/15324726
1889.43/1890.25	c cleaning 104003 clauses out of 208008 with flag 11563238/15429727
1904.15/1905.01	c cleaning 104999 clauses out of 210005 with flag 11782138/15535727
1920.29/1921.16	c cleaning 105994 clauses out of 212005 with flag 12004885/15642726
1951.96/1952.83	c cleaning 107001 clauses out of 214011 with flag 12228168/15750726
1979.11/1980.02	c cleaning 108000 clauses out of 216009 with flag 12453754/15859725
2008.04/2009.03	c cleaning 109001 clauses out of 218011 with flag 12681765/15969727
2039.71/2040.79	c cleaning 110001 clauses out of 220008 with flag 12913178/16080725
2072.60/2073.69	c cleaning 111003 clauses out of 222008 with flag 13149114/16192726
2109.18/2110.20	c cleaning 112001 clauses out of 224004 with flag 13388161/16305725
2133.27/2134.39	c cleaning 112996 clauses out of 226003 with flag 13628283/16419725
2150.39/2151.43	c cleaning 113996 clauses out of 228009 with flag 13863341/16534727
2165.58/2166.66	c cleaning 115007 clauses out of 230014 with flag 14101482/16650728
2191.44/2192.53	c cleaning 115998 clauses out of 232007 with flag 14343802/16767728
2222.31/2223.43	c cleaning 116997 clauses out of 234007 with flag 14585401/16885726
2243.21/2244.36	c cleaning 117996 clauses out of 236009 with flag 14829873/17004725
2261.74/2262.98	c cleaning 119004 clauses out of 238016 with flag 15076903/17124728
2281.53/2282.74	c cleaning 120001 clauses out of 240009 with flag 15325301/17245725
2308.90/2309.67	c cleaning 120995 clauses out of 242008 with flag 15577162/17367725
2338.61/2339.47	c cleaning 122005 clauses out of 244013 with flag 15832976/17490725
2362.76/2363.61	c cleaning 123001 clauses out of 246008 with flag 16090509/17614725
2388.41/2389.33	c cleaning 124001 clauses out of 248008 with flag 16349417/17739726
2417.78/2418.74	c cleaning 125000 clauses out of 250006 with flag 16613081/17865725
2448.12/2449.18	c cleaning 125996 clauses out of 252008 with flag 16878139/17992727
2479.64/2480.74	c cleaning 127001 clauses out of 254013 with flag 17149577/18120728
2525.33/2526.58	c cleaning 128001 clauses out of 256010 with flag 17422176/18249726
2565.63/2566.96	c cleaning 129000 clauses out of 258008 with flag 17697551/18379725
2602.27/2603.61	c cleaning 129995 clauses out of 260008 with flag 17970132/18510725
2634.51/2635.97	c cleaning 131005 clauses out of 262017 with flag 18245021/18642729
2676.57/2678.19	c cleaning 132003 clauses out of 264008 with flag 18525219/18775725
2713.70/2715.39	c cleaning 132995 clauses out of 266005 with flag 18804411/18909725
2748.45/2750.12	c cleaning 134002 clauses out of 268011 with flag 19084547/19044726
2781.60/2783.33	c cleaning 134999 clauses out of 270010 with flag 19364559/19180727
2819.50/2821.26	c cleaning 136001 clauses out of 272011 with flag 19647060/19317727
2866.04/2867.89	c cleaning 137002 clauses out of 274010 with flag 19938451/19455727
2909.60/2911.42	c cleaning 138002 clauses out of 276008 with flag 20232523/19594727
2959.97/2961.97	c cleaning 139000 clauses out of 278004 with flag 20532165/19734725
3001.62/3003.67	c cleaning 140003 clauses out of 280014 with flag 20825775/19875735
3052.11/3054.20	c cleaning 140995 clauses out of 282001 with flag 21127124/20017725
3104.49/3106.71	c cleaning 142000 clauses out of 284007 with flag 21427828/20160726
3154.18/3156.50	c cleaning 143001 clauses out of 286009 with flag 21732557/20304728
3206.83/3209.27	c cleaning 144002 clauses out of 288005 with flag 22037268/20449725
3244.79/3247.24	c cleaning 145002 clauses out of 290003 with flag 22341371/20595725
3301.11/3303.67	c cleaning 145995 clauses out of 292001 with flag 22651305/20742725
3349.52/3352.18	c cleaning 146995 clauses out of 294006 with flag 22958421/20890725
3406.32/3409.06	c cleaning 148002 clauses out of 296011 with flag 23269806/21039725
3471.20/3474.18	c cleaning 148994 clauses out of 298009 with flag 23585071/21189725
3533.24/3536.33	c cleaning 150003 clauses out of 300015 with flag 23899980/21340725
3595.31/3598.54	c cleaning 151006 clauses out of 302013 with flag 24221134/21492726
3600.01/3603.22	c starts		: 4253
3600.01/3603.25	c conflicts		: 21517049
3600.01/3603.25	c decisions		: 21978318
3600.01/3603.25	c propagations		: 141653054
3600.01/3603.26	c inspects		: 38307984897
3600.01/3603.26	c shortcuts		: 0
3600.01/3603.26	c learnt literals	: 0
3600.01/3603.26	c learnt binary clauses	: 0
3600.01/3603.26	c learnt ternary clauses	: 0
3600.01/3603.26	c learnt constraints	: 21517049
3600.01/3603.26	c ignored constraints	: 0
3600.01/3603.26	c root simplifications	: 0
3600.01/3603.26	c removed literals (reason simplification)	: 203437052
3600.01/3603.26	c reason swapping (by a shorter reason)	: 0
3600.01/3603.26	c Calls to reduceDB	: 479
3600.01/3603.26	c Number of update (reduction) of LBD	: 993850
3600.01/3603.26	c Imported unit clauses	: 0
3600.01/3603.26	c No decision after first conflict	: false
3600.01/3603.26	c number of reductions to clauses (during analyze)	: 0
3600.01/3603.26	c number of learned constraints concerned by reduction	: 0
3600.01/3603.26	c number of learning phase by resolution	: 0
3600.01/3603.26	c number of learning phase by cutting planes	: 0
3600.01/3603.26	c number of rounding to 1 operations	: 0
3600.01/3603.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3603.26	c number of reductions of the coefficients by power 2 	: 0
3600.01/3603.26	c number of right shift for reduction by power 2 	: 0
3600.01/3603.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3603.26	c number of ending skipping 	: 0
3600.01/3603.26	c number of internal skipping 	: 0
3600.01/3603.26	c number of derivation steps 	: 0
3600.01/3603.26	c number of skipped derivation steps 	: 0
3600.01/3603.27	c number of remaining unassigned 	: 0
3600.01/3603.27	c number of remaining assigned 	: 0
3600.01/3603.27	c number of falsified literals weakened from reason	: 0
3600.01/3603.27	c number of falsified literals weakened from conflict	: 0
3600.01/3603.27	c time for arithmetic operations	: 0
3600.01/3603.27	c minimum degree of deleted constraints	: null
3600.01/3603.27	c maximum degree of deleted constraints	: null
3600.01/3603.27	c number of deleted constraints	: 0
3600.01/3603.27	c speed (assignments/second)	: 39326.102557710125
3600.01/3603.27	c non guided choices	: 1677
3600.39/3603.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 175330
3600.39/3603.43	s SATISFIABLE
3600.39/3603.43	c Found 69 solution(s)
3600.39/3603.44	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 
3600.39/3603.44	c objective function=10
3600.39/3603.44	c Total wall clock time (in seconds): 3603.213

Verifier Data 

OK	10

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440337-1721772760/watcher-4440337-1721772760 -o /tmp/evaluation-result-4440337-1721772760/solver-4440337-1721772760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721765708-125644 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440337-1721772760 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440337-1721772760.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=130695, runsolver pid=130692

[startup+0.100387 s]*
/proc/loadavg: 4.40 4.49 4.49 7/331 130713
/proc/meminfo: memFree=89264496/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=18975048 memory=56716 CPUtime=0.13 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 6556 0 0 0 10 3 0 0 20 0 18 0 13265750 19430449152 14179 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4743762 14179 5726 1 0 550883 0
[pid=130695/tid=130697] ppid=130692 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 5500 0 0 0 6 3 0 0 20 0 18 0 13265751 19430449152 14179 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13265756 19430449152 14179 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=18975048 memory=4050484525539786784 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13265757 19430449152 14179 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56716 KiB

[startup+0.209394 s]*
/proc/loadavg: 4.40 4.49 4.49 7/331 130713
/proc/meminfo: memFree=89251532/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=18975048 memory=65976 CPUtime=0.32 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 7328 0 0 0 28 4 0 0 20 0 18 0 13265750 19430449152 16494 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4743762 16494 5777 1 0 551510 0
[pid=130695/tid=130697] ppid=130692 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 5867 0 0 0 15 3 0 0 20 0 18 0 13265751 19430449152 16494 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=18975048 memory=804964 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13265756 19430449152 16494 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13265757 19430449152 16494 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65976 KiB

[startup+0.308805 s]*
/proc/loadavg: 4.40 4.49 4.49 4/331 130713
/proc/meminfo: memFree=89248228/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=18975048 memory=66388 CPUtime=0.36 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 7419 0 0 0 32 4 0 0 20 0 18 0 13265750 19430449152 16597 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4743762 16597 5782 1 0 551581 0
[pid=130695/tid=130697] ppid=130692 vsize=18975048 memory=-9030953569605165756 CPUtime=0.2 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) D 130692 130695 125633 0 -1 1078198336 5915 0 0 0 17 3 0 0 20 0 18 0 13265751 19430449152 16597 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13265756 19430449152 16597 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13265757 19430449152 16597 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66388 KiB

[startup+0.700366 s]
/proc/loadavg: 4.40 4.49 4.49 4/331 130713
/proc/meminfo: memFree=89243728/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=18975048 memory=66388 CPUtime=0.36 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 7419 0 0 0 32 4 0 0 20 0 18 0 13265750 19430449152 16597 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4743762 16597 5782 1 0 551581 0
[pid=130695/tid=130697] ppid=130692 vsize=18975048 memory=5572 CPUtime=0.2 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) D 130692 130695 125633 0 -1 1078198336 5915 0 0 0 17 3 0 0 20 0 18 0 13265751 19430449152 16597 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=18975048 memory=12412 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13265756 19430449152 16597 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13265757 19430449152 16597 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66388 KiB

[startup+1.50425 s]
/proc/loadavg: 4.40 4.49 4.49 4/330 130713
/proc/meminfo: memFree=89231324/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19041612 memory=80996 CPUtime=1.01 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 9039 0 0 0 95 6 0 0 20 0 19 0 13265750 19498610688 20249 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4760403 20249 5904 1 0 552644 0
[pid=130695/tid=130697] ppid=130692 vsize=19041612 memory=12412 CPUtime=0.51 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 6115 0 0 0 47 4 0 0 20 0 19 0 13265751 19498610688 20249 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13265756 19498610688 20249 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13265757 19498610688 20249 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80996 KiB

[startup+3.11043 s]
/proc/loadavg: 4.40 4.49 4.49 6/332 130715
/proc/meminfo: memFree=89058408/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=186400 CPUtime=4.17 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 18889 0 0 0 406 11 0 0 20 0 20 0 13265750 19566772224 46600 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 46600 5929 1 0 556887 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=198340509722 CPUtime=1.95 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) S 130692 130695 125633 0 -1 1077936192 6720 0 0 0 188 7 0 0 20 0 20 0 13265751 19566772224 46600 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 46600 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 46600 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=107320 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 46600 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186400 KiB

[startup+6.30038 s]
/proc/loadavg: 4.53 4.52 4.50 5/332 130717
/proc/meminfo: memFree=88712492/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=508084 CPUtime=8.66 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 21930 0 0 0 845 21 0 0 20 0 20 0 13265750 19566772224 127021 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 127021 5929 1 0 557154 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=0 CPUtime=5.08 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 8187 0 0 0 492 16 0 0 20 0 20 0 13265751 19566772224 127021 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 127021 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=178156 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 127021 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=377012 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 127021 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 508084 KiB

[startup+12.7004 s]
/proc/loadavg: 4.49 4.51 4.50 5/332 130717
/proc/meminfo: memFree=88043320/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=1046912 CPUtime=15.6 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 26354 0 0 0 1523 37 0 0 20 0 20 0 13265750 19566772224 261728 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 261728 5929 1 0 557154 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=944512 CPUtime=11.44 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 10130 0 0 0 1113 31 0 0 20 0 20 0 13265751 19566772224 261728 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=13956 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 261728 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=6082509772025324371 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 261728 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 261728 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 15.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1046912 KiB

[startup+25.5004 s]
/proc/loadavg: 4.45 4.50 4.49 5/332 130718
/proc/meminfo: memFree=87255176/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=1319516 CPUtime=28.84 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 34002 0 0 0 2829 55 0 0 20 0 20 0 13265750 19566772224 329879 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 329879 5929 1 0 557154 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=6082509772025324371 CPUtime=24.15 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 12379 0 0 0 2367 48 0 0 20 0 20 0 13265751 19566772224 329879 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=1311164 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 329879 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=5572 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 329879 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=1319440 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 329879 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 28.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1319516 KiB

[startup+51.1138 s]
/proc/loadavg: 4.30 4.46 4.48 5/332 130724
/proc/meminfo: memFree=86505964/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=1327744 CPUtime=54.31 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 40748 0 0 0 5356 75 0 0 20 0 20 0 13265750 19566772224 331936 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 331936 5929 1 0 557154 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=13956 CPUtime=49.47 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 15395 0 0 0 4881 66 0 0 20 0 20 0 13265751 19566772224 331936 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=1327744 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 331936 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 331936 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=1311164 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.18 5/325 133062
/proc/meminfo: memFree=75967388/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3279.87 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 158113 0 0 0 326969 1018 0 0 20 0 20 0 13265750 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 547482 5945 1 0 560745 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=50056 CPUtime=3250.33 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 72095 0 0 0 324182 851 0 0 20 0 20 0 13265751 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 471 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=40128 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 3411 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=13956 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 3279.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/325 133074
/proc/meminfo: memFree=75449704/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3339.75 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 160531 0 0 0 332945 1030 0 0 20 0 20 0 13265750 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 547482 5945 1 0 560745 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=5572 CPUtime=3310.13 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 73434 0 0 0 330153 860 0 0 20 0 20 0 13265751 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 474 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=2189912 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 3531 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 3339.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/325 133085
/proc/meminfo: memFree=75036160/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3399.62 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 162598 0 0 0 338920 1042 0 0 20 0 20 0 13265750 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 547482 5945 1 0 560745 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3369.92 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 74359 0 0 0 336123 869 0 0 20 0 20 0 13265751 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 478 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=5572 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 3602 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 3399.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.17 4.18 5/328 133100
/proc/meminfo: memFree=74586636/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3459.45 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 164337 0 0 0 344893 1052 0 0 20 0 20 0 13265750 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 547482 5945 1 0 560745 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=12412 CPUtime=3429.64 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 75792 0 0 0 342087 877 0 0 20 0 20 0 13265751 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 489 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 3698 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=25948 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 3459.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/328 133112
/proc/meminfo: memFree=74304312/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3519.23 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 166468 0 0 0 350860 1063 0 0 20 0 20 0 13265750 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 547482 5945 1 0 560745 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3489.23 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 77139 0 0 0 348038 885 0 0 20 0 20 0 13265751 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 499 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 3798 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 3519.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189928 KiB

[startup+3582.3 s]
/proc/loadavg: 3.68 4.03 4.13 4/302 133157
/proc/meminfo: memFree=96818016/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3579.16 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 169172 0 0 0 356841 1075 0 0 20 0 20 0 13265750 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 547482 5945 1 0 560745 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=13956 CPUtime=3548.75 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 78306 0 0 0 353980 895 0 0 20 0 20 0 13265751 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 504 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=50056 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 3922 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 3579.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.2 s]
/proc/loadavg: 3.40 3.95 4.10 3/276 133195
/proc/meminfo: memFree=111056604/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19108176 memory=2189928 CPUtime=3600.01 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 169679 0 0 0 358922 1079 0 0 20 0 20 0 13265750 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4777044 547482 5945 1 0 560745 0
[pid=130695/tid=130697] ppid=130692 vsize=19108176 memory=1904 CPUtime=3569.58 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 78803 0 0 0 356060 898 0 0 20 0 20 0 13265751 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 506 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19108176 memory=2189928 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13265756 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19108176 memory=25948 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 3922 0 0 0 0 0 0 0 20 0 20 0 13265757 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130714] ppid=130692 vsize=19108176 memory=-9030953569605165756 CPUtime=0 cores=4,6
/proc/130695/task/130714/stat : 130714 (Timer-0) S 130692 130695 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13265875 19566772224 547482 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189928 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.69 s, system=10.8168 s

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

[startup+3603.4 s]
/proc/loadavg: 3.40 3.95 4.10 3/276 133195
/proc/meminfo: memFree=111056604/131655788 swapFree=131070448/131071996
[pid=130695] ppid=130692 vsize=19307868 memory=2190812 CPUtime=3600.39 cores=4,6
/proc/130695/stat : 130695 (java) S 130692 130695 125633 0 -1 1077936128 172542 0 0 0 358960 1079 0 0 20 0 21 0 13265750 19771256832 547703 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
/proc/130695/statm: 4826967 547703 5944 1 0 561710 0
[pid=130695/tid=130697] ppid=130692 vsize=19307868 memory=-9030953569605165756 CPUtime=3569.78 cores=4,6
/proc/130695/task/130697/stat : 130697 (java) R 130692 130695 125633 0 -1 4194368 79022 0 0 0 356080 898 0 0 20 0 21 0 13265751 19771256832 547703 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 506 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130706] ppid=130692 vsize=19307868 memory=1712 CPUtime=0 cores=4,6
/proc/130695/task/130706/stat : 130706 (Finalizer) S 130692 130695 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13265756 19771256832 547703 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
[pid=130695/tid=130713] ppid=130692 vsize=19307868 memory=13956 CPUtime=0 cores=4,6
/proc/130695/task/130713/stat : 130713 (Common-Cleaner) S 130692 130695 125633 0 -1 1077936192 3922 0 0 0 0 0 0 0 20 0 21 0 13265757 19771256832 547703 134679101440 94629545103360 94629545107056 140733330065568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94629545114872 94629545115664 94629568696320 140733330072491 140733330072673 140733330072673 140733330079688 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2190812 KiB

Child status: 143

Real time (s): 3603.47
CPU time (s): 3600.5
CPU user time (s): 3589.69
CPU system time (s): 10.8168
CPU usage (%): 99.9175
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2190812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.69
system time used= 10.8168
maximum resident set size= 2191888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9769224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112832
involuntary context switches= 7985


# summary of solver processes directly reported to runsolver:
#   pid: 130695
#   total CPU time (s): 3600.5
#   total CPU user time (s): 3589.69
#   total CPU system time (s): 10.8168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.348 second user time and 37.5066 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-24 00:12:40
IDJOB=4440337
IDBENCH=147594
IDSOLVER=3079
FILE ID=nodeC012/4440337-1721772760
RUNJOBID= nodeC012-1721765708-125644
SLURM_JOB_ID= 7770677
Free space on /tmp= 723724 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440337-1721772760/watcher-4440337-1721772760 -o /tmp/evaluation-result-4440337-1721772760/solver-4440337-1721772760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721765708-125644 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440337-1721772760 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440337-1721772760.opb

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

MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=2054328108

nodeC012.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		: 3606.062
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.47
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		: 3664.743
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.32
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.309
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.47
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.316
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.181
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.47
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		: 3491.735
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.32
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		: 2095.051
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.291
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        89303056 kB
MemAvailable:   109769636 kB
Buffers:          189984 kB
Cached:         21066860 kB
SwapCached:           72 kB
Active:          1264156 kB
Inactive:       40436600 kB
Active(anon):       3640 kB
Inactive(anon): 20485236 kB
Active(file):    1260516 kB
Inactive(file): 19951364 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:            110560 kB
Writeback:            12 kB
AnonPages:      20442644 kB
Mapped:           125344 kB
Shmem:             45176 kB
KReclaimable:     189464 kB
Slab:             293644 kB
SReclaimable:     189464 kB
SUnreclaim:       104180 kB
KernelStack:        4976 kB
PageTables:        50316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   22992164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19232 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13033472 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:      316232 kB
DirectMap2M:    35239936 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC012 at 2024-07-24 01:12:44