Trace number 4458883

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 Default 2024-07-07SAT (TO)-180 3600.6 3602.09

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb
MD5SUM3b9231489038b4cdb94f511f52877e11
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-180
Best CPU time to get the best result obtained on this benchmark1.99794
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables351
Total number of constraints11700
Number of constraints which are clauses11700
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 291
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 291
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
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.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.15	c version CUSTOM.v20240707
0.12/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.17	c java.vm.version	22.0.1+8-16
0.12/0.17	c java.vm.vendor	Oracle Corporation
0.12/0.17	c sun.arch.data.model	64
0.12/0.17	c java.version		22.0.1
0.12/0.17	c os.name		Linux
0.12/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.17	c os.arch		amd64
0.12/0.18	c Free memory 		2113181440
0.12/0.18	c Max memory 		16282288128
0.12/0.18	c Total memory 		2122317824
0.12/0.19	c Number of processors 	2
0.27/0.28	--- Begin Solver configuration ---
0.27/0.28	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.28	Learn all clauses as in MiniSAT
0.27/0.28	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.28	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.28	No reason simplification
0.27/0.28	Glucose 2.1 dynamic restart strategy
0.27/0.28	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.27/0.28	timeout=2147483s
0.27/0.28	DB Simplification allowed=false
0.27/0.28	Listener: none
0.27/0.28	--- End Solver configuration ---
0.27/0.29	c Pseudo Boolean Optimization by upper bound
0.27/0.29	c --- Begin Solver configuration ---
0.27/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.29	c Learn all clauses as in MiniSAT
0.27/0.29	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.29	c No reason simplification
0.27/0.29	c Glucose 2.1 dynamic restart strategy
0.27/0.29	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.27/0.29	c timeout=2147483s
0.27/0.29	c DB Simplification allowed=false
0.27/0.29	c Listener: none
0.27/0.29	c --- End Solver configuration ---
0.27/0.29	c solving HOME/instance-4458883-1721883782.opb
0.27/0.29	c reading problem ... 
0.27/0.29	c  objective function found
0.96/0.61	c ... done. Wall clock time 0.321s.
0.96/0.61	c declared #vars     351
0.96/0.61	c #constraints  11700
0.96/0.61	c constraints type 
0.96/0.62	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11700
0.96/0.62	c 11700 constraints processed.
0.96/0.64	c objective function length is 291 literals
0.96/0.66	c SATISFIABLE
0.96/0.66	c OPTIMIZING...
0.96/0.67	c Got one! Elapsed wall clock time (in seconds):0.373
0.96/0.67	o -139
0.96/0.68	c Got one! Elapsed wall clock time (in seconds):0.389
0.96/0.68	o -142
0.96/0.69	c Got one! Elapsed wall clock time (in seconds):0.397
0.96/0.69	o -144
1.14/0.71	c Got one! Elapsed wall clock time (in seconds):0.418
1.14/0.71	o -146
1.14/0.72	c Got one! Elapsed wall clock time (in seconds):0.429
1.14/0.72	o -148
1.14/0.73	c Got one! Elapsed wall clock time (in seconds):0.445
1.14/0.73	o -154
1.14/0.74	c Got one! Elapsed wall clock time (in seconds):0.448
1.14/0.74	o -159
1.14/0.76	c Got one! Elapsed wall clock time (in seconds):0.462
1.14/0.76	o -161
1.14/0.77	c Got one! Elapsed wall clock time (in seconds):0.481
1.14/0.77	o -162
1.14/0.78	c Got one! Elapsed wall clock time (in seconds):0.494
1.14/0.79	o -164
1.14/0.79	c Got one! Elapsed wall clock time (in seconds):0.503
1.14/0.79	o -166
1.35/0.83	c Got one! Elapsed wall clock time (in seconds):0.546
1.35/0.83	o -168
1.35/0.87	c Got one! Elapsed wall clock time (in seconds):0.58
1.35/0.88	o -172
3.31/1.84	c cleaning 2663 clauses out of 5332 with flag 10002/5332
3.61/2.05	c Got one! Elapsed wall clock time (in seconds):1.762
3.61/2.05	o -174
3.96/2.35	c cleaning 4077 clauses out of 8161 with flag 6080/10824
4.63/2.96	c cleaning 5040 clauses out of 10083 with flag 18078/16823
5.25/3.56	c cleaning 6016 clauses out of 12043 with flag 32085/23823
6.20/4.41	c cleaning 7009 clauses out of 14027 with flag 48086/31823
7.59/5.87	c cleaning 8004 clauses out of 16018 with flag 66086/40823
8.99/7.17	c cleaning 9006 clauses out of 18015 with flag 86124/50824
10.40/8.36	c cleaning 10000 clauses out of 20008 with flag 108200/61823
11.59/9.59	c cleaning 11000 clauses out of 22008 with flag 132217/73823
13.22/11.11	c cleaning 12002 clauses out of 24009 with flag 158260/86824
14.60/12.55	c cleaning 13001 clauses out of 26006 with flag 186290/100823
16.30/14.28	c cleaning 13995 clauses out of 28005 with flag 216347/115823
18.56/16.41	c cleaning 15002 clauses out of 30010 with flag 248438/131823
20.93/18.77	c cleaning 15999 clauses out of 32008 with flag 282501/148823
23.53/21.31	c cleaning 17004 clauses out of 34010 with flag 318675/166824
25.92/23.71	c cleaning 17995 clauses out of 36005 with flag 356821/185823
26.63/24.49	c Got one! Elapsed wall clock time (in seconds):24.204
26.63/24.49	o -175
27.53/25.36	c cleaning 15111 clauses out of 30227 with flag 10068/198040
27.83/25.66	c Got one! Elapsed wall clock time (in seconds):25.376
27.83/25.66	o -176
28.28/26.07	c cleaning 10150 clauses out of 20304 with flag 6043/203228
28.98/26.74	c cleaning 8076 clauses out of 16155 with flag 18130/209229
29.58/27.38	c cleaning 7531 clauses out of 15078 with flag 32219/216228
30.65/28.21	c cleaning 7770 clauses out of 15547 with flag 48224/224228
31.81/29.28	c cleaning 8384 clauses out of 16777 with flag 66262/233228
32.82/30.27	c cleaning 9194 clauses out of 18393 with flag 86358/243228
33.82/31.25	c cleaning 10096 clauses out of 20199 with flag 108399/254228
35.52/33.00	c cleaning 11052 clauses out of 22103 with flag 132489/266228
37.01/34.50	c cleaning 12023 clauses out of 24053 with flag 158690/279230
38.21/35.67	c cleaning 13015 clauses out of 26029 with flag 186837/293229
39.72/37.19	c cleaning 14005 clauses out of 28013 with flag 216843/308228
41.51/38.95	c cleaning 15004 clauses out of 30009 with flag 248893/324229
43.62/41.06	c cleaning 15998 clauses out of 32004 with flag 282911/341228
46.01/43.46	c cleaning 16998 clauses out of 34006 with flag 318978/359228
48.90/46.33	c cleaning 18004 clauses out of 36008 with flag 357032/378228
51.99/49.41	c cleaning 19002 clauses out of 38006 with flag 397136/398230
55.00/52.47	c cleaning 19997 clauses out of 40002 with flag 439634/419228
57.89/55.31	c cleaning 21001 clauses out of 42005 with flag 484095/441228
61.09/58.55	c cleaning 21999 clauses out of 44005 with flag 530632/464229
64.60/62.01	c cleaning 22999 clauses out of 46007 with flag 579110/488230
67.78/65.24	c cleaning 24000 clauses out of 48007 with flag 629330/513229
71.19/68.66	c cleaning 25003 clauses out of 50007 with flag 681625/539229
76.09/73.53	c cleaning 25999 clauses out of 52004 with flag 736299/566229
81.00/78.42	c cleaning 26996 clauses out of 54004 with flag 792745/594228
86.00/83.41	c cleaning 27997 clauses out of 56009 with flag 851410/623229
91.28/88.80	c cleaning 29004 clauses out of 58011 with flag 912197/653228
96.88/94.33	c cleaning 29997 clauses out of 60008 with flag 974887/684229
104.68/102.12	c cleaning 31002 clauses out of 62011 with flag 1039853/716229
110.36/107.85	c cleaning 32001 clauses out of 64010 with flag 1106503/749230
117.50/115.01	c cleaning 33002 clauses out of 66008 with flag 1174856/783229
126.24/123.84	c cleaning 34000 clauses out of 68006 with flag 1245466/818229
135.61/133.28	c cleaning 34999 clauses out of 70007 with flag 1318210/854230
142.90/140.57	c cleaning 35999 clauses out of 72006 with flag 1393173/891228
152.71/150.39	c cleaning 36999 clauses out of 74007 with flag 1470394/929228
164.88/162.59	c cleaning 37998 clauses out of 76008 with flag 1548908/968228
173.58/171.30	c cleaning 39001 clauses out of 78011 with flag 1630283/1008229
181.96/179.69	c cleaning 40002 clauses out of 80010 with flag 1713332/1049229
188.37/186.11	c cleaning 40998 clauses out of 82007 with flag 1800059/1091228
201.15/198.89	c cleaning 41999 clauses out of 84009 with flag 1889634/1134228
215.63/213.38	c cleaning 42998 clauses out of 86010 with flag 1979582/1178228
229.82/227.50	c cleaning 43998 clauses out of 88013 with flag 2072100/1223229
243.79/241.57	c cleaning 45003 clauses out of 90014 with flag 2167171/1269228
264.66/262.45	c cleaning 45997 clauses out of 92011 with flag 2265129/1316228
280.82/278.62	c Got one! Elapsed wall clock time (in seconds):278.337
280.82/278.62	o -178
282.64/280.45	c cleaning 46572 clauses out of 93157 with flag 10300/1363371
284.04/281.83	c cleaning 26285 clauses out of 52585 with flag 22594/1369371
285.35/283.18	c cleaning 16641 clauses out of 33300 with flag 36975/1376371
286.64/284.47	c cleaning 12324 clauses out of 24660 with flag 53342/1384372
287.84/285.62	c cleaning 10661 clauses out of 21336 with flag 72004/1393372
288.83/286.69	c cleaning 10331 clauses out of 20675 with flag 92456/1403372
290.25/288.07	c cleaning 10665 clauses out of 21343 with flag 114921/1414371
291.84/289.67	c cleaning 11332 clauses out of 22678 with flag 139177/1426371
293.73/291.52	c cleaning 12169 clauses out of 24346 with flag 165664/1439371
295.83/293.68	c cleaning 13084 clauses out of 26177 with flag 194195/1453371
298.23/296.11	c cleaning 14045 clauses out of 28094 with flag 224958/1468372
300.91/298.74	c cleaning 15022 clauses out of 30049 with flag 258012/1484372
304.11/301.92	c cleaning 16010 clauses out of 32027 with flag 293296/1501372
307.01/304.82	c cleaning 16999 clauses out of 34016 with flag 330299/1519371
309.32/307.19	c cleaning 18005 clauses out of 36018 with flag 369066/1538372
312.70/310.58	c cleaning 19002 clauses out of 38013 with flag 410088/1558372
315.79/313.66	c cleaning 20001 clauses out of 40010 with flag 453024/1579371
318.59/316.46	c cleaning 20998 clauses out of 42009 with flag 497771/1601371
322.08/319.93	c cleaning 22002 clauses out of 44011 with flag 544574/1624371
325.48/323.37	c cleaning 23004 clauses out of 46009 with flag 593359/1648371
329.87/327.75	c cleaning 24000 clauses out of 48006 with flag 643959/1673372
335.17/333.03	c cleaning 24996 clauses out of 50006 with flag 697546/1699372
341.05/338.99	c cleaning 25999 clauses out of 52010 with flag 753378/1726372
346.53/344.48	c cleaning 27000 clauses out of 54011 with flag 811611/1754372
353.25/351.19	c cleaning 27999 clauses out of 56010 with flag 871707/1783371
360.62/358.51	c cleaning 29000 clauses out of 58011 with flag 933681/1813371
368.01/365.99	c cleaning 30005 clauses out of 60012 with flag 998266/1844372
374.90/372.85	c cleaning 30999 clauses out of 62007 with flag 1064798/1876372
384.30/381.95	c cleaning 31999 clauses out of 64008 with flag 1133668/1909372
392.78/390.42	c cleaning 32995 clauses out of 66009 with flag 1205644/1943372
401.48/399.17	c cleaning 34006 clauses out of 68013 with flag 1279268/1978371
409.27/406.94	c cleaning 34998 clauses out of 70007 with flag 1354133/2014371
417.75/415.41	c cleaning 36000 clauses out of 72010 with flag 1431070/2051372
425.14/422.85	c cleaning 37000 clauses out of 74009 with flag 1509755/2089371
434.26/431.90	c cleaning 38001 clauses out of 76009 with flag 1589870/2128371
443.24/440.99	c cleaning 38997 clauses out of 78008 with flag 1672817/2168371
452.34/450.04	c cleaning 40002 clauses out of 80012 with flag 1759522/2209372
463.01/460.71	c cleaning 40999 clauses out of 82009 with flag 1847807/2251371
472.32/470.06	c cleaning 41999 clauses out of 84011 with flag 1941434/2294372
482.89/480.62	c cleaning 43000 clauses out of 86012 with flag 2036532/2338372
494.97/492.79	c cleaning 44005 clauses out of 88011 with flag 2132014/2383371
511.86/509.62	c cleaning 44998 clauses out of 90006 with flag 2228970/2429371
523.35/521.16	c cleaning 45996 clauses out of 92008 with flag 2328559/2476371
535.42/533.28	c cleaning 47000 clauses out of 94012 with flag 2427860/2524371
557.01/554.82	c cleaning 48000 clauses out of 96012 with flag 2530553/2573371
576.57/574.42	c cleaning 49002 clauses out of 98013 with flag 2635986/2623372
595.04/592.96	c cleaning 50000 clauses out of 100010 with flag 2742879/2674371
607.65/605.56	c cleaning 51005 clauses out of 102011 with flag 2852900/2726372
621.73/619.60	c cleaning 51995 clauses out of 104005 with flag 2968399/2779371
640.90/638.81	c cleaning 53004 clauses out of 106010 with flag 3085086/2833371
655.48/653.42	c cleaning 53995 clauses out of 108006 with flag 3200835/2888371
672.46/670.42	c cleaning 54999 clauses out of 110012 with flag 3318138/2944372
687.52/685.51	c cleaning 56002 clauses out of 112014 with flag 3443026/3001373
718.09/716.19	c cleaning 56999 clauses out of 114011 with flag 3569569/3059372
740.64/738.78	c cleaning 57999 clauses out of 116012 with flag 3697192/3118372
762.91/761.02	c cleaning 59001 clauses out of 118013 with flag 3828825/3178372
791.06/789.22	c cleaning 59999 clauses out of 120011 with flag 3962658/3239371
818.61/816.83	c cleaning 60998 clauses out of 122012 with flag 4100512/3301371
852.24/850.50	c cleaning 62000 clauses out of 124015 with flag 4241949/3364372
880.51/878.87	c cleaning 63003 clauses out of 126014 with flag 4385284/3428371
915.94/914.34	c cleaning 64003 clauses out of 128011 with flag 4527825/3493371
950.46/948.34	c cleaning 65003 clauses out of 130009 with flag 4672540/3559372
980.23/978.13	c cleaning 66000 clauses out of 132006 with flag 4820069/3626372
1013.00/1010.93	c cleaning 66997 clauses out of 134005 with flag 4972741/3694371
1044.23/1042.25	c cleaning 68000 clauses out of 136009 with flag 5127584/3763372
1077.59/1075.69	c cleaning 68997 clauses out of 138008 with flag 5281432/3833371
1106.14/1104.27	c cleaning 70003 clauses out of 140012 with flag 5436642/3904372
1164.36/1162.56	c cleaning 70998 clauses out of 142009 with flag 5599530/3976372
1215.06/1213.34	c cleaning 72000 clauses out of 144010 with flag 5766976/4049371
1282.37/1280.70	c cleaning 72999 clauses out of 146012 with flag 5944984/4123373
1341.76/1340.26	c cleaning 74005 clauses out of 148012 with flag 6117778/4198372
1392.06/1390.66	c cleaning 75001 clauses out of 150007 with flag 6289358/4274372
1433.58/1432.20	c cleaning 75997 clauses out of 152005 with flag 6468832/4351371
1483.09/1481.89	c cleaning 77000 clauses out of 154009 with flag 6647185/4429372
1535.38/1534.14	c cleaning 77995 clauses out of 156008 with flag 6823995/4508371
1600.34/1599.27	c cleaning 79003 clauses out of 158013 with flag 7004972/4588371
1661.23/1660.28	c cleaning 80001 clauses out of 160010 with flag 7190642/4669371
1734.71/1733.80	c cleaning 80998 clauses out of 162009 with flag 7380381/4751371
1800.80/1800.01	c cleaning 82004 clauses out of 164011 with flag 7571977/4834371
1868.87/1868.28	c cleaning 82998 clauses out of 166008 with flag 7765287/4918372
1948.43/1947.97	c cleaning 84003 clauses out of 168011 with flag 7962810/5003373
1999.55/1999.18	c cleaning 84998 clauses out of 170006 with flag 8157091/5089371
2066.51/2066.21	c cleaning 85998 clauses out of 172009 with flag 8353200/5176372
2128.37/2128.14	c cleaning 86999 clauses out of 174011 with flag 8561593/5264372
2230.24/2230.25	c cleaning 88002 clauses out of 176011 with flag 8763654/5353371
2340.86/2340.60	c cleaning 88997 clauses out of 178009 with flag 8972186/5443371
2427.09/2427.07	c Got one! Elapsed wall clock time (in seconds):2426.775
2427.09/2427.07	o -180
2434.47/2434.45	c cleaning 82736 clauses out of 165479 with flag 11295/5519838
2438.56/2438.56	c cleaning 44365 clauses out of 88744 with flag 26232/5525839
2441.23/2441.15	c cleaning 25684 clauses out of 51379 with flag 42467/5532839
2443.71/2443.68	c cleaning 16838 clauses out of 33694 with flag 61512/5540838
2445.60/2445.59	c cleaning 12918 clauses out of 25856 with flag 83079/5549838
2447.29/2447.22	c cleaning 11459 clauses out of 22937 with flag 106290/5559837
2448.59/2448.58	c cleaning 11229 clauses out of 22479 with flag 131747/5570838
2450.39/2450.35	c cleaning 11619 clauses out of 23250 with flag 159065/5582838
2452.49/2452.49	c cleaning 12313 clauses out of 24631 with flag 188994/5595838
2454.28/2454.22	c cleaning 13157 clauses out of 26318 with flag 220571/5609838
2456.28/2456.20	c cleaning 14076 clauses out of 28160 with flag 256309/5624837
2459.37/2459.36	c cleaning 15036 clauses out of 30084 with flag 294078/5640837
2462.56/2462.57	c cleaning 16018 clauses out of 32048 with flag 333671/5657837
2465.96/2465.94	c cleaning 17011 clauses out of 34031 with flag 374639/5675838
2469.95/2469.99	c cleaning 18007 clauses out of 36019 with flag 421140/5694837
2473.94/2473.97	c cleaning 19007 clauses out of 38013 with flag 469236/5714838
2478.05/2478.08	c cleaning 19998 clauses out of 40005 with flag 520209/5735837
2482.93/2482.91	c cleaning 20998 clauses out of 42007 with flag 571418/5757837
2489.72/2489.79	c cleaning 21999 clauses out of 44010 with flag 626223/5780838
2496.41/2496.41	c cleaning 22999 clauses out of 46011 with flag 682870/5804838
2504.89/2504.96	c cleaning 24001 clauses out of 48011 with flag 742398/5829837
2513.00/2513.11	c cleaning 24999 clauses out of 50010 with flag 802054/5855837
2520.47/2520.55	c cleaning 26000 clauses out of 52012 with flag 864967/5882838
2529.85/2530.00	c cleaning 27000 clauses out of 54011 with flag 930890/5910837
2539.44/2539.58	c cleaning 28001 clauses out of 56012 with flag 1000097/5939838
2547.62/2547.77	c cleaning 29002 clauses out of 58012 with flag 1071512/5969839
2555.61/2555.71	c cleaning 29998 clauses out of 60009 with flag 1146632/6000838
2564.59/2564.70	c cleaning 31000 clauses out of 62011 with flag 1221007/6032838
2574.79/2574.94	c cleaning 32001 clauses out of 64010 with flag 1297715/6065837
2584.08/2584.25	c cleaning 33003 clauses out of 66009 with flag 1375670/6099837
2594.66/2594.86	c cleaning 34002 clauses out of 68007 with flag 1458032/6134838
2606.24/2606.41	c cleaning 35001 clauses out of 70005 with flag 1541667/6170838
2620.02/2620.25	c cleaning 35996 clauses out of 72003 with flag 1631141/6207837
2632.71/2632.98	c cleaning 37000 clauses out of 74008 with flag 1723034/6245838
2649.08/2649.36	c cleaning 38003 clauses out of 76007 with flag 1815138/6284837
2663.05/2663.30	c cleaning 38998 clauses out of 78004 with flag 1908291/6324837
2678.52/2678.80	c cleaning 40000 clauses out of 80008 with flag 2004130/6365839
2691.81/2692.17	c cleaning 40998 clauses out of 82006 with flag 2104092/6407837
2712.15/2712.53	c cleaning 42000 clauses out of 84008 with flag 2205876/6450837
2732.90/2733.37	c cleaning 42999 clauses out of 86009 with flag 2310144/6494838
2762.25/2762.79	c cleaning 43999 clauses out of 88009 with flag 2417680/6539837
2794.50/2795.08	c cleaning 45001 clauses out of 90011 with flag 2527080/6585838
2818.30/2818.83	c cleaning 46004 clauses out of 92010 with flag 2639061/6632838
2833.98/2834.59	c cleaning 46995 clauses out of 94005 with flag 2756870/6680837
2855.35/2855.90	c cleaning 47999 clauses out of 96010 with flag 2876468/6729837
2876.01/2876.60	c cleaning 49000 clauses out of 98012 with flag 2995859/6779838
2900.27/2900.98	c cleaning 50003 clauses out of 100012 with flag 3118670/6830838
2927.86/2928.53	c cleaning 51001 clauses out of 102009 with flag 3244181/6882838
2954.71/2955.43	c cleaning 51999 clauses out of 104007 with flag 3370835/6935837
2980.86/2981.61	c cleaning 53003 clauses out of 106008 with flag 3499926/6989837
3015.99/3016.81	c cleaning 53999 clauses out of 108006 with flag 3634954/7044838
3061.42/3062.39	c cleaning 54997 clauses out of 110007 with flag 3770835/7100838
3099.95/3101.01	c cleaning 55999 clauses out of 112010 with flag 3909316/7157838
3132.80/3133.84	c cleaning 56997 clauses out of 114010 with flag 4052100/7215837
3168.25/3169.34	c cleaning 57999 clauses out of 116014 with flag 4190074/7274838
3207.50/3208.61	c cleaning 59003 clauses out of 118016 with flag 4333497/7334839
3235.56/3236.78	c cleaning 60000 clauses out of 120011 with flag 4482955/7395837
3282.57/3283.85	c cleaning 61002 clauses out of 122012 with flag 4638812/7457838
3325.86/3327.20	c cleaning 61999 clauses out of 124009 with flag 4798886/7520837
3371.26/3372.60	c cleaning 63004 clauses out of 126012 with flag 4964269/7584839
3421.77/3423.24	c cleaning 63997 clauses out of 128007 with flag 5129756/7649838
3470.22/3471.75	c cleaning 65002 clauses out of 130010 with flag 5307357/7715838
3517.92/3519.57	c cleaning 66002 clauses out of 132010 with flag 5485133/7782840
3564.92/3566.64	c cleaning 66996 clauses out of 134005 with flag 5670372/7850837
3600.06/3601.83	c starts		: 21251
3600.06/3601.84	c conflicts		: 7899373
3600.06/3601.84	c decisions		: 8287280
3600.06/3601.84	c propagations		: 349293963
3600.06/3601.84	c inspects		: 49510506589
3600.06/3601.84	c shortcuts		: 0
3600.06/3601.84	c learnt literals	: 0
3600.06/3601.84	c learnt binary clauses	: 0
3600.06/3601.84	c learnt ternary clauses	: 0
3600.06/3601.84	c learnt constraints	: 7899373
3600.06/3601.84	c ignored constraints	: 0
3600.06/3601.84	c root simplifications	: 0
3600.06/3601.84	c removed literals (reason simplification)	: 0
3600.06/3601.84	c reason swapping (by a shorter reason)	: 0
3600.06/3601.84	c Calls to reduceDB	: 210
3600.06/3601.84	c Number of update (reduction) of LBD	: 44121
3600.06/3601.84	c Imported unit clauses	: 0
3600.06/3601.84	c No decision after first conflict	: false
3600.06/3601.84	c number of reductions to clauses (during analyze)	: 0
3600.06/3601.84	c number of learned constraints concerned by reduction	: 0
3600.06/3601.84	c number of learning phase by resolution	: 0
3600.06/3601.84	c number of learning phase by cutting planes	: 0
3600.06/3601.84	c number of rounding to 1 operations	: 0
3600.06/3601.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3601.84	c number of reductions of the coefficients by power 2 	: 0
3600.06/3601.84	c number of right shift for reduction by power 2 	: 0
3600.06/3601.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3601.84	c number of ending skipping 	: 0
3600.06/3601.84	c number of internal skipping 	: 0
3600.06/3601.84	c number of derivation steps 	: 0
3600.06/3601.84	c number of skipped derivation steps 	: 0
3600.06/3601.84	c number of remaining unassigned 	: 0
3600.06/3601.84	c number of remaining assigned 	: 0
3600.06/3601.84	c number of falsified literals weakened from reason	: 0
3600.06/3601.85	c number of falsified literals weakened from conflict	: 0
3600.06/3601.85	c time for arithmetic operations	: 0
3600.06/3601.87	c minimum degree of deleted constraints	: null
3600.06/3601.87	c maximum degree of deleted constraints	: null
3600.06/3601.87	c number of deleted constraints	: 0
3600.06/3601.87	c speed (assignments/second)	: 96993.25783852635
3600.06/3601.87	c non guided choices	: 41
3600.26/3602.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 115545
3600.26/3602.02	s SATISFIABLE
3600.26/3602.02	c Found 18 solution(s)
3600.26/3602.02	v -x1 x2 x3 x4 -x5 -x6 x7 x8 x9 -x10 -x11 x12 x13 x14 -x15 -x16 x17 x18 x19 -x20 -x21 x22 x23 x24 -x25 -x26 x27 x28 x29 -x30 -x31 x32 x33 x34 -x35 -x36 x37 x38 x39 -x40 -x41 x42 x43 x44 -x45 -x46 x47 x48 x49 -x50 -x51 -x52 -x53 x54 x55 -x56 -x57 -x58 x59 x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 x74 x75 -x76 x77 x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 x97 x98 x99 x100 -x101 -x102 -x103 x104 x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 x119 x120 -x121 x122 x123 x124 -x125 -x126 x127 x128 x129 -x130 -x131 x132 x133 x134 -x135 -x136 x137 x138 x139 -x140 -x141 x142 x143 x144 -x145 -x146 x147 x148 x149 -x150 -x151 x152 x153 x154 -x155 -x156 x157 x158 x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 x179 x180 -x181 x182 x183 -x184 -x185 -x186 x187 x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 x197 x198 x199 x200 -x201 -x202 -x203 x204 x205 -x206 -x207 -x208 x209 x210 -x211 -x212 -x213 x214 x215 -x216 x217 x218 x219 -x220 -x221 x222 x223 x224 -x225 -x226 x227 x228 x229 -x230 -x231 x232 x233 x234 -x235 -x236 x237 x238 x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 x255 -x256 -x257 -x258 x259 x260 -x261 x262 x263 -x264 -x265 -x266 x267 x268 -x269 -x270 -x271 x272 x273 x274 x275 -x276 -x277 -x278 x279 x280 -x281 -x282 -x283 x284 x285 -x286 x287 x288 x289 -x290 -x291 x292 x293 x294 -x295 -x296 x297 x298 x299 -x300 -x301 x302 x303 x304 -x305 -x306 -x307 -x308 x309 x310 -x311 -x312 -x313 x314 x315 -x316 x317 x318 -x319 -x320 -x321 x322 x323 x324 x325 -x326 -x327 -x328 x329 x330 -x331 x332 x333 x334 -x335 -x336 x337 x338 x339 -x340 -x341 -x342 -x343 x344 x345 -x346 x347 x348 x349 x350 -x351 
3600.52/3602.06	c objective function=-180
3600.52/3602.06	c Total wall clock time (in seconds): 3601.767

Verifier Data 

OK	-180

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (11042 MiB free)
  memory of node 1: 64510 MiB (49213 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458883-1721883782/watcher-4458883-1721883782 -o /tmp/evaluation-result-4458883-1721883782/solver-4458883-1721883782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262299 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4458883-1721883782.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=266331, runsolver pid=266328

[startup+0.100748 s]*
/proc/loadavg: 4.87 5.03 4.96 8/320 266349
/proc/meminfo: memFree=61667112/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=18975048 memory=55788 CPUtime=0.12 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 6567 0 0 0 10 2 0 0 20 0 18 0 24367774 19430449152 13947 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4743762 13947 5518 1 0 550877 0
[pid=266331/tid=266333] ppid=266328 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 5476 0 0 0 7 1 0 0 20 0 18 0 24367775 19430449152 13947 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24367777 19430449152 13947 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=18975048 memory=14128957269627868 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24367778 19430449152 13947 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55788 KiB

[startup+0.214756 s]*
/proc/loadavg: 4.87 5.03 4.96 8/320 266349
/proc/meminfo: memFree=61660552/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=18975048 memory=63276 CPUtime=0.27 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 7185 0 0 0 24 3 0 0 20 0 18 0 24367774 19430449152 15819 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4743762 15819 5718 1 0 551388 0
[pid=266331/tid=266333] ppid=266328 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 5712 0 0 0 16 2 0 0 20 0 18 0 24367775 19430449152 15819 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=18975048 memory=1466016 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24367777 19430449152 15819 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24367778 19430449152 15819 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63276 KiB

[startup+0.32475 s]*
/proc/loadavg: 4.87 5.03 4.96 8/320 266349
/proc/meminfo: memFree=61657356/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=18975048 memory=66384 CPUtime=0.44 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 7468 0 0 0 41 3 0 0 20 0 18 0 24367774 19430449152 16596 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4743762 16596 5734 1 0 551576 0
[pid=266331/tid=266333] ppid=266328 vsize=18975048 memory=-8600581602929255100 CPUtime=0.27 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 5863 0 0 0 25 2 0 0 20 0 18 0 24367775 19430449152 16596 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24367777 19430449152 16596 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24367778 19430449152 16596 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66384 KiB

[startup+0.702888 s]
/proc/loadavg: 4.87 5.03 4.96 8/320 266349
/proc/meminfo: memFree=61641316/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=19041612 memory=96752 CPUtime=1.14 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 9280 0 0 0 109 5 0 0 20 0 19 0 24367774 19498610688 24188 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4760403 24188 5863 1 0 553006 0
[pid=266331/tid=266333] ppid=266328 vsize=19041612 memory=5468 CPUtime=0.58 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 6008 0 0 0 55 3 0 0 20 0 19 0 24367775 19498610688 24188 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19041612 memory=11904 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24367777 19498610688 24188 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24367778 19498610688 24188 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96752 KiB

[startup+1.50074 s]
/proc/loadavg: 4.96 5.05 4.97 8/321 266350
/proc/meminfo: memFree=61621392/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=19041612 memory=110020 CPUtime=2.71 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 14617 0 0 0 265 6 0 0 20 0 19 0 24367774 19498610688 27505 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4760403 27505 5863 1 0 554656 0
[pid=266331/tid=266333] ppid=266328 vsize=19041612 memory=11904 CPUtime=1.35 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 6150 0 0 0 132 3 0 0 20 0 19 0 24367775 19498610688 27505 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24367777 19498610688 27505 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24367778 19498610688 27505 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24367839 19498610688 27505 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110020 KiB

[startup+3.10575 s]
/proc/loadavg: 4.96 5.05 4.97 5/321 266352
/proc/meminfo: memFree=61597892/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=19041612 memory=127720 CPUtime=4.85 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 16508 0 0 0 478 7 0 0 20 0 19 0 24367774 19498610688 31930 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4760403 31930 5879 1 0 554909 0
[pid=266331/tid=266333] ppid=266328 vsize=19041612 memory=0 CPUtime=2.94 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 7374 0 0 0 290 4 0 0 20 0 19 0 24367775 19498610688 31930 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19041612 memory=11644 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24367777 19498610688 31930 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24367778 19498610688 31930 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19041612 memory=11904 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24367839 19498610688 31930 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127720 KiB

[startup+6.30042 s]
/proc/loadavg: 4.89 5.03 4.96 5/321 266352
/proc/meminfo: memFree=61434776/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=19041612 memory=150960 CPUtime=8.09 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 16653 0 0 0 801 8 0 0 20 0 19 0 24367774 19498610688 37740 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4760403 37740 5879 1 0 554911 0
[pid=266331/tid=266333] ppid=266328 vsize=19041612 memory=0 CPUtime=6.11 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 7464 0 0 0 607 4 0 0 20 0 19 0 24367775 19498610688 37740 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19041612 memory=11904 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24367777 19498610688 37740 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19041612 memory=11644 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24367778 19498610688 37740 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19041612 memory=72492 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24367839 19498610688 37740 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 8.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 150960 KiB

[startup+12.7004 s]
/proc/loadavg: 4.90 5.03 4.96 6/322 266354
/proc/meminfo: memFree=61244148/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=191824 CPUtime=14.8 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 22433 0 0 0 1470 10 0 0 20 0 20 0 24367774 19566772224 47956 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 47956 5911 1 0 555200 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=98800 CPUtime=12.43 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 8383 0 0 0 1238 5 0 0 20 0 20 0 24367775 19566772224 47956 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=191804 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 47956 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=127720 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 47956 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 47956 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 14.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191824 KiB

[startup+25.5004 s]
/proc/loadavg: 5.07 5.06 4.97 6/320 266356
/proc/meminfo: memFree=60937760/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=243320 CPUtime=27.73 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 27509 0 0 0 2761 12 0 0 20 0 20 0 24367774 19566772224 60830 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 60830 5911 1 0 555200 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=191804 CPUtime=25.05 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 9657 0 0 0 2500 5 0 0 20 0 20 0 24367775 19566772224 60830 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=243300 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 60830 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 60830 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 60830 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 27.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 243320 KiB

[startup+51.1134 s]
/proc/loadavg: 4.92 5.02 4.97 6/320 266359
/proc/meminfo: memFree=60299240/131655788 swapFree=131059112/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=393396 CPUtime=53.72 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 35635 0 0 0 5352 20 0 0 20 0 20 0 24367774 19566772224 98349 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 98349 5911 1 0 555200 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=286616 CPUtime=50.15 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 11648 0 0 0 5010 5 0 0 20 0 20 0 24367775 19566772224 98349 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=335980 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 98349 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=11644 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 98349 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0

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

/proc/meminfo: memFree=54292052/131655788 swapFree=131058856/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=1435552 CPUtime=3281.08 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 144687 0 0 0 327870 238 0 0 20 0 20 0 24367774 19566772224 358888 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 358888 5959 1 0 562388 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=1435552 CPUtime=3265.56 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 61798 0 0 0 326544 12 0 0 20 0 20 0 24367775 19566772224 358888 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=1435552 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 358888 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=32180 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 2851 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 358888 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=1435552 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 358888 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 3281.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1435552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.38 4.82 8/320 268400
/proc/meminfo: memFree=50231056/131655788 swapFree=131058856/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3341.02 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 145518 0 0 0 333861 241 0 0 20 0 20 0 24367774 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 358898 5959 1 0 562388 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3325.22 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 61877 0 0 0 332510 12 0 0 20 0 20 0 24367775 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=-7160861562581245311 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=-8600581602929255100 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 2851 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=11904 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 3341.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1435592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.32 4.77 5/320 268410
/proc/meminfo: memFree=49975956/131655788 swapFree=131058856/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3400.91 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 145636 0 0 0 339847 244 0 0 20 0 20 0 24367774 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 358898 5959 1 0 562388 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3385.06 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 61980 0 0 0 338494 12 0 0 20 0 20 0 24367775 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=1435592 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=5468 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 2851 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=1435592 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 3400.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1435592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.31 4.74 7/322 268424
/proc/meminfo: memFree=49918044/131655788 swapFree=131058856/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3460.83 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 147254 0 0 0 345836 247 0 0 20 0 20 0 24367774 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 358898 5959 1 0 562388 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3444.86 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 62519 0 0 0 344474 12 0 0 20 0 20 0 24367775 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=1435592 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=11904 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 2941 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=1435592 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 3460.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1435592 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.30 4.71 5/318 268579
/proc/meminfo: memFree=60442084/131655788 swapFree=131058856/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3520.71 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 147371 0 0 0 351821 250 0 0 20 0 20 0 24367774 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 358898 5959 1 0 562388 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3504.7 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 62631 0 0 0 350457 13 0 0 20 0 20 0 24367775 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=11644 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=1435592 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 2941 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=72492 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 3520.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1435592 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.27 4.67 6/320 268592
/proc/meminfo: memFree=59108764/131655788 swapFree=131058856/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3580.59 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 147598 0 0 0 357806 253 0 0 20 0 20 0 24367774 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 358898 5959 1 0 562388 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3564.53 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 62844 0 0 0 356440 13 0 0 20 0 20 0 24367775 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=1435592 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 2941 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=1435592 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 3580.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1435592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.8 s]
/proc/loadavg: 4.23 4.27 4.67 6/320 268594
/proc/meminfo: memFree=58667392/131655788 swapFree=131058856/131071996
[pid=266331] ppid=266328 vsize=19108176 memory=1435592 CPUtime=3600.06 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 147620 0 0 0 359751 255 0 0 20 0 20 0 24367774 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4777044 358898 5959 1 0 562388 0
[pid=266331/tid=266333] ppid=266328 vsize=19108176 memory=72492 CPUtime=3583.97 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 62864 0 0 0 358384 13 0 0 20 0 20 0 24367775 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19108176 memory=26124 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24367777 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19108176 memory=24980 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 2941 0 0 0 0 0 0 0 20 0 20 0 24367778 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266350] ppid=266328 vsize=19108176 memory=-8600581602929255100 CPUtime=0 cores=5,7
/proc/266331/task/266350/stat : 266350 (Timer-0) S 266328 266331 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24367839 19566772224 358898 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1435592 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.02 s, system=2.57953 s

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

[startup+3602.02 s]*
/proc/loadavg: 4.37 4.30 4.67 8/321 268599
/proc/meminfo: memFree=58666636/131655788 swapFree=131058856/131071996
[pid=266331] ppid=266328 vsize=19307868 memory=1436416 CPUtime=3600.52 cores=5,7
/proc/266331/stat : 266331 (java) S 266328 266331 262286 0 -1 1077936128 151093 0 0 0 359796 256 0 0 20 0 21 0 24367774 19771256832 359104 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
/proc/266331/statm: 4826967 359104 5958 1 0 563302 0
[pid=266331/tid=266333] ppid=266328 vsize=19307868 memory=-8599734970385932988 CPUtime=3584.2 cores=5,7
/proc/266331/task/266333/stat : 266333 (java) R 266328 266331 262286 0 -1 4194368 63086 0 0 0 358407 13 0 0 20 0 21 0 24367775 19771256832 359104 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266342] ppid=266328 vsize=19307868 memory=2204 CPUtime=0 cores=5,7
/proc/266331/task/266342/stat : 266342 (Finalizer) S 266328 266331 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 24367777 19771256832 359104 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=266349] ppid=266328 vsize=19307868 memory=1992 CPUtime=0 cores=5,7
/proc/266331/task/266349/stat : 266349 (Common-Cleaner) S 266328 266331 262286 0 -1 1077936192 2941 0 0 0 0 0 0 0 20 0 21 0 24367778 19771256832 359104 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
[pid=266331/tid=268598] ppid=266328 vsize=19307868 memory=1832 CPUtime=0.14 cores=5,7
/proc/266331/task/268598/stat : 268598 (Thread-0) R 266328 266331 262286 0 -1 1077936192 655 0 0 0 14 0 0 0 20 0 21 0 24727955 19771256832 359104 134679101440 94047982915584 94047982919280 140732252662272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047982927096 94047982927888 94047985160192 140732252664839 140732252664929 140732252664929 140732252671944 0
Current children cumulated CPU time: 3600.52 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1436416 KiB

Child status: 143

Real time (s): 3602.09
CPU time (s): 3600.6
CPU user time (s): 3598.02
CPU system time (s): 2.57953
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1436416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.02
system time used= 2.57953
maximum resident set size= 1437096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106604
involuntary context switches= 6313


# summary of solver processes directly reported to runsolver:
#   pid: 266331
#   total CPU time (s): 3600.6
#   total CPU user time (s): 3598.02
#   total CPU system time (s): 2.57953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1753 second user time and 37.8035 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-25 07:03:02
IDJOB=4458883
IDBENCH=178266
IDSOLVER=3058
FILE ID=nodeC010/4458883-1721883782
RUNJOBID= nodeC010-1721877730-262299
SLURM_JOB_ID= 8089272
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458883-1721883782/watcher-4458883-1721883782 -o /tmp/evaluation-result-4458883-1721883782/solver-4458883-1721883782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262299 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4458883-1721883782.opb

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

MD5SUM BENCH= 3b9231489038b4cdb94f511f52877e11
RANDOM SEED=862222116

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        61702808 kB
MemAvailable:   105260824 kB
Buffers:          286844 kB
Cached:         43610044 kB
SwapCached:          216 kB
Active:          2171232 kB
Inactive:       66521968 kB
Active(anon):       1724 kB
Inactive(anon): 24847816 kB
Active(file):    2169508 kB
Inactive(file): 41674152 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:              7996 kB
Writeback:             0 kB
AnonPages:      24795944 kB
Mapped:           120504 kB
Shmem:             53556 kB
KReclaimable:     776100 kB
Slab:             895984 kB
SReclaimable:     776100 kB
SUnreclaim:       119884 kB
KernelStack:        4844 kB
PageTables:        58712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   30436080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14784 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14526464 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC010 at 2024-07-25 08:03:04