Trace number 4518235

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)-182837 3600.31 3453.4

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_500_10000_2_-399276.opb
MD5SUM8a3dc4c2b7829f560f37e3a7b2c16990
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-527203
Best CPU time to get the best result obtained on this benchmark0.054571
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1
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 constraints1
Minimum length of a constraint1000
Maximum length of a constraint1000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 9992
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 4908981
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 49898
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 5093718
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.14	c Pseudo Boolean Optimization by upper bound
0.13/0.14	c --- Begin Solver configuration ---
0.13/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.14	c Learn all clauses as in MiniSAT
0.13/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.14	c Expensive reason simplification
0.13/0.14	c Glucose 2.1 dynamic restart strategy
0.13/0.14	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.13/0.14	c timeout=2147483s
0.13/0.14	c DB Simplification allowed=false
0.13/0.14	c Listener: none
0.13/0.14	c --- End Solver configuration ---
0.13/0.14	c solving HOME/instance-4518235-1751545965.opb
0.13/0.14	c reading problem ... 
0.19/0.55	c using VERIPB proof format
0.19/0.56	c  objective function found
0.19/0.58	c ... done. Wall clock time 0.435s.
0.19/0.58	c declared #vars     1000
0.19/0.58	c #constraints  1
0.19/0.58	c constraints type 
0.19/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.19/0.58	c 1 constraints processed.
0.19/0.59	c objective function length is 1000 literals
0.28/0.61	c SATISFIABLE
0.28/0.61	c OPTIMIZING...
0.28/0.61	c Got one! Elapsed wall clock time (in seconds):0.467
0.28/0.61	o -97082
0.28/0.63	c Got one! Elapsed wall clock time (in seconds):0.492
0.28/0.63	o -98872
0.28/0.65	c Got one! Elapsed wall clock time (in seconds):0.506
0.28/0.65	o -100838
0.28/0.65	c Got one! Elapsed wall clock time (in seconds):0.512
0.28/0.65	o -101630
0.47/0.71	c Got one! Elapsed wall clock time (in seconds):0.566
0.47/0.71	o -102179
0.47/0.72	c Got one! Elapsed wall clock time (in seconds):0.575
0.47/0.72	o -102213
0.47/0.74	c Got one! Elapsed wall clock time (in seconds):0.603
0.47/0.75	o -105092
0.67/0.83	c Got one! Elapsed wall clock time (in seconds):0.691
0.67/0.83	o -107063
0.67/0.84	c Got one! Elapsed wall clock time (in seconds):0.696
0.67/0.84	o -107635
0.67/0.84	c Got one! Elapsed wall clock time (in seconds):0.701
0.67/0.84	o -109601
0.67/0.85	c Got one! Elapsed wall clock time (in seconds):0.705
0.67/0.85	o -110393
0.67/0.87	c Got one! Elapsed wall clock time (in seconds):0.724
0.67/0.87	o -110517
0.67/0.88	c Got one! Elapsed wall clock time (in seconds):0.743
0.67/0.89	o -111982
0.87/0.90	c Got one! Elapsed wall clock time (in seconds):0.763
0.87/0.90	o -113275
0.87/0.92	c Got one! Elapsed wall clock time (in seconds):0.777
0.87/0.92	o -115885
0.87/0.93	c Got one! Elapsed wall clock time (in seconds):0.788
0.87/0.93	o -116677
1.27/1.17	c Got one! Elapsed wall clock time (in seconds):1.023
1.27/1.17	o -117226
1.84/1.41	c Got one! Elapsed wall clock time (in seconds):1.267
1.84/1.41	o -117778
1.84/1.48	c Got one! Elapsed wall clock time (in seconds):1.333
1.84/1.48	o -119256
2.25/1.62	c Got one! Elapsed wall clock time (in seconds):1.475
2.25/1.62	o -119468
2.25/1.63	c Got one! Elapsed wall clock time (in seconds):1.487
2.25/1.63	o -121631
2.25/1.63	c Got one! Elapsed wall clock time (in seconds):1.492
2.25/1.63	o -123774
2.25/1.64	c Got one! Elapsed wall clock time (in seconds):1.495
2.25/1.64	o -126532
2.43/1.73	c Got one! Elapsed wall clock time (in seconds):1.587
2.43/1.73	o -128108
2.43/1.73	c Got one! Elapsed wall clock time (in seconds):1.592
2.43/1.73	o -128938
2.43/1.75	c Got one! Elapsed wall clock time (in seconds):1.607
2.43/1.75	o -129253
2.43/1.75	c Got one! Elapsed wall clock time (in seconds):1.611
2.43/1.75	o -132151
2.83/1.93	c Got one! Elapsed wall clock time (in seconds):1.783
2.83/1.93	o -132770
3.41/2.26	c Got one! Elapsed wall clock time (in seconds):2.122
3.41/2.26	o -133124
3.61/2.34	c Got one! Elapsed wall clock time (in seconds):2.194
3.61/2.34	o -133158
6.89/4.95	c Got one! Elapsed wall clock time (in seconds):4.809
6.89/4.95	o -134392
7.77/5.64	c cleaning 3824 clauses out of 7647 with flag 2087/7647
7.95/5.75	c Got one! Elapsed wall clock time (in seconds):5.612
7.95/5.75	o -135033
11.23/8.73	c cleaning 4528 clauses out of 9056 with flag 11077/12880
12.93/10.33	c Got one! Elapsed wall clock time (in seconds):10.191
12.93/10.33	o -136070
12.93/10.35	c Got one! Elapsed wall clock time (in seconds):10.208
12.93/10.35	o -136827
13.85/11.13	c Got one! Elapsed wall clock time (in seconds):10.992
13.85/11.13	o -137767
13.85/11.15	c Got one! Elapsed wall clock time (in seconds):11.011
13.85/11.15	o -139375
14.07/11.34	c Got one! Elapsed wall clock time (in seconds):11.202
14.07/11.34	o -140925
14.58/11.89	c Got one! Elapsed wall clock time (in seconds):11.743
14.58/11.89	o -141138
15.26/12.49	c cleaning 5992 clauses out of 11986 with flag 2144/20338
18.56/15.60	c cleaning 5992 clauses out of 11995 with flag 15025/26339
22.22/19.06	c cleaning 6504 clauses out of 13007 with flag 29815/33343
24.22/20.81	c Got one! Elapsed wall clock time (in seconds):20.672
24.22/20.81	o -144316
24.22/20.90	c Got one! Elapsed wall clock time (in seconds):20.753
24.22/20.90	o -144567
24.43/21.01	c Got one! Elapsed wall clock time (in seconds):20.866
24.43/21.01	o -144702
25.34/21.93	c cleaning 6314 clauses out of 12636 with flag 4180/39476
28.78/25.12	c cleaning 6159 clauses out of 12325 with flag 16994/45479
32.41/28.65	c cleaning 6579 clauses out of 13161 with flag 31949/52474
36.85/33.30	c cleaning 7289 clauses out of 14582 with flag 48957/60474
38.80/35.17	c Got one! Elapsed wall clock time (in seconds):35.03
38.80/35.17	o -146520
38.90/35.20	c Got one! Elapsed wall clock time (in seconds):35.058
38.90/35.20	o -146593
38.90/35.23	c Got one! Elapsed wall clock time (in seconds):35.09
38.90/35.23	o -146642
40.09/36.46	c cleaning 6515 clauses out of 13030 with flag 4344/66211
40.79/37.16	c Got one! Elapsed wall clock time (in seconds):37.016
40.79/37.16	o -146828
41.00/37.32	c Got one! Elapsed wall clock time (in seconds):37.177
41.00/37.32	o -148762
43.60/39.84	c cleaning 6103 clauses out of 12206 with flag 8703/71902
47.24/43.32	c cleaning 6045 clauses out of 12096 with flag 21871/77895
51.48/47.47	c cleaning 6534 clauses out of 13078 with flag 37466/84922
56.53/52.34	c cleaning 7258 clauses out of 14519 with flag 55406/92897
60.28/55.93	c Got one! Elapsed wall clock time (in seconds):55.79
60.28/55.93	o -149072
60.57/56.28	c Got one! Elapsed wall clock time (in seconds):56.137
60.57/56.28	o -150157
61.75/57.26	c Got one! Elapsed wall clock time (in seconds):57.119
61.75/57.26	o -150885
62.38/57.83	c Got one! Elapsed wall clock time (in seconds):57.689
62.38/57.83	o -152614
65.59/61.06	c cleaning 9814 clauses out of 19630 with flag 9569/105266
69.91/65.49	c cleaning 7907 clauses out of 15818 with flag 22602/111268
74.47/69.87	c cleaning 7453 clauses out of 14907 with flag 38454/118264
80.28/75.46	c cleaning 7726 clauses out of 15454 with flag 57428/126264
86.65/81.69	c cleaning 8364 clauses out of 16731 with flag 78520/135267
93.71/88.55	c cleaning 9183 clauses out of 18365 with flag 103459/145265
102.04/96.95	c cleaning 10089 clauses out of 20180 with flag 131825/156263
102.64/97.53	c Got one! Elapsed wall clock time (in seconds):97.387
102.64/97.53	o -152849
105.21/99.71	c cleaning 7586 clauses out of 15177 with flag 8411/161349
107.31/101.89	c Got one! Elapsed wall clock time (in seconds):101.753
107.31/101.89	o -152876
107.81/102.30	c cleaning 6544 clauses out of 13091 with flag 2095/166849
108.31/102.83	c Got one! Elapsed wall clock time (in seconds):102.686
108.31/102.83	o -152978
109.11/103.63	c Got one! Elapsed wall clock time (in seconds):103.491
109.11/103.63	o -153170
110.59/105.01	c cleaning 6420 clauses out of 12846 with flag 6358/173148
113.24/107.68	c cleaning 6202 clauses out of 12417 with flag 19380/179139
116.71/111.06	c cleaning 6608 clauses out of 13217 with flag 34707/186141
120.60/114.93	c cleaning 7306 clauses out of 14611 with flag 51733/194143
125.69/119.96	c cleaning 8151 clauses out of 16303 with flag 71523/203141
132.36/126.23	c cleaning 9076 clauses out of 18151 with flag 94507/213140
138.85/132.69	c cleaning 10040 clauses out of 20082 with flag 119454/224147
146.07/139.70	c cleaning 11022 clauses out of 22044 with flag 145185/236149
154.19/147.76	c cleaning 12007 clauses out of 24013 with flag 174153/249140
163.90/157.10	c cleaning 13003 clauses out of 26009 with flag 205771/263143
173.93/166.76	c cleaning 13998 clauses out of 28003 with flag 239352/278140
175.93/168.68	c Got one! Elapsed wall clock time (in seconds):168.534
175.93/168.68	o -153310
177.03/169.76	c cleaning 9669 clauses out of 19346 with flag 4205/283481
180.36/172.99	c cleaning 7835 clauses out of 15676 with flag 17789/289480
181.86/174.49	c Got one! Elapsed wall clock time (in seconds):174.347
181.86/174.49	o -153325
183.22/175.64	c cleaning 6566 clauses out of 13133 with flag 4171/294772
186.02/178.45	c cleaning 6275 clauses out of 12564 with flag 17251/300769
190.14/182.19	c cleaning 6641 clauses out of 13302 with flag 32719/307782
194.35/186.24	c Got one! Elapsed wall clock time (in seconds):186.094
194.35/186.24	o -156297
197.45/189.17	c Got one! Elapsed wall clock time (in seconds):189.027
197.45/189.17	o -157277
198.56/190.06	c cleaning 9790 clauses out of 19594 with flag 2362/320715
201.85/193.32	c cleaning 7901 clauses out of 15804 with flag 15972/326715
205.83/197.28	c cleaning 7455 clauses out of 14914 with flag 32052/333726
210.45/201.85	c cleaning 7724 clauses out of 15449 with flag 50386/341716
215.31/206.68	c cleaning 8362 clauses out of 16724 with flag 71160/350715
217.43/208.71	c Got one! Elapsed wall clock time (in seconds):208.567
217.43/208.71	o -158164
218.63/209.96	c cleaning 7136 clauses out of 14284 with flag 5131/356637
222.15/213.32	c cleaning 6567 clauses out of 13150 with flag 19490/362639
224.18/215.24	c Got one! Elapsed wall clock time (in seconds):215.095
224.18/215.24	o -159804
225.18/216.29	c cleaning 6078 clauses out of 12184 with flag 4976/368240
228.37/219.40	c cleaning 6051 clauses out of 12109 with flag 19563/374243
232.00/222.98	c cleaning 6521 clauses out of 13055 with flag 35987/381240
236.58/227.50	c cleaning 7273 clauses out of 14545 with flag 55955/389251
242.48/233.02	c cleaning 8132 clauses out of 16263 with flag 78359/398242
249.57/239.72	c cleaning 9063 clauses out of 18130 with flag 103814/408241
256.55/246.78	c cleaning 10030 clauses out of 20065 with flag 133164/419239
265.41/255.53	c cleaning 11017 clauses out of 22036 with flag 166414/431240
274.38/264.17	c cleaning 12007 clauses out of 24020 with flag 200246/444241
275.38/265.13	c Got one! Elapsed wall clock time (in seconds):264.989
275.38/265.13	o -159977
275.48/265.22	c Got one! Elapsed wall clock time (in seconds):265.073
275.48/265.22	o -160027
275.79/265.47	c Got one! Elapsed wall clock time (in seconds):265.332
275.79/265.47	o -160098
277.40/267.00	c cleaning 8907 clauses out of 17814 with flag 6186/450042
280.64/270.17	c cleaning 7444 clauses out of 14905 with flag 18884/456040
283.47/272.81	c Got one! Elapsed wall clock time (in seconds):272.664
283.47/272.81	o -160102
286.17/275.50	c cleaning 8822 clauses out of 17643 with flag 10452/466222
289.15/278.51	c cleaning 7409 clauses out of 14821 with flag 23663/472222
292.47/281.88	c cleaning 7202 clauses out of 14412 with flag 38510/479222
296.46/285.86	c cleaning 7600 clauses out of 15210 with flag 55278/487222
301.61/290.96	c cleaning 8305 clauses out of 16610 with flag 75261/496222
307.70/297.03	c cleaning 9158 clauses out of 18318 with flag 97252/506235
314.76/304.05	c cleaning 10075 clauses out of 20149 with flag 123745/517224
323.35/312.16	c cleaning 11035 clauses out of 22072 with flag 150128/529222
331.28/319.98	c cleaning 12021 clauses out of 24043 with flag 178470/542228
339.86/328.33	c cleaning 13006 clauses out of 26015 with flag 208651/556221
351.11/338.80	c cleaning 14020 clauses out of 28039 with flag 241618/571251
362.69/350.00	c cleaning 14991 clauses out of 29993 with flag 275198/587225
365.68/353.01	c Got one! Elapsed wall clock time (in seconds):352.867
365.68/353.01	o -160457
365.88/353.27	c Got one! Elapsed wall clock time (in seconds):353.126
365.88/353.27	o -160566
365.98/353.33	c Got one! Elapsed wall clock time (in seconds):353.191
365.98/353.33	o -160580
365.98/353.36	c Got one! Elapsed wall clock time (in seconds):353.223
365.98/353.36	o -160828
366.48/353.89	c cleaning 10771 clauses out of 21567 with flag 2116/593790
369.76/357.02	c cleaning 8397 clauses out of 16799 with flag 15223/599793
373.45/360.77	c cleaning 7695 clauses out of 15399 with flag 30166/606790
377.96/365.19	c cleaning 7846 clauses out of 15704 with flag 47866/614790
380.31/367.32	c Got one! Elapsed wall clock time (in seconds):367.18
380.31/367.32	o -161255
380.41/367.46	c Got one! Elapsed wall clock time (in seconds):367.313
380.41/367.46	o -162522
380.71/367.70	c Got one! Elapsed wall clock time (in seconds):367.558
380.71/367.70	o -162901
381.22/368.22	c cleaning 6778 clauses out of 13577 with flag 2145/620509
384.59/371.49	c cleaning 6389 clauses out of 12799 with flag 15237/626509
388.96/375.34	c cleaning 6699 clauses out of 13413 with flag 30186/633512
393.59/379.94	c cleaning 7355 clauses out of 14712 with flag 48082/641510
398.93/385.12	c cleaning 8178 clauses out of 16357 with flag 68077/650510
404.96/391.10	c cleaning 9085 clauses out of 18178 with flag 90299/660509
411.72/397.67	c cleaning 10049 clauses out of 20099 with flag 115999/671515
417.46/403.20	c Got one! Elapsed wall clock time (in seconds):403.057
417.46/403.20	o -162926
417.46/403.23	c Got one! Elapsed wall clock time (in seconds):403.093
417.46/403.23	o -163610
417.46/403.28	c Got one! Elapsed wall clock time (in seconds):403.141
417.46/403.28	o -165552
417.59/403.33	c Got one! Elapsed wall clock time (in seconds):403.184
417.59/403.33	o -165953
419.18/404.94	c Got one! Elapsed wall clock time (in seconds):404.801
419.18/404.94	o -167761
421.68/407.45	c cleaning 12421 clauses out of 24845 with flag 6736/686310
423.91/409.52	c Got one! Elapsed wall clock time (in seconds):409.382
423.91/409.52	o -169401
425.20/410.86	c cleaning 8903 clauses out of 17819 with flag 4654/691705
428.50/414.16	c cleaning 7452 clauses out of 14910 with flag 18185/697699
432.49/418.04	c cleaning 7231 clauses out of 14461 with flag 33710/704702
436.78/422.36	c cleaning 7611 clauses out of 15228 with flag 51845/712700
441.86/427.33	c cleaning 8306 clauses out of 16617 with flag 72174/721700
447.94/433.29	c cleaning 9156 clauses out of 18319 with flag 94284/731708
454.75/439.91	c cleaning 10077 clauses out of 20159 with flag 120176/742704
462.36/447.40	c cleaning 11045 clauses out of 22092 with flag 147784/754714
472.15/456.84	c cleaning 12019 clauses out of 24040 with flag 178049/767707
482.19/466.81	c cleaning 13003 clauses out of 26014 with flag 212161/781700
494.82/479.05	c cleaning 14017 clauses out of 28033 with flag 251321/796722
505.81/489.60	c cleaning 14997 clauses out of 29996 with flag 289443/812702
518.16/501.64	c cleaning 16002 clauses out of 32004 with flag 328023/829707
531.58/514.77	c cleaning 16994 clauses out of 33994 with flag 370243/847699
546.37/529.07	c cleaning 18007 clauses out of 36014 with flag 415996/866713
559.82/542.15	c cleaning 18996 clauses out of 37995 with flag 461607/886701
563.28/545.53	c Got one! Elapsed wall clock time (in seconds):545.384
563.28/545.53	o -169446
563.38/545.67	c Got one! Elapsed wall clock time (in seconds):545.529
563.38/545.67	o -170053
563.48/545.74	c Got one! Elapsed wall clock time (in seconds):545.595
563.48/545.74	o -170766
563.48/545.78	c Got one! Elapsed wall clock time (in seconds):545.633
563.48/545.78	o -172440
563.58/545.81	c Got one! Elapsed wall clock time (in seconds):545.667
563.58/545.81	o -174861
563.71/545.93	c Got one! Elapsed wall clock time (in seconds):545.791
563.71/545.93	o -176632
563.71/545.99	c Got one! Elapsed wall clock time (in seconds):545.851
563.71/545.99	o -177255
566.80/549.08	c cleaning 15674 clauses out of 31349 with flag 10722/899051
570.61/552.72	c cleaning 10849 clauses out of 21698 with flag 23437/905074
573.75/555.73	c Got one! Elapsed wall clock time (in seconds):555.586
573.75/555.73	o -177563
576.94/558.97	c cleaning 10523 clauses out of 21045 with flag 11063/915270
580.33/562.28	c cleaning 8248 clauses out of 16510 with flag 24125/921258
584.99/566.44	c cleaning 7609 clauses out of 15262 with flag 39194/928258
589.27/570.76	c cleaning 7821 clauses out of 15653 with flag 56905/936258
594.29/575.79	c cleaning 8417 clauses out of 16833 with flag 76964/945259
600.64/582.04	c cleaning 9206 clauses out of 18416 with flag 99162/955259
607.57/588.81	c cleaning 10101 clauses out of 20210 with flag 124283/966259
615.65/596.77	c cleaning 11052 clauses out of 22108 with flag 151368/978258
624.80/605.20	c cleaning 12030 clauses out of 24060 with flag 181561/991262
635.63/615.14	c cleaning 13009 clauses out of 26026 with flag 212600/1005258
647.99/626.65	c cleaning 14006 clauses out of 28017 with flag 246658/1020258
660.22/637.72	c cleaning 15010 clauses out of 30020 with flag 281862/1036267
674.41/650.98	c cleaning 16002 clauses out of 32003 with flag 319670/1053260
689.25/664.68	c cleaning 17000 clauses out of 34001 with flag 359985/1071260
705.78/680.29	c cleaning 17999 clauses out of 36000 with flag 403391/1090259
724.06/697.21	c cleaning 19000 clauses out of 38000 with flag 450811/1110258
746.88/718.70	c cleaning 20000 clauses out of 40001 with flag 503165/1131259
765.52/735.95	c cleaning 20999 clauses out of 42000 with flag 555022/1153258
784.20/753.27	c cleaning 22004 clauses out of 44011 with flag 605313/1176268
805.78/774.23	c cleaning 22993 clauses out of 45998 with flag 658448/1200259
829.41/796.15	c cleaning 24005 clauses out of 48010 with flag 716579/1225264
854.15/818.83	c cleaning 25000 clauses out of 50003 with flag 774219/1251262
856.74/821.47	c Got one! Elapsed wall clock time (in seconds):821.325
856.74/821.47	o -177673
857.75/822.35	c cleaning 15074 clauses out of 30164 with flag 2201/1256423
861.76/826.26	c cleaning 10530 clauses out of 21070 with flag 15428/1262403
866.25/830.62	c cleaning 8765 clauses out of 17535 with flag 31588/1269398
870.95/835.29	c cleaning 8388 clauses out of 16779 with flag 51031/1277407
876.56/840.76	c cleaning 8703 clauses out of 17405 with flag 70997/1286421
883.96/847.61	c cleaning 9341 clauses out of 18683 with flag 96016/1296402
890.64/854.15	c cleaning 10165 clauses out of 20348 with flag 122345/1307408
898.54/861.92	c cleaning 11086 clauses out of 22177 with flag 148030/1319402
908.62/870.74	c cleaning 12042 clauses out of 24087 with flag 176715/1332398
919.74/881.04	c cleaning 13022 clauses out of 26046 with flag 210727/1346399
930.01/890.60	c cleaning 14010 clauses out of 28024 with flag 244581/1361399
943.11/902.78	c cleaning 15001 clauses out of 30013 with flag 279994/1377398
948.66/907.97	c Got one! Elapsed wall clock time (in seconds):907.83
948.66/907.97	o -177979
948.87/908.12	c Got one! Elapsed wall clock time (in seconds):907.974
948.87/908.12	o -180127
948.87/908.16	c Got one! Elapsed wall clock time (in seconds):908.023
948.87/908.16	o -181977
952.29/911.46	c cleaning 14143 clauses out of 28299 with flag 10907/1390685
956.60/915.12	c cleaning 10076 clauses out of 20160 with flag 24425/1396689
960.37/918.87	c cleaning 8527 clauses out of 17072 with flag 39560/1403677
965.11/923.55	c cleaning 8264 clauses out of 16544 with flag 57059/1411676
970.04/928.36	c cleaning 8639 clauses out of 17280 with flag 76504/1420676
976.89/934.64	c cleaning 9332 clauses out of 18664 with flag 98670/1430699
984.42/941.56	c cleaning 10154 clauses out of 20309 with flag 123161/1441676
992.98/949.75	c cleaning 11078 clauses out of 22157 with flag 149279/1453678
1002.00/958.11	c cleaning 12039 clauses out of 24079 with flag 179007/1466678
1011.10/967.17	c cleaning 13016 clauses out of 26038 with flag 210162/1480676
1021.43/977.14	c cleaning 14010 clauses out of 28026 with flag 243702/1495680
1033.91/988.73	c cleaning 15012 clauses out of 30024 with flag 279440/1511688
1047.29/1001.72	c cleaning 16005 clauses out of 32012 with flag 318504/1528688
1061.05/1014.45	c cleaning 16998 clauses out of 33996 with flag 361302/1546677
1077.61/1030.60	c cleaning 18013 clauses out of 36025 with flag 404491/1565704
1092.37/1044.91	c cleaning 18996 clauses out of 37992 with flag 450771/1585684
1106.21/1057.46	c Got one! Elapsed wall clock time (in seconds):1057.322
1106.21/1057.46	o -182056
1109.33/1060.60	c cleaning 20382 clauses out of 40767 with flag 10811/1607455
1113.11/1064.23	c cleaning 13194 clauses out of 26388 with flag 23891/1613458
1117.18/1068.23	c cleaning 10095 clauses out of 20191 with flag 39947/1620455
1121.97/1072.92	c cleaning 9054 clauses out of 18108 with flag 57676/1628467
1128.05/1078.56	c cleaning 9005 clauses out of 18046 with flag 77799/1637459
1134.41/1084.75	c cleaning 9519 clauses out of 19042 with flag 100398/1647460
1141.48/1091.49	c cleaning 10256 clauses out of 20518 with flag 125038/1658455
1150.67/1099.59	c cleaning 11131 clauses out of 22261 with flag 152141/1670454
1160.83/1108.92	c cleaning 12063 clauses out of 24130 with flag 181973/1683454
1172.02/1119.31	c cleaning 13034 clauses out of 26071 with flag 214831/1697458
1184.08/1130.67	c cleaning 14017 clauses out of 28042 with flag 252044/1712463
1197.76/1143.47	c cleaning 15006 clauses out of 30016 with flag 294013/1728454
1206.59/1151.44	c Got one! Elapsed wall clock time (in seconds):1151.297
1206.59/1151.44	o -182107
1211.28/1156.12	c cleaning 15960 clauses out of 31933 with flag 10799/1745377
1215.23/1160.02	c cleaning 10973 clauses out of 21965 with flag 23937/1751369
1219.87/1164.14	c cleaning 8990 clauses out of 17991 with flag 39738/1758368
1224.89/1169.05	c cleaning 8487 clauses out of 17002 with flag 57330/1766369
1231.19/1174.89	c cleaning 8753 clauses out of 17516 with flag 77690/1775370
1238.04/1181.16	c cleaning 9379 clauses out of 18762 with flag 100610/1785369
1245.48/1188.02	c cleaning 10198 clauses out of 20397 with flag 125159/1796383
1254.40/1196.33	c cleaning 11093 clauses out of 22187 with flag 152641/1808371
1263.24/1204.58	c cleaning 12049 clauses out of 24099 with flag 181929/1821376
1273.03/1213.65	c cleaning 13020 clauses out of 26043 with flag 212822/1835369
1283.98/1223.86	c cleaning 14011 clauses out of 28022 with flag 247029/1850368
1298.13/1236.26	c cleaning 15004 clauses out of 30012 with flag 282756/1866369
1312.01/1249.02	c cleaning 16005 clauses out of 32012 with flag 321139/1883373
1327.32/1263.39	c cleaning 17006 clauses out of 34013 with flag 362189/1901379
1343.97/1278.83	c cleaning 18002 clauses out of 36006 with flag 408081/1920378
1363.15/1296.84	c cleaning 18996 clauses out of 37993 with flag 454542/1940367
1382.19/1314.78	c cleaning 19999 clauses out of 39998 with flag 502870/1961368
1402.13/1333.33	c cleaning 20994 clauses out of 41998 with flag 552237/1983367
1425.13/1354.83	c cleaning 22000 clauses out of 44004 with flag 605913/2006367
1450.75/1377.89	c cleaning 23003 clauses out of 46005 with flag 666185/2030368
1477.42/1402.66	c cleaning 24001 clauses out of 48001 with flag 731718/2055367
1504.28/1427.45	c cleaning 24996 clauses out of 50001 with flag 794107/2081368
1532.68/1453.89	c cleaning 26007 clauses out of 52013 with flag 860260/2108376
1559.17/1478.63	c cleaning 26992 clauses out of 54002 with flag 928065/2136372
1588.91/1506.41	c cleaning 28016 clauses out of 56032 with flag 1000884/2165394
1619.73/1535.23	c cleaning 28995 clauses out of 57989 with flag 1078026/2195367
1657.38/1570.93	c cleaning 30003 clauses out of 60014 with flag 1154589/2226387
1697.66/1609.25	c cleaning 31002 clauses out of 62004 with flag 1243285/2258380
1733.81/1642.97	c cleaning 31993 clauses out of 63990 with flag 1329909/2291368
1770.40/1677.61	c cleaning 32997 clauses out of 65997 with flag 1419847/2325368
1811.70/1716.69	c cleaning 34005 clauses out of 68009 with flag 1509051/2360377
1850.86/1753.86	c cleaning 34994 clauses out of 69999 with flag 1607313/2396372
1898.93/1798.29	c cleaning 35994 clauses out of 72002 with flag 1708341/2433369
1938.72/1836.35	c cleaning 37003 clauses out of 74007 with flag 1818588/2471368
1981.88/1877.55	c cleaning 38003 clauses out of 76007 with flag 1935297/2510371
2039.82/1932.95	c cleaning 39003 clauses out of 78011 with flag 2064488/2550378
2099.19/1989.31	c cleaning 39993 clauses out of 80000 with flag 2196677/2591370
2116.87/2006.45	c Got one! Elapsed wall clock time (in seconds):2006.308
2116.87/2006.45	o -182137
2121.76/2011.30	c cleaning 32166 clauses out of 64344 with flag 10672/2615707
2125.84/2015.46	c cleaning 19077 clauses out of 38178 with flag 24102/2621707
2130.37/2019.96	c cleaning 13047 clauses out of 26101 with flag 39461/2628707
2135.13/2027.71	c cleaning 10520 clauses out of 21056 with flag 57128/2636709
2140.99/2033.06	c cleaning 9757 clauses out of 19545 with flag 76830/2645718
2147.26/2039.27	c cleaning 9883 clauses out of 19778 with flag 98317/2655708
2154.47/2046.30	c cleaning 10455 clauses out of 20909 with flag 123160/2666722
2162.47/2054.23	c cleaning 11225 clauses out of 22449 with flag 152074/2678717
2170.88/2062.59	c cleaning 12107 clauses out of 24215 with flag 181926/2691708
2181.20/2072.78	c cleaning 13054 clauses out of 26108 with flag 213188/2705708
2192.40/2083.84	c cleaning 14025 clauses out of 28066 with flag 248542/2720720
2203.20/2094.51	c cleaning 15015 clauses out of 30029 with flag 283397/2736708
2218.05/2108.10	c cleaning 16010 clauses out of 32019 with flag 321301/2753713
2233.70/2122.70	c cleaning 17008 clauses out of 34018 with flag 362424/2771722
2247.68/2136.23	c cleaning 17999 clauses out of 36007 with flag 404139/2790719
2261.74/2149.27	c Got one! Elapsed wall clock time (in seconds):2149.132
2261.74/2149.27	o -182182
2265.68/2153.02	c cleaning 20236 clauses out of 40474 with flag 11112/2813185
2269.54/2156.83	c cleaning 13116 clauses out of 26243 with flag 24153/2819190
2273.80/2161.02	c cleaning 10045 clauses out of 20122 with flag 39252/2826185
2279.09/2165.83	c cleaning 9031 clauses out of 18078 with flag 56354/2834186
2284.41/2171.05	c cleaning 9018 clauses out of 18048 with flag 76496/2843187
2290.81/2176.98	c cleaning 9512 clauses out of 19028 with flag 97789/2853185
2298.68/2184.14	c cleaning 10258 clauses out of 20529 with flag 123543/2864198
2306.75/2191.79	c cleaning 11128 clauses out of 22257 with flag 149670/2876184
2316.24/2200.56	c cleaning 12067 clauses out of 24133 with flag 178500/2889188
2327.71/2210.56	c cleaning 13032 clauses out of 26063 with flag 209825/2903185
2339.73/2221.63	c cleaning 14016 clauses out of 28031 with flag 245786/2918185
2353.69/2234.54	c cleaning 15010 clauses out of 30021 with flag 286729/2934191
2369.44/2253.44	c cleaning 16004 clauses out of 32007 with flag 331024/2951187
2383.62/2266.74	c cleaning 17000 clauses out of 34000 with flag 373847/2969184
2398.45/2280.48	c cleaning 18000 clauses out of 36000 with flag 415726/2988184
2414.60/2295.30	c cleaning 18996 clauses out of 38001 with flag 459934/3008185
2432.75/2312.46	c cleaning 20001 clauses out of 40007 with flag 505806/3029187
2453.19/2331.88	c cleaning 20994 clauses out of 42008 with flag 555854/3051189
2477.55/2353.90	c cleaning 22002 clauses out of 44010 with flag 611664/3074185
2498.08/2373.08	c cleaning 22998 clauses out of 46007 with flag 667361/3098184
2519.17/2392.74	c cleaning 24003 clauses out of 48013 with flag 721200/3123188
2541.58/2413.73	c cleaning 24997 clauses out of 50006 with flag 778433/3149184
2566.78/2437.21	c cleaning 26005 clauses out of 52009 with flag 837544/3176184
2596.48/2465.09	c cleaning 27014 clauses out of 54027 with flag 900679/3204207
2627.57/2494.35	c cleaning 27995 clauses out of 55990 with flag 969886/3233184
2658.95/2523.43	c cleaning 28997 clauses out of 57995 with flag 1038668/3263184
2694.74/2557.07	c cleaning 29996 clauses out of 59998 with flag 1110380/3294184
2723.05/2583.42	c cleaning 30993 clauses out of 62009 with flag 1181657/3326191
2754.09/2611.99	c cleaning 32006 clauses out of 64011 with flag 1254090/3359186
2790.04/2647.06	c cleaning 33003 clauses out of 66010 with flag 1329519/3393191
2830.61/2685.67	c cleaning 34004 clauses out of 68009 with flag 1407351/3428193
2867.48/2722.10	c cleaning 34995 clauses out of 69996 with flag 1490597/3464184
2911.35/2764.06	c cleaning 35997 clauses out of 72002 with flag 1571142/3501185
2957.11/2809.00	c cleaning 36998 clauses out of 74005 with flag 1659796/3539185
3008.70/2858.36	c cleaning 38031 clauses out of 76061 with flag 1757341/3578239
3060.11/2908.66	c cleaning 38989 clauses out of 77981 with flag 1849146/3618190
3115.80/2961.82	c cleaning 39992 clauses out of 79986 with flag 1939684/3659184
3175.43/3018.47	c cleaning 40992 clauses out of 81999 with flag 2042720/3701189
3239.37/3087.14	c cleaning 42011 clauses out of 84022 with flag 2143153/3744204
3296.29/3141.90	c cleaning 42993 clauses out of 85995 with flag 2243177/3788188
3355.27/3205.20	c cleaning 43995 clauses out of 88000 with flag 2348458/3833186
3416.56/3265.79	c cleaning 44998 clauses out of 90019 with flag 2455453/3879200
3482.62/3328.90	c cleaning 46001 clauses out of 92007 with flag 2563989/3926186
3554.67/3397.65	c Got one! Elapsed wall clock time (in seconds):3397.507
3554.67/3397.65	o -182837
3561.67/3404.77	c cleaning 47978 clauses out of 95968 with flag 11016/3976148
3567.06/3410.11	c cleaning 26989 clauses out of 53986 with flag 24983/3982144
3572.46/3415.55	c cleaning 16980 clauses out of 33994 with flag 40550/3989141
3577.87/3420.88	c cleaning 12502 clauses out of 25016 with flag 57622/3997143
3583.90/3426.84	c cleaning 10750 clauses out of 21515 with flag 77217/4006144
3590.46/3443.53	c cleaning 10375 clauses out of 20763 with flag 100952/4016142
3597.22/3450.26	c cleaning 10695 clauses out of 21389 with flag 124764/4027143
3600.02/3453.02	c starts		: 20086
3600.02/3453.03	c conflicts		: 4032114
3600.02/3453.03	c decisions		: 5169523
3600.02/3453.03	c propagations		: 89822330
3600.02/3453.04	c inspects		: 3788931569
3600.02/3453.04	c shortcuts		: 0
3600.02/3453.04	c learnt literals	: 0
3600.02/3453.04	c learnt binary clauses	: 0
3600.02/3453.04	c learnt ternary clauses	: 0
3600.02/3453.04	c learnt constraints	: 4032114
3600.02/3453.04	c ignored constraints	: 0
3600.02/3453.04	c root simplifications	: 0
3600.02/3453.04	c removed literals (reason simplification)	: 107214296
3600.02/3453.04	c reason swapping (by a shorter reason)	: 0
3600.02/3453.04	c Calls to reduceDB	: 263
3600.02/3453.04	c Number of update (reduction) of LBD	: 260533
3600.02/3453.04	c Imported unit clauses	: 0
3600.02/3453.04	c No decision after first conflict	: false
3600.02/3453.04	c number of reductions to clauses (during analyze)	: 0
3600.02/3453.04	c number of learned constraints concerned by reduction	: 0
3600.02/3453.04	c number of learning phase by resolution	: 0
3600.02/3453.04	c number of learning phase by cutting planes	: 0
3600.02/3453.04	c number of rounding to 1 operations	: 0
3600.02/3453.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3453.04	c number of reductions of the coefficients by power 2 	: 0
3600.02/3453.04	c number of right shift for reduction by power 2 	: 0
3600.02/3453.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3453.04	c number of ending skipping 	: 0
3600.02/3453.04	c number of internal skipping 	: 0
3600.02/3453.04	c number of derivation steps 	: 0
3600.02/3453.04	c number of skipped derivation steps 	: 0
3600.02/3453.04	c number of remaining unassigned 	: 0
3600.02/3453.04	c number of remaining assigned 	: 0
3600.02/3453.04	c number of falsified literals weakened from reason	: 0
3600.02/3453.04	c number of falsified literals weakened from conflict	: 0
3600.02/3453.04	c time for arithmetic operations	: 0
3600.02/3453.04	c minimum degree of deleted constraints	: null
3600.02/3453.04	c maximum degree of deleted constraints	: null
3600.02/3453.04	c number of deleted constraints	: 0
3600.02/3453.04	c speed (assignments/second)	: 26017.08764478183
3600.02/3453.04	c non guided choices	: 8
3600.02/3453.04	s SATISFIABLE
3600.02/3453.04	c Found 94 solution(s)
3600.02/3453.04	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
3600.02/3453.06	c objective function=-182837
3600.02/3453.06	c Total wall clock time (in seconds): 3452.919

Verifier Data 

OK	-182837

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: 63708 MiB (32787 MiB free)
  memory of node 1: 64465 MiB (49508 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100062 s]*
/proc/loadavg: 3.46 3.50 3.43 4/320 77682
/proc/meminfo: memFree=84230492/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=18930384 memory=55472 CPUtime=0.13 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 6534 0 1 0 11 2 0 0 20 0 18 0 70271084 19384713216 13868 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4732596 13868 5321 1 0 547602 0
[pid=77664/tid=77666] ppid=77661 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 5046 0 0 0 6 1 0 0 20 0 18 0 70271086 19384713216 13868 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=18930384 memory=224227767622 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70271088 19384713216 13868 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=18930384 memory=28919 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70271088 19384713216 13868 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55472 KiB

[startup+0.205776 s]*
/proc/loadavg: 3.46 3.50 3.43 3/320 77682
/proc/meminfo: memFree=84230492/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=18930384 memory=59068 CPUtime=0.19 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 6829 0 1 0 17 2 0 0 20 0 18 0 70271084 19384713216 14767 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4732596 14767 5449 1 0 547808 0
[pid=77664/tid=77666] ppid=77661 vsize=18930384 memory=4026786075 CPUtime=0.11 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) D 77661 77664 77286 0 -1 4456512 5220 0 0 0 10 1 0 0 20 0 18 0 70271086 19384713216 14767 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=18930384 memory=219932787024 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70271088 19384713216 14767 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=18930384 memory=54087446195522 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70271088 19384713216 14767 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59068 KiB

[startup+0.305809 s]*
/proc/loadavg: 3.46 3.50 3.43 3/320 77682
/proc/meminfo: memFree=84238404/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=18930384 memory=59068 CPUtime=0.19 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 6829 0 1 0 17 2 0 0 20 0 18 0 70271084 19384713216 14767 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4732596 14767 5449 1 0 547808 0
[pid=77664/tid=77666] ppid=77661 vsize=18930384 memory=-6000919502754440552 CPUtime=0.11 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) D 77661 77664 77286 0 -1 4456512 5220 0 0 0 10 1 0 0 20 0 18 0 70271086 19384713216 14767 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70271088 19384713216 14767 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70271088 19384713216 14767 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59068 KiB

[startup+0.702289 s]
/proc/loadavg: 3.46 3.50 3.43 3/320 77682
/proc/meminfo: memFree=84238404/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=18996948 memory=77092 CPUtime=0.47 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 7958 0 1 0 44 3 0 0 20 0 19 0 70271084 19452874752 19273 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4749237 19273 5481 1 0 548717 0
[pid=77664/tid=77666] ppid=77661 vsize=18996948 memory=18176 CPUtime=0.25 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 5422 0 0 0 23 2 0 0 20 0 19 0 70271086 19452874752 19273 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70271088 19452874752 19273 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70271088 19452874752 19273 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77092 KiB

[startup+1.50027 s]
/proc/loadavg: 3.46 3.50 3.43 5/321 77683
/proc/meminfo: memFree=84140796/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=176032 CPUtime=2.03 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 12468 0 1 0 197 6 0 0 20 0 20 0 70271084 19521036288 44008 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 44008 5513 1 0 551982 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=0 CPUtime=0.97 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 5463 0 0 0 93 4 0 0 20 0 20 0 70271086 19521036288 44008 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 44008 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 44008 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=33 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 44008 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 2.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176032 KiB

[startup+3.10562 s]
/proc/loadavg: 3.46 3.50 3.43 5/322 77684
/proc/meminfo: memFree=83829700/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=438832 CPUtime=4.89 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 23015 0 1 0 476 13 0 0 20 0 20 0 70271084 19521036288 109708 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 109708 5513 1 0 952971 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=10752 CPUtime=2.45 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 6474 0 0 0 238 7 0 0 20 0 20 0 70271086 19521036288 109708 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 109708 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 109708 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=169608 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 109708 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 4.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 438832 KiB

[startup+6.30026 s]
/proc/loadavg: 3.42 3.50 3.43 5/322 77685
/proc/meminfo: memFree=83292716/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=1065388 CPUtime=8.72 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 26528 0 1 0 840 32 0 0 20 0 20 0 70271084 19521036288 266347 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 266347 5513 1 0 1479400 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=0 CPUtime=5.38 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 7394 0 0 0 519 19 0 0 20 0 20 0 70271086 19521036288 266347 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 266347 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=8315167063544594605 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 266347 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=183308 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 266347 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1065388 KiB

[startup+12.7002 s]
/proc/loadavg: 3.55 3.52 3.44 4/322 77685
/proc/meminfo: memFree=82459820/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=1791812 CPUtime=15.59 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 27120 0 1 0 1506 53 0 0 20 0 20 0 70271084 19521036288 447953 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 447953 5513 1 0 1479429 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=10752 CPUtime=11.39 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 7767 0 0 0 1105 34 0 0 20 0 20 0 70271086 19521036288 447953 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=183308 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 447953 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=1660688 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 447953 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 447953 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 15.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1791812 KiB

[startup+25.5002 s]
/proc/loadavg: 3.43 3.49 3.43 5/322 77685
/proc/meminfo: memFree=80925736/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=2976632 CPUtime=29.18 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 35599 0 1 0 2826 92 0 0 20 0 20 0 70271084 19521036288 744158 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 744158 5513 1 0 1608946 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=1660688 CPUtime=23.43 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 10014 0 0 0 2280 63 0 0 20 0 20 0 70271086 19521036288 744158 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=2552668 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 744158 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 744158 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 744158 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 29.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2976632 KiB

[startup+51.1057 s]
/proc/loadavg: 3.28 3.45 3.42 5/321 77685
/proc/meminfo: memFree=79109536/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=4218772 CPUtime=55.34 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 41366 0 1 0 5392 142 0 0 20 0 20 0 70271084 19521036288 1054693 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 1054693 5513 1 0 1709217 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=4032400 CPUtime=47.5 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 12176 0 0 0 4656 94 0 0 20 0 20 0 70271086 19521036288 1054693 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 1054693 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 1054693 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0

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

/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 6949007 0 0 0 295259 3289 0 0 20 0 20 0 70271086 19521036288 2181373 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=8725364 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2181373 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=8725364 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2181373 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 2181373 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 3256.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8725492 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 3.97 3.80 5/323 78005
/proc/meminfo: memFree=10501248/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=10211316 CPUtime=3309.17 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 8333787 0 1 0 327201 3716 0 0 20 0 20 0 70271084 19521036288 2552829 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 2552829 5577 1 0 2572933 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=5276 CPUtime=3035.82 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 7315865 0 0 0 300192 3390 0 0 20 0 20 0 70271086 19521036288 2552829 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2552829 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 1421 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2552829 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=-6000919502754440552 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 2552829 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 3309.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10211316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.01 3.98 3.82 3/300 78034
/proc/meminfo: memFree=27373452/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=9309240 CPUtime=3372.74 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 9532377 0 1 0 333446 3828 0 0 20 0 20 0 70271084 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 2327310 5577 1 0 2341175 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=5276 CPUtime=3094.04 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 8337499 0 0 0 305917 3487 0 0 20 0 20 0 70271086 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=10211316 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=9309240 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 1422 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=9309240 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 3372.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9309240 KiB

[startup+3282.3 s]
/proc/loadavg: 3.75 3.91 3.81 4/323 78073
/proc/meminfo: memFree=51613592/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=9309240 CPUtime=3433.29 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 11010455 0 1 0 339380 3949 0 0 20 0 20 0 70271084 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 2327310 5577 1 0 2341175 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=9309240 CPUtime=3152.33 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 9656676 0 0 0 311639 3594 0 0 20 0 20 0 70271086 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 1477 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=45952 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 2327310 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 3433.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9309240 KiB

[startup+3342.3 s]
/proc/loadavg: 3.45 3.80 3.78 4/323 78075
/proc/meminfo: memFree=50602828/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=9309880 CPUtime=3496.17 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 12306894 0 1 0 345560 4057 0 0 20 0 20 0 70271084 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 2327470 5577 1 0 2341179 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=9309880 CPUtime=3210.43 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 10849965 0 0 0 317348 3695 0 0 20 0 20 0 70271086 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=9309880 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=-6000919502754440552 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 1500 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=9309880 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 3496.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9309880 KiB

[startup+3402.3 s]
/proc/loadavg: 3.36 3.72 3.75 4/324 78079
/proc/meminfo: memFree=49838392/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=9309880 CPUtime=3559.28 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 13601870 0 1 0 351768 4160 0 0 20 0 20 0 70271084 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 2327470 5577 1 0 2341192 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=9309880 CPUtime=3268.64 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 12035240 0 0 0 323075 3789 0 0 20 0 20 0 70271086 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=9309880 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 1550 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 3559.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9309880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3453 s]*
/proc/loadavg: 3.27 3.64 3.72 4/325 78082
/proc/meminfo: memFree=48822176/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19063512 memory=9309880 CPUtime=3600.02 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 13666577 0 1 0 355793 4209 0 0 20 0 20 0 70271084 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4765878 2327470 5577 1 0 2341192 0
[pid=77664/tid=77666] ppid=77661 vsize=19063512 memory=-6000919468428649576 CPUtime=3308.57 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) R 77661 77664 77286 0 -1 4194368 12057501 0 0 0 327022 3835 0 0 20 0 20 0 70271086 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19063512 memory=7152114904178723438 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19063512 memory=2688 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 1588 0 0 0 0 0 0 0 20 0 20 0 70271088 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77683] ppid=77661 vsize=19063512 memory=2432 CPUtime=0 cores=0,2
/proc/77664/task/77683/stat : 77683 (Timer-0) S 77661 77664 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70271145 19521036288 2327470 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9309880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3558.01 s, system=42.3039 s

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

[startup+3453.21 s]
/proc/loadavg: 3.27 3.64 3.72 4/325 78082
/proc/meminfo: memFree=48822176/131249992 swapFree=33009392/33010684
[pid=77664] ppid=77661 vsize=19263204 memory=9310064 CPUtime=3600.12 cores=0,2
/proc/77664/stat : 77664 (java) S 77661 77664 77286 0 -1 4194304 13668286 0 1 0 355800 4212 0 0 20 0 16 0 70271084 19725520896 2327516 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
/proc/77664/statm: 4815801 2327516 5577 1 0 2342149 0
[pid=77664/tid=77666] ppid=77661 vsize=19263204 memory=-6000919502754440552 CPUtime=3308.62 cores=0,2
/proc/77664/task/77666/stat : 77666 (java) S 77661 77664 77286 0 -1 4194368 12057720 0 0 0 327025 3837 0 0 20 0 16 0 70271086 19725520896 2327516 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77675] ppid=77661 vsize=19263204 memory=9309880 CPUtime=0 cores=0,2
/proc/77664/task/77675/stat : 77675 (Finalizer) S 77661 77664 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 70271088 19725520896 2327516 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
[pid=77664/tid=77682] ppid=77661 vsize=19263204 memory=6772 CPUtime=0 cores=0,2
/proc/77664/task/77682/stat : 77682 (Common-Cleaner) S 77661 77664 77286 0 -1 4194368 1588 0 0 0 0 0 0 0 20 0 16 0 70271088 19725520896 2327516 18446744073709551615 94903254929408 94903254933104 140721544308080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94903254940920 94903254941712 94903270789120 140721544317232 140721544317414 140721544317414 140721544323016 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 9310064 KiB

[startup+3453.3 s]*
/proc/loadavg: 3.27 3.64 3.72 4/307 78085
/proc/meminfo: memFree=54733748/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3453.4
CPU time (s): 3600.31
CPU user time (s): 3558.01
CPU system time (s): 42.3039
CPU usage (%): 104.254
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 10563644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.01
system time used= 42.3039
maximum resident set size= 10563644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13668314
page faults= 1
swaps= 0
block input operations= 80
block output operations= 50645304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140979
involuntary context switches= 30525


# summary of solver processes directly reported to runsolver:
#   pid: 77664
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3558.01
#   total CPU system time (s): 42.3039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41535 second user time and 15.7406 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-03 14:32:45
IDJOB=4518235
IDBENCH=176692
IDSOLVER=3364
FILE ID=nodeC035/4518235-1751545965
RUNJOBID= nodeC035-1751542865-77321
SLURM_JOB_ID= 9598708
Free space on /tmp= 432812 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_500_10000_2_-399276.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518235-1751545965/watcher-4518235-1751545965 -o /tmp/evaluation-result-4518235-1751545965/solver-4518235-1751545965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751542865-77321 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518235-1751545965 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518235-1751545965.opb

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

MD5SUM BENCH= 8a3dc4c2b7829f560f37e3a7b2c16990
RANDOM SEED=2119865485

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        84271432 kB
MemAvailable:   111499772 kB
Buffers:             664 kB
Cached:         27971036 kB
SwapCached:          332 kB
Active:         18491828 kB
Inactive:       27673576 kB
Active(anon):   18190684 kB
Inactive(anon):    21068 kB
Active(file):     301144 kB
Inactive(file): 27652508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           2998540 kB
Writeback:             0 kB
AnonPages:      18193224 kB
Mapped:           123928 kB
Shmem:             17700 kB
KReclaimable:     227856 kB
Slab:             414032 kB
SReclaimable:     227856 kB
SUnreclaim:       186176 kB
KernelStack:        4908 kB
PageTables:        38932 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   18650880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151176 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17836032 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432812 MiB
End job on nodeC035 at 2025-07-03 15:30:19