Trace number 4459751

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)-31 3600.68 3555.35

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb
MD5SUM2a4ebf3c72122f3b44af8d9c3b5c44b1
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark71224
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint60
Maximum length of a constraint103
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37366
Sum of products size (including duplicates)74732
Number of different products18683
Sum of products size37366

Quality of the solution as a function of time


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

Solver Data 

0.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version CUSTOM.v20240707
0.12/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.17	c java.vm.version	22.0.1+8-16
0.12/0.17	c java.vm.vendor	Oracle Corporation
0.12/0.17	c sun.arch.data.model	64
0.12/0.17	c java.version		22.0.1
0.12/0.17	c os.name		Linux
0.12/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.17	c os.arch		amd64
0.12/0.18	c Free memory 		2113181440
0.12/0.18	c Max memory 		16282288128
0.12/0.18	c Total memory 		2122317824
0.12/0.18	c Number of processors 	2
0.30/0.27	--- Begin Solver configuration ---
0.30/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.27	Learn all clauses as in MiniSAT
0.30/0.27	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.27	No reason simplification
0.30/0.27	Glucose 2.1 dynamic restart strategy
0.30/0.27	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.30/0.27	timeout=2147483s
0.30/0.27	DB Simplification allowed=false
0.30/0.27	Listener: none
0.30/0.27	--- End Solver configuration ---
0.30/0.28	c Pseudo Boolean Optimization by upper bound
0.30/0.28	c --- Begin Solver configuration ---
0.30/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.28	c Learn all clauses as in MiniSAT
0.30/0.28	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.28	c No reason simplification
0.30/0.28	c Glucose 2.1 dynamic restart strategy
0.30/0.28	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.30/0.28	c timeout=2147483s
0.30/0.28	c DB Simplification allowed=false
0.30/0.28	c Listener: none
0.30/0.28	c --- End Solver configuration ---
0.30/0.29	c solving HOME/instance-4459751-1721939470.opb
0.30/0.29	c reading problem ... 
0.30/0.29	c  objective function found
1.39/0.82	c ... done. Wall clock time 0.545s.
1.39/0.84	c declared #vars     500
1.39/0.84	c internal #vars     19183
1.39/0.84	c #constraints  38366
1.39/0.84	c constraints type 
1.39/0.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18683
1.39/0.84	c org.sat4j.specs.Constr$1 => 511
1.39/0.84	c org.sat4j.pb.constraints.pb.UnitClausesPB => 477
1.39/0.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18683
1.39/0.84	c org.sat4j.pb.constraints.pb.UnitClausePB => 12
1.39/0.84	c 38366 constraints processed.
1.39/0.85	c objective function length is 500 literals
1.58/0.94	c SATISFIABLE
1.58/0.94	c OPTIMIZING...
1.58/0.94	c Got one! Elapsed wall clock time (in seconds):0.657
1.58/0.94	o -25
1.58/0.99	c Got one! Elapsed wall clock time (in seconds):0.711
1.58/0.99	o -26
1.79/1.06	c Got one! Elapsed wall clock time (in seconds):0.779
1.79/1.06	o -27
1.99/1.16	c Got one! Elapsed wall clock time (in seconds):0.876
1.99/1.16	o -28
3.68/2.16	c cleaning 2569 clauses out of 5147 with flag 11104/5147
4.85/3.02	c cleaning 4289 clauses out of 8578 with flag 24503/11147
5.66/3.77	c cleaning 5645 clauses out of 11289 with flag 38918/18147
6.84/4.81	c cleaning 6822 clauses out of 13644 with flag 55282/26147
8.47/6.21	c cleaning 7907 clauses out of 15824 with flag 73622/35149
10.52/8.13	c cleaning 8958 clauses out of 17916 with flag 94034/45148
12.48/9.97	c cleaning 9979 clauses out of 19958 with flag 116525/56148
14.69/12.15	c cleaning 10989 clauses out of 21978 with flag 140971/68147
17.24/14.57	c cleaning 11992 clauses out of 23989 with flag 167504/81147
19.62/16.76	c cleaning 12996 clauses out of 25998 with flag 196071/95148
23.09/20.07	c cleaning 13997 clauses out of 28001 with flag 226596/110147
26.99/23.76	c cleaning 14998 clauses out of 30005 with flag 259214/126148
30.03/26.66	c cleaning 16003 clauses out of 32006 with flag 293889/143147
33.95/30.24	c cleaning 17003 clauses out of 34005 with flag 330667/161149
38.42/34.58	c cleaning 18000 clauses out of 36001 with flag 369406/180148
43.29/39.23	c cleaning 18998 clauses out of 38000 with flag 410247/200147
49.09/44.84	c cleaning 19995 clauses out of 40002 with flag 453020/221147
54.40/49.90	c cleaning 20997 clauses out of 42007 with flag 497810/243147
60.92/56.28	c cleaning 22006 clauses out of 44011 with flag 544541/266148
66.55/61.60	c cleaning 23003 clauses out of 46006 with flag 593427/290149
71.47/66.38	c cleaning 24001 clauses out of 48002 with flag 644458/315148
81.90/76.11	c cleaning 24991 clauses out of 50000 with flag 697533/341147
91.59/85.69	c cleaning 26005 clauses out of 52010 with flag 752684/368148
99.85/93.49	c cleaning 27001 clauses out of 54004 with flag 809702/396147
107.57/100.97	c cleaning 28002 clauses out of 56004 with flag 868855/425148
116.33/109.50	c cleaning 28997 clauses out of 58002 with flag 930301/455148
124.80/117.81	c cleaning 30000 clauses out of 60004 with flag 993485/486147
133.64/126.22	c cleaning 31000 clauses out of 62005 with flag 1058756/518148
143.14/135.51	c cleaning 31999 clauses out of 64004 with flag 1126252/551147
161.46/152.71	c cleaning 33002 clauses out of 66005 with flag 1195892/585147
174.16/165.24	c cleaning 34002 clauses out of 68004 with flag 1267498/620148
183.59/174.20	c cleaning 34996 clauses out of 70002 with flag 1341295/656148
194.73/185.15	c cleaning 35999 clauses out of 72006 with flag 1416962/693148
205.41/195.45	c cleaning 37000 clauses out of 74007 with flag 1494667/731148
218.95/208.83	c cleaning 38000 clauses out of 76006 with flag 1574340/770147
235.30/224.81	c cleaning 39003 clauses out of 78006 with flag 1655755/810147
254.49/242.24	c cleaning 40002 clauses out of 80004 with flag 1739205/851148
269.61/256.95	c cleaning 40999 clauses out of 82004 with flag 1825029/893150
287.45/274.37	c cleaning 41999 clauses out of 84003 with flag 1912893/936148
305.75/292.48	c cleaning 43000 clauses out of 86005 with flag 2003044/980149
330.22/316.52	c cleaning 44003 clauses out of 88005 with flag 2094730/1025149
357.40/343.38	c cleaning 44998 clauses out of 90001 with flag 2188420/1071148
388.17/373.77	c cleaning 45998 clauses out of 92003 with flag 2284107/1118148
409.91/395.13	c cleaning 47001 clauses out of 94005 with flag 2381913/1166148
420.19/405.02	c Got one! Elapsed wall clock time (in seconds):404.746
420.19/405.02	o -29
422.39/407.09	c cleaning 40597 clauses out of 81194 with flag 10555/1200338
423.98/408.65	c cleaning 23299 clauses out of 46597 with flag 23217/1206338
425.17/409.87	c cleaning 15149 clauses out of 30297 with flag 37477/1213337
425.17/409.89	c Got one! Elapsed wall clock time (in seconds):409.617
425.17/409.89	o -30
427.31/411.76	c cleaning 10216 clauses out of 20438 with flag 11065/1218627
428.50/412.98	c cleaning 8106 clauses out of 16222 with flag 23931/1224627
429.62/414.04	c cleaning 7554 clauses out of 15115 with flag 39024/1231626
429.81/414.26	c Got one! Elapsed wall clock time (in seconds):413.987
429.81/414.26	o -31
430.86/415.18	c cleaning 6725 clauses out of 13462 with flag 8464/1237527
432.63/416.35	c cleaning 6366 clauses out of 12737 with flag 20696/1243527
434.12/417.84	c cleaning 6683 clauses out of 13373 with flag 34956/1250529
435.80/419.55	c cleaning 7343 clauses out of 14688 with flag 51256/1258527
437.71/421.44	c cleaning 8171 clauses out of 16346 with flag 69619/1267528
439.59/423.35	c cleaning 9087 clauses out of 18175 with flag 90015/1277528
442.25/425.81	c cleaning 10042 clauses out of 20088 with flag 112372/1288528
444.34/427.95	c cleaning 11022 clauses out of 22045 with flag 136838/1300527
446.72/430.21	c cleaning 12011 clauses out of 24023 with flag 163285/1313527
449.77/433.19	c cleaning 13004 clauses out of 26012 with flag 191715/1327527
454.76/438.18	c cleaning 14003 clauses out of 28010 with flag 222248/1342529
460.22/443.57	c cleaning 15002 clauses out of 30005 with flag 254839/1358527
467.29/450.48	c cleaning 16002 clauses out of 32003 with flag 289359/1375527
474.58/457.73	c cleaning 16995 clauses out of 34001 with flag 326009/1393527
481.95/464.98	c cleaning 17996 clauses out of 36006 with flag 364715/1412527
489.43/472.21	c cleaning 19002 clauses out of 38010 with flag 405426/1432527
497.08/479.85	c cleaning 20002 clauses out of 40010 with flag 448253/1453529
503.82/486.45	c cleaning 21003 clauses out of 42006 with flag 493007/1475527
511.69/494.11	c cleaning 21998 clauses out of 44005 with flag 539729/1498529
524.13/506.43	c cleaning 23003 clauses out of 46007 with flag 588420/1522529
536.86/519.10	c cleaning 23993 clauses out of 48002 with flag 639193/1547527
548.80/530.80	c cleaning 25004 clauses out of 50011 with flag 692100/1573529
564.39/546.11	c cleaning 25998 clauses out of 52006 with flag 747005/1600528
582.66/563.59	c cleaning 27002 clauses out of 54008 with flag 803941/1628528
594.37/574.96	c cleaning 27998 clauses out of 56006 with flag 862933/1657528
606.08/586.51	c cleaning 29005 clauses out of 58009 with flag 923986/1687529
622.03/602.35	c cleaning 29995 clauses out of 60002 with flag 987027/1718527
639.37/619.49	c cleaning 31004 clauses out of 62007 with flag 1052191/1750527
653.57/633.38	c cleaning 32002 clauses out of 64003 with flag 1119287/1783527
667.89/647.30	c cleaning 32997 clauses out of 66002 with flag 1188602/1817528
686.99/666.34	c cleaning 34001 clauses out of 68007 with flag 1259846/1852530
704.79/683.84	c cleaning 35001 clauses out of 70004 with flag 1333257/1888528
737.14/715.99	c cleaning 35992 clauses out of 72003 with flag 1408586/1925528
771.22/748.92	c cleaning 37003 clauses out of 74010 with flag 1485995/1963527
807.23/784.71	c cleaning 38003 clauses out of 76008 with flag 1565391/2002528
840.26/817.58	c cleaning 38999 clauses out of 78004 with flag 1646731/2042527
874.95/851.74	c cleaning 40002 clauses out of 80006 with flag 1730198/2083528
907.93/884.44	c cleaning 40998 clauses out of 82004 with flag 1815702/2125528
942.08/918.39	c cleaning 42004 clauses out of 84007 with flag 1903229/2168529
974.20/950.23	c cleaning 42994 clauses out of 86002 with flag 1992863/2212528
1001.99/977.62	c cleaning 44004 clauses out of 88007 with flag 2084542/2257527
1035.56/1009.10	c cleaning 45000 clauses out of 90004 with flag 2178230/2303528
1065.13/1038.48	c cleaning 46000 clauses out of 92004 with flag 2273950/2350528
1094.25/1067.48	c cleaning 47001 clauses out of 94005 with flag 2371616/2398529
1137.44/1110.56	c cleaning 48001 clauses out of 96002 with flag 2471272/2447527
1181.77/1154.89	c cleaning 48997 clauses out of 98002 with flag 2573045/2497528
1239.55/1212.49	c cleaning 49996 clauses out of 100006 with flag 2676961/2548529
1305.77/1278.68	c cleaning 51000 clauses out of 102009 with flag 2782939/2600528
1363.02/1335.73	c cleaning 52005 clauses out of 104011 with flag 2890917/2653530
1427.28/1399.42	c cleaning 52993 clauses out of 106003 with flag 3000803/2707527
1492.88/1463.88	c cleaning 54005 clauses out of 108010 with flag 3112724/2762527
1542.24/1512.80	c cleaning 54999 clauses out of 110006 with flag 3226603/2818528
1583.79/1554.04	c cleaning 56000 clauses out of 112007 with flag 3342638/2875528
1629.28/1599.00	c cleaning 56998 clauses out of 114007 with flag 3460959/2933528
1686.69/1655.91	c cleaning 58000 clauses out of 116008 with flag 3581234/2992527
1761.99/1730.92	c cleaning 59003 clauses out of 118008 with flag 3703490/3052527
1830.78/1799.13	c cleaning 60000 clauses out of 120006 with flag 3827785/3113528
1890.03/1858.04	c cleaning 60997 clauses out of 122006 with flag 3954114/3175528
1934.96/1902.60	c cleaning 62000 clauses out of 124008 with flag 4082441/3238527
1998.05/1964.17	c cleaning 63003 clauses out of 126008 with flag 4212765/3302527
2077.17/2042.95	c cleaning 63999 clauses out of 128005 with flag 4344827/3367527
2148.46/2113.99	c cleaning 64999 clauses out of 130006 with flag 4478962/3433527
2218.98/2183.76	c cleaning 66001 clauses out of 132008 with flag 4615044/3500528
2293.19/2257.60	c cleaning 66999 clauses out of 134007 with flag 4753243/3568528
2413.12/2377.39	c cleaning 68004 clauses out of 136007 with flag 4893803/3637527
2527.13/2490.98	c cleaning 68998 clauses out of 138003 with flag 5036300/3707527
2617.76/2581.34	c cleaning 70003 clauses out of 140005 with flag 5180866/3778527
2700.11/2661.38	c cleaning 71000 clauses out of 142002 with flag 5327655/3850527
2783.59/2744.78	c cleaning 71994 clauses out of 144002 with flag 5476327/3923527
2849.01/2809.79	c cleaning 72997 clauses out of 146008 with flag 5627109/3997527
2924.02/2884.22	c cleaning 74000 clauses out of 148013 with flag 5780118/4072529
2998.64/2958.38	c cleaning 75001 clauses out of 150011 with flag 5935155/4148527
3084.77/3044.01	c cleaning 76001 clauses out of 152010 with flag 6092096/4225527
3174.76/3133.79	c cleaning 77000 clauses out of 154010 with flag 6251081/4303528
3264.56/3223.11	c cleaning 78002 clauses out of 156009 with flag 6411934/4382527
3363.04/3321.09	c cleaning 79001 clauses out of 158007 with flag 6575102/4462527
3467.35/3424.87	c cleaning 80001 clauses out of 160008 with flag 6740254/4543529
3568.63/3523.83	c cleaning 80999 clauses out of 162006 with flag 6907281/4625528
3600.10/3555.04	c starts		: 131
3600.10/3555.07	c conflicts		: 4659027
3600.10/3555.07	c decisions		: 4806638
3600.10/3555.08	c propagations		: 24940803
3600.10/3555.09	c inspects		: 13919411070
3600.10/3555.09	c shortcuts		: 0
3600.10/3555.09	c learnt literals	: 0
3600.10/3555.09	c learnt binary clauses	: 0
3600.10/3555.09	c learnt ternary clauses	: 0
3600.10/3555.09	c learnt constraints	: 4659027
3600.10/3555.09	c ignored constraints	: 0
3600.10/3555.09	c root simplifications	: 0
3600.10/3555.09	c removed literals (reason simplification)	: 0
3600.10/3555.09	c reason swapping (by a shorter reason)	: 0
3600.10/3555.09	c Calls to reduceDB	: 128
3600.10/3555.09	c Number of update (reduction) of LBD	: 38627
3600.10/3555.09	c Imported unit clauses	: 0
3600.10/3555.09	c No decision after first conflict	: false
3600.10/3555.09	c number of reductions to clauses (during analyze)	: 0
3600.10/3555.09	c number of learned constraints concerned by reduction	: 0
3600.10/3555.09	c number of learning phase by resolution	: 0
3600.10/3555.09	c number of learning phase by cutting planes	: 0
3600.10/3555.09	c number of rounding to 1 operations	: 0
3600.10/3555.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.10/3555.09	c number of reductions of the coefficients by power 2 	: 0
3600.10/3555.09	c number of right shift for reduction by power 2 	: 0
3600.10/3555.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.10/3555.09	c number of ending skipping 	: 0
3600.10/3555.09	c number of internal skipping 	: 0
3600.10/3555.09	c number of derivation steps 	: 0
3600.10/3555.09	c number of skipped derivation steps 	: 0
3600.10/3555.09	c number of remaining unassigned 	: 0
3600.10/3555.09	c number of remaining assigned 	: 0
3600.10/3555.09	c number of falsified literals weakened from reason	: 0
3600.10/3555.09	c number of falsified literals weakened from conflict	: 0
3600.10/3555.09	c time for arithmetic operations	: 0
3600.30/3555.11	c minimum degree of deleted constraints	: null
3600.30/3555.11	c maximum degree of deleted constraints	: null
3600.30/3555.11	c number of deleted constraints	: 0
3600.30/3555.11	c speed (assignments/second)	: 7017.232744606274
3600.30/3555.13	c non guided choices	: 0
3600.46/3555.26	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 114506
3600.46/3555.26	s SATISFIABLE
3600.46/3555.26	c Found 7 solution(s)
3600.46/3555.26	v x1 x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 x130 x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 x259 -x260 -x261 x262 x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 
3600.46/3555.28	c objective function=-31
3600.46/3555.28	c Total wall clock time (in seconds): 3555.003

Verifier Data 

OK	-31

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62264 MiB free)
  memory of node 1: 64510 MiB (61855 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=299093, runsolver pid=299090

[startup+0.100071 s]*
/proc/loadavg: 0.75 0.22 0.22 7/315 299111
/proc/meminfo: memFree=127051768/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=18993908 memory=58428 CPUtime=0.12 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 6754 0 0 0 9 3 0 0 20 0 18 0 29936381 19449761792 14607 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4748477 14607 6000 1 0 551051 0
[pid=299093/tid=299095] ppid=299090 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) S 299090 299093 298698 0 -1 1077936192 5609 0 0 0 6 2 0 0 20 0 18 0 29936381 19449761792 14607 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936387 19449761792 14607 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=18993908 memory=3618136736603318475 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 29936388 19449761792 14607 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 58428 KiB

[startup+0.215557 s]*
/proc/loadavg: 0.75 0.22 0.22 7/315 299111
/proc/meminfo: memFree=127040668/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=18993908 memory=68444 CPUtime=0.3 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 7218 0 0 0 26 4 0 0 20 0 18 0 29936381 19449761792 17111 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4748477 17111 5988 1 0 551431 0
[pid=299093/tid=299095] ppid=299090 vsize=18993908 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) S 299090 299093 298698 0 -1 1077936192 5840 0 0 0 16 3 0 0 20 0 18 0 29936381 19449761792 17111 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=18993908 memory=1967857 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936387 19449761792 17111 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 29936388 19449761792 17111 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68444 KiB

[startup+0.322244 s]*
/proc/loadavg: 0.75 0.22 0.22 7/315 299111
/proc/meminfo: memFree=127019348/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=18993908 memory=69660 CPUtime=0.5 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 7459 0 0 0 46 4 0 0 20 0 18 0 29936381 19449761792 17415 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4748477 17415 6053 1 0 551648 0
[pid=299093/tid=299095] ppid=299090 vsize=18993908 memory=-9175075315995353788 CPUtime=0.29 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 6011 0 0 0 26 3 0 0 20 0 18 0 29936381 19449761792 17415 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936387 19449761792 17415 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 29936388 19449761792 17415 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 69660 KiB

[startup+0.701222 s]
/proc/loadavg: 0.75 0.22 0.22 7/315 299111
/proc/meminfo: memFree=126975500/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=18993908 memory=109332 CPUtime=1.2 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 9596 0 0 0 114 6 0 0 20 0 18 0 29936381 19449761792 27333 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4748477 27333 6133 1 0 552805 0
[pid=299093/tid=299095] ppid=299090 vsize=18993908 memory=5640 CPUtime=0.62 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 6043 0 0 0 58 4 0 0 20 0 18 0 29936381 19449761792 27333 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=18993908 memory=12240 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936387 19449761792 27333 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=18993908 memory=4929 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 29936388 19449761792 27333 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 109332 KiB

[startup+1.50123 s]
/proc/loadavg: 0.75 0.22 0.22 6/316 299112
/proc/meminfo: memFree=126709236/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19060472 memory=167436 CPUtime=2.76 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 15680 0 0 0 269 7 0 0 20 0 19 0 29936381 19517923328 41859 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4765118 41859 6171 1 0 555276 0
[pid=299093/tid=299095] ppid=299090 vsize=19060472 memory=4929 CPUtime=1.33 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 6806 0 0 0 128 5 0 0 20 0 19 0 29936381 19517923328 41859 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29936387 19517923328 41859 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19060472 memory=12240 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 29936388 19517923328 41859 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29936470 19517923328 41859 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 167436 KiB

[startup+3.10822 s]
/proc/loadavg: 1.17 0.32 0.25 4/296 299197
/proc/meminfo: memFree=126463284/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=263328 CPUtime=5.03 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 18358 0 0 0 493 10 0 0 20 0 20 0 29936381 19586084864 65832 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 65832 6202 1 0 555613 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=12240 CPUtime=2.8 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) S 299090 299093 298698 0 -1 1077936192 7619 0 0 0 275 5 0 0 20 0 20 0 29936381 19586084864 65832 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 65832 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 65832 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 65832 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 263328 KiB

[startup+6.30044 s]
/proc/loadavg: 1.17 0.32 0.25 6/318 299248
/proc/meminfo: memFree=125637352/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=415808 CPUtime=8.57 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 18592 0 0 0 843 14 0 0 20 0 20 0 29936381 19586084864 103952 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 103952 6218 1 0 555615 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=0 CPUtime=5.77 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 7625 0 0 0 571 6 0 0 20 0 20 0 29936381 19586084864 103952 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 103952 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 103952 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=72596 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 103952 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 8.57 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 415808 KiB

[startup+12.7012 s]
/proc/loadavg: 1.76 0.47 0.31 6/318 299249
/proc/meminfo: memFree=123560228/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=892296 CPUtime=15.37 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 21277 0 0 0 1513 24 0 0 20 0 20 0 29936381 19586084864 223074 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 223074 6218 1 0 910715 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=12240 CPUtime=11.71 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) S 299090 299093 298698 0 -1 1077936192 8431 0 0 0 1162 9 0 0 20 0 20 0 29936381 19586084864 223074 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=808160 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 223074 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 223074 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=808160 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 223074 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 15.37 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 892296 KiB

[startup+25.5005 s]
/proc/loadavg: 2.34 0.64 0.36 5/318 299253
/proc/meminfo: memFree=119630160/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=1632376 CPUtime=28.92 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 24871 0 0 0 2852 40 0 0 20 0 20 0 29936381 19586084864 408094 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 408094 6218 1 0 1190642 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=12264 CPUtime=23.78 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 8856 0 0 0 2365 13 0 0 20 0 20 0 29936381 19586084864 408094 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 408094 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=1421300 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 408094 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=-8815664730926849397 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 408094 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 28.92 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1632376 KiB

[startup+51.1133 s]
/proc/loadavg: 3.19 0.97 0.48 6/318 299256
/proc/meminfo: memFree=113433096/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=2639168 CPUtime=55.6 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 28111 0 0 0 5497 63 0 0 20 0 20 0 29936381 19586084864 659792 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 659792 6218 1 0 1307612 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=2437412 CPUtime=48.17 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 10086 0 0 0 4800 17 0 0 20 0 20 0 29936381 19586084864 659792 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=966024 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 659792 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=1968336 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 659792 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0

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

/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 100660 0 0 0 316694 48 0 0 20 0 20 0 29936381 19586084864 1607000 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=6428000 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 1607000 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=6428000 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 2033 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 1607000 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=6428000 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 1607000 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 3263.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6428000 KiB

[startup+3282.3 s]
/proc/loadavg: 4.34 4.35 4.25 5/316 300937
/proc/meminfo: memFree=75298068/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=6542688 CPUtime=3324.04 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 315251 0 0 0 332048 356 0 0 20 0 20 0 29936381 19586084864 1635672 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 1635672 6218 1 0 1964757 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=6428000 CPUtime=3226.71 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 101921 0 0 0 322623 48 0 0 20 0 20 0 29936381 19586084864 1635672 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=72956 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 1635672 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=6542688 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 2081 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 1635672 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=6542688 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 1635672 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 3324.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6542688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.37 4.27 5/315 301013
/proc/meminfo: memFree=91388856/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=6677856 CPUtime=3384.28 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 316229 0 0 0 338064 364 0 0 20 0 20 0 29936381 19586084864 1669464 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 1669464 6218 1 0 1964757 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=1424524688564413 CPUtime=3286.12 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 102638 0 0 0 328563 49 0 0 20 0 20 0 29936381 19586084864 1669464 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=6677856 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 1669464 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=6677856 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 2081 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 1669464 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=153472 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 1669464 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 3384.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6677856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.33 4.26 5/316 301024
/proc/meminfo: memFree=90886820/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=7142752 CPUtime=3444.9 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 319220 0 0 0 344112 378 0 0 20 0 20 0 29936381 19586084864 1785688 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 1785688 6218 1 0 1964757 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=1424524688564413 CPUtime=3345.18 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 103606 0 0 0 334469 49 0 0 20 0 20 0 29936381 19586084864 1785688 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=6677856 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 1785688 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=6810976 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 2223 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 1785688 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=6810976 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 1785688 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 3444.9 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7142752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.27 4.24 5/318 301273
/proc/meminfo: memFree=105781100/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=7474920 CPUtime=3506.84 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 340672 0 0 0 350294 390 0 0 20 0 20 0 29936381 19586084864 1868730 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 1868730 6218 1 0 2171619 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=1424524688564413 CPUtime=3404.67 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 110113 0 0 0 340415 52 0 0 20 0 20 0 29936381 19586084864 1868730 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=6677856 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 1868730 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 2223 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 1868730 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=7395048 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 1868730 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 3506.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7474920 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.25 4.24 5/318 301283
/proc/meminfo: memFree=105400280/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=7796456 CPUtime=3567.13 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 341477 0 0 0 356313 400 0 0 20 0 20 0 29936381 19586084864 1949114 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 1949114 6218 1 0 2171619 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=7142752 CPUtime=3464.04 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 110710 0 0 0 346347 57 0 0 20 0 20 0 29936381 19586084864 1949114 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=6542688 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 1949114 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 2224 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 1949114 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=7796456 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 1949114 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 3567.13 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7796456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3555 s]*
/proc/loadavg: 4.08 4.22 4.23 5/319 301347
/proc/meminfo: memFree=105342052/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19127036 memory=7853800 CPUtime=3600.1 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 342163 0 0 0 359607 403 0 0 20 0 20 0 29936381 19586084864 1963450 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4781759 1963450 6218 1 0 2171619 0
[pid=299093/tid=299095] ppid=299090 vsize=19127036 memory=-8600019774062895804 CPUtime=3496.32 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 110919 0 0 0 349575 57 0 0 20 0 20 0 29936381 19586084864 1963450 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19127036 memory=-7666952471195509373 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936387 19586084864 1963450 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19127036 memory=20964 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 2225 0 0 0 0 0 0 0 20 0 20 0 29936388 19586084864 1963450 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299112] ppid=299090 vsize=19127036 memory=2252 CPUtime=0 cores=0,2
/proc/299093/task/299112/stat : 299112 (Timer-0) S 299090 299093 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936470 19586084864 1963450 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7853800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.61 s, system=4.07558 s

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

[startup+3555.2 s]
/proc/loadavg: 4.08 4.22 4.23 5/319 301347
/proc/meminfo: memFree=105342052/131655788 swapFree=131060868/131071996
[pid=299093] ppid=299090 vsize=19326728 memory=7854512 CPUtime=3600.46 cores=0,2
/proc/299093/stat : 299093 (java) S 299090 299093 298698 0 -1 1077936128 343878 0 0 0 359643 403 0 0 20 0 21 0 29936381 19790569472 1963628 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
/proc/299093/statm: 4831682 1963628 6217 1 0 2172524 0
[pid=299093/tid=299095] ppid=299090 vsize=19326728 memory=12264 CPUtime=3496.51 cores=0,2
/proc/299093/task/299095/stat : 299095 (java) R 299090 299093 298698 0 -1 4194368 110999 0 0 0 349594 57 0 0 20 0 21 0 29936381 19790569472 1963628 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299104] ppid=299090 vsize=19326728 memory=72956 CPUtime=0 cores=0,2
/proc/299093/task/299104/stat : 299104 (Finalizer) S 299090 299093 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29936387 19790569472 1963628 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
[pid=299093/tid=299111] ppid=299090 vsize=19326728 memory=12240 CPUtime=0 cores=0,2
/proc/299093/task/299111/stat : 299111 (Common-Cleaner) S 299090 299093 298698 0 -1 1077936192 2225 0 0 0 0 0 0 0 20 0 21 0 29936388 19790569472 1963628 134679101440 94360516923392 94360516927088 140737308609392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94360516934904 94360516935696 94360532180992 140737308611594 140737308611684 140737308611684 140737308618696 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 7854512 KiB

[startup+3555.3 s]*
/proc/loadavg: 4.08 4.22 4.23 8/304 301350
/proc/meminfo: memFree=105356280/131655788 swapFree=131060868/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3555.35
CPU time (s): 3600.68
CPU user time (s): 3596.61
CPU system time (s): 4.07558
CPU usage (%): 101.275
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 7854512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.61
system time used= 4.07558
maximum resident set size= 7855828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113932
involuntary context switches= 29202


# summary of solver processes directly reported to runsolver:
#   pid: 299093
#   total CPU time (s): 3600.68
#   total CPU user time (s): 3596.61
#   total CPU system time (s): 4.07558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7913 second user time and 34.4614 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 22:31:10
IDJOB=4459751
IDBENCH=148534
IDSOLVER=3058
FILE ID=nodeC005/4459751-1721939470
RUNJOBID= nodeC005-1721939462-298708
SLURM_JOB_ID= 8247259
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 2a4ebf3c72122f3b44af8d9c3b5c44b1
RANDOM SEED=694240006

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127102000 kB
MemAvailable:   129066136 kB
Buffers:          324436 kB
Cached:          2456640 kB
SwapCached:          320 kB
Active:          1728420 kB
Inactive:        2251988 kB
Active(anon):       1612 kB
Inactive(anon):  1250676 kB
Active(file):    1726808 kB
Inactive(file):  1001312 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060868 kB
Dirty:              5072 kB
Writeback:             0 kB
AnonPages:       1198920 kB
Mapped:           119176 kB
Shmem:             52956 kB
KReclaimable:     152092 kB
Slab:             259964 kB
SReclaimable:     152092 kB
SUnreclaim:       107872 kB
KernelStack:        4800 kB
PageTables:        12872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9614616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12064 kB
HardwareCorrupted:     0 kB
AnonHugePages:    925696 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-25 23:30:25