Trace number 4451122

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 Resolution 2024 2024-07-07UNSAT cert. 1890.59 1907.99

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUM6d6cd561f3b9d650ea4fe5a812bf9deb
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 benchmark53.2646
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 6
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.13/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.12	c See www.sat4j.org for details.
0.13/0.13	c version CUSTOM.v20240707
0.13/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.15	c java.vm.version	22.0.1+8-16
0.13/0.15	c java.vm.vendor	Oracle Corporation
0.13/0.15	c sun.arch.data.model	64
0.13/0.15	c java.version		22.0.1
0.13/0.15	c os.name		Linux
0.13/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.15	c os.arch		amd64
0.13/0.15	c Free memory 		2115194816
0.13/0.16	c Max memory 		16282288128
0.13/0.16	c Total memory 		2122317824
0.13/0.17	c Number of processors 	2
0.26/0.26	--- Begin Solver configuration ---
0.26/0.26	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.26/0.26	Learn all clauses as in MiniSAT
0.26/0.26	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.26	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.26	Expensive reason simplification
0.26/0.26	Glucose 2.1 dynamic restart strategy
0.26/0.26	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.26/0.26	timeout=2147483s
0.26/0.26	DB Simplification allowed=false
0.26/0.26	Listener: none
0.26/0.26	--- End Solver configuration ---
0.26/0.27	c Pseudo Boolean Optimization by upper bound
0.26/0.27	c --- Begin Solver configuration ---
0.26/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.26/0.27	c Learn all clauses as in MiniSAT
0.26/0.27	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.27	c Expensive reason simplification
0.26/0.27	c Glucose 2.1 dynamic restart strategy
0.26/0.27	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.26/0.27	c timeout=2147483s
0.26/0.27	c DB Simplification allowed=false
0.26/0.27	c Listener: none
0.26/0.27	c --- End Solver configuration ---
0.26/0.27	c solving HOME/instance-4451122-1721829841.opb
0.26/0.27	c reading problem ... 
0.34/0.66	c using VERIPB proof format
0.34/0.66	c  no objective function found
0.43/0.75	c ... done. Wall clock time 0.474s.
0.43/0.75	c declared #vars     1401
0.43/0.75	c #constraints  1402
0.43/0.75	c constraints type 
0.43/0.75	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.43/0.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1400
0.43/0.75	c 1402 constraints processed.
1.98/1.55	c cleaning 2492 clauses out of 5001 with flag 20388/5001
2.77/1.99	c cleaning 4229 clauses out of 8509 with flag 45561/11001
3.55/2.30	c cleaning 5623 clauses out of 11280 with flag 79077/18001
4.14/2.61	c cleaning 6809 clauses out of 13657 with flag 119814/26001
4.56/2.82	c cleaning 7897 clauses out of 15847 with flag 166651/35000
4.95/3.03	c cleaning 8964 clauses out of 17950 with flag 219280/45000
5.35/3.24	c cleaning 9927 clauses out of 19987 with flag 278755/56001
5.71/3.45	c cleaning 10955 clauses out of 22059 with flag 343188/68000
6.08/3.67	c cleaning 11984 clauses out of 24104 with flag 410790/81000
6.40/3.92	c cleaning 12996 clauses out of 26120 with flag 492626/95000
6.61/4.16	c cleaning 13987 clauses out of 28124 with flag 575385/110000
6.93/4.43	c cleaning 14986 clauses out of 30137 with flag 664482/126000
7.38/4.74	c cleaning 15994 clauses out of 32151 with flag 758189/143000
7.90/5.10	c cleaning 17020 clauses out of 34157 with flag 861907/161000
8.20/5.47	c cleaning 18002 clauses out of 36138 with flag 969907/180001
8.60/5.87	c cleaning 19053 clauses out of 38136 with flag 1084423/200001
9.50/6.75	c cleaning 19955 clauses out of 40082 with flag 1206236/221000
10.19/7.49	c cleaning 20997 clauses out of 42128 with flag 1332206/243001
10.94/8.11	c cleaning 21989 clauses out of 44130 with flag 1462951/266000
11.43/8.67	c cleaning 23002 clauses out of 46141 with flag 1597789/290000
12.18/9.24	c cleaning 23998 clauses out of 48139 with flag 1742190/315000
12.92/9.83	c cleaning 25003 clauses out of 50142 with flag 1885320/341001
13.42/10.39	c cleaning 25953 clauses out of 52138 with flag 2031531/368000
14.17/10.97	c cleaning 27011 clauses out of 54185 with flag 2180688/396000
15.02/11.65	c cleaning 28065 clauses out of 56174 with flag 2337843/425000
15.87/12.36	c cleaning 29005 clauses out of 58110 with flag 2500200/455001
16.74/13.02	c cleaning 30040 clauses out of 60105 with flag 2664918/486001
17.70/13.81	c cleaning 30976 clauses out of 62064 with flag 2834811/518000
18.58/14.63	c cleaning 32026 clauses out of 64088 with flag 3005194/551000
19.38/15.43	c cleaning 32957 clauses out of 66063 with flag 3188411/585001
20.18/16.28	c cleaning 33966 clauses out of 68106 with flag 3367240/620001
21.09/17.13	c cleaning 35058 clauses out of 70139 with flag 3554079/656000
22.09/18.13	c cleaning 35977 clauses out of 72082 with flag 3742787/693001
22.99/19.09	c cleaning 37002 clauses out of 74104 with flag 3937222/731000
24.10/20.18	c cleaning 37994 clauses out of 76103 with flag 4140507/770001
25.18/21.20	c cleaning 38975 clauses out of 78108 with flag 4341356/810000
26.20/22.24	c cleaning 40024 clauses out of 80134 with flag 4546980/851001
27.30/23.35	c cleaning 41002 clauses out of 82109 with flag 4758718/893000
28.40/24.49	c cleaning 42025 clauses out of 84107 with flag 4970001/936000
29.59/25.66	c cleaning 42985 clauses out of 86082 with flag 5188903/980000
30.89/26.94	c cleaning 44024 clauses out of 88097 with flag 5413830/1025000
32.19/28.22	c cleaning 45012 clauses out of 90074 with flag 5649891/1071001
33.57/29.62	c cleaning 46006 clauses out of 92062 with flag 5882964/1118001
34.88/30.98	c cleaning 46981 clauses out of 94056 with flag 6124606/1166001
36.27/32.32	c cleaning 47982 clauses out of 96078 with flag 6370612/1215004
37.67/33.71	c cleaning 49023 clauses out of 98092 with flag 6611445/1265000
39.07/35.13	c cleaning 49984 clauses out of 100069 with flag 6866708/1316000
40.70/37.06	c cleaning 50983 clauses out of 102085 with flag 7119800/1368000
42.29/38.68	c cleaning 52012 clauses out of 104102 with flag 7381187/1421000
43.98/40.30	c cleaning 53028 clauses out of 106090 with flag 7646838/1475000
45.59/41.96	c cleaning 53977 clauses out of 108063 with flag 7920100/1530001
47.28/43.66	c cleaning 54972 clauses out of 110086 with flag 8198575/1586001
49.16/45.56	c cleaning 55986 clauses out of 112113 with flag 8488441/1643000
50.95/47.35	c cleaning 57048 clauses out of 114129 with flag 8775163/1701002
52.86/49.22	c cleaning 57992 clauses out of 116079 with flag 9060093/1760000
54.66/51.02	c cleaning 59032 clauses out of 118087 with flag 9352732/1820000
56.54/52.97	c cleaning 59997 clauses out of 120055 with flag 9642522/1881000
58.66/55.08	c cleaning 61012 clauses out of 122059 with flag 9950778/1943001
60.65/57.02	c cleaning 61962 clauses out of 124047 with flag 10247086/2006001
62.65/59.10	c cleaning 62998 clauses out of 126085 with flag 10548521/2070001
64.93/61.36	c cleaning 64009 clauses out of 128087 with flag 10851506/2135001
67.13/63.50	c cleaning 64984 clauses out of 130078 with flag 11166030/2201001
69.20/65.63	c cleaning 65995 clauses out of 132094 with flag 11471145/2268001
71.44/68.06	c cleaning 67027 clauses out of 134099 with flag 11791284/2336001
73.93/70.52	c cleaning 68017 clauses out of 136073 with flag 12124120/2405002
76.22/72.88	c cleaning 68983 clauses out of 138055 with flag 12450761/2475001
78.62/75.26	c cleaning 70001 clauses out of 140073 with flag 12776384/2546002
81.21/77.85	c cleaning 70982 clauses out of 142072 with flag 13113578/2618002
83.61/80.29	c cleaning 72024 clauses out of 144089 with flag 13443898/2691001
86.20/82.81	c cleaning 73011 clauses out of 146064 with flag 13777846/2765000
88.69/85.34	c cleaning 73977 clauses out of 148055 with flag 14118004/2840002
91.59/88.20	c cleaning 75010 clauses out of 150076 with flag 14466604/2916000
94.29/90.90	c cleaning 76023 clauses out of 152066 with flag 14820198/2993000
97.08/93.72	c cleaning 76969 clauses out of 154043 with flag 15178109/3071000
100.15/96.91	c cleaning 78009 clauses out of 156074 with flag 15547868/3150000
103.15/99.96	c cleaning 78995 clauses out of 158066 with flag 15910485/3230001
106.04/102.84	c cleaning 79998 clauses out of 160072 with flag 16269099/3311002
109.34/106.12	c cleaning 80982 clauses out of 162072 with flag 16649118/3393000
112.43/109.26	c cleaning 82012 clauses out of 164090 with flag 17026579/3476000
115.63/112.46	c cleaning 83002 clauses out of 166079 with flag 17408444/3560001
119.02/115.84	c cleaning 83971 clauses out of 168076 with flag 17781794/3645000
122.22/119.10	c cleaning 85002 clauses out of 170105 with flag 18162249/3731000
125.74/122.54	c cleaning 86032 clauses out of 172104 with flag 18553923/3818001
129.35/126.11	c cleaning 86996 clauses out of 174071 with flag 18960304/3906000
132.77/129.77	c cleaning 88017 clauses out of 176077 with flag 19346114/3995002
136.49/133.48	c cleaning 88988 clauses out of 178058 with flag 19740201/4085000
140.10/137.03	c cleaning 89995 clauses out of 180071 with flag 20133675/4176001
143.69/140.60	c cleaning 91004 clauses out of 182076 with flag 20534916/4268001
147.48/144.41	c cleaning 92015 clauses out of 184071 with flag 20939983/4361000
151.08/148.07	c cleaning 93009 clauses out of 186056 with flag 21350454/4455000
155.47/152.43	c cleaning 93969 clauses out of 188047 with flag 21784591/4550000
159.46/156.44	c cleaning 95019 clauses out of 190078 with flag 22211320/4646000
163.62/160.72	c cleaning 96015 clauses out of 192059 with flag 22641772/4743000
167.61/164.79	c cleaning 97022 clauses out of 194044 with flag 23068129/4841000
172.02/169.15	c cleaning 97972 clauses out of 196022 with flag 23507934/4940000
176.24/173.39	c cleaning 98980 clauses out of 198051 with flag 23940261/5040001
180.74/177.85	c cleaning 100006 clauses out of 200071 with flag 24365179/5141001
185.55/182.63	c cleaning 101021 clauses out of 202064 with flag 24810694/5243000
189.85/186.97	c cleaning 101999 clauses out of 204044 with flag 25250810/5346001
194.49/191.77	c cleaning 102961 clauses out of 206045 with flag 25702821/5450001
199.33/196.54	c cleaning 104040 clauses out of 208083 with flag 26160370/5555000
203.84/201.05	c cleaning 104982 clauses out of 210043 with flag 26608261/5661000
208.65/205.84	c cleaning 106002 clauses out of 212061 with flag 27061699/5768000
213.61/210.79	c cleaning 107010 clauses out of 214060 with flag 27512292/5876001
218.60/215.77	c cleaning 107983 clauses out of 216049 with flag 27969758/5985000
223.93/221.37	c cleaning 109020 clauses out of 218067 with flag 28433518/6095001
229.12/226.53	c cleaning 109983 clauses out of 220047 with flag 28899010/6206001
234.65/232.04	c cleaning 111014 clauses out of 222063 with flag 29379029/6318000
239.93/237.35	c cleaning 111999 clauses out of 224049 with flag 29856568/6431000
245.34/242.74	c cleaning 112995 clauses out of 226050 with flag 30332743/6545000
251.07/248.41	c cleaning 113993 clauses out of 228056 with flag 30813946/6660001
256.45/253.94	c cleaning 114987 clauses out of 230062 with flag 31292187/6776000
262.71/260.19	c cleaning 116012 clauses out of 232076 with flag 31795290/6893001
268.60/266.08	c cleaning 116998 clauses out of 234065 with flag 32291620/7011002
274.35/271.76	c cleaning 117994 clauses out of 236067 with flag 32775873/7130002
280.14/277.52	c cleaning 118993 clauses out of 238071 with flag 33270306/7250000
286.08/283.57	c cleaning 120011 clauses out of 240078 with flag 33764503/7371000
292.18/289.64	c cleaning 121021 clauses out of 242067 with flag 34269725/7493000
298.63/296.05	c cleaning 121982 clauses out of 244047 with flag 34779578/7616001
304.90/302.35	c cleaning 122992 clauses out of 246065 with flag 35291358/7740001
311.97/309.34	c cleaning 124003 clauses out of 248073 with flag 35834459/7865001
318.57/315.95	c cleaning 125004 clauses out of 250070 with flag 36353723/7991001
325.02/322.30	c cleaning 125992 clauses out of 252065 with flag 36870439/8118000
331.61/328.99	c cleaning 126988 clauses out of 254073 with flag 37399515/8246000
338.43/335.70	c cleaning 127993 clauses out of 256086 with flag 37923032/8375001
345.56/343.08	c cleaning 129013 clauses out of 258093 with flag 38452563/8505001
352.03/349.54	c cleaning 130019 clauses out of 260080 with flag 38974426/8636001
359.36/356.83	c cleaning 130993 clauses out of 262061 with flag 39514976/8768001
366.15/363.61	c cleaning 132012 clauses out of 264067 with flag 40046004/8901000
373.72/371.17	c cleaning 132991 clauses out of 266056 with flag 40606765/9035001
381.54/379.71	c cleaning 134003 clauses out of 268064 with flag 41157782/9170000
388.59/386.79	c cleaning 135004 clauses out of 270062 with flag 41698491/9306001
395.68/393.76	c cleaning 136015 clauses out of 272058 with flag 42232561/9443001
403.77/401.83	c cleaning 137001 clauses out of 274042 with flag 42795949/9581000
411.48/409.70	c cleaning 137985 clauses out of 276042 with flag 43355443/9720001
418.88/417.12	c cleaning 139000 clauses out of 278058 with flag 43913058/9860002
426.32/424.52	c cleaning 140005 clauses out of 280058 with flag 44473896/10001002
434.07/432.26	c cleaning 140996 clauses out of 282052 with flag 45035509/10143001
441.54/440.04	c cleaning 141989 clauses out of 284055 with flag 45597593/10286000
449.41/447.85	c cleaning 143018 clauses out of 286067 with flag 46168721/10430001
456.90/455.30	c cleaning 143986 clauses out of 288048 with flag 46731893/10575000
464.54/463.01	c cleaning 145007 clauses out of 290063 with flag 47310333/10721001
473.86/473.03	c cleaning 146002 clauses out of 292056 with flag 47900112/10868001
481.35/480.56	c cleaning 146991 clauses out of 294053 with flag 48484098/11016000
489.11/488.29	c cleaning 148001 clauses out of 296063 with flag 49072021/11165001
497.24/496.98	c cleaning 149000 clauses out of 298062 with flag 49661376/11315001
505.62/505.35	c cleaning 150003 clauses out of 300061 with flag 50244287/11466000
513.68/513.34	c cleaning 150996 clauses out of 302059 with flag 50840513/11618001
521.86/521.40	c cleaning 152020 clauses out of 304062 with flag 51434072/11771000
530.87/531.02	c cleaning 152996 clauses out of 306043 with flag 52028698/11925001
538.72/538.80	c cleaning 154008 clauses out of 308047 with flag 52618775/12080001
547.30/547.34	c cleaning 154998 clauses out of 310038 with flag 53230108/12236000
556.81/557.69	c cleaning 155992 clauses out of 312041 with flag 53853247/12393001
564.68/565.49	c cleaning 157006 clauses out of 314048 with flag 54446075/12551000
573.25/573.90	c cleaning 157992 clauses out of 316043 with flag 55048785/12710001
581.63/582.39	c cleaning 159015 clauses out of 318051 with flag 55659828/12870001
590.24/591.13	c cleaning 160000 clauses out of 320035 with flag 56271084/13031000
598.90/599.70	c cleaning 160993 clauses out of 322036 with flag 56897577/13193001
607.77/608.65	c cleaning 162003 clauses out of 324043 with flag 57517863/13356001
617.24/618.22	c cleaning 162990 clauses out of 326039 with flag 58166639/13520000
625.50/626.40	c cleaning 164001 clauses out of 328049 with flag 58787012/13685000
634.58/635.45	c cleaning 164990 clauses out of 330048 with flag 59413847/13851000
643.75/644.93	c cleaning 166012 clauses out of 332059 with flag 60049140/14018001
652.81/654.00	c cleaning 167008 clauses out of 334046 with flag 60677252/14186000
661.98/663.07	c cleaning 168004 clauses out of 336039 with flag 61308007/14355001
671.16/672.14	c cleaning 168996 clauses out of 338035 with flag 61952588/14525001
679.91/681.18	c cleaning 169996 clauses out of 340040 with flag 62584092/14696002
689.26/690.48	c cleaning 170998 clauses out of 342042 with flag 63228245/14868000
698.72/699.80	c cleaning 171989 clauses out of 344044 with flag 63877426/15041000
707.51/708.97	c cleaning 173017 clauses out of 346055 with flag 64513346/15215000
716.56/717.94	c cleaning 174000 clauses out of 348039 with flag 65166569/15390001
725.73/727.09	c cleaning 174995 clauses out of 350038 with flag 65813782/15566000
735.09/736.34	c cleaning 176015 clauses out of 352043 with flag 66468984/15743000
744.97/746.39	c cleaning 177007 clauses out of 354029 with flag 67142302/15921001
754.06/755.42	c cleaning 178005 clauses out of 356021 with flag 67790563/16100000
762.91/764.26	c cleaning 178991 clauses out of 358017 with flag 68436596/16280001
772.39/774.01	c cleaning 179992 clauses out of 360025 with flag 69095497/16461000
781.86/783.42	c cleaning 180978 clauses out of 362033 with flag 69764405/16643000
791.84/793.41	c cleaning 182004 clauses out of 364056 with flag 70452767/16826001
800.86/802.72	c cleaning 183007 clauses out of 366052 with flag 71112251/17010001
810.41/812.24	c cleaning 184006 clauses out of 368045 with flag 71792297/17195001
819.78/821.52	c cleaning 184994 clauses out of 370038 with flag 72462342/17381000
830.99/836.90	c cleaning 186013 clauses out of 372044 with flag 73136412/17568000
840.38/846.25	c cleaning 187005 clauses out of 374031 with flag 73811673/17756000
849.97/855.88	c cleaning 187997 clauses out of 376027 with flag 74491141/17945001
861.09/867.84	c cleaning 188989 clauses out of 378030 with flag 75179339/18135001
870.74/877.44	c cleaning 190006 clauses out of 380041 with flag 75866887/18326001
880.90/887.52	c cleaning 191003 clauses out of 382034 with flag 76554772/18518000
891.27/898.14	c cleaning 191990 clauses out of 384032 with flag 77254352/18711001
901.44/908.28	c cleaning 193015 clauses out of 386041 with flag 77958383/18905000
911.34/918.17	c cleaning 193996 clauses out of 388027 with flag 78656176/19100001
921.12/928.20	c cleaning 195004 clauses out of 390030 with flag 79349044/19296000
931.16/938.22	c cleaning 195991 clauses out of 392027 with flag 80057555/19493001
941.20/948.20	c cleaning 196986 clauses out of 394036 with flag 80767400/19691001
952.10/959.92	c cleaning 198020 clauses out of 396051 with flag 81475991/19890002
962.51/970.22	c cleaning 198993 clauses out of 398029 with flag 82193342/20090000
972.70/980.35	c cleaning 200005 clauses out of 400036 with flag 82913437/20291000
984.05/992.72	c cleaning 200998 clauses out of 402032 with flag 83627519/20493001
994.28/1002.94	c cleaning 201993 clauses out of 404034 with flag 84356054/20696001
1004.70/1013.35	c cleaning 202993 clauses out of 406040 with flag 85082053/20900000
1016.57/1027.51	c cleaning 204005 clauses out of 408048 with flag 85817174/21105001
1027.81/1038.76	c cleaning 205012 clauses out of 410043 with flag 86559104/21311001
1038.98/1050.93	c cleaning 206003 clauses out of 412031 with flag 87277536/21518001
1049.97/1061.83	c cleaning 206991 clauses out of 414029 with flag 88014584/21726002
1061.13/1072.96	c cleaning 207995 clauses out of 416037 with flag 88762301/21935001
1074.09/1086.64	c cleaning 209000 clauses out of 418041 with flag 89533336/22145000
1085.37/1097.83	c cleaning 210005 clauses out of 420041 with flag 90279888/22356000
1096.84/1109.22	c cleaning 210997 clauses out of 422036 with flag 91030725/22568000
1109.12/1122.15	c cleaning 212010 clauses out of 424039 with flag 91792553/22781000
1120.29/1133.28	c cleaning 212995 clauses out of 426030 with flag 92541150/22995001
1133.00/1146.84	c cleaning 214004 clauses out of 428035 with flag 93323219/23210001
1144.96/1158.71	c cleaning 215008 clauses out of 430030 with flag 94094966/23426000
1156.53/1170.21	c cleaning 215989 clauses out of 432022 with flag 94867113/23643000
1168.74/1183.08	c cleaning 216985 clauses out of 434033 with flag 95667985/23861000
1180.90/1195.19	c cleaning 217998 clauses out of 436048 with flag 96458256/24080000
1194.22/1211.39	c cleaning 219009 clauses out of 438051 with flag 97254861/24300001
1206.66/1223.71	c cleaning 220003 clauses out of 440042 with flag 98067879/24521001
1218.92/1235.96	c cleaning 221004 clauses out of 442039 with flag 98878307/24743001
1231.49/1248.64	c cleaning 222002 clauses out of 444035 with flag 99692576/24966001
1244.73/1261.85	c cleaning 222996 clauses out of 446032 with flag 100532067/25190000
1258.54/1276.09	c cleaning 224008 clauses out of 448036 with flag 101371705/25415000
1272.59/1290.10	c cleaning 224998 clauses out of 450028 with flag 102244016/25641000
1286.49/1304.05	c cleaning 225997 clauses out of 452031 with flag 103106950/25868001
1301.02/1318.54	c cleaning 227007 clauses out of 454033 with flag 103985391/26096000
1315.30/1332.81	c cleaning 227991 clauses out of 456027 with flag 104864249/26325001
1330.19/1347.61	c cleaning 229011 clauses out of 458037 with flag 105775687/26555002
1344.65/1362.63	c cleaning 229986 clauses out of 460024 with flag 106662689/26786000
1359.21/1377.11	c cleaning 231008 clauses out of 462039 with flag 107556938/27018001
1373.44/1391.37	c cleaning 232016 clauses out of 464031 with flag 108444971/27251001
1389.41/1407.69	c cleaning 232991 clauses out of 466014 with flag 109355476/27485000
1404.48/1422.60	c cleaning 234003 clauses out of 468024 with flag 110270636/27720001
1419.87/1438.38	c cleaning 234992 clauses out of 470020 with flag 111194076/27956000
1435.02/1453.43	c cleaning 236004 clauses out of 472028 with flag 112114216/28193000
1451.62/1469.82	c cleaning 236999 clauses out of 474025 with flag 113050802/28431001
1468.33/1487.49	c cleaning 238001 clauses out of 476026 with flag 113982854/28670001
1483.87/1502.90	c cleaning 239002 clauses out of 478025 with flag 114910751/28910001
1499.09/1518.19	c cleaning 239995 clauses out of 480024 with flag 115833152/29151002
1514.91/1533.92	c cleaning 240997 clauses out of 482028 with flag 116767082/29393001
1531.30/1550.30	c cleaning 242003 clauses out of 484031 with flag 117723051/29636001
1547.31/1566.38	c cleaning 243002 clauses out of 486027 with flag 118678102/29880000
1563.72/1582.80	c cleaning 243996 clauses out of 488025 with flag 119638219/30125000
1579.58/1598.64	c cleaning 244998 clauses out of 490030 with flag 120598685/30371001
1595.92/1615.06	c cleaning 246005 clauses out of 492031 with flag 121557981/30618000
1612.37/1631.42	c cleaning 246995 clauses out of 494026 with flag 122513559/30866000
1628.50/1647.92	c cleaning 247999 clauses out of 496032 with flag 123489388/31115001
1645.26/1664.65	c cleaning 249003 clauses out of 498032 with flag 124466097/31365000
1663.26/1682.94	c cleaning 250008 clauses out of 500031 with flag 125465179/31616002
1680.72/1700.30	c cleaning 250995 clauses out of 502021 with flag 126453180/31868000
1699.16/1718.77	c cleaning 251998 clauses out of 504026 with flag 127463195/32121000
1718.36/1737.87	c cleaning 253001 clauses out of 506028 with flag 128475244/32375000
1737.37/1757.08	c cleaning 254005 clauses out of 508027 with flag 129527715/32630000
1756.45/1776.09	c cleaning 254999 clauses out of 510022 with flag 130569359/32886000
1777.80/1797.49	c cleaning 255998 clauses out of 512023 with flag 131635324/33143000
1799.47/1819.14	c cleaning 257007 clauses out of 514025 with flag 132697503/33401000
1820.82/1840.43	c cleaning 258000 clauses out of 516019 with flag 133775243/33660001
1845.53/1865.13	c cleaning 259002 clauses out of 518019 with flag 134901632/33920001
1875.25/1894.05	c cleaning 260004 clauses out of 520016 with flag 136082730/34181000
1890.39/1907.87	c starts		: 20771
1890.39/1907.88	c conflicts		: 34350857
1890.39/1907.88	c decisions		: 47956633
1890.39/1907.88	c propagations		: 298876370
1890.39/1907.88	c inspects		: 33156625436
1890.39/1907.88	c shortcuts		: 0
1890.39/1907.88	c learnt literals	: 13
1890.39/1907.88	c learnt binary clauses	: 79
1890.39/1907.88	c learnt ternary clauses	: 298
1890.39/1907.88	c learnt constraints	: 34350843
1890.39/1907.88	c ignored constraints	: 0
1890.39/1907.88	c root simplifications	: 0
1890.39/1907.88	c removed literals (reason simplification)	: 30983168
1890.39/1907.88	c reason swapping (by a shorter reason)	: 0
1890.39/1907.88	c Calls to reduceDB	: 257
1890.39/1907.88	c Number of update (reduction) of LBD	: 8048504
1890.39/1907.88	c Imported unit clauses	: 0
1890.39/1907.88	c No decision after first conflict	: false
1890.39/1907.88	c number of reductions to clauses (during analyze)	: 0
1890.39/1907.88	c number of learned constraints concerned by reduction	: 0
1890.39/1907.88	c number of learning phase by resolution	: 0
1890.39/1907.88	c number of learning phase by cutting planes	: 0
1890.39/1907.88	c number of rounding to 1 operations	: 0
1890.39/1907.88	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1890.39/1907.88	c number of reductions of the coefficients by power 2 	: 0
1890.39/1907.88	c number of right shift for reduction by power 2 	: 0
1890.39/1907.88	c number of reductions of the coefficients by GCD over coefficients 	: 0
1890.39/1907.88	c number of ending skipping 	: 0
1890.39/1907.88	c number of internal skipping 	: 0
1890.39/1907.88	c number of derivation steps 	: 0
1890.39/1907.88	c number of skipped derivation steps 	: 0
1890.39/1907.88	c number of remaining unassigned 	: 0
1890.39/1907.88	c number of remaining assigned 	: 0
1890.39/1907.88	c number of falsified literals weakened from reason	: 0
1890.39/1907.88	c number of falsified literals weakened from conflict	: 0
1890.39/1907.88	c time for arithmetic operations	: 0
1890.39/1907.88	c minimum degree of deleted constraints	: null
1890.39/1907.88	c maximum degree of deleted constraints	: null
1890.39/1907.88	c number of deleted constraints	: 0
1890.39/1907.88	c speed (assignments/second)	: 156715.83322103502
1890.39/1907.88	c non guided choices	: 3424826
1890.46/1907.96	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 429776
1890.46/1907.96	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 79
1890.46/1907.96	s UNSATISFIABLE
1890.46/1907.96	c Total wall clock time (in seconds): 1907.694

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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: 64096 MiB (47562 MiB free)
  memory of node 1: 64473 MiB (53486 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=176549, runsolver pid=176546

[startup+0.10675 s]*
/proc/loadavg: 4.65 4.48 4.30 6/321 176567
/proc/meminfo: memFree=103438172/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=18975048 memory=56724 CPUtime=0.13 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 6603 0 0 0 10 3 0 0 20 0 18 0 18974008 19430449152 14181 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4743762 14181 5695 1 0 550917 0
[pid=176549/tid=176551] ppid=176546 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 5538 0 0 0 7 2 0 0 20 0 18 0 18974008 19430449152 14181 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18974014 19430449152 14181 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=18975048 memory=14127853412501402 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18974015 19430449152 14181 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56724 KiB

[startup+0.214035 s]*
/proc/loadavg: 4.65 4.48 4.30 5/321 176567
/proc/meminfo: memFree=103428052/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=18975048 memory=65408 CPUtime=0.26 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 7275 0 0 0 23 3 0 0 20 0 18 0 18974008 19430449152 16352 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4743762 16352 5683 1 0 551456 0
[pid=176549/tid=176551] ppid=176546 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 1077936192 5776 0 0 0 16 2 0 0 20 0 18 0 18974008 19430449152 16352 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=18975048 memory=1264155 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18974014 19430449152 16352 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=18975048 memory=16102571999761082 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18974015 19430449152 16352 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65408 KiB

[startup+0.315599 s]*
/proc/loadavg: 4.65 4.48 4.30 4/321 176567
/proc/meminfo: memFree=103426988/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=18975048 memory=66452 CPUtime=0.34 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 7473 0 0 0 31 3 0 0 20 0 18 0 18974008 19430449152 16613 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4743762 16613 5716 1 0 551581 0
[pid=176549/tid=176551] ppid=176546 vsize=18975048 memory=-8744131642011722428 CPUtime=0.24 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) D 176546 176549 169659 0 -1 1078198336 5882 0 0 0 21 3 0 0 20 0 18 0 18974008 19430449152 16613 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18974014 19430449152 16613 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18974015 19430449152 16613 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66452 KiB

[startup+0.706242 s]
/proc/loadavg: 4.65 4.48 4.30 4/321 176567
/proc/meminfo: memFree=103426316/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=18975048 memory=72984 CPUtime=0.43 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 7579 0 0 0 39 4 0 0 20 0 18 0 18974008 19430449152 18246 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4743762 18246 5723 1 0 551641 0
[pid=176549/tid=176551] ppid=176546 vsize=18975048 memory=5516 CPUtime=0.29 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 5923 0 0 0 26 3 0 0 20 0 18 0 18974008 19430449152 18246 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=18975048 memory=12668 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18974014 19430449152 18246 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18974015 19430449152 18246 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72984 KiB

[startup+1.50124 s]
/proc/loadavg: 4.65 4.48 4.30 7/322 176568
/proc/meminfo: memFree=103393916/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19041612 memory=127528 CPUtime=1.98 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 14417 0 0 0 191 7 0 0 20 0 19 0 18974008 19498610688 31882 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4760403 31882 5843 1 0 554431 0
[pid=176549/tid=176551] ppid=176546 vsize=19041612 memory=12668 CPUtime=1 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 6274 0 0 0 96 4 0 0 20 0 19 0 18974008 19498610688 31882 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18974014 19498610688 31882 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18974015 19498610688 31882 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18974084 19498610688 31882 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127528 KiB

[startup+3.10623 s]
/proc/loadavg: 4.68 4.49 4.30 7/323 176569
/proc/meminfo: memFree=103301192/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=181340 CPUtime=5.14 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 22855 0 0 0 503 11 0 0 20 0 20 0 18974008 19566772224 45335 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 45335 5859 1 0 557068 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=0 CPUtime=2.57 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 7718 0 0 0 249 8 0 0 20 0 20 0 18974008 19566772224 45335 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=15864 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 45335 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 45335 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=12668 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 45335 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 5.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181340 KiB

[startup+6.30019 s]
/proc/loadavg: 4.68 4.49 4.30 5/323 176569
/proc/meminfo: memFree=102931772/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=522816 CPUtime=9.09 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 23538 0 0 0 888 21 0 0 20 0 20 0 18974008 19566772224 130704 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 130704 5859 1 0 557071 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=0 CPUtime=5.68 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 8120 0 0 0 552 16 0 0 20 0 20 0 18974008 19566772224 130704 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=12668 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 130704 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=15864 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 130704 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=60516 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 130704 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 9.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 522816 KiB

[startup+12.7004 s]
/proc/loadavg: 4.62 4.48 4.30 5/323 176570
/proc/meminfo: memFree=102633304/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=775196 CPUtime=16.43 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 28171 0 0 0 1612 31 0 0 20 0 20 0 18974008 19566772224 193799 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 193799 5875 1 0 557071 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=86080 CPUtime=12.02 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 9503 0 0 0 1177 25 0 0 20 0 20 0 18974008 19566772224 193799 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=775172 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 193799 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=183536 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 193799 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 193799 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 16.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 775196 KiB

[startup+25.5005 s]
/proc/loadavg: 4.48 4.45 4.29 5/323 176572
/proc/meminfo: memFree=102186452/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=1121420 CPUtime=29.49 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 32831 0 0 0 2902 47 0 0 20 0 20 0 18974008 19566772224 280355 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 280355 5875 1 0 557071 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=775172 CPUtime=24.64 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 11212 0 0 0 2425 39 0 0 20 0 20 0 18974008 19566772224 280355 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=1100920 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 280355 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 280355 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 280355 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 29.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1121420 KiB

[startup+51.1135 s]
/proc/loadavg: 4.39 4.43 4.29 5/323 176576
/proc/meminfo: memFree=101791428/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=1334452 CPUtime=54.76 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 38511 0 0 0 5406 70 0 0 20 0 20 0 18974008 19566772224 333613 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 333613 5875 1 0 557071 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=1334448 CPUtime=49.67 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 13450 0 0 0 4907 60 0 0 20 0 20 0 18974008 19566772224 333613 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=1334452 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 333613 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=15864 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 333613 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0

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

/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1657 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 547772 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=2191088 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 547772 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1762.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2191088 KiB

[startup+1842.3 s]
/proc/loadavg: 1.16 2.15 3.00 2/244 177615
/proc/meminfo: memFree=119560232/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=2191172 CPUtime=1822.73 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 126661 0 0 0 181478 795 0 0 20 0 20 0 18974008 19566772224 547793 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 547793 5875 1 0 561577 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=2191088 CPUtime=1792.07 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 57983 0 0 0 178523 684 0 0 20 0 20 0 18974008 19566772224 547793 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3096 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 547793 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=2191088 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1730 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 547793 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=-8744131642011722428 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 547793 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1822.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2191172 KiB

[startup+1902.3 s]
/proc/loadavg: 1.16 1.97 2.88 2/242 177627
/proc/meminfo: memFree=119480640/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=2193024 CPUtime=1883.66 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 139031 0 0 0 187553 813 0 0 20 0 20 0 18974008 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 548256 5875 1 0 564075 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=2191088 CPUtime=1851.33 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 60600 0 0 0 184437 696 0 0 20 0 20 0 18974008 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3122 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=2191400 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=2191348 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1883.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193024 KiB

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

# cumulated CPU time of all completed processes:  user=1882.41 s, system=8.17836 s

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

[startup+1904 s]*
/proc/loadavg: 1.15 1.95 2.87 2/242 177627
/proc/meminfo: memFree=119479076/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=2193024 CPUtime=1885.36 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 139061 0 0 0 187723 813 0 0 20 0 20 0 18974008 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 548256 5875 1 0 564075 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=-8744131642011722428 CPUtime=1853.04 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 60630 0 0 0 184608 696 0 0 20 0 20 0 18974008 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3122 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=-4421386483346269280 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=32744 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=18748 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 548256 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1885.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193024 KiB

[startup+1905.61 s]
/proc/loadavg: 1.15 1.95 2.87 2/242 177627
/proc/meminfo: memFree=119478224/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=2193160 CPUtime=1887.08 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 139216 0 0 0 187894 814 0 0 20 0 20 0 18974008 19566772224 548290 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 548290 5875 1 0 564075 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=12668 CPUtime=1854.63 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 60647 0 0 0 184767 696 0 0 20 0 20 0 18974008 19566772224 548290 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3122 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 548290 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=15864 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 548290 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=60804 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 548290 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1887.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193160 KiB

[startup+1907.2 s]
/proc/loadavg: 1.15 1.95 2.87 2/242 177627
/proc/meminfo: memFree=119470092/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=2199176 CPUtime=1889.84 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 141012 0 0 0 188169 815 0 0 20 0 20 0 18974008 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 549794 5875 1 0 564075 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=60804 CPUtime=1856.22 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 60849 0 0 0 184925 697 0 0 20 0 20 0 18974008 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3122 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=2192988 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=2192988 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1889.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2199176 KiB

[startup+1907.6 s]
/proc/loadavg: 1.15 1.95 2.87 2/242 177627
/proc/meminfo: memFree=119470092/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=2199176 CPUtime=1890.24 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 141023 0 0 0 188209 815 0 0 20 0 20 0 18974008 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 549794 5875 1 0 564075 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=1964 CPUtime=1856.62 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) R 176546 176549 169659 0 -1 4194368 60853 0 0 0 184965 697 0 0 20 0 20 0 18974008 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3122 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=2193024 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=32356 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=2193024 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 549794 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1890.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2199176 KiB

[startup+1907.8 s]
/proc/loadavg: 1.15 1.95 2.87 2/242 177627
/proc/meminfo: memFree=119470092/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19108176 memory=2199228 CPUtime=1890.39 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 141542 0 0 0 188224 815 0 0 20 0 20 0 18974008 19566772224 549807 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4777044 549807 5875 1 0 564075 0
[pid=176549/tid=176551] ppid=176546 vsize=19108176 memory=1764 CPUtime=1856.76 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) D 176546 176549 169659 0 -1 4194368 61308 0 0 0 184979 697 0 0 20 0 20 0 18974008 19566772224 549807 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3132 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19108176 memory=16144 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19566772224 549807 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19108176 memory=2228 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 20 0 18974015 19566772224 549807 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176568] ppid=176546 vsize=19108176 memory=12668 CPUtime=0 cores=4,6
/proc/176549/task/176568/stat : 176568 (Timer-0) S 176546 176549 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18974084 19566772224 549807 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1890.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2199228 KiB

[startup+1907.9 s]
/proc/loadavg: 1.15 1.95 2.87 2/242 177627
/proc/meminfo: memFree=119470092/131655788 swapFree=131067352/131071996
[pid=176549] ppid=176546 vsize=19241304 memory=2199852 CPUtime=1890.46 cores=4,6
/proc/176549/stat : 176549 (java) S 176546 176549 169659 0 -1 1077936128 143044 0 0 0 188230 816 0 0 20 0 20 0 18974008 19703095296 549963 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
/proc/176549/statm: 4810326 549963 5874 1 0 564693 0
[pid=176549/tid=176551] ppid=176546 vsize=19241304 memory=2191088 CPUtime=1856.77 cores=4,6
/proc/176549/task/176551/stat : 176551 (java) S 176546 176549 169659 0 -1 1077936192 62054 0 0 0 184979 698 0 0 20 0 20 0 18974008 19703095296 549963 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3142 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176560] ppid=176546 vsize=19241304 memory=5516 CPUtime=0 cores=4,6
/proc/176549/task/176560/stat : 176560 (Finalizer) S 176546 176549 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18974014 19703095296 549963 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
[pid=176549/tid=176567] ppid=176546 vsize=19241304 memory=2193024 CPUtime=0 cores=4,6
/proc/176549/task/176567/stat : 176567 (Common-Cleaner) S 176546 176549 169659 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 20 0 18974015 19703095296 549963 134679101440 93870994796544 93870994800240 140723420320592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93870994808056 93870994808848 93871008649216 140723420328875 140723420329057 140723420329057 140723420336072 0
Current children cumulated CPU time: 1890.46 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2199852 KiB

Child status: 20

Real time (s): 1907.99
CPU time (s): 1890.59
CPU user time (s): 1882.41
CPU system time (s): 8.17836
CPU usage (%): 99.0879
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2206412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1882.41
system time used= 8.17836
maximum resident set size= 2206920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9397464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65073
involuntary context switches= 3885


# summary of solver processes directly reported to runsolver:
#   pid: 176549
#   total CPU time (s): 1890.59
#   total CPU user time (s): 1882.41
#   total CPU system time (s): 8.17836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2236 second user time and 19.8733 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-24 16:04:01
IDJOB=4451122
IDBENCH=162352
IDSOLVER=3079
FILE ID=nodeC009/4451122-1721829841
RUNJOBID= nodeC009-1721820325-169707
SLURM_JOB_ID= 7891460
Free space on /tmp= 723756 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451122-1721829841/watcher-4451122-1721829841 -o /tmp/evaluation-result-4451122-1721829841/solver-4451122-1721829841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721820325-169707 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451122-1721829841 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451122-1721829841.opb

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

MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=1713891783

nodeC009.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		: 3652.597
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.96
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		: 3604.920
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.36
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.405
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.96
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.356
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.36
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		: 3492.008
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.981
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.36
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.264
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.96
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.379
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        103474156 kB
MemAvailable:   114739444 kB
Buffers:          270032 kB
Cached:         11725556 kB
SwapCached:         2844 kB
Active:          1839512 kB
Inactive:       25566784 kB
Active(anon):       1580 kB
Inactive(anon): 15454984 kB
Active(file):    1837932 kB
Inactive(file): 10111800 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131067352 kB
Dirty:             17272 kB
Writeback:             4 kB
AnonPages:      15407508 kB
Mapped:           111548 kB
Shmem:             45700 kB
KReclaimable:     311512 kB
Slab:             425248 kB
SReclaimable:     311512 kB
SUnreclaim:       113736 kB
KernelStack:        4880 kB
PageTables:        40068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   19198852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15099904 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC009 at 2024-07-24 16:35:50