Trace number 4424274

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 NameAnswerCPU timeWall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12OPTIMUM 1621.16 1604.38

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
MD5SUMc44296df46be636a3d5069e5616e3fa6
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark18.9546
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints927
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 45360
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45359
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
Number of bits of the biggest sum of numbers10
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.04/0.85	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.04/0.85	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.85	c See www.sat4j.org for details.
0.04/0.85	c version CUSTOM.v20240707
0.04/0.86	c java.runtime.name	OpenJDK Runtime Environment
0.04/0.86	c java.vm.name		OpenJDK 64-Bit Server VM
0.04/0.86	c java.vm.version	22.0.1+8-16
0.04/0.86	c java.vm.vendor	Oracle Corporation
0.04/0.86	c sun.arch.data.model	64
0.04/0.86	c java.version		22.0.1
0.04/0.86	c os.name		Linux
0.04/0.86	c os.version		4.18.0-301.1.el8.x86_64
0.04/0.86	c os.arch		amd64
0.04/0.87	c Free memory 		2106806208
0.04/0.87	c Max memory 		16282288128
0.04/0.87	c Total memory 		2113929216
0.04/0.87	c Number of processors 	2
0.17/0.93	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.17/0.93	 - never skip resolution steps
0.17/0.93	 - Auto-division on coefficients is disabled
0.17/0.93	 - No postprocessing
0.17/0.93	 - Conflict is considered as is when resolving
0.17/0.93	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.17/0.93	 - Weaken first using unassigned literals
0.17/0.93	 - Bump strategy: ALWAYS_ONE
0.17/0.93	 - Bumper: ASSIGNED
0.17/0.93	--- Begin Solver configuration ---
0.17/0.93	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.17/0.93	Learn all clauses as in MiniSAT
0.17/0.93	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.17/0.93	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.17/0.93	No reason simplification
0.17/0.93	Armin Biere (Picosat) restarts strategy
0.17/0.93	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.17/0.93	timeout=2147483s
0.17/0.93	DB Simplification allowed=false
0.17/0.93	Listener: none
0.17/0.93	--- End Solver configuration ---
0.17/0.94	c Pseudo Boolean Optimization by upper bound
0.17/0.94	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.17/0.94	c  - never skip resolution steps
0.17/0.94	c  - Auto-division on coefficients is disabled
0.17/0.94	c  - No postprocessing
0.17/0.94	c  - Conflict is considered as is when resolving
0.17/0.94	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.17/0.94	c  - Weaken first using unassigned literals
0.17/0.94	c  - Bump strategy: ALWAYS_ONE
0.17/0.94	c  - Bumper: ASSIGNED
0.17/0.94	c --- Begin Solver configuration ---
0.17/0.94	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.17/0.94	c Learn all clauses as in MiniSAT
0.17/0.94	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.17/0.94	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.17/0.94	c No reason simplification
0.17/0.94	c Armin Biere (Picosat) restarts strategy
0.17/0.94	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.17/0.94	c timeout=2147483s
0.17/0.94	c DB Simplification allowed=false
0.17/0.94	c Listener: none
0.17/0.94	c --- End Solver configuration ---
0.17/0.94	c solving HOME/instance-4424274-1720874152.wbo
0.17/0.94	c reading problem ... 
0.36/1.03	c ... done. Wall clock time 0.087s.
0.36/1.03	c declared #vars     231
0.36/1.03	c internal #vars     1158
0.36/1.03	c #constraints  2708
0.36/1.03	c constraints type 
0.36/1.03	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 156
0.36/1.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14
0.36/1.03	c org.sat4j.specs.Constr$1 => 1
0.36/1.03	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 9
0.36/1.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2528
0.36/1.03	c 2708 constraints processed.
0.36/1.04	c objective function length is 927 literals
0.56/1.14	c SATISFIABLE
0.56/1.14	c OPTIMIZING...
0.56/1.14	c Got one! Elapsed wall clock time (in seconds):0.199
0.56/1.14	o 5212
0.75/1.25	c Got one! Elapsed wall clock time (in seconds):0.308
0.75/1.25	o 5210
1.15/1.41	c Got one! Elapsed wall clock time (in seconds):0.476
1.15/1.41	o 5206
1.33/1.52	c Got one! Elapsed wall clock time (in seconds):0.581
1.33/1.52	o 5205
1.53/1.68	c Got one! Elapsed wall clock time (in seconds):0.74
1.53/1.68	o 5200
2.13/1.99	c Got one! Elapsed wall clock time (in seconds):1.051
2.13/1.99	o 5198
2.53/2.15	c Got one! Elapsed wall clock time (in seconds):1.216
2.53/2.15	o 5197
3.11/2.44	c Got one! Elapsed wall clock time (in seconds):1.491
3.11/2.44	o 5196
3.91/2.89	c Got one! Elapsed wall clock time (in seconds):1.948
3.91/2.89	o 5195
5.18/3.60	c Got one! Elapsed wall clock time (in seconds):2.654
5.18/3.60	o 5193
5.46/3.79	c Got one! Elapsed wall clock time (in seconds):2.846
5.46/3.79	o 5191
5.91/4.17	c Got one! Elapsed wall clock time (in seconds):3.237
5.91/4.17	o 5190
6.60/4.81	c Got one! Elapsed wall clock time (in seconds):3.872
6.60/4.81	o 5189
7.86/6.13	c Got one! Elapsed wall clock time (in seconds):5.197
7.86/6.13	o 5188
9.45/7.76	c Got one! Elapsed wall clock time (in seconds):6.819
9.45/7.76	o 5187
9.75/8.04	c Got one! Elapsed wall clock time (in seconds):7.104
9.75/8.04	o 5185
10.78/9.23	c Got one! Elapsed wall clock time (in seconds):8.296
10.78/9.23	o 5184
11.50/9.97	c Got one! Elapsed wall clock time (in seconds):9.035
11.50/9.97	o 5126
12.81/11.22	c Got one! Elapsed wall clock time (in seconds):10.282
12.81/11.22	o 5125
15.02/13.45	c Got one! Elapsed wall clock time (in seconds):12.517
15.02/13.45	o 5124
18.20/16.58	c Got one! Elapsed wall clock time (in seconds):15.642
18.20/16.58	o 5123
18.80/17.12	c Got one! Elapsed wall clock time (in seconds):16.185
18.80/17.12	o 5120
19.69/18.00	c Got one! Elapsed wall clock time (in seconds):17.067
19.69/18.00	o 5108
21.00/19.32	c Got one! Elapsed wall clock time (in seconds):18.388
21.00/19.32	o 5107
22.92/21.28	c Got one! Elapsed wall clock time (in seconds):20.343
22.92/21.28	o 5106
26.73/25.02	c Got one! Elapsed wall clock time (in seconds):24.079
26.73/25.02	o 5105
31.13/29.44	c Got one! Elapsed wall clock time (in seconds):28.504
31.13/29.44	o 5104
39.08/37.22	c Got one! Elapsed wall clock time (in seconds):36.285
39.08/37.22	o 5103
40.01/38.15	c Got one! Elapsed wall clock time (in seconds):37.216
40.01/38.15	o 5102
41.31/39.42	c Got one! Elapsed wall clock time (in seconds):38.48
41.31/39.42	o 5101
43.27/41.35	c Got one! Elapsed wall clock time (in seconds):40.413
43.27/41.35	o 5100
45.96/44.06	c Got one! Elapsed wall clock time (in seconds):43.128
45.96/44.06	o 5072
50.27/48.25	c Got one! Elapsed wall clock time (in seconds):47.315
50.27/48.25	o 5070
56.39/54.32	c Got one! Elapsed wall clock time (in seconds):53.387
56.39/54.32	o 5069
68.39/66.27	c Got one! Elapsed wall clock time (in seconds):65.337
68.39/66.27	o 5068
87.56/85.27	c Got one! Elapsed wall clock time (in seconds):84.329
87.56/85.27	o 5067
88.90/86.51	c Got one! Elapsed wall clock time (in seconds):85.569
88.90/86.51	o 5058
90.61/88.28	c Got one! Elapsed wall clock time (in seconds):87.343
90.61/88.28	o 5056
93.74/91.35	c Got one! Elapsed wall clock time (in seconds):90.41
93.74/91.35	o 5033
97.87/95.41	c Got one! Elapsed wall clock time (in seconds):94.47
97.87/95.41	o 5031
104.41/101.90	c Got one! Elapsed wall clock time (in seconds):100.963
104.41/101.90	o 5029
114.70/112.02	c Got one! Elapsed wall clock time (in seconds):111.085
114.70/112.02	o 774
129.96/127.28	c Got one! Elapsed wall clock time (in seconds):126.342
129.96/127.28	o 773
145.50/142.60	c cleaning 8718 clauses out of 17446 with flag 0/17446
147.81/144.85	c Got one! Elapsed wall clock time (in seconds):143.914
147.81/144.85	o 772
158.85/155.79	c Got one! Elapsed wall clock time (in seconds):154.85
158.85/155.79	o 771
159.35/156.29	c Got one! Elapsed wall clock time (in seconds):155.351
159.35/156.29	o 755
160.35/157.21	c Got one! Elapsed wall clock time (in seconds):156.276
160.35/157.21	o 676
162.00/158.83	c Got one! Elapsed wall clock time (in seconds):157.889
162.00/158.83	o 650
164.20/161.07	c Got one! Elapsed wall clock time (in seconds):160.131
164.20/161.07	o 644
168.08/164.86	c Got one! Elapsed wall clock time (in seconds):163.928
168.08/164.87	o 639
173.74/170.42	c Got one! Elapsed wall clock time (in seconds):169.48
173.74/170.42	o 634
183.69/180.29	c Got one! Elapsed wall clock time (in seconds):179.355
183.69/180.29	o 452
200.45/196.84	c Got one! Elapsed wall clock time (in seconds):195.905
200.45/196.84	o 425
211.97/208.18	c cleaning 8979 clauses out of 17962 with flag 0/26680
215.30/211.46	c Got one! Elapsed wall clock time (in seconds):210.524
215.30/211.46	o 401
234.75/230.53	c Got one! Elapsed wall clock time (in seconds):229.597
234.75/230.53	o 382
235.35/231.15	c Got one! Elapsed wall clock time (in seconds):230.209
235.35/231.15	o 381
238.55/234.15	c Got one! Elapsed wall clock time (in seconds):233.216
238.55/234.15	o 379
240.69/236.27	c Got one! Elapsed wall clock time (in seconds):235.33
240.69/236.27	o 372
247.77/243.27	c cleaning 8180 clauses out of 16410 with flag 0/34107
247.87/243.35	c Got one! Elapsed wall clock time (in seconds):242.409
247.87/243.35	o 365
250.21/245.63	c Got one! Elapsed wall clock time (in seconds):244.691
250.21/245.63	o 357
254.75/250.20	c Got one! Elapsed wall clock time (in seconds):249.261
254.75/250.20	o 355
268.74/263.94	c Got one! Elapsed wall clock time (in seconds):263.002
268.74/263.94	o 354
275.63/270.70	c cleaning 5170 clauses out of 14843 with flag 0/40720
281.10/276.13	c Got one! Elapsed wall clock time (in seconds):275.191
281.10/276.13	o 339
295.74/290.61	c cleaning 4534 clauses out of 15448 with flag 0/46495
301.83/296.69	c Got one! Elapsed wall clock time (in seconds):295.757
301.83/296.69	o 318
302.54/297.36	c Got one! Elapsed wall clock time (in seconds):296.426
302.54/297.36	o 316
304.29/299.02	c Got one! Elapsed wall clock time (in seconds):298.081
304.29/299.02	o 310
307.04/301.78	c Got one! Elapsed wall clock time (in seconds):300.848
307.04/301.78	o 286
311.60/306.27	c Got one! Elapsed wall clock time (in seconds):305.338
311.60/306.27	o 283
331.23/325.69	c Got one! Elapsed wall clock time (in seconds):324.753
331.23/325.69	o 270
339.96/334.39	c cleaning 6865 clauses out of 19594 with flag 0/55175
390.38/384.99	c cleaning 4840 clauses out of 18727 with flag 0/61173
404.63/399.05	c Got one! Elapsed wall clock time (in seconds):398.114
404.63/399.06	o 257
417.97/412.19	c Got one! Elapsed wall clock time (in seconds):411.254
417.97/412.19	o 256
425.40/419.49	c cleaning 5144 clauses out of 20214 with flag 0/67500
448.16/441.82	c cleaning 4765 clauses out of 21070 with flag 0/73500
451.32/444.95	c Got one! Elapsed wall clock time (in seconds):444.016
451.32/444.95	o 250
452.64/446.20	c Got one! Elapsed wall clock time (in seconds):445.259
452.64/446.20	o 233
469.32/462.73	c Got one! Elapsed wall clock time (in seconds):461.79
469.32/462.73	o 218
471.42/464.83	c Got one! Elapsed wall clock time (in seconds):463.892
471.42/464.83	o 192
482.28/475.62	c Got one! Elapsed wall clock time (in seconds):474.686
482.28/475.62	o 168
491.01/484.32	c cleaning 6052 clauses out of 23722 with flag 0/80917
499.80/493.09	c Got one! Elapsed wall clock time (in seconds):492.153
499.80/493.09	o 165
515.71/508.75	c cleaning 4498 clauses out of 23437 with flag 0/86684
521.38/514.37	c Got one! Elapsed wall clock time (in seconds):513.437
521.38/514.37	o 134
543.69/536.34	c cleaning 4293 clauses out of 24295 with flag 0/92040
554.99/547.67	c Got one! Elapsed wall clock time (in seconds):546.735
554.99/547.67	o 126
577.53/569.98	c cleaning 4891 clauses out of 25913 with flag 0/97951
587.87/580.10	c Got one! Elapsed wall clock time (in seconds):579.165
587.87/580.10	o 121
600.13/592.38	c cleaning 4515 clauses out of 26484 with flag 0/103413
630.64/622.60	c cleaning 4884 clauses out of 27970 with flag 0/109414
654.56/646.47	c Got one! Elapsed wall clock time (in seconds):645.534
654.56/646.47	o 97
673.27/665.06	c Got one! Elapsed wall clock time (in seconds):664.128
673.27/665.06	o 95
717.94/709.41	c cleaning 8608 clauses out of 33400 with flag 0/119728
731.15/722.55	c Got one! Elapsed wall clock time (in seconds):721.613
731.15/722.55	o 94
761.87/752.79	c cleaning 4880 clauses out of 30633 with flag 0/125569
765.61/756.43	c Got one! Elapsed wall clock time (in seconds):755.496
765.61/756.43	o 73
815.29/806.53	c cleaning 5012 clauses out of 31669 with flag 0/131485
816.42/807.64	c Got one! Elapsed wall clock time (in seconds):806.706
816.42/807.64	o 69
849.85/840.83	c cleaning 4544 clauses out of 32139 with flag 0/136967
862.89/853.74	c Got one! Elapsed wall clock time (in seconds):852.807
862.89/853.74	o 51
877.58/868.22	c cleaning 4588 clauses out of 33088 with flag 0/142460
911.49/901.99	c cleaning 5066 clauses out of 34503 with flag 0/148463
927.32/917.64	c Got one! Elapsed wall clock time (in seconds):916.708
927.32/917.65	o 44
934.91/925.14	c cleaning 4459 clauses out of 34711 with flag 0/153737
976.09/965.90	c cleaning 4905 clauses out of 36251 with flag 0/159736
1016.65/1005.72	c cleaning 5920 clauses out of 38347 with flag 0/166737
1039.07/1027.82	c Got one! Elapsed wall clock time (in seconds):1026.888
1039.07/1027.82	o 43
1041.67/1030.42	c Got one! Elapsed wall clock time (in seconds):1029.485
1041.67/1030.42	o 34
1089.00/1077.35	c Got one! Elapsed wall clock time (in seconds):1076.413
1089.00/1077.35	o 32
1125.20/1113.26	c cleaning 9184 clauses out of 43532 with flag 0/177842
1142.06/1130.07	c Got one! Elapsed wall clock time (in seconds):1129.128
1142.06/1130.07	o 30
1168.08/1155.95	c cleaning 4876 clauses out of 40151 with flag 0/183645
1175.99/1163.82	c Got one! Elapsed wall clock time (in seconds):1162.883
1175.99/1163.82	o 21
1192.78/1180.57	c cleaning 4193 clauses out of 40366 with flag 0/188736
1245.87/1232.88	c cleaning 5091 clauses out of 42173 with flag 0/194736
1281.70/1268.48	c Got one! Elapsed wall clock time (in seconds):1267.54
1281.70/1268.48	o 16
1291.60/1278.30	c cleaning 4226 clauses out of 42122 with flag 0/199776
1329.67/1315.99	c cleaning 5081 clauses out of 43896 with flag 0/205776
1339.14/1325.31	c Got one! Elapsed wall clock time (in seconds):1324.377
1339.14/1325.31	o 11
1363.36/1349.35	c cleaning 4361 clauses out of 44118 with flag 0/211079
1402.07/1387.71	c cleaning 5016 clauses out of 45758 with flag 0/217080
1471.00/1455.79	c cleaning 5847 clauses out of 47742 with flag 0/224080
1569.93/1553.97	c cleaning 6774 clauses out of 49896 with flag 0/232081
1621.07/1604.33	c starts		: 212
1621.07/1604.35	c conflicts		: 237085
1621.07/1604.35	c decisions		: 971463
1621.07/1604.35	c propagations		: 14326893
1621.07/1604.35	c inspects		: 1051739856
1621.07/1604.35	c shortcuts		: 0
1621.07/1604.35	c learnt literals	: 0
1621.07/1604.35	c learnt binary clauses	: 0
1621.07/1604.35	c learnt ternary clauses	: 4
1621.07/1604.35	c learnt constraints	: 237084
1621.07/1604.35	c ignored constraints	: 0
1621.07/1604.35	c root simplifications	: 0
1621.07/1604.35	c removed literals (reason simplification)	: 0
1621.07/1604.35	c reason swapping (by a shorter reason)	: 0
1621.07/1604.35	c Calls to reduceDB	: 34
1621.07/1604.35	c Number of update (reduction) of LBD	: 20511
1621.07/1604.35	c Imported unit clauses	: 0
1621.07/1604.35	c No decision after first conflict	: false
1621.07/1604.35	c number of reductions to clauses (during analyze)	: 0
1621.07/1604.35	c number of learned constraints concerned by reduction	: 0
1621.07/1604.35	c number of learning phase by resolution	: 0
1621.07/1604.35	c number of learning phase by cutting planes	: 0
1621.07/1604.35	c number of rounding to 1 operations	: 691086
1621.07/1604.35	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1621.07/1604.35	c number of reductions of the coefficients by power 2 	: 0
1621.07/1604.35	c number of right shift for reduction by power 2 	: 0
1621.07/1604.35	c number of reductions of the coefficients by GCD over coefficients 	: 0
1621.07/1604.35	c number of ending skipping 	: 0
1621.07/1604.35	c number of internal skipping 	: 0
1621.07/1604.35	c number of derivation steps 	: 2124390
1621.07/1604.35	c number of skipped derivation steps 	: 0
1621.07/1604.35	c number of remaining unassigned 	: 800086
1621.07/1604.35	c number of remaining assigned 	: 60961708
1621.07/1604.35	c number of falsified literals weakened from reason	: 0
1621.07/1604.35	c number of falsified literals weakened from conflict	: 0
1621.07/1604.35	c time for arithmetic operations	: 4466182266
1621.07/1604.35	c minimum degree of deleted constraints	: 4
1621.07/1604.35	c maximum degree of deleted constraints	: 59990116
1621.07/1604.35	c number of deleted constraints	: 188959
1621.07/1604.35	c speed (assignments/second)	: 8935.816569586314
1621.07/1604.35	c non guided choices	: 8695
1621.07/1604.35	s OPTIMUM FOUND
1621.07/1604.35	c Found 94 solution(s)
1621.07/1604.35	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 
1621.07/1604.35	c objective function=11
1621.07/1604.35	c Total wall clock time (in seconds): 1603.416

Verifier Data 

OK	11

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: 63968 MiB (63180 MiB free)
  memory of node 1: 64473 MiB (63746 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424274-1720874152/watcher-4424274-1720874152 -o /tmp/evaluation-result-4424274-1720874152/solver-4424274-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720874164-705589 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424274-1720874152.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=705637, runsolver pid=705628
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 0.10 0.09 0.09 3/258 705653
/proc/meminfo: memFree=129968880/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=37736 memory=2048 CPUtime=0 cores=5,7
/proc/705637/stat : 705637 (java) D 705628 705637 705576 0 -1 4194304 151 0 3 0 0 0 0 0 20 0 1 0 139581893 38641664 512 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 0 0 0 0 17 5 0 0 3 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 9434 512 468 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2048 KiB

[startup+0.206687 s]*
/proc/loadavg: 0.41 0.16 0.11 3/258 705653
/proc/meminfo: memFree=129960360/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=37736 memory=5592 CPUtime=0 cores=5,7
/proc/705637/stat : 705637 (java) D 705628 705637 705576 0 -1 4194304 452 0 4 0 0 0 0 0 20 0 1 0 139581893 38641664 1398 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 0 0 0 0 17 5 0 0 13 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 9434 1398 1124 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 5592 KiB

[startup+0.305482 s]*
/proc/loadavg: 0.41 0.16 0.11 1/259 705654
/proc/meminfo: memFree=129956544/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=37736 memory=7088 CPUtime=0 cores=5,7
/proc/705637/stat : 705637 (java) D 705628 705637 705576 0 -1 4194304 552 0 13 0 0 0 0 0 20 0 1 0 139581893 38641664 1772 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 0 0 0 0 17 5 0 0 23 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 9434 1772 1420 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 7088 KiB

[startup+0.700204 s]
/proc/loadavg: 0.41 0.16 0.11 2/263 705658
/proc/meminfo: memFree=129950532/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=18175400 memory=28480 CPUtime=0.01 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 2374 0 36 0 0 1 0 0 20 0 7 0 139581893 18611609600 7120 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16784588 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4543850 7120 3604 1 0 542675 0
[pid=705637/tid=705657] ppid=705628 vsize=18175400 memory=1844 CPUtime=0 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 1795 0 22 0 0 0 0 0 20 0 7 0 139581929 18611609600 7120 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 28480 KiB

[startup+1.50022 s]
/proc/loadavg: 0.41 0.16 0.11 14/329 705724
/proc/meminfo: memFree=129707016/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=182200 CPUtime=1.33 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 15598 0 67 0 127 6 0 0 20 0 20 0 139581893 19566772224 45550 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 45550 5836 1 0 555041 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=1844 CPUtime=0.66 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 6222 0 41 0 63 3 0 0 20 0 20 0 139581929 19566772224 45550 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 45550 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=35068 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 45550 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182200 KiB

[startup+3.1065 s]
/proc/loadavg: 0.41 0.16 0.11 8/334 705861
/proc/meminfo: memFree=125170076/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=410992 CPUtime=4.5 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 23137 0 67 0 440 10 0 0 20 0 20 0 139581893 19566772224 102748 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 102748 5871 1 0 555050 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=-8600578308789674684 CPUtime=2.21 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 7452 0 41 0 214 7 0 0 20 0 20 0 139581929 19566772224 102748 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 102748 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 102748 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 102748 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 410992 KiB

[startup+6.3005 s]
/proc/loadavg: 0.78 0.24 0.14 5/334 705861
/proc/meminfo: memFree=122329564/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=1160644 CPUtime=8.06 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 23788 0 67 0 780 26 0 0 20 0 20 0 139581893 19566772224 290161 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 290161 5871 1 0 555051 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=11476 CPUtime=5.28 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 7926 0 41 0 507 21 0 0 20 0 20 0 139581929 19566772224 290161 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=182200 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 290161 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 290161 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 290161 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1160644 KiB

[startup+12.7005 s]
/proc/loadavg: 1.12 0.32 0.16 5/335 705864
/proc/meminfo: memFree=120671700/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=1324752 CPUtime=14.33 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 27328 0 67 0 1401 32 0 0 20 0 20 0 139581893 19566772224 331188 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 331188 5871 1 0 555051 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=0 CPUtime=11.34 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 9519 0 41 0 1107 27 0 0 20 0 20 0 139581929 19566772224 331188 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 331188 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 331188 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=1777 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 331188 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1324752 KiB

[startup+25.5002 s]
/proc/loadavg: 1.76 0.50 0.23 5/335 705865
/proc/meminfo: memFree=119228360/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=1347336 CPUtime=27.23 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 32749 0 67 0 2690 33 0 0 20 0 20 0 139581893 19566772224 336834 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 336834 5871 1 0 555051 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=0 CPUtime=23.99 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 11377 0 41 0 2372 27 0 0 20 0 20 0 139581929 19566772224 336834 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=1324788 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 336834 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 336834 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=1347332 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 336834 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 27.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1347336 KiB

[startup+51.1003 s]
/proc/loadavg: 2.75 0.83 0.34 5/336 705871
/proc/meminfo: memFree=119042800/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=1382424 CPUtime=53.16 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 41236 0 67 0 5280 36 0 0 20 0 20 0 139581893 19566772224 345606 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 345606 5871 1 0 555051 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=1357576 CPUtime=49.21 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 14284 0 41 0 4894 27 0 0 20 0 20 0 139581929 19566772224 345606 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=1359664 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 345606 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 345606 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=1382420 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 345606 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 53.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1382424 KiB

[startup+102.306 s]
/proc/loadavg: 3.67 1.38 0.56 5/337 705881
/proc/meminfo: memFree=118903388/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=1458600 CPUtime=104.92 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 50499 0 67 0 10451 41 0 0 20 0 20 0 139581893 19566772224 364650 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 364650 5872 1 0 555067 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=1359664 CPUtime=99.59 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 18119 0 41 0 9932 27 0 0 20 0 20 0 139581929 19566772224 364650 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=1450240 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 364650 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=1450240 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 364650 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=-8600578308789674684 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 364650 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 104.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1458600 KiB

[startup+162.306 s]

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

/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 543903 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1376.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175612 KiB

[startup+1422.3 s]
/proc/loadavg: 4.09 4.11 3.32 5/335 706678
/proc/meminfo: memFree=117051884/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=2178832 CPUtime=1437.29 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 179468 0 68 0 143606 123 0 0 20 0 20 0 139581893 19566772224 544708 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 544708 5920 1 0 556702 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=2232 CPUtime=1391.51 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 60861 0 41 0 139116 35 0 0 20 0 20 0 139581929 19566772224 544708 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=2175616 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 544708 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=2178832 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 911 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 544708 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=2232 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 544708 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1437.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178832 KiB

[startup+1482.3 s]
/proc/loadavg: 4.14 4.12 3.38 5/334 706692
/proc/meminfo: memFree=117003228/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=2186092 CPUtime=1497.91 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 182974 0 68 0 149666 125 0 0 20 0 20 0 139581893 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 546523 5917 1 0 556702 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=2175616 CPUtime=1450.5 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 62702 0 41 0 145015 35 0 0 20 0 20 0 139581929 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=2178832 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=2186088 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 939 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=2186092 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1497.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186092 KiB

[startup+1542.3 s]
/proc/loadavg: 4.05 4.10 3.42 5/334 706714
/proc/meminfo: memFree=116972076/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=2186092 CPUtime=1558.24 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 184963 0 68 0 155697 127 0 0 20 0 20 0 139581893 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 546523 5917 1 0 556702 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=-8600578308789674684 CPUtime=1509.81 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 63969 0 41 0 150946 35 0 0 20 0 20 0 139581929 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=2186092 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 1003 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=1936 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 546523 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1558.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186092 KiB

[startup+1602.3 s]
/proc/loadavg: 4.24 4.14 3.48 5/334 706724
/proc/meminfo: memFree=116949304/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=2186112 CPUtime=1619.08 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 190320 0 68 0 161778 130 0 0 20 0 20 0 139581893 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 546528 5917 1 0 556702 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=-8600578308789674684 CPUtime=1568.52 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 66033 0 41 0 156817 35 0 0 20 0 20 0 139581929 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=12504 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=2186112 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 1050 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=32592 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1619.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186112 KiB

[startup+1604.38 s]
# the end of solver process 705637 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1619.84 s, system=1.31527 s

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

[startup+1603.6 s]
/proc/loadavg: 4.24 4.14 3.48 5/334 706724
/proc/meminfo: memFree=116949288/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=2186112 CPUtime=1620.36 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 190322 0 68 0 161906 130 0 0 20 0 20 0 139581893 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 546528 5917 1 0 556702 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=11476 CPUtime=1569.81 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 66034 0 41 0 156946 35 0 0 20 0 20 0 139581929 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=35068 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=12504 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 1050 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=5544 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1620.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186112 KiB

[startup+1604 s]
/proc/loadavg: 4.24 4.14 3.48 5/334 706724
/proc/meminfo: memFree=116949288/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=2186112 CPUtime=1620.76 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 190322 0 68 0 161946 130 0 0 20 0 20 0 139581893 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 546528 5917 1 0 556702 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=19216 CPUtime=1570.21 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 66034 0 41 0 156986 35 0 0 20 0 20 0 139581929 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=-8600578308789674684 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=32176 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 1050 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=28476 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 546528 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1620.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186112 KiB

[startup+1604.2 s]
/proc/loadavg: 4.24 4.14 3.48 5/334 706724
/proc/meminfo: memFree=116949288/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=2186148 CPUtime=1620.97 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 190432 0 68 0 161967 130 0 0 20 0 20 0 139581893 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 546537 5917 1 0 556711 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=-8600578308789674684 CPUtime=1570.41 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 66080 0 41 0 157006 35 0 0 20 0 20 0 139581929 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=1992 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=25896 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 1050 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=39072 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1620.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186148 KiB

[startup+1604.3 s]
/proc/loadavg: 4.24 4.14 3.48 5/334 706724
/proc/meminfo: memFree=116949288/131524600 swapFree=131071996/131071996
[pid=705637] ppid=705628 vsize=19108176 memory=2186148 CPUtime=1621.07 cores=5,7
/proc/705637/stat : 705637 (java) S 705628 705637 705576 0 -1 1077936128 190432 0 68 0 161977 130 0 0 20 0 20 0 139581893 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 29 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
/proc/705637/statm: 4777044 546537 5917 1 0 556711 0
[pid=705637/tid=705657] ppid=705628 vsize=19108176 memory=-8600578308789674684 CPUtime=1570.51 cores=5,7
/proc/705637/task/705657/stat : 705657 (java) R 705628 705637 705576 0 -1 4194368 66080 0 41 0 157016 35 0 0 20 0 20 0 139581929 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705693] ppid=705628 vsize=19108176 memory=12504 CPUtime=0 cores=5,7
/proc/705637/task/705693/stat : 705693 (Finalizer) S 705628 705637 705576 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705722] ppid=705628 vsize=19108176 memory=2186112 CPUtime=0 cores=5,7
/proc/705637/task/705722/stat : 705722 (Common-Cleaner) S 705628 705637 705576 0 -1 1077936192 1050 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
[pid=705637/tid=705729] ppid=705628 vsize=19108176 memory=32592 CPUtime=0 cores=5,7
/proc/705637/task/705729/stat : 705729 (Timer-0) S 705628 705637 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581997 19566772224 546537 134679101440 93833092276224 93833092279920 140720751566384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93833092287736 93833092288528 93833099657216 140720751571926 140720751572039 140720751572039 140720751579080 0
Current children cumulated CPU time: 1621.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186148 KiB

Child status: 30

Real time (s): 1604.38
CPU time (s): 1621.16
CPU user time (s): 1619.84
CPU system time (s): 1.31527
CPU usage (%): 101.046
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2186148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1619.84
system time used= 1.31527
maximum resident set size= 2187444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191711
page faults= 68
swaps= 0
block input operations= 10168
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66587
involuntary context switches= 6631


# summary of solver processes directly reported to runsolver:
#   pid: 705637
#   total CPU time (s): 1621.16
#   total CPU user time (s): 1619.84
#   total CPU system time (s): 1.31527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.45612 second user time and 10.2509 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-13 14:36:05
IDJOB=4424274
IDBENCH=143612
IDSOLVER=3035
FILE ID=nodeC027/4424274-1720874152
RUNJOBID= nodeC027-1720874164-705589
SLURM_JOB_ID= 7483768
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424274-1720874152/watcher-4424274-1720874152 -o /tmp/evaluation-result-4424274-1720874152/solver-4424274-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720874164-705589 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424274-1720874152.wbo

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

MD5SUM BENCH= c44296df46be636a3d5069e5616e3fa6
RANDOM SEED=450756964

nodeC027.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	: 0xb00002a
cpu MHz		: 2904.739
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3267.012
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2357.936
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3093.288
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2930.428
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2809.641
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2230.006
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3328.245
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129972932 kB
MemAvailable:   129797224 kB
Buffers:          314976 kB
Cached:           358704 kB
SwapCached:            0 kB
Active:           444168 kB
Inactive:         560292 kB
Active(anon):       1484 kB
Inactive(anon):   367080 kB
Active(file):     442684 kB
Inactive(file):   193212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2760 kB
Writeback:             0 kB
AnonPages:        329084 kB
Mapped:           101332 kB
Shmem:             37720 kB
KReclaimable:      56436 kB
Slab:             152392 kB
SReclaimable:      56436 kB
SUnreclaim:        95956 kB
KernelStack:        4032 kB
PageTables:        10012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     605172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53504 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 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:      170708 kB
DirectMap2M:     7991296 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC027 at 2024-07-13 15:02:49