Trace number 4449827

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)2 3600.32 3602.25

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=11.opb
MD5SUM9b5c30834c5e817deb28aeb7d8484ce1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables403
Total number of constraints13065
Number of constraints which are clauses13052
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint14
Number of terms in the objective function 13
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 13
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
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@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f 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	No 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.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4449827-1721403097.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.32/0.27	c ... done. Wall clock time 0.138s.
0.32/0.27	c declared #vars     403
0.32/0.27	c #constraints  13065
0.32/0.27	c constraints type 
0.32/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13
0.32/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 13052
0.32/0.27	c 13065 constraints processed.
0.32/0.28	c objective function length is 13 literals
0.51/0.35	c SATISFIABLE
0.51/0.35	c OPTIMIZING...
0.51/0.35	c Got one! Elapsed wall clock time (in seconds):0.212
0.51/0.35	o 7
0.51/0.36	c Got one! Elapsed wall clock time (in seconds):0.228
0.51/0.36	o 6
0.51/0.37	c Got one! Elapsed wall clock time (in seconds):0.235
0.51/0.37	o 5
0.51/0.38	c Got one! Elapsed wall clock time (in seconds):0.251
0.51/0.38	o 4
0.51/0.40	c Got one! Elapsed wall clock time (in seconds):0.266
0.51/0.40	o 3
0.70/0.42	c Got one! Elapsed wall clock time (in seconds):0.286
0.70/0.42	o 2
1.46/0.81	c cleaning 3066 clauses out of 6188 with flag 31715/6188
2.06/1.15	c cleaning 4555 clauses out of 9122 with flag 77588/12188
2.79/1.81	c cleaning 5776 clauses out of 11567 with flag 127826/19188
3.47/2.40	c cleaning 6882 clauses out of 13791 with flag 187852/27188
4.15/3.03	c cleaning 7942 clauses out of 15909 with flag 252705/36188
5.12/3.98	c cleaning 8972 clauses out of 17969 with flag 330893/46190
6.31/5.13	c cleaning 9993 clauses out of 19995 with flag 418641/57188
7.21/6.01	c cleaning 10985 clauses out of 22003 with flag 505581/69189
8.20/7.07	c cleaning 11997 clauses out of 24018 with flag 590264/82189
10.09/8.95	c cleaning 12983 clauses out of 26020 with flag 689977/96188
11.40/10.25	c cleaning 14011 clauses out of 28037 with flag 797829/111188
13.69/12.59	c cleaning 15010 clauses out of 30027 with flag 924220/127189
16.51/15.35	c cleaning 16005 clauses out of 32018 with flag 1079208/144190
19.73/18.58	c cleaning 17000 clauses out of 34011 with flag 1247030/162188
23.33/22.13	c cleaning 18003 clauses out of 36011 with flag 1401790/181188
25.62/24.46	c cleaning 18992 clauses out of 38009 with flag 1550657/201189
27.92/26.75	c cleaning 19998 clauses out of 40016 with flag 1711068/222188
30.52/29.31	c cleaning 21001 clauses out of 42018 with flag 1876449/244188
33.61/32.43	c cleaning 22007 clauses out of 44019 with flag 2065673/267190
37.70/36.50	c cleaning 22999 clauses out of 46010 with flag 2274191/291188
42.13/40.97	c cleaning 24000 clauses out of 48011 with flag 2494503/316188
47.23/46.04	c cleaning 24991 clauses out of 50012 with flag 2711889/342189
52.01/50.86	c cleaning 26002 clauses out of 52020 with flag 2933032/369188
55.60/54.40	c cleaning 27007 clauses out of 54018 with flag 3158349/397188
60.14/58.99	c cleaning 28004 clauses out of 56011 with flag 3403992/426188
64.53/63.35	c cleaning 28998 clauses out of 58008 with flag 3660399/456189
68.73/67.59	c cleaning 29993 clauses out of 60010 with flag 3929229/487189
72.92/71.74	c cleaning 30998 clauses out of 62016 with flag 4213604/519188
78.46/77.29	c cleaning 32002 clauses out of 64018 with flag 4502484/552188
83.35/82.16	c cleaning 32966 clauses out of 66017 with flag 4816619/586189
89.14/87.98	c cleaning 34015 clauses out of 68050 with flag 5111700/621188
95.04/93.87	c cleaning 35016 clauses out of 70036 with flag 5419532/657189
100.93/99.75	c cleaning 36003 clauses out of 72021 with flag 5785995/694190
107.72/106.57	c cleaning 36998 clauses out of 74017 with flag 6102479/732189
115.95/114.73	c cleaning 37998 clauses out of 76018 with flag 6440864/771188
122.14/120.98	c cleaning 39003 clauses out of 78024 with flag 6809396/811192
128.93/127.74	c cleaning 40004 clauses out of 80019 with flag 7154895/852190
134.85/133.68	c cleaning 40997 clauses out of 82014 with flag 7520907/894189
142.73/141.50	c cleaning 42005 clauses out of 84016 with flag 7905212/937188
152.11/150.90	c cleaning 43000 clauses out of 86011 with flag 8313335/981188
161.92/160.78	c cleaning 44002 clauses out of 88016 with flag 8745569/1026193
169.51/168.30	c cleaning 45000 clauses out of 90010 with flag 9232267/1072189
176.23/175.01	c cleaning 45998 clauses out of 92011 with flag 9699474/1119190
188.70/187.54	c cleaning 47002 clauses out of 94013 with flag 10158817/1167190
199.19/198.05	c cleaning 47997 clauses out of 96009 with flag 10625571/1216188
209.51/208.32	c cleaning 49002 clauses out of 98012 with flag 11129629/1266188
220.08/218.96	c cleaning 50000 clauses out of 100012 with flag 11642068/1317190
231.40/230.29	c cleaning 50998 clauses out of 102010 with flag 12153191/1369188
242.68/241.51	c cleaning 52000 clauses out of 104012 with flag 12664405/1422188
255.30/254.16	c cleaning 53000 clauses out of 106012 with flag 13222457/1476188
266.28/265.15	c cleaning 54002 clauses out of 108013 with flag 13779048/1531189
277.59/276.43	c cleaning 54997 clauses out of 110011 with flag 14361787/1587189
290.67/289.51	c cleaning 55995 clauses out of 112013 with flag 14945351/1644188
302.35/301.21	c cleaning 57003 clauses out of 114021 with flag 15523134/1702191
315.76/314.69	c cleaning 57997 clauses out of 116015 with flag 16185967/1761188
328.43/327.38	c cleaning 59007 clauses out of 118018 with flag 16830414/1821188
342.01/340.98	c cleaning 59997 clauses out of 120012 with flag 17526263/1882189
355.42/354.36	c cleaning 61004 clauses out of 122015 with flag 18156639/1944189
371.70/370.60	c cleaning 62001 clauses out of 124011 with flag 18831491/2007189
387.18/386.11	c cleaning 62998 clauses out of 126009 with flag 19504601/2071188
410.88/409.89	c cleaning 64001 clauses out of 128012 with flag 20061524/2136189
428.45/427.49	c cleaning 64988 clauses out of 130010 with flag 20771653/2202188
443.62/442.69	c cleaning 66007 clauses out of 132024 with flag 21481834/2269190
458.97/457.90	c cleaning 67004 clauses out of 134015 with flag 22180734/2337188
475.14/474.17	c cleaning 67996 clauses out of 136011 with flag 22972416/2406188
491.51/490.55	c cleaning 69005 clauses out of 138016 with flag 23748632/2476189
510.17/509.23	c cleaning 69996 clauses out of 140010 with flag 24523884/2547188
531.80/530.64	c cleaning 70988 clauses out of 142014 with flag 25279300/2619188
554.56/553.44	c cleaning 72005 clauses out of 144028 with flag 26044769/2692190
571.24/570.15	c cleaning 73004 clauses out of 146022 with flag 26781289/2766189
590.57/589.41	c cleaning 74003 clauses out of 148017 with flag 27621000/2841188
608.94/607.83	c cleaning 74996 clauses out of 150014 with flag 28430731/2917188
627.60/626.50	c cleaning 76004 clauses out of 152018 with flag 29214836/2994188
653.15/652.18	c cleaning 77004 clauses out of 154015 with flag 30100134/3072189
672.98/671.92	c cleaning 77996 clauses out of 156010 with flag 30935827/3151188
695.24/694.26	c cleaning 79004 clauses out of 158015 with flag 31866293/3231189
716.20/715.22	c cleaning 79999 clauses out of 160011 with flag 32743100/3312189
736.35/735.49	c cleaning 81001 clauses out of 162012 with flag 33605282/3394189
763.09/762.12	c cleaning 81990 clauses out of 164010 with flag 34462775/3477188
787.84/786.98	c cleaning 82999 clauses out of 166020 with flag 35356139/3561188
813.48/812.65	c cleaning 84009 clauses out of 168025 with flag 36338879/3646192
837.34/836.56	c cleaning 85000 clauses out of 170013 with flag 37233295/3732189
861.65/860.88	c cleaning 86003 clauses out of 172012 with flag 38231720/3819188
887.31/886.50	c cleaning 87000 clauses out of 174010 with flag 39195983/3907189
910.15/909.45	c cleaning 87989 clauses out of 176010 with flag 40187415/3996189
937.20/936.58	c cleaning 88995 clauses out of 178020 with flag 41158851/4086188
959.76/959.17	c cleaning 90010 clauses out of 180025 with flag 42139000/4177188
985.00/984.45	c cleaning 91004 clauses out of 182015 with flag 43113255/4269188
1013.74/1013.26	c cleaning 92001 clauses out of 184013 with flag 44117134/4362190
1047.08/1046.55	c cleaning 92996 clauses out of 186014 with flag 45180984/4456192
1078.71/1078.27	c cleaning 93995 clauses out of 188014 with flag 46193820/4551188
1107.75/1107.30	c cleaning 95003 clauses out of 190019 with flag 47322250/4647188
1142.68/1142.33	c cleaning 96004 clauses out of 192017 with flag 48326098/4744189
1172.42/1172.16	c cleaning 97001 clauses out of 194012 with flag 49351794/4842188
1206.95/1206.73	c cleaning 97994 clauses out of 196011 with flag 50445407/4941188
1239.49/1239.34	c cleaning 99007 clauses out of 198017 with flag 51580505/5041188
1277.50/1277.25	c cleaning 99999 clauses out of 200010 with flag 52674890/5142188
1313.65/1313.48	c cleaning 100996 clauses out of 202011 with flag 53931098/5244188
1356.86/1356.76	c cleaning 102005 clauses out of 204016 with flag 55289310/5347189
1392.12/1391.67	c cleaning 102992 clauses out of 206010 with flag 56541348/5451188
1428.06/1427.66	c cleaning 104001 clauses out of 208019 with flag 57707828/5556189
1464.70/1464.30	c cleaning 104995 clauses out of 210017 with flag 58882575/5662188
1502.68/1502.39	c cleaning 106002 clauses out of 212023 with flag 60032051/5769189
1542.70/1542.41	c cleaning 107005 clauses out of 214020 with flag 61292130/5877188
1582.23/1582.01	c cleaning 107974 clauses out of 216017 with flag 62493090/5986190
1622.04/1621.99	c cleaning 109015 clauses out of 218041 with flag 63745472/6096188
1657.67/1657.60	c cleaning 110001 clauses out of 220027 with flag 64988754/6207189
1692.70/1692.74	c cleaning 111003 clauses out of 222025 with flag 66230341/6319188
1732.53/1732.53	c cleaning 112004 clauses out of 224022 with flag 67476874/6432188
1783.14/1783.22	c cleaning 113002 clauses out of 226019 with flag 68769950/6546189
1825.36/1825.56	c cleaning 114000 clauses out of 228016 with flag 69974018/6661188
1875.96/1876.24	c cleaning 115004 clauses out of 230016 with flag 71220385/6777188
1919.47/1919.80	c cleaning 115996 clauses out of 232012 with flag 72635479/6894188
1965.52/1965.84	c cleaning 117006 clauses out of 234017 with flag 74037349/7012189
2012.25/2012.68	c cleaning 117999 clauses out of 236010 with flag 75494120/7131188
2056.29/2056.77	c cleaning 118999 clauses out of 238011 with flag 76920934/7251188
2105.32/2105.81	c cleaning 120000 clauses out of 240012 with flag 78322933/7372188
2159.44/2160.01	c cleaning 121003 clauses out of 242014 with flag 79653185/7494190
2214.34/2215.07	c cleaning 121993 clauses out of 244011 with flag 81005136/7617190
2262.23/2262.93	c cleaning 123003 clauses out of 246019 with flag 82272470/7741191
2320.84/2321.60	c cleaning 124002 clauses out of 248015 with flag 83673902/7866190
2374.04/2374.99	c cleaning 124997 clauses out of 250012 with flag 85173664/7992189
2429.42/2430.43	c cleaning 126006 clauses out of 252018 with flag 86670937/8119192
2478.32/2479.46	c cleaning 126995 clauses out of 254009 with flag 88162282/8247189
2530.32/2531.54	c cleaning 128004 clauses out of 256013 with flag 89716237/8376188
2590.96/2592.11	c cleaning 128998 clauses out of 258009 with flag 91236483/8506188
2647.97/2649.23	c cleaning 129994 clauses out of 260012 with flag 92882291/8637189
2706.97/2708.38	c cleaning 130992 clauses out of 262019 with flag 94511464/8769190
2761.65/2762.65	c cleaning 132008 clauses out of 264029 with flag 96028008/8902192
2818.17/2819.27	c cleaning 133000 clauses out of 266018 with flag 97629511/9036189
2878.97/2880.16	c cleaning 134000 clauses out of 268018 with flag 99206254/9171189
2926.57/2927.87	c cleaning 134999 clauses out of 270017 with flag 100568396/9307188
2986.94/2988.29	c cleaning 136003 clauses out of 272018 with flag 102269673/9444188
3046.46/3047.84	c cleaning 137005 clauses out of 274015 with flag 104008025/9582188
3105.47/3106.99	c cleaning 137995 clauses out of 276010 with flag 105548271/9721188
3165.49/3167.08	c cleaning 138998 clauses out of 278015 with flag 107224290/9861188
3227.19/3228.81	c cleaning 140002 clauses out of 280018 with flag 108937431/10002189
3289.13/3290.71	c cleaning 141001 clauses out of 282015 with flag 110579232/10144188
3352.62/3354.34	c cleaning 142005 clauses out of 284014 with flag 112257054/10287188
3415.60/3417.43	c cleaning 142994 clauses out of 286010 with flag 114038375/10431189
3483.16/3485.16	c cleaning 144001 clauses out of 288015 with flag 115721906/10576188
3546.13/3548.25	c cleaning 144999 clauses out of 290014 with flag 117256399/10722188
3600.03/3602.11	c starts		: 38657
3600.03/3602.13	c conflicts		: 10837298
3600.03/3602.13	c decisions		: 20113145
3600.03/3602.13	c propagations		: 275347788
3600.03/3602.13	c inspects		: 47907587972
3600.03/3602.13	c shortcuts		: 0
3600.03/3602.13	c learnt literals	: 0
3600.03/3602.13	c learnt binary clauses	: 0
3600.03/3602.13	c learnt ternary clauses	: 0
3600.03/3602.13	c learnt constraints	: 10837298
3600.03/3602.13	c ignored constraints	: 0
3600.03/3602.13	c root simplifications	: 0
3600.03/3602.13	c removed literals (reason simplification)	: 0
3600.03/3602.13	c reason swapping (by a shorter reason)	: 0
3600.03/3602.13	c Calls to reduceDB	: 142
3600.03/3602.13	c Number of update (reduction) of LBD	: 5131631
3600.03/3602.13	c Imported unit clauses	: 0
3600.03/3602.13	c No decision after first conflict	: false
3600.03/3602.13	c number of reductions to clauses (during analyze)	: 0
3600.03/3602.13	c number of learned constraints concerned by reduction	: 0
3600.03/3602.13	c number of learning phase by resolution	: 0
3600.03/3602.13	c number of learning phase by cutting planes	: 0
3600.03/3602.13	c number of rounding to 1 operations	: 0
3600.03/3602.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3602.13	c number of reductions of the coefficients by power 2 	: 0
3600.03/3602.13	c number of right shift for reduction by power 2 	: 0
3600.03/3602.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3602.13	c number of ending skipping 	: 0
3600.03/3602.13	c number of internal skipping 	: 0
3600.03/3602.13	c number of derivation steps 	: 0
3600.03/3602.13	c number of skipped derivation steps 	: 0
3600.03/3602.13	c number of remaining unassigned 	: 0
3600.03/3602.13	c number of remaining assigned 	: 0
3600.03/3602.13	c number of falsified literals weakened from reason	: 0
3600.03/3602.13	c number of falsified literals weakened from conflict	: 0
3600.03/3602.13	c time for arithmetic operations	: 0
3600.03/3602.15	c minimum degree of deleted constraints	: null
3600.03/3602.15	c maximum degree of deleted constraints	: null
3600.03/3602.15	c number of deleted constraints	: 0
3600.03/3602.15	c speed (assignments/second)	: 76446.06323904586
3600.03/3602.15	c non guided choices	: 39206
3600.22/3602.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 260125
3600.22/3602.24	s SATISFIABLE
3600.22/3602.24	c Found 6 solution(s)
3600.22/3602.24	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 
3600.22/3602.24	c objective function=2
3600.22/3602.24	c Total wall clock time (in seconds): 3602.106

Verifier Data 

OK	2

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100518 s]*
/proc/loadavg: 4.16 4.17 4.09 7/332 989567
/proc/meminfo: memFree=119299512/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=18975048 memory=66344 CPUtime=0.13 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 7044 0 0 0 12 1 0 0 20 0 18 0 192470267 19430449152 16586 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4743762 16586 5622 1 0 549334 0
[pid=989549/tid=989551] ppid=989546 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 1077936192 5623 0 0 0 7 1 0 0 20 0 18 0 192470268 19430449152 16586 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192470270 19430449152 16586 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192470271 19430449152 16586 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66344 KiB

[startup+0.206419 s]*
/proc/loadavg: 4.16 4.17 4.09 7/332 989567
/proc/meminfo: memFree=119287648/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=18975048 memory=79332 CPUtime=0.32 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 7593 0 0 0 30 2 0 0 20 0 18 0 192470267 19430449152 19833 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4743762 19833 5816 1 0 549712 0
[pid=989549/tid=989551] ppid=989546 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 5790 0 0 0 16 2 0 0 20 0 18 0 192470268 19430449152 19833 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=18975048 memory=14994 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192470270 19430449152 19833 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192470271 19430449152 19833 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79332 KiB

[startup+0.305906 s]*
/proc/loadavg: 4.16 4.17 4.09 7/333 989568
/proc/meminfo: memFree=119263056/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19041612 memory=104272 CPUtime=0.51 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 9817 0 0 0 48 3 0 0 20 0 19 0 192470267 19498610688 26068 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4760403 26068 5854 1 0 551504 0
[pid=989549/tid=989551] ppid=989546 vsize=19041612 memory=-8744131629109519036 CPUtime=0.26 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 1077936192 5923 0 0 0 24 2 0 0 20 0 19 0 192470268 19498610688 26068 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192470270 19498610688 26068 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192470271 19498610688 26068 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192470296 19498610688 26068 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104272 KiB

[startup+0.700417 s]
/proc/loadavg: 4.16 4.17 4.09 7/333 989568
/proc/meminfo: memFree=119243144/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19041612 memory=125496 CPUtime=1.26 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 15216 0 0 0 123 3 0 0 20 0 19 0 192470267 19498610688 31374 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4760403 31374 5870 1 0 555771 0
[pid=989549/tid=989551] ppid=989546 vsize=19041612 memory=13012 CPUtime=0.63 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 5952 0 0 0 61 2 0 0 20 0 19 0 192470268 19498610688 31374 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192470270 19498610688 31374 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192470271 19498610688 31374 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19041612 memory=26268 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192470296 19498610688 31374 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 125496 KiB

[startup+1.50043 s]
/proc/loadavg: 4.16 4.17 4.09 6/333 989568
/proc/meminfo: memFree=119235796/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19041612 memory=138980 CPUtime=2.49 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 16921 0 0 0 245 4 0 0 20 0 19 0 192470267 19498610688 34745 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4760403 34745 5886 1 0 555815 0
[pid=989549/tid=989551] ppid=989546 vsize=19041612 memory=13012 CPUtime=1.42 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 6310 0 0 0 140 2 0 0 20 0 19 0 192470268 19498610688 34745 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192470270 19498610688 34745 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192470271 19498610688 34745 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19041612 memory=65 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192470296 19498610688 34745 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138980 KiB

[startup+3.10642 s]
/proc/loadavg: 4.15 4.16 4.09 5/333 989569
/proc/meminfo: memFree=119210576/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19041612 memory=157604 CPUtime=4.3 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 20107 0 0 0 425 5 0 0 20 0 19 0 192470267 19498610688 39401 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4760403 39401 5886 1 0 555818 0
[pid=989549/tid=989551] ppid=989546 vsize=19041612 memory=0 CPUtime=3 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 6589 0 0 0 298 2 0 0 20 0 19 0 192470268 19498610688 39401 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192470270 19498610688 39401 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19041612 memory=141028 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192470271 19498610688 39401 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192470296 19498610688 39401 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157604 KiB

[startup+6.30042 s]
/proc/loadavg: 4.15 4.16 4.09 5/334 989570
/proc/meminfo: memFree=119162940/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=202860 CPUtime=7.5 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 21638 0 0 0 745 5 0 0 20 0 20 0 192470267 19566772224 50715 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 50715 5886 1 0 556107 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=13012 CPUtime=6.16 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 6619 0 0 0 613 3 0 0 20 0 20 0 192470268 19566772224 50715 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 50715 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=6443925854819014998 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 50715 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 50715 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202860 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.16 4.09 5/334 989638
/proc/meminfo: memFree=121122252/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=202984 CPUtime=13.92 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 24098 0 0 0 1386 6 0 0 20 0 20 0 192470267 19566772224 50746 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 50746 5893 1 0 556107 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=0 CPUtime=12.53 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 7106 0 0 0 1250 3 0 0 20 0 20 0 192470268 19566772224 50746 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=202880 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 50746 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=202860 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 50746 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=2636 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 50746 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202984 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.14 4.08 4/308 989742
/proc/meminfo: memFree=123347124/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=225964 CPUtime=26.72 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 28322 0 0 0 2665 7 0 0 20 0 20 0 192470267 19566772224 56491 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 56491 5893 1 0 556107 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=2636 CPUtime=25.24 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 7993 0 0 0 2521 3 0 0 20 0 20 0 192470268 19566772224 56491 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 56491 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=-8744131629109519036 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 56491 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 56491 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 26.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 225964 KiB

[startup+51.1054 s]
/proc/loadavg: 3.46 4.00 4.04 3/282 989779
/proc/meminfo: memFree=125252408/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=285484 CPUtime=52.32 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 31197 0 0 0 5224 8 0 0 20 0 20 0 192470267 19566772224 71371 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 71371 5893 1 0 556107 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=285484 CPUtime=50.75 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 9543 0 0 0 5072 3 0 0 20 0 20 0 192470268 19566772224 71371 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0

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

[startup+3282.3 s]
/proc/loadavg: 2.25 2.17 2.18 3/280 991325
/proc/meminfo: memFree=121867116/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3280.74 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 131098 0 0 0 327943 131 0 0 20 0 20 0 192470267 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 500534 5909 1 0 560556 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3272.32 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 62980 0 0 0 327220 12 0 0 20 0 20 0 192470268 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=2002088 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 3754 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=2002088 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 3280.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2002136 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.15 2.18 3/280 991336
/proc/meminfo: memFree=121866760/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3340.64 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 131944 0 0 0 333932 132 0 0 20 0 20 0 192470267 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 500534 5909 1 0 560556 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3332.19 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 63758 0 0 0 333207 12 0 0 20 0 20 0 192470268 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=45656 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 3801 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 3340.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2002136 KiB

[startup+3402.3 s]
/proc/loadavg: 2.16 2.15 2.18 3/282 991517
/proc/meminfo: memFree=121865652/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3400.52 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 132955 0 0 0 339919 133 0 0 20 0 20 0 192470267 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 500534 5909 1 0 560556 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3392.04 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 64628 0 0 0 339192 12 0 0 20 0 20 0 192470268 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 3881 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 3400.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2002136 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.14 2.17 3/283 991528
/proc/meminfo: memFree=121864984/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3460.4 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 134087 0 0 0 345906 134 0 0 20 0 20 0 192470267 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 500534 5909 1 0 560556 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3451.9 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 65567 0 0 0 345178 12 0 0 20 0 20 0 192470268 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 3960 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 3460.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2002136 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.14 2.17 3/285 991597
/proc/meminfo: memFree=121864192/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3520.29 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 135158 0 0 0 351893 136 0 0 20 0 20 0 192470267 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 500534 5909 1 0 560556 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=2002136 CPUtime=3511.75 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 66512 0 0 0 351163 12 0 0 20 0 20 0 192470268 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 4026 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 500534 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 3520.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2002136 KiB

[startup+3582.3 s]
/proc/loadavg: 2.21 2.16 2.18 3/283 991608
/proc/meminfo: memFree=121863624/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=2002140 CPUtime=3580.16 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 136210 0 0 0 357879 137 0 0 20 0 20 0 192470267 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 500535 5909 1 0 560556 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=2002140 CPUtime=3571.61 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 67323 0 0 0 357149 12 0 0 20 0 20 0 192470268 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=2002140 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=26268 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 4048 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 3580.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2002140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.11 s]
/proc/loadavg: 2.15 2.15 2.17 3/283 991611
/proc/meminfo: memFree=121863392/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19108176 memory=2002140 CPUtime=3600.03 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 137327 0 0 0 359864 139 0 0 20 0 20 0 192470267 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4777044 500535 5909 1 0 560556 0
[pid=989549/tid=989551] ppid=989546 vsize=19108176 memory=279843829641760 CPUtime=3591.25 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 67482 0 0 0 359113 12 0 0 20 0 20 0 192470268 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19108176 memory=2002136 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192470270 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 4048 0 0 0 0 0 0 0 20 0 20 0 192470271 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989568] ppid=989546 vsize=19108176 memory=2002140 CPUtime=0 cores=5,7
/proc/989549/task/989568/stat : 989568 (Timer-0) S 989546 989549 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192470296 19566772224 500535 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2002140 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.91 s, system=1.40372 s

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

[startup+3602.2 s]
/proc/loadavg: 2.15 2.15 2.17 3/283 991611
/proc/meminfo: memFree=121863392/131524600 swapFree=131071996/131071996
[pid=989549] ppid=989546 vsize=19307868 memory=2002844 CPUtime=3600.22 cores=5,7
/proc/989549/stat : 989549 (java) S 989546 989549 987379 0 -1 1077936128 139638 0 0 0 359883 139 0 0 20 0 21 0 192470267 19771256832 500711 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
/proc/989549/statm: 4826967 500711 5908 1 0 561478 0
[pid=989549/tid=989551] ppid=989546 vsize=19307868 memory=14848 CPUtime=3591.34 cores=5,7
/proc/989549/task/989551/stat : 989551 (java) R 989546 989549 987379 0 -1 4194368 67565 0 0 0 359122 12 0 0 20 0 21 0 192470268 19771256832 500711 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989560] ppid=989546 vsize=19307868 memory=18851 CPUtime=0 cores=5,7
/proc/989549/task/989560/stat : 989560 (Finalizer) S 989546 989549 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 192470270 19771256832 500711 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
[pid=989549/tid=989567] ppid=989546 vsize=19307868 memory=3690189967004532822 CPUtime=0 cores=5,7
/proc/989549/task/989567/stat : 989567 (Common-Cleaner) S 989546 989549 987379 0 -1 1077936192 4048 0 0 0 0 0 0 0 20 0 21 0 192470271 19771256832 500711 134679101440 94368686518272 94368686521968 140733861863216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94368686529784 94368686530576 94368719953920 140733861868550 140733861868640 140733861868640 140733861875656 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2002844 KiB

Child status: 143

Real time (s): 3602.25
CPU time (s): 3600.32
CPU user time (s): 3598.91
CPU system time (s): 1.40372
CPU usage (%): 99.9463
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2002844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.40372
maximum resident set size= 2003872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103661
involuntary context switches= 2101


# summary of solver processes directly reported to runsolver:
#   pid: 989549
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3598.91
#   total CPU system time (s): 1.40372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74392 second user time and 16.1509 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-19 17:31:49
IDJOB=4449827
IDBENCH=176148
IDSOLVER=3058
FILE ID=nodeC016/4449827-1721403097
RUNJOBID= nodeC016-1721399514-987392
SLURM_JOB_ID= 7545428
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449827-1721403097/watcher-4449827-1721403097 -o /tmp/evaluation-result-4449827-1721403097/solver-4449827-1721403097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987392 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4449827-1721403097.opb

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

MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1
RANDOM SEED=1166578052

nodeC016.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		: 3658.129
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.70
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		: 3669.755
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.63
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		: 3600.122
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.70
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		: 3609.584
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.63
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		: 3658.266
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.70
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		: 3648.427
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.63
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		: 3599.943
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.70
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		: 3642.058
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.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119345028 kB
MemAvailable:   123145776 kB
Buffers:          392188 kB
Cached:          4250696 kB
SwapCached:            0 kB
Active:           643056 kB
Inactive:       10903868 kB
Active(anon):       1544 kB
Inactive(anon):  6948400 kB
Active(file):     641512 kB
Inactive(file):  3955468 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1060 kB
Writeback:            60 kB
AnonPages:       6902540 kB
Mapped:           127540 kB
Shmem:             45912 kB
KReclaimable:      86832 kB
Slab:             198796 kB
SReclaimable:      86832 kB
SUnreclaim:       111964 kB
KernelStack:        5072 kB
PageTables:        23732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7390400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72256 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6537216 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC016 at 2024-07-19 18:31:51