Trace number 4447511

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 Cutting Planes 2024 2024-07-12UNSAT 2330.79 2314.49

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n94-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMd3332ca740d3ae6dd3f9a6cb3b2999d7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark588.803
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables141
Total number of constraints376
Number of constraints which are clauses376
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.14	c See www.sat4j.org for details.
0.11/0.15	c version CUSTOM.v20240707
0.11/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.17	c java.vm.version	22.0.1+8-16
0.11/0.17	c java.vm.vendor	Oracle Corporation
0.11/0.17	c sun.arch.data.model	64
0.11/0.17	c java.version		22.0.1
0.11/0.17	c os.name		Linux
0.11/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.17	c os.arch		amd64
0.11/0.18	c Free memory 		2115194816
0.11/0.18	c Max memory 		16282288128
0.11/0.18	c Total memory 		2122317824
0.11/0.19	c Number of processors 	2
0.42/0.36	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.42/0.36	 - never skip resolution steps
0.42/0.36	 - Auto-division on coefficients is disabled
0.42/0.36	 - No postprocessing
0.42/0.36	 - Conflict is considered as is when resolving
0.42/0.36	 - Use constraints as they come during conflict analysis
0.42/0.36	 - Weaken first using unassigned literals
0.42/0.36	 - Bump strategy: ALWAYS_ONE
0.42/0.36	 - Bumper: EFFECTIVE
0.42/0.36	--- Begin Solver configuration ---
0.42/0.36	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.42/0.36	Learn all clauses as in MiniSAT
0.42/0.36	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.36	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.42/0.36	No reason simplification
0.42/0.36	Dynamic restart strategy considering the size of the coefficients
0.42/0.36	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.42/0.36	timeout=2147483s
0.42/0.36	DB Simplification allowed=false
0.42/0.36	Listener: none
0.42/0.36	--- End Solver configuration ---
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.42/0.37	c  - never skip resolution steps
0.42/0.37	c  - Auto-division on coefficients is disabled
0.42/0.37	c  - No postprocessing
0.42/0.37	c  - Conflict is considered as is when resolving
0.42/0.37	c  - Use constraints as they come during conflict analysis
0.42/0.37	c  - Weaken first using unassigned literals
0.42/0.37	c  - Bump strategy: ALWAYS_ONE
0.42/0.37	c  - Bumper: EFFECTIVE
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.42/0.37	c No reason simplification
0.42/0.37	c Dynamic restart strategy considering the size of the coefficients
0.42/0.37	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4447511-1721356315.opb
0.42/0.37	c reading problem ... 
0.42/0.37	c  no objective function found
0.61/0.45	c ... done. Wall clock time 0.081s.
0.61/0.45	c declared #vars     141
0.61/0.45	c #constraints  376
0.61/0.45	c constraints type 
0.61/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 376
0.61/0.46	c 376 constraints processed.
2.31/1.38	c cleaning 2496 clauses out of 5001 with flag 0/5001
3.30/1.84	c cleaning 4246 clauses out of 8504 with flag 0/11000
4.09/2.22	c cleaning 5624 clauses out of 11258 with flag 0/18000
4.60/2.59	c cleaning 6812 clauses out of 13634 with flag 0/26000
5.21/3.05	c cleaning 7904 clauses out of 15822 with flag 0/35000
5.90/3.61	c cleaning 8957 clauses out of 17919 with flag 0/45001
6.79/4.15	c cleaning 9977 clauses out of 19961 with flag 0/56000
7.38/4.70	c cleaning 10987 clauses out of 21984 with flag 0/68000
7.87/5.27	c cleaning 11995 clauses out of 23998 with flag 0/81001
8.59/5.91	c cleaning 12993 clauses out of 26002 with flag 0/95000
9.19/6.57	c cleaning 14001 clauses out of 28009 with flag 0/110000
9.80/7.20	c cleaning 14997 clauses out of 30008 with flag 0/126000
10.58/7.85	c cleaning 15998 clauses out of 32012 with flag 0/143001
11.38/8.58	c cleaning 17000 clauses out of 34013 with flag 0/161000
12.37/9.56	c cleaning 17994 clauses out of 36014 with flag 0/180001
13.47/10.63	c cleaning 19004 clauses out of 38020 with flag 0/200001
14.46/11.66	c cleaning 19999 clauses out of 40015 with flag 0/221000
15.67/12.86	c cleaning 21002 clauses out of 42017 with flag 0/243001
16.98/14.15	c cleaning 21998 clauses out of 44015 with flag 0/266001
18.26/15.43	c cleaning 22997 clauses out of 46017 with flag 0/290001
19.57/16.70	c cleaning 24002 clauses out of 48020 with flag 0/315001
20.77/17.98	c cleaning 25004 clauses out of 50018 with flag 0/341001
22.36/19.52	c cleaning 26000 clauses out of 52014 with flag 0/368001
23.56/20.79	c cleaning 26996 clauses out of 54014 with flag 0/396001
24.99/22.13	c cleaning 28001 clauses out of 56017 with flag 0/425000
26.37/23.59	c cleaning 28999 clauses out of 58017 with flag 0/455001
27.76/24.97	c cleaning 30001 clauses out of 60018 with flag 0/486001
29.26/26.41	c cleaning 30998 clauses out of 62016 with flag 0/518000
30.74/27.88	c cleaning 32005 clauses out of 64018 with flag 0/551000
32.15/29.28	c cleaning 33000 clauses out of 66013 with flag 0/585000
34.35/31.41	c cleaning 34000 clauses out of 68014 with flag 0/620001
36.16/33.25	c cleaning 34999 clauses out of 70013 with flag 0/656000
37.96/35.08	c cleaning 36004 clauses out of 72015 with flag 0/693001
39.96/37.10	c cleaning 37002 clauses out of 74011 with flag 0/731001
41.97/39.06	c cleaning 37998 clauses out of 76009 with flag 0/770001
43.85/40.98	c cleaning 39000 clauses out of 78011 with flag 0/810001
45.85/42.91	c cleaning 40000 clauses out of 80010 with flag 0/851000
47.86/44.93	c cleaning 41000 clauses out of 82010 with flag 0/893000
49.97/47.02	c cleaning 41998 clauses out of 84011 with flag 0/936001
52.06/49.12	c cleaning 43001 clauses out of 86013 with flag 0/980001
54.24/51.35	c cleaning 44000 clauses out of 88011 with flag 0/1025000
56.44/53.57	c cleaning 44998 clauses out of 90011 with flag 0/1071000
58.85/55.96	c cleaning 46001 clauses out of 92015 with flag 0/1118002
61.15/58.20	c cleaning 46996 clauses out of 94012 with flag 0/1166000
63.56/60.64	c cleaning 48005 clauses out of 96017 with flag 0/1215001
66.84/63.90	c cleaning 49003 clauses out of 98011 with flag 0/1265000
69.54/66.61	c cleaning 49997 clauses out of 100008 with flag 0/1316000
72.25/69.34	c cleaning 50998 clauses out of 102011 with flag 0/1368000
75.15/72.28	c cleaning 52001 clauses out of 104014 with flag 0/1421001
77.89/74.90	c cleaning 53002 clauses out of 106013 with flag 0/1475001
80.42/77.49	c cleaning 54001 clauses out of 108011 with flag 0/1530001
83.73/80.75	c cleaning 55000 clauses out of 110010 with flag 0/1586001
87.15/84.19	c cleaning 56005 clauses out of 112010 with flag 0/1643001
90.65/87.66	c cleaning 56999 clauses out of 114004 with flag 0/1701000
94.40/91.35	c cleaning 57999 clauses out of 116007 with flag 0/1760002
97.69/94.66	c cleaning 58994 clauses out of 118006 with flag 0/1820000
101.63/98.50	c cleaning 60001 clauses out of 120013 with flag 0/1881001
105.21/102.02	c cleaning 60998 clauses out of 122012 with flag 0/1943001
108.59/105.49	c cleaning 61999 clauses out of 124014 with flag 0/2006001
112.41/109.29	c cleaning 63005 clauses out of 126014 with flag 0/2070000
116.56/113.32	c cleaning 63995 clauses out of 128010 with flag 0/2135001
120.45/117.24	c cleaning 65001 clauses out of 130014 with flag 0/2201000
124.50/121.21	c cleaning 66003 clauses out of 132013 with flag 0/2268000
128.82/125.52	c cleaning 67000 clauses out of 134011 with flag 0/2336001
133.06/129.79	c cleaning 68004 clauses out of 136012 with flag 0/2405002
137.68/134.39	c cleaning 68998 clauses out of 138007 with flag 0/2475001
141.97/138.64	c cleaning 70004 clauses out of 140009 with flag 0/2546001
146.62/143.29	c cleaning 70999 clauses out of 142004 with flag 0/2618000
151.25/147.89	c cleaning 72000 clauses out of 144005 with flag 0/2691000
156.78/153.37	c cleaning 72996 clauses out of 146005 with flag 0/2765000
162.24/158.72	c cleaning 73999 clauses out of 148009 with flag 0/2840000
167.09/163.59	c cleaning 74998 clauses out of 150010 with flag 0/2916000
171.95/168.38	c cleaning 76004 clauses out of 152013 with flag 0/2993001
177.86/174.23	c cleaning 77000 clauses out of 154008 with flag 0/3071000
183.22/179.58	c cleaning 78002 clauses out of 156009 with flag 0/3150001
187.66/183.90	c cleaning 78998 clauses out of 158007 with flag 0/3230001
193.05/189.30	c cleaning 79998 clauses out of 160009 with flag 0/3311001
198.34/194.62	c cleaning 81001 clauses out of 162010 with flag 0/3393000
203.75/200.06	c cleaning 82001 clauses out of 164009 with flag 0/3476000
208.97/205.26	c cleaning 82997 clauses out of 166008 with flag 0/3560000
214.56/210.82	c cleaning 84006 clauses out of 168012 with flag 0/3645001
220.30/216.54	c cleaning 85000 clauses out of 170006 with flag 0/3731001
226.02/222.26	c cleaning 85997 clauses out of 172005 with flag 0/3818000
231.07/227.28	c cleaning 87002 clauses out of 174008 with flag 0/3906000
236.51/232.68	c cleaning 88000 clauses out of 176007 with flag 0/3995001
241.98/238.03	c cleaning 89001 clauses out of 178006 with flag 0/4085000
247.53/243.53	c cleaning 89999 clauses out of 180005 with flag 0/4176000
253.21/249.12	c cleaning 91001 clauses out of 182007 with flag 0/4268001
258.95/254.84	c cleaning 91995 clauses out of 184006 with flag 0/4361001
264.72/260.57	c cleaning 93002 clauses out of 186011 with flag 0/4455001
270.30/266.07	c cleaning 94000 clauses out of 188008 with flag 0/4550000
275.95/271.67	c cleaning 95000 clauses out of 190008 with flag 0/4646000
283.12/278.62	c cleaning 96000 clauses out of 192009 with flag 0/4743001
289.19/284.61	c cleaning 97002 clauses out of 194008 with flag 0/4841000
294.97/290.39	c cleaning 97995 clauses out of 196007 with flag 0/4940001
302.05/297.38	c cleaning 98999 clauses out of 198012 with flag 0/5040001
309.04/304.21	c cleaning 99999 clauses out of 200013 with flag 0/5141001
316.12/311.27	c cleaning 101002 clauses out of 202014 with flag 0/5243001
323.49/318.41	c cleaning 102005 clauses out of 204011 with flag 0/5346000
330.07/324.98	c cleaning 102999 clauses out of 206007 with flag 0/5450001
337.04/331.88	c cleaning 103999 clauses out of 208007 with flag 0/5555000
343.92/338.66	c cleaning 105000 clauses out of 210009 with flag 0/5661001
350.59/345.22	c cleaning 106000 clauses out of 212008 with flag 0/5768000
357.34/351.80	c cleaning 107001 clauses out of 214008 with flag 0/5876000
364.02/358.49	c cleaning 108000 clauses out of 216008 with flag 0/5985001
370.82/365.12	c cleaning 108998 clauses out of 218007 with flag 0/6095000
377.57/371.84	c cleaning 110000 clauses out of 220010 with flag 0/6206001
384.63/378.77	c cleaning 111003 clauses out of 222010 with flag 0/6318001
391.59/385.67	c cleaning 111997 clauses out of 224006 with flag 0/6431000
398.54/392.57	c cleaning 112997 clauses out of 226010 with flag 0/6545001
405.98/399.95	c cleaning 113999 clauses out of 228012 with flag 0/6660000
414.24/408.17	c cleaning 115002 clauses out of 230013 with flag 0/6776000
421.48/415.35	c cleaning 116005 clauses out of 232013 with flag 0/6893002
428.72/422.57	c cleaning 116999 clauses out of 234006 with flag 0/7011000
437.23/431.10	c cleaning 118000 clauses out of 236007 with flag 0/7130000
446.48/440.21	c cleaning 119001 clauses out of 238008 with flag 0/7250001
456.58/450.33	c cleaning 120000 clauses out of 240007 with flag 0/7371001
465.82/459.52	c cleaning 121002 clauses out of 242007 with flag 0/7493001
475.11/468.80	c cleaning 121996 clauses out of 244004 with flag 0/7616000
485.12/478.78	c cleaning 123002 clauses out of 246009 with flag 0/7740001
494.76/488.35	c cleaning 124000 clauses out of 248006 with flag 0/7865000
504.49/498.02	c cleaning 125000 clauses out of 250007 with flag 0/7991001
515.45/507.72	c cleaning 125998 clauses out of 252007 with flag 0/8118001
524.92/517.11	c cleaning 126999 clauses out of 254008 with flag 0/8246000
533.62/525.83	c cleaning 127996 clauses out of 256010 with flag 0/8375001
542.99/535.11	c cleaning 129001 clauses out of 258013 with flag 0/8505000
552.63/544.78	c cleaning 130003 clauses out of 260013 with flag 0/8636001
561.68/553.78	c cleaning 131000 clauses out of 262009 with flag 0/8768000
571.73/563.74	c cleaning 131999 clauses out of 264009 with flag 0/8901000
581.46/573.41	c cleaning 133001 clauses out of 266010 with flag 0/9035000
592.29/584.16	c cleaning 134000 clauses out of 268009 with flag 0/9170000
602.23/594.05	c cleaning 134997 clauses out of 270009 with flag 0/9306000
612.78/604.45	c cleaning 135998 clauses out of 272012 with flag 0/9443000
623.44/615.08	c cleaning 137002 clauses out of 274015 with flag 0/9581001
634.25/625.73	c cleaning 138003 clauses out of 276013 with flag 0/9720001
643.92/635.38	c cleaning 139003 clauses out of 278009 with flag 0/9860000
655.45/646.78	c cleaning 140002 clauses out of 280006 with flag 0/10001000
666.70/657.81	c cleaning 140997 clauses out of 282005 with flag 0/10143001
679.24/670.28	c cleaning 141999 clauses out of 284007 with flag 0/10286000
690.62/681.50	c cleaning 142997 clauses out of 286009 with flag 0/10430001
702.16/693.03	c cleaning 143999 clauses out of 288011 with flag 0/10575000
713.67/704.51	c cleaning 145001 clauses out of 290013 with flag 0/10721001
725.31/716.13	c cleaning 146000 clauses out of 292012 with flag 0/10868001
736.85/727.65	c cleaning 147005 clauses out of 294011 with flag 0/11016000
748.30/739.03	c cleaning 147992 clauses out of 296006 with flag 0/11165000
760.59/751.31	c cleaning 148999 clauses out of 298014 with flag 0/11315000
775.08/765.86	c cleaning 150004 clauses out of 300016 with flag 0/11466001
787.41/778.11	c cleaning 151001 clauses out of 302012 with flag 0/11618001
801.80/792.53	c cleaning 152001 clauses out of 304011 with flag 0/11771001
815.47/806.23	c cleaning 153004 clauses out of 306010 with flag 0/11925001
834.96/825.71	c cleaning 154000 clauses out of 308006 with flag 0/12080001
857.46/848.26	c cleaning 154995 clauses out of 310005 with flag 0/12236000
871.23/862.02	c cleaning 155998 clauses out of 312010 with flag 0/12393000
884.65/875.49	c cleaning 157003 clauses out of 314013 with flag 0/12551001
898.05/888.86	c cleaning 157998 clauses out of 316009 with flag 0/12710000
912.14/902.96	c cleaning 159000 clauses out of 318011 with flag 0/12870000
926.65/917.46	c cleaning 160005 clauses out of 320012 with flag 0/13031001
939.34/930.12	c cleaning 160996 clauses out of 322007 with flag 0/13193001
950.95/941.76	c cleaning 162000 clauses out of 324011 with flag 0/13356001
963.92/954.70	c cleaning 163002 clauses out of 326011 with flag 0/13520001
976.85/967.67	c cleaning 163996 clauses out of 328009 with flag 0/13685001
990.59/981.32	c cleaning 165000 clauses out of 330012 with flag 0/13851000
1004.53/995.21	c cleaning 166004 clauses out of 332013 with flag 0/14018001
1017.86/1008.60	c cleaning 167000 clauses out of 334008 with flag 0/14186000
1031.72/1022.39	c cleaning 167997 clauses out of 336008 with flag 0/14355000
1046.11/1036.66	c cleaning 168999 clauses out of 338011 with flag 0/14525000
1060.87/1051.32	c cleaning 170004 clauses out of 340013 with flag 0/14696001
1074.80/1065.26	c cleaning 170997 clauses out of 342008 with flag 0/14868000
1089.87/1080.26	c cleaning 172002 clauses out of 344012 with flag 0/15041001
1103.76/1094.03	c cleaning 173000 clauses out of 346010 with flag 0/15215001
1118.70/1108.93	c cleaning 174003 clauses out of 348010 with flag 0/15390001
1132.55/1122.68	c cleaning 175003 clauses out of 350006 with flag 0/15566000
1148.29/1138.32	c cleaning 176000 clauses out of 352004 with flag 0/15743001
1162.94/1152.88	c cleaning 176993 clauses out of 354004 with flag 0/15921001
1181.65/1171.42	c cleaning 178001 clauses out of 356011 with flag 0/16100001
1199.94/1189.68	c cleaning 179002 clauses out of 358010 with flag 0/16280001
1216.18/1205.89	c cleaning 179998 clauses out of 360007 with flag 0/16461000
1233.00/1222.54	c cleaning 180998 clauses out of 362010 with flag 0/16643001
1249.93/1239.34	c cleaning 182002 clauses out of 364011 with flag 0/16826000
1270.28/1259.56	c cleaning 182999 clauses out of 366010 with flag 0/17010001
1286.93/1276.02	c cleaning 183997 clauses out of 368010 with flag 0/17195000
1306.30/1295.32	c cleaning 185002 clauses out of 370016 with flag 0/17381003
1325.88/1314.89	c cleaning 186001 clauses out of 372011 with flag 0/17568000
1343.91/1332.76	c cleaning 187001 clauses out of 374010 with flag 0/17756000
1360.35/1349.11	c cleaning 188000 clauses out of 376010 with flag 0/17945001
1380.65/1369.27	c cleaning 189001 clauses out of 378010 with flag 0/18135001
1398.36/1386.30	c cleaning 189996 clauses out of 380008 with flag 0/18326001
1417.38/1405.29	c cleaning 191002 clauses out of 382011 with flag 0/18518000
1431.84/1419.56	c cleaning 191997 clauses out of 384009 with flag 0/18711000
1446.54/1434.29	c cleaning 192998 clauses out of 386012 with flag 0/18905000
1459.66/1447.28	c cleaning 194004 clauses out of 388015 with flag 0/19100001
1476.39/1463.98	c cleaning 195000 clauses out of 390011 with flag 0/19296001
1491.70/1479.19	c cleaning 195999 clauses out of 392010 with flag 0/19493000
1510.92/1498.27	c cleaning 196998 clauses out of 394011 with flag 0/19691000
1530.16/1517.39	c cleaning 198005 clauses out of 396015 with flag 0/19890002
1548.62/1535.68	c cleaning 198999 clauses out of 398008 with flag 0/20090000
1565.96/1552.85	c cleaning 200002 clauses out of 400009 with flag 0/20291000
1584.12/1570.89	c cleaning 200993 clauses out of 402007 with flag 0/20493000
1604.19/1590.78	c cleaning 201996 clauses out of 404014 with flag 0/20696000
1621.37/1607.70	c cleaning 203002 clauses out of 406019 with flag 0/20900001
1641.53/1627.75	c cleaning 204002 clauses out of 408016 with flag 0/21105000
1659.06/1645.07	c cleaning 205000 clauses out of 410014 with flag 0/21311000
1678.57/1664.51	c cleaning 206002 clauses out of 412014 with flag 0/21518000
1698.62/1684.59	c cleaning 207003 clauses out of 414012 with flag 0/21726000
1717.78/1703.65	c cleaning 207995 clauses out of 416010 with flag 0/21935001
1737.23/1723.10	c cleaning 208999 clauses out of 418014 with flag 0/22145000
1758.26/1744.01	c cleaning 210006 clauses out of 420015 with flag 0/22356000
1778.88/1764.62	c cleaning 210999 clauses out of 422010 with flag 0/22568001
1796.89/1782.68	c cleaning 212002 clauses out of 424010 with flag 0/22781000
1815.37/1801.14	c cleaning 212998 clauses out of 426008 with flag 0/22995000
1832.28/1818.06	c cleaning 213994 clauses out of 428011 with flag 0/23210001
1852.10/1837.87	c cleaning 215001 clauses out of 430016 with flag 0/23426000
1870.57/1856.29	c cleaning 216001 clauses out of 432015 with flag 0/23643000
1886.81/1872.44	c cleaning 217001 clauses out of 434015 with flag 0/23861001
1907.32/1892.83	c cleaning 218003 clauses out of 436014 with flag 0/24080001
1925.52/1910.91	c cleaning 218999 clauses out of 438010 with flag 0/24300000
1946.58/1931.91	c cleaning 220001 clauses out of 440011 with flag 0/24521000
1966.00/1951.26	c cleaning 221001 clauses out of 442010 with flag 0/24743000
1982.08/1967.29	c cleaning 222000 clauses out of 444009 with flag 0/24966000
2000.75/1985.90	c cleaning 223001 clauses out of 446009 with flag 0/25190000
2018.94/2003.94	c cleaning 224002 clauses out of 448009 with flag 0/25415001
2038.52/2023.47	c cleaning 224993 clauses out of 450006 with flag 0/25641000
2057.57/2042.42	c cleaning 225999 clauses out of 452014 with flag 0/25868001
2077.44/2062.23	c cleaning 227003 clauses out of 454015 with flag 0/26096001
2095.52/2080.26	c cleaning 227999 clauses out of 456012 with flag 0/26325001
2113.99/2098.65	c cleaning 229001 clauses out of 458013 with flag 0/26555001
2135.83/2120.44	c cleaning 230002 clauses out of 460012 with flag 0/26786001
2158.04/2142.61	c cleaning 231001 clauses out of 462009 with flag 0/27018000
2177.68/2162.25	c cleaning 231998 clauses out of 464008 with flag 0/27251000
2199.58/2184.10	c cleaning 233004 clauses out of 466011 with flag 0/27485001
2220.89/2205.26	c cleaning 234002 clauses out of 468007 with flag 0/27720001
2240.03/2224.26	c cleaning 234997 clauses out of 470005 with flag 0/27956001
2261.53/2245.40	c cleaning 236002 clauses out of 472007 with flag 0/28193000
2283.42/2267.30	c cleaning 237002 clauses out of 474005 with flag 0/28431000
2305.41/2289.39	c cleaning 237997 clauses out of 476004 with flag 0/28670001
2326.18/2310.07	c cleaning 238999 clauses out of 478006 with flag 0/28910000
2330.51/2314.38	c starts		: 1
2330.51/2314.39	c conflicts		: 29020713
2330.51/2314.39	c decisions		: 33918389
2330.51/2314.39	c propagations		: 184539809
2330.51/2314.39	c inspects		: 15651386780
2330.51/2314.39	c shortcuts		: 0
2330.51/2314.39	c learnt literals	: 1
2330.51/2314.39	c learnt binary clauses	: 2
2330.51/2314.39	c learnt ternary clauses	: 8
2330.51/2314.39	c learnt constraints	: 29020711
2330.51/2314.39	c ignored constraints	: 0
2330.51/2314.39	c root simplifications	: 0
2330.51/2314.39	c removed literals (reason simplification)	: 0
2330.51/2314.39	c reason swapping (by a shorter reason)	: 0
2330.51/2314.39	c Calls to reduceDB	: 236
2330.51/2314.39	c Number of update (reduction) of LBD	: 32193572
2330.51/2314.39	c Imported unit clauses	: 0
2330.51/2314.39	c No decision after first conflict	: false
2330.51/2314.39	c number of reductions to clauses (during analyze)	: 0
2330.51/2314.39	c number of learned constraints concerned by reduction	: 0
2330.51/2314.39	c number of learning phase by resolution	: 0
2330.51/2314.40	c number of learning phase by cutting planes	: 0
2330.51/2314.40	c number of rounding to 1 operations	: 0
2330.51/2314.40	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2330.51/2314.40	c number of reductions of the coefficients by power 2 	: 0
2330.51/2314.40	c number of right shift for reduction by power 2 	: 0
2330.51/2314.40	c number of reductions of the coefficients by GCD over coefficients 	: 0
2330.51/2314.40	c number of ending skipping 	: 0
2330.51/2314.40	c number of internal skipping 	: 0
2330.51/2314.40	c number of derivation steps 	: 166256856
2330.51/2314.40	c number of skipped derivation steps 	: 0
2330.51/2314.40	c number of remaining unassigned 	: 0
2330.51/2314.40	c number of remaining assigned 	: 0
2330.51/2314.40	c number of falsified literals weakened from reason	: 0
2330.51/2314.40	c number of falsified literals weakened from conflict	: 0
2330.51/2314.40	c time for arithmetic operations	: 0
2330.51/2314.40	c minimum degree of deleted constraints	: 1
2330.51/2314.40	c maximum degree of deleted constraints	: 1
2330.51/2314.40	c number of deleted constraints	: 28670992
2330.51/2314.40	c speed (assignments/second)	: 79751.57837327183
2330.51/2314.40	c non guided choices	: 9184
2330.63/2314.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 349717
2330.63/2314.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2
2330.63/2314.46	s UNSATISFIABLE
2330.63/2314.46	c Total wall clock time (in seconds): 2314.094

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447511-1721356315/watcher-4447511-1721356315 -o /tmp/evaluation-result-4447511-1721356315/solver-4447511-1721356315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721352896-989908 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447511-1721356315.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=991895, runsolver pid=991892

[startup+0.100583 s]*
/proc/loadavg: 4.66 4.66 4.47 6/318 991913
/proc/meminfo: memFree=106789528/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=18975048 memory=55976 CPUtime=0.11 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 6541 0 0 0 9 2 0 0 20 0 18 0 187790205 19430449152 13994 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4743762 13994 5614 1 0 550854 0
[pid=991895/tid=991897] ppid=991892 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 5456 0 0 0 6 1 0 0 20 0 18 0 187790206 19430449152 13994 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187790208 19430449152 13994 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=18975048 memory=4050198648221597728 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187790209 19430449152 13994 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55976 KiB

[startup+0.214586 s]*
/proc/loadavg: 4.66 4.66 4.47 6/318 991913
/proc/meminfo: memFree=106782576/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=18975048 memory=62792 CPUtime=0.26 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 7200 0 0 0 24 2 0 0 20 0 18 0 187790205 19430449152 15698 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4743762 15698 5623 1 0 551390 0
[pid=991895/tid=991897] ppid=991892 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 5731 0 0 0 16 2 0 0 20 0 18 0 187790206 19430449152 15698 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=18975048 memory=19020 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187790208 19430449152 15698 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=18975048 memory=15544037289509020 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187790209 19430449152 15698 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62792 KiB

[startup+0.314586 s]*
/proc/loadavg: 4.66 4.66 4.47 8/318 991913
/proc/meminfo: memFree=106781232/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=18975048 memory=64348 CPUtime=0.42 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 7480 0 0 0 39 3 0 0 20 0 18 0 187790205 19430449152 16087 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4743762 16087 5745 1 0 551583 0
[pid=991895/tid=991897] ppid=991892 vsize=18975048 memory=-9030951366185755324 CPUtime=0.26 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 5901 0 0 0 24 2 0 0 20 0 18 0 187790206 19430449152 16087 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187790208 19430449152 16087 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187790209 19430449152 16087 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64348 KiB

[startup+0.710581 s]
/proc/loadavg: 4.66 4.66 4.47 9/319 991914
/proc/meminfo: memFree=106775848/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19041612 memory=94276 CPUtime=1.14 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 9490 0 0 0 110 4 0 0 20 0 19 0 187790205 19498610688 23569 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4760403 23569 5836 1 0 552977 0
[pid=991895/tid=991897] ppid=991892 vsize=19041612 memory=5468 CPUtime=0.61 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 6094 0 0 0 58 3 0 0 20 0 19 0 187790206 19498610688 23569 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19041612 memory=12020 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187790208 19498610688 23569 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19041612 memory=7235542995302449973 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187790209 19498610688 23569 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19041612 memory=281430148314088 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187790251 19498610688 23569 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94276 KiB

[startup+1.50158 s]
/proc/loadavg: 4.66 4.66 4.47 9/319 991914
/proc/meminfo: memFree=106701400/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=177296 CPUtime=2.7 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 17790 0 0 0 264 6 0 0 20 0 20 0 187790205 19566772224 44324 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 44324 5836 1 0 556284 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=12020 CPUtime=1.38 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 7047 0 0 0 134 4 0 0 20 0 20 0 187790206 19566772224 44324 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 44324 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 44324 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=281430148162832 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 44324 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177296 KiB

[startup+3.1056 s]
/proc/loadavg: 4.66 4.66 4.47 7/318 992047
/proc/meminfo: memFree=111704688/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=502288 CPUtime=5.38 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 19649 0 0 0 525 13 0 0 20 0 20 0 187790205 19566772224 125572 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 125572 5836 1 0 556571 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 7536 0 0 0 286 10 0 0 20 0 20 0 187790206 19566772224 125572 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=12020 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 125572 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 125572 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=11516 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 125572 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 502288 KiB

[startup+6.30046 s]
/proc/loadavg: 4.69 4.66 4.47 5/320 992050
/proc/meminfo: memFree=109870452/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=1317224 CPUtime=8.99 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 20362 0 0 0 873 26 0 0 20 0 20 0 187790205 19566772224 329306 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 329306 5836 1 0 556571 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=0 CPUtime=6.12 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 8169 0 0 0 590 22 0 0 20 0 20 0 187790206 19566772224 329306 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=12020 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 329306 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=12020 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 329306 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=5468 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 329306 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1317224 KiB

[startup+12.7005 s]
/proc/loadavg: 4.63 4.65 4.47 5/320 992050
/proc/meminfo: memFree=109623828/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=1321360 CPUtime=15.57 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 22793 0 0 0 1530 27 0 0 20 0 20 0 187790205 19566772224 330340 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 330340 5836 1 0 556571 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=12020 CPUtime=12.42 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 9018 0 0 0 1220 22 0 0 20 0 20 0 187790206 19566772224 330340 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=1321320 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 330340 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=1321320 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 330340 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 330340 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 15.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1321360 KiB

[startup+25.5005 s]
/proc/loadavg: 4.65 4.65 4.47 5/320 992055
/proc/meminfo: memFree=109189612/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=1327640 CPUtime=28.36 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 26073 0 0 0 2808 28 0 0 20 0 20 0 187790205 19566772224 331910 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 331910 5843 1 0 556571 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=1327640 CPUtime=24.96 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 10495 0 0 0 2473 23 0 0 20 0 20 0 187790206 19566772224 331910 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=1327640 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 331910 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=281430148306336 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 331910 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=1327604 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 331910 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 28.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327640 KiB

[startup+51.1131 s]
/proc/loadavg: 4.51 4.62 4.47 5/320 992058
/proc/meminfo: memFree=108750812/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=1756608 CPUtime=54.06 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 30832 0 0 0 5368 38 0 0 20 0 20 0 187790205 19566772224 439152 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 439152 5843 1 0 663098 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=11516 CPUtime=49.99 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 12330 0 0 0 4968 31 0 0 20 0 20 0 187790206 19566772224 439152 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=1321360 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 439152 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0

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

/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2001 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=4089428 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2278.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4089428 KiB

[startup+2314.49 s]
# the end of solver process 991895 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=2328.56 s, system=2.23026 s

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

[startup+2278.4 s]
/proc/loadavg: 4.28 4.33 4.34 5/317 993297
/proc/meminfo: memFree=107690544/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=4089428 CPUtime=2294.54 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 199811 0 0 0 229237 217 0 0 20 0 20 0 187790205 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 1022357 5859 1 0 1054314 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=5468 CPUtime=2237.94 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 101099 0 0 0 223721 73 0 0 20 0 20 0 187790206 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=11516 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=11516 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2001 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=44612 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2294.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4089428 KiB

[startup+2291.2 s]
/proc/loadavg: 4.30 4.33 4.34 6/317 993298
/proc/meminfo: memFree=107690524/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=4089428 CPUtime=2307.33 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 200249 0 0 0 230514 219 0 0 20 0 20 0 187790205 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 1022357 5859 1 0 1054314 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=44612 CPUtime=2250.58 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 101483 0 0 0 224985 73 0 0 20 0 20 0 187790206 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=4089428 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=4089428 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2051 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=4089428 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2307.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4089428 KiB

[startup+2304 s]*
/proc/loadavg: 4.23 4.31 4.34 5/317 993302
/proc/meminfo: memFree=107690400/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=4089428 CPUtime=2320.19 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 202639 0 0 0 231799 220 0 0 20 0 20 0 187790205 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 1022357 5859 1 0 1054314 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=29652 CPUtime=2263.01 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 102063 0 0 0 226228 73 0 0 20 0 20 0 187790206 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=28036 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=19580 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2051 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=-8549726990955889303 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2320.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4089428 KiB

[startup+2310.4 s]
/proc/loadavg: 4.29 4.33 4.34 5/317 993302
/proc/meminfo: memFree=107690416/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=4089428 CPUtime=2326.57 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 202971 0 0 0 232437 220 0 0 20 0 20 0 187790205 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 1022357 5859 1 0 1054314 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=4089428 CPUtime=2269.38 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 102393 0 0 0 226865 73 0 0 20 0 20 0 187790206 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=1824 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=4089428 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2051 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=44612 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2326.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4089428 KiB

[startup+2312 s]*
/proc/loadavg: 4.29 4.33 4.34 5/320 993307
/proc/meminfo: memFree=107689716/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=4089428 CPUtime=2328.23 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 202991 0 0 0 232603 220 0 0 20 0 20 0 187790205 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 1022357 5859 1 0 1054314 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=-8600863095035044540 CPUtime=2270.9 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 102403 0 0 0 227017 73 0 0 20 0 20 0 187790206 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=-8549726982500041367 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=29652 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2051 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=28036 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2328.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4089428 KiB

[startup+2313.6 s]
/proc/loadavg: 4.29 4.33 4.34 5/320 993307
/proc/meminfo: memFree=107690028/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=4089428 CPUtime=2329.82 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 203027 0 0 0 232762 220 0 0 20 0 20 0 187790205 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 1022357 5859 1 0 1054314 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=16224 CPUtime=2272.48 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 102439 0 0 0 227175 73 0 0 20 0 20 0 187790206 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=4088676 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2051 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=2604 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2329.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4089428 KiB

[startup+2314 s]*
/proc/loadavg: 4.27 4.32 4.34 5/320 993309
/proc/meminfo: memFree=107689972/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19108176 memory=4089428 CPUtime=2330.23 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 203027 0 0 0 232803 220 0 0 20 0 20 0 187790205 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4777044 1022357 5859 1 0 1054314 0
[pid=991895/tid=991897] ppid=991892 vsize=19108176 memory=-8600863095035044540 CPUtime=2272.89 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) R 991892 991895 989898 0 -1 4194368 102439 0 0 0 227216 73 0 0 20 0 20 0 187790206 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19108176 memory=-8549726982500041367 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19108176 memory=2604 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2051 0 0 0 0 0 0 0 20 0 20 0 187790209 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991914] ppid=991892 vsize=19108176 memory=5128 CPUtime=0 cores=0,2
/proc/991895/task/991914/stat : 991914 (Timer-0) S 991892 991895 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790251 19566772224 1022357 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2330.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4089428 KiB

[startup+2314.4 s]
/proc/loadavg: 4.27 4.32 4.34 5/320 993309
/proc/meminfo: memFree=107689972/131655788 swapFree=131071996/131071996
[pid=991895] ppid=991892 vsize=19241304 memory=4090048 CPUtime=2330.63 cores=0,2
/proc/991895/stat : 991895 (java) S 991892 991895 989898 0 -1 1077936128 205456 0 0 0 232843 220 0 0 20 0 20 0 187790205 19703095296 1022512 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
/proc/991895/statm: 4810326 1022512 5858 1 0 1054959 0
[pid=991895/tid=991897] ppid=991892 vsize=19241304 memory=4089428 CPUtime=2273.26 cores=0,2
/proc/991895/task/991897/stat : 991897 (java) S 991892 991895 989898 0 -1 1077936192 103936 0 0 0 227253 73 0 0 20 0 20 0 187790206 19703095296 1022512 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991906] ppid=991892 vsize=19241304 memory=4089428 CPUtime=0 cores=0,2
/proc/991895/task/991906/stat : 991906 (Finalizer) S 991892 991895 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790208 19703095296 1022512 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
[pid=991895/tid=991913] ppid=991892 vsize=19241304 memory=44612 CPUtime=0 cores=0,2
/proc/991895/task/991913/stat : 991913 (Common-Cleaner) S 991892 991895 989898 0 -1 1077936192 2051 0 0 0 0 0 0 0 20 0 20 0 187790209 19703095296 1022512 134679101440 94836908380160 94836908383856 140733658965264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94836908391672 94836908392464 94836932501504 140733658973172 140733658973280 140733658973280 140733658980296 0
Current children cumulated CPU time: 2330.63 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 4090048 KiB

Child status: 20

Real time (s): 2314.49
CPU time (s): 2330.79
CPU user time (s): 2328.56
CPU system time (s): 2.23026
CPU usage (%): 100.704
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 4094452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2328.56
system time used= 2.23026
maximum resident set size= 4094452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85173
involuntary context switches= 18087


# summary of solver processes directly reported to runsolver:
#   pid: 991895
#   total CPU time (s): 2330.79
#   total CPU user time (s): 2328.56
#   total CPU system time (s): 2.23026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.595 second user time and 24.7251 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-19 04:32:07
IDJOB=4447511
IDBENCH=159214
IDSOLVER=3052
FILE ID=nodeC006/4447511-1721356315
RUNJOBID= nodeC006-1721352896-989908
SLURM_JOB_ID= 7542761
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447511-1721356315/watcher-4447511-1721356315 -o /tmp/evaluation-result-4447511-1721356315/solver-4447511-1721356315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721352896-989908 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447511-1721356315.opb

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

MD5SUM BENCH= d3332ca740d3ae6dd3f9a6cb3b2999d7
RANDOM SEED=1669323257

nodeC006.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		: 3491.995
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.94
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		: 3610.139
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.249
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.94
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.306
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.26
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		: 3652.810
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.94
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		: 3645.528
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.26
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.360
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.94
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.255
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        106824952 kB
MemAvailable:   111787568 kB
Buffers:          518928 kB
Cached:          5222212 kB
SwapCached:            0 kB
Active:           999208 kB
Inactive:       23108496 kB
Active(anon):       1460 kB
Inactive(anon): 18402844 kB
Active(file):     997748 kB
Inactive(file):  4705652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:      18356064 kB
Mapped:           126012 kB
Shmem:             37704 kB
KReclaimable:     198496 kB
Slab:             314128 kB
SReclaimable:     198496 kB
SUnreclaim:       115632 kB
KernelStack:        4848 kB
PageTables:        46108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   18769012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59520 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17846272 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:    40482816 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC006 at 2024-07-19 05:10:42