Trace number 4447472

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.64 3609.28

General information on the benchmark

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

Solver Data 

0.12/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.14	c See www.sat4j.org for details.
0.12/0.15	c version CUSTOM.v20240707
0.12/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.18	c java.vm.version	22.0.1+8-16
0.12/0.18	c java.vm.vendor	Oracle Corporation
0.12/0.18	c sun.arch.data.model	64
0.12/0.18	c java.version		22.0.1
0.12/0.18	c os.name		Linux
0.12/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.18	c os.arch		amd64
0.12/0.19	c Free memory 		2113181440
0.12/0.19	c Max memory 		16282288128
0.12/0.19	c Total memory 		2122317824
0.12/0.20	c Number of processors 	2
0.30/0.31	--- Begin Solver configuration ---
0.30/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.31	Learn all clauses as in MiniSAT
0.30/0.31	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.31	Expensive reason simplification
0.30/0.31	Glucose 2.1 dynamic restart strategy
0.30/0.31	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.30/0.31	timeout=2147483s
0.30/0.31	DB Simplification allowed=false
0.30/0.31	Listener: none
0.30/0.31	--- End Solver configuration ---
0.43/0.33	c Pseudo Boolean Optimization by upper bound
0.43/0.33	c --- Begin Solver configuration ---
0.43/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.43/0.33	c Learn all clauses as in MiniSAT
0.43/0.33	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.33	c Expensive reason simplification
0.43/0.33	c Glucose 2.1 dynamic restart strategy
0.43/0.33	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.43/0.33	c timeout=2147483s
0.43/0.33	c DB Simplification allowed=false
0.43/0.33	c Listener: none
0.43/0.33	c --- End Solver configuration ---
0.43/0.33	c solving HOME/instance-4447472-1721827549.opb
0.43/0.33	c reading problem ... 
0.45/1.64	c using VERIPB proof format
0.45/1.65	c  no objective function found
0.56/1.76	c ... done. Wall clock time 1.419s.
0.56/1.76	c declared #vars     405
0.56/1.76	c #constraints  1080
0.56/1.76	c constraints type 
0.56/1.76	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1080
0.56/1.76	c 1080 constraints processed.
2.30/2.66	c cleaning 2497 clauses out of 5001 with flag 20784/5001
3.29/3.17	c cleaning 4248 clauses out of 8504 with flag 49972/11001
3.88/3.42	c cleaning 5624 clauses out of 11257 with flag 83802/18002
4.27/3.64	c cleaning 6811 clauses out of 13631 with flag 122966/26000
4.65/3.89	c cleaning 7905 clauses out of 15821 with flag 167198/35001
5.06/4.11	c cleaning 8952 clauses out of 17915 with flag 214400/45000
5.53/4.34	c cleaning 9974 clauses out of 19963 with flag 271419/56000
5.74/4.56	c cleaning 10990 clauses out of 21990 with flag 322600/68001
6.03/4.84	c cleaning 11993 clauses out of 23999 with flag 382815/81000
6.36/5.11	c cleaning 12997 clauses out of 26007 with flag 444369/95001
6.65/5.44	c cleaning 13991 clauses out of 28009 with flag 509844/110000
6.94/5.76	c cleaning 15001 clauses out of 30018 with flag 584794/126000
7.49/6.12	c cleaning 16000 clauses out of 32018 with flag 671362/143001
8.00/6.53	c cleaning 17004 clauses out of 34017 with flag 760683/161000
8.40/6.97	c cleaning 17998 clauses out of 36014 with flag 855030/180001
8.99/7.53	c cleaning 18998 clauses out of 38015 with flag 978183/200000
9.60/8.12	c cleaning 19998 clauses out of 40017 with flag 1099846/221000
9.99/8.60	c cleaning 21004 clauses out of 42020 with flag 1210891/243001
10.51/9.08	c cleaning 22000 clauses out of 44016 with flag 1323887/266001
11.09/9.62	c cleaning 22997 clauses out of 46016 with flag 1443777/290001
11.60/10.18	c cleaning 24001 clauses out of 48018 with flag 1573802/315000
12.18/10.77	c cleaning 25003 clauses out of 50019 with flag 1703927/341002
12.89/11.44	c cleaning 25998 clauses out of 52014 with flag 1835670/368000
13.50/12.08	c cleaning 27000 clauses out of 54017 with flag 1980010/396001
14.18/12.79	c cleaning 27999 clauses out of 56017 with flag 2130820/425001
14.88/13.49	c cleaning 28999 clauses out of 58018 with flag 2287501/455001
15.70/14.21	c cleaning 29999 clauses out of 60018 with flag 2447259/486000
16.51/15.02	c cleaning 31001 clauses out of 62020 with flag 2611518/518001
17.29/15.83	c cleaning 31998 clauses out of 64018 with flag 2790707/551000
18.10/16.66	c cleaning 33000 clauses out of 66020 with flag 2967209/585000
18.99/17.56	c cleaning 34006 clauses out of 68020 with flag 3160752/620000
19.99/18.54	c cleaning 35001 clauses out of 70015 with flag 3353416/656001
20.99/19.51	c cleaning 35999 clauses out of 72014 with flag 3547509/693001
21.99/20.50	c cleaning 36996 clauses out of 74014 with flag 3751132/731000
22.99/21.51	c cleaning 38000 clauses out of 76018 with flag 3957785/770000
24.08/22.60	c cleaning 39000 clauses out of 78019 with flag 4163310/810001
25.08/23.66	c cleaning 39996 clauses out of 80018 with flag 4382544/851000
26.18/24.76	c cleaning 41005 clauses out of 82023 with flag 4602437/893001
27.38/25.99	c cleaning 42002 clauses out of 84018 with flag 4836887/936001
28.59/27.17	c cleaning 42998 clauses out of 86015 with flag 5059589/980000
29.77/28.37	c cleaning 43997 clauses out of 88018 with flag 5304487/1025001
31.07/29.63	c cleaning 45000 clauses out of 90020 with flag 5540584/1071000
32.37/30.97	c cleaning 45999 clauses out of 92020 with flag 5787149/1118000
33.68/32.41	c cleaning 47005 clauses out of 94024 with flag 6037865/1166003
35.07/33.83	c cleaning 48000 clauses out of 96016 with flag 6297852/1215000
36.47/35.21	c cleaning 49003 clauses out of 98017 with flag 6565158/1265001
37.86/36.67	c cleaning 50000 clauses out of 100014 with flag 6824412/1316001
39.48/38.24	c cleaning 50998 clauses out of 102014 with flag 7106635/1368001
41.08/39.85	c cleaning 52002 clauses out of 104016 with flag 7397147/1421001
42.67/41.44	c cleaning 52996 clauses out of 106014 with flag 7684437/1475001
44.28/43.08	c cleaning 54005 clauses out of 108018 with flag 7973673/1530001
45.86/44.62	c cleaning 54999 clauses out of 110012 with flag 8263364/1586000
47.55/46.34	c cleaning 56002 clauses out of 112014 with flag 8565519/1643001
49.15/47.94	c cleaning 56999 clauses out of 114013 with flag 8868049/1701002
50.74/49.55	c cleaning 57996 clauses out of 116013 with flag 9187700/1760001
52.44/51.25	c cleaning 59000 clauses out of 118017 with flag 9513086/1820001
54.13/52.93	c cleaning 59998 clauses out of 120016 with flag 9843890/1881000
55.94/54.76	c cleaning 61001 clauses out of 122019 with flag 10179215/1943001
57.83/56.66	c cleaning 62002 clauses out of 124017 with flag 10514216/2006000
59.82/58.61	c cleaning 62996 clauses out of 126015 with flag 10849119/2070000
61.75/60.56	c cleaning 64000 clauses out of 128020 with flag 11190300/2135001
63.75/62.58	c cleaning 65001 clauses out of 130019 with flag 11541147/2201000
65.86/64.85	c cleaning 66001 clauses out of 132018 with flag 11900313/2268000
67.95/67.01	c cleaning 67000 clauses out of 134017 with flag 12266097/2336000
70.06/69.05	c cleaning 68003 clauses out of 136017 with flag 12627173/2405000
72.22/71.24	c cleaning 68993 clauses out of 138015 with flag 13000456/2475001
74.62/73.67	c cleaning 70002 clauses out of 140021 with flag 13389175/2546000
76.96/75.92	c cleaning 71006 clauses out of 142019 with flag 13772662/2618000
79.35/78.34	c cleaning 72000 clauses out of 144014 with flag 14152563/2691001
81.73/80.76	c cleaning 73000 clauses out of 146015 with flag 14558960/2765002
84.14/83.14	c cleaning 73999 clauses out of 148014 with flag 14958622/2840001
86.81/85.82	c cleaning 74999 clauses out of 150014 with flag 15362640/2916000
89.30/88.32	c cleaning 75999 clauses out of 152016 with flag 15770290/2993001
92.11/91.13	c cleaning 77004 clauses out of 154016 with flag 16186606/3071000
94.85/94.58	c cleaning 77999 clauses out of 156013 with flag 16628902/3150001
98.50/98.15	c cleaning 78998 clauses out of 158014 with flag 17067225/3230001
101.78/101.45	c cleaning 80002 clauses out of 160015 with flag 17511685/3311000
105.29/104.96	c cleaning 80998 clauses out of 162014 with flag 17947779/3393001
108.98/108.69	c cleaning 81996 clauses out of 164016 with flag 18396628/3476001
112.69/112.33	c cleaning 82999 clauses out of 166019 with flag 18850036/3560000
115.90/115.50	c cleaning 84005 clauses out of 168021 with flag 19321441/3645001
118.99/118.65	c cleaning 85002 clauses out of 170016 with flag 19797253/3731001
122.23/121.88	c cleaning 86003 clauses out of 172014 with flag 20268515/3818001
125.28/125.08	c cleaning 86993 clauses out of 174011 with flag 20743684/3906001
128.58/128.36	c cleaning 87999 clauses out of 176017 with flag 21231603/3995000
132.20/131.97	c cleaning 88999 clauses out of 178018 with flag 21720755/4085000
135.50/135.25	c cleaning 90000 clauses out of 180019 with flag 22225606/4176000
139.02/138.72	c cleaning 91003 clauses out of 182021 with flag 22729013/4268002
142.36/142.06	c cleaning 92000 clauses out of 184016 with flag 23222031/4361000
145.92/145.53	c cleaning 92994 clauses out of 186017 with flag 23725324/4455001
151.42/151.06	c cleaning 93998 clauses out of 188023 with flag 24133922/4550001
155.18/154.75	c cleaning 95007 clauses out of 190025 with flag 24603867/4646001
158.72/158.47	c cleaning 96001 clauses out of 192017 with flag 25116766/4743000
162.31/161.99	c cleaning 96997 clauses out of 194017 with flag 25628558/4841001
166.18/165.75	c cleaning 98005 clauses out of 196019 with flag 26160607/4940000
170.05/169.53	c cleaning 98998 clauses out of 198014 with flag 26709933/5040000
174.88/174.44	c cleaning 99997 clauses out of 200016 with flag 27248523/5141000
179.55/179.03	c cleaning 100997 clauses out of 202019 with flag 27816573/5243000
185.23/184.74	c cleaning 101997 clauses out of 204022 with flag 28395461/5346000
190.97/191.05	c cleaning 103001 clauses out of 206025 with flag 28974935/5450000
195.70/195.65	c cleaning 104005 clauses out of 208025 with flag 29554539/5555001
200.19/200.11	c cleaning 105002 clauses out of 210020 with flag 30139103/5661001
206.76/206.69	c cleaning 105999 clauses out of 212017 with flag 30713031/5768000
211.26/211.19	c cleaning 107003 clauses out of 214019 with flag 31288575/5876001
215.72/215.54	c cleaning 107996 clauses out of 216016 with flag 31845348/5985001
220.28/220.19	c cleaning 108999 clauses out of 218019 with flag 32425688/6095000
224.28/224.15	c cleaning 110003 clauses out of 220020 with flag 32990614/6206000
228.91/228.75	c cleaning 110998 clauses out of 222017 with flag 33581718/6318000
233.81/233.68	c cleaning 112004 clauses out of 224020 with flag 34166071/6431001
238.36/238.12	c cleaning 112999 clauses out of 226016 with flag 34749333/6545001
242.74/242.58	c cleaning 114003 clauses out of 228017 with flag 35345122/6660001
247.39/247.11	c cleaning 114998 clauses out of 230014 with flag 35949296/6776001
252.21/252.08	c cleaning 116001 clauses out of 232016 with flag 36557104/6893001
257.20/256.95	c cleaning 117000 clauses out of 234014 with flag 37179397/7011000
261.88/261.57	c cleaning 118001 clauses out of 236015 with flag 37785551/7130001
267.08/266.71	c cleaning 119001 clauses out of 238014 with flag 38386273/7250001
271.69/271.37	c cleaning 119998 clauses out of 240013 with flag 39013097/7371001
276.49/276.14	c cleaning 120997 clauses out of 242014 with flag 39646425/7493000
282.21/282.25	c cleaning 121998 clauses out of 244018 with flag 40284438/7616001
287.40/287.32	c cleaning 123000 clauses out of 246019 with flag 40962791/7740000
292.12/292.03	c cleaning 123998 clauses out of 248020 with flag 41601115/7865001
297.29/297.28	c cleaning 125003 clauses out of 250022 with flag 42282429/7991001
302.39/302.31	c cleaning 126002 clauses out of 252018 with flag 42945355/8118000
307.48/307.40	c cleaning 126997 clauses out of 254016 with flag 43610786/8246000
312.94/313.01	c cleaning 128002 clauses out of 256019 with flag 44318321/8375000
320.51/320.54	c cleaning 129000 clauses out of 258018 with flag 44954534/8505001
328.19/328.25	c cleaning 130002 clauses out of 260018 with flag 45597168/8636001
334.68/334.66	c cleaning 131001 clauses out of 262015 with flag 46325981/8768000
340.07/340.28	c cleaning 132000 clauses out of 264015 with flag 47031428/8901001
346.71/346.82	c cleaning 132995 clauses out of 266015 with flag 47768263/9035001
352.20/352.39	c cleaning 134000 clauses out of 268019 with flag 48513656/9170000
361.18/361.31	c cleaning 134999 clauses out of 270020 with flag 49293064/9306001
368.66/368.66	c cleaning 136000 clauses out of 272021 with flag 50042964/9443001
374.42/374.59	c cleaning 136998 clauses out of 274020 with flag 50740434/9581000
379.97/380.01	c cleaning 138002 clauses out of 276022 with flag 51435026/9720000
385.55/385.66	c cleaning 139006 clauses out of 278021 with flag 52149141/9860001
391.38/391.47	c cleaning 140001 clauses out of 280015 with flag 52866038/10001001
397.21/397.28	c cleaning 140997 clauses out of 282013 with flag 53606389/10143000
403.01/403.09	c cleaning 142001 clauses out of 284017 with flag 54347624/10286001
409.80/409.88	c cleaning 142999 clauses out of 286015 with flag 55111130/10430000
416.61/416.52	c cleaning 143997 clauses out of 288016 with flag 55878575/10575000
422.50/422.45	c cleaning 145003 clauses out of 290021 with flag 56597295/10721002
429.03/428.96	c cleaning 146000 clauses out of 292017 with flag 57460056/10868001
435.20/435.20	c cleaning 146999 clauses out of 294017 with flag 58237838/11016001
440.69/440.75	c cleaning 147996 clauses out of 296018 with flag 58985949/11165001
447.01/447.08	c cleaning 149005 clauses out of 298021 with flag 59735217/11315000
455.92/455.98	c cleaning 150000 clauses out of 300016 with flag 60488967/11466000
462.66/462.70	c cleaning 150997 clauses out of 302017 with flag 61234806/11618001
468.25/468.39	c cleaning 152003 clauses out of 304020 with flag 62038809/11771001
474.17/474.25	c cleaning 152998 clauses out of 306017 with flag 62820074/11925001
480.94/480.94	c cleaning 153996 clauses out of 308018 with flag 63663513/12080000
488.22/488.19	c cleaning 155004 clauses out of 310022 with flag 64613187/12236000
497.03/497.13	c cleaning 156006 clauses out of 312018 with flag 65422136/12393000
504.81/504.88	c cleaning 156999 clauses out of 314013 with flag 66254980/12551001
512.43/512.42	c cleaning 158000 clauses out of 316013 with flag 67043048/12710000
518.92/518.98	c cleaning 159000 clauses out of 318013 with flag 67877625/12870000
525.16/525.38	c cleaning 160002 clauses out of 320014 with flag 68719426/13031001
531.92/532.06	c cleaning 160998 clauses out of 322012 with flag 69613957/13193001
539.73/539.89	c cleaning 161995 clauses out of 324013 with flag 70508783/13356000
546.90/547.00	c cleaning 162998 clauses out of 326018 with flag 71369606/13520000
555.62/560.02	c cleaning 164001 clauses out of 328020 with flag 72243223/13685000
566.07/570.47	c cleaning 165003 clauses out of 330020 with flag 73159120/13851001
573.74/578.03	c cleaning 165997 clauses out of 332016 with flag 74048296/14018000
581.70/585.98	c cleaning 166996 clauses out of 334019 with flag 74938436/14186000
590.36/594.98	c cleaning 168003 clauses out of 336023 with flag 75865702/14355000
598.24/602.76	c cleaning 168998 clauses out of 338020 with flag 76681440/14525000
605.93/610.34	c cleaning 170005 clauses out of 340023 with flag 77510409/14696001
614.03/618.35	c cleaning 171000 clauses out of 342018 with flag 78346410/14868001
622.50/627.20	c cleaning 171998 clauses out of 344018 with flag 79225103/15041001
630.30/634.96	c cleaning 172997 clauses out of 346019 with flag 80166123/15215000
639.97/644.53	c cleaning 174002 clauses out of 348023 with flag 81055611/15390001
647.25/651.88	c cleaning 174996 clauses out of 350020 with flag 81945254/15566000
656.42/661.15	c cleaning 176007 clauses out of 352024 with flag 82881061/15743000
663.84/668.56	c cleaning 177002 clauses out of 354017 with flag 83790537/15921000
671.59/676.24	c cleaning 177994 clauses out of 356015 with flag 84679923/16100000
681.21/687.63	c cleaning 179006 clauses out of 358022 with flag 85579414/16280001
690.39/696.74	c cleaning 180001 clauses out of 360015 with flag 86600295/16461000
700.57/706.86	c cleaning 181003 clauses out of 362015 with flag 87594949/16643001
709.08/715.23	c cleaning 181999 clauses out of 364012 with flag 88544770/16826001
718.45/724.72	c cleaning 182993 clauses out of 366013 with flag 89457569/17010001
727.73/733.92	c cleaning 184000 clauses out of 368020 with flag 90417026/17195001
740.63/746.68	c cleaning 184997 clauses out of 370020 with flag 91419357/17381001
755.18/761.54	c cleaning 185999 clauses out of 372023 with flag 92432565/17568001
767.09/773.33	c cleaning 187008 clauses out of 374024 with flag 93418669/17756001
789.42/795.28	c cleaning 187996 clauses out of 376016 with flag 94485303/17945001
797.96/803.76	c cleaning 188999 clauses out of 378020 with flag 95490435/18135001
806.99/813.25	c cleaning 190003 clauses out of 380020 with flag 96395906/18326000
816.27/822.42	c cleaning 191000 clauses out of 382017 with flag 97354672/18518000
825.41/831.58	c cleaning 191999 clauses out of 384017 with flag 98314440/18711000
834.46/840.52	c cleaning 193005 clauses out of 386018 with flag 99301817/18905000
845.82/853.17	c cleaning 193997 clauses out of 388014 with flag 100422826/19100001
855.49/862.74	c cleaning 194999 clauses out of 390017 with flag 101348147/19296001
864.60/871.70	c cleaning 196000 clauses out of 392018 with flag 102380272/19493001
873.58/881.01	c cleaning 196999 clauses out of 394018 with flag 103397119/19691001
883.07/890.47	c cleaning 198003 clauses out of 396019 with flag 104428522/19890001
893.66/900.99	c cleaning 198998 clauses out of 398016 with flag 105439205/20090001
907.27/915.46	c cleaning 200002 clauses out of 400017 with flag 106415111/20291000
917.41/925.40	c cleaning 200999 clauses out of 402015 with flag 107513277/20493000
927.05/935.29	c cleaning 202000 clauses out of 404017 with flag 108501771/20696001
937.06/945.21	c cleaning 203003 clauses out of 406017 with flag 109547769/20900001
946.63/954.72	c cleaning 203996 clauses out of 408014 with flag 110552385/21105001
956.52/964.54	c cleaning 205001 clauses out of 410019 with flag 111617706/21311002
967.70/976.09	c cleaning 206001 clauses out of 412017 with flag 112677009/21518001
978.35/986.66	c cleaning 207002 clauses out of 414016 with flag 113735284/21726001
988.51/997.16	c cleaning 208002 clauses out of 416013 with flag 114778046/21935000
999.75/1008.36	c cleaning 209002 clauses out of 418011 with flag 115792890/22145000
1009.93/1018.44	c cleaning 210001 clauses out of 420010 with flag 116794110/22356001
1020.80/1029.56	c cleaning 210996 clauses out of 422008 with flag 117901075/22568000
1030.99/1039.63	c cleaning 211998 clauses out of 424013 with flag 118919944/22781001
1041.60/1050.17	c cleaning 213001 clauses out of 426015 with flag 119961626/22995001
1051.75/1060.75	c cleaning 213997 clauses out of 428014 with flag 121057949/23210001
1062.46/1071.36	c cleaning 214999 clauses out of 430016 with flag 122157505/23426000
1073.99/1082.72	c cleaning 216001 clauses out of 432018 with flag 123234083/23643001
1085.47/1094.78	c cleaning 217001 clauses out of 434016 with flag 124326121/23861000
1097.97/1107.15	c cleaning 218004 clauses out of 436015 with flag 125406467/24080000
1109.52/1118.91	c cleaning 219002 clauses out of 438011 with flag 126506397/24300000
1119.90/1129.26	c cleaning 219993 clauses out of 440009 with flag 127554565/24521000
1131.00/1140.20	c cleaning 220998 clauses out of 442016 with flag 128658580/24743000
1144.53/1154.48	c cleaning 221998 clauses out of 444018 with flag 129780604/24966000
1156.52/1166.39	c cleaning 223004 clauses out of 446021 with flag 130941964/25190001
1168.49/1178.27	c cleaning 223997 clauses out of 448016 with flag 132089183/25415000
1180.69/1190.70	c cleaning 225003 clauses out of 450019 with flag 133247010/25641000
1191.49/1201.49	c cleaning 226001 clauses out of 452016 with flag 134382158/25868000
1204.14/1214.86	c cleaning 226999 clauses out of 454015 with flag 135512575/26096000
1216.61/1227.24	c cleaning 228002 clauses out of 456016 with flag 136654508/26325000
1227.91/1238.42	c cleaning 228999 clauses out of 458015 with flag 137821676/26555001
1240.54/1251.87	c cleaning 229996 clauses out of 460015 with flag 138975709/26786000
1254.11/1265.33	c cleaning 231003 clauses out of 462019 with flag 140144145/27018000
1267.30/1279.46	c cleaning 232004 clauses out of 464017 with flag 141264254/27251001
1279.47/1291.66	c cleaning 232997 clauses out of 466012 with flag 142451537/27485000
1292.17/1305.11	c cleaning 234001 clauses out of 468015 with flag 143653142/27720000
1306.34/1319.06	c cleaning 234993 clauses out of 470015 with flag 144841785/27956001
1328.14/1341.07	c cleaning 235999 clauses out of 472022 with flag 146073388/28193001
1349.55/1362.37	c cleaning 236998 clauses out of 474022 with flag 147262819/28431000
1372.82/1385.52	c cleaning 238001 clauses out of 476024 with flag 148494654/28670000
1393.61/1406.44	c cleaning 239003 clauses out of 478023 with flag 149654169/28910000
1416.65/1429.53	c cleaning 239995 clauses out of 480020 with flag 150855087/29151000
1439.63/1452.43	c cleaning 240999 clauses out of 482026 with flag 152062853/29393001
1460.42/1473.33	c cleaning 242000 clauses out of 484026 with flag 153260716/29636000
1485.24/1498.32	c cleaning 243001 clauses out of 486027 with flag 154462616/29880001
1502.26/1515.34	c cleaning 244001 clauses out of 488025 with flag 155674342/30125000
1524.24/1537.23	c cleaning 245000 clauses out of 490025 with flag 156902129/30371001
1545.98/1558.93	c cleaning 246000 clauses out of 492024 with flag 158124053/30618000
1569.23/1582.34	c cleaning 247001 clauses out of 494024 with flag 159350295/30866000
1591.79/1604.81	c cleaning 248004 clauses out of 496023 with flag 160609041/31115000
1620.47/1634.45	c cleaning 248995 clauses out of 498019 with flag 161884231/31365000
1645.48/1659.55	c cleaning 250001 clauses out of 500025 with flag 163111563/31616001
1676.00/1690.23	c cleaning 250997 clauses out of 502024 with flag 164406035/31868001
1708.27/1722.72	c cleaning 251998 clauses out of 504027 with flag 165688548/32121001
1734.69/1749.31	c cleaning 253012 clauses out of 506030 with flag 166956634/32375002
1751.04/1766.07	c cleaning 254002 clauses out of 508016 with flag 168229959/32630000
1767.14/1781.53	c cleaning 254999 clauses out of 510014 with flag 169489701/32886000
1780.83/1795.56	c cleaning 256000 clauses out of 512016 with flag 170789437/33143001
1795.76/1810.42	c cleaning 257000 clauses out of 514015 with flag 172141532/33401000
1810.05/1824.75	c cleaning 258001 clauses out of 516016 with flag 173434510/33660001
1824.55/1839.31	c cleaning 258998 clauses out of 518014 with flag 174746141/33920000
1838.91/1853.62	c cleaning 260006 clauses out of 520016 with flag 176070737/34181000
1855.03/1869.92	c cleaning 260998 clauses out of 522011 with flag 177344061/34443001
1870.14/1884.94	c cleaning 262000 clauses out of 524012 with flag 178759622/34706000
1884.91/1899.88	c cleaning 262993 clauses out of 526012 with flag 180128904/34970000
1901.35/1916.21	c cleaning 264000 clauses out of 528019 with flag 181533630/35235000
1922.34/1937.52	c cleaning 264997 clauses out of 530019 with flag 182783220/35501000
1941.02/1956.31	c cleaning 266001 clauses out of 532022 with flag 184109529/35768000
1957.83/1973.09	c cleaning 267003 clauses out of 534022 with flag 185386490/36036001
1971.84/1987.14	c cleaning 268000 clauses out of 536019 with flag 186750723/36305001
1989.71/2004.83	c cleaning 269000 clauses out of 538019 with flag 188104454/36575001
2004.04/2019.25	c cleaning 270002 clauses out of 540018 with flag 189381801/36846000
2018.09/2033.28	c cleaning 271001 clauses out of 542017 with flag 190646814/37118001
2032.59/2047.91	c cleaning 272000 clauses out of 544016 with flag 191889003/37391001
2046.53/2061.87	c cleaning 273003 clauses out of 546015 with flag 193236470/37665000
2061.70/2077.25	c cleaning 273994 clauses out of 548013 with flag 194599258/37940001
2075.41/2090.97	c cleaning 274999 clauses out of 550018 with flag 195980251/38216000
2091.11/2106.81	c cleaning 276003 clauses out of 552019 with flag 197360631/38493000
2106.49/2122.15	c cleaning 277003 clauses out of 554017 with flag 198773425/38771001
2121.00/2136.89	c cleaning 277999 clauses out of 556013 with flag 200202818/39050000
2137.38/2153.17	c cleaning 279005 clauses out of 558015 with flag 201592891/39330001
2154.34/2170.24	c cleaning 279999 clauses out of 560009 with flag 203027422/39611000
2171.17/2187.05	c cleaning 280994 clauses out of 562010 with flag 204482237/39893000
2198.06/2213.97	c cleaning 281997 clauses out of 564017 with flag 205782606/40176001
2216.80/2232.95	c cleaning 282999 clauses out of 566019 with flag 207153897/40460000
2235.08/2251.28	c cleaning 284003 clauses out of 568020 with flag 208520587/40745000
2252.49/2269.04	c cleaning 285002 clauses out of 570017 with flag 209959186/41031000
2270.97/2287.71	c cleaning 285996 clauses out of 572016 with flag 211438274/41318001
2287.54/2304.05	c cleaning 287000 clauses out of 574019 with flag 212912992/41606000
2310.02/2326.75	c cleaning 288003 clauses out of 576019 with flag 214401330/41895000
2325.69/2342.32	c cleaning 289001 clauses out of 578016 with flag 215880671/42185000
2343.48/2360.45	c cleaning 289998 clauses out of 580015 with flag 217323840/42476000
2360.02/2376.93	c cleaning 290997 clauses out of 582017 with flag 218836128/42768000
2377.46/2395.38	c cleaning 292006 clauses out of 584021 with flag 220314561/43061001
2392.96/2411.07	c cleaning 293002 clauses out of 586015 with flag 221799413/43355001
2411.30/2429.34	c cleaning 293997 clauses out of 588012 with flag 223233182/43650000
2428.45/2446.75	c cleaning 295001 clauses out of 590015 with flag 224709681/43946000
2444.27/2462.53	c cleaning 295998 clauses out of 592015 with flag 226160352/44243001
2461.04/2480.28	c cleaning 296999 clauses out of 594017 with flag 227672115/44541001
2487.95/2507.54	c cleaning 297997 clauses out of 596017 with flag 229196547/44840000
2518.78/2538.78	c cleaning 298997 clauses out of 598020 with flag 230728875/45140000
2546.75/2567.22	c cleaning 299996 clauses out of 600023 with flag 232264197/45441000
2574.42/2594.20	c cleaning 300998 clauses out of 602027 with flag 233818569/45743000
2605.30/2625.43	c cleaning 302005 clauses out of 604030 with flag 235366057/46046001
2635.26/2655.87	c cleaning 302998 clauses out of 606025 with flag 236924335/46350001
2654.11/2674.58	c cleaning 304006 clauses out of 608026 with flag 238499438/46655000
2674.83/2696.08	c cleaning 305000 clauses out of 610021 with flag 240036393/46961001
2693.07/2714.20	c cleaning 306004 clauses out of 612020 with flag 241569398/47268000
2710.92/2732.10	c cleaning 307002 clauses out of 614017 with flag 243127649/47576001
2730.07/2753.50	c cleaning 307998 clauses out of 616014 with flag 244649199/47885000
2750.93/2772.88	c cleaning 308997 clauses out of 618016 with flag 246133741/48195000
2788.32/2809.79	c cleaning 309996 clauses out of 620019 with flag 247663526/48506000
2813.55/2834.46	c cleaning 311004 clauses out of 622024 with flag 249241356/48818001
2841.59/2861.58	c cleaning 311998 clauses out of 624020 with flag 250934579/49131001
2861.85/2881.35	c cleaning 313000 clauses out of 626021 with flag 252442280/49445000
2882.71/2901.04	c cleaning 314000 clauses out of 628021 with flag 253996216/49760000
2905.65/2922.47	c cleaning 315003 clauses out of 630022 with flag 255517075/50076001
2927.75/2943.34	c cleaning 316003 clauses out of 632019 with flag 257052861/50393001
2954.44/2970.07	c cleaning 317000 clauses out of 634015 with flag 258725085/50711000
2976.16/2991.02	c cleaning 318000 clauses out of 636016 with flag 260184538/51030001
2996.45/3012.17	c cleaning 318999 clauses out of 638016 with flag 261715421/51350001
3018.98/3033.68	c cleaning 319998 clauses out of 640016 with flag 263327283/51671000
3037.99/3051.72	c cleaning 320999 clauses out of 642018 with flag 264882872/51993000
3058.96/3072.39	c cleaning 322000 clauses out of 644019 with flag 266426517/52316000
3081.65/3093.65	c cleaning 323000 clauses out of 646019 with flag 268033890/52640000
3101.06/3112.53	c cleaning 324004 clauses out of 648020 with flag 269621045/52965001
3126.83/3142.81	c cleaning 325001 clauses out of 650015 with flag 271263475/53291000
3148.74/3164.07	c cleaning 325997 clauses out of 652014 with flag 273042471/53618000
3173.02/3188.88	c cleaning 327001 clauses out of 654018 with flag 274683318/53946001
3194.99/3210.08	c cleaning 327998 clauses out of 656017 with flag 276365856/54275001
3218.89/3233.81	c cleaning 329000 clauses out of 658018 with flag 277911427/54605000
3239.87/3254.91	c cleaning 329996 clauses out of 660018 with flag 279466473/54936000
3271.37/3286.25	c cleaning 331004 clauses out of 662023 with flag 281208255/55268001
3312.04/3325.64	c cleaning 331999 clauses out of 664019 with flag 283006570/55601001
3348.01/3360.80	c cleaning 333001 clauses out of 666020 with flag 284821141/55935001
3388.99/3401.89	c cleaning 334002 clauses out of 668018 with flag 286648951/56270000
3424.98/3436.37	c cleaning 334998 clauses out of 670017 with flag 288508817/56606001
3464.96/3475.54	c cleaning 335997 clauses out of 672019 with flag 290372407/56943001
3503.69/3512.61	c cleaning 337001 clauses out of 674021 with flag 292264981/57281000
3534.08/3543.08	c cleaning 337998 clauses out of 676021 with flag 294158512/57620001
3570.76/3579.43	c cleaning 338994 clauses out of 678022 with flag 295997385/57960000
3600.09/3608.92	c starts		: 75696
3600.09/3608.95	c conflicts		: 58301001
3600.09/3608.95	c decisions		: 78839925
3600.09/3608.97	c propagations		: 597513677
3600.09/3608.97	c inspects		: 29229275794
3600.09/3608.97	c shortcuts		: 0
3600.09/3608.97	c learnt literals	: 0
3600.09/3608.97	c learnt binary clauses	: 0
3600.09/3608.97	c learnt ternary clauses	: 0
3600.09/3608.97	c learnt constraints	: 58301001
3600.09/3608.97	c ignored constraints	: 0
3600.09/3608.97	c root simplifications	: 0
3600.09/3608.97	c removed literals (reason simplification)	: 22298549
3600.09/3608.97	c reason swapping (by a shorter reason)	: 0
3600.09/3608.97	c Calls to reduceDB	: 337
3600.09/3608.97	c Number of update (reduction) of LBD	: 5921620
3600.09/3608.97	c Imported unit clauses	: 0
3600.09/3608.97	c No decision after first conflict	: false
3600.09/3608.97	c number of reductions to clauses (during analyze)	: 0
3600.09/3608.97	c number of learned constraints concerned by reduction	: 0
3600.09/3608.97	c number of learning phase by resolution	: 0
3600.09/3608.97	c number of learning phase by cutting planes	: 0
3600.09/3608.97	c number of rounding to 1 operations	: 0
3600.09/3608.97	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3608.97	c number of reductions of the coefficients by power 2 	: 0
3600.09/3608.97	c number of right shift for reduction by power 2 	: 0
3600.09/3608.97	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3608.97	c number of ending skipping 	: 0
3600.09/3608.97	c number of internal skipping 	: 0
3600.09/3608.97	c number of derivation steps 	: 0
3600.09/3608.97	c number of skipped derivation steps 	: 0
3600.09/3608.97	c number of remaining unassigned 	: 0
3600.09/3608.97	c number of remaining assigned 	: 0
3600.09/3608.97	c number of falsified literals weakened from reason	: 0
3600.09/3608.97	c number of falsified literals weakened from conflict	: 0
3600.09/3608.97	c time for arithmetic operations	: 0
3600.09/3608.97	c minimum degree of deleted constraints	: null
3600.09/3608.97	c maximum degree of deleted constraints	: null
3600.09/3608.97	c number of deleted constraints	: 0
3600.09/3608.99	c speed (assignments/second)	: 165644.68600446716
3600.09/3608.99	c non guided choices	: 209351
3600.50/3609.16	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 680029
3600.50/3609.16	s UNKNOWN
3600.50/3609.16	c Total wall clock time (in seconds): 3608.828

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447472-1721827549/watcher-4447472-1721827549 -o /tmp/evaluation-result-4447472-1721827549/solver-4447472-1721827549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182131 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4447472-1721827549 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447472-1721827549.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
Current StackSize limit: 8192 KiB

solver pid=186326, runsolver pid=186323

[startup+0.101425 s]*
/proc/loadavg: 4.14 4.15 4.17 5/322 186344
/proc/meminfo: memFree=65658020/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=18975048 memory=56336 CPUtime=0.12 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 6496 0 0 0 9 3 0 0 20 0 18 0 18743925 19430449152 14084 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4743762 14084 5701 1 0 550834 0
[pid=186326/tid=186328] ppid=186323 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 5428 0 0 0 7 2 0 0 20 0 18 0 18743925 19430449152 14084 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18743930 19430449152 14084 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=18975048 memory=14131147652205475 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18743931 19430449152 14084 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56336 KiB

[startup+0.224422 s]*
/proc/loadavg: 4.14 4.15 4.17 5/322 186344
/proc/meminfo: memFree=65648600/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=18975048 memory=65240 CPUtime=0.3 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 7195 0 0 0 26 4 0 0 20 0 18 0 18743925 19430449152 16310 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4743762 16310 5710 1 0 551397 0
[pid=186326/tid=186328] ppid=186323 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 5740 0 0 0 17 3 0 0 20 0 18 0 18743925 19430449152 16310 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=18975048 memory=1057316 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18743930 19430449152 16310 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=18975048 memory=15824391262966388 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18743931 19430449152 16310 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65240 KiB

[startup+0.317567 s]*
/proc/loadavg: 4.14 4.15 4.17 7/322 186344
/proc/meminfo: memFree=65647368/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=18975048 memory=66124 CPUtime=0.43 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 7430 0 0 0 39 4 0 0 20 0 18 0 18743925 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4743762 16531 5725 1 0 551569 0
[pid=186326/tid=186328] ppid=186323 vsize=18975048 memory=-8960869573085405884 CPUtime=0.26 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 1077936192 5870 0 0 0 23 3 0 0 20 0 18 0 18743925 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18743930 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18743931 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66124 KiB

[startup+0.700374 s]
/proc/loadavg: 4.14 4.15 4.17 4/322 186344
/proc/meminfo: memFree=65646548/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=18975048 memory=66124 CPUtime=0.45 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 7444 0 0 0 41 4 0 0 20 0 18 0 18743925 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4743762 16531 5725 1 0 551572 0
[pid=186326/tid=186328] ppid=186323 vsize=18975048 memory=5456 CPUtime=0.27 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) D 186323 186326 182119 0 -1 1078198336 5881 0 0 0 24 3 0 0 20 0 18 0 18743925 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=18975048 memory=12108 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18743930 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18743931 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66124 KiB

[startup+1.50041 s]
/proc/loadavg: 4.14 4.15 4.17 4/322 186344
/proc/meminfo: memFree=65645512/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=18975048 memory=66124 CPUtime=0.45 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 7444 0 0 0 41 4 0 0 20 0 18 0 18743925 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4743762 16531 5725 1 0 551572 0
[pid=186326/tid=186328] ppid=186323 vsize=18975048 memory=12108 CPUtime=0.27 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) D 186323 186326 182119 0 -1 1078198336 5881 0 0 0 24 3 0 0 20 0 18 0 18743925 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18743930 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18743931 19430449152 16531 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66124 KiB

[startup+3.1094 s]
/proc/loadavg: 4.14 4.15 4.17 6/324 186346
/proc/meminfo: memFree=65527612/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=178748 CPUtime=3.29 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 20256 0 0 0 319 10 0 0 20 0 20 0 18743925 19566772224 44687 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 44687 5864 1 0 556588 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=198340509722 CPUtime=1.61 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 7084 0 0 0 155 6 0 0 20 0 20 0 18743925 19566772224 44687 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 44687 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=12108 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 44687 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=69728 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 44687 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178748 KiB

[startup+6.30045 s]
/proc/loadavg: 4.29 4.18 4.18 4/302 186364
/proc/meminfo: memFree=71881144/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=547708 CPUtime=7.79 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 23163 0 0 0 755 24 0 0 20 0 20 0 18743925 19566772224 136927 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 136927 5880 1 0 557006 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=0 CPUtime=4.74 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 7919 0 0 0 455 19 0 0 20 0 20 0 18743925 19566772224 136927 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=12108 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 136927 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=120632 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 136927 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=547708 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 136927 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 547708 KiB

[startup+12.7004 s]
/proc/loadavg: 4.43 4.21 4.19 5/324 186416
/proc/meminfo: memFree=71713288/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1326040 CPUtime=14.18 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 25969 0 0 0 1367 51 0 0 20 0 20 0 18743925 19566772224 331510 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 331510 5880 1 0 557006 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=1326040 CPUtime=11.03 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 9131 0 0 0 1058 45 0 0 20 0 20 0 18743925 19566772224 331510 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 331510 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 331510 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=491192 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 331510 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326040 KiB

[startup+25.5064 s]
/proc/loadavg: 4.48 4.23 4.20 5/324 186553
/proc/meminfo: memFree=75833276/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1332380 CPUtime=26.99 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 28849 0 0 0 2628 71 0 0 20 0 20 0 18743925 19566772224 333095 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 333095 5911 1 0 557006 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=0 CPUtime=23.58 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) S 186323 186326 182119 0 -1 1077936192 10380 0 0 0 2294 64 0 0 20 0 20 0 18743925 19566772224 333095 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=1330332 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 333095 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=164 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 333095 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=1330332 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 333095 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 26.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1332380 KiB

[startup+51.1141 s]
/proc/loadavg: 4.38 4.23 4.19 5/324 186557
/proc/meminfo: memFree=74148396/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1757356 CPUtime=52.35 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 34471 0 0 0 5113 122 0 0 20 0 20 0 18743925 19566772224 439339 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 439339 5911 1 0 663534 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=1757356 CPUtime=48.46 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 12403 0 0 0 4733 113 0 0 20 0 20 0 18743925 19566772224 439339 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=1755076 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 439339 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 439339 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=1757356 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 439339 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0

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

/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 336045 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 2634 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 336045 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 336045 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3207.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1344180 KiB

[startup+3282.3 s]
/proc/loadavg: 3.13 3.57 3.93 4/296 188445
/proc/meminfo: memFree=60048984/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1543900 CPUtime=3267.47 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 274941 0 0 0 323690 3057 0 0 20 0 20 0 18743925 19566772224 385975 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 385975 5927 1 0 399380 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=1543900 CPUtime=3172.4 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 114419 0 0 0 314407 2833 0 0 20 0 20 0 18743925 19566772224 385975 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5619 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=1222532 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 385975 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=1543900 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 2658 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 385975 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=67960 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 385975 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3267.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1543900 KiB

[startup+3342.3 s]
/proc/loadavg: 3.22 3.52 3.89 4/297 188457
/proc/meminfo: memFree=59880564/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1355840 CPUtime=3329.55 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 276202 0 0 0 329853 3102 0 0 20 0 20 0 18743925 19566772224 338960 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 338960 5927 1 0 351356 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=1355840 CPUtime=3230.36 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 114649 0 0 0 320165 2871 0 0 20 0 20 0 18743925 19566772224 338960 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5731 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=-8960869573085405884 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 338960 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=28864 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 2666 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 338960 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 338960 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3329.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1355840 KiB

[startup+3402.3 s]
/proc/loadavg: 3.38 3.50 3.86 4/297 188469
/proc/meminfo: memFree=59521088/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1472528 CPUtime=3389.49 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 279802 0 0 0 335817 3132 0 0 20 0 20 0 18743925 19566772224 368132 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 368132 5927 1 0 380588 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=-8960869573085405884 CPUtime=3289.34 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 115508 0 0 0 326036 2898 0 0 20 0 20 0 18743925 19566772224 368132 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5783 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=1472528 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 368132 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=-8960869573085405884 CPUtime=0 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 2666 0 0 0 0 0 0 0 20 0 20 0 18743931 19566772224 368132 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=1472528 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 368132 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3389.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1472528 KiB

[startup+3462.3 s]
/proc/loadavg: 3.26 3.45 3.82 4/297 188480
/proc/meminfo: memFree=59182200/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1497560 CPUtime=3451.78 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 283924 0 0 0 342007 3171 0 0 20 0 20 0 18743925 19566772224 374390 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 374390 5927 1 0 386852 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=-8960869573085405884 CPUtime=3347.94 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 115925 0 0 0 331863 2931 0 0 20 0 20 0 18743925 19566772224 374390 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5832 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=1439440 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 374390 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=11756 CPUtime=0.01 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 2698 0 0 0 1 0 0 0 20 0 20 0 18743931 19566772224 374390 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=1470212448154911065 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 374390 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1497560 KiB

[startup+3522.3 s]
/proc/loadavg: 3.23 3.41 3.78 4/297 188490
/proc/meminfo: memFree=58766484/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1577000 CPUtime=3513.3 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 285336 0 0 0 348116 3214 0 0 20 0 20 0 18743925 19566772224 394250 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 394250 5927 1 0 407732 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=0 CPUtime=3406.81 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 116571 0 0 0 337713 2968 0 0 20 0 20 0 18743925 19566772224 394250 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5870 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=1439440 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 394250 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=1577000 CPUtime=0.01 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 2698 0 0 0 1 0 0 0 20 0 20 0 18743931 19566772224 394250 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=-8960869573085405884 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 394250 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1577000 KiB

[startup+3582.3 s]
/proc/loadavg: 3.33 3.41 3.76 4/297 188885
/proc/meminfo: memFree=58291224/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1743576 CPUtime=3573.32 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 290713 0 0 0 354082 3250 0 0 20 0 20 0 18743925 19566772224 435894 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 435894 5927 1 0 449500 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=1743576 CPUtime=3465.57 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 117102 0 0 0 343557 3000 0 0 20 0 20 0 18743925 19566772224 435894 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5926 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=1743576 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 435894 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=67960 CPUtime=0.01 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 2805 0 0 0 1 0 0 0 20 0 20 0 18743931 19566772224 435894 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=1743576 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 435894 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1743576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 3.28 3.39 3.74 4/297 188890
/proc/meminfo: memFree=57988772/131655788 swapFree=131063676/131071996
[pid=186326] ppid=186323 vsize=19108176 memory=1897780 CPUtime=3600.09 cores=1,3
/proc/186326/stat : 186326 (java) S 186323 186326 182119 0 -1 1077936128 291070 0 0 0 356743 3266 0 0 20 0 20 0 18743925 19566772224 474445 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
/proc/186326/statm: 4777044 474445 5927 1 0 533020 0
[pid=186326/tid=186328] ppid=186323 vsize=19108176 memory=1743576 CPUtime=3491.87 cores=1,3
/proc/186326/task/186328/stat : 186328 (java) R 186323 186326 182119 0 -1 4194368 117245 0 0 0 346171 3016 0 0 20 0 20 0 18743925 19566772224 474445 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5926 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186337] ppid=186323 vsize=19108176 memory=1743576 CPUtime=0 cores=1,3
/proc/186326/task/186337/stat : 186337 (Finalizer) S 186323 186326 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743930 19566772224 474445 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186344] ppid=186323 vsize=19108176 memory=1743576 CPUtime=0.01 cores=1,3
/proc/186326/task/186344/stat : 186344 (Common-Cleaner) S 186323 186326 182119 0 -1 1077936192 2806 0 0 0 1 0 0 0 20 0 20 0 18743931 19566772224 474445 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
[pid=186326/tid=186345] ppid=186323 vsize=19108176 memory=1893684 CPUtime=0 cores=1,3
/proc/186326/task/186345/stat : 186345 (Timer-0) S 186323 186326 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744101 19566772224 474445 134679101440 93830688034816 93830688038512 140737048421024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830688046328 93830688047120 93830703906816 140737048425387 140737048425569 140737048425569 140737048432584 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1897780 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.28 s]
# the end of solver process 186326 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3567.92 s, system=32.7128 s

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

[startup+3609.2 s]*
/proc/loadavg: 3.57 3.45 3.76 4/279 188893
/proc/meminfo: memFree=59861916/131655788 swapFree=131063676/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3609.28
CPU time (s): 3600.64
CPU user time (s): 3567.92
CPU system time (s): 32.7128
CPU usage (%): 99.7604
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6149380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.92
system time used= 32.7128
maximum resident set size= 6149380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34606520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132693
involuntary context switches= 11349


# summary of solver processes directly reported to runsolver:
#   pid: 186326
#   total CPU time (s): 3600.64
#   total CPU user time (s): 3567.92
#   total CPU system time (s): 32.7128

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2624 second user time and 38.4616 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 15:25:49
IDJOB=4447472
IDBENCH=158904
IDSOLVER=3079
FILE ID=nodeC003/4447472-1721827549
RUNJOBID= nodeC003-1721820325-182131
SLURM_JOB_ID= 7891444
Free space on /tmp= 723480 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n270-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447472-1721827549/watcher-4447472-1721827549 -o /tmp/evaluation-result-4447472-1721827549/solver-4447472-1721827549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182131 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4447472-1721827549 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447472-1721827549.opb

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

MD5SUM BENCH= 851f3387310df6bbd014cd79a7a4e679
RANDOM SEED=390095140

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.277
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		: 3507.620
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	: 6984.09
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		: 3644.581
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.647
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	: 6984.09
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.362
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:        65693660 kB
MemAvailable:   111268768 kB
Buffers:          258916 kB
Cached:         45856052 kB
SwapCached:          800 kB
Active:          2846432 kB
Inactive:       62069796 kB
Active(anon):       2100 kB
Inactive(anon): 18852788 kB
Active(file):    2844332 kB
Inactive(file): 43217008 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063676 kB
Dirty:             47000 kB
Writeback:             0 kB
AnonPages:      18800736 kB
Mapped:           131636 kB
Shmem:             53532 kB
KReclaimable:     575512 kB
Slab:             691932 kB
SReclaimable:     575512 kB
SUnreclaim:       116420 kB
KernelStack:        4896 kB
PageTables:        46952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   26370028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18380800 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-24 16:25:58