Trace number 4459871

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 Default 2024-07-07SAT (TO)27 3600.27 3608.11

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb
MD5SUMdbebfc2916fd48f48fd9f4f0821ac62f
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1248.46
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2524
Sum of products size (including duplicates)5048
Number of different products2524
Sum of products size5048

Quality of the solution as a function of time


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

Solver Data 

0.03/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.03/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.13	c See www.sat4j.org for details.
0.03/0.14	c version CUSTOM.v20240707
0.03/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.03/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.03/0.15	c java.vm.version	22.0.1+8-16
0.03/0.15	c java.vm.vendor	Oracle Corporation
0.03/0.15	c sun.arch.data.model	64
0.03/0.15	c java.version		22.0.1
0.03/0.15	c os.name		Linux
0.03/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.03/0.15	c os.arch		amd64
0.03/0.15	c Free memory 		2106806208
0.03/0.15	c Max memory 		16282288128
0.03/0.15	c Total memory 		2113929216
0.03/0.15	c Number of processors 	2
0.03/0.19	--- Begin Solver configuration ---
0.03/0.19	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.03/0.19	Learn all clauses as in MiniSAT
0.03/0.19	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.19	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.19	No reason simplification
0.03/0.19	Glucose 2.1 dynamic restart strategy
0.03/0.19	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.03/0.19	timeout=2147483s
0.03/0.19	DB Simplification allowed=false
0.03/0.19	Listener: none
0.03/0.19	--- End Solver configuration ---
0.03/0.19	c Pseudo Boolean Optimization by upper bound
0.03/0.19	c --- Begin Solver configuration ---
0.03/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.03/0.19	c Learn all clauses as in MiniSAT
0.03/0.19	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.19	c No reason simplification
0.03/0.19	c Glucose 2.1 dynamic restart strategy
0.03/0.19	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.03/0.19	c timeout=2147483s
0.03/0.19	c DB Simplification allowed=false
0.03/0.19	c Listener: none
0.03/0.19	c --- End Solver configuration ---
0.03/0.19	c solving HOME/instance-4459871-1721943061.opb
0.03/0.19	c reading problem ... 
0.03/0.19	c  objective function found
0.19/0.27	c ... done. Wall clock time 0.071s.
0.19/0.27	c declared #vars     200
0.19/0.27	c internal #vars     2724
0.19/0.27	c #constraints  5248
0.19/0.27	c constraints type 
0.19/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
0.19/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2724
0.19/0.27	c 5248 constraints processed.
0.19/0.28	c objective function length is 200 literals
0.19/0.29	c SATISFIABLE
0.19/0.29	c OPTIMIZING...
0.19/0.29	c Got one! Elapsed wall clock time (in seconds):0.096
0.19/0.29	o 30
0.38/0.37	c Got one! Elapsed wall clock time (in seconds):0.18
0.38/0.37	o 29
2.27/1.68	c cleaning 2712 clauses out of 5426 with flag 13530/5426
4.05/3.33	c cleaning 4359 clauses out of 8719 with flag 29936/11431
5.86/5.17	c cleaning 5669 clauses out of 11355 with flag 48379/18426
7.93/7.25	c cleaning 6841 clauses out of 13688 with flag 70594/26428
10.37/9.61	c cleaning 7913 clauses out of 15845 with flag 95437/35426
12.96/12.24	c cleaning 8966 clauses out of 17932 with flag 123811/45426
15.95/15.27	c cleaning 9981 clauses out of 19966 with flag 155572/56426
19.15/18.47	c cleaning 10993 clauses out of 21986 with flag 190137/68427
22.65/22.00	c cleaning 11986 clauses out of 23992 with flag 225991/81426
26.54/25.81	c cleaning 13001 clauses out of 26008 with flag 264817/95428
30.63/29.95	c cleaning 13999 clauses out of 28005 with flag 304951/110426
34.92/34.24	c cleaning 14993 clauses out of 30006 with flag 347155/126426
39.64/38.95	c cleaning 15996 clauses out of 32019 with flag 392697/143432
44.46/43.75	c cleaning 17012 clauses out of 34023 with flag 441145/161432
49.35/48.64	c cleaning 17995 clauses out of 36005 with flag 490408/180426
54.55/53.82	c cleaning 18996 clauses out of 38010 with flag 546340/200426
59.74/59.04	c cleaning 19995 clauses out of 40014 with flag 605472/221426
65.02/64.33	c cleaning 21011 clauses out of 42022 with flag 666875/243429
70.61/69.99	c cleaning 21983 clauses out of 44008 with flag 735448/266426
76.71/76.01	c cleaning 23010 clauses out of 46029 with flag 805139/290430
83.19/82.51	c cleaning 24000 clauses out of 48016 with flag 871743/315427
89.67/89.01	c cleaning 25004 clauses out of 50015 with flag 939800/341426
96.35/95.72	c cleaning 25997 clauses out of 52011 with flag 1016302/368426
103.23/102.69	c cleaning 26991 clauses out of 54015 with flag 1092870/396427
110.81/110.27	c cleaning 28008 clauses out of 56023 with flag 1171919/425426
118.49/117.94	c cleaning 28990 clauses out of 58015 with flag 1249635/455426
126.57/126.04	c cleaning 29997 clauses out of 60025 with flag 1334660/486426
134.75/134.24	c cleaning 31006 clauses out of 62036 with flag 1420490/518434
143.42/142.91	c cleaning 32005 clauses out of 64022 with flag 1508156/551426
152.10/151.62	c cleaning 33000 clauses out of 66017 with flag 1599190/585426
160.90/160.48	c cleaning 34006 clauses out of 68017 with flag 1690834/620426
170.08/169.63	c cleaning 34999 clauses out of 70011 with flag 1792248/656426
179.35/178.99	c cleaning 35990 clauses out of 72016 with flag 1889069/693430
188.83/188.45	c cleaning 37003 clauses out of 74022 with flag 1989361/731426
198.50/198.14	c cleaning 38001 clauses out of 76019 with flag 2090602/770426
208.87/208.51	c cleaning 39007 clauses out of 78019 with flag 2201453/810427
219.46/219.18	c cleaning 39997 clauses out of 80011 with flag 2316638/851426
231.02/230.67	c cleaning 40997 clauses out of 82016 with flag 2434221/893428
242.79/242.48	c cleaning 41997 clauses out of 84017 with flag 2550755/936426
255.29/254.94	c cleaning 43000 clauses out of 86020 with flag 2673970/980426
267.97/267.63	c cleaning 44005 clauses out of 88021 with flag 2799936/1025427
280.93/280.67	c cleaning 45008 clauses out of 90016 with flag 2923741/1071427
294.00/293.74	c cleaning 45992 clauses out of 92009 with flag 3050914/1118428
306.96/306.77	c cleaning 47005 clauses out of 94015 with flag 3181022/1166426
320.35/320.10	c cleaning 47993 clauses out of 96010 with flag 3314130/1215426
334.31/334.19	c cleaning 49004 clauses out of 98017 with flag 3448514/1265426
348.18/348.07	c cleaning 49995 clauses out of 100015 with flag 3584806/1316428
362.24/362.15	c cleaning 51001 clauses out of 102018 with flag 3723214/1368426
376.52/376.45	c cleaning 52001 clauses out of 104017 with flag 3864876/1421426
390.48/390.44	c cleaning 53005 clauses out of 106020 with flag 4008001/1475430
405.04/405.04	c cleaning 53992 clauses out of 108011 with flag 4155679/1530426
419.42/419.46	c cleaning 55004 clauses out of 110019 with flag 4302022/1586426
434.08/434.14	c cleaning 56003 clauses out of 112016 with flag 4457269/1643427
450.43/450.51	c cleaning 56995 clauses out of 114012 with flag 4617319/1701426
466.29/466.48	c cleaning 58002 clauses out of 116017 with flag 4783776/1760426
482.56/482.76	c cleaning 59001 clauses out of 118015 with flag 4957386/1820426
499.92/500.12	c cleaning 60004 clauses out of 120021 with flag 5130522/1881433
510.79/511.04	c Got one! Elapsed wall clock time (in seconds):510.852
510.79/511.04	o 28
512.46/512.61	c cleaning 52074 clauses out of 104173 with flag 13877/1925589
514.15/514.33	c cleaning 29041 clauses out of 58100 with flag 29760/1931590
514.45/514.66	c Got one! Elapsed wall clock time (in seconds):514.467
514.45/514.66	o 27
515.66/515.80	c cleaning 17152 clauses out of 34314 with flag 11246/1936845
517.26/517.43	c cleaning 11578 clauses out of 23162 with flag 27133/1942845
519.25/519.32	c cleaning 9275 clauses out of 18581 with flag 45887/1949842
521.35/521.44	c cleaning 8637 clauses out of 17306 with flag 67143/1957842
523.64/523.77	c cleaning 8835 clauses out of 17672 with flag 90657/1966845
526.23/526.32	c cleaning 9408 clauses out of 18834 with flag 116554/1976842
529.06/529.12	c cleaning 10214 clauses out of 20427 with flag 145496/1987843
532.15/532.27	c cleaning 11103 clauses out of 22212 with flag 178419/1999842
535.64/535.76	c cleaning 12036 clauses out of 24109 with flag 213439/2012842
539.32/539.40	c cleaning 13027 clauses out of 26073 with flag 251258/2026842
543.11/543.25	c cleaning 14021 clauses out of 28047 with flag 291306/2041843
547.20/547.33	c cleaning 14996 clauses out of 30025 with flag 333518/2057842
551.49/551.60	c cleaning 16000 clauses out of 32029 with flag 378519/2074842
556.18/556.34	c cleaning 17008 clauses out of 34029 with flag 429435/2092842
560.87/561.06	c cleaning 17997 clauses out of 36023 with flag 482357/2111844
565.96/566.15	c cleaning 18999 clauses out of 38024 with flag 537843/2131842
571.34/571.58	c cleaning 19999 clauses out of 40025 with flag 596149/2152842
576.84/577.05	c cleaning 21004 clauses out of 42027 with flag 655878/2174843
582.71/582.92	c cleaning 22003 clauses out of 44022 with flag 719010/2197842
588.90/589.15	c cleaning 23003 clauses out of 46022 with flag 784056/2221845
595.08/595.32	c cleaning 24009 clauses out of 48018 with flag 850892/2246844
601.57/601.85	c cleaning 24993 clauses out of 50008 with flag 923730/2272843
608.55/608.84	c cleaning 26000 clauses out of 52014 with flag 996468/2299842
615.63/615.92	c cleaning 27005 clauses out of 54016 with flag 1072419/2327844
623.01/623.31	c cleaning 27998 clauses out of 56012 with flag 1151070/2356845
630.79/631.13	c cleaning 28996 clauses out of 58012 with flag 1231726/2386843
638.49/638.87	c cleaning 29999 clauses out of 60015 with flag 1312284/2417842
646.68/647.07	c cleaning 30989 clauses out of 62016 with flag 1401893/2449842
654.95/655.38	c cleaning 32010 clauses out of 64027 with flag 1491419/2482842
663.63/664.03	c cleaning 33003 clauses out of 66017 with flag 1583849/2516842
672.40/672.89	c cleaning 34000 clauses out of 68015 with flag 1679090/2551843
681.58/682.03	c cleaning 35009 clauses out of 70018 with flag 1778320/2587846
691.25/691.76	c cleaning 35990 clauses out of 72005 with flag 1878266/2624842
701.13/701.66	c cleaning 37003 clauses out of 74015 with flag 1981466/2662842
711.40/711.91	c cleaning 38005 clauses out of 76017 with flag 2086791/2701847
721.17/721.78	c cleaning 39000 clauses out of 78007 with flag 2194123/2741842
731.84/732.44	c cleaning 39997 clauses out of 80007 with flag 2307305/2782842
742.32/742.99	c cleaning 40994 clauses out of 82010 with flag 2419066/2824842
753.59/754.21	c cleaning 42002 clauses out of 84016 with flag 2535856/2867842
765.16/765.87	c cleaning 42999 clauses out of 86014 with flag 2656420/2911842
776.63/777.34	c cleaning 43998 clauses out of 88015 with flag 2780509/2956842
788.60/789.31	c cleaning 45006 clauses out of 90018 with flag 2906380/3002843
800.89/801.64	c cleaning 46001 clauses out of 92013 with flag 3043324/3049844
813.86/814.65	c cleaning 46997 clauses out of 94010 with flag 3178698/3097842
826.93/827.72	c cleaning 48003 clauses out of 96019 with flag 3311275/3146848
840.19/841.02	c cleaning 48987 clauses out of 98010 with flag 3449298/3196842
853.76/854.67	c cleaning 49997 clauses out of 100023 with flag 3585957/3247842
867.92/868.87	c cleaning 51003 clauses out of 102026 with flag 3729738/3299842
882.08/883.08	c cleaning 51996 clauses out of 104025 with flag 3867920/3352844
896.54/897.57	c cleaning 52994 clauses out of 106029 with flag 4017121/3406844
911.41/912.46	c cleaning 54010 clauses out of 108035 with flag 4168303/3461844
926.36/927.41	c cleaning 54991 clauses out of 110023 with flag 4317320/3517842
941.42/942.50	c cleaning 56000 clauses out of 112033 with flag 4474637/3574843
956.78/958.00	c cleaning 57014 clauses out of 114032 with flag 4634235/3632842
973.44/974.62	c cleaning 58005 clauses out of 116019 with flag 4803489/3691843
989.22/990.47	c cleaning 58992 clauses out of 118013 with flag 4977781/3751842
1005.39/1006.74	c cleaning 60003 clauses out of 120021 with flag 5147097/3812842
1022.25/1023.72	c cleaning 61003 clauses out of 122018 with flag 5331006/3874842
1039.13/1040.77	c cleaning 62009 clauses out of 124017 with flag 5514070/3937844
1056.28/1058.06	c cleaning 62993 clauses out of 126006 with flag 5689517/4001842
1073.53/1075.40	c cleaning 64004 clauses out of 128016 with flag 5888775/4066845
1090.33/1092.35	c cleaning 64998 clauses out of 130009 with flag 6076248/4132842
1107.33/1109.38	c cleaning 65986 clauses out of 132011 with flag 6268062/4199842
1124.68/1126.73	c cleaning 67016 clauses out of 134031 with flag 6462789/4267848
1143.13/1145.23	c cleaning 67997 clauses out of 136009 with flag 6656895/4336842
1161.68/1163.80	c cleaning 69000 clauses out of 138012 with flag 6853534/4406842
1180.83/1183.05	c cleaning 70001 clauses out of 140013 with flag 7048639/4477843
1200.19/1202.44	c cleaning 71000 clauses out of 142013 with flag 7242314/4549844
1219.93/1222.22	c cleaning 71988 clauses out of 144012 with flag 7443945/4622843
1240.13/1242.42	c cleaning 72991 clauses out of 146025 with flag 7649227/4696844
1259.78/1262.11	c cleaning 74007 clauses out of 148032 with flag 7862705/4771842
1280.32/1282.78	c cleaning 75007 clauses out of 150025 with flag 8072688/4847842
1300.17/1302.65	c cleaning 75999 clauses out of 152018 with flag 8286598/4924842
1320.72/1323.24	c cleaning 77002 clauses out of 154019 with flag 8507714/5002842
1341.36/1343.97	c cleaning 77995 clauses out of 156017 with flag 8725296/5081842
1363.10/1365.75	c cleaning 79004 clauses out of 158022 with flag 8954474/5161842
1384.94/1387.67	c cleaning 79997 clauses out of 160018 with flag 9180951/5242842
1407.52/1410.25	c cleaning 80987 clauses out of 162021 with flag 9407491/5324842
1429.86/1432.65	c cleaning 82016 clauses out of 164038 with flag 9636835/5407846
1452.60/1455.41	c cleaning 83009 clauses out of 166018 with flag 9865993/5491842
1475.44/1478.34	c cleaning 83997 clauses out of 168009 with flag 10099964/5576842
1498.09/1501.09	c cleaning 84999 clauses out of 170012 with flag 10335126/5662842
1521.03/1524.08	c cleaning 86003 clauses out of 172013 with flag 10574291/5749842
1543.96/1547.10	c cleaning 87000 clauses out of 174012 with flag 10818263/5837844
1566.69/1569.84	c cleaning 88004 clauses out of 176012 with flag 11057705/5926844
1591.80/1594.91	c cleaning 88994 clauses out of 178006 with flag 11309968/6016842
1616.44/1619.63	c cleaning 89997 clauses out of 180014 with flag 11566520/6107844
1641.17/1644.47	c cleaning 90994 clauses out of 182015 with flag 11820641/6199842
1666.00/1669.35	c cleaning 91983 clauses out of 184021 with flag 12086409/6292842
1691.84/1695.29	c cleaning 93010 clauses out of 186038 with flag 12352228/6386842
1718.28/1721.77	c cleaning 94011 clauses out of 188028 with flag 12615821/6481842
1744.80/1748.31	c cleaning 94995 clauses out of 190017 with flag 12883733/6577842
1772.11/1775.60	c cleaning 96007 clauses out of 192028 with flag 13152634/6674848
1799.14/1802.75	c cleaning 97003 clauses out of 194017 with flag 13425702/6772844
1826.97/1830.68	c cleaning 98000 clauses out of 196012 with flag 13705433/6871842
1854.60/1858.31	c cleaning 99000 clauses out of 198014 with flag 13983437/6971844
1882.33/1886.17	c cleaning 100002 clauses out of 200013 with flag 14266563/7072843
1910.05/1913.98	c cleaning 100992 clauses out of 202011 with flag 14549477/7174843
1937.88/1941.89	c cleaning 102008 clauses out of 204019 with flag 14832982/7277843
1966.50/1970.43	c cleaning 102996 clauses out of 206013 with flag 15125624/7381845
1995.22/1999.24	c cleaning 103995 clauses out of 208014 with flag 15416778/7486842
2023.85/2027.99	c cleaning 104998 clauses out of 210020 with flag 15713929/7592843
2051.88/2056.06	c cleaning 106000 clauses out of 212022 with flag 16012146/7699843
2079.30/2083.58	c cleaning 107011 clauses out of 214022 with flag 16315070/7807843
2107.23/2111.51	c cleaning 108004 clauses out of 216010 with flag 16610927/7916842
2138.35/2142.79	c cleaning 108991 clauses out of 218006 with flag 16919541/8026842
2169.22/2173.25	c cleaning 110005 clauses out of 220015 with flag 17232851/8137842
2201.44/2205.56	c cleaning 110986 clauses out of 222010 with flag 17547393/8249842
2233.05/2237.27	c cleaning 111996 clauses out of 224024 with flag 17860158/8362842
2265.77/2270.06	c cleaning 113008 clauses out of 226030 with flag 18176019/8476844
2298.08/2302.48	c cleaning 113999 clauses out of 228020 with flag 18489940/8591842
2330.70/2335.19	c cleaning 114995 clauses out of 230021 with flag 18809569/8707842
2363.51/2368.02	c cleaning 116013 clauses out of 232030 with flag 19137682/8824846
2397.26/2401.81	c cleaning 117004 clauses out of 234014 with flag 19467615/8942843
2430.48/2435.11	c cleaning 117992 clauses out of 236009 with flag 19801619/9061842
2464.09/2468.88	c cleaning 119000 clauses out of 238017 with flag 20137069/9181842
2497.90/2502.72	c cleaning 120000 clauses out of 240017 with flag 20470052/9302842
2532.70/2537.67	c cleaning 121003 clauses out of 242018 with flag 20809497/9424843
2567.02/2572.08	c cleaning 121998 clauses out of 244014 with flag 21155808/9547842
2601.92/2607.07	c cleaning 122995 clauses out of 246016 with flag 21501801/9671842
2637.78/2643.05	c cleaning 123999 clauses out of 248022 with flag 21852787/9796843
2674.68/2680.20	c cleaning 125001 clauses out of 250023 with flag 22205021/9922843
2710.84/2716.66	c cleaning 126001 clauses out of 252021 with flag 22566583/10049842
2747.54/2753.48	c cleaning 127007 clauses out of 254021 with flag 22920694/10177843
2784.94/2790.91	c cleaning 127990 clauses out of 256014 with flag 23277513/10306843
2821.84/2827.95	c cleaning 128991 clauses out of 258027 with flag 23633909/10436846
2859.36/2865.43	c cleaning 130001 clauses out of 260032 with flag 23994073/10567842
2896.57/2902.74	c cleaning 131009 clauses out of 262031 with flag 24368354/10699842
2933.36/2939.61	c cleaning 131998 clauses out of 264022 with flag 24747889/10832842
2971.66/2978.04	c cleaning 132997 clauses out of 266024 with flag 25120693/10966842
3009.16/3015.64	c cleaning 134002 clauses out of 268027 with flag 25501175/11101842
3048.36/3054.94	c cleaning 135003 clauses out of 270025 with flag 25883051/11237842
3087.72/3094.31	c cleaning 136000 clauses out of 272023 with flag 26259451/11374843
3127.22/3133.93	c cleaning 136989 clauses out of 274023 with flag 26638275/11512843
3168.10/3174.99	c cleaning 138009 clauses out of 276033 with flag 27036269/11651842
3208.20/3215.18	c cleaning 139002 clauses out of 278024 with flag 27430369/11791842
3249.57/3256.60	c cleaning 139999 clauses out of 280022 with flag 27833620/11932842
3290.04/3297.25	c cleaning 141007 clauses out of 282024 with flag 28236835/12074843
3332.29/3339.57	c cleaning 141998 clauses out of 284017 with flag 28645618/12217843
3374.48/3381.80	c cleaning 142997 clauses out of 286020 with flag 29044843/12361844
3416.36/3423.83	c cleaning 144002 clauses out of 288021 with flag 29449936/12506842
3457.55/3465.11	c cleaning 145008 clauses out of 290022 with flag 29858199/12652845
3498.24/3505.99	c cleaning 145980 clauses out of 292011 with flag 30275460/12799842
3538.03/3545.86	c cleaning 147014 clauses out of 294034 with flag 30684083/12947845
3577.92/3585.83	c cleaning 148003 clauses out of 296018 with flag 31091192/13096843
3600.07/3608.01	c starts		: 378
3600.07/3608.02	c conflicts		: 13185899
3600.07/3608.02	c decisions		: 34461341
3600.07/3608.02	c propagations		: 7528285807
3600.07/3608.02	c inspects		: 42542959551
3600.07/3608.02	c shortcuts		: 0
3600.07/3608.02	c learnt literals	: 0
3600.07/3608.02	c learnt binary clauses	: 0
3600.07/3608.02	c learnt ternary clauses	: 1
3600.07/3608.02	c learnt constraints	: 13185899
3600.07/3608.02	c ignored constraints	: 0
3600.07/3608.02	c root simplifications	: 0
3600.07/3608.02	c removed literals (reason simplification)	: 0
3600.07/3608.02	c reason swapping (by a shorter reason)	: 0
3600.07/3608.02	c Calls to reduceDB	: 204
3600.07/3608.02	c Number of update (reduction) of LBD	: 3603756
3600.07/3608.02	c Imported unit clauses	: 0
3600.07/3608.02	c No decision after first conflict	: false
3600.07/3608.02	c number of reductions to clauses (during analyze)	: 0
3600.07/3608.02	c number of learned constraints concerned by reduction	: 0
3600.07/3608.02	c number of learning phase by resolution	: 0
3600.07/3608.02	c number of learning phase by cutting planes	: 0
3600.07/3608.02	c number of rounding to 1 operations	: 0
3600.07/3608.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3608.02	c number of reductions of the coefficients by power 2 	: 0
3600.07/3608.02	c number of right shift for reduction by power 2 	: 0
3600.07/3608.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3608.02	c number of ending skipping 	: 0
3600.07/3608.02	c number of internal skipping 	: 0
3600.07/3608.02	c number of derivation steps 	: 0
3600.07/3608.02	c number of skipped derivation steps 	: 0
3600.07/3608.02	c number of remaining unassigned 	: 0
3600.07/3608.02	c number of remaining assigned 	: 0
3600.07/3608.02	c number of falsified literals weakened from reason	: 0
3600.07/3608.02	c number of falsified literals weakened from conflict	: 0
3600.07/3608.02	c time for arithmetic operations	: 0
3600.07/3608.02	c minimum degree of deleted constraints	: null
3600.07/3608.02	c maximum degree of deleted constraints	: null
3600.07/3608.02	c number of deleted constraints	: 0
3600.07/3608.02	c speed (assignments/second)	: 2086701.1961765592
3600.07/3608.02	c non guided choices	: 0
3600.07/3608.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 237071
3600.07/3608.09	s SATISFIABLE
3600.07/3608.09	c Found 4 solution(s)
3600.07/3608.09	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 
3600.07/3608.09	c objective function=27
3600.07/3608.09	c Total wall clock time (in seconds): 3607.899

Verifier Data 

OK	27

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=264719, runsolver pid=264704

[startup+0.100059 s]*
/proc/loadavg: 2.93 3.08 3.06 6/318 264764
/proc/meminfo: memFree=126151044/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=18975008 memory=52556 CPUtime=0.03 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 6102 0 0 0 2 1 0 0 20 0 18 0 30834743 19430408192 13139 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4743752 13139 5149 1 0 548411 0
[pid=264719/tid=264724] ppid=264704 vsize=18975008 memory=4026531971 CPUtime=0.02 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) D 264704 264719 262544 0 -1 1078198336 5252 0 0 0 1 1 0 0 20 0 18 0 30834744 19430408192 13139 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=18975008 memory=1499814 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30834750 19430408192 13139 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=18975008 memory=14135537057400351 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30834751 19430408192 13139 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18975008 KiB
Current children cumulated memory: 52556 KiB

[startup+0.20572 s]*
/proc/loadavg: 2.93 3.08 3.06 9/310 264778
/proc/meminfo: memFree=126141596/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=18975048 memory=66304 CPUtime=0.19 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 7478 0 0 0 17 2 0 0 20 0 18 0 30834743 19430449152 16576 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4743762 16576 5715 1 0 549510 0
[pid=264719/tid=264724] ppid=264704 vsize=18975048 memory=3461362060219711607 CPUtime=0.11 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 5914 0 0 0 10 1 0 0 20 0 18 0 30834744 19430449152 16576 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=18975048 memory=224262807918 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30834750 19430449152 16576 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=18975048 memory=1501071 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30834751 19430449152 16576 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66304 KiB

[startup+0.306709 s]*
/proc/loadavg: 2.93 3.08 3.06 12/310 264789
/proc/meminfo: memFree=126105952/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19041612 memory=76756 CPUtime=0.38 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 8075 0 0 0 36 2 0 0 20 0 19 0 30834743 19498610688 19189 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4760403 19189 5881 1 0 550075 0
[pid=264719/tid=264724] ppid=264704 vsize=19041612 memory=-6876588628787748224 CPUtime=0.21 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 6056 0 0 0 19 2 0 0 20 0 19 0 30834744 19498610688 19189 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19041612 memory=-8672072957068812988 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834750 19498610688 19189 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834751 19498610688 19189 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834771 19498610688 19189 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76756 KiB

[startup+0.705706 s]
/proc/loadavg: 2.93 3.08 3.06 8/310 264789
/proc/meminfo: memFree=126078952/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19041612 memory=88792 CPUtime=1.15 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 12826 0 0 0 112 3 0 0 20 0 19 0 30834743 19498610688 22198 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4760403 22198 5881 1 0 552970 0
[pid=264719/tid=264724] ppid=264704 vsize=19041612 memory=16084 CPUtime=0.57 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 6083 0 0 0 55 2 0 0 20 0 19 0 30834744 19498610688 22198 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19041612 memory=12316 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834750 19498610688 22198 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19041612 memory=2036 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834751 19498610688 22198 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834771 19498610688 22198 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88792 KiB

[startup+1.50072 s]
/proc/loadavg: 2.93 3.08 3.06 7/332 264844
/proc/meminfo: memFree=126011456/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19041612 memory=93500 CPUtime=2.17 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 16564 0 0 0 214 3 0 0 20 0 19 0 30834743 19498610688 23375 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4760403 23375 5881 1 0 552973 0
[pid=264719/tid=264724] ppid=264704 vsize=19041612 memory=12316 CPUtime=1.36 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 6295 0 0 0 134 2 0 0 20 0 19 0 30834744 19498610688 23375 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834750 19498610688 23375 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834751 19498610688 23375 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19041612 memory=228489167166 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834771 19498610688 23375 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93500 KiB

[startup+3.1057 s]
/proc/loadavg: 2.93 3.08 3.06 6/333 264845
/proc/meminfo: memFree=125947320/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19041612 memory=95788 CPUtime=3.84 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 18042 0 0 0 381 3 0 0 20 0 19 0 30834743 19498610688 23947 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4760403 23947 5881 1 0 553015 0
[pid=264719/tid=264724] ppid=264704 vsize=19041612 memory=0 CPUtime=2.95 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 7276 0 0 0 293 2 0 0 20 0 19 0 30834744 19498610688 23947 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19041612 memory=88792 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834750 19498610688 23947 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19041612 memory=12316 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834751 19498610688 23947 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834771 19498610688 23947 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95788 KiB

[startup+6.3007 s]
/proc/loadavg: 3.01 3.09 3.07 5/333 264845
/proc/meminfo: memFree=125934180/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19041612 memory=97320 CPUtime=7.04 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 19868 0 0 0 700 4 0 0 20 0 19 0 30834743 19498610688 24330 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4760403 24330 5881 1 0 553032 0
[pid=264719/tid=264724] ppid=264704 vsize=19041612 memory=0 CPUtime=6.12 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 7948 0 0 0 610 2 0 0 20 0 19 0 30834744 19498610688 24330 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19041612 memory=88792 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834750 19498610688 24330 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19041612 memory=12316 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834751 19498610688 24330 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19041612 memory=93500 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834771 19498610688 24330 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 7.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97320 KiB

[startup+12.7002 s]
/proc/loadavg: 3.09 3.11 3.07 5/333 264847
/proc/meminfo: memFree=125895936/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19041612 memory=107600 CPUtime=13.46 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 23669 0 0 0 1342 4 0 0 20 0 19 0 30834743 19498610688 26900 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4760403 26900 5881 1 0 553032 0
[pid=264719/tid=264724] ppid=264704 vsize=19041612 memory=12316 CPUtime=12.49 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 9139 0 0 0 1247 2 0 0 20 0 19 0 30834744 19498610688 26900 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19041612 memory=93500 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834750 19498610688 26900 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834751 19498610688 26900 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19041612 memory=105552 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834771 19498610688 26900 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 13.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107600 KiB

[startup+25.5002 s]
/proc/loadavg: 3.36 3.17 3.09 5/333 264849
/proc/meminfo: memFree=125816704/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19041612 memory=128140 CPUtime=26.25 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 26103 0 0 0 2620 5 0 0 20 0 19 0 30834743 19498610688 32035 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4760403 32035 5881 1 0 553032 0
[pid=264719/tid=264724] ppid=264704 vsize=19041612 memory=12316 CPUtime=25.26 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 10272 0 0 0 2523 3 0 0 20 0 19 0 30834744 19498610688 32035 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19041612 memory=93500 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834750 19498610688 32035 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19041612 memory=97320 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834751 19498610688 32035 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19041612 memory=119904 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834771 19498610688 32035 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 26.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128140 KiB

[startup+51.1048 s]
/proc/loadavg: 3.70 3.27 3.13 5/335 264856
/proc/meminfo: memFree=125674388/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=182028 CPUtime=51.86 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 31658 0 0 0 5179 7 0 0 20 0 20 0 30834743 19566772224 45507 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 45507 5944 1 0 553321 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=2272 CPUtime=50.77 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 11729 0 0 0 5074 3 0 0 20 0 20 0 30834744 19566772224 45507 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0

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

/proc/meminfo: memFree=118940708/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=1658284 CPUtime=3215.37 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 116655 0 0 0 321432 105 0 0 20 0 20 0 30834743 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 414571 5959 1 0 559019 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=1658236 CPUtime=3209.88 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 53019 0 0 0 320971 17 0 0 20 0 20 0 30834744 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19108176 memory=1658196 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834750 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 3519 0 0 0 0 0 0 0 20 0 20 0 30834751 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19108176 memory=1658284 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834771 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3215.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1658284 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/334 266950
/proc/meminfo: memFree=118905256/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=1658284 CPUtime=3275.19 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 117286 0 0 0 327413 106 0 0 20 0 20 0 30834743 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 414571 5959 1 0 559019 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=1658284 CPUtime=3269.69 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 53527 0 0 0 326951 18 0 0 20 0 20 0 30834744 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834750 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19108176 memory=1658284 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 3601 0 0 0 0 0 0 0 20 0 20 0 30834751 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19108176 memory=1658284 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834771 19566772224 414571 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3275.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1658284 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/333 266961
/proc/meminfo: memFree=118888188/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=1674688 CPUtime=3335.08 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 118708 0 0 0 333400 108 0 0 20 0 20 0 30834743 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 418672 5959 1 0 559019 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=1658284 CPUtime=3329.41 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 54189 0 0 0 332923 18 0 0 20 0 20 0 30834744 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19108176 memory=1658284 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834750 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 3720 0 0 0 0 0 0 0 20 0 20 0 30834751 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834771 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3335.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1674688 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/333 266973
/proc/meminfo: memFree=118887300/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=1674688 CPUtime=3394.92 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 119499 0 0 0 339383 109 0 0 20 0 20 0 30834743 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 418672 5959 1 0 559019 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=1658284 CPUtime=3389.24 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 54834 0 0 0 338906 18 0 0 20 0 20 0 30834744 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19108176 memory=1674688 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834750 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19108176 memory=77052 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 3804 0 0 0 0 0 0 0 20 0 20 0 30834751 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19108176 memory=1674688 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834771 19566772224 418672 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3394.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1674688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/335 267153
/proc/meminfo: memFree=118873556/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=1674700 CPUtime=3454.76 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 120324 0 0 0 345366 110 0 0 20 0 20 0 30834743 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 418675 5959 1 0 559019 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=1658284 CPUtime=3449.05 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 55585 0 0 0 344887 18 0 0 20 0 20 0 30834744 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19108176 memory=77052 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834750 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19108176 memory=20760 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 3818 0 0 0 0 0 0 0 20 0 20 0 30834751 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834771 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3454.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1674700 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/335 267163
/proc/meminfo: memFree=118873184/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=1674700 CPUtime=3514.6 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 121310 0 0 0 351347 113 0 0 20 0 20 0 30834743 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 418675 5959 1 0 559019 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=12316 CPUtime=3508.87 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 56388 0 0 0 350868 19 0 0 20 0 20 0 30834744 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19108176 memory=1674700 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834750 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19108176 memory=2272 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 3901 0 0 0 0 0 0 0 20 0 20 0 30834751 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834771 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3514.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1674700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/336 267235
/proc/meminfo: memFree=118872128/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=1674700 CPUtime=3574.43 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 122024 0 0 0 357329 114 0 0 20 0 20 0 30834743 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 418675 5959 1 0 559019 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=77052 CPUtime=3568.69 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 56964 0 0 0 356850 19 0 0 20 0 20 0 30834744 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834750 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 3983 0 0 0 0 0 0 0 20 0 20 0 30834751 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19108176 memory=1674700 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834771 19566772224 418675 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3574.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1674700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608 s]*
/proc/loadavg: 4.17 4.16 4.11 4/310 267275
/proc/meminfo: memFree=120772920/131524600 swapFree=131059368/131071996
[pid=264719] ppid=264704 vsize=19108176 memory=1680844 CPUtime=3600.07 cores=0,2
/proc/264719/stat : 264719 (java) S 264704 264719 262544 0 -1 1077936128 122496 0 0 0 359893 114 0 0 20 0 20 0 30834743 19566772224 420211 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
/proc/264719/statm: 4777044 420211 5959 1 0 559019 0
[pid=264719/tid=264724] ppid=264704 vsize=19108176 memory=-8600295738495967932 CPUtime=3594.31 cores=0,2
/proc/264719/task/264724/stat : 264724 (java) R 264704 264719 262544 0 -1 4194368 57345 0 0 0 359412 19 0 0 20 0 20 0 30834744 19566772224 420211 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264752] ppid=264704 vsize=19108176 memory=-4421386522017883233 CPUtime=0 cores=0,2
/proc/264719/task/264752/stat : 264752 (Finalizer) S 264704 264719 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834750 19566772224 420211 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264759] ppid=264704 vsize=19108176 memory=34956 CPUtime=0 cores=0,2
/proc/264719/task/264759/stat : 264759 (Common-Cleaner) S 264704 264719 262544 0 -1 1077936192 4066 0 0 0 0 0 0 0 20 0 20 0 30834751 19566772224 420211 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
[pid=264719/tid=264779] ppid=264704 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/264719/task/264779/stat : 264779 (Timer-0) S 264704 264719 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834771 19566772224 420211 134679101440 93845849800704 93845849804400 140721215509744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93845849812216 93845849813008 93845878517760 140721215517702 140721215517792 140721215517792 140721215524808 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1680844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.11 s, system=1.15956 s

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

Child status: 143

Real time (s): 3608.11
CPU time (s): 3600.27
CPU user time (s): 3599.11
CPU system time (s): 1.15956
CPU usage (%): 99.7828
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1680844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 1.15956
maximum resident set size= 1690952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102351
involuntary context switches= 26301


# summary of solver processes directly reported to runsolver:
#   pid: 264719
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3599.11
#   total CPU system time (s): 1.15956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01925 second user time and 15.0424 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-25 23:31:01
IDJOB=4459871
IDBENCH=148620
IDSOLVER=3058
FILE ID=nodeC021/4459871-1721943061
RUNJOBID= nodeC021-1721943061-264644
SLURM_JOB_ID= 8247242
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459871-1721943061/watcher-4459871-1721943061 -o /tmp/evaluation-result-4459871-1721943061/solver-4459871-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721943061-264644 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459871-1721943061.opb

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

MD5SUM BENCH= dbebfc2916fd48f48fd9f4f0821ac62f
RANDOM SEED=17340828

nodeC021.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		: 3632.929
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	: 7000.35
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		: 2827.963
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	: 7007.41
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		: 3646.301
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	: 7000.35
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		: 2414.395
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	: 7007.41
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		: 3600.339
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	: 7000.35
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		: 3296.443
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	: 7007.41
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		: 3658.149
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	: 7000.35
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		: 3273.848
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126263040 kB
MemAvailable:   129694044 kB
Buffers:          340012 kB
Cached:          3898024 kB
SwapCached:          448 kB
Active:          2718180 kB
Inactive:        1896704 kB
Active(anon):       1612 kB
Inactive(anon):   428728 kB
Active(file):    2716568 kB
Inactive(file):  1467976 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:              2584 kB
Writeback:             4 kB
AnonPages:        376268 kB
Mapped:           117360 kB
Shmem:             53464 kB
KReclaimable:     172212 kB
Slab:             292740 kB
SReclaimable:     172212 kB
SUnreclaim:       120528 kB
KernelStack:        4004 kB
PageTables:        10920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     918252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      324308 kB
DirectMap2M:    40343552 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-26 00:31:09