Trace number 4490389

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)2 3600.28 3625.35

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
MD5SUMa8470a83b0b0d2a815a3f0ab26202dcb
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 benchmark0
Best CPU time to get the best result obtained on this benchmark318.517
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3997
Number of bits of the biggest sum of numbers12
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.12/0.10	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4490389-1751379929.opb
0.12/0.13	c reading problem ... 
0.18/1.77	c using VERIPB proof format
0.18/1.77	c  objective function found
0.18/1.79	c ... done. Wall clock time 1.651s.
0.18/1.79	c declared #vars     120
0.18/1.79	c #constraints  10
0.18/1.79	c constraints type 
0.18/1.79	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.18/1.79	c 10 constraints processed.
0.22/1.80	c objective function length is 80 literals
0.82/2.17	c SATISFIABLE
0.82/2.17	c OPTIMIZING...
0.82/2.17	c Got one! Elapsed wall clock time (in seconds):2.037
0.82/2.17	o 271
0.82/2.19	c Got one! Elapsed wall clock time (in seconds):2.052
0.82/2.19	o 259
1.01/2.20	c Got one! Elapsed wall clock time (in seconds):2.062
1.01/2.20	o 258
1.01/2.22	c Got one! Elapsed wall clock time (in seconds):2.089
1.01/2.22	o 202
1.01/2.28	c Got one! Elapsed wall clock time (in seconds):2.146
1.01/2.28	o 199
1.01/2.29	c Got one! Elapsed wall clock time (in seconds):2.153
1.01/2.29	o 198
1.40/2.42	c Got one! Elapsed wall clock time (in seconds):2.283
1.40/2.42	o 194
1.40/2.46	c Got one! Elapsed wall clock time (in seconds):2.328
1.40/2.46	o 191
1.40/2.48	c Got one! Elapsed wall clock time (in seconds):2.351
1.40/2.48	o 177
1.40/2.49	c Got one! Elapsed wall clock time (in seconds):2.361
1.40/2.49	o 100
1.79/2.65	c cleaning 4063 clauses out of 8142 with flag 2051/8142
2.59/3.08	c cleaning 5031 clauses out of 10077 with flag 14284/14140
3.37/3.41	c cleaning 6011 clauses out of 12044 with flag 28469/21138
3.96/3.78	c cleaning 7012 clauses out of 14037 with flag 44717/29142
4.56/4.01	c Got one! Elapsed wall clock time (in seconds):3.879
4.56/4.01	o 99
4.56/4.09	c Got one! Elapsed wall clock time (in seconds):3.957
4.56/4.09	o 93
4.87/4.29	c cleaning 9813 clauses out of 19641 with flag 8146/41758
5.01/4.33	c Got one! Elapsed wall clock time (in seconds):4.195
5.01/4.33	o 92
5.12/4.49	c cleaning 7454 clauses out of 14936 with flag 8247/46866
5.52/4.73	c cleaning 6733 clauses out of 13481 with flag 20882/52865
5.81/4.93	c Got one! Elapsed wall clock time (in seconds):4.796
5.81/4.93	o 90
5.81/4.94	c Got one! Elapsed wall clock time (in seconds):4.809
5.81/4.94	o 58
5.81/4.97	c Got one! Elapsed wall clock time (in seconds):4.833
5.81/4.97	o 56
5.81/4.98	c Got one! Elapsed wall clock time (in seconds):4.847
5.81/4.98	o 55
5.94/5.03	c Got one! Elapsed wall clock time (in seconds):4.896
5.94/5.03	o 53
5.94/5.09	c Got one! Elapsed wall clock time (in seconds):4.957
5.94/5.09	o 52
6.09/5.12	c Got one! Elapsed wall clock time (in seconds):4.989
6.09/5.12	o 50
6.09/5.13	c Got one! Elapsed wall clock time (in seconds):5.0
6.09/5.13	o 38
6.09/5.16	c Got one! Elapsed wall clock time (in seconds):5.029
6.09/5.16	o 36
6.18/5.27	c cleaning 11232 clauses out of 22463 with flag 4641/68580
6.28/5.31	c Got one! Elapsed wall clock time (in seconds):5.174
6.28/5.31	o 34
6.38/5.47	c cleaning 8265 clauses out of 16530 with flag 8783/73879
6.58/5.61	c Got one! Elapsed wall clock time (in seconds):5.479
6.58/5.61	o 33
6.69/5.74	c cleaning 7053 clauses out of 14121 with flag 4172/79735
6.69/5.79	c Got one! Elapsed wall clock time (in seconds):5.655
6.69/5.79	o 27
6.79/5.86	c Got one! Elapsed wall clock time (in seconds):5.73
6.79/5.86	o 25
6.89/5.95	c cleaning 6450 clauses out of 12922 with flag 4079/85589
7.09/6.15	c cleaning 6228 clauses out of 12474 with flag 16292/91591
7.29/6.36	c cleaning 6613 clauses out of 13243 with flag 30524/98588
7.69/6.64	c cleaning 7306 clauses out of 14629 with flag 46788/106587
8.04/6.92	c cleaning 8154 clauses out of 16323 with flag 65234/115587
8.37/7.24	c cleaning 9075 clauses out of 18170 with flag 85580/125588
8.49/7.32	c Got one! Elapsed wall clock time (in seconds):7.188
8.49/7.32	o 24
8.59/7.43	c cleaning 7378 clauses out of 14756 with flag 6465/131249
8.69/7.56	c Got one! Elapsed wall clock time (in seconds):7.424
8.69/7.56	o 23
8.80/7.67	c cleaning 6673 clauses out of 13356 with flag 4156/137227
9.00/7.83	c cleaning 6339 clauses out of 12684 with flag 16573/143228
9.00/7.87	c Got one! Elapsed wall clock time (in seconds):7.735
9.00/7.87	o 22
9.21/8.01	c cleaning 5771 clauses out of 11549 with flag 8226/148432
9.21/8.04	c Got one! Elapsed wall clock time (in seconds):7.903
9.21/8.04	o 20
9.40/8.20	c cleaning 5721 clauses out of 11458 with flag 10268/154112
9.50/8.31	c Got one! Elapsed wall clock time (in seconds):8.174
9.50/8.31	o 18
9.50/8.36	c Got one! Elapsed wall clock time (in seconds):8.226
9.50/8.36	o 17
9.60/8.41	c cleaning 5998 clauses out of 12006 with flag 2206/160381
9.70/8.50	c Got one! Elapsed wall clock time (in seconds):8.362
9.70/8.50	o 13
9.80/8.62	c cleaning 5810 clauses out of 11622 with flag 6176/165995
9.80/8.63	c Got one! Elapsed wall clock time (in seconds):8.495
9.80/8.63	o 9
10.00/8.81	c cleaning 5661 clauses out of 11322 with flag 11378/171505
10.20/9.01	c cleaning 5832 clauses out of 11664 with flag 23744/177508
10.39/9.26	c cleaning 6415 clauses out of 12830 with flag 37911/184506
10.70/9.53	c cleaning 7206 clauses out of 14413 with flag 54108/192504
11.09/9.91	c cleaning 8103 clauses out of 16207 with flag 72413/201504
11.49/10.33	c cleaning 9050 clauses out of 18103 with flag 92616/211503
11.99/10.82	c cleaning 10023 clauses out of 20053 with flag 114796/222503
12.49/11.37	c cleaning 11016 clauses out of 22031 with flag 138947/234504
12.49/11.39	c Got one! Elapsed wall clock time (in seconds):11.252
12.49/11.39	o 8
12.79/11.62	c cleaning 8318 clauses out of 16650 with flag 10246/240139
13.00/11.83	c cleaning 7155 clauses out of 14332 with flag 22483/246139
13.30/12.13	c cleaning 7078 clauses out of 14177 with flag 36917/253139
13.49/12.39	c cleaning 7541 clauses out of 15099 with flag 53222/261139
13.79/12.66	c cleaning 8270 clauses out of 16561 with flag 71595/270142
14.09/12.97	c cleaning 9133 clauses out of 18289 with flag 91833/280140
14.48/13.31	c cleaning 10079 clauses out of 20157 with flag 114247/291141
14.89/13.75	c cleaning 11039 clauses out of 22077 with flag 138489/303140
14.99/13.84	c Got one! Elapsed wall clock time (in seconds):13.704
14.99/13.84	o 7
15.09/13.94	c cleaning 8134 clauses out of 16276 with flag 4098/308378
15.29/14.15	c cleaning 7067 clauses out of 14142 with flag 16309/314378
15.59/14.40	c cleaning 7034 clauses out of 14071 with flag 30548/321374
15.78/14.69	c cleaning 7520 clauses out of 15039 with flag 46861/329376
16.19/15.02	c cleaning 8258 clauses out of 16518 with flag 65100/338375
16.58/15.40	c cleaning 9126 clauses out of 18260 with flag 85434/348375
16.98/15.85	c cleaning 10064 clauses out of 20134 with flag 107798/359375
17.39/16.27	c Got one! Elapsed wall clock time (in seconds):16.14
17.39/16.27	o 3
17.78/16.65	c cleaning 12416 clauses out of 24854 with flag 10534/374159
18.09/16.99	c cleaning 9213 clauses out of 18440 with flag 23555/380161
18.39/17.29	c cleaning 8104 clauses out of 16225 with flag 38187/387159
18.70/17.55	c cleaning 8058 clauses out of 16120 with flag 54500/395158
18.99/17.82	c cleaning 8524 clauses out of 17063 with flag 72907/404159
19.29/18.10	c cleaning 9266 clauses out of 18540 with flag 93142/414160
19.58/18.43	c cleaning 10129 clauses out of 20275 with flag 115366/425161
19.89/18.79	c cleaning 11066 clauses out of 22144 with flag 139610/437159
20.39/19.20	c cleaning 12030 clauses out of 24077 with flag 165992/450158
20.88/19.75	c cleaning 13016 clauses out of 26048 with flag 194614/464159
21.38/20.23	c cleaning 14009 clauses out of 28033 with flag 225082/479160
21.98/20.82	c cleaning 15011 clauses out of 30022 with flag 257406/495158
22.58/21.49	c cleaning 16006 clauses out of 32014 with flag 291796/512161
23.58/22.40	c cleaning 17003 clauses out of 34007 with flag 328141/530160
24.48/23.30	c cleaning 18001 clauses out of 36002 with flag 366614/549158
25.48/24.34	c cleaning 19002 clauses out of 38003 with flag 407064/569160
26.68/25.57	c cleaning 19999 clauses out of 40001 with flag 449470/590160
27.87/26.75	c cleaning 20994 clauses out of 42001 with flag 493929/612159
29.27/28.14	c cleaning 22006 clauses out of 44011 with flag 540462/635163
30.67/29.54	c cleaning 22996 clauses out of 46002 with flag 588905/659160
32.17/31.07	c cleaning 24002 clauses out of 48005 with flag 639340/684159
33.96/32.85	c cleaning 24998 clauses out of 50003 with flag 691736/710159
35.86/34.77	c cleaning 25999 clauses out of 52005 with flag 746146/737159
37.95/36.80	c cleaning 27004 clauses out of 54008 with flag 802548/765161
40.15/39.01	c cleaning 27995 clauses out of 56002 with flag 860999/794159
42.34/41.29	c cleaning 29004 clauses out of 58007 with flag 921501/824159
44.73/43.62	c cleaning 30000 clauses out of 60003 with flag 984224/855159
47.13/46.04	c cleaning 31001 clauses out of 62002 with flag 1048857/887158
49.63/48.58	c cleaning 31997 clauses out of 64002 with flag 1115484/920159
52.23/51.17	c cleaning 33000 clauses out of 66004 with flag 1184061/954158
53.13/52.00	c Got one! Elapsed wall clock time (in seconds):51.868
53.13/52.00	o 2
53.73/52.61	c cleaning 25880 clauses out of 51769 with flag 10704/972923
54.02/52.99	c cleaning 15937 clauses out of 31890 with flag 23213/978924
54.32/53.29	c cleaning 11472 clauses out of 22955 with flag 37958/985926
54.62/53.53	c cleaning 9734 clauses out of 19485 with flag 54204/993928
54.92/53.84	c cleaning 9363 clauses out of 18747 with flag 72706/1002924
55.23/54.14	c cleaning 9687 clauses out of 19384 with flag 93413/1012924
55.52/54.49	c cleaning 10346 clauses out of 20698 with flag 116081/1023925
56.02/54.93	c cleaning 11172 clauses out of 22350 with flag 140684/1035923
56.52/55.44	c cleaning 12087 clauses out of 24179 with flag 167284/1048924
57.12/56.01	c cleaning 13045 clauses out of 26092 with flag 196192/1062924
57.62/56.60	c cleaning 14018 clauses out of 28046 with flag 227164/1077923
58.32/57.28	c cleaning 15012 clauses out of 30029 with flag 260638/1093924
59.12/58.03	c cleaning 16002 clauses out of 32019 with flag 295467/1110926
60.02/58.93	c cleaning 17007 clauses out of 34014 with flag 332465/1128923
61.01/59.99	c cleaning 18003 clauses out of 36010 with flag 371682/1147926
62.01/60.94	c cleaning 18999 clauses out of 38006 with flag 412362/1167925
63.12/62.02	c cleaning 20000 clauses out of 40007 with flag 455516/1188925
64.31/63.28	c cleaning 21001 clauses out of 42008 with flag 499921/1210926
65.60/64.57	c cleaning 22002 clauses out of 44005 with flag 546810/1233924
67.07/66.38	c cleaning 23002 clauses out of 46003 with flag 596186/1257924
68.57/67.89	c cleaning 24002 clauses out of 48004 with flag 647734/1282927
70.67/69.99	c cleaning 24992 clauses out of 49998 with flag 701342/1308923
72.77/72.02	c cleaning 26001 clauses out of 52006 with flag 757128/1335923
74.97/74.27	c cleaning 27003 clauses out of 54008 with flag 815119/1363926
77.46/76.77	c cleaning 27999 clauses out of 56002 with flag 875232/1392923
79.86/79.18	c cleaning 28999 clauses out of 58003 with flag 936609/1422923
82.64/81.96	c cleaning 30003 clauses out of 60005 with flag 1000595/1453924
85.13/84.41	c cleaning 30997 clauses out of 62001 with flag 1065459/1485923
87.54/86.80	c cleaning 32000 clauses out of 64006 with flag 1131965/1518925
90.23/89.51	c cleaning 32995 clauses out of 66004 with flag 1200410/1552923
92.93/92.27	c cleaning 34001 clauses out of 68010 with flag 1271309/1587924
96.02/95.40	c cleaning 35002 clauses out of 70008 with flag 1344028/1623923
99.20/98.73	c cleaning 36000 clauses out of 72007 with flag 1418771/1660924
102.69/102.28	c cleaning 37004 clauses out of 74007 with flag 1495778/1698924
106.19/105.70	c cleaning 38000 clauses out of 76005 with flag 1574466/1737926
109.88/109.41	c cleaning 39002 clauses out of 78003 with flag 1655017/1777924
113.37/112.97	c cleaning 39995 clauses out of 80001 with flag 1737942/1818924
117.57/117.11	c cleaning 40998 clauses out of 82006 with flag 1822887/1860924
121.56/121.17	c cleaning 42001 clauses out of 84008 with flag 1909675/1903924
125.84/125.44	c cleaning 43001 clauses out of 86006 with flag 1998667/1947923
130.05/129.77	c cleaning 44004 clauses out of 88007 with flag 2089597/1992925
134.74/134.48	c cleaning 44999 clauses out of 90003 with flag 2182732/2038925
139.73/139.41	c cleaning 45998 clauses out of 92004 with flag 2277762/2085925
144.23/143.92	c cleaning 47000 clauses out of 94004 with flag 2374962/2133923
149.42/149.15	c cleaning 48001 clauses out of 96005 with flag 2473895/2182924
155.21/154.90	c cleaning 49000 clauses out of 98003 with flag 2574753/2232923
160.75/160.52	c cleaning 49997 clauses out of 100003 with flag 2677739/2283923
166.85/166.69	c cleaning 51005 clauses out of 102010 with flag 2782690/2335927
173.72/173.51	c cleaning 52001 clauses out of 104002 with flag 2889847/2388924
181.60/181.49	c cleaning 52998 clauses out of 106000 with flag 2998764/2442923
187.49/187.38	c cleaning 53998 clauses out of 108002 with flag 3109443/2497923
194.45/194.39	c cleaning 54999 clauses out of 110004 with flag 3223400/2553923
200.84/200.73	c cleaning 56000 clauses out of 112006 with flag 3339101/2610924
205.83/205.79	c cleaning 57002 clauses out of 114006 with flag 3456534/2668924
210.13/210.06	c cleaning 57996 clauses out of 116005 with flag 3575741/2727925
216.12/216.02	c cleaning 59004 clauses out of 118007 with flag 3697589/2787923
221.56/221.55	c cleaning 60001 clauses out of 120004 with flag 3822228/2848924
226.54/226.56	c cleaning 60997 clauses out of 122005 with flag 3948037/2910926
231.84/231.88	c cleaning 61998 clauses out of 124005 with flag 4075126/2973923
240.32/240.32	c cleaning 63001 clauses out of 126008 with flag 4205353/3037924
250.75/250.81	c cleaning 64002 clauses out of 128010 with flag 4337790/3102927
258.95/259.10	c cleaning 65000 clauses out of 130005 with flag 4472537/3168924
269.31/269.40	c cleaning 65992 clauses out of 132004 with flag 4608484/3235923
275.20/275.32	c cleaning 67001 clauses out of 134014 with flag 4745624/3303925
280.45/280.62	c cleaning 67999 clauses out of 136012 with flag 4884678/3372924
288.04/288.24	c cleaning 69002 clauses out of 138012 with flag 5026255/3442923
294.22/294.43	c cleaning 70004 clauses out of 140012 with flag 5169580/3513925
305.01/305.25	c cleaning 70999 clauses out of 142006 with flag 5316723/3585923
317.93/318.22	c cleaning 72000 clauses out of 144008 with flag 5465443/3658924
327.14/327.42	c cleaning 73000 clauses out of 146008 with flag 5615909/3732924
339.01/339.32	c cleaning 74002 clauses out of 148010 with flag 5768257/3807926
350.94/351.33	c cleaning 75000 clauses out of 150009 with flag 5922471/3883927
363.13/363.59	c cleaning 76001 clauses out of 152006 with flag 6079702/3960924
376.07/376.51	c cleaning 76996 clauses out of 154006 with flag 6237781/4038925
388.76/389.27	c cleaning 78001 clauses out of 156008 with flag 6398584/4117923
407.69/408.25	c cleaning 79002 clauses out of 158007 with flag 6564664/4197923
424.05/424.63	c cleaning 80002 clauses out of 160005 with flag 6732379/4278923
437.11/437.77	c cleaning 80996 clauses out of 162003 with flag 6902968/4360923
457.17/457.89	c cleaning 82004 clauses out of 164009 with flag 7074422/4443925
476.84/477.55	c cleaning 82999 clauses out of 166003 with flag 7249561/4527923
495.08/495.89	c cleaning 83995 clauses out of 168006 with flag 7423053/4612925
511.04/511.84	c cleaning 85003 clauses out of 170009 with flag 7606172/4698923
525.31/526.12	c cleaning 86001 clauses out of 172007 with flag 7789192/4785924
539.57/540.42	c cleaning 87004 clauses out of 174007 with flag 7969280/4873925
553.96/554.88	c cleaning 87995 clauses out of 176001 with flag 8151300/4962923
573.87/574.84	c cleaning 89001 clauses out of 178006 with flag 8335821/5052923
589.64/590.68	c cleaning 90000 clauses out of 180006 with flag 8521890/5143924
610.29/611.35	c cleaning 90992 clauses out of 182005 with flag 8712248/5235923
633.45/634.53	c cleaning 92005 clauses out of 184016 with flag 8904589/5328926
654.77/655.97	c cleaning 93002 clauses out of 186011 with flag 9097205/5422926
679.33/680.52	c cleaning 94005 clauses out of 188009 with flag 9294577/5517926
692.20/693.49	c cleaning 94998 clauses out of 190003 with flag 9493077/5613925
708.98/710.24	c cleaning 96000 clauses out of 192005 with flag 9694564/5710925
719.15/720.46	c cleaning 96999 clauses out of 194005 with flag 9893883/5808925
730.66/731.99	c cleaning 97999 clauses out of 196005 with flag 10097940/5907924
740.64/741.91	c cleaning 99000 clauses out of 198005 with flag 10301293/6007923
756.97/758.28	c cleaning 99997 clauses out of 200006 with flag 10507702/6108924
781.27/782.60	c cleaning 101000 clauses out of 202008 with flag 10716924/6210923
794.20/795.52	c cleaning 101999 clauses out of 204008 with flag 10927167/6313923
809.63/811.10	c cleaning 102999 clauses out of 206013 with flag 11140724/6417927
821.45/822.86	c cleaning 104002 clauses out of 208010 with flag 11355347/6522923
833.01/834.92	c cleaning 105000 clauses out of 210008 with flag 11572572/6628923
844.67/846.62	c cleaning 106005 clauses out of 212010 with flag 11792574/6735925
865.15/867.10	c cleaning 106996 clauses out of 214006 with flag 12015233/6843926
886.28/888.32	c cleaning 108000 clauses out of 216007 with flag 12238325/6952923
912.03/914.12	c cleaning 108998 clauses out of 218009 with flag 12462248/7062925
930.35/932.52	c cleaning 109998 clauses out of 220009 with flag 12686947/7173923
946.88/949.04	c cleaning 111004 clauses out of 222014 with flag 12913482/7285926
967.64/969.84	c cleaning 112003 clauses out of 224008 with flag 13144484/7398924
982.01/984.27	c cleaning 112999 clauses out of 226004 with flag 13374641/7512923
1002.89/1005.12	c cleaning 113999 clauses out of 228005 with flag 13608844/7627923
1027.18/1029.53	c cleaning 114995 clauses out of 230006 with flag 13849460/7743923
1048.12/1053.08	c cleaning 116002 clauses out of 232011 with flag 14089904/7860923
1073.05/1078.09	c cleaning 117004 clauses out of 234009 with flag 14334880/7978923
1106.97/1112.03	c cleaning 117996 clauses out of 236005 with flag 14579271/8097923
1138.92/1144.01	c cleaning 118999 clauses out of 238009 with flag 14835022/8217923
1170.33/1175.55	c cleaning 120002 clauses out of 240010 with flag 15091306/8338923
1198.71/1203.94	c cleaning 120999 clauses out of 242009 with flag 15346004/8460924
1226.97/1232.20	c cleaning 121997 clauses out of 244010 with flag 15599578/8583924
1245.43/1250.77	c cleaning 123001 clauses out of 246012 with flag 15853290/8707923
1265.50/1270.85	c cleaning 124000 clauses out of 248012 with flag 16112841/8832924
1284.70/1290.08	c cleaning 125003 clauses out of 250013 with flag 16374720/8958925
1301.02/1306.47	c cleaning 126003 clauses out of 252009 with flag 16639503/9085924
1329.16/1334.67	c cleaning 126998 clauses out of 254008 with flag 16903330/9213926
1351.89/1357.41	c cleaning 127999 clauses out of 256007 with flag 17170246/9342923
1372.48/1378.09	c cleaning 129001 clauses out of 258011 with flag 17438450/9472926
1390.35/1395.90	c cleaning 129999 clauses out of 260007 with flag 17708235/9603923
1447.36/1453.03	c cleaning 131001 clauses out of 262009 with flag 17978693/9735924
1492.55/1498.39	c cleaning 132001 clauses out of 264007 with flag 18255625/9868923
1522.72/1528.56	c cleaning 132998 clauses out of 266006 with flag 18533227/10002923
1548.45/1554.30	c cleaning 134003 clauses out of 268009 with flag 18811838/10137924
1568.68/1574.66	c cleaning 134998 clauses out of 270005 with flag 19092053/10273923
1598.43/1604.46	c cleaning 135997 clauses out of 272007 with flag 19375454/10410923
1623.81/1629.88	c cleaning 137000 clauses out of 274010 with flag 19660450/10548923
1646.73/1652.81	c cleaning 138005 clauses out of 276011 with flag 19945927/10687924
1678.27/1684.40	c cleaning 138998 clauses out of 278005 with flag 20236023/10827923
1711.92/1718.19	c cleaning 139999 clauses out of 280007 with flag 20530463/10968923
1754.55/1760.86	c cleaning 141002 clauses out of 282010 with flag 20828014/11110925
1802.03/1808.48	c cleaning 141997 clauses out of 284006 with flag 21130480/11253923
1836.29/1842.77	c cleaning 143003 clauses out of 286012 with flag 21428867/11397926
1871.81/1878.31	c cleaning 143998 clauses out of 288007 with flag 21727642/11542924
1915.33/1921.95	c cleaning 145002 clauses out of 290008 with flag 22028749/11688923
1950.01/1956.74	c cleaning 146002 clauses out of 292006 with flag 22334354/11835923
1978.55/1985.31	c cleaning 146998 clauses out of 294004 with flag 22644261/11983923
2012.78/2019.64	c cleaning 148000 clauses out of 296008 with flag 22953912/12132925
2043.33/2050.27	c cleaning 148994 clauses out of 298007 with flag 23262453/12282924
2090.22/2097.26	c cleaning 150003 clauses out of 300013 with flag 23571852/12433924
2123.91/2131.00	c cleaning 150997 clauses out of 302009 with flag 23892679/12585923
2156.74/2163.97	c cleaning 152002 clauses out of 304013 with flag 24215184/12738924
2188.88/2196.13	c cleaning 153005 clauses out of 306011 with flag 24537855/12892924
2227.50/2234.82	c cleaning 153997 clauses out of 308005 with flag 24857938/13047923
2282.00/2289.43	c cleaning 155003 clauses out of 310009 with flag 25184020/13203924
2323.95/2335.58	c cleaning 155995 clauses out of 312005 with flag 25512897/13360923
2356.27/2367.95	c cleaning 157002 clauses out of 314010 with flag 25847592/13518923
2412.66/2424.47	c cleaning 158002 clauses out of 316008 with flag 26176449/13677923
2447.10/2458.98	c cleaning 158998 clauses out of 318007 with flag 26506449/13837924
2494.16/2507.41	c cleaning 160002 clauses out of 320008 with flag 26838303/13998923
2527.51/2544.62	c cleaning 161002 clauses out of 322006 with flag 27172623/14160923
2561.11/2578.31	c cleaning 161997 clauses out of 324004 with flag 27505826/14323923
2614.68/2632.19	c cleaning 163002 clauses out of 326009 with flag 27847850/14487925
2664.30/2684.23	c cleaning 163999 clauses out of 328005 with flag 28191018/14652923
2703.73/2723.77	c cleaning 165000 clauses out of 330008 with flag 28532756/14818925
2745.49/2765.50	c cleaning 165998 clauses out of 332007 with flag 28880357/14985924
2787.84/2807.96	c cleaning 166998 clauses out of 334008 with flag 29228247/15153923
2832.95/2853.12	c cleaning 168001 clauses out of 336010 with flag 29583894/15322923
2877.18/2897.46	c cleaning 169001 clauses out of 338009 with flag 29939049/15492923
2910.53/2930.89	c cleaning 170002 clauses out of 340010 with flag 30288564/15663925
2957.51/2978.00	c cleaning 171000 clauses out of 342006 with flag 30644617/15835923
3010.51/3031.09	c cleaning 171998 clauses out of 344007 with flag 31001780/16008924
3056.14/3076.73	c cleaning 173003 clauses out of 346009 with flag 31358442/16182924
3101.86/3122.54	c cleaning 174000 clauses out of 348006 with flag 31718025/16357924
3143.90/3164.61	c cleaning 175003 clauses out of 350005 with flag 32078344/16533923
3184.23/3205.10	c cleaning 175997 clauses out of 352002 with flag 32442188/16710923
3234.41/3258.99	c cleaning 177001 clauses out of 354006 with flag 32805971/16888924
3278.93/3303.55	c cleaning 177999 clauses out of 356004 with flag 33174722/17067923
3319.96/3344.68	c cleaning 178999 clauses out of 358007 with flag 33549239/17247925
3365.80/3390.51	c cleaning 179999 clauses out of 360006 with flag 33927291/17428923
3412.01/3436.87	c cleaning 180995 clauses out of 362008 with flag 34307100/17610924
3464.49/3489.46	c cleaning 182002 clauses out of 364012 with flag 34691567/17793923
3522.25/3547.39	c cleaning 183004 clauses out of 366012 with flag 35080164/17977925
3569.97/3595.19	c cleaning 184001 clauses out of 368006 with flag 35458224/18162923
3600.03/3625.21	c starts		: 2599
3600.03/3625.23	c conflicts		: 18290075
3600.03/3625.23	c decisions		: 18469198
3600.03/3625.23	c propagations		: 105207718
3600.03/3625.23	c inspects		: 47457171060
3600.03/3625.23	c shortcuts		: 0
3600.03/3625.23	c learnt literals	: 0
3600.03/3625.23	c learnt binary clauses	: 0
3600.03/3625.23	c learnt ternary clauses	: 0
3600.03/3625.23	c learnt constraints	: 18290075
3600.03/3625.23	c ignored constraints	: 0
3600.03/3625.23	c root simplifications	: 0
3600.03/3625.23	c removed literals (reason simplification)	: 170978972
3600.03/3625.23	c reason swapping (by a shorter reason)	: 0
3600.03/3625.23	c Calls to reduceDB	: 257
3600.03/3625.23	c Number of update (reduction) of LBD	: 424186
3600.03/3625.23	c Imported unit clauses	: 0
3600.03/3625.24	c No decision after first conflict	: false
3600.03/3625.24	c number of reductions to clauses (during analyze)	: 0
3600.03/3625.24	c number of learned constraints concerned by reduction	: 0
3600.03/3625.24	c number of learning phase by resolution	: 0
3600.03/3625.24	c number of learning phase by cutting planes	: 0
3600.03/3625.24	c number of rounding to 1 operations	: 0
3600.03/3625.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3625.24	c number of reductions of the coefficients by power 2 	: 0
3600.03/3625.24	c number of right shift for reduction by power 2 	: 0
3600.03/3625.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3625.24	c number of ending skipping 	: 0
3600.03/3625.24	c number of internal skipping 	: 0
3600.03/3625.24	c number of derivation steps 	: 0
3600.03/3625.24	c number of skipped derivation steps 	: 0
3600.03/3625.24	c number of remaining unassigned 	: 0
3600.03/3625.24	c number of remaining assigned 	: 0
3600.03/3625.24	c number of falsified literals weakened from reason	: 0
3600.03/3625.24	c number of falsified literals weakened from conflict	: 0
3600.03/3625.24	c time for arithmetic operations	: 0
3600.03/3625.24	c minimum degree of deleted constraints	: null
3600.03/3625.24	c maximum degree of deleted constraints	: null
3600.03/3625.24	c number of deleted constraints	: 0
3600.03/3625.25	c speed (assignments/second)	: 29035.305942610907
3600.03/3625.25	c non guided choices	: 649
3600.23/3625.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 311157
3600.23/3625.31	s SATISFIABLE
3600.23/3625.31	c Found 38 solution(s)
3600.23/3625.31	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 
3600.23/3625.32	c objective function=2
3600.23/3625.32	c Total wall clock time (in seconds): 3625.181

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490389-1751379929/watcher-4490389-1751379929 -o /tmp/evaluation-result-4490389-1751379929/solver-4490389-1751379929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751376307-54238 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490389-1751379929 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490389-1751379929.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54656, runsolver pid=54650
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.15 4.13 4.09 4/296 54678
/proc/meminfo: memFree=87389772/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=18930384 memory=59352 CPUtime=0.12 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 6461 0 0 0 10 2 0 0 20 0 18 0 53670796 19384713216 14838 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4732596 14838 5345 1 0 547603 0
[pid=54656/tid=54658] ppid=54650 vsize=18930384 memory=4026532068 CPUtime=0.07 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 5049 0 0 0 6 1 0 0 20 0 18 0 53670798 19384713216 14838 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=18930384 memory=16085 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53670800 19384713216 14838 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=18930384 memory=52987934540769 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53670801 19384713216 14838 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59352 KiB

[startup+0.205914 s]*
/proc/loadavg: 4.15 4.13 4.09 2/295 54678
/proc/meminfo: memFree=87385744/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=18930384 memory=62508 CPUtime=0.18 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 6687 0 0 0 16 2 0 0 20 0 18 0 53670796 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4732596 15627 5409 1 0 547793 0
[pid=54656/tid=54658] ppid=54650 vsize=18930384 memory=4026709988 CPUtime=0.1 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) D 54650 54656 54228 0 -1 4194368 5214 0 0 0 9 1 0 0 20 0 18 0 53670798 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=18930384 memory=16085 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53670800 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=18930384 memory=52987934540769 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53670801 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62508 KiB

[startup+0.305738 s]*
/proc/loadavg: 4.15 4.13 4.09 2/295 54678
/proc/meminfo: memFree=87384988/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=18930384 memory=62508 CPUtime=0.18 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 6688 0 0 0 16 2 0 0 20 0 18 0 53670796 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4732596 15627 5409 1 0 547793 0
[pid=54656/tid=54658] ppid=54650 vsize=18930384 memory=-6000919502788257898 CPUtime=0.1 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) D 54650 54656 54228 0 -1 4194368 5214 0 0 0 9 1 0 0 20 0 18 0 53670798 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53670800 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53670801 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62508 KiB

[startup+0.700192 s]
/proc/loadavg: 4.15 4.13 4.09 3/298 54684
/proc/meminfo: memFree=87380088/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=18930384 memory=62508 CPUtime=0.18 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 6688 0 0 0 16 2 0 0 20 0 18 0 53670796 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4732596 15627 5409 1 0 547793 0
[pid=54656/tid=54658] ppid=54650 vsize=18930384 memory=13568 CPUtime=0.1 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) D 54650 54656 54228 0 -1 4194368 5214 0 0 0 9 1 0 0 20 0 18 0 53670798 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=18930384 memory=10880 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53670800 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53670801 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62508 KiB

[startup+1.50015 s]
/proc/loadavg: 4.15 4.13 4.09 2/277 54691
/proc/meminfo: memFree=89967144/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=18930384 memory=62508 CPUtime=0.18 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 6691 0 0 0 16 2 0 0 20 0 18 0 53670796 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4732596 15627 5409 1 0 547793 0
[pid=54656/tid=54658] ppid=54650 vsize=18930384 memory=3200 CPUtime=0.1 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) D 54650 54656 54228 0 -1 4194368 5214 0 0 0 9 1 0 0 20 0 18 0 53670798 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53670800 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=18930384 memory=10880 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53670801 19384713216 15627 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62508 KiB

[startup+3.10565 s]
/proc/loadavg: 4.15 4.13 4.09 6/281 54709
/proc/meminfo: memFree=109642052/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=179384 CPUtime=2.79 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 21849 0 0 0 271 8 0 0 20 0 20 0 53670796 19521036288 44846 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 44846 5505 1 0 554136 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=10880 CPUtime=1.32 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 5908 0 0 0 128 4 0 0 20 0 20 0 53670798 19521036288 44846 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=198340509722 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 44846 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 44846 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 44846 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179384 KiB

[startup+6.30024 s]
/proc/loadavg: 4.30 4.16 4.10 5/300 54753
/proc/meminfo: memFree=108995640/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=628032 CPUtime=7.29 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 24367 0 0 0 709 20 0 0 20 0 20 0 53670796 19521036288 157008 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 157008 5505 1 0 554141 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=0 CPUtime=4.46 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 6882 0 0 0 430 16 0 0 20 0 20 0 53670798 19521036288 157008 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 157008 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=-6952530300652171110 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 157008 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=-6000919507066185834 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 157008 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 628032 KiB

[startup+12.7002 s]
/proc/loadavg: 4.52 4.21 4.12 6/344 54841
/proc/meminfo: memFree=127102836/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=1308132 CPUtime=13.89 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 27515 0 0 0 1349 40 0 0 20 0 20 0 53670796 19521036288 327033 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 327033 5505 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=1260992 CPUtime=10.82 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 8200 0 0 0 1047 35 0 0 20 0 20 0 53670798 19521036288 327033 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=-6000919507066185834 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 327033 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 327033 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=179088 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 327033 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 13.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1308132 KiB

[startup+25.5002 s]
/proc/loadavg: 4.47 4.21 4.12 5/344 54841
/proc/meminfo: memFree=125149220/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=1312228 CPUtime=26.68 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 30074 0 0 0 2617 51 0 0 20 0 20 0 53670796 19521036288 328057 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 328057 5505 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=0 CPUtime=23.57 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 9372 0 0 0 2312 45 0 0 20 0 20 0 53670798 19521036288 328057 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=1308132 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 328057 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=-6000919477068392554 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 328057 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=62508 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 328057 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 26.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312228 KiB

[startup+51.1057 s]
/proc/loadavg: 4.54 4.24 4.13 5/345 54842
/proc/meminfo: memFree=124597500/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=1322480 CPUtime=52.23 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 33551 0 0 0 5164 59 0 0 20 0 20 0 53670796 19521036288 330620 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 330620 5505 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=1312228 CPUtime=49.08 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 10707 0 0 0 4855 53 0 0 20 0 20 0 53670798 19521036288 330620 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=1312228 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 330620 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 330620 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=0 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.12 6/345 55088
/proc/meminfo: memFree=78598380/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3257.74 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 79781 0 0 0 325180 594 0 0 20 0 20 0 53670796 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 530905 5537 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=14156 CPUtime=3245.6 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 35900 0 0 0 324060 500 0 0 20 0 20 0 53670798 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=-6000919507066185834 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 1530 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 3257.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2123620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/345 55090
/proc/meminfo: memFree=78216988/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3317.67 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 80454 0 0 0 331162 605 0 0 20 0 20 0 53670796 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 530905 5537 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3305.29 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 36501 0 0 0 330019 510 0 0 20 0 20 0 53670798 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 1530 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 3317.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2123620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/345 55092
/proc/meminfo: memFree=77849996/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3377.55 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 81467 0 0 0 337141 614 0 0 20 0 20 0 53670796 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 530905 5537 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=10880 CPUtime=3365.03 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 37244 0 0 0 335985 518 0 0 20 0 20 0 53670798 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=7024 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 1602 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 3377.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2123620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.19 4.13 5/345 55094
/proc/meminfo: memFree=77510664/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3437.43 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 82307 0 0 0 343120 623 0 0 20 0 20 0 53670796 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 530905 5537 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3424.76 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 37825 0 0 0 341951 525 0 0 20 0 20 0 53670798 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 1616 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 3437.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2123620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/342 55100
/proc/meminfo: memFree=77186284/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3497.32 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 82555 0 0 0 349101 631 0 0 20 0 20 0 53670796 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 530905 5537 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3484.47 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 37842 0 0 0 347914 533 0 0 20 0 20 0 53670798 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=13568 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 1617 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 3497.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2123620 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/343 55103
/proc/meminfo: memFree=76866792/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3557.19 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 82750 0 0 0 355080 639 0 0 20 0 20 0 53670796 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 530905 5537 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3544.23 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 38002 0 0 0 353884 539 0 0 20 0 20 0 53670798 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=12160 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 1617 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=13568 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 3557.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2123620 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3625.2 s]
/proc/loadavg: 4.09 4.14 4.11 5/343 55105
/proc/meminfo: memFree=76641104/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19063512 memory=2123620 CPUtime=3600.03 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 84191 0 0 0 359359 644 0 0 20 0 20 0 53670796 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4765878 530905 5537 1 0 554157 0
[pid=54656/tid=54658] ppid=54650 vsize=19063512 memory=2165432 CPUtime=3586.95 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 38738 0 0 0 358152 543 0 0 20 0 20 0 53670798 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19063512 memory=3072 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53670800 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19063512 memory=-6000919507066185834 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 1617 0 0 0 0 0 0 0 20 0 20 0 53670801 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54702] ppid=54650 vsize=19063512 memory=53013654012657 CPUtime=0 cores=0,2
/proc/54656/task/54702/stat : 54702 (Timer-0) S 54650 54656 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53670977 19521036288 530905 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2123620 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.82 s, system=6.45223 s

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

[startup+3625.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/343 55105
/proc/meminfo: memFree=76641104/131249996 swapFree=33005272/33010684
[pid=54656] ppid=54650 vsize=19263204 memory=2124516 CPUtime=3600.23 cores=0,2
/proc/54656/stat : 54656 (java) S 54650 54656 54228 0 -1 4194304 86460 0 0 0 359379 644 0 0 20 0 21 0 53670796 19725520896 531129 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
/proc/54656/statm: 4815801 531129 5537 1 0 555097 0
[pid=54656/tid=54658] ppid=54650 vsize=19263204 memory=2123620 CPUtime=3587.05 cores=0,2
/proc/54656/task/54658/stat : 54658 (java) R 54650 54656 54228 0 -1 4194368 38873 0 0 0 358162 543 0 0 20 0 21 0 53670798 19725520896 531129 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54671] ppid=54650 vsize=19263204 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54671/stat : 54671 (Finalizer) S 54650 54656 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53670800 19725520896 531129 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
[pid=54656/tid=54678] ppid=54650 vsize=19263204 memory=2123620 CPUtime=0 cores=0,2
/proc/54656/task/54678/stat : 54678 (Common-Cleaner) S 54650 54656 54228 0 -1 4194368 1617 0 0 0 0 0 0 0 20 0 21 0 53670801 19725520896 531129 18446744073709551615 94205538533376 94205538537072 140732340637168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94205538544888 94205538545680 94205565534208 140732340644144 140732340644326 140732340644326 140732340649928 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2124516 KiB

Child status: 143

Real time (s): 3625.35
CPU time (s): 3600.28
CPU user time (s): 3593.82
CPU system time (s): 6.45223
CPU usage (%): 99.3084
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2124516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.82
system time used= 6.45223
maximum resident set size= 2124644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5726248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110115
involuntary context switches= 11033


# summary of solver processes directly reported to runsolver:
#   pid: 54656
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3593.82
#   total CPU system time (s): 6.45223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75583 second user time and 17.5319 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 16:25:29
IDJOB=4490389
IDBENCH=147585
IDSOLVER=3364
FILE ID=nodeC023/4490389-1751379929
RUNJOBID= nodeC023-1751376307-54238
SLURM_JOB_ID= 9598216
Free space on /tmp= 432900 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490389-1751379929/watcher-4490389-1751379929 -o /tmp/evaluation-result-4490389-1751379929/solver-4490389-1751379929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751376307-54238 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490389-1751379929 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490389-1751379929.opb

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

MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=896422362

nodeC023 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.903
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.78
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		: 1199.445
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.78
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		: 3596.789
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.78
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		: 3700.000
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.78
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.886
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.78
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		: 1925.441
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.78
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		: 3598.620
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.78
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		: 1199.861
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        87392872 kB
MemAvailable:   127106956 kB
Buffers:            1328 kB
Cached:         40470532 kB
SwapCached:          432 kB
Active:          2825692 kB
Inactive:       40314088 kB
Active(anon):    2626708 kB
Inactive(anon):    54636 kB
Active(file):     198984 kB
Inactive(file): 40259452 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2572 kB
Writeback:            56 kB
AnonPages:       2670596 kB
Mapped:           118652 kB
Shmem:             13376 kB
KReclaimable:     189776 kB
Slab:             279472 kB
SReclaimable:     189776 kB
SUnreclaim:        89696 kB
KernelStack:        4576 kB
PageTables:         8252 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3053072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150888 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2572288 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC023 at 2025-07-01 17:25:55