Trace number 4447964

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 899.316 896.667

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
MD5SUM1a042d5fcb76a110c048c575a59fde0e
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 benchmark23.1617
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables801
Total number of constraints1118
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1116
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2113181440
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2122317824
0.14/0.11	c Number of processors 	2
0.14/0.15	--- Begin Solver configuration ---
0.14/0.15	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.15	Learn all clauses as in MiniSAT
0.14/0.15	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.15	No reason simplification
0.14/0.15	Glucose 2.1 dynamic restart strategy
0.14/0.15	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.14/0.15	timeout=2147483s
0.14/0.15	DB Simplification allowed=false
0.14/0.15	Listener: none
0.14/0.15	--- End Solver configuration ---
0.14/0.16	c Pseudo Boolean Optimization by upper bound
0.14/0.16	c --- Begin Solver configuration ---
0.14/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.16	c Learn all clauses as in MiniSAT
0.14/0.16	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.16	c No reason simplification
0.14/0.16	c Glucose 2.1 dynamic restart strategy
0.14/0.16	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.14/0.16	c timeout=2147483s
0.14/0.16	c DB Simplification allowed=false
0.14/0.16	c Listener: none
0.14/0.16	c --- End Solver configuration ---
0.14/0.16	c solving HOME/instance-4447964-1721354605.opb
0.14/0.16	c reading problem ... 
0.14/0.16	c  no objective function found
0.32/0.23	c ... done. Wall clock time 0.062s.
0.32/0.23	c declared #vars     801
0.32/0.23	c #constraints  1118
0.32/0.23	c constraints type 
0.32/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.32/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1116
0.32/0.23	c 1118 constraints processed.
0.70/0.48	c cleaning 2490 clauses out of 5001 with flag 23084/5001
1.09/0.67	c cleaning 4246 clauses out of 8510 with flag 50402/11000
1.50/0.85	c cleaning 5600 clauses out of 11264 with flag 83380/18000
1.89/1.03	c cleaning 6790 clauses out of 13664 with flag 121303/26000
2.08/1.17	c cleaning 7898 clauses out of 15874 with flag 167662/35000
2.46/1.31	c cleaning 8967 clauses out of 17978 with flag 220281/45002
2.64/1.46	c cleaning 9968 clauses out of 20010 with flag 277817/56001
2.95/1.62	c cleaning 10972 clauses out of 22042 with flag 343956/68001
3.05/1.79	c cleaning 11998 clauses out of 24070 with flag 412766/81001
3.35/2.00	c cleaning 12992 clauses out of 26072 with flag 489756/95001
3.55/2.23	c cleaning 13991 clauses out of 28080 with flag 576460/110001
3.85/2.50	c cleaning 14997 clauses out of 30090 with flag 672384/126002
4.12/2.77	c cleaning 16014 clauses out of 32091 with flag 767878/143000
4.49/3.09	c cleaning 17018 clauses out of 34077 with flag 872940/161000
4.88/3.44	c cleaning 18009 clauses out of 36059 with flag 988647/180000
5.28/3.81	c cleaning 18992 clauses out of 38050 with flag 1106423/200000
5.97/4.52	c cleaning 20022 clauses out of 40058 with flag 1225910/221000
6.68/5.23	c cleaning 20982 clauses out of 42036 with flag 1352978/243000
7.18/5.78	c cleaning 22010 clauses out of 44054 with flag 1482883/266000
7.68/6.28	c cleaning 22985 clauses out of 46044 with flag 1619965/290000
8.17/6.78	c cleaning 23997 clauses out of 48060 with flag 1760648/315001
8.78/7.31	c cleaning 25001 clauses out of 50062 with flag 1902101/341000
9.28/7.86	c cleaning 26000 clauses out of 52061 with flag 2049817/368000
9.88/8.49	c cleaning 27020 clauses out of 54061 with flag 2204379/396000
10.60/9.11	c cleaning 27997 clauses out of 56042 with flag 2361900/425001
11.18/9.79	c cleaning 28972 clauses out of 58044 with flag 2524043/455000
11.88/10.49	c cleaning 29997 clauses out of 60072 with flag 2688433/486000
12.68/11.22	c cleaning 31002 clauses out of 62075 with flag 2862553/518000
13.49/12.01	c cleaning 31999 clauses out of 64073 with flag 3044708/551000
14.18/12.79	c cleaning 33007 clauses out of 66075 with flag 3221538/585001
15.08/13.62	c cleaning 34016 clauses out of 68067 with flag 3402479/620000
15.97/14.50	c cleaning 35011 clauses out of 70051 with flag 3584401/656000
16.87/15.43	c cleaning 35982 clauses out of 72040 with flag 3772602/693000
17.77/16.39	c cleaning 36979 clauses out of 74058 with flag 3970923/731000
18.76/17.35	c cleaning 37992 clauses out of 76080 with flag 4172714/770001
19.96/18.51	c cleaning 39027 clauses out of 78087 with flag 4385765/810000
21.06/19.67	c cleaning 40006 clauses out of 80060 with flag 4605893/851000
22.26/20.87	c cleaning 41011 clauses out of 82054 with flag 4819365/893000
23.57/22.15	c cleaning 41989 clauses out of 84044 with flag 5043757/936001
24.85/23.41	c cleaning 42995 clauses out of 86054 with flag 5264160/980000
26.15/24.73	c cleaning 44004 clauses out of 88059 with flag 5486891/1025000
27.57/26.13	c cleaning 45002 clauses out of 90055 with flag 5716199/1071000
29.05/27.64	c cleaning 46015 clauses out of 92053 with flag 5951272/1118000
30.46/29.09	c cleaning 46983 clauses out of 94038 with flag 6183877/1166000
31.95/30.58	c cleaning 47997 clauses out of 96055 with flag 6421616/1215000
33.63/32.30	c cleaning 49004 clauses out of 98058 with flag 6661923/1265000
35.33/33.96	c cleaning 50007 clauses out of 100054 with flag 6901786/1316000
37.03/35.66	c cleaning 50997 clauses out of 102047 with flag 7148276/1368000
38.82/37.45	c cleaning 52012 clauses out of 104050 with flag 7400745/1421000
40.62/39.22	c cleaning 52993 clauses out of 106038 with flag 7653449/1475000
42.32/40.99	c cleaning 53998 clauses out of 108045 with flag 7906636/1530000
44.31/42.93	c cleaning 54990 clauses out of 110047 with flag 8169912/1586000
46.53/45.17	c cleaning 55996 clauses out of 112057 with flag 8442842/1643000
48.62/47.22	c cleaning 57017 clauses out of 114061 with flag 8718663/1701000
50.72/49.34	c cleaning 57989 clauses out of 116045 with flag 8995103/1760001
52.91/51.50	c cleaning 59002 clauses out of 118055 with flag 9274471/1820000
55.01/53.67	c cleaning 60003 clauses out of 120053 with flag 9554410/1881000
57.30/55.97	c cleaning 61004 clauses out of 122051 with flag 9843303/1943001
59.81/58.40	c cleaning 61991 clauses out of 124046 with flag 10139500/2006000
62.31/61.00	c cleaning 63000 clauses out of 126055 with flag 10442263/2070000
64.91/63.55	c cleaning 64004 clauses out of 128055 with flag 10741557/2135000
67.60/66.20	c cleaning 65012 clauses out of 130054 with flag 11047505/2201003
70.30/68.91	c cleaning 66008 clauses out of 132039 with flag 11354339/2268000
73.09/71.70	c cleaning 67008 clauses out of 134031 with flag 11666774/2336000
75.79/74.49	c cleaning 67975 clauses out of 136023 with flag 11982046/2405000
79.00/77.62	c cleaning 68980 clauses out of 138048 with flag 12296783/2475000
81.89/80.56	c cleaning 70028 clauses out of 140068 with flag 12613870/2546000
85.09/83.73	c cleaning 71005 clauses out of 142040 with flag 12935026/2618000
88.50/87.13	c cleaning 71998 clauses out of 144035 with flag 13275883/2691000
91.78/90.40	c cleaning 72998 clauses out of 146039 with flag 13616612/2765002
95.27/93.92	c cleaning 74004 clauses out of 148039 with flag 13974740/2840000
98.68/97.35	c cleaning 75001 clauses out of 150035 with flag 14315530/2916000
102.27/101.00	c cleaning 75998 clauses out of 152035 with flag 14668606/2993001
105.96/104.67	c cleaning 76987 clauses out of 154036 with flag 15031119/3071000
109.77/108.46	c cleaning 78002 clauses out of 156049 with flag 15393270/3150000
113.66/112.35	c cleaning 78995 clauses out of 158048 with flag 15758276/3230001
117.76/116.42	c cleaning 80013 clauses out of 160052 with flag 16132466/3311000
121.85/120.52	c cleaning 80987 clauses out of 162041 with flag 16507119/3393002
125.85/124.57	c cleaning 82007 clauses out of 164053 with flag 16880905/3476001
129.94/128.67	c cleaning 83004 clauses out of 166046 with flag 17262150/3560001
134.15/132.83	c cleaning 83997 clauses out of 168043 with flag 17636117/3645002
138.45/137.18	c cleaning 85003 clauses out of 170045 with flag 18011693/3731001
142.83/141.53	c cleaning 86004 clauses out of 172041 with flag 18398796/3818000
147.12/145.83	c cleaning 86993 clauses out of 174038 with flag 18789748/3906001
151.72/150.40	c cleaning 88002 clauses out of 176046 with flag 19182294/3995002
156.33/155.02	c cleaning 89006 clauses out of 178042 with flag 19572022/4085000
161.12/159.81	c cleaning 89997 clauses out of 180037 with flag 19976933/4176001
165.91/164.60	c cleaning 91003 clauses out of 182039 with flag 20381428/4268000
171.32/170.03	c cleaning 91991 clauses out of 184036 with flag 20794441/4361000
176.52/175.22	c cleaning 93010 clauses out of 186046 with flag 21201709/4455001
181.61/180.32	c cleaning 93994 clauses out of 188038 with flag 21616052/4550003
187.00/185.78	c cleaning 94998 clauses out of 190042 with flag 22033380/4646001
192.09/190.84	c cleaning 96006 clauses out of 192044 with flag 22448860/4743001
197.39/196.17	c cleaning 97004 clauses out of 194037 with flag 22871248/4841000
203.07/201.89	c cleaning 98014 clauses out of 196034 with flag 23299681/4940001
208.38/207.19	c cleaning 98987 clauses out of 198019 with flag 23714358/5040000
214.15/212.99	c cleaning 100000 clauses out of 200032 with flag 24150143/5141000
220.07/218.88	c cleaning 101002 clauses out of 202033 with flag 24587036/5243001
225.67/224.47	c cleaning 102006 clauses out of 204031 with flag 25016958/5346001
231.55/230.36	c cleaning 102996 clauses out of 206024 with flag 25442724/5450000
237.74/236.56	c cleaning 103998 clauses out of 208028 with flag 25887374/5555000
244.14/243.00	c cleaning 104994 clauses out of 210030 with flag 26330600/5661000
250.24/249.03	c cleaning 106002 clauses out of 212039 with flag 26775799/5768003
256.24/255.07	c cleaning 107004 clauses out of 214036 with flag 27219915/5876002
262.82/261.67	c cleaning 108002 clauses out of 216030 with flag 27666325/5985000
269.60/268.41	c cleaning 109006 clauses out of 218028 with flag 28112183/6095000
275.90/274.76	c cleaning 109996 clauses out of 220023 with flag 28567447/6206001
282.59/281.44	c cleaning 110988 clauses out of 222026 with flag 29020464/6318000
289.70/288.53	c cleaning 111994 clauses out of 224038 with flag 29472521/6431000
296.20/295.03	c cleaning 113007 clauses out of 226044 with flag 29926149/6545000
302.97/301.82	c cleaning 114005 clauses out of 228038 with flag 30380655/6660001
309.57/308.45	c cleaning 115010 clauses out of 230033 with flag 30830942/6776001
316.86/315.77	c cleaning 116004 clauses out of 232023 with flag 31295250/6893001
323.95/322.81	c cleaning 116988 clauses out of 234019 with flag 31762420/7011001
330.74/329.63	c cleaning 118009 clauses out of 236030 with flag 32218142/7130000
337.54/336.49	c cleaning 118999 clauses out of 238022 with flag 32680776/7250001
345.02/343.91	c cleaning 119999 clauses out of 240022 with flag 33147733/7371000
351.81/350.78	c cleaning 121001 clauses out of 242023 with flag 33613418/7493000
358.82/357.78	c cleaning 121998 clauses out of 244023 with flag 34078034/7616001
365.61/364.56	c cleaning 122995 clauses out of 246025 with flag 34540177/7740001
372.41/371.32	c cleaning 124008 clauses out of 248030 with flag 35006807/7865001
379.80/378.75	c cleaning 124989 clauses out of 250021 with flag 35483283/7991000
387.02/385.92	c cleaning 126012 clauses out of 252032 with flag 35954564/8118000
393.81/392.70	c cleaning 127000 clauses out of 254020 with flag 36431297/8246000
400.71/399.61	c cleaning 127998 clauses out of 256020 with flag 36911652/8375000
407.49/406.44	c cleaning 128998 clauses out of 258024 with flag 37397202/8505002
414.68/413.66	c cleaning 130003 clauses out of 260025 with flag 37881370/8636001
421.96/420.92	c cleaning 130995 clauses out of 262022 with flag 38376778/8768001
429.46/428.46	c cleaning 131997 clauses out of 264027 with flag 38878362/8901001
437.24/436.22	c cleaning 133010 clauses out of 266030 with flag 39379693/9035001
444.93/443.90	c cleaning 133998 clauses out of 268019 with flag 39884939/9170000
452.73/451.73	c cleaning 134995 clauses out of 270021 with flag 40393572/9306000
461.41/460.49	c cleaning 135997 clauses out of 272026 with flag 40928404/9443000
469.60/468.65	c cleaning 136999 clauses out of 274030 with flag 41443524/9581001
478.19/477.26	c cleaning 138002 clauses out of 276031 with flag 41974003/9720001
486.99/486.01	c cleaning 139000 clauses out of 278028 with flag 42517316/9860000
495.98/495.01	c cleaning 139998 clauses out of 280029 with flag 43056858/10001001
504.86/503.93	c cleaning 141005 clauses out of 282030 with flag 43597640/10143000
514.10/513.16	c cleaning 141999 clauses out of 284025 with flag 44135561/10286000
522.18/521.27	c cleaning 143004 clauses out of 286027 with flag 44674834/10430001
530.47/529.58	c cleaning 144001 clauses out of 288022 with flag 45210194/10575000
539.97/539.05	c cleaning 145003 clauses out of 290021 with flag 45767017/10721000
549.06/548.12	c cleaning 146000 clauses out of 292019 with flag 46318540/10868001
558.33/557.44	c cleaning 146989 clauses out of 294018 with flag 46882913/11016000
567.31/566.47	c cleaning 148004 clauses out of 296031 with flag 47456059/11165002
576.91/576.05	c cleaning 148991 clauses out of 298025 with flag 48030122/11315000
586.42/585.53	c cleaning 150006 clauses out of 300035 with flag 48612498/11466001
596.02/595.19	c cleaning 150999 clauses out of 302028 with flag 49199469/11618000
606.39/605.55	c cleaning 152005 clauses out of 304029 with flag 49793142/11771000
616.61/615.75	c cleaning 153000 clauses out of 306024 with flag 50393617/11925000
627.49/626.65	c cleaning 154001 clauses out of 308025 with flag 51011237/12080001
638.77/637.92	c cleaning 155000 clauses out of 310023 with flag 51625177/12236000
650.06/649.20	c cleaning 155993 clauses out of 312024 with flag 52247459/12393001
661.30/660.40	c cleaning 157010 clauses out of 314032 with flag 52876188/12551002
673.08/672.21	c cleaning 158002 clauses out of 316020 with flag 53535041/12710000
686.36/685.59	c cleaning 159000 clauses out of 318018 with flag 54214893/12870000
699.04/698.27	c cleaning 159996 clauses out of 320019 with flag 54897897/13031001
712.67/711.80	c cleaning 161001 clauses out of 322022 with flag 55586517/13193000
725.65/724.83	c cleaning 162005 clauses out of 324021 with flag 56269039/13356000
739.84/739.08	c cleaning 162997 clauses out of 326016 with flag 56954244/13520000
752.35/751.52	c cleaning 164002 clauses out of 328020 with flag 57619805/13685001
763.85/763.08	c cleaning 164999 clauses out of 330018 with flag 58300291/13851001
775.82/775.01	c cleaning 165998 clauses out of 332018 with flag 58965666/14018000
786.95/786.15	c cleaning 167001 clauses out of 334020 with flag 59627544/14186000
797.12/796.30	c cleaning 168002 clauses out of 336020 with flag 60291366/14355001
808.20/807.48	c cleaning 169000 clauses out of 338017 with flag 60949028/14525000
821.64/820.47	c cleaning 170000 clauses out of 340017 with flag 61629797/14696000
833.93/832.70	c cleaning 171002 clauses out of 342017 with flag 62321423/14868000
846.80/845.63	c cleaning 172003 clauses out of 344015 with flag 63037412/15041000
860.79/859.63	c cleaning 173000 clauses out of 346013 with flag 63761721/15215001
876.35/875.13	c cleaning 173998 clauses out of 348012 with flag 64522433/15390000
893.01/891.02	c cleaning 175006 clauses out of 350014 with flag 65299498/15566000
899.08/896.56	c starts		: 19065
899.08/896.57	c conflicts		: 15673917
899.08/896.57	c decisions		: 22181490
899.08/896.57	c propagations		: 139780214
899.08/896.57	c inspects		: 16949981028
899.08/896.57	c shortcuts		: 0
899.08/896.57	c learnt literals	: 13
899.08/896.57	c learnt binary clauses	: 10
899.08/896.57	c learnt ternary clauses	: 21
899.08/896.57	c learnt constraints	: 15673903
899.08/896.57	c ignored constraints	: 0
899.08/896.57	c root simplifications	: 0
899.08/896.57	c removed literals (reason simplification)	: 0
899.08/896.57	c reason swapping (by a shorter reason)	: 0
899.08/896.57	c Calls to reduceDB	: 172
899.08/896.57	c Number of update (reduction) of LBD	: 3330432
899.08/896.57	c Imported unit clauses	: 0
899.08/896.57	c No decision after first conflict	: false
899.08/896.57	c number of reductions to clauses (during analyze)	: 0
899.08/896.57	c number of learned constraints concerned by reduction	: 0
899.08/896.57	c number of learning phase by resolution	: 0
899.08/896.57	c number of learning phase by cutting planes	: 0
899.08/896.57	c number of rounding to 1 operations	: 0
899.08/896.57	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
899.08/896.57	c number of reductions of the coefficients by power 2 	: 0
899.08/896.58	c number of right shift for reduction by power 2 	: 0
899.08/896.58	c number of reductions of the coefficients by GCD over coefficients 	: 0
899.08/896.58	c number of ending skipping 	: 0
899.08/896.58	c number of internal skipping 	: 0
899.08/896.58	c number of derivation steps 	: 0
899.08/896.58	c number of skipped derivation steps 	: 0
899.08/896.58	c number of remaining unassigned 	: 0
899.08/896.58	c number of remaining assigned 	: 0
899.08/896.58	c number of falsified literals weakened from reason	: 0
899.08/896.58	c number of falsified literals weakened from conflict	: 0
899.08/896.58	c time for arithmetic operations	: 0
899.08/896.58	c minimum degree of deleted constraints	: null
899.08/896.58	c maximum degree of deleted constraints	: null
899.08/896.58	c number of deleted constraints	: 0
899.08/896.59	c speed (assignments/second)	: 155943.26565538355
899.08/896.59	c non guided choices	: 839867
899.22/896.64	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 282901
899.22/896.64	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 10
899.22/896.64	s UNSATISFIABLE
899.22/896.64	c Total wall clock time (in seconds): 896.485

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (60127 MiB free)
  memory of node 1: 64510 MiB (61033 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447964-1721354605/watcher-4447964-1721354605 -o /tmp/evaluation-result-4447964-1721354605/solver-4447964-1721354605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980651 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447964-1721354605.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.101623 s]*
/proc/loadavg: 4.52 3.29 3.01 6/320 981438
/proc/meminfo: memFree=124029648/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=18975048 memory=60192 CPUtime=0.14 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 7623 0 0 0 12 2 0 0 20 0 18 0 187616887 19430449152 15048 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4743762 15048 5598 1 0 551361 0
[pid=981420/tid=981422] ppid=981417 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 6189 0 0 0 7 1 0 0 20 0 18 0 187616887 19430449152 15048 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187616891 19430449152 15048 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187616891 19430449152 15048 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60192 KiB

[startup+0.206453 s]*
/proc/loadavg: 4.52 3.29 3.01 7/320 981438
/proc/meminfo: memFree=124016356/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=18975048 memory=73140 CPUtime=0.32 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 8091 0 0 0 29 3 0 0 20 0 18 0 187616887 19430449152 18285 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4743762 18285 5788 1 0 551648 0
[pid=981420/tid=981422] ppid=981417 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 6427 0 0 0 16 2 0 0 20 0 18 0 187616887 19430449152 18285 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=18975048 memory=5697 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187616891 19430449152 18285 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187616891 19430449152 18285 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73140 KiB

[startup+0.306452 s]*
/proc/loadavg: 4.52 3.29 3.01 7/321 981439
/proc/meminfo: memFree=124009124/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19041612 memory=80648 CPUtime=0.52 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 9070 0 0 0 48 4 0 0 20 0 19 0 187616887 19498610688 20162 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4760403 20162 5842 1 0 552655 0
[pid=981420/tid=981422] ppid=981417 vsize=19041612 memory=-8672919593873089212 CPUtime=0.27 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 6478 0 0 0 25 2 0 0 20 0 19 0 187616887 19498610688 20162 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 20162 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 20162 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187616910 19498610688 20162 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80648 KiB

[startup+0.705452 s]
/proc/loadavg: 4.52 3.29 3.01 6/321 981439
/proc/meminfo: memFree=123997384/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19041612 memory=101856 CPUtime=1.29 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 14762 0 0 0 124 5 0 0 20 0 19 0 187616887 19498610688 25464 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4760403 25464 5842 1 0 555951 0
[pid=981420/tid=981422] ppid=981417 vsize=19041612 memory=11992 CPUtime=0.64 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 6557 0 0 0 62 2 0 0 20 0 19 0 187616887 19498610688 25464 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 25464 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 25464 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19041612 memory=25208 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187616910 19498610688 25464 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101856 KiB

[startup+1.50045 s]
/proc/loadavg: 4.52 3.29 3.01 7/321 981439
/proc/meminfo: memFree=123984804/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19041612 memory=112872 CPUtime=2.83 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 18931 0 0 0 278 5 0 0 20 0 19 0 187616887 19498610688 28218 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4760403 28218 5842 1 0 555955 0
[pid=981420/tid=981422] ppid=981417 vsize=19041612 memory=11992 CPUtime=1.43 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 6911 0 0 0 140 3 0 0 20 0 19 0 187616887 19498610688 28218 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 28218 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 28218 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187616910 19498610688 28218 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 112872 KiB

[startup+3.10647 s]
/proc/loadavg: 4.56 3.32 3.02 6/321 981439
/proc/meminfo: memFree=123957980/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19041612 memory=133476 CPUtime=4.59 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 19688 0 0 0 453 6 0 0 20 0 19 0 187616887 19498610688 33369 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4760403 33369 5852 1 0 555957 0
[pid=981420/tid=981422] ppid=981417 vsize=19041612 memory=0 CPUtime=3.01 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 7190 0 0 0 298 3 0 0 20 0 19 0 187616887 19498610688 33369 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 33369 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19041612 memory=117092 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 33369 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187616910 19498610688 33369 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 4.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133476 KiB

[startup+6.3004 s]
/proc/loadavg: 4.56 3.32 3.02 6/321 981439
/proc/meminfo: memFree=123936712/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19041612 memory=154724 CPUtime=7.78 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 20055 0 0 0 772 6 0 0 20 0 19 0 187616887 19498610688 38681 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4760403 38681 5852 1 0 555973 0
[pid=981420/tid=981422] ppid=981417 vsize=19041612 memory=11992 CPUtime=6.19 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 7469 0 0 0 615 4 0 0 20 0 19 0 187616887 19498610688 38681 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 38681 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19041612 memory=5794839039373826391 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187616891 19498610688 38681 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19041612 memory=5512 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187616910 19498610688 38681 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 7.78 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 154724 KiB

[startup+12.7004 s]
/proc/loadavg: 4.47 3.35 3.03 6/322 981441
/proc/meminfo: memFree=123860300/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=181996 CPUtime=14.18 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 22449 0 0 0 1411 7 0 0 20 0 20 0 187616887 19566772224 45499 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 45499 5915 1 0 556262 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=0 CPUtime=12.52 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 8049 0 0 0 1248 4 0 0 20 0 20 0 187616887 19566772224 45499 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=181996 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 45499 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 45499 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 45499 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181996 KiB

[startup+25.5005 s]
/proc/loadavg: 4.40 3.37 3.04 6/322 981443
/proc/meminfo: memFree=123831236/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=190292 CPUtime=26.96 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 24893 0 0 0 2688 8 0 0 20 0 20 0 187616887 19566772224 47573 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 47573 5915 1 0 556262 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=181996 CPUtime=25.25 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 9106 0 0 0 2521 4 0 0 20 0 20 0 187616887 19566772224 47573 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 47573 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=4357 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 47573 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=190292 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 47573 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 26.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190292 KiB

[startup+51.1129 s]
/proc/loadavg: 4.40 3.45 3.08 6/319 981447
/proc/meminfo: memFree=123663964/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=241804 CPUtime=52.52 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 28106 0 0 0 5242 10 0 0 20 0 20 0 187616887 19566772224 60451 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 60451 5915 1 0 556262 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=11600 CPUtime=50.53 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 10351 0 0 0 5048 5 0 0 20 0 20 0 187616887 19566772224 60451 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0

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

/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 793 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 310696 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=2312 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 310696 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 823.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1242784 KiB

[startup+882.3 s]
/proc/loadavg: 4.06 4.08 3.74 6/317 981599
/proc/meminfo: memFree=120714496/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=1242988 CPUtime=883.52 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 63473 0 0 0 88281 71 0 0 20 0 20 0 187616887 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 310747 5915 1 0 558273 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=1118548 CPUtime=875.79 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 22625 0 0 0 87572 7 0 0 20 0 20 0 187616887 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=1242984 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=1242988 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 883.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1242988 KiB

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

# cumulated CPU time of all completed processes:  user=898.55 s, system=0.76593 s

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

[startup+883.2 s]
/proc/loadavg: 4.06 4.08 3.74 6/317 981599
/proc/meminfo: memFree=120714504/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=1242988 CPUtime=884.42 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 63473 0 0 0 88371 71 0 0 20 0 20 0 187616887 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 310747 5915 1 0 558273 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=1242984 CPUtime=876.69 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 22625 0 0 0 87662 7 0 0 20 0 20 0 187616887 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=1242988 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 310747 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 884.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1242988 KiB

[startup+889.6 s]
/proc/loadavg: 4.05 4.08 3.74 7/317 981601
/proc/meminfo: memFree=120713700/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=1243576 CPUtime=891.15 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 67421 0 0 0 89043 72 0 0 20 0 20 0 187616887 19566772224 310894 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 310894 5915 1 0 558462 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=1242988 CPUtime=883.07 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 23505 0 0 0 88300 7 0 0 20 0 20 0 187616887 19566772224 310894 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=1243036 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 310894 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 310894 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=2312 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 310894 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 891.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1243576 KiB

[startup+892.8 s]
/proc/loadavg: 4.13 4.09 3.75 6/317 981601
/proc/meminfo: memFree=120701932/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=1252212 CPUtime=895.26 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 73129 0 0 0 89452 74 0 0 20 0 20 0 187616887 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 313053 5915 1 0 560648 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=11600 CPUtime=886.26 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 23538 0 0 0 88619 7 0 0 20 0 20 0 187616887 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=43996 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 895.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1252212 KiB

[startup+894.4 s]
/proc/loadavg: 4.13 4.09 3.75 6/317 981601
/proc/meminfo: memFree=120704984/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=1252212 CPUtime=896.86 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 73129 0 0 0 89612 74 0 0 20 0 20 0 187616887 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 313053 5915 1 0 560648 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=-8672919593873089212 CPUtime=887.86 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 23538 0 0 0 88779 7 0 0 20 0 20 0 187616887 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=1252212 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=-8672919593873089212 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=-4421386483396536927 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 896.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1252212 KiB

[startup+896 s]*
/proc/loadavg: 4.13 4.09 3.75 7/317 981601
/proc/meminfo: memFree=120704984/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=1252212 CPUtime=898.47 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 73129 0 0 0 89773 74 0 0 20 0 20 0 187616887 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 313053 5915 1 0 560648 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=-8672919593873089212 CPUtime=889.47 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 23538 0 0 0 88940 7 0 0 20 0 20 0 187616887 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=11484 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=11252 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 898.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1252212 KiB

[startup+896.4 s]
/proc/loadavg: 4.13 4.09 3.75 7/317 981601
/proc/meminfo: memFree=120704984/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19108176 memory=1252212 CPUtime=898.98 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 73139 0 0 0 89824 74 0 0 20 0 20 0 187616887 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4777044 313053 5915 1 0 560648 0
[pid=981420/tid=981422] ppid=981417 vsize=19108176 memory=28032 CPUtime=889.86 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) R 981417 981420 980639 0 -1 4194368 23538 0 0 0 88979 7 0 0 20 0 20 0 187616887 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19108176 memory=1252212 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19108176 memory=27228 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 187616891 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981439] ppid=981417 vsize=19108176 memory=40520 CPUtime=0 cores=1,3
/proc/981420/task/981439/stat : 981439 (Timer-0) S 981417 981420 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187616910 19566772224 313053 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 898.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1252212 KiB

[startup+896.6 s]
/proc/loadavg: 4.13 4.09 3.75 7/317 981601
/proc/meminfo: memFree=120704984/131655788 swapFree=131071996/131071996
[pid=981420] ppid=981417 vsize=19241304 memory=1252676 CPUtime=899.22 cores=1,3
/proc/981420/stat : 981420 (java) S 981417 981420 980639 0 -1 1077936128 74401 0 0 0 89847 75 0 0 20 0 20 0 187616887 19703095296 313169 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
/proc/981420/statm: 4810326 313169 5914 1 0 561266 0
[pid=981420/tid=981422] ppid=981417 vsize=19241304 memory=1413944 CPUtime=890.01 cores=1,3
/proc/981420/task/981422/stat : 981422 (java) S 981417 981420 980639 0 -1 1077936192 24379 0 0 0 88994 7 0 0 20 0 20 0 187616887 19703095296 313169 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981431] ppid=981417 vsize=19241304 memory=1680124 CPUtime=0 cores=1,3
/proc/981420/task/981431/stat : 981431 (Finalizer) S 981417 981420 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187616891 19703095296 313169 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
[pid=981420/tid=981438] ppid=981417 vsize=19241304 memory=2828 CPUtime=0 cores=1,3
/proc/981420/task/981438/stat : 981438 (Common-Cleaner) S 981417 981420 980639 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 187616891 19703095296 313169 134679101440 94133113004032 94133113007728 140735591268480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94133113015544 94133113016336 94133126787072 140735591273478 140735591273568 140735591273568 140735591280584 0
Current children cumulated CPU time: 899.22 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1252676 KiB

Child status: 20

Real time (s): 896.667
CPU time (s): 899.316
CPU user time (s): 898.55
CPU system time (s): 0.76593
CPU usage (%): 100.295
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1255404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 898.55
system time used= 0.76593
maximum resident set size= 1256244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28261
involuntary context switches= 1033


# summary of solver processes directly reported to runsolver:
#   pid: 981420
#   total CPU time (s): 899.316
#   total CPU user time (s): 898.55
#   total CPU system time (s): 0.76593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80826 second user time and 8.13961 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:03:37
IDJOB=4447964
IDBENCH=160354
IDSOLVER=3058
FILE ID=nodeC008/4447964-1721354605
RUNJOBID= nodeC008-1721354365-980651
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447964-1721354605/watcher-4447964-1721354605 -o /tmp/evaluation-result-4447964-1721354605/solver-4447964-1721354605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980651 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4447964-1721354605.opb

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

MD5SUM BENCH= 1a042d5fcb76a110c048c575a59fde0e
RANDOM SEED=1499435959

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124068564 kB
MemAvailable:   126342824 kB
Buffers:          541608 kB
Cached:          2551488 kB
SwapCached:            0 kB
Active:          1055920 kB
Inactive:        5933384 kB
Active(anon):       1476 kB
Inactive(anon):  3932448 kB
Active(file):    1054444 kB
Inactive(file):  2000936 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1000 kB
Writeback:             0 kB
AnonPages:       3896228 kB
Mapped:           126224 kB
Shmem:             37704 kB
KReclaimable:     117824 kB
Slab:             222700 kB
SReclaimable:     117824 kB
SUnreclaim:       104876 kB
KernelStack:        4880 kB
PageTables:        17736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7789824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58656 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3594240 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-19 04:18:34