Trace number 4450984

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 Default 2024-07-07UNSAT 2284.1 2284.05

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
MD5SUMa95ffdb987ab7b28268efdc4e16ef22d
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 benchmark57.6902
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1501
Total number of constraints751
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)751
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.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4450984-1721425639.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.045s.
0.13/0.18	c declared #vars     1501
0.13/0.18	c #constraints  1502
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1500
0.13/0.18	c 1502 constraints processed.
0.71/0.46	c cleaning 2493 clauses out of 5002 with flag 20916/5002
1.08/0.66	c cleaning 4214 clauses out of 8507 with flag 45432/11000
1.28/0.75	c cleaning 5604 clauses out of 11293 with flag 77954/18000
1.48/0.86	c cleaning 6815 clauses out of 13690 with flag 118404/26001
1.64/0.95	c cleaning 7869 clauses out of 15875 with flag 164707/35001
1.82/1.06	c cleaning 8935 clauses out of 18006 with flag 216657/45001
1.99/1.18	c cleaning 9993 clauses out of 20071 with flag 274489/56001
2.18/1.33	c cleaning 11004 clauses out of 22078 with flag 338909/68001
2.63/1.61	c cleaning 11990 clauses out of 24075 with flag 415310/81002
2.88/1.81	c cleaning 12986 clauses out of 26083 with flag 492072/95000
3.09/2.01	c cleaning 14026 clauses out of 28098 with flag 575232/110001
3.29/2.25	c cleaning 15010 clauses out of 30071 with flag 670452/126000
3.52/2.48	c cleaning 15954 clauses out of 32061 with flag 762288/143000
3.84/2.76	c cleaning 17014 clauses out of 34107 with flag 864442/161000
4.15/3.04	c cleaning 18043 clauses out of 36094 with flag 971011/180001
4.44/3.32	c cleaning 18930 clauses out of 38050 with flag 1077968/200000
4.64/3.59	c cleaning 20048 clauses out of 40122 with flag 1192225/221002
5.04/3.95	c cleaning 21005 clauses out of 42072 with flag 1321777/243000
5.44/4.31	c cleaning 22028 clauses out of 44069 with flag 1453742/266002
5.74/4.68	c cleaning 23010 clauses out of 46041 with flag 1590750/290002
6.25/5.13	c cleaning 23963 clauses out of 48029 with flag 1731586/315000
6.64/5.52	c cleaning 24969 clauses out of 50067 with flag 1867182/341001
7.04/5.97	c cleaning 26013 clauses out of 52097 with flag 2010285/368000
7.54/6.42	c cleaning 27008 clauses out of 54087 with flag 2162572/396003
7.94/6.88	c cleaning 27978 clauses out of 56076 with flag 2323948/425000
8.54/7.41	c cleaning 28995 clauses out of 58098 with flag 2490469/455000
9.04/7.90	c cleaning 30028 clauses out of 60103 with flag 2655276/486000
9.54/8.42	c cleaning 31025 clauses out of 62076 with flag 2825532/518001
10.04/8.99	c cleaning 31990 clauses out of 64051 with flag 3003043/551001
10.64/9.59	c cleaning 33004 clauses out of 66060 with flag 3186248/585000
11.34/10.22	c cleaning 33966 clauses out of 68056 with flag 3376646/620000
11.93/10.88	c cleaning 34967 clauses out of 70091 with flag 3562623/656001
12.63/11.59	c cleaning 36049 clauses out of 72123 with flag 3753825/693000
13.53/12.44	c cleaning 36959 clauses out of 74075 with flag 3958945/731001
14.33/13.23	c cleaning 37997 clauses out of 76116 with flag 4162233/770001
15.13/14.03	c cleaning 38999 clauses out of 78118 with flag 4364558/810000
15.92/14.89	c cleaning 40021 clauses out of 80120 with flag 4582520/851001
16.82/15.79	c cleaning 41006 clauses out of 82099 with flag 4798069/893001
17.72/16.65	c cleaning 41984 clauses out of 84093 with flag 5012443/936001
18.62/17.54	c cleaning 43034 clauses out of 86108 with flag 5226983/980000
19.61/18.57	c cleaning 44001 clauses out of 88074 with flag 5458272/1025000
20.65/19.59	c cleaning 45021 clauses out of 90073 with flag 5692966/1071000
21.74/20.64	c cleaning 45971 clauses out of 92052 with flag 5925550/1118000
22.84/21.74	c cleaning 46987 clauses out of 94081 with flag 6160905/1166000
23.94/22.88	c cleaning 47988 clauses out of 96095 with flag 6405920/1215001
25.14/24.07	c cleaning 49041 clauses out of 98106 with flag 6662526/1265000
26.43/25.30	c cleaning 49964 clauses out of 100065 with flag 6919280/1316000
27.63/26.52	c cleaning 51023 clauses out of 102101 with flag 7181485/1368000
28.83/27.73	c cleaning 51974 clauses out of 104078 with flag 7430560/1421000
30.23/29.11	c cleaning 52981 clauses out of 106104 with flag 7692393/1475000
31.54/30.45	c cleaning 54017 clauses out of 108123 with flag 7952415/1530000
32.93/31.83	c cleaning 55001 clauses out of 110107 with flag 8226339/1586001
34.43/33.35	c cleaning 56005 clauses out of 112106 with flag 8504031/1643001
35.93/34.81	c cleaning 57045 clauses out of 114100 with flag 8776901/1701000
37.42/36.32	c cleaning 58016 clauses out of 116056 with flag 9055696/1760001
38.92/37.89	c cleaning 58954 clauses out of 118040 with flag 9334014/1820001
40.62/39.55	c cleaning 60012 clauses out of 120087 with flag 9628485/1881002
42.22/41.15	c cleaning 61013 clauses out of 122073 with flag 9924005/1943000
44.01/42.90	c cleaning 61992 clauses out of 124063 with flag 10225369/2006003
45.81/44.75	c cleaning 63015 clauses out of 126068 with flag 10544917/2070000
47.60/46.56	c cleaning 63959 clauses out of 128053 with flag 10853474/2135000
49.54/48.40	c cleaning 65010 clauses out of 130094 with flag 11156112/2201000
51.34/50.25	c cleaning 65979 clauses out of 132086 with flag 11473042/2268002
53.24/52.14	c cleaning 67018 clauses out of 134105 with flag 11795367/2336000
55.23/54.18	c cleaning 67997 clauses out of 136087 with flag 12122902/2405000
57.23/56.14	c cleaning 68994 clauses out of 138090 with flag 12440933/2475000
59.32/58.28	c cleaning 69994 clauses out of 140096 with flag 12771379/2546000
61.63/60.54	c cleaning 71030 clauses out of 142102 with flag 13113378/2618000
64.03/62.93	c cleaning 72000 clauses out of 144074 with flag 13463061/2691002
66.23/65.11	c cleaning 72996 clauses out of 146072 with flag 13801894/2765000
68.42/67.35	c cleaning 73992 clauses out of 148076 with flag 14150219/2840000
70.82/69.73	c cleaning 75014 clauses out of 150085 with flag 14502769/2916001
73.32/72.20	c cleaning 75987 clauses out of 152072 with flag 14862540/2993002
75.71/74.62	c cleaning 77035 clauses out of 154084 with flag 15221535/3071001
78.21/77.13	c cleaning 77993 clauses out of 156048 with flag 15593525/3150000
80.80/79.71	c cleaning 78981 clauses out of 158055 with flag 15957960/3230000
83.34/82.25	c cleaning 79983 clauses out of 160074 with flag 16316999/3311000
85.93/84.87	c cleaning 81011 clauses out of 162091 with flag 16689086/3393000
88.62/87.53	c cleaning 81968 clauses out of 164080 with flag 17059370/3476000
91.22/90.14	c cleaning 83047 clauses out of 166113 with flag 17434154/3560001
93.91/92.80	c cleaning 83987 clauses out of 168065 with flag 17813277/3645000
96.75/95.62	c cleaning 84992 clauses out of 170079 with flag 18193150/3731001
99.44/98.39	c cleaning 86002 clauses out of 172086 with flag 18581551/3818000
102.73/101.68	c cleaning 87011 clauses out of 174087 with flag 18993419/3906003
105.63/104.56	c cleaning 88002 clauses out of 176073 with flag 19393663/3995000
108.75/107.61	c cleaning 89004 clauses out of 178073 with flag 19789621/4085002
111.75/110.61	c cleaning 89982 clauses out of 180068 with flag 20189430/4176001
114.84/113.72	c cleaning 90996 clauses out of 182085 with flag 20595794/4268000
117.93/116.83	c cleaning 92001 clauses out of 184090 with flag 21009101/4361001
121.14/120.09	c cleaning 92996 clauses out of 186089 with flag 21419785/4455001
124.43/123.36	c cleaning 94001 clauses out of 188093 with flag 21839088/4550001
127.72/126.61	c cleaning 95008 clauses out of 190093 with flag 22262411/4646002
131.01/129.91	c cleaning 96008 clauses out of 192084 with flag 22682507/4743001
134.31/133.27	c cleaning 97017 clauses out of 194076 with flag 23102344/4841001
138.03/136.94	c cleaning 98012 clauses out of 196058 with flag 23534826/4940000
141.62/140.53	c cleaning 99003 clauses out of 198047 with flag 23967925/5040001
145.02/143.96	c cleaning 99982 clauses out of 200043 with flag 24398419/5141000
148.71/147.67	c cleaning 101008 clauses out of 202063 with flag 24839158/5243002
152.50/151.49	c cleaning 101976 clauses out of 204055 with flag 25280911/5346002
156.50/155.42	c cleaning 103000 clauses out of 206077 with flag 25726973/5450000
160.61/159.57	c cleaning 104010 clauses out of 208077 with flag 26181089/5555000
164.48/163.43	c cleaning 105010 clauses out of 210067 with flag 26635754/5661000
168.35/167.37	c cleaning 105971 clauses out of 212057 with flag 27085117/5768000
172.32/171.31	c cleaning 107013 clauses out of 214086 with flag 27538670/5876000
176.28/175.37	c cleaning 108009 clauses out of 216074 with flag 27997536/5985001
180.60/179.62	c cleaning 108990 clauses out of 218064 with flag 28460369/6095000
184.99/184.04	c cleaning 109997 clauses out of 220074 with flag 28935221/6206000
189.17/188.20	c cleaning 111007 clauses out of 222078 with flag 29402683/6318001
193.46/192.58	c cleaning 112011 clauses out of 224071 with flag 29876501/6431001
197.85/196.95	c cleaning 113000 clauses out of 226059 with flag 30355349/6545000
202.44/201.58	c cleaning 114016 clauses out of 228060 with flag 30838923/6660001
206.97/206.04	c cleaning 114994 clauses out of 230043 with flag 31313283/6776000
211.66/210.79	c cleaning 116011 clauses out of 232049 with flag 31804029/6893000
216.25/215.36	c cleaning 117007 clauses out of 234038 with flag 32290858/7011000
221.24/220.38	c cleaning 117980 clauses out of 236032 with flag 32787162/7130001
226.13/225.20	c cleaning 118988 clauses out of 238052 with flag 33278249/7250001
231.12/230.23	c cleaning 119992 clauses out of 240063 with flag 33772705/7371000
236.40/235.55	c cleaning 120996 clauses out of 242072 with flag 34280399/7493001
242.12/241.22	c cleaning 122028 clauses out of 244077 with flag 34786681/7616002
247.21/246.39	c cleaning 123024 clauses out of 246047 with flag 35293282/7740000
252.50/251.68	c cleaning 123976 clauses out of 248024 with flag 35800173/7865001
257.89/257.04	c cleaning 125013 clauses out of 250048 with flag 36318325/7991001
263.08/262.20	c cleaning 125994 clauses out of 252036 with flag 36817018/8118002
268.77/267.96	c cleaning 126990 clauses out of 254040 with flag 37344384/8246000
274.06/273.28	c cleaning 127990 clauses out of 256050 with flag 37852980/8375000
279.85/279.08	c cleaning 128993 clauses out of 258061 with flag 38376732/8505001
285.61/284.79	c cleaning 129985 clauses out of 260067 with flag 38903192/8636000
291.30/290.47	c cleaning 131012 clauses out of 262083 with flag 39432173/8768001
296.99/296.14	c cleaning 132000 clauses out of 264070 with flag 39957040/8901000
302.67/301.85	c cleaning 133016 clauses out of 266070 with flag 40491114/9035000
308.56/307.76	c cleaning 133989 clauses out of 268055 with flag 41023448/9170001
314.54/313.79	c cleaning 135020 clauses out of 270065 with flag 41560218/9306000
320.53/319.73	c cleaning 136002 clauses out of 272046 with flag 42092871/9443001
327.02/326.23	c cleaning 136993 clauses out of 274043 with flag 42639433/9581000
333.47/332.61	c cleaning 138011 clauses out of 276051 with flag 43184165/9720001
339.76/339.00	c cleaning 138990 clauses out of 278039 with flag 43737822/9860000
346.44/345.65	c cleaning 140001 clauses out of 280050 with flag 44292560/10001001
352.52/351.75	c cleaning 141018 clauses out of 282048 with flag 44842557/10143000
358.72/357.99	c cleaning 141984 clauses out of 284030 with flag 45387070/10286000
365.10/364.39	c cleaning 143002 clauses out of 286046 with flag 45948267/10430000
371.58/370.89	c cleaning 143993 clauses out of 288044 with flag 46506936/10575000
378.26/377.60	c cleaning 145000 clauses out of 290051 with flag 47066907/10721000
385.25/384.56	c cleaning 145997 clauses out of 292052 with flag 47645239/10868001
392.21/391.48	c cleaning 147016 clauses out of 294055 with flag 48214928/11016001
398.91/398.12	c cleaning 148001 clauses out of 296039 with flag 48789474/11165001
405.79/405.08	c cleaning 148995 clauses out of 298037 with flag 49371198/11315000
412.78/412.06	c cleaning 150007 clauses out of 300043 with flag 49951001/11466001
420.36/419.69	c cleaning 150984 clauses out of 302037 with flag 50543230/11618002
426.75/426.09	c cleaning 152009 clauses out of 304052 with flag 51109602/11771001
434.03/433.37	c cleaning 152986 clauses out of 306042 with flag 51703782/11925000
441.72/441.02	c cleaning 154010 clauses out of 308056 with flag 52308119/12080000
448.80/448.11	c cleaning 155008 clauses out of 310047 with flag 52892891/12236001
455.69/455.06	c cleaning 155999 clauses out of 312038 with flag 53490278/12393000
463.17/462.54	c cleaning 157011 clauses out of 314040 with flag 54099561/12551001
470.76/470.17	c cleaning 157999 clauses out of 316029 with flag 54689934/12710001
477.84/477.27	c cleaning 159002 clauses out of 318029 with flag 55293374/12870000
485.91/485.20	c cleaning 159979 clauses out of 320028 with flag 55897996/13031001
493.39/492.77	c cleaning 160995 clauses out of 322050 with flag 56522387/13193002
500.48/499.85	c cleaning 162014 clauses out of 324053 with flag 57139730/13356000
508.06/507.49	c cleaning 162987 clauses out of 326039 with flag 57760099/13520000
515.65/515.03	c cleaning 164018 clauses out of 328052 with flag 58378112/13685000
523.04/522.49	c cleaning 164992 clauses out of 330034 with flag 58980538/13851000
530.83/530.28	c cleaning 165983 clauses out of 332042 with flag 59610809/14018000
538.41/537.81	c cleaning 167017 clauses out of 334059 with flag 60238585/14186000
546.00/545.44	c cleaning 167990 clauses out of 336042 with flag 60860475/14355000
554.08/553.54	c cleaning 169014 clauses out of 338053 with flag 61496089/14525001
562.07/561.56	c cleaning 170000 clauses out of 340040 with flag 62135108/14696002
569.85/569.38	c cleaning 170992 clauses out of 342038 with flag 62763574/14868000
578.13/577.57	c cleaning 172009 clauses out of 344046 with flag 63415820/15041000
586.51/585.90	c cleaning 173010 clauses out of 346037 with flag 64062272/15215000
594.78/594.24	c cleaning 173988 clauses out of 348027 with flag 64706000/15390000
603.07/602.57	c cleaning 175010 clauses out of 350039 with flag 65358405/15566000
611.75/611.24	c cleaning 175985 clauses out of 352029 with flag 66017856/15743000
620.22/619.72	c cleaning 177008 clauses out of 354044 with flag 66666448/15921000
628.41/627.96	c cleaning 177983 clauses out of 356037 with flag 67319030/16100001
636.89/636.44	c cleaning 179015 clauses out of 358053 with flag 67972190/16280000
645.37/644.95	c cleaning 180005 clauses out of 360038 with flag 68642257/16461000
653.65/653.20	c cleaning 180992 clauses out of 362033 with flag 69294032/16643000
662.63/662.26	c cleaning 182011 clauses out of 364041 with flag 69970428/16826000
671.20/670.84	c cleaning 183007 clauses out of 366030 with flag 70634653/17010000
680.07/679.60	c cleaning 183991 clauses out of 368023 with flag 71304445/17195000
688.25/687.89	c cleaning 185000 clauses out of 370032 with flag 71972634/17381000
696.63/696.21	c cleaning 185988 clauses out of 372032 with flag 72644147/17568000
705.21/704.89	c cleaning 187011 clauses out of 374045 with flag 73321577/17756001
713.50/713.17	c cleaning 188006 clauses out of 376033 with flag 73991404/17945000
722.07/721.70	c cleaning 188996 clauses out of 378030 with flag 74672988/18135003
730.65/730.36	c cleaning 189997 clauses out of 380033 with flag 75356928/18326002
739.44/739.14	c cleaning 191002 clauses out of 382035 with flag 76038722/18518001
747.91/747.67	c cleaning 191993 clauses out of 384033 with flag 76709013/18711001
756.29/756.05	c cleaning 192998 clauses out of 386041 with flag 77392342/18905002
764.77/764.56	c cleaning 194014 clauses out of 388041 with flag 78083958/19100000
773.55/773.38	c cleaning 194997 clauses out of 390029 with flag 78775539/19296002
782.34/782.12	c cleaning 195993 clauses out of 392031 with flag 79476459/19493001
791.02/790.74	c cleaning 197012 clauses out of 394037 with flag 80167210/19691000
799.90/799.60	c cleaning 197995 clauses out of 396027 with flag 80872892/19890002
808.48/808.24	c cleaning 198996 clauses out of 398030 with flag 81572611/20090000
817.07/816.86	c cleaning 199985 clauses out of 400034 with flag 82273543/20291000
825.75/825.56	c cleaning 201012 clauses out of 402050 with flag 82976462/20493001
834.53/834.37	c cleaning 202008 clauses out of 404037 with flag 83678788/20696000
843.41/843.26	c cleaning 202989 clauses out of 406030 with flag 84393101/20900001
852.40/852.23	c cleaning 203997 clauses out of 408040 with flag 85106527/21105000
861.29/861.18	c cleaning 205013 clauses out of 410044 with flag 85830332/21311001
870.36/870.21	c cleaning 206000 clauses out of 412031 with flag 86558049/21518001
879.55/879.41	c cleaning 206998 clauses out of 414030 with flag 87284374/21726000
888.42/888.37	c cleaning 207991 clauses out of 416032 with flag 88017314/21935000
897.30/897.28	c cleaning 209000 clauses out of 418041 with flag 88737208/22145000
906.38/906.37	c cleaning 210002 clauses out of 420041 with flag 89470461/22356000
915.56/915.57	c cleaning 210991 clauses out of 422039 with flag 90215189/22568000
925.67/925.12	c cleaning 212007 clauses out of 424048 with flag 90950890/22781000
935.04/934.58	c cleaning 213005 clauses out of 426041 with flag 91703198/22995000
944.63/944.16	c cleaning 214009 clauses out of 428036 with flag 92456795/23210000
954.21/953.72	c cleaning 215008 clauses out of 430027 with flag 93223439/23426000
963.89/963.40	c cleaning 215990 clauses out of 432020 with flag 93990483/23643001
973.48/973.10	c cleaning 216990 clauses out of 434029 with flag 94751115/23861000
983.46/983.09	c cleaning 218002 clauses out of 436039 with flag 95511842/24080000
993.04/992.65	c cleaning 218995 clauses out of 438038 with flag 96276058/24300001
1002.72/1002.39	c cleaning 220011 clauses out of 440042 with flag 97035308/24521000
1013.00/1012.64	c cleaning 220991 clauses out of 442032 with flag 97808706/24743001
1023.29/1022.90	c cleaning 222011 clauses out of 444040 with flag 98589649/24966000
1033.91/1033.54	c cleaning 223008 clauses out of 446029 with flag 99385570/25190000
1044.19/1043.89	c cleaning 223998 clauses out of 448022 with flag 100185461/25415001
1054.98/1054.65	c cleaning 225004 clauses out of 450023 with flag 101007521/25641000
1065.56/1065.22	c cleaning 225997 clauses out of 452019 with flag 101810453/25868000
1076.33/1076.05	c cleaning 226995 clauses out of 454023 with flag 102628454/26096001
1087.02/1086.77	c cleaning 227990 clauses out of 456029 with flag 103446050/26325002
1097.60/1097.37	c cleaning 229010 clauses out of 458038 with flag 104263356/26555001
1108.57/1108.31	c cleaning 229990 clauses out of 460027 with flag 105081269/26786000
1119.55/1119.32	c cleaning 231013 clauses out of 462039 with flag 105894625/27018002
1130.44/1130.29	c cleaning 232013 clauses out of 464025 with flag 106710237/27251001
1141.61/1141.49	c cleaning 232995 clauses out of 466011 with flag 107546809/27485000
1152.89/1152.63	c cleaning 233994 clauses out of 468016 with flag 108378221/27720000
1164.06/1163.81	c cleaning 234989 clauses out of 470022 with flag 109208155/27956000
1175.44/1175.25	c cleaning 236011 clauses out of 472033 with flag 110042258/28193000
1186.72/1186.54	c cleaning 236984 clauses out of 474024 with flag 110886062/28431002
1197.49/1197.33	c cleaning 238002 clauses out of 476040 with flag 111717418/28670002
1208.86/1208.77	c cleaning 238996 clauses out of 478037 with flag 112565671/28910001
1219.94/1219.83	c cleaning 240009 clauses out of 480040 with flag 113404527/29151000
1231.12/1231.10	c cleaning 241000 clauses out of 482032 with flag 114251910/29393001
1242.59/1242.51	c cleaning 242000 clauses out of 484032 with flag 115112319/29636001
1254.16/1254.14	c cleaning 243003 clauses out of 486032 with flag 115976895/29880001
1265.63/1265.67	c cleaning 244001 clauses out of 488029 with flag 116862761/30125001
1277.30/1277.35	c cleaning 244998 clauses out of 490028 with flag 117758864/30371001
1289.37/1289.36	c cleaning 245999 clauses out of 492031 with flag 118649420/30618002
1301.34/1301.33	c cleaning 246995 clauses out of 494030 with flag 119538208/30866000
1312.62/1312.66	c cleaning 248010 clauses out of 496035 with flag 120426584/31115000
1324.49/1324.52	c cleaning 248994 clauses out of 498026 with flag 121313759/31365001
1336.47/1336.59	c cleaning 249999 clauses out of 500031 with flag 122209175/31616000
1348.55/1348.69	c cleaning 251005 clauses out of 502033 with flag 123113542/31868001
1361.42/1361.57	c cleaning 252000 clauses out of 504028 with flag 124043212/32121001
1374.80/1374.92	c cleaning 253002 clauses out of 506027 with flag 124985808/32375000
1388.36/1388.58	c cleaning 253990 clauses out of 508026 with flag 125939760/32630001
1401.93/1402.14	c cleaning 255011 clauses out of 510035 with flag 126879976/32886000
1415.69/1415.99	c cleaning 255995 clauses out of 512025 with flag 127839974/33143001
1429.26/1429.59	c cleaning 257007 clauses out of 514030 with flag 128788569/33401001
1443.93/1444.11	c cleaning 257991 clauses out of 516023 with flag 129760401/33660001
1458.20/1458.45	c cleaning 259016 clauses out of 518031 with flag 130736426/33920000
1472.68/1472.91	c cleaning 259988 clauses out of 520015 with flag 131712889/34181000
1486.95/1487.24	c cleaning 261002 clauses out of 522028 with flag 132708961/34443001
1501.72/1502.03	c cleaning 261997 clauses out of 524026 with flag 133693163/34706001
1516.59/1516.96	c cleaning 262992 clauses out of 526028 with flag 134688600/34970000
1531.96/1532.39	c cleaning 264004 clauses out of 528037 with flag 135689998/35235001
1547.03/1547.47	c cleaning 264992 clauses out of 530032 with flag 136698755/35501000
1561.89/1562.39	c cleaning 266001 clauses out of 532040 with flag 137695310/35768000
1577.23/1577.63	c cleaning 267002 clauses out of 534040 with flag 138700873/36036001
1592.30/1592.89	c cleaning 267993 clauses out of 536037 with flag 139732200/36305000
1608.07/1608.79	c cleaning 269008 clauses out of 538045 with flag 140765142/36575001
1624.36/1625.16	c cleaning 270000 clauses out of 540036 with flag 141798631/36846000
1639.93/1640.73	c cleaning 270999 clauses out of 542036 with flag 142820638/37118000
1654.70/1655.51	c cleaning 272009 clauses out of 544038 with flag 143846070/37391001
1670.77/1671.61	c cleaning 272997 clauses out of 546028 with flag 144865589/37665000
1685.64/1686.58	c cleaning 274005 clauses out of 548031 with flag 145889272/37940000
1700.81/1701.77	c cleaning 275001 clauses out of 550027 with flag 146914785/38216001
1717.37/1718.36	c cleaning 275998 clauses out of 552025 with flag 147926643/38493000
1733.33/1734.32	c cleaning 276997 clauses out of 554027 with flag 148967433/38771000
1749.09/1749.94	c cleaning 278003 clauses out of 556030 with flag 149995125/39050000
1764.36/1765.29	c cleaning 278995 clauses out of 558028 with flag 151026718/39330001
1779.93/1780.80	c cleaning 280003 clauses out of 560033 with flag 152049921/39611001
1795.31/1796.20	c cleaning 281005 clauses out of 562030 with flag 153090908/39893001
1811.08/1812.04	c cleaning 282000 clauses out of 564025 with flag 154131916/40176001
1827.04/1828.00	c cleaning 282998 clauses out of 566024 with flag 155187435/40460000
1843.02/1844.02	c cleaning 284003 clauses out of 568026 with flag 156234532/40745000
1858.09/1859.18	c cleaning 284997 clauses out of 570024 with flag 157297880/41031001
1874.46/1875.51	c cleaning 286000 clauses out of 572026 with flag 158381260/41318000
1891.72/1892.88	c cleaning 287007 clauses out of 574026 with flag 159475963/41606000
1909.00/1910.19	c cleaning 287998 clauses out of 576019 with flag 160590300/41895000
1927.03/1928.07	c cleaning 288994 clauses out of 578021 with flag 161695194/42185000
1944.39/1945.44	c cleaning 289998 clauses out of 580028 with flag 162822701/42476001
1962.26/1963.35	c cleaning 291002 clauses out of 582031 with flag 163953906/42768002
1980.62/1981.72	c cleaning 292005 clauses out of 584028 with flag 165092695/43061001
1999.90/2001.10	c cleaning 292995 clauses out of 586022 with flag 166243660/43355000
2018.36/2019.56	c cleaning 294004 clauses out of 588029 with flag 167392437/43650002
2037.53/2038.75	c cleaning 294997 clauses out of 590024 with flag 168545079/43946001
2057.11/2058.23	c cleaning 296005 clauses out of 592026 with flag 169712394/44243000
2076.38/2077.57	c cleaning 297002 clauses out of 594022 with flag 170882735/44541001
2095.84/2097.10	c cleaning 297996 clauses out of 596019 with flag 172067767/44840000
2116.60/2117.87	c cleaning 298999 clauses out of 598023 with flag 173263828/45140000
2138.57/2139.80	c cleaning 300000 clauses out of 600026 with flag 174480886/45441002
2159.92/2161.21	c cleaning 301001 clauses out of 602024 with flag 175732683/45743000
2183.18/2184.51	c cleaning 301999 clauses out of 604023 with flag 176993580/46046000
2208.03/2209.47	c cleaning 303005 clauses out of 606025 with flag 178296557/46350001
2237.27/2238.76	c cleaning 304006 clauses out of 608021 with flag 179649715/46655002
2268.69/2269.66	c cleaning 305001 clauses out of 610012 with flag 181005985/46961000
2283.90/2283.94	c starts		: 28798
2283.90/2283.95	c conflicts		: 47155522
2283.90/2283.95	c decisions		: 66879077
2283.90/2283.95	c propagations		: 385542090
2283.90/2283.95	c inspects		: 41234539802
2283.90/2283.95	c shortcuts		: 0
2283.90/2283.95	c learnt literals	: 15
2283.90/2283.95	c learnt binary clauses	: 14
2283.90/2283.95	c learnt ternary clauses	: 30
2283.90/2283.95	c learnt constraints	: 47155506
2283.90/2283.95	c ignored constraints	: 0
2283.90/2283.95	c root simplifications	: 0
2283.90/2283.95	c removed literals (reason simplification)	: 0
2283.90/2283.95	c reason swapping (by a shorter reason)	: 0
2283.90/2283.95	c Calls to reduceDB	: 302
2283.90/2283.95	c Number of update (reduction) of LBD	: 10479495
2283.90/2283.95	c Imported unit clauses	: 0
2283.90/2283.95	c No decision after first conflict	: false
2283.90/2283.95	c number of reductions to clauses (during analyze)	: 0
2283.90/2283.95	c number of learned constraints concerned by reduction	: 0
2283.90/2283.95	c number of learning phase by resolution	: 0
2283.90/2283.95	c number of learning phase by cutting planes	: 0
2283.90/2283.95	c number of rounding to 1 operations	: 0
2283.90/2283.95	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2283.90/2283.95	c number of reductions of the coefficients by power 2 	: 0
2283.90/2283.95	c number of right shift for reduction by power 2 	: 0
2283.90/2283.95	c number of reductions of the coefficients by GCD over coefficients 	: 0
2283.90/2283.95	c number of ending skipping 	: 0
2283.90/2283.95	c number of internal skipping 	: 0
2283.90/2283.95	c number of derivation steps 	: 0
2283.90/2283.95	c number of skipped derivation steps 	: 0
2283.90/2283.95	c number of remaining unassigned 	: 0
2283.90/2283.95	c number of remaining assigned 	: 0
2283.90/2283.96	c number of falsified literals weakened from reason	: 0
2283.90/2283.96	c number of falsified literals weakened from conflict	: 0
2283.90/2283.96	c time for arithmetic operations	: 0
2283.90/2283.96	c minimum degree of deleted constraints	: null
2283.90/2283.96	c maximum degree of deleted constraints	: null
2283.90/2283.96	c number of deleted constraints	: 0
2283.90/2283.97	c speed (assignments/second)	: 168816.93484684217
2283.90/2283.97	c non guided choices	: 5394828
2284.03/2284.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 499504
2284.03/2284.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 14
2284.03/2284.03	s UNSATISFIABLE
2284.03/2284.03	c Total wall clock time (in seconds): 2283.907

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450984-1721425639/watcher-4450984-1721425639 -o /tmp/evaluation-result-4450984-1721425639/solver-4450984-1721425639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074935 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450984-1721425639.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1074990, runsolver pid=1074978

[startup+0.100929 s]*
/proc/loadavg: 1.11 1.12 1.66 13/324 1075063
/proc/meminfo: memFree=127022248/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=18975048 memory=62612 CPUtime=0.13 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 7235 0 0 0 11 2 0 0 20 0 18 0 194732006 19430449152 15653 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4743762 15653 5541 1 0 549334 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 1078198336 5751 0 0 0 7 1 0 0 20 0 18 0 194732006 19430449152 15653 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=18975048 memory=17016 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194732009 19430449152 15653 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=18975048 memory=14971170189477532 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194732010 19430449152 15653 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62612 KiB

[startup+0.213614 s]*
/proc/loadavg: 1.11 1.12 1.66 12/325 1075064
/proc/meminfo: memFree=126946160/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19041612 memory=85940 CPUtime=0.34 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 7768 0 0 0 31 3 0 0 20 0 19 0 194732006 19498610688 21485 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4760403 21485 5821 1 0 549918 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 5961 0 0 0 17 2 0 0 20 0 19 0 194732006 19498610688 21485 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19041612 memory=17016 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 21485 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732010 19498610688 21485 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732024 19498610688 21485 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85940 KiB

[startup+0.305616 s]*
/proc/loadavg: 1.11 1.12 1.66 15/328 1075067
/proc/meminfo: memFree=126890868/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19041612 memory=92044 CPUtime=0.52 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 8723 0 0 0 49 3 0 0 20 0 19 0 194732006 19498610688 23011 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4760403 23011 5821 1 0 550325 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19041612 memory=-7523084485081981790 CPUtime=0.27 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 5970 0 0 0 25 2 0 0 20 0 19 0 194732006 19498610688 23011 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 23011 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732010 19498610688 23011 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732024 19498610688 23011 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92044 KiB

[startup+0.700615 s]
/proc/loadavg: 1.11 1.12 1.66 13/328 1075067
/proc/meminfo: memFree=126855340/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19041612 memory=106244 CPUtime=1.28 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 14495 0 0 0 124 4 0 0 20 0 19 0 194732006 19498610688 26561 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4760403 26561 5837 1 0 553377 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19041612 memory=46816 CPUtime=0.65 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 6019 0 0 0 63 2 0 0 20 0 19 0 194732006 19498610688 26561 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 26561 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732010 19498610688 26561 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19041612 memory=1900 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732024 19498610688 26561 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106244 KiB

[startup+1.50662 s]
/proc/loadavg: 1.11 1.12 1.66 9/307 1075083
/proc/meminfo: memFree=126902128/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19041612 memory=121360 CPUtime=2.48 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 18148 0 0 0 244 4 0 0 20 0 19 0 194732006 19498610688 30340 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4760403 30340 5837 1 0 553379 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19041612 memory=13116 CPUtime=1.45 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 6374 0 0 0 143 2 0 0 20 0 19 0 194732006 19498610688 30340 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 30340 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732010 19498610688 30340 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19041612 memory=1900 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732024 19498610688 30340 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 121360 KiB

[startup+3.10525 s]
/proc/loadavg: 1.11 1.12 1.66 7/328 1075135
/proc/meminfo: memFree=126721604/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19041612 memory=146280 CPUtime=4.24 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 19057 0 0 0 419 5 0 0 20 0 19 0 194732006 19498610688 36570 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4760403 36570 5869 1 0 553403 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19041612 memory=0 CPUtime=3.05 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 6667 0 0 0 302 3 0 0 20 0 19 0 194732006 19498610688 36570 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 36570 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732010 19498610688 36570 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732024 19498610688 36570 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146280 KiB

[startup+6.30021 s]
/proc/loadavg: 1.34 1.17 1.67 7/329 1075136
/proc/meminfo: memFree=126611464/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=181564 CPUtime=7.44 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 21336 0 0 0 738 6 0 0 20 0 20 0 194732006 19566772224 45391 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 45391 5901 1 0 553692 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=13116 CPUtime=6.21 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 6981 0 0 0 618 3 0 0 20 0 20 0 194732006 19566772224 45391 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 45391 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 45391 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 45391 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181564 KiB

[startup+12.7002 s]
/proc/loadavg: 1.55 1.21 1.69 7/332 1075140
/proc/meminfo: memFree=126543000/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=189892 CPUtime=13.83 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 23429 0 0 0 1377 6 0 0 20 0 20 0 194732006 19566772224 47473 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 47473 5920 1 0 553692 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=0 CPUtime=12.57 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 7732 0 0 0 1254 3 0 0 20 0 20 0 194732006 19566772224 47473 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 47473 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=13116 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 47473 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=189892 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 47473 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 13.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189892 KiB

[startup+25.5002 s]
/proc/loadavg: 2.10 1.35 1.72 8/332 1075142
/proc/meminfo: memFree=126478804/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=208368 CPUtime=26.63 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 25981 0 0 0 2656 7 0 0 20 0 20 0 194732006 19566772224 52092 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 52092 5920 1 0 553692 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=13116 CPUtime=25.32 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 8797 0 0 0 2528 4 0 0 20 0 20 0 194732006 19566772224 52092 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=208368 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 52092 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=208368 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 52092 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 52092 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 26.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 208368 KiB

[startup+51.1054 s]
/proc/loadavg: 2.80 1.58 1.79 7/332 1075145
/proc/meminfo: memFree=126154184/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=311224 CPUtime=52.24 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 30620 0 0 0 5215 9 0 0 20 0 20 0 194732006 19566772224 77806 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 77806 5920 1 0 553692 0

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

/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 503876 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2200.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2015504 KiB

[startup+2262.3 s]
/proc/loadavg: 4.08 4.10 3.95 7/336 1077048
/proc/meminfo: memFree=119569920/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=2015504 CPUtime=2260.82 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 103191 0 0 0 225976 106 0 0 20 0 20 0 194732006 19566772224 503876 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 503876 5920 1 0 556931 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=11396 CPUtime=2253.25 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 43707 0 0 0 225312 13 0 0 20 0 20 0 194732006 19566772224 503876 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=16236 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 503876 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=5464 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 503876 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 503876 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2260.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2015504 KiB

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

# cumulated CPU time of all completed processes:  user=2282.96 s, system=1.13552 s

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

[startup+2265.6 s]
/proc/loadavg: 4.16 4.12 3.95 7/336 1077048
/proc/meminfo: memFree=119569976/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=2015744 CPUtime=2264.25 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 108054 0 0 0 226319 106 0 0 20 0 20 0 194732006 19566772224 503936 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 503936 5920 1 0 556989 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=11396 CPUtime=2256.55 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 45019 0 0 0 225641 14 0 0 20 0 20 0 194732006 19566772224 503936 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=2015504 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 503936 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=32136 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 503936 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=2015504 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 503936 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2264.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2015744 KiB

[startup+2272 s]*
/proc/loadavg: 4.14 4.12 3.95 7/337 1077051
/proc/meminfo: memFree=119569512/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=2015996 CPUtime=2271.11 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 115269 0 0 0 227003 108 0 0 20 0 20 0 194732006 19566772224 503999 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 503999 5920 1 0 559892 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=-7451026891044317798 CPUtime=2262.93 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 45192 0 0 0 226279 14 0 0 20 0 20 0 194732006 19566772224 503999 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=5024 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 503999 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=1903484 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 503999 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=5464 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 503999 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2271.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2015996 KiB

[startup+2278.4 s]
/proc/loadavg: 4.13 4.12 3.95 9/337 1077051
/proc/meminfo: memFree=119426032/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=2159680 CPUtime=2278.33 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 122281 0 0 0 227722 111 0 0 20 0 20 0 194732006 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 539920 5920 1 0 559892 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=2015504 CPUtime=2269.06 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 45881 0 0 0 226892 14 0 0 20 0 20 0 194732006 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=1900 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=46816 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2278.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159680 KiB

[startup+2281.6 s]
/proc/loadavg: 4.12 4.11 3.95 7/337 1077051
/proc/meminfo: memFree=119426052/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=2159680 CPUtime=2281.56 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 122289 0 0 0 228044 112 0 0 20 0 20 0 194732006 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 539920 5920 1 0 559892 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=2159680 CPUtime=2272.25 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 45881 0 0 0 227211 14 0 0 20 0 20 0 194732006 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=2159680 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=-9187040386246670527 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=37188 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2281.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159680 KiB

[startup+2283.2 s]
/proc/loadavg: 4.12 4.11 3.95 7/335 1077053
/proc/meminfo: memFree=119425960/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=2159680 CPUtime=2283.2 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 122305 0 0 0 228208 112 0 0 20 0 20 0 194732006 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 539920 5920 1 0 559892 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=2159680 CPUtime=2273.85 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 45881 0 0 0 227371 14 0 0 20 0 20 0 194732006 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=2159540 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=16236 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=2212 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2283.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159680 KiB

[startup+2283.6 s]
/proc/loadavg: 4.12 4.11 3.95 7/335 1077053
/proc/meminfo: memFree=119425960/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19108176 memory=2159680 CPUtime=2283.6 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 122305 0 0 0 228248 112 0 0 20 0 20 0 194732006 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4777044 539920 5920 1 0 559892 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19108176 memory=5464 CPUtime=2274.25 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) R 1074978 1074990 1074922 0 -1 4194368 45881 0 0 0 227411 14 0 0 20 0 20 0 194732006 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19108176 memory=-7523084485081785438 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19108176 memory=-6933350163988323522 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 194732010 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075064] ppid=1074978 vsize=19108176 memory=5344 CPUtime=0 cores=5,7
/proc/1074990/task/1075064/stat : 1075064 (Timer-0) S 1074978 1074990 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732024 19566772224 539920 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2283.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159680 KiB

[startup+2284 s]*
/proc/loadavg: 4.12 4.11 3.95 7/335 1077056
/proc/meminfo: memFree=119425600/131524600 swapFree=131071996/131071996
[pid=1074990] ppid=1074978 vsize=19241304 memory=2160124 CPUtime=2284.03 cores=5,7
/proc/1074990/stat : 1074990 (java) S 1074978 1074990 1074922 0 -1 1077936128 123180 0 0 0 228291 112 0 0 20 0 20 0 194732006 19703095296 540031 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
/proc/1074990/statm: 4810326 540031 5919 1 0 560494 0
[pid=1074990/tid=1074998] ppid=1074978 vsize=19241304 memory=-7451026891044317798 CPUtime=2274.59 cores=5,7
/proc/1074990/task/1074998/stat : 1074998 (java) S 1074978 1074990 1074922 0 -1 1077936192 46433 0 0 0 227445 14 0 0 20 0 20 0 194732006 19703095296 540031 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 194732007 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075037] ppid=1074978 vsize=19241304 memory=-6933350163988323522 CPUtime=0 cores=5,7
/proc/1074990/task/1075037/stat : 1075037 (Finalizer) S 1074978 1074990 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19703095296 540031 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1075063] ppid=1074978 vsize=19241304 memory=2768 CPUtime=0 cores=5,7
/proc/1074990/task/1075063/stat : 1075063 (Common-Cleaner) S 1074978 1074990 1074922 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 20 0 194732010 19703095296 540031 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
[pid=1074990/tid=1077055] ppid=1074978 vsize=19241304 memory=5140 CPUtime=0.04 cores=5,7
/proc/1074990/task/1077055/stat : 1077055 (Thread-0) R 1074978 1074990 1074922 0 -1 4194368 226 0 0 0 4 0 0 0 20 0 20 0 194960401 19703095296 540031 134679101440 94792345583616 94792345587312 140731931486896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792345595128 94792345595920 94792372428800 140731931489285 140731931489375 140731931489375 140731931496392 0
Current children cumulated CPU time: 2284.03 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2160124 KiB

Child status: 20

Real time (s): 2284.05
CPU time (s): 2284.1
CPU user time (s): 2282.96
CPU system time (s): 1.13552
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2160124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2282.96
system time used= 1.13552
maximum resident set size= 2161016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123337
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66841
involuntary context switches= 2497


# summary of solver processes directly reported to runsolver:
#   pid: 1074990
#   total CPU time (s): 2284.1
#   total CPU user time (s): 2282.96
#   total CPU system time (s): 1.13552

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.1831 second user time and 10.3805 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-19 23:47:32
IDJOB=4450984
IDBENCH=162338
IDSOLVER=3058
FILE ID=nodeC030/4450984-1721425639
RUNJOBID= nodeC030-1721425652-1074935
SLURM_JOB_ID= 7545616
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450984-1721425639/watcher-4450984-1721425639 -o /tmp/evaluation-result-4450984-1721425639/solver-4450984-1721425639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074935 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4450984-1721425639.opb

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

MD5SUM BENCH= a95ffdb987ab7b28268efdc4e16ef22d
RANDOM SEED=993416166

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127202852 kB
MemAvailable:   129659584 kB
Buffers:          515120 kB
Cached:          2762388 kB
SwapCached:            0 kB
Active:          1171324 kB
Inactive:        2482280 kB
Active(anon):       1424 kB
Inactive(anon):   420576 kB
Active(file):    1169900 kB
Inactive(file):  2061704 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3612 kB
Writeback:             0 kB
AnonPages:        375772 kB
Mapped:           107568 kB
Shmem:             45912 kB
KReclaimable:     129900 kB
Slab:             247664 kB
SReclaimable:     129900 kB
SUnreclaim:       117764 kB
KernelStack:        3920 kB
PageTables:         9960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     723224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      262868 kB
DirectMap2M:    23627776 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-20 00:25:36