Trace number 4490388

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)2 3600.54 3603.68

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.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.11	c See www.sat4j.org for details.
0.12/0.11	c version PB25.v20250606
0.12/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.13	c java.vm.version	22.0.1+8-16
0.12/0.13	c java.vm.vendor	Oracle Corporation
0.12/0.13	c sun.arch.data.model	64
0.12/0.13	c java.version		22.0.1
0.12/0.13	c os.name		Linux
0.12/0.13	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.13	c os.arch		amd64
0.12/0.13	c Free memory 		2106806208
0.12/0.13	c Max memory 		16282288128
0.12/0.13	c Total memory 		2113929216
0.12/0.13	c Number of processors 	2
0.12/0.20	c Pseudo Boolean Optimization by upper bound
0.12/0.20	c --- Begin Solver configuration ---
0.12/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.20	c Learn all clauses as in MiniSAT
0.12/0.20	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.20	c Expensive reason simplification
0.12/0.20	c Glucose 2.1 dynamic restart strategy
0.12/0.20	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.20	c timeout=2147483s
0.12/0.20	c DB Simplification allowed=false
0.12/0.20	c Listener: none
0.12/0.20	c --- End Solver configuration ---
0.12/0.20	c solving HOME/instance-4490388-1751347260.opb
0.12/0.20	c reading problem ... 
0.12/0.21	c  objective function found
0.31/0.25	c ... done. Wall clock time 0.046s.
0.31/0.25	c declared #vars     120
0.31/0.25	c #constraints  10
0.31/0.25	c constraints type 
0.31/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.31/0.26	c 10 constraints processed.
0.31/0.28	c objective function length is 80 literals
1.21/0.78	c SATISFIABLE
1.21/0.78	c OPTIMIZING...
1.21/0.78	c Got one! Elapsed wall clock time (in seconds):0.576
1.21/0.78	o 271
1.21/0.80	c Got one! Elapsed wall clock time (in seconds):0.592
1.21/0.80	o 259
1.40/0.80	c Got one! Elapsed wall clock time (in seconds):0.601
1.40/0.80	o 258
1.40/0.83	c Got one! Elapsed wall clock time (in seconds):0.624
1.40/0.83	o 202
1.40/0.86	c Got one! Elapsed wall clock time (in seconds):0.657
1.40/0.86	o 199
1.40/0.87	c Got one! Elapsed wall clock time (in seconds):0.663
1.40/0.87	o 198
1.60/0.95	c Got one! Elapsed wall clock time (in seconds):0.746
1.60/0.95	o 194
1.60/0.98	c Got one! Elapsed wall clock time (in seconds):0.775
1.60/0.98	o 191
1.60/0.99	c Got one! Elapsed wall clock time (in seconds):0.787
1.60/0.99	o 177
1.60/1.00	c Got one! Elapsed wall clock time (in seconds):0.793
1.60/1.00	o 100
2.01/1.13	c cleaning 4063 clauses out of 8142 with flag 2051/8142
2.79/1.54	c cleaning 5031 clauses out of 10077 with flag 14284/14140
3.18/1.77	c cleaning 6011 clauses out of 12044 with flag 28469/21138
3.77/2.02	c cleaning 7012 clauses out of 14037 with flag 44717/29142
3.97/2.18	c Got one! Elapsed wall clock time (in seconds):1.977
3.97/2.18	o 99
4.06/2.23	c Got one! Elapsed wall clock time (in seconds):2.03
4.06/2.23	o 93
4.30/2.40	c cleaning 9813 clauses out of 19641 with flag 8146/41758
4.30/2.42	c Got one! Elapsed wall clock time (in seconds):2.217
4.30/2.42	o 92
4.44/2.53	c cleaning 7454 clauses out of 14936 with flag 8247/46866
4.80/2.70	c cleaning 6733 clauses out of 13481 with flag 20882/52865
4.98/2.84	c Got one! Elapsed wall clock time (in seconds):2.639
4.98/2.84	o 90
4.98/2.85	c Got one! Elapsed wall clock time (in seconds):2.65
4.98/2.85	o 58
4.98/2.87	c Got one! Elapsed wall clock time (in seconds):2.667
4.98/2.87	o 56
4.98/2.88	c Got one! Elapsed wall clock time (in seconds):2.678
4.98/2.88	o 55
5.08/2.92	c Got one! Elapsed wall clock time (in seconds):2.713
5.08/2.92	o 53
5.08/2.96	c Got one! Elapsed wall clock time (in seconds):2.758
5.08/2.96	o 52
5.08/2.99	c Got one! Elapsed wall clock time (in seconds):2.784
5.08/2.99	o 50
5.08/2.99	c Got one! Elapsed wall clock time (in seconds):2.792
5.08/3.00	o 38
5.19/3.02	c Got one! Elapsed wall clock time (in seconds):2.816
5.19/3.02	o 36
5.29/3.11	c cleaning 11232 clauses out of 22463 with flag 4641/68580
5.29/3.14	c Got one! Elapsed wall clock time (in seconds):2.937
5.29/3.14	o 34
5.38/3.28	c cleaning 8265 clauses out of 16530 with flag 8783/73879
5.60/3.40	c Got one! Elapsed wall clock time (in seconds):3.198
5.60/3.40	o 33
5.71/3.51	c cleaning 7053 clauses out of 14121 with flag 4172/79735
5.71/3.55	c Got one! Elapsed wall clock time (in seconds):3.346
5.71/3.55	o 27
5.81/3.61	c Got one! Elapsed wall clock time (in seconds):3.403
5.81/3.61	o 25
5.81/3.68	c cleaning 6450 clauses out of 12922 with flag 4079/85589
6.02/3.82	c cleaning 6228 clauses out of 12474 with flag 16292/91591
6.12/3.95	c cleaning 6613 clauses out of 13243 with flag 30524/98588
6.43/4.14	c cleaning 7306 clauses out of 14629 with flag 46788/106587
6.78/4.34	c cleaning 8154 clauses out of 16323 with flag 65234/115587
7.11/4.58	c cleaning 9075 clauses out of 18170 with flag 85580/125588
7.24/4.64	c Got one! Elapsed wall clock time (in seconds):4.44
7.24/4.64	o 24
7.39/4.74	c cleaning 7378 clauses out of 14756 with flag 6465/131249
7.49/4.85	c Got one! Elapsed wall clock time (in seconds):4.646
7.49/4.85	o 23
7.59/4.94	c cleaning 6673 clauses out of 13356 with flag 4156/137227
7.70/5.06	c cleaning 6339 clauses out of 12684 with flag 16573/143228
7.70/5.09	c Got one! Elapsed wall clock time (in seconds):4.889
7.70/5.09	o 22
7.89/5.21	c cleaning 5771 clauses out of 11549 with flag 8226/148432
7.89/5.23	c Got one! Elapsed wall clock time (in seconds):5.023
7.89/5.23	o 20
7.99/5.35	c cleaning 5721 clauses out of 11458 with flag 10268/154112
8.09/5.42	c Got one! Elapsed wall clock time (in seconds):5.222
8.09/5.43	o 18
8.09/5.47	c Got one! Elapsed wall clock time (in seconds):5.263
8.09/5.47	o 17
8.19/5.51	c cleaning 5998 clauses out of 12006 with flag 2206/160381
8.19/5.58	c Got one! Elapsed wall clock time (in seconds):5.376
8.19/5.58	o 13
8.29/5.68	c cleaning 5810 clauses out of 11622 with flag 6176/165995
8.29/5.69	c Got one! Elapsed wall clock time (in seconds):5.482
8.29/5.69	o 9
8.49/5.83	c cleaning 5661 clauses out of 11322 with flag 11378/171505
8.59/6.00	c cleaning 5832 clauses out of 11664 with flag 23744/177508
8.89/6.20	c cleaning 6415 clauses out of 12830 with flag 37911/184506
9.09/6.43	c cleaning 7206 clauses out of 14413 with flag 54108/192504
9.39/6.76	c cleaning 8103 clauses out of 16207 with flag 72413/201504
9.81/7.16	c cleaning 9050 clauses out of 18103 with flag 92616/211503
10.19/7.59	c cleaning 10023 clauses out of 20053 with flag 114796/222503
10.70/8.08	c cleaning 11016 clauses out of 22031 with flag 138947/234504
10.70/8.09	c Got one! Elapsed wall clock time (in seconds):7.891
10.70/8.09	o 8
10.89/8.28	c cleaning 8318 clauses out of 16650 with flag 10246/240139
11.09/8.44	c cleaning 7155 clauses out of 14332 with flag 22483/246139
11.39/8.70	c cleaning 7078 clauses out of 14177 with flag 36917/253139
11.59/8.91	c cleaning 7541 clauses out of 15099 with flag 53222/261139
11.80/9.13	c cleaning 8270 clauses out of 16561 with flag 71595/270142
11.98/9.37	c cleaning 9133 clauses out of 18289 with flag 91833/280140
12.28/9.67	c cleaning 10079 clauses out of 20157 with flag 114247/291141
12.70/10.05	c cleaning 11039 clauses out of 22077 with flag 138489/303140
12.80/10.13	c Got one! Elapsed wall clock time (in seconds):9.928
12.80/10.13	o 7
12.89/10.22	c cleaning 8134 clauses out of 16276 with flag 4098/308378
12.99/10.39	c cleaning 7067 clauses out of 14142 with flag 16309/314378
13.29/10.62	c cleaning 7034 clauses out of 14071 with flag 30548/321374
13.49/10.88	c cleaning 7520 clauses out of 15039 with flag 46861/329376
13.80/11.17	c cleaning 8258 clauses out of 16518 with flag 65100/338375
14.19/11.51	c cleaning 9126 clauses out of 18260 with flag 85434/348375
14.59/11.92	c cleaning 10064 clauses out of 20134 with flag 107798/359375
14.99/12.31	c Got one! Elapsed wall clock time (in seconds):12.109
14.99/12.31	o 3
15.30/12.66	c cleaning 12416 clauses out of 24854 with flag 10534/374159
15.62/12.97	c cleaning 9213 clauses out of 18440 with flag 23555/380161
15.92/13.23	c cleaning 8104 clauses out of 16225 with flag 38187/387159
16.12/13.44	c cleaning 8058 clauses out of 16120 with flag 54500/395158
16.32/13.65	c cleaning 8524 clauses out of 17063 with flag 72907/404159
16.52/13.88	c cleaning 9266 clauses out of 18540 with flag 93142/414160
16.83/14.12	c cleaning 10129 clauses out of 20275 with flag 115366/425161
17.12/14.41	c cleaning 11066 clauses out of 22144 with flag 139610/437159
17.42/14.72	c cleaning 12030 clauses out of 24077 with flag 165992/450158
17.83/15.18	c cleaning 13016 clauses out of 26048 with flag 194614/464159
18.22/15.56	c cleaning 14009 clauses out of 28033 with flag 225082/479160
18.73/16.07	c cleaning 15011 clauses out of 30022 with flag 257406/495158
19.32/16.68	c cleaning 16006 clauses out of 32014 with flag 291796/512161
20.21/17.52	c cleaning 17003 clauses out of 34007 with flag 328141/530160
21.01/18.35	c cleaning 18001 clauses out of 36002 with flag 366614/549158
22.01/19.31	c cleaning 19002 clauses out of 38003 with flag 407064/569160
23.11/20.48	c cleaning 19999 clauses out of 40001 with flag 449470/590160
24.21/21.58	c cleaning 20994 clauses out of 42001 with flag 493929/612159
25.51/22.89	c cleaning 22006 clauses out of 44011 with flag 540462/635163
26.90/24.22	c cleaning 22996 clauses out of 46002 with flag 588905/659160
28.30/25.67	c cleaning 24002 clauses out of 48005 with flag 639340/684159
30.00/27.36	c cleaning 24998 clauses out of 50003 with flag 691736/710159
31.81/29.17	c cleaning 25999 clauses out of 52005 with flag 746146/737159
33.70/31.10	c cleaning 27004 clauses out of 54008 with flag 802548/765161
35.88/33.22	c cleaning 27995 clauses out of 56002 with flag 860999/794159
38.19/35.50	c cleaning 29004 clauses out of 58007 with flag 921501/824159
40.38/37.74	c cleaning 30000 clauses out of 60003 with flag 984224/855159
42.69/40.05	c cleaning 31001 clauses out of 62002 with flag 1048857/887158
45.07/42.49	c cleaning 31997 clauses out of 64002 with flag 1115484/920159
47.56/44.99	c cleaning 33000 clauses out of 66004 with flag 1184061/954158
48.36/45.80	c Got one! Elapsed wall clock time (in seconds):45.593
48.36/45.80	o 2
48.96/46.38	c cleaning 25880 clauses out of 51769 with flag 10704/972923
49.36/46.74	c cleaning 15937 clauses out of 31890 with flag 23213/978924
49.56/47.00	c cleaning 11472 clauses out of 22955 with flag 37958/985926
49.77/47.19	c cleaning 9734 clauses out of 19485 with flag 54204/993928
50.06/47.45	c cleaning 9363 clauses out of 18747 with flag 72706/1002924
50.36/47.71	c cleaning 9687 clauses out of 19384 with flag 93413/1012924
50.67/48.01	c cleaning 10346 clauses out of 20698 with flag 116081/1023925
51.06/48.40	c cleaning 11172 clauses out of 22350 with flag 140684/1035923
51.46/48.86	c cleaning 12087 clauses out of 24179 with flag 167284/1048924
51.96/49.37	c cleaning 13045 clauses out of 26092 with flag 196192/1062924
52.55/49.90	c cleaning 14018 clauses out of 28046 with flag 227164/1077923
53.15/50.52	c cleaning 15012 clauses out of 30029 with flag 260638/1093924
53.85/51.20	c cleaning 16002 clauses out of 32019 with flag 295467/1110926
54.67/52.09	c cleaning 17007 clauses out of 34014 with flag 332465/1128923
55.77/53.14	c cleaning 18003 clauses out of 36010 with flag 371682/1147926
56.66/54.05	c cleaning 18999 clauses out of 38006 with flag 412362/1167925
57.76/55.11	c cleaning 20000 clauses out of 40007 with flag 455516/1188925
58.95/56.35	c cleaning 21001 clauses out of 42008 with flag 499921/1210926
60.24/57.64	c cleaning 22002 clauses out of 44005 with flag 546810/1233924
61.75/59.12	c cleaning 23002 clauses out of 46003 with flag 596186/1257924
63.24/60.62	c cleaning 24002 clauses out of 48004 with flag 647734/1282927
65.33/62.71	c cleaning 24992 clauses out of 49998 with flag 701342/1308923
67.34/64.74	c cleaning 26001 clauses out of 52006 with flag 757128/1335923
69.64/67.02	c cleaning 27003 clauses out of 54008 with flag 815119/1363926
72.12/69.54	c cleaning 27999 clauses out of 56002 with flag 875232/1392923
74.52/72.00	c cleaning 28999 clauses out of 58003 with flag 936609/1422923
77.41/74.84	c cleaning 30003 clauses out of 60005 with flag 1000595/1453924
79.91/77.31	c cleaning 30997 clauses out of 62001 with flag 1065459/1485923
82.20/79.68	c cleaning 32000 clauses out of 64006 with flag 1131965/1518925
84.90/82.37	c cleaning 32995 clauses out of 66004 with flag 1200410/1552923
87.71/85.13	c cleaning 34001 clauses out of 68010 with flag 1271309/1587924
90.79/88.26	c cleaning 35002 clauses out of 70008 with flag 1344028/1623923
94.11/91.55	c cleaning 36000 clauses out of 72007 with flag 1418771/1660924
97.72/95.17	c cleaning 37004 clauses out of 74007 with flag 1495778/1698924
101.19/98.62	c cleaning 38000 clauses out of 76005 with flag 1574466/1737926
104.88/102.36	c cleaning 39002 clauses out of 78003 with flag 1655017/1777924
108.47/105.95	c cleaning 39995 clauses out of 80001 with flag 1737942/1818924
112.58/110.07	c cleaning 40998 clauses out of 82006 with flag 1822887/1860924
116.67/114.17	c cleaning 42001 clauses out of 84008 with flag 1909675/1903924
121.05/118.52	c cleaning 43001 clauses out of 86006 with flag 1998667/1947923
125.55/123.07	c cleaning 44004 clauses out of 88007 with flag 2089597/1992925
130.43/127.99	c cleaning 44999 clauses out of 90003 with flag 2182732/2038925
135.53/133.10	c cleaning 45998 clauses out of 92004 with flag 2277762/2085925
140.31/137.81	c cleaning 47000 clauses out of 94004 with flag 2374962/2133923
145.70/143.20	c cleaning 48001 clauses out of 96005 with flag 2473895/2182924
151.60/149.11	c cleaning 49000 clauses out of 98003 with flag 2574753/2232923
157.28/154.86	c cleaning 49997 clauses out of 100003 with flag 2677739/2283923
164.68/162.20	c cleaning 51005 clauses out of 102010 with flag 2782690/2335927
171.48/169.05	c cleaning 52001 clauses out of 104002 with flag 2889847/2388924
179.75/177.30	c cleaning 52998 clauses out of 106000 with flag 2998764/2442923
185.74/183.33	c cleaning 53998 clauses out of 108002 with flag 3109443/2497923
192.54/190.14	c cleaning 54999 clauses out of 110004 with flag 3223400/2553923
198.72/196.38	c cleaning 56000 clauses out of 112006 with flag 3339101/2610924
203.86/201.47	c cleaning 57002 clauses out of 114006 with flag 3456534/2668924
208.06/205.66	c cleaning 57996 clauses out of 116005 with flag 3575741/2727925
213.84/211.47	c cleaning 59004 clauses out of 118007 with flag 3697589/2787923
219.23/216.85	c cleaning 60001 clauses out of 120004 with flag 3822228/2848924
224.23/221.80	c cleaning 60997 clauses out of 122005 with flag 3948037/2910926
229.43/227.05	c cleaning 61998 clauses out of 124005 with flag 4075126/2973923
237.93/235.58	c cleaning 63001 clauses out of 126008 with flag 4205353/3037924
248.00/245.67	c cleaning 64002 clauses out of 128010 with flag 4337790/3102927
256.30/253.97	c cleaning 65000 clauses out of 130005 with flag 4472537/3168924
266.87/264.53	c cleaning 65992 clauses out of 132004 with flag 4608484/3235923
272.86/270.53	c cleaning 67001 clauses out of 134014 with flag 4745624/3303925
278.09/275.73	c cleaning 67999 clauses out of 136012 with flag 4884678/3372924
285.97/283.62	c cleaning 69002 clauses out of 138012 with flag 5026255/3442923
292.06/289.80	c cleaning 70004 clauses out of 140012 with flag 5169580/3513925
303.45/301.16	c cleaning 70999 clauses out of 142006 with flag 5316723/3585923
317.13/314.82	c cleaning 72000 clauses out of 144008 with flag 5465443/3658924
326.71/324.41	c cleaning 73000 clauses out of 146008 with flag 5615909/3732924
339.88/337.62	c cleaning 74002 clauses out of 148010 with flag 5768257/3807926
352.37/350.18	c cleaning 75000 clauses out of 150009 with flag 5922471/3883927
365.33/363.18	c cleaning 76001 clauses out of 152006 with flag 6079702/3960924
378.80/376.67	c cleaning 76996 clauses out of 154006 with flag 6237781/4038925
391.88/389.74	c cleaning 78001 clauses out of 156008 with flag 6398584/4117923
412.83/410.73	c cleaning 79002 clauses out of 158007 with flag 6564664/4197923
430.70/428.66	c cleaning 80002 clauses out of 160005 with flag 6732379/4278923
444.37/442.37	c cleaning 80996 clauses out of 162003 with flag 6902968/4360923
465.83/463.85	c cleaning 82004 clauses out of 164009 with flag 7074422/4443925
486.10/484.13	c cleaning 82999 clauses out of 166003 with flag 7249561/4527923
505.74/503.89	c cleaning 83995 clauses out of 168006 with flag 7423053/4612925
523.83/521.93	c cleaning 85003 clauses out of 170009 with flag 7606172/4698923
538.70/536.87	c cleaning 86001 clauses out of 172007 with flag 7789192/4785924
553.28/551.45	c cleaning 87004 clauses out of 174007 with flag 7969280/4873925
567.34/565.52	c cleaning 87995 clauses out of 176001 with flag 8151300/4962923
586.92/585.14	c cleaning 89001 clauses out of 178006 with flag 8335821/5052923
601.98/600.21	c cleaning 90000 clauses out of 180006 with flag 8521890/5143924
622.14/620.47	c cleaning 90992 clauses out of 182005 with flag 8712248/5235923
644.81/643.15	c cleaning 92005 clauses out of 184016 with flag 8904589/5328926
665.57/664.00	c cleaning 93002 clauses out of 186011 with flag 9097205/5422926
691.41/689.83	c cleaning 94005 clauses out of 188009 with flag 9294577/5517926
704.38/702.80	c cleaning 94998 clauses out of 190003 with flag 9493077/5613925
720.44/718.92	c cleaning 96000 clauses out of 192005 with flag 9694564/5710925
730.02/728.54	c cleaning 96999 clauses out of 194005 with flag 9893883/5808925
741.09/739.65	c cleaning 97999 clauses out of 196005 with flag 10097940/5907924
750.70/749.24	c cleaning 99000 clauses out of 198005 with flag 10301293/6007923
766.37/764.94	c cleaning 99997 clauses out of 200006 with flag 10507702/6108924
789.33/787.94	c cleaning 101000 clauses out of 202008 with flag 10716924/6210923
802.55/801.19	c cleaning 101999 clauses out of 204008 with flag 10927167/6313923
817.01/815.64	c cleaning 102999 clauses out of 206013 with flag 11140724/6417927
828.19/826.81	c cleaning 104002 clauses out of 208010 with flag 11355347/6522923
839.06/837.73	c cleaning 105000 clauses out of 210008 with flag 11572572/6628923
851.48/850.17	c cleaning 106005 clauses out of 212010 with flag 11792574/6735925
871.73/870.42	c cleaning 106996 clauses out of 214006 with flag 12015233/6843926
892.40/891.16	c cleaning 108000 clauses out of 216007 with flag 12238325/6952923
918.25/917.10	c cleaning 108998 clauses out of 218009 with flag 12462248/7062925
937.07/935.88	c cleaning 109998 clauses out of 220009 with flag 12686947/7173923
954.35/953.17	c cleaning 111004 clauses out of 222014 with flag 12913482/7285926
974.50/973.31	c cleaning 112003 clauses out of 224008 with flag 13144484/7398924
988.37/987.24	c cleaning 112999 clauses out of 226004 with flag 13374641/7512923
1008.73/1007.69	c cleaning 113999 clauses out of 228005 with flag 13608844/7627923
1033.32/1032.26	c cleaning 114995 clauses out of 230006 with flag 13849460/7743923
1053.88/1052.87	c cleaning 116002 clauses out of 232011 with flag 14089904/7860923
1079.32/1078.30	c cleaning 117004 clauses out of 234009 with flag 14334880/7978923
1114.54/1113.68	c cleaning 117996 clauses out of 236005 with flag 14579271/8097923
1146.76/1145.97	c cleaning 118999 clauses out of 238009 with flag 14835022/8217923
1178.91/1178.17	c cleaning 120002 clauses out of 240010 with flag 15091306/8338923
1208.52/1207.78	c cleaning 120999 clauses out of 242009 with flag 15346004/8460924
1236.05/1235.37	c cleaning 121997 clauses out of 244010 with flag 15599578/8583924
1254.41/1253.79	c cleaning 123001 clauses out of 246012 with flag 15853290/8707923
1273.56/1272.99	c cleaning 124000 clauses out of 248012 with flag 16112841/8832924
1292.51/1291.96	c cleaning 125003 clauses out of 250013 with flag 16374720/8958925
1308.59/1308.05	c cleaning 126003 clauses out of 252009 with flag 16639503/9085924
1337.10/1336.65	c cleaning 126998 clauses out of 254008 with flag 16903330/9213926
1360.56/1360.15	c cleaning 127999 clauses out of 256007 with flag 17170246/9342923
1381.50/1381.19	c cleaning 129001 clauses out of 258011 with flag 17438450/9472926
1399.05/1398.72	c cleaning 129999 clauses out of 260007 with flag 17708235/9603923
1459.60/1459.48	c cleaning 131001 clauses out of 262009 with flag 17978693/9735924
1506.48/1506.44	c cleaning 132001 clauses out of 264007 with flag 18255625/9868923
1536.60/1536.64	c cleaning 132998 clauses out of 266006 with flag 18533227/10002923
1562.84/1562.94	c cleaning 134003 clauses out of 268009 with flag 18811838/10137924
1583.58/1583.73	c cleaning 134998 clauses out of 270005 with flag 19092053/10273923
1615.10/1615.30	c cleaning 135997 clauses out of 272007 with flag 19375454/10410923
1642.24/1642.57	c cleaning 137000 clauses out of 274010 with flag 19660450/10548923
1666.63/1666.81	c cleaning 138005 clauses out of 276011 with flag 19945927/10687924
1700.25/1700.54	c cleaning 138998 clauses out of 278005 with flag 20236023/10827923
1735.80/1736.17	c cleaning 139999 clauses out of 280007 with flag 20530463/10968923
1782.39/1782.83	c cleaning 141002 clauses out of 282010 with flag 20828014/11110925
1834.29/1834.80	c cleaning 141997 clauses out of 284006 with flag 21130480/11253923
1872.71/1873.36	c cleaning 143003 clauses out of 286012 with flag 21428867/11397926
1912.63/1913.38	c cleaning 143998 clauses out of 288007 with flag 21727642/11542924
1959.92/1960.70	c cleaning 145002 clauses out of 290008 with flag 22028749/11688923
1996.65/1997.54	c cleaning 146002 clauses out of 292006 with flag 22334354/11835923
2026.13/2026.97	c cleaning 146998 clauses out of 294004 with flag 22644261/11983923
2061.35/2062.23	c cleaning 148000 clauses out of 296008 with flag 22953912/12132925
2092.77/2093.79	c cleaning 148994 clauses out of 298007 with flag 23262453/12282924
2143.45/2144.56	c cleaning 150003 clauses out of 300013 with flag 23571852/12433924
2179.56/2180.74	c cleaning 150997 clauses out of 302009 with flag 23892679/12585923
2213.78/2215.10	c cleaning 152002 clauses out of 304013 with flag 24215184/12738924
2247.02/2248.24	c cleaning 153005 clauses out of 306011 with flag 24537855/12892924
2289.85/2291.15	c cleaning 153997 clauses out of 308005 with flag 24857938/13047923
2350.21/2351.67	c cleaning 155003 clauses out of 310009 with flag 25184020/13203924
2396.72/2398.27	c cleaning 155995 clauses out of 312005 with flag 25512897/13360923
2431.74/2433.39	c cleaning 157002 clauses out of 314010 with flag 25847592/13518923
2494.22/2495.99	c cleaning 158002 clauses out of 316008 with flag 26176449/13677923
2532.14/2533.88	c cleaning 158998 clauses out of 318007 with flag 26506449/13837924
2582.93/2584.75	c cleaning 160002 clauses out of 320008 with flag 26838303/13998923
2617.95/2619.82	c cleaning 161002 clauses out of 322006 with flag 27172623/14160923
2652.67/2654.70	c cleaning 161997 clauses out of 324004 with flag 27505826/14323923
2709.74/2711.80	c cleaning 163002 clauses out of 326009 with flag 27847850/14487925
2759.12/2761.38	c cleaning 163999 clauses out of 328005 with flag 28191018/14652923
2801.32/2803.22	c cleaning 165000 clauses out of 330008 with flag 28532756/14818925
2843.43/2845.44	c cleaning 165998 clauses out of 332007 with flag 28880357/14985924
2885.15/2887.26	c cleaning 166998 clauses out of 334008 with flag 29228247/15153923
2933.15/2935.37	c cleaning 168001 clauses out of 336010 with flag 29583894/15322923
2979.26/2981.53	c cleaning 169001 clauses out of 338009 with flag 29939049/15492923
3013.21/3015.57	c cleaning 170002 clauses out of 340010 with flag 30288564/15663925
3060.92/3063.34	c cleaning 171000 clauses out of 342006 with flag 30644617/15835923
3115.62/3118.15	c cleaning 171998 clauses out of 344007 with flag 31001780/16008924
3163.02/3165.68	c cleaning 173003 clauses out of 346009 with flag 31358442/16182924
3210.90/3213.57	c cleaning 174000 clauses out of 348006 with flag 31718025/16357924
3254.61/3257.30	c cleaning 175003 clauses out of 350005 with flag 32078344/16533923
3295.73/3298.56	c cleaning 175997 clauses out of 352002 with flag 32442188/16710923
3347.14/3350.05	c cleaning 177001 clauses out of 354006 with flag 32805971/16888924
3394.05/3397.01	c cleaning 177999 clauses out of 356004 with flag 33174722/17067923
3437.18/3440.28	c cleaning 178999 clauses out of 358007 with flag 33549239/17247925
3484.78/3487.99	c cleaning 179999 clauses out of 360006 with flag 33927291/17428923
3533.87/3537.14	c cleaning 180995 clauses out of 362008 with flag 34307100/17610924
3588.63/3592.10	c cleaning 182002 clauses out of 364012 with flag 34691567/17793923
3600.00/3603.44	c starts		: 2543
3600.00/3603.45	c conflicts		: 17879607
3600.00/3603.46	c decisions		: 18054956
3600.00/3603.46	c propagations		: 102843178
3600.00/3603.46	c inspects		: 45982453222
3600.00/3603.46	c shortcuts		: 0
3600.00/3603.47	c learnt literals	: 0
3600.00/3603.47	c learnt binary clauses	: 0
3600.00/3603.47	c learnt ternary clauses	: 0
3600.00/3603.47	c learnt constraints	: 17879607
3600.00/3603.47	c ignored constraints	: 0
3600.00/3603.47	c root simplifications	: 0
3600.00/3603.47	c removed literals (reason simplification)	: 167016185
3600.00/3603.47	c reason swapping (by a shorter reason)	: 0
3600.00/3603.47	c Calls to reduceDB	: 255
3600.00/3603.47	c Number of update (reduction) of LBD	: 414822
3600.00/3603.47	c Imported unit clauses	: 0
3600.00/3603.48	c No decision after first conflict	: false
3600.00/3603.49	c number of reductions to clauses (during analyze)	: 0
3600.00/3603.49	c number of learned constraints concerned by reduction	: 0
3600.00/3603.49	c number of learning phase by resolution	: 0
3600.00/3603.49	c number of learning phase by cutting planes	: 0
3600.00/3603.49	c number of rounding to 1 operations	: 0
3600.00/3603.49	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3603.49	c number of reductions of the coefficients by power 2 	: 0
3600.00/3603.49	c number of right shift for reduction by power 2 	: 0
3600.00/3603.49	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3603.49	c number of ending skipping 	: 0
3600.00/3603.49	c number of internal skipping 	: 0
3600.00/3603.49	c number of derivation steps 	: 0
3600.00/3603.49	c number of skipped derivation steps 	: 0
3600.00/3603.49	c number of remaining unassigned 	: 0
3600.00/3603.49	c number of remaining assigned 	: 0
3600.00/3603.49	c number of falsified literals weakened from reason	: 0
3600.00/3603.49	c number of falsified literals weakened from conflict	: 0
3600.00/3603.49	c time for arithmetic operations	: 0
3600.00/3603.50	c minimum degree of deleted constraints	: null
3600.20/3603.50	c maximum degree of deleted constraints	: null
3600.20/3603.51	c number of deleted constraints	: 0
3600.20/3603.51	c speed (assignments/second)	: 28541.980586835405
3600.20/3603.51	c non guided choices	: 649
3600.39/3603.65	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 267694
3600.39/3603.65	s SATISFIABLE
3600.39/3603.65	c Found 38 solution(s)
3600.39/3603.66	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.39/3603.66	c objective function=2
3600.39/3603.66	c Total wall clock time (in seconds): 3603.455

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: 63794 MiB (62993 MiB free)
  memory of node 1: 64507 MiB (63177 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490388-1751347260/watcher-4490388-1751347260 -o /tmp/evaluation-result-4490388-1751347260/solver-4490388-1751347260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751340116-45950 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490388-1751347260.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100073 s]*
/proc/loadavg: 4.19 4.13 4.12 7/322 46970
/proc/meminfo: memFree=129187116/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=18930384 memory=49376 CPUtime=0.12 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 6014 0 0 0 9 3 0 0 20 0 18 0 50405754 19384713216 12344 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4732596 12344 5337 1 0 547193 0
[pid=46952/tid=46954] ppid=46949 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 4893 0 0 0 5 2 0 0 20 0 18 0 50405756 19384713216 12344 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50405760 19384713216 12344 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=18930384 memory=57394571004297 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50405761 19384713216 12344 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49376 KiB

[startup+0.2134 s]*
/proc/loadavg: 4.19 4.13 4.12 7/322 46970
/proc/meminfo: memFree=129178988/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=18930384 memory=56760 CPUtime=0.31 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 6759 0 0 0 28 3 0 0 20 0 18 0 50405754 19384713216 14190 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4732596 14190 5433 1 0 547783 0
[pid=46952/tid=46954] ppid=46949 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) S 46949 46952 45940 0 -1 4194368 5279 0 0 0 15 2 0 0 20 0 18 0 50405756 19384713216 14190 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50405760 19384713216 14190 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50405761 19384713216 14190 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56760 KiB

[startup+0.313567 s]*
/proc/loadavg: 4.19 4.13 4.12 7/323 46971
/proc/meminfo: memFree=129177980/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=18996948 memory=59908 CPUtime=0.49 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 6985 0 0 0 46 3 0 0 20 0 19 0 50405754 19452874752 14977 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4749237 14977 5465 1 0 548210 0
[pid=46952/tid=46954] ppid=46949 vsize=18996948 memory=-6000919468428060267 CPUtime=0.26 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 5423 0 0 0 24 2 0 0 20 0 19 0 50405756 19452874752 14977 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50405760 19452874752 14977 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50405761 19452874752 14977 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 50405783 19452874752 14977 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 59908 KiB

[startup+0.700404 s]
/proc/loadavg: 4.19 4.13 4.12 9/324 46972
/proc/meminfo: memFree=129143376/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=18996948 memory=66380 CPUtime=1.21 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 8780 0 0 0 116 5 0 0 20 0 19 0 50405754 19452874752 16595 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4749237 16595 5465 1 0 549201 0
[pid=46952/tid=46954] ppid=46949 vsize=18996948 memory=17664 CPUtime=0.63 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 5436 0 0 0 60 3 0 0 20 0 19 0 50405756 19452874752 16595 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50405760 19452874752 16595 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50405761 19452874752 16595 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 50405783 19452874752 16595 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66380 KiB

[startup+1.50029 s]
/proc/loadavg: 4.19 4.13 4.12 7/324 46972
/proc/meminfo: memFree=129123592/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=18996948 memory=90568 CPUtime=2.79 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 19176 0 0 0 272 7 0 0 20 0 19 0 50405754 19452874752 22642 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4749237 22642 5497 1 0 553116 0
[pid=46952/tid=46954] ppid=46949 vsize=18996948 memory=10752 CPUtime=1.39 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 6410 0 0 0 136 3 0 0 20 0 19 0 50405756 19452874752 22642 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50405760 19452874752 22642 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50405761 19452874752 22642 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 50405783 19452874752 22642 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90568 KiB

[startup+3.10689 s]
/proc/loadavg: 4.19 4.13 4.12 5/324 46972
/proc/meminfo: memFree=129073196/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=18996948 memory=117956 CPUtime=5.29 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 20328 0 0 0 521 8 0 0 20 0 19 0 50405754 19452874752 29489 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4749237 29489 5497 1 0 553120 0
[pid=46952/tid=46954] ppid=46949 vsize=18996948 memory=10752 CPUtime=2.99 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 6931 0 0 0 295 4 0 0 20 0 19 0 50405756 19452874752 29489 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=18996948 memory=-6000919468428060267 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50405760 19452874752 29489 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50405761 19452874752 29489 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 50405783 19452874752 29489 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117956 KiB

[startup+6.3004 s]
/proc/loadavg: 4.18 4.12 4.11 5/324 46972
/proc/meminfo: memFree=129009780/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=18996948 memory=159228 CPUtime=8.99 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 20861 0 0 0 890 9 0 0 20 0 19 0 50405754 19452874752 39807 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4749237 39807 5497 1 0 553124 0
[pid=46952/tid=46954] ppid=46949 vsize=18996948 memory=0 CPUtime=6.17 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 7222 0 0 0 612 5 0 0 20 0 19 0 50405756 19452874752 39807 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50405760 19452874752 39807 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50405761 19452874752 39807 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=18996948 memory=92768 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 50405783 19452874752 39807 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159228 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.12 4.11 5/325 46973
/proc/meminfo: memFree=128927780/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=171856 CPUtime=15.4 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 23908 0 0 0 1530 10 0 0 20 0 20 0 50405754 19521036288 42964 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 42964 5497 1 0 553413 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=92768 CPUtime=12.53 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 8455 0 0 0 1248 5 0 0 20 0 20 0 50405756 19521036288 42964 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 42964 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=171856 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 42964 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 42964 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 15.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171856 KiB

[startup+25.5005 s]
/proc/loadavg: 4.27 4.15 4.12 5/325 46973
/proc/meminfo: memFree=128759852/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=173944 CPUtime=28.2 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 26035 0 0 0 2809 11 0 0 20 0 20 0 50405754 19521036288 43486 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 43486 5497 1 0 553413 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=10752 CPUtime=25.27 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 9248 0 0 0 2522 5 0 0 20 0 20 0 50405756 19521036288 43486 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=171856 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 43486 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 43486 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 43486 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 28.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173944 KiB

[startup+51.1131 s]
/proc/loadavg: 4.18 4.14 4.12 5/325 46974
/proc/meminfo: memFree=128526256/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=173944 CPUtime=53.77 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 27710 0 0 0 5365 12 0 0 20 0 20 0 50405754 19521036288 43486 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 43486 5497 1 0 553413 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=173944 CPUtime=50.78 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 9700 0 0 0 5073 5 0 0 20 0 20 0 50405756 19521036288 43486 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=173944 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.05 4.13 4.14 5/327 47207
/proc/meminfo: memFree=122126556/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3279.57 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 58287 0 0 0 327746 211 0 0 20 0 20 0 50405754 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 436875 5529 1 0 553928 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=14848 CPUtime=3269.98 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 22190 0 0 0 326982 16 0 0 20 0 20 0 50405756 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=1747500 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=1747500 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 1263 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 3279.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1747500 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/327 47209
/proc/meminfo: memFree=122126136/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3339.44 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 58339 0 0 0 333731 213 0 0 20 0 20 0 50405754 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 436875 5529 1 0 553928 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3329.82 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 22237 0 0 0 332966 16 0 0 20 0 20 0 50405756 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 1263 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 3339.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1747500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/327 47211
/proc/meminfo: memFree=122127096/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3399.33 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 58392 0 0 0 339716 217 0 0 20 0 20 0 50405754 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 436875 5529 1 0 553928 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3389.66 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 22285 0 0 0 338950 16 0 0 20 0 20 0 50405756 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 1263 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=1747500 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 3399.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1747500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.62 4.27 4.19 5/326 47213
/proc/meminfo: memFree=122126624/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3459.24 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 59163 0 0 0 345704 220 0 0 20 0 20 0 50405754 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 436875 5529 1 0 553928 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3449.45 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 22556 0 0 0 344929 16 0 0 20 0 20 0 50405756 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=1747500 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 1263 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=1747500 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 3459.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1747500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.43 4.29 4.20 5/326 47215
/proc/meminfo: memFree=122127312/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3519.1 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 59729 0 0 0 351686 224 0 0 20 0 20 0 50405754 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 436875 5529 1 0 553928 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3509.27 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 22981 0 0 0 350911 16 0 0 20 0 20 0 50405756 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=-6000919468428060267 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 1301 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=1747500 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 3519.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1747500 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.28 4.20 4/303 47254
/proc/meminfo: memFree=124164632/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3578.95 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 60098 0 0 0 357667 228 0 0 20 0 20 0 50405754 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 436875 5529 1 0 553928 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3569.07 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 23239 0 0 0 356891 16 0 0 20 0 20 0 50405756 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=1747500 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 1334 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 3578.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1747500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.4 s]
/proc/loadavg: 3.85 4.18 4.17 3/278 47289
/proc/meminfo: memFree=126117284/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19063512 memory=1747500 CPUtime=3600 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 60274 0 0 0 359771 229 0 0 20 0 20 0 50405754 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4765878 436875 5529 1 0 553928 0
[pid=46952/tid=46954] ppid=46949 vsize=19063512 memory=14848 CPUtime=3590.11 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 23317 0 0 0 358995 16 0 0 20 0 20 0 50405756 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50405760 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 1334 0 0 0 0 0 0 0 20 0 20 0 50405761 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46971] ppid=46949 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/46952/task/46971/stat : 46971 (Timer-0) S 46949 46952 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50405783 19521036288 436875 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1747500 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.22 s, system=2.31351 s

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

[startup+3603.6 s]
/proc/loadavg: 3.85 4.18 4.17 3/278 47289
/proc/meminfo: memFree=126117284/131382112 swapFree=33010684/33010684
[pid=46952] ppid=46949 vsize=19263204 memory=1748652 CPUtime=3600.39 cores=0,2
/proc/46952/stat : 46952 (java) S 46949 46952 45940 0 -1 4194304 62410 0 0 0 359810 229 0 0 20 0 21 0 50405754 19725520896 437163 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
/proc/46952/statm: 4815801 437163 5561 1 0 554913 0
[pid=46952/tid=46954] ppid=46949 vsize=19263204 memory=-6000919468428060267 CPUtime=3590.31 cores=0,2
/proc/46952/task/46954/stat : 46954 (java) R 46949 46952 45940 0 -1 4194368 23621 0 0 0 359015 16 0 0 20 0 21 0 50405756 19725520896 437163 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46963] ppid=46949 vsize=19263204 memory=-7311530905951746869 CPUtime=0 cores=0,2
/proc/46952/task/46963/stat : 46963 (Finalizer) S 46949 46952 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50405760 19725520896 437163 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
[pid=46952/tid=46970] ppid=46949 vsize=19263204 memory=1747500 CPUtime=0 cores=0,2
/proc/46952/task/46970/stat : 46970 (Common-Cleaner) S 46949 46952 45940 0 -1 4194368 1334 0 0 0 0 0 0 0 20 0 21 0 50405761 19725520896 437163 18446744073709551615 94804243824640 94804243828336 140734872015184 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94804243836152 94804243836944 94804274962432 140734872021377 140734872021478 140734872021478 140734872027080 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1748652 KiB

Child status: 143

Real time (s): 3603.68
CPU time (s): 3600.54
CPU user time (s): 3598.22
CPU system time (s): 2.31351
CPU usage (%): 99.9127
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1748652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.22
system time used= 2.31351
maximum resident set size= 1749036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104089
involuntary context switches= 9127


# summary of solver processes directly reported to runsolver:
#   pid: 46952
#   total CPU time (s): 3600.54
#   total CPU user time (s): 3598.22
#   total CPU system time (s): 2.31351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4453 second user time and 36.7734 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-01 07:21:01
IDJOB=4490388
IDBENCH=147585
IDSOLVER=3363
FILE ID=nodeC012/4490388-1751347260
RUNJOBID= nodeC012-1751340116-45950
SLURM_JOB_ID= 9594408
Free space on /tmp= 433044 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490388-1751347260/watcher-4490388-1751347260 -o /tmp/evaluation-result-4490388-1751347260/solver-4490388-1751347260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751340116-45950 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4490388-1751347260.opb

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

MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=545282040

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129199152 kB
MemAvailable:   129186408 kB
Buffers:            3280 kB
Cached:           795388 kB
SwapCached:            0 kB
Active:          1162308 kB
Inactive:         484980 kB
Active(anon):     866584 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   484980 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2912 kB
Writeback:             0 kB
AnonPages:        851820 kB
Mapped:           122884 kB
Shmem:             17960 kB
KReclaimable:      91972 kB
Slab:             175644 kB
SReclaimable:      91972 kB
SUnreclaim:        83672 kB
KernelStack:        4892 kB
PageTables:         5456 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7060772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150216 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    657408 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC012 at 2025-07-01 08:21:04