Trace number 4432147

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-07? (TO) 3600.17 3601.76

General information on the benchmark

NamePB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb
MD5SUM1e7dffa7a0e3dc993564780a9c56329e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-5433
Best CPU time to get the best result obtained on this benchmark176.654
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81322
Total number of constraints201868
Number of constraints which are clauses201867
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 224050
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 224050
Number of bits of the biggest sum of numbers18
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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
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.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432147-1721050991.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
1.87/1.01	c ... done. Wall clock time 0.887s.
1.87/1.01	c declared #vars     81322
1.87/1.01	c #constraints  201868
1.87/1.01	c constraints type 
1.87/1.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 125601
1.87/1.01	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.87/1.01	c org.sat4j.specs.Constr$1 => 1
1.87/1.01	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.87/1.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 76263
1.87/1.01	c 201868 constraints processed.
1.87/1.03	c objective function length is 389 literals
14.39/11.74	c cleaning 2493 clauses out of 4990 with flag 42459/5000
25.01/21.98	c cleaning 4246 clauses out of 8492 with flag 80124/11002
35.51/32.39	c cleaning 5620 clauses out of 11244 with flag 130524/18000
50.20/47.10	c cleaning 6755 clauses out of 13624 with flag 181626/26000
61.97/58.70	c cleaning 7920 clauses out of 15868 with flag 244201/35000
74.44/71.24	c cleaning 8976 clauses out of 17951 with flag 294442/45003
88.62/85.48	c cleaning 9977 clauses out of 19973 with flag 343727/56001
105.69/102.50	c cleaning 10993 clauses out of 21995 with flag 396339/68000
124.76/121.63	c cleaning 11999 clauses out of 24002 with flag 446856/81000
133.65/130.59	c SATISFIABLE
133.65/130.59	c OPTIMIZING...
133.77/130.60	c Got one! Elapsed wall clock time (in seconds):130.477
133.77/130.60	o 0
146.63/143.47	c cleaning 11675 clauses out of 23352 with flag 31246/92353
160.60/157.48	c cleaning 8829 clauses out of 17672 with flag 59535/98353
178.58/175.46	c cleaning 7914 clauses out of 15842 with flag 88373/105353
192.27/189.13	c cleaning 7963 clauses out of 15928 with flag 124105/113353
205.47/202.38	c cleaning 8451 clauses out of 16966 with flag 163177/122354
221.46/218.31	c cleaning 9247 clauses out of 18516 with flag 202225/132355
237.83/234.71	c cleaning 10127 clauses out of 20267 with flag 240034/143353
254.60/251.58	c cleaning 11048 clauses out of 22140 with flag 298105/155353
270.67/267.66	c cleaning 12038 clauses out of 24092 with flag 346588/168353
287.44/284.45	c cleaning 13019 clauses out of 26054 with flag 396315/182353
307.60/304.69	c cleaning 14015 clauses out of 28036 with flag 451038/197355
331.46/328.50	c cleaning 15007 clauses out of 30019 with flag 510140/213353
366.59/363.70	c cleaning 15995 clauses out of 32003 with flag 572643/230353
405.93/403.18	c cleaning 16996 clauses out of 34007 with flag 648018/248353
409.12/406.34	c Got one! Elapsed wall clock time (in seconds):406.226
409.12/406.35	o -73
415.20/412.40	c cleaning 11094 clauses out of 22205 with flag 12182/253547
422.69/419.85	c cleaning 8546 clauses out of 17109 with flag 36194/259545
432.92/430.08	c cleaning 7773 clauses out of 15566 with flag 65248/266548
445.19/442.38	c cleaning 7886 clauses out of 15789 with flag 102396/274545
460.06/457.28	c cleaning 8450 clauses out of 16909 with flag 134499/283551
478.23/475.40	c cleaning 9215 clauses out of 18453 with flag 174034/293545
499.00/496.28	c cleaning 10107 clauses out of 20237 with flag 217760/304545
522.38/519.62	c cleaning 11065 clauses out of 22130 with flag 269751/316546
542.46/539.79	c cleaning 12009 clauses out of 24062 with flag 339556/329545
559.24/556.57	c cleaning 13023 clauses out of 26055 with flag 413667/343547
577.32/574.63	c cleaning 14012 clauses out of 28030 with flag 492187/358545
601.72/599.02	c cleaning 15005 clauses out of 30018 with flag 554281/374545
638.85/636.21	c cleaning 16003 clauses out of 32013 with flag 627642/391545
678.35/675.79	c cleaning 17000 clauses out of 34012 with flag 737934/409547
726.67/724.19	c cleaning 18003 clauses out of 36011 with flag 827725/428548
759.01/756.59	c Got one! Elapsed wall clock time (in seconds):756.47
759.01/756.59	o -511
770.76/768.28	c cleaning 20181 clauses out of 40372 with flag 22236/450916
786.15/783.69	c cleaning 13086 clauses out of 26191 with flag 50039/456916
804.62/802.17	c cleaning 10023 clauses out of 20105 with flag 79566/463916
821.69/819.25	c cleaning 9026 clauses out of 18082 with flag 114344/471917
837.87/835.48	c cleaning 9020 clauses out of 18054 with flag 147461/480916
853.76/851.39	c cleaning 9504 clauses out of 19024 with flag 181499/490916
873.56/871.16	c cleaning 10255 clauses out of 20516 with flag 228804/501916
890.22/887.86	c cleaning 11120 clauses out of 22262 with flag 275921/513917
906.90/904.58	c cleaning 12062 clauses out of 24142 with flag 327763/526917
928.61/926.26	c cleaning 13040 clauses out of 26079 with flag 382761/540916
962.76/960.40	c cleaning 13999 clauses out of 28038 with flag 450953/555916
977.13/974.87	c Got one! Elapsed wall clock time (in seconds):974.756
977.13/974.88	o -883
978.97/976.69	c Got one! Elapsed wall clock time (in seconds):976.575
978.97/976.69	o -960
985.27/982.94	c cleaning 14349 clauses out of 28717 with flag 18445/570594
993.06/990.72	c cleaning 10172 clauses out of 20367 with flag 41848/576593
1004.38/1002.05	c cleaning 8590 clauses out of 17194 with flag 78851/583592
1020.06/1017.78	c cleaning 8288 clauses out of 16604 with flag 111318/591593
1030.93/1028.63	c cleaning 8467 clauses out of 17315 with flag 148588/600592
1049.01/1046.78	c cleaning 9416 clauses out of 18849 with flag 197041/610593
1068.18/1065.96	c cleaning 10205 clauses out of 20432 with flag 246833/621592
1085.49/1083.29	c cleaning 11113 clauses out of 22229 with flag 297584/633594
1104.55/1102.36	c cleaning 12057 clauses out of 24114 with flag 352155/646592
1123.22/1121.06	c cleaning 13025 clauses out of 26057 with flag 419481/660592
1146.97/1144.83	c cleaning 14016 clauses out of 28033 with flag 481261/675593
1168.62/1166.51	c cleaning 14862 clauses out of 30017 with flag 551650/691593
1193.93/1191.80	c cleaning 16072 clauses out of 32156 with flag 627613/708594
1220.08/1218.04	c cleaning 17041 clauses out of 34082 with flag 699720/726592
1256.40/1254.40	c cleaning 18017 clauses out of 36039 with flag 783644/745593
1302.19/1300.23	c cleaning 19007 clauses out of 38018 with flag 886952/765592
1347.12/1345.28	c cleaning 20002 clauses out of 40011 with flag 983573/786592
1379.55/1377.64	c cleaning 21005 clauses out of 42010 with flag 1087011/808593
1418.39/1416.58	c cleaning 21985 clauses out of 44003 with flag 1190359/831592
1460.02/1458.13	c cleaning 22985 clauses out of 46018 with flag 1308746/855592
1512.41/1510.60	c cleaning 24012 clauses out of 48033 with flag 1440125/880592
1576.09/1574.40	c cleaning 25007 clauses out of 50023 with flag 1575203/906595
1636.17/1634.53	c cleaning 25977 clauses out of 52013 with flag 1723690/933592
1685.37/1683.81	c cleaning 27013 clauses out of 54038 with flag 1858020/961594
1732.37/1730.84	c cleaning 27994 clauses out of 56023 with flag 2002962/990592
1784.57/1783.14	c cleaning 29015 clauses out of 58030 with flag 2155365/1020593
1847.74/1846.33	c cleaning 30007 clauses out of 60015 with flag 2284814/1051593
1915.84/1914.50	c cleaning 30997 clauses out of 62008 with flag 2456142/1083594
1980.43/1979.15	c cleaning 31999 clauses out of 64010 with flag 2637729/1116593
2034.72/2033.51	c cleaning 32995 clauses out of 66010 with flag 2800574/1150592
2087.45/2086.34	c cleaning 34004 clauses out of 68017 with flag 2974475/1185594
2149.32/2148.31	c cleaning 34984 clauses out of 70012 with flag 3157926/1221593
2219.39/2218.44	c cleaning 36005 clauses out of 72027 with flag 3326511/1258593
2280.17/2279.33	c cleaning 37000 clauses out of 74020 with flag 3508038/1296592
2337.68/2336.82	c cleaning 38005 clauses out of 76022 with flag 3703641/1335594
2398.96/2398.20	c cleaning 39003 clauses out of 78015 with flag 3891689/1375592
2475.75/2475.08	c cleaning 39997 clauses out of 80014 with flag 4088736/1416594
2549.81/2549.16	c cleaning 41005 clauses out of 82011 with flag 4330796/1458592
2623.84/2623.89	c cleaning 41983 clauses out of 84006 with flag 4543798/1501592
2699.90/2700.01	c cleaning 43003 clauses out of 86023 with flag 4746230/1545595
2748.49/2748.71	c Got one! Elapsed wall clock time (in seconds):2748.594
2748.49/2748.71	o -995
2755.47/2755.75	c cleaning 34939 clauses out of 69888 with flag 24792/1572467
2766.86/2767.14	c cleaning 20471 clauses out of 40950 with flag 49560/1578468
2782.52/2782.74	c cleaning 13698 clauses out of 27477 with flag 81139/1585466
2800.19/2800.48	c cleaning 8778 clauses out of 21779 with flag 105714/1593466
2807.69/2807.99	c Got one! Elapsed wall clock time (in seconds):2807.875
2807.69/2807.99	o -1334
2808.80/2809.08	c cleaning 5460 clauses out of 18506 with flag 3970/1598971
2819.18/2819.50	c cleaning 5990 clauses out of 19045 with flag 33266/1604970
2828.36/2828.67	c cleaning 6995 clauses out of 20055 with flag 59766/1611970
2838.75/2839.06	c cleaning 7984 clauses out of 21059 with flag 85833/1619969
2852.35/2852.69	c cleaning 8992 clauses out of 22076 with flag 114637/1628970
2875.02/2875.39	c cleaning 9970 clauses out of 23083 with flag 142807/1638969
2896.59/2896.91	c cleaning 10974 clauses out of 24114 with flag 185350/1649970
2923.83/2924.25	c cleaning 11930 clauses out of 25140 with flag 235569/1661970
2954.07/2954.57	c cleaning 12963 clauses out of 26209 with flag 287602/1674969
2978.32/2978.83	c cleaning 13605 clauses out of 27246 with flag 336545/1688969
2999.35/2999.83	c cleaning 14317 clauses out of 28642 with flag 400611/1703970
3028.38/3028.97	c cleaning 15162 clauses out of 30325 with flag 450426/1719970
3052.63/3053.28	c cleaning 16080 clauses out of 32162 with flag 518825/1736969
3084.76/3085.48	c cleaning 17033 clauses out of 34082 with flag 570494/1754969
3129.87/3130.61	c cleaning 18008 clauses out of 36048 with flag 634755/1773969
3160.91/3161.73	c Got one! Elapsed wall clock time (in seconds):3161.613
3160.91/3161.73	o -1523
3168.39/3169.28	c cleaning 19919 clauses out of 39857 with flag 24689/1795788
3177.47/3178.38	c cleaning 12222 clauses out of 25937 with flag 49796/1801787
3187.04/3187.97	c cleaning 7000 clauses out of 20722 with flag 70406/1808794
3200.92/3201.84	c cleaning 7970 clauses out of 21712 with flag 91874/1816787
3216.38/3217.32	c cleaning 8982 clauses out of 22742 with flag 125218/1825787
3229.56/3230.57	c cleaning 9982 clauses out of 23760 with flag 160989/1835787
3258.38/3259.31	c cleaning 10986 clauses out of 24781 with flag 195915/1846790
3280.85/3281.81	c cleaning 11909 clauses out of 25792 with flag 239092/1858788
3298.31/3299.35	c cleaning 13011 clauses out of 26882 with flag 292465/1871787
3319.07/3320.15	c cleaning 13931 clauses out of 27871 with flag 333393/1885787
3341.82/3342.95	c cleaning 14464 clauses out of 28941 with flag 378569/1900788
3382.43/3383.60	c cleaning 15209 clauses out of 30473 with flag 431163/1916788
3409.17/3410.48	c cleaning 16121 clauses out of 32262 with flag 499308/1933788
3441.11/3442.43	c cleaning 17051 clauses out of 34133 with flag 557502/1951787
3466.35/3467.73	c cleaning 18040 clauses out of 36082 with flag 632934/1970787
3490.50/3492.00	c Got one! Elapsed wall clock time (in seconds):3491.879
3490.50/3492.00	o -2167
3497.99/3499.45	c cleaning 17900 clauses out of 35815 with flag 27966/1988560
3505.98/3507.45	c cleaning 9565 clauses out of 23915 with flag 53560/1994560
3517.35/3518.83	c cleaning 6996 clauses out of 21350 with flag 76510/2001560
3528.24/3529.76	c cleaning 7984 clauses out of 22355 with flag 99311/2009561
3542.31/3543.87	c cleaning 9001 clauses out of 23370 with flag 124185/2018560
3557.58/3559.11	c cleaning 9989 clauses out of 24369 with flag 176837/2028560
3574.64/3576.28	c cleaning 10925 clauses out of 25380 with flag 212009/2039560
3595.69/3597.33	c cleaning 11958 clauses out of 26455 with flag 253273/2051560
3600.08/3601.71	c starts		: 7061
3600.08/3601.71	c conflicts		: 2055365
3600.08/3601.71	c decisions		: 20851892
3600.08/3601.71	c propagations		: 12219929705
3600.08/3601.71	c inspects		: 25935068102
3600.08/3601.71	c shortcuts		: 0
3600.08/3601.71	c learnt literals	: 110
3600.08/3601.71	c learnt binary clauses	: 2356
3600.08/3601.71	c learnt ternary clauses	: 2192
3600.08/3601.71	c learnt constraints	: 2055256
3600.08/3601.71	c ignored constraints	: 0
3600.08/3601.71	c root simplifications	: 0
3600.08/3601.71	c removed literals (reason simplification)	: 0
3600.08/3601.71	c reason swapping (by a shorter reason)	: 0
3600.08/3601.71	c Calls to reduceDB	: 131
3600.08/3601.71	c Number of update (reduction) of LBD	: 750167
3600.08/3601.71	c Imported unit clauses	: 0
3600.08/3601.71	c No decision after first conflict	: false
3600.08/3601.71	c number of reductions to clauses (during analyze)	: 0
3600.08/3601.71	c number of learned constraints concerned by reduction	: 0
3600.08/3601.71	c number of learning phase by resolution	: 0
3600.08/3601.72	c number of learning phase by cutting planes	: 0
3600.08/3601.72	c number of rounding to 1 operations	: 0
3600.08/3601.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3601.72	c number of reductions of the coefficients by power 2 	: 0
3600.08/3601.72	c number of right shift for reduction by power 2 	: 0
3600.08/3601.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3601.72	c number of ending skipping 	: 0
3600.08/3601.72	c number of internal skipping 	: 0
3600.08/3601.72	c number of derivation steps 	: 0
3600.08/3601.72	c number of skipped derivation steps 	: 0
3600.08/3601.72	c number of remaining unassigned 	: 0
3600.08/3601.72	c number of remaining assigned 	: 0
3600.08/3601.72	c number of falsified literals weakened from reason	: 0
3600.08/3601.72	c number of falsified literals weakened from conflict	: 0
3600.08/3601.72	c time for arithmetic operations	: 0
3600.08/3601.73	c minimum degree of deleted constraints	: null
3600.08/3601.73	c maximum degree of deleted constraints	: null
3600.08/3601.73	c number of deleted constraints	: 0
3600.08/3601.73	c speed (assignments/second)	: 3393785.755071684
3600.08/3601.73	c non guided choices	: 5505
3600.08/3601.73	c timeout
3600.08/3601.73	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.08/3601.73		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.08/3601.73		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.08/3601.73		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.08/3601.73		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.08/3601.73		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.08/3601.73		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.08/3601.73		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61554 MiB free)
  memory of node 1: 64510 MiB (62340 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=802494, runsolver pid=802488

[startup+0.100388 s]*
/proc/loadavg: 1.19 2.39 3.39 10/324 802567
/proc/meminfo: memFree=126706368/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=18975048 memory=63500 CPUtime=0.14 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 7242 0 0 0 12 2 0 0 20 0 18 0 157268776 19430449152 15875 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4743762 15875 5708 1 0 549351 0
[pid=802494/tid=802496] ppid=802488 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 5767 0 0 0 8 1 0 0 20 0 18 0 157268776 19430449152 15875 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=18975048 memory=17963 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 15875 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157268779 19430449152 15875 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63500 KiB

[startup+0.216574 s]*
/proc/loadavg: 1.19 2.39 3.39 13/324 802567
/proc/meminfo: memFree=126618472/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=18975048 memory=84560 CPUtime=0.34 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 8838 0 0 0 32 2 0 0 20 0 18 0 157268776 19430449152 21140 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4743762 21140 5812 1 0 550338 0
[pid=802494/tid=802496] ppid=802488 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 5914 0 0 0 17 1 0 0 20 0 18 0 157268776 19430449152 21140 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=18975048 memory=17963 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 21140 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157268779 19430449152 21140 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84560 KiB

[startup+0.311571 s]*
/proc/loadavg: 1.19 2.39 3.39 13/324 802567
/proc/meminfo: memFree=126481728/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=18975048 memory=118460 CPUtime=0.52 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 9233 0 0 0 49 3 0 0 20 0 18 0 157268776 19430449152 29615 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4743762 29615 5812 1 0 550648 0
[pid=802494/tid=802496] ppid=802488 vsize=18975048 memory=-8961148866352489148 CPUtime=0.28 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 5943 0 0 0 26 2 0 0 20 0 18 0 157268776 19430449152 29615 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157268778 19430449152 29615 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157268779 19430449152 29615 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 118460 KiB

[startup+0.700572 s]
/proc/loadavg: 1.19 2.39 3.39 14/328 802571
/proc/meminfo: memFree=126264964/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19041612 memory=202332 CPUtime=1.28 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 16140 0 0 0 122 6 0 0 20 0 19 0 157268776 19498610688 50583 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4760403 50583 5812 1 0 555684 0
[pid=802494/tid=802496] ppid=802488 vsize=19041612 memory=5492 CPUtime=0.59 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 5969 0 0 0 57 2 0 0 20 0 19 0 157268776 19498610688 50583 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19041612 memory=12312 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157268778 19498610688 50583 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157268779 19498610688 50583 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 202332 KiB

[startup+1.50257 s]
/proc/loadavg: 1.19 2.39 3.39 11/330 802573
/proc/meminfo: memFree=126107132/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=222628 CPUtime=2.86 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 18771 0 0 0 279 7 0 0 20 0 20 0 157268776 19566772224 55657 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 55657 5862 1 0 556914 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=12312 CPUtime=1.31 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 6098 0 0 0 128 3 0 0 20 0 20 0 157268776 19566772224 55657 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 55657 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 55657 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222628 KiB

[startup+3.10659 s]
/proc/loadavg: 2.05 2.55 3.43 6/332 802577
/proc/meminfo: memFree=126027084/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=223752 CPUtime=5.36 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 22341 0 0 0 528 8 0 0 20 0 20 0 157268776 19566772224 55938 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 55938 5880 1 0 556924 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=0 CPUtime=2.9 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 6230 0 0 0 287 3 0 0 20 0 20 0 157268776 19566772224 55938 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 55938 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=222944 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 55938 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 55938 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 5.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 223752 KiB

[startup+6.30057 s]
/proc/loadavg: 2.05 2.55 3.43 5/332 802577
/proc/meminfo: memFree=126030044/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=224036 CPUtime=8.62 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 23595 0 0 0 854 8 0 0 20 0 20 0 157268776 19566772224 56009 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 56009 5880 1 0 556940 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=12312 CPUtime=6.06 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 6535 0 0 0 603 3 0 0 20 0 20 0 157268776 19566772224 56009 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 56009 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 56009 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=-8598891670837502652 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 56009 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 8.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 224036 KiB

[startup+12.7003 s]
/proc/loadavg: 2.35 2.60 3.44 5/332 802577
/proc/meminfo: memFree=126004800/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=224636 CPUtime=15.61 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 33634 0 0 0 1552 9 0 0 20 0 20 0 157268776 19566772224 56159 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 56159 5912 1 0 556988 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=224452 CPUtime=12.44 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 8103 0 0 0 1241 3 0 0 20 0 20 0 157268776 19566772224 56159 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 56159 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 56159 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 56159 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 15.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 224636 KiB

[startup+25.5003 s]
/proc/loadavg: 2.61 2.64 3.45 7/332 802580
/proc/meminfo: memFree=125879012/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=224960 CPUtime=28.72 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 45105 0 0 0 2861 11 0 0 20 0 20 0 157268776 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 56240 5912 1 0 556988 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=224452 CPUtime=25.22 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 9241 0 0 0 2518 4 0 0 20 0 20 0 157268776 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=1816 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=224896 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 28.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 224960 KiB

[startup+51.1058 s]
/proc/loadavg: 3.22 2.79 3.47 5/332 802583
/proc/meminfo: memFree=125649656/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=224960 CPUtime=54.29 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 47476 0 0 0 5417 12 0 0 20 0 20 0 157268776 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 56240 5912 1 0 556988 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=25948 CPUtime=50.76 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 10657 0 0 0 5072 4 0 0 20 0 20 0 157268776 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=224960 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=224960 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 56240 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0

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

/proc/meminfo: memFree=110618868/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=2758248 CPUtime=3281.35 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 154902 0 0 0 327971 164 0 0 20 0 20 0 157268776 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 689562 5928 1 0 1062532 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=12316 CPUtime=3271.08 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 57860 0 0 0 327093 15 0 0 20 0 20 0 157268776 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 3208 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=1816 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 3281.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2758248 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.13 5/332 804358
/proc/meminfo: memFree=110220820/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=2758248 CPUtime=3341.22 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 156313 0 0 0 333957 165 0 0 20 0 20 0 157268776 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 689562 5928 1 0 1062532 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=2551396 CPUtime=3330.93 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 59072 0 0 0 333077 16 0 0 20 0 20 0 157268776 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=40256 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=2758248 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 3296 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 689562 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 3341.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2758248 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.17 4.14 5/332 804369
/proc/meminfo: memFree=109973984/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=2758252 CPUtime=3401.09 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 158113 0 0 0 339943 166 0 0 20 0 20 0 157268776 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 689563 5928 1 0 1062532 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=2758248 CPUtime=3390.78 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 60659 0 0 0 339062 16 0 0 20 0 20 0 157268776 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=2758252 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 3384 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=2758252 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 3401.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2758252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.19 4.14 5/332 804382
/proc/meminfo: memFree=109468380/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=2758252 CPUtime=3460.97 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 160032 0 0 0 345930 167 0 0 20 0 20 0 157268776 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 689563 5928 1 0 1062532 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=2758248 CPUtime=3450.63 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 62333 0 0 0 345047 16 0 0 20 0 20 0 157268776 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=-7450774191523258749 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 3472 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=2758252 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 689563 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 3460.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2758252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.46 4.26 4.17 5/332 804392
/proc/meminfo: memFree=109455532/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=2766444 CPUtime=3520.86 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 163044 0 0 0 351916 170 0 0 20 0 20 0 157268776 19566772224 691611 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 691611 5928 1 0 1062532 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=2220 CPUtime=3510.48 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 64862 0 0 0 351032 16 0 0 20 0 20 0 157268776 19566772224 691611 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=2758252 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 691611 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 3553 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 691611 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=40256 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 691611 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 3520.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2766444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.33 4.27 4.18 5/332 804403
/proc/meminfo: memFree=109290900/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=2932332 CPUtime=3580.73 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 164917 0 0 0 357898 175 0 0 20 0 20 0 157268776 19566772224 733083 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 733083 5928 1 0 1062532 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=40256 CPUtime=3570.33 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 66354 0 0 0 357012 21 0 0 20 0 20 0 157268776 19566772224 733083 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 733083 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 3636 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 733083 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=19804 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 733083 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 3580.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2932332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.7 s]
/proc/loadavg: 4.24 4.25 4.18 5/332 804610
/proc/meminfo: memFree=122095748/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=2977388 CPUtime=3600.08 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 165364 0 0 0 359832 176 0 0 20 0 20 0 157268776 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 744347 5928 1 0 1062532 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=12316 CPUtime=3589.67 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 66793 0 0 0 358946 21 0 0 20 0 20 0 157268776 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=2942572 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=-8598891670837502652 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 3636 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=40256 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2977388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.39 s, system=1.7826 s

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

[startup+3601.7 s]
/proc/loadavg: 4.24 4.25 4.18 5/332 804610
/proc/meminfo: memFree=122095748/131524600 swapFree=131071996/131071996
[pid=802494] ppid=802488 vsize=19108176 memory=2977388 CPUtime=3600.08 cores=4,6
/proc/802494/stat : 802494 (java) S 802488 802494 802425 0 -1 1077936128 165364 0 0 0 359832 176 0 0 20 0 20 0 157268776 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
/proc/802494/statm: 4777044 744347 5928 1 0 1062532 0
[pid=802494/tid=802496] ppid=802488 vsize=19108176 memory=12316 CPUtime=3589.67 cores=4,6
/proc/802494/task/802496/stat : 802496 (java) R 802488 802494 802425 0 -1 4194368 66793 0 0 0 358946 21 0 0 20 0 20 0 157268776 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802547] ppid=802488 vsize=19108176 memory=2942572 CPUtime=0 cores=4,6
/proc/802494/task/802547/stat : 802547 (Finalizer) S 802488 802494 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157268778 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802556] ppid=802488 vsize=19108176 memory=-8598891670837502652 CPUtime=0 cores=4,6
/proc/802494/task/802556/stat : 802556 (Common-Cleaner) S 802488 802494 802425 0 -1 1077936192 3636 0 0 0 0 0 0 0 20 0 20 0 157268779 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
[pid=802494/tid=802574] ppid=802488 vsize=19108176 memory=40256 CPUtime=0 cores=4,6
/proc/802494/task/802574/stat : 802574 (Timer-0) S 802488 802494 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157268881 19566772224 744347 134679101440 93881203458048 93881203461744 140732895519040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93881203469560 93881203470352 93881213517824 140732895523847 140732895523937 140732895523937 140732895530952 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2977388 KiB

Child status: 143

Real time (s): 3601.76
CPU time (s): 3600.17
CPU user time (s): 3598.39
CPU system time (s): 1.7826
CPU usage (%): 99.9559
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2977388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.39
system time used= 1.7826
maximum resident set size= 2989220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119493
involuntary context switches= 3310


# summary of solver processes directly reported to runsolver:
#   pid: 802494
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.39
#   total CPU system time (s): 1.7826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31329 second user time and 19.3025 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-15 15:43:23
IDJOB=4432147
IDBENCH=144624
IDSOLVER=3058
FILE ID=nodeC033/4432147-1721050991
RUNJOBID= nodeC033-1721051003-802436
SLURM_JOB_ID= 7505484
Free space on /tmp= 890056 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432147-1721050991/watcher-4432147-1721050991 -o /tmp/evaluation-result-4432147-1721050991/solver-4432147-1721050991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802436 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432147-1721050991.opb

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

MD5SUM BENCH= 1e7dffa7a0e3dc993564780a9c56329e
RANDOM SEED=466024245

nodeC033.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		: 3636.158
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.50
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		: 3608.633
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.25
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		: 3599.835
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.50
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		: 3568.974
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.25
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		: 3635.000
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.50
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		: 3605.100
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.25
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		: 3635.168
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.50
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		: 3559.368
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126874364 kB
MemAvailable:   129687208 kB
Buffers:          366568 kB
Cached:          3253492 kB
SwapCached:            0 kB
Active:           583724 kB
Inactive:        3411484 kB
Active(anon):       1512 kB
Inactive(anon):   411404 kB
Active(file):     582212 kB
Inactive(file):  3000080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             26680 kB
Writeback:             0 kB
AnonPages:        374060 kB
Mapped:           103092 kB
Shmem:             37716 kB
KReclaimable:     140396 kB
Slab:             250180 kB
SReclaimable:     140396 kB
SUnreclaim:       109784 kB
KernelStack:        3936 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     790520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC033 at 2024-07-15 16:43:25