Trace number 4440288

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)225 3600.84 3565.84

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
MD5SUMf4fbd70ee8b80515313bebcddc52f82a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark181
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
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 constraints476
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
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.13/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.15	c See www.sat4j.org for details.
0.13/0.17	c version CUSTOM.v20240707
0.13/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.19	c java.vm.version	22.0.1+8-16
0.13/0.19	c java.vm.vendor	Oracle Corporation
0.13/0.19	c sun.arch.data.model	64
0.13/0.19	c java.version		22.0.1
0.13/0.19	c os.name		Linux
0.13/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.19	c os.arch		amd64
0.13/0.20	c Free memory 		2113181440
0.13/0.20	c Max memory 		16282288128
0.13/0.20	c Total memory 		2122317824
0.13/0.21	c Number of processors 	2
0.29/0.31	--- Begin Solver configuration ---
0.29/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.31	Learn all clauses as in MiniSAT
0.29/0.31	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.31	Expensive reason simplification
0.29/0.31	Glucose 2.1 dynamic restart strategy
0.29/0.31	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.29/0.31	timeout=2147483s
0.29/0.31	DB Simplification allowed=false
0.29/0.31	Listener: none
0.29/0.31	--- End Solver configuration ---
0.29/0.31	c Pseudo Boolean Optimization by upper bound
0.29/0.31	c --- Begin Solver configuration ---
0.29/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.31	c Learn all clauses as in MiniSAT
0.29/0.31	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.31	c Expensive reason simplification
0.29/0.31	c Glucose 2.1 dynamic restart strategy
0.29/0.31	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.29/0.31	c timeout=2147483s
0.29/0.31	c DB Simplification allowed=false
0.29/0.31	c Listener: none
0.29/0.31	c --- End Solver configuration ---
0.29/0.31	c solving HOME/instance-4440288-1721769335.opb
0.29/0.31	c reading problem ... 
0.44/0.33	c using VERIPB proof format
0.44/0.34	c  objective function found
0.61/0.45	c ... done. Wall clock time 0.129s.
0.61/0.45	c declared #vars     476
0.61/0.45	c #constraints  476
0.61/0.45	c constraints type 
0.61/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 476
0.61/0.45	c 476 constraints processed.
0.61/0.50	c objective function length is 476 literals
0.61/0.50	c SATISFIABLE
0.61/0.50	c OPTIMIZING...
0.61/0.50	c Got one! Elapsed wall clock time (in seconds):0.182
0.61/0.50	o 230
1.12/0.76	c Got one! Elapsed wall clock time (in seconds):0.442
1.12/0.76	o 229
3.86/2.13	c cleaning 2632 clauses out of 5274 with flag 10178/5274
5.44/2.96	c cleaning 4316 clauses out of 8642 with flag 22333/11274
5.85/3.14	c Got one! Elapsed wall clock time (in seconds):2.829
5.85/3.14	o 228
6.42/3.57	c cleaning 5045 clauses out of 10101 with flag 8164/17049
7.16/4.14	c cleaning 5520 clauses out of 11056 with flag 20237/23049
7.76/4.64	c Got one! Elapsed wall clock time (in seconds):4.324
7.76/4.64	o 227
7.92/4.76	c cleaning 5695 clauses out of 11409 with flag 2076/28922
9.16/5.47	c cleaning 5852 clauses out of 11715 with flag 14995/34923
10.10/6.17	c cleaning 6424 clauses out of 12863 with flag 29431/41923
11.46/7.16	c cleaning 7211 clauses out of 14438 with flag 46436/49922
12.43/8.04	c cleaning 8105 clauses out of 16228 with flag 65175/58923
13.47/9.05	c cleaning 9053 clauses out of 18122 with flag 85881/68922
14.70/10.18	c cleaning 10030 clauses out of 20069 with flag 108457/79922
16.16/11.52	c cleaning 11015 clauses out of 22040 with flag 133413/91923
17.61/12.97	c cleaning 12003 clauses out of 24024 with flag 160340/104922
17.74/13.01	c Got one! Elapsed wall clock time (in seconds):12.698
17.74/13.02	o 226
18.14/13.49	c cleaning 8743 clauses out of 17507 with flag 10711/110408
18.99/14.05	c cleaning 7374 clauses out of 14764 with flag 23275/116408
19.73/14.73	c cleaning 7185 clauses out of 14391 with flag 37706/123409
20.66/15.46	c cleaning 7595 clauses out of 15206 with flag 54216/131409
21.47/16.28	c cleaning 8296 clauses out of 16610 with flag 73042/140408
22.46/17.23	c cleaning 9148 clauses out of 18315 with flag 93821/150409
23.61/18.34	c cleaning 10076 clauses out of 20166 with flag 116449/161408
24.72/19.41	c cleaning 11036 clauses out of 22091 with flag 141335/173409
25.91/20.60	c cleaning 12017 clauses out of 24054 with flag 167710/186408
27.43/22.02	c cleaning 13011 clauses out of 26037 with flag 196148/200408
28.81/23.45	c cleaning 14006 clauses out of 28027 with flag 226772/215409
30.81/25.23	c cleaning 15001 clauses out of 30020 with flag 259931/231408
32.94/27.13	c cleaning 16002 clauses out of 32019 with flag 294872/248408
34.72/28.94	c cleaning 17005 clauses out of 34017 with flag 332068/266408
36.62/30.87	c cleaning 17998 clauses out of 36013 with flag 371388/285409
38.98/33.05	c cleaning 19000 clauses out of 38015 with flag 412898/305409
41.29/35.99	c cleaning 19996 clauses out of 40014 with flag 456036/326408
43.59/38.21	c cleaning 21001 clauses out of 42018 with flag 501203/348408
46.67/41.04	c cleaning 21999 clauses out of 44017 with flag 549217/371408
49.25/43.69	c cleaning 22999 clauses out of 46019 with flag 599008/395409
52.19/46.43	c cleaning 24000 clauses out of 48020 with flag 650597/420409
55.32/49.40	c cleaning 25005 clauses out of 50019 with flag 704345/446408
58.11/52.27	c cleaning 26002 clauses out of 52015 with flag 760472/473409
61.63/55.48	c cleaning 27002 clauses out of 54013 with flag 818492/501409
64.61/58.45	c cleaning 27998 clauses out of 56010 with flag 878635/530408
67.98/61.73	c cleaning 29001 clauses out of 58012 with flag 940918/560408
72.27/65.71	c cleaning 30001 clauses out of 60011 with flag 1005532/591408
77.07/71.75	c cleaning 30998 clauses out of 62010 with flag 1072639/623408
81.98/76.31	c cleaning 31994 clauses out of 64012 with flag 1141435/656408
86.46/80.71	c cleaning 33004 clauses out of 66019 with flag 1212836/690409
91.30/85.22	c cleaning 33998 clauses out of 68014 with flag 1285695/725408
95.59/89.51	c cleaning 35002 clauses out of 70016 with flag 1360632/761408
99.99/93.94	c cleaning 35998 clauses out of 72014 with flag 1437661/798408
105.17/99.86	c cleaning 37002 clauses out of 74017 with flag 1516755/836409
110.11/104.65	c cleaning 38002 clauses out of 76015 with flag 1598050/875409
114.89/109.32	c cleaning 38994 clauses out of 78013 with flag 1681019/915409
119.99/114.39	c cleaning 40002 clauses out of 80018 with flag 1766458/956408
125.08/119.36	c cleaning 40999 clauses out of 82017 with flag 1854048/998409
130.36/124.57	c cleaning 41998 clauses out of 84017 with flag 1943023/1041408
136.85/131.15	c cleaning 43000 clauses out of 86019 with flag 2034561/1085408
142.47/136.68	c cleaning 44001 clauses out of 88020 with flag 2128449/1130409
149.05/143.29	c cleaning 44993 clauses out of 90018 with flag 2226720/1176408
156.47/150.29	c cleaning 46005 clauses out of 92026 with flag 2325607/1223409
163.18/156.88	c cleaning 47003 clauses out of 94021 with flag 2426248/1271409
170.42/164.26	c cleaning 48000 clauses out of 96018 with flag 2530530/1320409
178.33/171.58	c cleaning 49003 clauses out of 98017 with flag 2634141/1370408
184.92/178.13	c cleaning 50002 clauses out of 100015 with flag 2740697/1421409
192.87/185.74	c cleaning 50997 clauses out of 102012 with flag 2848846/1473408
199.51/192.33	c cleaning 51995 clauses out of 104015 with flag 2959352/1526408
206.40/199.13	c cleaning 52999 clauses out of 106020 with flag 3071954/1580408
212.68/205.34	c cleaning 54001 clauses out of 108021 with flag 3185369/1635408
219.47/212.03	c cleaning 55000 clauses out of 110020 with flag 3302119/1691408
226.57/219.10	c cleaning 55997 clauses out of 112020 with flag 3420393/1748408
234.49/227.28	c cleaning 57003 clauses out of 114023 with flag 3542099/1806408
242.24/234.81	c cleaning 58002 clauses out of 116022 with flag 3666219/1865410
249.91/242.49	c cleaning 58997 clauses out of 118019 with flag 3791221/1925409
258.06/250.17	c cleaning 60001 clauses out of 120022 with flag 3918294/1986409
266.41/258.97	c cleaning 61002 clauses out of 122020 with flag 4048095/2048408
274.65/267.14	c cleaning 61994 clauses out of 124018 with flag 4179596/2111408
282.90/275.18	c cleaning 62997 clauses out of 126025 with flag 4312312/2175409
292.53/284.35	c cleaning 64001 clauses out of 128028 with flag 4447524/2240409
303.10/295.29	c cleaning 65002 clauses out of 130026 with flag 4586258/2306408
312.73/304.46	c cleaning 66002 clauses out of 132025 with flag 4725936/2373409
321.22/312.67	c cleaning 67000 clauses out of 134023 with flag 4866505/2441409
331.25/322.80	c cleaning 68001 clauses out of 136023 with flag 5009187/2510409
340.39/331.69	c cleaning 69001 clauses out of 138022 with flag 5155096/2580409
350.09/341.01	c cleaning 70000 clauses out of 140020 with flag 5302951/2651408
360.37/351.56	c cleaning 71000 clauses out of 142021 with flag 5452510/2723409
369.84/360.94	c cleaning 71999 clauses out of 144020 with flag 5603844/2796408
380.66/371.17	c cleaning 73000 clauses out of 146022 with flag 5758543/2870409
390.56/381.22	c cleaning 74002 clauses out of 148022 with flag 5912731/2945409
401.86/391.09	c cleaning 74998 clauses out of 150020 with flag 6069515/3021409
413.23/401.96	c cleaning 76003 clauses out of 152022 with flag 6230867/3098409
424.41/413.00	c cleaning 76997 clauses out of 154018 with flag 6393404/3176408
435.16/423.22	c cleaning 77998 clauses out of 156021 with flag 6557491/3255408
445.87/433.69	c cleaning 78997 clauses out of 158023 with flag 6723020/3335408
460.62/448.04	c cleaning 80000 clauses out of 160026 with flag 6911443/3416408
476.39/463.34	c cleaning 81007 clauses out of 162026 with flag 7126427/3498408
486.70/473.58	c Got one! Elapsed wall clock time (in seconds):473.264
486.70/473.58	o 225
489.08/476.72	c cleaning 73746 clauses out of 147505 with flag 10381/3564894
490.28/478.01	c cleaning 39870 clauses out of 79758 with flag 22819/3570893
491.17/478.85	c cleaning 23436 clauses out of 46888 with flag 37309/3577893
491.98/479.65	c cleaning 15722 clauses out of 31453 with flag 53916/3585894
492.77/480.49	c cleaning 12358 clauses out of 24730 with flag 72551/3594893
493.81/481.47	c cleaning 11180 clauses out of 22372 with flag 93281/3604893
494.91/482.54	c cleaning 11090 clauses out of 22193 with flag 116106/3615894
496.11/483.70	c cleaning 11542 clauses out of 23103 with flag 141013/3627894
497.30/484.99	c cleaning 12273 clauses out of 24562 with flag 167961/3640895
498.69/486.34	c cleaning 13134 clauses out of 26288 with flag 197080/3654894
500.23/487.88	c cleaning 14065 clauses out of 28153 with flag 227961/3669893
502.03/489.60	c cleaning 15031 clauses out of 30088 with flag 260970/3685893
503.82/491.40	c cleaning 16019 clauses out of 32058 with flag 296132/3702894
505.62/493.27	c cleaning 17008 clauses out of 34038 with flag 333437/3720893
507.79/495.34	c cleaning 18006 clauses out of 36030 with flag 373094/3739893
510.18/497.70	c cleaning 19004 clauses out of 38025 with flag 414985/3759894
512.49/500.05	c cleaning 19997 clauses out of 40020 with flag 458712/3780893
515.14/502.66	c cleaning 21002 clauses out of 42024 with flag 504749/3802894
518.37/507.05	c cleaning 22000 clauses out of 44021 with flag 553060/3825893
521.46/510.19	c cleaning 23003 clauses out of 46021 with flag 603304/3849893
524.32/512.95	c cleaning 23999 clauses out of 48018 with flag 655745/3874893
527.22/515.85	c cleaning 24998 clauses out of 50019 with flag 710039/3900893
530.21/518.82	c cleaning 26002 clauses out of 52021 with flag 766147/3927893
533.48/522.10	c cleaning 26997 clauses out of 54019 with flag 824854/3955893
536.86/525.48	c cleaning 28001 clauses out of 56023 with flag 885255/3984894
540.35/529.01	c cleaning 29001 clauses out of 58021 with flag 948005/4014893
544.60/533.05	c cleaning 30001 clauses out of 60020 with flag 1012607/4045893
549.81/539.09	c cleaning 31001 clauses out of 62020 with flag 1079524/4077894
554.38/543.66	c cleaning 32001 clauses out of 64019 with flag 1148479/4110894
558.57/547.87	c cleaning 33002 clauses out of 66018 with flag 1219678/4144894
563.49/552.66	c cleaning 34002 clauses out of 68015 with flag 1293522/4179893
568.89/558.01	c cleaning 34998 clauses out of 70013 with flag 1368883/4215893
573.96/563.07	c cleaning 36001 clauses out of 72015 with flag 1445910/4252893
578.78/568.12	c cleaning 36996 clauses out of 74014 with flag 1525506/4290893
583.56/572.94	c cleaning 37997 clauses out of 76018 with flag 1606783/4329893
588.61/577.97	c cleaning 38999 clauses out of 78021 with flag 1690291/4369893
593.19/582.59	c cleaning 40000 clauses out of 80022 with flag 1776082/4410893
598.89/587.91	c cleaning 41001 clauses out of 82022 with flag 1864291/4452893
603.78/592.83	c cleaning 41999 clauses out of 84021 with flag 1954630/4495893
609.21/598.57	c cleaning 43004 clauses out of 86023 with flag 2046603/4539894
614.49/603.84	c cleaning 43995 clauses out of 88018 with flag 2141015/4584893
621.19/610.53	c cleaning 44998 clauses out of 90024 with flag 2237333/4630894
627.17/616.54	c cleaning 46003 clauses out of 92025 with flag 2335677/4677893
633.81/623.18	c cleaning 47002 clauses out of 94022 with flag 2435903/4725893
640.19/629.79	c cleaning 47998 clauses out of 96020 with flag 2538412/4774893
646.62/636.03	c cleaning 49001 clauses out of 98023 with flag 2643178/4824894
652.95/642.38	c cleaning 50004 clauses out of 100021 with flag 2750284/4875893
659.23/648.62	c cleaning 50997 clauses out of 102017 with flag 2859705/4927893
665.85/655.26	c cleaning 51997 clauses out of 104020 with flag 2970655/4980893
672.35/662.24	c cleaning 53000 clauses out of 106023 with flag 3084444/5034893
679.93/669.80	c cleaning 54000 clauses out of 108023 with flag 3200176/5089893
687.59/677.43	c cleaning 55006 clauses out of 110025 with flag 3318712/5145895
695.62/685.48	c cleaning 56001 clauses out of 112018 with flag 3438333/5202894
704.93/694.76	c cleaning 57000 clauses out of 114017 with flag 3560533/5260894
714.70/704.28	c cleaning 58002 clauses out of 116016 with flag 3684133/5319893
724.27/713.53	c cleaning 59000 clauses out of 118014 with flag 3809664/5379893
733.74/722.70	c cleaning 59999 clauses out of 120014 with flag 3937357/5440893
743.33/732.75	c cleaning 60996 clauses out of 122015 with flag 4066802/5502893
753.45/742.88	c cleaning 61997 clauses out of 124019 with flag 4198625/5565893
764.29/753.32	c cleaning 63001 clauses out of 126023 with flag 4332648/5629894
776.30/765.22	c cleaning 64004 clauses out of 128021 with flag 4471915/5694893
788.75/777.41	c cleaning 64999 clauses out of 130018 with flag 4610231/5760894
801.53/790.09	c cleaning 66001 clauses out of 132019 with flag 4750292/5827894
814.04/802.20	c cleaning 66996 clauses out of 134017 with flag 4892766/5895893
826.19/813.97	c cleaning 67999 clauses out of 136022 with flag 5037988/5964894
837.03/824.71	c cleaning 68999 clauses out of 138022 with flag 5184518/6034893
849.05/836.21	c cleaning 70001 clauses out of 140023 with flag 5334203/6105893
862.82/850.14	c cleaning 71000 clauses out of 142022 with flag 5484616/6177893
876.34/863.13	c cleaning 72000 clauses out of 144023 with flag 5637355/6250894
890.74/875.94	c cleaning 73001 clauses out of 146022 with flag 5791379/6324893
903.19/888.36	c cleaning 73997 clauses out of 148022 with flag 5948414/6399894
916.04/900.77	c cleaning 75007 clauses out of 150026 with flag 6107382/6475895
929.26/913.95	c cleaning 75998 clauses out of 152018 with flag 6268873/6552894
943.07/927.38	c cleaning 76998 clauses out of 154019 with flag 6432316/6630893
956.11/940.46	c cleaning 78000 clauses out of 156021 with flag 6598241/6709893
970.44/954.35	c cleaning 79003 clauses out of 158021 with flag 6766634/6789893
983.04/966.65	c cleaning 79998 clauses out of 160018 with flag 6938265/6870893
997.79/981.23	c cleaning 80999 clauses out of 162020 with flag 7111193/6952893
1011.68/994.84	c cleaning 82001 clauses out of 164021 with flag 7285375/7035893
1027.01/1010.07	c cleaning 82999 clauses out of 166021 with flag 7460805/7119894
1041.49/1024.04	c cleaning 84002 clauses out of 168022 with flag 7638946/7204894
1055.78/1038.17	c cleaning 85000 clauses out of 170021 with flag 7819104/7290895
1070.56/1052.49	c cleaning 86000 clauses out of 172020 with flag 8001828/7377894
1088.16/1069.88	c cleaning 87000 clauses out of 174019 with flag 8186270/7465893
1106.73/1087.98	c cleaning 87998 clauses out of 176019 with flag 8371990/7554893
1123.22/1104.22	c cleaning 89000 clauses out of 178021 with flag 8559588/7644893
1139.12/1119.61	c cleaning 89998 clauses out of 180022 with flag 8749101/7735894
1155.84/1136.15	c cleaning 91004 clauses out of 182023 with flag 8941609/7827893
1172.09/1152.11	c cleaning 92000 clauses out of 184019 with flag 9136699/7920893
1188.50/1168.37	c cleaning 93002 clauses out of 186019 with flag 9334063/8014893
1205.74/1185.47	c cleaning 93998 clauses out of 188018 with flag 9531934/8109894
1223.39/1202.68	c cleaning 95000 clauses out of 190019 with flag 9732560/8205893
1241.49/1220.60	c cleaning 95995 clauses out of 192020 with flag 9934789/8302894
1259.27/1237.84	c cleaning 97007 clauses out of 194025 with flag 10140331/8400894
1280.26/1257.48	c cleaning 97999 clauses out of 196018 with flag 10349341/8499894
1299.41/1275.93	c cleaning 99003 clauses out of 198018 with flag 10560311/8599893
1317.37/1293.25	c cleaning 100000 clauses out of 200015 with flag 10773654/8700893
1335.48/1311.32	c cleaning 101000 clauses out of 202016 with flag 10990419/8802894
1353.65/1328.90	c cleaning 101999 clauses out of 204015 with flag 11208949/8905893
1372.32/1347.46	c cleaning 102994 clauses out of 206017 with flag 11429605/9009894
1390.88/1365.43	c cleaning 104000 clauses out of 208022 with flag 11652041/9114893
1409.04/1383.58	c cleaning 105001 clauses out of 210022 with flag 11876873/9220893
1427.08/1401.41	c cleaning 106001 clauses out of 212021 with flag 12105684/9327893
1445.90/1419.90	c cleaning 107001 clauses out of 214021 with flag 12334429/9435894
1464.39/1437.95	c cleaning 108000 clauses out of 216019 with flag 12565955/9544893
1484.54/1457.52	c cleaning 108999 clauses out of 218021 with flag 12798592/9654895
1507.44/1480.15	c cleaning 109996 clauses out of 220020 with flag 13041346/9765893
1528.16/1500.70	c cleaning 111007 clauses out of 222025 with flag 13279477/9877894
1549.74/1521.72	c cleaning 111999 clauses out of 224018 with flag 13520183/9990894
1570.09/1541.97	c cleaning 112995 clauses out of 226018 with flag 13762277/10104893
1595.05/1566.86	c cleaning 114003 clauses out of 228023 with flag 14002581/10219893
1619.49/1590.98	c cleaning 115000 clauses out of 230022 with flag 14243289/10335895
1647.68/1618.86	c cleaning 116004 clauses out of 232021 with flag 14486738/10452894
1672.89/1643.31	c cleaning 116999 clauses out of 234018 with flag 14732819/10570895
1698.52/1669.47	c cleaning 117997 clauses out of 236017 with flag 14981011/10689893
1721.61/1692.30	c cleaning 119002 clauses out of 238021 with flag 15234675/10809894
1742.57/1712.68	c cleaning 119997 clauses out of 240019 with flag 15490813/10930894
1766.16/1735.71	c cleaning 121001 clauses out of 242022 with flag 15749769/11052894
1792.78/1762.25	c cleaning 122001 clauses out of 244022 with flag 16010144/11175895
1819.34/1788.25	c cleaning 122998 clauses out of 246020 with flag 16270740/11299894
1845.91/1814.56	c cleaning 124001 clauses out of 248021 with flag 16535092/11424893
1872.21/1840.49	c cleaning 124999 clauses out of 250021 with flag 16801044/11550894
1898.66/1867.63	c cleaning 126000 clauses out of 252022 with flag 17068685/11677894
1923.70/1893.74	c cleaning 127001 clauses out of 254021 with flag 17338311/11805893
1952.67/1921.68	c cleaning 127996 clauses out of 256020 with flag 17611471/11934893
1979.18/1948.39	c cleaning 129004 clauses out of 258025 with flag 17885834/12064894
2002.57/1970.73	c cleaning 130000 clauses out of 260021 with flag 18165663/12195894
2027.23/1996.08	c cleaning 130998 clauses out of 262020 with flag 18443194/12327893
2053.74/2022.28	c cleaning 132000 clauses out of 264022 with flag 18720644/12460893
2079.51/2049.00	c cleaning 133000 clauses out of 266023 with flag 19003010/12594894
2105.22/2075.29	c cleaning 134001 clauses out of 268022 with flag 19289602/12729893
2132.52/2102.46	c cleaning 134997 clauses out of 270021 with flag 19578958/12865893
2161.57/2131.46	c cleaning 136002 clauses out of 272025 with flag 19866818/13002894
2192.33/2162.45	c cleaning 136999 clauses out of 274022 with flag 20157561/13140893
2223.21/2193.35	c cleaning 138002 clauses out of 276023 with flag 20449650/13279893
2254.17/2224.82	c cleaning 139002 clauses out of 278023 with flag 20741926/13419895
2285.88/2256.34	c cleaning 139993 clauses out of 280020 with flag 21035881/13560894
2318.17/2290.13	c cleaning 141004 clauses out of 282026 with flag 21332631/13702893
2352.44/2324.32	c cleaning 142000 clauses out of 284022 with flag 21632812/13845893
2390.16/2362.61	c cleaning 143001 clauses out of 286023 with flag 21932680/13989894
2417.76/2390.48	c cleaning 144001 clauses out of 288022 with flag 22236834/14134894
2448.79/2420.84	c cleaning 145000 clauses out of 290020 with flag 22544022/14280893
2484.47/2456.74	c cleaning 146002 clauses out of 292021 with flag 22853490/14427894
2513.65/2485.87	c cleaning 146996 clauses out of 294018 with flag 23165214/14575893
2543.04/2514.53	c cleaning 147997 clauses out of 296022 with flag 23482186/14724893
2573.42/2544.74	c cleaning 149000 clauses out of 298026 with flag 23798854/14874894
2611.78/2583.47	c cleaning 150002 clauses out of 300026 with flag 24119209/15025894
2646.69/2616.52	c cleaning 151004 clauses out of 302023 with flag 24445296/15177893
2676.92/2646.42	c cleaning 152000 clauses out of 304020 with flag 24770429/15330894
2704.75/2673.86	c cleaning 153002 clauses out of 306020 with flag 25097591/15484894
2734.24/2703.11	c cleaning 154000 clauses out of 308017 with flag 25428691/15639893
2764.75/2734.30	c cleaning 154999 clauses out of 310018 with flag 25758981/15795894
2795.41/2764.20	c cleaning 156000 clauses out of 312018 with flag 26092046/15952893
2829.20/2797.75	c cleaning 156998 clauses out of 314018 with flag 26422845/16110893
2865.37/2834.14	c cleaning 158003 clauses out of 316021 with flag 26757172/16269894
2899.59/2868.04	c cleaning 159000 clauses out of 318017 with flag 27095176/16429893
2934.52/2902.38	c cleaning 160004 clauses out of 320017 with flag 27435996/16590893
2973.53/2940.81	c cleaning 160997 clauses out of 322014 with flag 27774337/16752894
3009.17/2975.75	c cleaning 161999 clauses out of 324016 with flag 28113206/16915893
3046.08/3012.22	c cleaning 162997 clauses out of 326017 with flag 28458201/17079893
3084.47/3049.85	c cleaning 163998 clauses out of 328020 with flag 28807228/17244893
3125.83/3091.63	c cleaning 164999 clauses out of 330023 with flag 29162148/17410894
3169.35/3136.02	c cleaning 166003 clauses out of 332023 with flag 29519165/17577893
3207.39/3173.74	c cleaning 167000 clauses out of 334020 with flag 29876964/17745893
3251.58/3217.52	c cleaning 167997 clauses out of 336020 with flag 30235514/17914893
3291.67/3257.03	c cleaning 169001 clauses out of 338023 with flag 30597254/18084893
3338.13/3303.88	c cleaning 170001 clauses out of 340022 with flag 30961073/18255893
3383.95/3347.46	c cleaning 170997 clauses out of 342021 with flag 31328805/18427893
3432.23/3398.93	c cleaning 171996 clauses out of 344024 with flag 31695886/18600893
3470.88/3438.00	c cleaning 173005 clauses out of 346029 with flag 32065229/18774894
3506.20/3472.74	c cleaning 173998 clauses out of 348024 with flag 32438401/18949894
3542.71/3508.74	c cleaning 175004 clauses out of 350026 with flag 32814306/19125894
3578.15/3543.52	c cleaning 176002 clauses out of 352021 with flag 33187829/19302893
3600.01/3565.04	c starts		: 3185
3600.01/3565.06	c conflicts		: 19429353
3600.01/3565.06	c decisions		: 27284238
3600.01/3565.06	c propagations		: 386585925
3600.01/3565.06	c inspects		: 12548196779
3600.01/3565.06	c shortcuts		: 0
3600.01/3565.06	c learnt literals	: 0
3600.01/3565.06	c learnt binary clauses	: 0
3600.01/3565.06	c learnt ternary clauses	: 0
3600.01/3565.06	c learnt constraints	: 19429353
3600.01/3565.06	c ignored constraints	: 0
3600.01/3565.06	c root simplifications	: 0
3600.01/3565.06	c removed literals (reason simplification)	: 573993
3600.01/3565.06	c reason swapping (by a shorter reason)	: 0
3600.01/3565.06	c Calls to reduceDB	: 264
3600.01/3565.06	c Number of update (reduction) of LBD	: 543430
3600.01/3565.06	c Imported unit clauses	: 0
3600.01/3565.06	c No decision after first conflict	: false
3600.01/3565.06	c number of reductions to clauses (during analyze)	: 0
3600.01/3565.06	c number of learned constraints concerned by reduction	: 0
3600.01/3565.06	c number of learning phase by resolution	: 0
3600.01/3565.06	c number of learning phase by cutting planes	: 0
3600.01/3565.06	c number of rounding to 1 operations	: 0
3600.01/3565.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3565.06	c number of reductions of the coefficients by power 2 	: 0
3600.01/3565.06	c number of right shift for reduction by power 2 	: 0
3600.01/3565.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3565.06	c number of ending skipping 	: 0
3600.01/3565.06	c number of internal skipping 	: 0
3600.01/3565.06	c number of derivation steps 	: 0
3600.01/3565.06	c number of skipped derivation steps 	: 0
3600.01/3565.06	c number of remaining unassigned 	: 0
3600.01/3565.06	c number of remaining assigned 	: 0
3600.01/3565.06	c number of falsified literals weakened from reason	: 0
3600.01/3565.06	c number of falsified literals weakened from conflict	: 0
3600.01/3565.08	c time for arithmetic operations	: 0
3600.01/3565.08	c minimum degree of deleted constraints	: null
3600.01/3565.08	c maximum degree of deleted constraints	: null
3600.01/3565.08	c number of deleted constraints	: 0
3600.01/3565.08	c speed (assignments/second)	: 108452.02660622008
3600.01/3565.08	c non guided choices	: 0
3600.40/3565.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 302479
3600.40/3565.23	s SATISFIABLE
3600.40/3565.23	c Found 6 solution(s)
3600.40/3565.24	v -x1 x2 x3 x4 x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 x14 -x15 x16 -x17 -x18 x19 -x20 x21 -x22 x23 -x24 -x25 x26 -x27 x28 x29 x30 x31 -x32 x33 x34 x35 -x36 -x37 x38 x39 x40 -x41 x42 x43 -x44 x45 x46 -x47 x48 x49 x50 -x51 -x52 x53 x54 x55 x56 -x57 x58 x59 x60 -x61 x62 x63 x64 -x65 x66 x67 x68 -x69 x70 x71 -x72 -x73 x74 x75 x76 -x77 x78 x79 x80 x81 -x82 x83 -x84 x85 x86 -x87 -x88 x89 -x90 x91 -x92 -x93 x94 x95 x96 x97 x98 x99 x100 -x101 -x102 x103 x104 -x105 x106 x107 x108 -x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 -x119 -x120 x121 x122 -x123 x124 x125 -x126 x127 x128 x129 x130 x131 x132 -x133 x134 x135 x136 x137 x138 -x139 x140 x141 x142 x143 -x144 x145 x146 x147 x148 x149 -x150 x151 x152 x153 x154 x155 -x156 x157 x158 -x159 x160 x161 x162 x163 -x164 x165 -x166 -x167 x168 x169 x170 -x171 -x172 -x173 -x174 x175 x176 x177 x178 x179 -x180 x181 x182 x183 x184 -x185 x186 x187 -x188 x189 x190 x191 -x192 -x193 x194 x195 x196 x197 x198 -x199 x200 x201 x202 x203 x204 x205 x206 -x207 x208 -x209 x210 -x211 -x212 x213 x214 -x215 x216 x217 x218 -x219 x220 x221 x222 x223 x224 -x225 -x226 -x227 x228 x229 -x230 x231 x232 x233 x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256 x257 x258 x259 -x260 x261 x262 -x263 -x264 -x265 x266 x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 -x287 x288 -x289 x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 x302 x303 -x304 -x305 x306 x307 -x308 -x309 -x310 x311 -x312 x313 x314 -x315 x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 x340 x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 x364 -x365 -x366 x367 x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 
3600.40/3565.25	c objective function=225
3600.40/3565.25	c Total wall clock time (in seconds): 3564.933

Verifier Data 

OK	225

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=128101, runsolver pid=128098

[startup+0.102562 s]*
/proc/loadavg: 4.40 4.66 4.49 5/326 128119
/proc/meminfo: memFree=94300064/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=18975048 memory=57392 CPUtime=0.13 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 6884 0 0 0 9 4 0 0 20 0 18 0 12923227 19430449152 14348 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4743762 14348 5613 1 0 550812 0
[pid=128101/tid=128103] ppid=128098 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 5838 0 0 0 6 3 0 0 20 0 18 0 12923228 19430449152 14348 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12923233 19430449152 14348 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=18975048 memory=4050484525539786784 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12923234 19430449152 14348 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57392 KiB

[startup+0.214772 s]*
/proc/loadavg: 4.40 4.66 4.49 5/326 128119
/proc/meminfo: memFree=94286944/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=18975048 memory=64344 CPUtime=0.29 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 7567 0 0 0 25 4 0 0 20 0 18 0 12923227 19430449152 16086 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4743762 16086 5632 1 0 551379 0
[pid=128101/tid=128103] ppid=128098 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 6144 0 0 0 15 3 0 0 20 0 18 0 12923228 19430449152 16086 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=18975048 memory=673 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12923233 19430449152 16086 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12923234 19430449152 16086 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64344 KiB

[startup+0.321078 s]*
/proc/loadavg: 4.40 4.66 4.49 6/326 128119
/proc/meminfo: memFree=94278744/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=18975048 memory=68228 CPUtime=0.44 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 7838 0 0 0 39 5 0 0 20 0 18 0 12923227 19430449152 17057 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4743762 17057 5828 1 0 551570 0
[pid=128101/tid=128103] ppid=128098 vsize=18975048 memory=-8598614568104403644 CPUtime=0.27 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 1078198336 6309 0 0 0 23 4 0 0 20 0 18 0 12923228 19430449152 17057 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12923233 19430449152 17057 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12923234 19430449152 17057 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68228 KiB

[startup+0.70053 s]
/proc/loadavg: 4.40 4.66 4.49 7/327 128120
/proc/meminfo: memFree=94262948/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=19041612 memory=92828 CPUtime=1.12 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 9443 0 0 0 105 7 0 0 20 0 19 0 12923227 19498610688 23207 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4760403 23207 5866 1 0 552672 0
[pid=128101/tid=128103] ppid=128098 vsize=19041612 memory=5572 CPUtime=0.6 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 6513 0 0 0 55 5 0 0 20 0 19 0 12923228 19498610688 23207 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19041612 memory=12412 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12923233 19498610688 23207 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19041612 memory=281085074530984 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 12923234 19498610688 23207 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12923276 19498610688 23207 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92828 KiB

[startup+1.50054 s]
/proc/loadavg: 4.40 4.66 4.49 6/327 128122
/proc/meminfo: memFree=93908720/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=171996 CPUtime=2.68 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 14128 0 0 0 258 10 0 0 20 0 20 0 12923227 19566772224 42999 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 42999 5898 1 0 553485 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=12412 CPUtime=1.36 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 6881 0 0 0 129 7 0 0 20 0 20 0 12923228 19566772224 42999 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 42999 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 42999 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=281085074384144 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 42999 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171996 KiB

[startup+3.11453 s]
/proc/loadavg: 4.40 4.66 4.49 6/328 128123
/proc/meminfo: memFree=93417224/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=529456 CPUtime=5.85 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 21730 0 0 0 563 22 0 0 20 0 20 0 12923227 19566772224 132364 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 132364 5914 1 0 761276 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=0 CPUtime=2.86 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 8009 0 0 0 270 16 0 0 20 0 20 0 12923228 19566772224 132364 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 132364 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 132364 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 132364 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 529456 KiB

[startup+6.30046 s]
/proc/loadavg: 4.45 4.66 4.49 5/328 128123
/proc/meminfo: memFree=91763696/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=1606336 CPUtime=10.28 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 23363 0 0 0 978 50 0 0 20 0 20 0 12923227 19566772224 401584 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 401584 5914 1 0 1014229 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=12412 CPUtime=5.92 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 8673 0 0 0 550 42 0 0 20 0 20 0 12923228 19566772224 401584 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 401584 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 401584 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=171996 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 401584 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 10.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1606336 KiB

[startup+12.7005 s]
/proc/loadavg: 4.41 4.65 4.49 5/326 128124
/proc/meminfo: memFree=89313068/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=3213520 CPUtime=17.36 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 24886 0 0 0 1643 93 0 0 20 0 20 0 12923227 19566772224 803380 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 803380 5914 1 0 1473782 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=0 CPUtime=11.88 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 9379 0 0 0 1108 80 0 0 20 0 20 0 12923228 19566772224 803380 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 803380 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=2533584 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 803380 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 803380 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 17.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3213520 KiB

[startup+25.5005 s]
/proc/loadavg: 4.46 4.65 4.49 6/327 128127
/proc/meminfo: memFree=85009916/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=3682788 CPUtime=31.11 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 26273 0 0 0 2988 123 0 0 20 0 20 0 12923227 19566772224 920697 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 920697 5914 1 0 1473800 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=2533584 CPUtime=24.08 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 10418 0 0 0 2300 108 0 0 20 0 20 0 12923228 19566772224 920697 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=-8598614568104403644 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 920697 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=49800 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 920697 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 920697 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 31.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3682788 KiB

[startup+51.1139 s]
/proc/loadavg: 4.50 4.65 4.49 5/327 128131
/proc/meminfo: memFree=78013644/131655788 swapFree=131071996/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=5864252 CPUtime=57.03 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 34084 0 0 0 5497 206 0 0 20 0 20 0 12923227 19566772224 1466063 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 1466063 5930 1 0 1766253 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=4835940 CPUtime=47.77 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 14337 0 0 0 4604 173 0 0 20 0 20 0 12923228 19566772224 1466063 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 68 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=49800 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 1466063 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0

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

Current children cumulated memory: 16205876 KiB

[startup+3222.3 s]
/proc/loadavg: 4.73 4.60 4.52 5/331 130177
/proc/meminfo: memFree=516680/131655788 swapFree=131070448/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=16214104 CPUtime=3256.43 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 18953639 0 0 0 320732 4911 0 0 20 0 20 0 12923227 19566772224 4053526 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 4053526 5945 1 0 4067920 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=16214100 CPUtime=3036.1 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 16103766 0 0 0 299141 4469 0 0 20 0 20 0 12923228 19566772224 4053526 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6125 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=16214100 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 4053526 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=16214100 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 1809 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 4053526 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 4053526 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 3256.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16214104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.55 4.56 4.51 6/338 130477
/proc/meminfo: memFree=513372/131655788 swapFree=131070448/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=16222312 CPUtime=3316.67 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 19288177 0 0 0 326684 4983 0 0 20 0 20 0 12923227 19566772224 4055578 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 4055578 5945 1 0 4070008 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=13956 CPUtime=3092.52 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 16244572 0 0 0 304725 4527 0 0 20 0 20 0 12923228 19566772224 4055578 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6249 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 4055578 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=2328 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 1810 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 4055578 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=16222312 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 4055578 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 3316.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16222312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.50 4.49 6/335 130495
/proc/meminfo: memFree=653744/131655788 swapFree=131070448/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=16224272 CPUtime=3378.86 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 20045222 0 0 0 332802 5084 0 0 20 0 20 0 12923227 19566772224 4056068 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 4056068 5945 1 0 4070026 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=50056 CPUtime=3149.22 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 16821540 0 0 0 310315 4607 0 0 20 0 20 0 12923228 19566772224 4056068 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6372 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=16214104 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 4056068 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=16224272 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 1810 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 4056068 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=16224272 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 4056068 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 3378.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16224272 KiB

[startup+3402.3 s]
/proc/loadavg: 4.50 4.52 4.50 6/335 130575
/proc/meminfo: memFree=27834208/131655788 swapFree=131070448/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=16232556 CPUtime=3435.65 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 20368279 0 0 0 338410 5155 0 0 20 0 20 0 12923227 19566772224 4058139 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 4058139 5945 1 0 4072114 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=16224272 CPUtime=3203.58 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 17081056 0 0 0 315686 4672 0 0 20 0 20 0 12923228 19566772224 4058139 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6788 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=16232556 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 4058139 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=16232556 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 1919 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 4058139 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=16232556 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 4058139 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 3435.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16232556 KiB

[startup+3462.3 s]
/proc/loadavg: 4.38 4.48 4.49 7/333 130722
/proc/meminfo: memFree=86903744/131655788 swapFree=131070448/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=16240764 CPUtime=3495.64 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 20389261 0 0 0 344351 5213 0 0 20 0 20 0 12923227 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 4060191 5945 1 0 4074202 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=16224272 CPUtime=3259.39 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 17093456 0 0 0 321211 4728 0 0 20 0 20 0 12923228 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6960 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=16232556 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=16232556 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 1920 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=5460 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 3495.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16240764 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.44 4.47 7/331 130732
/proc/meminfo: memFree=85261300/131655788 swapFree=131070448/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=16240764 CPUtime=3556.37 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 20467847 0 0 0 350363 5274 0 0 20 0 20 0 12923227 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 4060191 5945 1 0 4074202 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=16232556 CPUtime=3316.49 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 17119465 0 0 0 326869 4780 0 0 20 0 20 0 12923228 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7032 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=16232556 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 1920 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=16240764 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 4060191 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 3556.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16240764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3565 s]*
/proc/loadavg: 4.21 4.39 4.45 7/331 130739
/proc/meminfo: memFree=83745624/131655788 swapFree=131070448/131071996
[pid=128101] ppid=128098 vsize=19108176 memory=16248972 CPUtime=3600.01 cores=0,2
/proc/128101/stat : 128101 (java) S 128098 128101 125633 0 -1 1077936128 20468636 0 0 0 354684 5317 0 0 20 0 20 0 12923227 19566772224 4062243 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
/proc/128101/statm: 4777044 4062243 5945 1 0 4076290 0
[pid=128101/tid=128103] ppid=128098 vsize=19108176 memory=-9030953569605165756 CPUtime=3356.94 cores=0,2
/proc/128101/task/128103/stat : 128103 (java) R 128098 128101 125633 0 -1 4194368 17119533 0 0 0 330872 4822 0 0 20 0 20 0 12923228 19566772224 4062243 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7067 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128112] ppid=128098 vsize=19108176 memory=-7738167839326626937 CPUtime=0 cores=0,2
/proc/128101/task/128112/stat : 128112 (Finalizer) S 128098 128101 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12923233 19566772224 4062243 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128119] ppid=128098 vsize=19108176 memory=7296 CPUtime=0 cores=0,2
/proc/128101/task/128119/stat : 128119 (Common-Cleaner) S 128098 128101 125633 0 -1 1077936192 1920 0 0 0 0 0 0 0 20 0 20 0 12923234 19566772224 4062243 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
[pid=128101/tid=128120] ppid=128098 vsize=19108176 memory=28068 CPUtime=0 cores=0,2
/proc/128101/task/128120/stat : 128120 (Timer-0) S 128098 128101 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12923276 19566772224 4062243 134679101440 94135786401792 94135786405488 140720761335776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94135786413304 94135786414096 94135802884096 140720761340843 140720761341025 140720761341025 140720761348040 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16248972 KiB

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

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

# cumulated CPU time of all completed processes:  user=3547.31 s, system=53.5319 s

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

[startup+3565.6 s]
/proc/loadavg: 4.21 4.39 4.45 5/313 130742
/proc/meminfo: memFree=93031184/131655788 swapFree=131070448/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3565.8 s]
/proc/loadavg: 4.21 4.39 4.45 5/313 130742
/proc/meminfo: memFree=93031184/131655788 swapFree=131070448/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3565.84
CPU time (s): 3600.84
CPU user time (s): 3547.31
CPU system time (s): 53.5319
CPU usage (%): 100.982
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16249636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.31
system time used= 53.5319
maximum resident set size= 16250584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20471763
page faults= 0
swaps= 0
block input operations= 8
block output operations= 68007120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147486
involuntary context switches= 31815


# summary of solver processes directly reported to runsolver:
#   pid: 128101
#   total CPU time (s): 3600.84
#   total CPU user time (s): 3547.31
#   total CPU system time (s): 53.5319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.9904 second user time and 34.731 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-23 23:15:35
IDJOB=4440288
IDBENCH=147545
IDSOLVER=3079
FILE ID=nodeC012/4440288-1721769335
RUNJOBID= nodeC012-1721765708-125643
SLURM_JOB_ID= 7770677
Free space on /tmp= 723772 MiB

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

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

MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=749170174

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        94348888 kB
MemAvailable:   101609088 kB
Buffers:          198908 kB
Cached:          7862496 kB
SwapCached:            0 kB
Active:          1251296 kB
Inactive:       35388312 kB
Active(anon):       1440 kB
Inactive(anon): 28623052 kB
Active(file):    1249856 kB
Inactive(file):  6765260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            641640 kB
Writeback:             0 kB
AnonPages:      28577688 kB
Mapped:           127664 kB
Shmem:             45896 kB
KReclaimable:     170228 kB
Slab:             293356 kB
SReclaimable:     170228 kB
SUnreclaim:       123128 kB
KernelStack:        4944 kB
PageTables:        65848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   40908064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19232 kB
HardwareCorrupted:     0 kB
AnonHugePages:  28262400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      316232 kB
DirectMap2M:    35239936 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723720 MiB
End job on nodeC012 at 2024-07-24 00:15:01