Trace number 4440265

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)115 3600.31 3613.54

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
MD5SUM41af2b26463fe500a2b560ae49f59ea6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark90
Best CPU time to get the best result obtained on this benchmark0.072877
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables652
Total number of constraints759
Number of constraints which are clauses759
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 constraint2
Maximum length of a constraint46
Number of terms in the objective function 652
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 652
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 652
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.14	c Pseudo Boolean Optimization by upper bound
0.13/0.14	c --- Begin Solver configuration ---
0.13/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.14	c Learn all clauses as in MiniSAT
0.13/0.14	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.14	c Expensive reason simplification
0.13/0.14	c Glucose 2.1 dynamic restart strategy
0.13/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.14	c timeout=2147483s
0.13/0.14	c DB Simplification allowed=false
0.13/0.14	c Listener: none
0.13/0.14	c --- End Solver configuration ---
0.13/0.14	c solving HOME/instance-4440265-1721772843.opb
0.13/0.14	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  objective function found
0.31/0.21	c ... done. Wall clock time 0.081s.
0.31/0.21	c declared #vars     652
0.31/0.21	c #constraints  759
0.31/0.21	c constraints type 
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 743
0.31/0.21	c 759 constraints processed.
0.31/0.22	c objective function length is 652 literals
0.31/0.23	c SATISFIABLE
0.31/0.23	c OPTIMIZING...
0.31/0.23	c Got one! Elapsed wall clock time (in seconds):0.102
0.31/0.24	o 116
0.31/0.26	c Got one! Elapsed wall clock time (in seconds):0.137
0.31/0.26	o 115
1.63/0.93	c cleaning 2497 clauses out of 5012 with flag 10239/5012
2.61/1.46	c cleaning 4253 clauses out of 8515 with flag 22496/11012
3.41/1.88	c cleaning 5626 clauses out of 11261 with flag 36839/18011
3.99/2.28	c cleaning 6812 clauses out of 13636 with flag 53001/26012
4.59/2.74	c cleaning 7906 clauses out of 15824 with flag 71396/35012
5.24/3.24	c cleaning 8950 clauses out of 17917 with flag 91839/45011
5.77/3.77	c cleaning 9980 clauses out of 19968 with flag 114332/56012
6.38/4.33	c cleaning 10987 clauses out of 21987 with flag 138690/68011
7.08/5.00	c cleaning 11992 clauses out of 24001 with flag 164828/81012
7.79/5.74	c cleaning 12996 clauses out of 26009 with flag 193330/95012
8.49/6.49	c cleaning 13997 clauses out of 28013 with flag 223555/110012
9.43/7.33	c cleaning 15000 clauses out of 30015 with flag 256400/126011
10.26/8.17	c cleaning 15998 clauses out of 32015 with flag 291031/143011
11.32/9.16	c cleaning 17001 clauses out of 34018 with flag 327190/161012
12.42/10.22	c cleaning 18002 clauses out of 36018 with flag 366082/180013
13.53/11.30	c cleaning 18998 clauses out of 38016 with flag 407277/200013
14.53/12.37	c cleaning 20000 clauses out of 40016 with flag 450737/221011
15.86/13.56	c cleaning 20998 clauses out of 42016 with flag 498421/243011
17.18/14.77	c cleaning 22003 clauses out of 44018 with flag 546989/266011
18.49/16.07	c cleaning 22999 clauses out of 46015 with flag 598925/290011
19.91/17.41	c cleaning 23995 clauses out of 48018 with flag 652895/315013
21.20/18.78	c cleaning 25001 clauses out of 50022 with flag 707582/341012
22.70/20.28	c cleaning 25999 clauses out of 52020 with flag 762628/368011
24.32/21.84	c cleaning 27003 clauses out of 54021 with flag 820824/396011
25.91/23.41	c cleaning 28001 clauses out of 56019 with flag 881509/425012
27.52/25.01	c cleaning 29001 clauses out of 58018 with flag 944447/455012
29.12/26.67	c cleaning 30000 clauses out of 60017 with flag 1010350/486012
30.92/28.44	c cleaning 30999 clauses out of 62017 with flag 1079314/518012
32.84/30.33	c cleaning 31994 clauses out of 64017 with flag 1149294/551011
34.79/33.45	c cleaning 33004 clauses out of 66024 with flag 1222516/585012
36.82/35.44	c cleaning 33999 clauses out of 68020 with flag 1297309/620012
38.84/37.49	c cleaning 35000 clauses out of 70020 with flag 1373229/656011
41.16/39.70	c cleaning 35998 clauses out of 72020 with flag 1448883/693011
43.26/41.87	c cleaning 37004 clauses out of 74022 with flag 1528999/731011
45.56/44.12	c cleaning 37999 clauses out of 76018 with flag 1610849/770011
47.76/46.37	c cleaning 38998 clauses out of 78019 with flag 1696564/810011
50.28/48.81	c cleaning 40000 clauses out of 80021 with flag 1785358/851011
52.70/51.24	c cleaning 41001 clauses out of 82022 with flag 1874914/893012
55.33/53.88	c cleaning 42000 clauses out of 84020 with flag 1968241/936011
58.16/56.61	c cleaning 42999 clauses out of 86021 with flag 2062981/980012
60.79/59.23	c cleaning 44000 clauses out of 88021 with flag 2157873/1025011
63.75/62.11	c cleaning 45001 clauses out of 90022 with flag 2252985/1071012
66.68/65.69	c cleaning 45999 clauses out of 92020 with flag 2352398/1118011
69.62/68.56	c cleaning 47000 clauses out of 94022 with flag 2454482/1166012
72.76/71.68	c cleaning 48002 clauses out of 96022 with flag 2561202/1215012
76.08/74.98	c cleaning 49002 clauses out of 98019 with flag 2668379/1265011
79.42/78.29	c cleaning 49999 clauses out of 100017 with flag 2775971/1316011
82.93/81.69	c cleaning 50997 clauses out of 102019 with flag 2882278/1368012
86.45/85.17	c cleaning 52003 clauses out of 104021 with flag 2992541/1421011
89.95/88.64	c cleaning 52999 clauses out of 106018 with flag 3105546/1475011
93.53/92.24	c cleaning 54000 clauses out of 108020 with flag 3222372/1530012
97.51/96.79	c cleaning 55000 clauses out of 110019 with flag 3341826/1586011
101.63/100.81	c cleaning 56000 clauses out of 112020 with flag 3460863/1643012
105.56/104.70	c cleaning 56997 clauses out of 114020 with flag 3582751/1701012
109.78/108.86	c cleaning 58004 clauses out of 116023 with flag 3706885/1760012
113.92/112.90	c cleaning 58995 clauses out of 118018 with flag 3831978/1820011
117.94/116.91	c cleaning 60002 clauses out of 120024 with flag 3957880/1881012
122.07/121.00	c cleaning 60999 clauses out of 122022 with flag 4089549/1943012
126.23/125.76	c cleaning 62000 clauses out of 124022 with flag 4222784/2006011
130.90/130.36	c cleaning 63003 clauses out of 126022 with flag 4359107/2070011
135.72/135.19	c cleaning 64000 clauses out of 128020 with flag 4494002/2135012
140.56/139.98	c cleaning 64995 clauses out of 130020 with flag 4633068/2201012
145.67/145.02	c cleaning 66002 clauses out of 132025 with flag 4773692/2268012
150.90/150.20	c cleaning 66997 clauses out of 134022 with flag 4915189/2336011
155.99/155.82	c cleaning 68004 clauses out of 136025 with flag 5060187/2405011
160.71/160.54	c cleaning 69002 clauses out of 138022 with flag 5208954/2475012
166.28/166.07	c cleaning 70000 clauses out of 140019 with flag 5362803/2546011
171.41/171.18	c cleaning 71001 clauses out of 142020 with flag 5518990/2618012
176.93/176.66	c cleaning 72002 clauses out of 144019 with flag 5670161/2691012
181.97/181.69	c cleaning 72999 clauses out of 146017 with flag 5827511/2765012
187.67/187.95	c cleaning 73994 clauses out of 148017 with flag 5989174/2840011
193.44/193.78	c cleaning 75001 clauses out of 150023 with flag 6151391/2916011
199.30/199.62	c cleaning 76002 clauses out of 152022 with flag 6311060/2993011
204.99/205.35	c cleaning 77002 clauses out of 154020 with flag 6475629/3071011
210.82/211.14	c cleaning 77998 clauses out of 156018 with flag 6647222/3150011
217.01/217.82	c cleaning 78998 clauses out of 158020 with flag 6820332/3230011
223.08/223.83	c cleaning 79997 clauses out of 160023 with flag 6990178/3311012
229.61/230.36	c cleaning 80998 clauses out of 162025 with flag 7162739/3393011
236.20/236.82	c cleaning 82004 clauses out of 164027 with flag 7340800/3476011
242.73/243.38	c cleaning 82999 clauses out of 166024 with flag 7521549/3560012
249.03/250.92	c cleaning 84002 clauses out of 168024 with flag 7697731/3645011
255.17/257.03	c cleaning 84999 clauses out of 170023 with flag 7878380/3731012
261.49/263.38	c cleaning 86000 clauses out of 172024 with flag 8061637/3818012
268.43/270.28	c cleaning 86996 clauses out of 174023 with flag 8251554/3906011
275.11/276.84	c cleaning 87999 clauses out of 176027 with flag 8436490/3995011
282.38/284.06	c cleaning 89004 clauses out of 178029 with flag 8625990/4085012
289.67/291.28	c cleaning 90000 clauses out of 180026 with flag 8821666/4176013
297.22/298.75	c cleaning 91001 clauses out of 182025 with flag 9020086/4268012
304.59/306.04	c cleaning 92002 clauses out of 184023 with flag 9221617/4361011
312.37/314.29	c cleaning 92998 clauses out of 186021 with flag 9416773/4455011
319.62/321.44	c cleaning 93997 clauses out of 188023 with flag 9618843/4550011
327.19/328.97	c cleaning 95002 clauses out of 190027 with flag 9824141/4646012
335.43/337.19	c cleaning 95997 clauses out of 192024 with flag 10035322/4743011
343.40/345.49	c cleaning 97002 clauses out of 194028 with flag 10239571/4841012
351.92/353.68	c cleaning 97997 clauses out of 196025 with flag 10450156/4940011
360.51/362.25	c cleaning 98999 clauses out of 198028 with flag 10665767/5040011
369.33/371.38	c cleaning 100000 clauses out of 200030 with flag 10877889/5141012
377.79/379.76	c cleaning 101007 clauses out of 202030 with flag 11090924/5243012
386.02/387.90	c cleaning 101998 clauses out of 204023 with flag 11307820/5346012
394.68/396.55	c cleaning 102999 clauses out of 206025 with flag 11533254/5450012
402.66/404.82	c cleaning 104005 clauses out of 208026 with flag 11753557/5555012
411.26/413.47	c cleaning 104999 clauses out of 210020 with flag 11978716/5661011
420.29/422.40	c cleaning 106003 clauses out of 212022 with flag 12209456/5768012
429.28/431.70	c cleaning 106999 clauses out of 214019 with flag 12444424/5876012
437.83/440.22	c cleaning 108000 clauses out of 216020 with flag 12672272/5985012
446.41/448.72	c cleaning 108999 clauses out of 218020 with flag 12908953/6095012
455.87/458.29	c cleaning 109999 clauses out of 220021 with flag 13150056/6206012
465.22/467.91	c cleaning 111001 clauses out of 222021 with flag 13394581/6318011
474.52/477.25	c cleaning 111999 clauses out of 224021 with flag 13630220/6431012
483.78/486.49	c cleaning 112999 clauses out of 226021 with flag 13877855/6545011
493.66/496.60	c cleaning 114000 clauses out of 228022 with flag 14128200/6660011
502.50/505.44	c cleaning 115001 clauses out of 230022 with flag 14374017/6776011
511.97/514.81	c cleaning 115999 clauses out of 232022 with flag 14622026/6893012
522.28/525.49	c cleaning 117003 clauses out of 234022 with flag 14874609/7011011
532.61/535.70	c cleaning 117995 clauses out of 236020 with flag 15123569/7130012
543.40/546.55	c cleaning 119001 clauses out of 238025 with flag 15380916/7250012
554.67/558.09	c cleaning 120001 clauses out of 240024 with flag 15634010/7371012
564.88/568.23	c cleaning 121002 clauses out of 242023 with flag 15893687/7493012
576.00/579.33	c cleaning 121998 clauses out of 244021 with flag 16151986/7616012
587.35/591.07	c cleaning 123002 clauses out of 246023 with flag 16417694/7740012
598.47/602.02	c cleaning 124001 clauses out of 248020 with flag 16681239/7865011
609.45/612.97	c cleaning 124997 clauses out of 250019 with flag 16949503/7991011
620.14/623.90	c cleaning 126001 clauses out of 252023 with flag 17222529/8118012
631.56/635.36	c cleaning 127000 clauses out of 254022 with flag 17499043/8246012
643.74/647.80	c cleaning 127998 clauses out of 256021 with flag 17779166/8375011
655.31/659.35	c cleaning 129003 clauses out of 258023 with flag 18049585/8505011
667.20/671.17	c cleaning 130000 clauses out of 260021 with flag 18327643/8636012
679.43/684.07	c cleaning 130998 clauses out of 262021 with flag 18612627/8768012
691.65/696.18	c cleaning 132001 clauses out of 264023 with flag 18899340/8901012
703.66/708.48	c cleaning 132998 clauses out of 266021 with flag 19181001/9035011
716.18/720.94	c cleaning 133998 clauses out of 268024 with flag 19464457/9170012
728.38/733.03	c cleaning 135002 clauses out of 270026 with flag 19753437/9306012
740.64/745.63	c cleaning 135998 clauses out of 272023 with flag 20049164/9443011
753.59/758.68	c cleaning 136997 clauses out of 274026 with flag 20349875/9581012
766.87/772.25	c cleaning 137999 clauses out of 276028 with flag 20640107/9720011
779.03/784.30	c cleaning 139003 clauses out of 278030 with flag 20940416/9860012
792.63/797.84	c cleaning 139999 clauses out of 280026 with flag 21247208/10001011
805.65/811.18	c cleaning 141002 clauses out of 282028 with flag 21553413/10143012
818.93/824.40	c cleaning 142000 clauses out of 284026 with flag 21857049/10286012
832.36/837.86	c cleaning 143005 clauses out of 286025 with flag 22166750/10430011
846.10/851.50	c cleaning 143999 clauses out of 288020 with flag 22478794/10575011
860.13/865.94	c cleaning 145000 clauses out of 290021 with flag 22788833/10721011
873.71/879.40	c cleaning 145999 clauses out of 292021 with flag 23100912/10868011
888.20/894.14	c cleaning 146998 clauses out of 294023 with flag 23415634/11016012
902.75/908.62	c cleaning 148003 clauses out of 296025 with flag 23730609/11165012
917.38/923.41	c cleaning 148998 clauses out of 298021 with flag 24051195/11315011
932.44/938.42	c cleaning 150003 clauses out of 300023 with flag 24370276/11466011
947.83/954.19	c cleaning 150998 clauses out of 302020 with flag 24695835/11618011
963.34/969.57	c cleaning 152000 clauses out of 304022 with flag 25019728/11771011
978.12/984.58	c cleaning 153004 clauses out of 306023 with flag 25352752/11925012
992.92/999.25	c cleaning 153996 clauses out of 308018 with flag 25679192/12080011
1007.42/1013.62	c cleaning 154998 clauses out of 310022 with flag 26018192/12236011
1022.90/1029.53	c cleaning 156000 clauses out of 312025 with flag 26348777/12393012
1037.63/1044.18	c cleaning 156997 clauses out of 314025 with flag 26686778/12551012
1053.05/1060.09	c cleaning 158003 clauses out of 316028 with flag 27023039/12710012
1068.13/1075.10	c cleaning 159007 clauses out of 318025 with flag 27366121/12870012
1083.67/1090.93	c cleaning 159994 clauses out of 320017 with flag 27710779/13031011
1099.18/1106.36	c cleaning 161003 clauses out of 322024 with flag 28051802/13193012
1116.23/1123.89	c cleaning 162001 clauses out of 324020 with flag 28400701/13356011
1134.10/1141.91	c cleaning 163000 clauses out of 326022 with flag 28748386/13520014
1150.78/1158.58	c cleaning 163996 clauses out of 328019 with flag 29104265/13685011
1166.68/1174.77	c cleaning 165004 clauses out of 330024 with flag 29453045/13851012
1182.75/1190.78	c cleaning 165997 clauses out of 332020 with flag 29813655/14018012
1198.33/1206.64	c cleaning 166999 clauses out of 334022 with flag 30173003/14186011
1215.36/1223.64	c cleaning 168003 clauses out of 336024 with flag 30530331/14355012
1232.39/1240.92	c cleaning 168995 clauses out of 338020 with flag 30899238/14525011
1250.22/1258.76	c cleaning 169998 clauses out of 340027 with flag 31263739/14696013
1267.83/1276.55	c cleaning 170997 clauses out of 342027 with flag 31633376/14868011
1284.80/1293.66	c cleaning 172005 clauses out of 344032 with flag 32036572/15041013
1303.81/1312.41	c cleaning 173009 clauses out of 346025 with flag 32455278/15215011
1325.89/1334.35	c cleaning 173997 clauses out of 348017 with flag 32881492/15390012
1344.42/1352.88	c cleaning 175002 clauses out of 350020 with flag 33303438/15566012
1364.49/1372.81	c cleaning 175998 clauses out of 352018 with flag 33729735/15743012
1384.01/1392.61	c cleaning 177002 clauses out of 354019 with flag 34155566/15921011
1404.90/1413.34	c cleaning 178001 clauses out of 356019 with flag 34583798/16100013
1423.92/1432.51	c cleaning 178996 clauses out of 358016 with flag 35022133/16280011
1444.17/1453.18	c cleaning 179998 clauses out of 360020 with flag 35461746/16461011
1464.37/1473.33	c cleaning 180998 clauses out of 362022 with flag 35907110/16643011
1484.18/1493.33	c cleaning 182001 clauses out of 364024 with flag 36361006/16826011
1503.59/1512.87	c cleaning 183003 clauses out of 366025 with flag 36807199/17010013
1525.37/1534.05	c cleaning 184006 clauses out of 368020 with flag 37258971/17195011
1547.02/1555.72	c cleaning 184998 clauses out of 370014 with flag 37715060/17381011
1566.86/1575.69	c cleaning 186003 clauses out of 372017 with flag 38167750/17568012
1590.72/1599.66	c cleaning 186996 clauses out of 374013 with flag 38621993/17756011
1613.13/1621.99	c cleaning 187997 clauses out of 376018 with flag 39085194/17945012
1635.88/1644.82	c cleaning 189002 clauses out of 378022 with flag 39550341/18135013
1658.63/1667.71	c cleaning 190009 clauses out of 380018 with flag 40018431/18326011
1679.75/1688.65	c cleaning 191002 clauses out of 382010 with flag 40499118/18518012
1703.42/1712.09	c cleaning 192001 clauses out of 384009 with flag 40996423/18711013
1727.36/1736.19	c cleaning 192997 clauses out of 386009 with flag 41503731/18905014
1751.77/1760.72	c cleaning 194001 clauses out of 388012 with flag 42024394/19100014
1775.31/1784.51	c cleaning 194995 clauses out of 390010 with flag 42539623/19296013
1804.52/1814.10	c cleaning 196006 clauses out of 392014 with flag 43050732/19493012
1829.76/1839.01	c cleaning 196995 clauses out of 394007 with flag 43591546/19691011
1851.19/1860.69	c cleaning 197999 clauses out of 396014 with flag 44107629/19890013
1874.34/1883.46	c cleaning 199001 clauses out of 398014 with flag 44612326/20090012
1898.08/1907.33	c cleaning 199998 clauses out of 400012 with flag 45115849/20291011
1923.90/1933.02	c cleaning 200999 clauses out of 402017 with flag 45621495/20493014
1948.94/1958.13	c cleaning 201991 clauses out of 404015 with flag 46150400/20696011
1974.75/1984.08	c cleaning 203000 clauses out of 406025 with flag 46663773/20900012
2003.89/2013.21	c cleaning 204013 clauses out of 408026 with flag 47174900/21105013
2029.02/2038.46	c cleaning 204994 clauses out of 410011 with flag 47685205/21311011
2057.37/2066.43	c cleaning 206002 clauses out of 412017 with flag 48198322/21518011
2084.62/2093.85	c cleaning 206993 clauses out of 414015 with flag 48714604/21726011
2112.06/2121.30	c cleaning 208008 clauses out of 416023 with flag 49233116/21935012
2139.02/2148.24	c cleaning 208995 clauses out of 418014 with flag 49753650/22145011
2164.55/2174.04	c cleaning 209995 clauses out of 420021 with flag 50282062/22356013
2196.38/2206.13	c cleaning 211009 clauses out of 422025 with flag 50818316/22568012
2225.44/2235.29	c cleaning 212002 clauses out of 424016 with flag 51351003/22781012
2256.84/2266.30	c cleaning 212996 clauses out of 426013 with flag 51885076/22995011
2284.92/2294.53	c cleaning 214008 clauses out of 428017 with flag 52417693/23210011
2312.08/2321.77	c cleaning 215001 clauses out of 430009 with flag 52954263/23426011
2339.87/2349.63	c cleaning 215996 clauses out of 432009 with flag 53491904/23643012
2370.35/2380.49	c cleaning 216997 clauses out of 434012 with flag 54037126/23861011
2403.15/2413.15	c cleaning 217999 clauses out of 436015 with flag 54588898/24080011
2435.59/2445.70	c cleaning 218990 clauses out of 438016 with flag 55135095/24300011
2466.79/2477.07	c cleaning 220007 clauses out of 440029 with flag 55690166/24521014
2497.37/2507.86	c cleaning 221006 clauses out of 442019 with flag 56251660/24743011
2528.61/2539.36	c cleaning 221993 clauses out of 444013 with flag 56812778/24966011
2564.41/2575.45	c cleaning 223006 clauses out of 446021 with flag 57377624/25190012
2604.65/2615.53	c cleaning 224000 clauses out of 448014 with flag 57950304/25415011
2637.86/2648.89	c cleaning 224998 clauses out of 450014 with flag 58520632/25641011
2672.14/2683.31	c cleaning 226001 clauses out of 452016 with flag 59103544/25868011
2706.56/2717.88	c cleaning 226995 clauses out of 454017 with flag 59682766/26096013
2742.82/2754.29	c cleaning 228002 clauses out of 456020 with flag 60259401/26325011
2777.80/2788.71	c cleaning 228992 clauses out of 458018 with flag 60848958/26555011
2812.23/2823.29	c cleaning 230011 clauses out of 460026 with flag 61466841/26786011
2844.58/2855.61	c cleaning 231000 clauses out of 462015 with flag 62062800/27018011
2879.31/2890.63	c cleaning 232004 clauses out of 464016 with flag 62641850/27251012
2909.08/2920.48	c cleaning 232991 clauses out of 466011 with flag 63231501/27485011
2939.95/2951.01	c cleaning 233995 clauses out of 468022 with flag 63828054/27720013
2969.92/2981.47	c cleaning 234997 clauses out of 470025 with flag 64428037/27956011
3002.39/3014.30	c cleaning 236013 clauses out of 472028 with flag 65042540/28193011
3036.46/3048.67	c cleaning 236987 clauses out of 474016 with flag 65661729/28431012
3070.42/3083.07	c cleaning 238011 clauses out of 476030 with flag 66265401/28670013
3106.16/3118.13	c cleaning 239004 clauses out of 478017 with flag 66864013/28910011
3141.71/3154.05	c cleaning 240000 clauses out of 480015 with flag 67457340/29151013
3174.32/3186.86	c cleaning 240999 clauses out of 482013 with flag 68118771/29393011
3212.01/3224.87	c cleaning 241995 clauses out of 484014 with flag 68800410/29636011
3244.96/3257.62	c cleaning 243003 clauses out of 486019 with flag 69482343/29880011
3279.97/3292.93	c cleaning 244002 clauses out of 488016 with flag 70127156/30125011
3312.98/3326.40	c cleaning 244998 clauses out of 490016 with flag 70743053/30371013
3352.25/3366.09	c cleaning 245999 clauses out of 492017 with flag 71369488/30618012
3397.51/3411.07	c cleaning 246999 clauses out of 494017 with flag 71985031/30866011
3439.64/3453.36	c cleaning 248000 clauses out of 496018 with flag 72600859/31115011
3472.23/3485.92	c cleaning 249004 clauses out of 498018 with flag 73231568/31365011
3510.82/3524.64	c cleaning 249999 clauses out of 500014 with flag 73861701/31616011
3549.17/3562.99	c cleaning 251001 clauses out of 502017 with flag 74499221/31868013
3586.23/3599.51	c cleaning 252006 clauses out of 504014 with flag 75127276/32121011
3600.06/3613.31	c starts		: 4
3600.06/3613.31	c conflicts		: 32244448
3600.06/3613.31	c decisions		: 52652897
3600.06/3613.31	c propagations		: 1550341308
3600.06/3613.31	c inspects		: 13613999491
3600.06/3613.31	c shortcuts		: 0
3600.06/3613.31	c learnt literals	: 0
3600.06/3613.31	c learnt binary clauses	: 0
3600.06/3613.31	c learnt ternary clauses	: 0
3600.06/3613.31	c learnt constraints	: 32244448
3600.06/3613.31	c ignored constraints	: 0
3600.06/3613.31	c root simplifications	: 0
3600.06/3613.31	c removed literals (reason simplification)	: 38591684
3600.06/3613.31	c reason swapping (by a shorter reason)	: 0
3600.06/3613.31	c Calls to reduceDB	: 249
3600.06/3613.31	c Number of update (reduction) of LBD	: 3818841
3600.06/3613.31	c Imported unit clauses	: 0
3600.06/3613.31	c No decision after first conflict	: false
3600.06/3613.31	c number of reductions to clauses (during analyze)	: 0
3600.06/3613.31	c number of learned constraints concerned by reduction	: 0
3600.06/3613.31	c number of learning phase by resolution	: 0
3600.06/3613.31	c number of learning phase by cutting planes	: 0
3600.06/3613.31	c number of rounding to 1 operations	: 0
3600.06/3613.31	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3613.31	c number of reductions of the coefficients by power 2 	: 0
3600.06/3613.31	c number of right shift for reduction by power 2 	: 0
3600.06/3613.31	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3613.31	c number of ending skipping 	: 0
3600.06/3613.31	c number of internal skipping 	: 0
3600.06/3613.31	c number of derivation steps 	: 0
3600.06/3613.31	c number of skipped derivation steps 	: 0
3600.06/3613.31	c number of remaining unassigned 	: 0
3600.06/3613.31	c number of remaining assigned 	: 0
3600.06/3613.31	c number of falsified literals weakened from reason	: 0
3600.06/3613.31	c number of falsified literals weakened from conflict	: 0
3600.06/3613.31	c time for arithmetic operations	: 0
3600.06/3613.31	c minimum degree of deleted constraints	: null
3600.06/3613.32	c maximum degree of deleted constraints	: null
3600.06/3613.32	c number of deleted constraints	: 0
3600.06/3613.32	c speed (assignments/second)	: 429090.14389345405
3600.06/3613.32	c non guided choices	: 0
3600.06/3613.40	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 375445
3600.06/3613.40	s SATISFIABLE
3600.06/3613.40	c Found 2 solution(s)
3600.06/3613.40	v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 x17 -x18 x19 x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 x43 -x44 -x45 -x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 x81 -x82 x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 x194 x195 -x196 -x197 x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 -x233 -x234 -x235 x236 x237 -x238 x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 x362 x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 
3600.06/3613.40	c objective function=115
3600.06/3613.40	c Total wall clock time (in seconds): 3613.273

Verifier Data 

OK	115

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440265-1721772843/watcher-4440265-1721772843 -o /tmp/evaluation-result-4440265-1721772843/solver-4440265-1721772843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124431 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440265-1721772843 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440265-1721772843.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=129312, runsolver pid=129309

[startup+0.101443 s]*
/proc/loadavg: 4.37 4.48 4.46 7/342 129330
/proc/meminfo: memFree=93122372/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=18975048 memory=65296 CPUtime=0.13 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 7231 0 0 0 12 1 0 0 20 0 18 0 13808499 19430449152 16324 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4743762 16324 5708 1 0 549322 0
[pid=129312/tid=129314] ppid=129309 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 1077936192 5754 0 0 0 7 1 0 0 20 0 18 0 13808499 19430449152 16324 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13808502 19430449152 16324 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=18975048 memory=16104770973650387 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13808503 19430449152 16324 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65296 KiB

[startup+0.206787 s]*
/proc/loadavg: 4.37 4.48 4.46 8/342 129330
/proc/meminfo: memFree=93111816/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=18975048 memory=73548 CPUtime=0.31 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 7640 0 0 0 29 2 0 0 20 0 18 0 13808499 19430449152 18387 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4743762 18387 5846 1 0 549606 0
[pid=129312/tid=129314] ppid=129309 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) S 129309 129312 124419 0 -1 1077936192 5945 0 0 0 15 1 0 0 20 0 18 0 13808499 19430449152 18387 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=18975048 memory=970086 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13808502 19430449152 18387 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=18975048 memory=14135541352367841 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13808503 19430449152 18387 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73548 KiB

[startup+0.306408 s]*
/proc/loadavg: 4.37 4.48 4.46 7/343 129331
/proc/meminfo: memFree=93105808/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19041612 memory=81068 CPUtime=0.48 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 8142 0 0 0 46 2 0 0 20 0 19 0 13808499 19498610688 20267 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4760403 20267 5884 1 0 550112 0
[pid=129312/tid=129314] ppid=129309 vsize=19041612 memory=-8529086946027020988 CPUtime=0.24 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 6083 0 0 0 23 1 0 0 20 0 19 0 13808499 19498610688 20267 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13808502 19498610688 20267 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13808503 19498610688 20267 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13808522 19498610688 20267 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81068 KiB

[startup+0.700248 s]
/proc/loadavg: 4.37 4.48 4.46 7/343 129331
/proc/meminfo: memFree=93046376/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=172612 CPUtime=1.23 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 12485 0 0 0 119 4 0 0 20 0 20 0 13808499 19566772224 43153 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 43153 5916 1 0 552911 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=12256 CPUtime=0.58 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 6136 0 0 0 55 3 0 0 20 0 20 0 13808499 19566772224 43153 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=12256 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 43153 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 43153 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=25868 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 43153 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 172612 KiB

[startup+1.50442 s]
/proc/loadavg: 4.37 4.48 4.46 6/344 129332
/proc/meminfo: memFree=92869032/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=183228 CPUtime=2.81 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 19814 0 0 0 275 6 0 0 20 0 20 0 13808499 19566772224 45807 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 45807 5932 1 0 554377 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=12256 CPUtime=1.35 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 6563 0 0 0 131 4 0 0 20 0 20 0 13808499 19566772224 45807 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 45807 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 45807 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 45807 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183228 KiB

[startup+3.10641 s]
/proc/loadavg: 4.42 4.49 4.47 5/344 129332
/proc/meminfo: memFree=92046016/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=675344 CPUtime=5.1 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 21965 0 0 0 492 18 0 0 20 0 20 0 13808499 19566772224 168836 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 168836 5932 1 0 554379 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=0 CPUtime=2.92 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 7195 0 0 0 276 16 0 0 20 0 20 0 13808499 19566772224 168836 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 168836 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=248892 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 168836 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=12256 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 168836 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 675344 KiB

[startup+6.30029 s]
/proc/loadavg: 4.42 4.49 4.47 5/344 129332
/proc/meminfo: memFree=91160168/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=1329276 CPUtime=8.39 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 22559 0 0 0 801 38 0 0 20 0 20 0 13808499 19566772224 332319 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 332319 5932 1 0 554380 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=12256 CPUtime=6.08 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 7601 0 0 0 574 34 0 0 20 0 20 0 13808499 19566772224 332319 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 332319 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=5938669479673418073 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 332319 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=5464 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 332319 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1329276 KiB

[startup+12.7003 s]
/proc/loadavg: 4.39 4.48 4.46 5/344 129333
/proc/meminfo: memFree=90563088/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=1340508 CPUtime=14.93 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 23870 0 0 0 1445 48 0 0 20 0 20 0 13808499 19566772224 335127 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 335127 5932 1 0 554380 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=0 CPUtime=12.39 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 8319 0 0 0 1195 44 0 0 20 0 20 0 13808499 19566772224 335127 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=1340508 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 335127 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 335127 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=16076 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 335127 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 14.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1340508 KiB

[startup+25.5003 s]
/proc/loadavg: 4.30 4.45 4.45 5/344 129335
/proc/meminfo: memFree=89315836/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=1365016 CPUtime=28.03 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 32253 0 0 0 2736 67 0 0 20 0 20 0 13808499 19566772224 341254 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 341254 5932 1 0 554380 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=1340508 CPUtime=24.96 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 9831 0 0 0 2434 62 0 0 20 0 20 0 13808499 19566772224 341254 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=16076 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 341254 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=1352716 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 341254 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 341254 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 28.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1365016 KiB

[startup+51.106 s]
/proc/loadavg: 4.77 4.55 4.48 5/344 129408
/proc/meminfo: memFree=120842568/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=1802108 CPUtime=52.61 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 35173 0 0 0 5156 105 0 0 20 0 20 0 13808499 19566772224 450527 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 450527 5932 1 0 660907 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=1373224 CPUtime=48.93 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 11251 0 0 0 4794 99 0 0 20 0 20 0 13808499 19566772224 450527 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 115 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0

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

/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 110462 0 0 0 316839 2318 0 0 20 0 20 0 13808499 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3812 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=2889784 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=2889784 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 3305 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=16076 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 3269.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2889784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.32 4.29 5/337 131753
/proc/meminfo: memFree=46415480/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=2889784 CPUtime=3328.79 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 328715 0 0 0 330380 2499 0 0 20 0 20 0 13808499 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 722446 5979 1 0 735044 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=2889784 CPUtime=3249.68 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 111347 0 0 0 322616 2352 0 0 20 0 20 0 13808499 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3891 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=2889784 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=-8529086946027020988 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 3364 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=2889784 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 722446 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 3328.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2889784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.27 4.27 5/339 131767
/proc/meminfo: memFree=45473504/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3388.97 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 339934 0 0 0 336371 2526 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 722447 5979 1 0 735044 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3308.14 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 113421 0 0 0 328438 2376 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3954 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=2889784 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=2889784 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 3456 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=2889788 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 3388.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2889788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.30 4.28 5/339 131778
/proc/meminfo: memFree=44417560/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3448.68 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 342624 0 0 0 342316 2552 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 722447 5979 1 0 735044 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=2889784 CPUtime=3367.06 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 114784 0 0 0 334306 2400 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4006 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=2889788 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 3456 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=2889788 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 3448.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2889788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.27 4.27 5/337 131792
/proc/meminfo: memFree=43301808/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3508.52 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 344023 0 0 0 348266 2586 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 722447 5979 1 0 735044 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3425.75 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 115814 0 0 0 340143 2432 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4056 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=-8529086946027020988 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=-8529086946027020988 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 3522 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 3508.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2889788 KiB

[startup+3582.3 s]
/proc/loadavg: 3.70 4.12 4.22 4/313 131839
/proc/meminfo: memFree=62442168/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3569.15 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 356146 0 0 0 354294 2621 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 722447 5979 1 0 735044 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3484.77 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 118671 0 0 0 346013 2464 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4087 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 3626 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=1848 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 3569.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2889788 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 3.08 3.93 4.15 3/286 131878
/proc/meminfo: memFree=81327468/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3600.06 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 358566 0 0 0 357369 2637 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4777044 722447 5979 1 0 735044 0
[pid=129312/tid=129314] ppid=129309 vsize=19108176 memory=2889788 CPUtime=3515.28 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 119867 0 0 0 349050 2478 0 0 20 0 20 0 13808499 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4104 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19108176 memory=2889788 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808502 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19108176 memory=2889788 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 3738 0 0 0 0 0 0 0 20 0 20 0 13808503 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129331] ppid=129309 vsize=19108176 memory=2889788 CPUtime=0 cores=1,3
/proc/129312/task/129331/stat : 129331 (Timer-0) S 129309 129312 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808522 19566772224 722447 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2889788 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.9 s, system=26.4106 s

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

[startup+3613.41 s]
/proc/loadavg: 3.08 3.93 4.15 3/286 131878
/proc/meminfo: memFree=81327468/131524600 swapFree=131064524/131071996
[pid=129312] ppid=129309 vsize=19307868 memory=2890436 CPUtime=3600.27 cores=1,3
/proc/129312/stat : 129312 (java) S 129309 129312 124419 0 -1 1077936128 361777 0 0 0 357390 2637 0 0 20 0 21 0 13808499 19771256832 722609 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
/proc/129312/statm: 4826967 722609 5978 1 0 735981 0
[pid=129312/tid=129314] ppid=129309 vsize=19307868 memory=4952 CPUtime=3515.38 cores=1,3
/proc/129312/task/129314/stat : 129314 (java) R 129309 129312 124419 0 -1 4194368 120049 0 0 0 349060 2478 0 0 20 0 21 0 13808499 19771256832 722609 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4104 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129323] ppid=129309 vsize=19307868 memory=2368792 CPUtime=0 cores=1,3
/proc/129312/task/129323/stat : 129323 (Finalizer) S 129309 129312 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13808502 19771256832 722609 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
[pid=129312/tid=129330] ppid=129309 vsize=19307868 memory=-9032639082292617916 CPUtime=0 cores=1,3
/proc/129312/task/129330/stat : 129330 (Common-Cleaner) S 129309 129312 124419 0 -1 1077936192 3738 0 0 0 0 0 0 0 20 0 21 0 13808503 19771256832 722609 134679101440 94832756932608 94832756936304 140732632019776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832756944120 94832756944912 94832757026816 140732632028075 140732632028257 140732632028257 140732632035272 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2890436 KiB

[startup+3613.5 s]*
/proc/loadavg: 3.24 3.95 4.16 2/268 131881
/proc/meminfo: memFree=84195964/131524600 swapFree=131064524/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): 3613.54
CPU time (s): 3600.31
CPU user time (s): 3573.9
CPU system time (s): 26.4106
CPU usage (%): 99.6341
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3109592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.9
system time used= 26.4106
maximum resident set size= 3109592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 58944392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142291
involuntary context switches= 18919


# summary of solver processes directly reported to runsolver:
#   pid: 129312
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3573.9
#   total CPU system time (s): 26.4106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.31249 second user time and 18.1406 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-24 00:14:03
IDJOB=4440265
IDBENCH=147663
IDSOLVER=3079
FILE ID=nodeC034/4440265-1721772843
RUNJOBID= nodeC034-1721765707-124431
SLURM_JOB_ID= 7770676
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.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-4440265-1721772843/watcher-4440265-1721772843 -o /tmp/evaluation-result-4440265-1721772843/solver-4440265-1721772843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124431 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440265-1721772843 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440265-1721772843.opb

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

MD5SUM BENCH= 41af2b26463fe500a2b560ae49f59ea6
RANDOM SEED=1405873916

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        93169952 kB
MemAvailable:   123554084 kB
Buffers:          179612 kB
Cached:         30966280 kB
SwapCached:          104 kB
Active:          1143292 kB
Inactive:       36491352 kB
Active(anon):       4056 kB
Inactive(anon):  6521924 kB
Active(file):    1139236 kB
Inactive(file): 29969428 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064524 kB
Dirty:            329524 kB
Writeback:             8 kB
AnonPages:       6475920 kB
Mapped:           118968 kB
Shmem:             37116 kB
KReclaimable:     230232 kB
Slab:             346024 kB
SReclaimable:     230232 kB
SUnreclaim:       115792 kB
KernelStack:        5232 kB
PageTables:        22956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9594096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4407296 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:      330452 kB
DirectMap2M:    41385984 kB
DirectMap1G:    94371840 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC034 at 2024-07-24 01:14:17