Trace number 4451764

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.29 3570.96

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
MD5SUMecb94e70b440a48855e99e990bb4ec90
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1115.07
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5700
Total number of constraints27830
Number of constraints which are clauses27825
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint75
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.13/0.11	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.13	c Free memory 		2115194816
0.13/0.13	c Max memory 		16282288128
0.13/0.13	c Total memory 		2122317824
0.13/0.14	c Number of processors 	2
0.13/0.21	--- Begin Solver configuration ---
0.13/0.21	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.21	Learn all clauses as in MiniSAT
0.13/0.21	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.21	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.21	No reason simplification
0.13/0.21	Glucose 2.1 dynamic restart strategy
0.13/0.21	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.21	timeout=2147483s
0.13/0.21	DB Simplification allowed=false
0.13/0.21	Listener: none
0.13/0.21	--- End Solver configuration ---
0.13/0.21	c Pseudo Boolean Optimization by upper bound
0.13/0.21	c --- Begin Solver configuration ---
0.13/0.21	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.21	c Learn all clauses as in MiniSAT
0.13/0.21	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.21	c No reason simplification
0.13/0.21	c Glucose 2.1 dynamic restart strategy
0.13/0.21	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.21	c timeout=2147483s
0.13/0.21	c DB Simplification allowed=false
0.13/0.21	c Listener: none
0.13/0.21	c --- End Solver configuration ---
0.13/0.21	c solving HOME/instance-4451764-1721439477.opb
0.13/0.21	c reading problem ... 
0.13/0.22	c  no objective function found
1.83/1.08	c ... done. Wall clock time 0.862s.
1.83/1.09	c declared #vars     5700
1.83/1.09	c #constraints  27834
1.83/1.09	c constraints type 
1.83/1.09	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11174
1.83/1.09	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
1.83/1.09	c org.sat4j.specs.Constr$1 => 4
1.83/1.09	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16650
1.83/1.09	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
1.83/1.09	c 27834 constraints processed.
4.48/2.53	c cleaning 2499 clauses out of 5000 with flag 33341/5000
5.86/3.59	c cleaning 4251 clauses out of 8509 with flag 84567/11008
7.54/4.66	c cleaning 5616 clauses out of 11250 with flag 135116/18000
9.15/5.86	c cleaning 6812 clauses out of 13634 with flag 199103/26000
11.56/8.02	c cleaning 7907 clauses out of 15823 with flag 272046/35001
13.58/10.10	c cleaning 8948 clauses out of 17915 with flag 338080/45000
15.57/12.04	c cleaning 9979 clauses out of 19967 with flag 406882/56000
17.69/14.15	c cleaning 10991 clauses out of 21990 with flag 492677/68002
19.70/16.20	c cleaning 11999 clauses out of 23997 with flag 568803/81000
22.48/18.97	c cleaning 12999 clauses out of 25998 with flag 663915/95000
25.44/21.89	c cleaning 13997 clauses out of 27999 with flag 765034/110000
28.35/24.71	c cleaning 14982 clauses out of 30002 with flag 854761/126000
31.89/28.14	c cleaning 16010 clauses out of 32022 with flag 964247/143002
35.41/31.50	c cleaning 17004 clauses out of 34010 with flag 1085098/161000
39.10/35.22	c cleaning 18004 clauses out of 36012 with flag 1212641/180006
43.06/39.15	c cleaning 18992 clauses out of 38002 with flag 1330763/200000
47.44/43.56	c cleaning 20002 clauses out of 40010 with flag 1473963/221000
51.70/47.74	c cleaning 20996 clauses out of 42008 with flag 1608996/243000
56.78/52.73	c cleaning 21998 clauses out of 44012 with flag 1744767/266000
61.77/57.76	c cleaning 22974 clauses out of 46017 with flag 1895703/290003
67.41/63.21	c cleaning 24020 clauses out of 48040 with flag 2059435/315000
72.91/68.69	c cleaning 24981 clauses out of 50021 with flag 2213569/341001
78.73/74.34	c cleaning 26008 clauses out of 52039 with flag 2392644/368000
84.23/79.72	c cleaning 27012 clauses out of 54036 with flag 2556466/396005
90.52/85.94	c cleaning 28008 clauses out of 56019 with flag 2741807/425000
96.71/92.06	c cleaning 29001 clauses out of 58013 with flag 2917942/455002
103.51/98.63	c cleaning 29966 clauses out of 60011 with flag 3114953/486001
112.41/106.98	c cleaning 31016 clauses out of 62044 with flag 3322859/518000
119.55/113.84	c cleaning 31999 clauses out of 64029 with flag 3516513/551001
126.45/120.62	c cleaning 33008 clauses out of 66029 with flag 3708280/585000
134.96/129.03	c cleaning 33988 clauses out of 68023 with flag 3936047/620002
143.32/137.32	c cleaning 35013 clauses out of 70033 with flag 4168925/656000
151.32/145.22	c cleaning 36010 clauses out of 72021 with flag 4394191/693001
160.00/153.99	c cleaning 36974 clauses out of 74010 with flag 4653071/731000
168.36/162.21	c cleaning 38000 clauses out of 76036 with flag 4904346/770000
176.63/170.46	c cleaning 39006 clauses out of 78039 with flag 5160739/810003
185.63/179.31	c cleaning 39991 clauses out of 80030 with flag 5413048/851000
195.42/188.89	c cleaning 41000 clauses out of 82039 with flag 5669817/893000
204.43/197.72	c cleaning 42004 clauses out of 84039 with flag 5932202/936000
213.99/206.76	c cleaning 43005 clauses out of 86036 with flag 6180536/980001
223.58/216.26	c cleaning 44004 clauses out of 88030 with flag 6456715/1025000
233.60/226.18	c cleaning 44992 clauses out of 90026 with flag 6756115/1071000
243.99/236.49	c cleaning 46018 clauses out of 92045 with flag 7065906/1118011
255.97/248.37	c cleaning 46974 clauses out of 94016 with flag 7393014/1166000
267.57/259.88	c cleaning 48007 clauses out of 96042 with flag 7726270/1215000
278.51/270.69	c cleaning 49005 clauses out of 98035 with flag 8048826/1265000
289.93/281.90	c cleaning 50018 clauses out of 100036 with flag 8357937/1316006
301.61/293.66	c cleaning 50987 clauses out of 102012 with flag 8707698/1368000
313.31/305.23	c cleaning 51994 clauses out of 104025 with flag 9045643/1421000
325.52/317.30	c cleaning 52990 clauses out of 106031 with flag 9414350/1475000
337.34/328.81	c cleaning 54011 clauses out of 108042 with flag 9759368/1530001
350.80/342.38	c cleaning 55009 clauses out of 110030 with flag 10114458/1586000
366.38/357.58	c cleaning 55997 clauses out of 112023 with flag 10509012/1643002
379.25/370.36	c cleaning 56998 clauses out of 114024 with flag 10889881/1701000
393.84/384.82	c cleaning 58003 clauses out of 116026 with flag 11284367/1760000
408.54/399.49	c cleaning 58990 clauses out of 118025 with flag 11702511/1820002
423.65/414.43	c cleaning 60000 clauses out of 120033 with flag 12135020/1881000
437.08/427.55	c cleaning 61012 clauses out of 122035 with flag 12521667/1943002
452.17/442.31	c cleaning 61996 clauses out of 124021 with flag 12947673/2006000
469.64/459.58	c cleaning 63004 clauses out of 126026 with flag 13370648/2070001
485.24/474.82	c cleaning 64008 clauses out of 128022 with flag 13800786/2135001
500.71/489.80	c cleaning 65004 clauses out of 130013 with flag 14163470/2201000
517.32/506.15	c cleaning 65985 clauses out of 132009 with flag 14592110/2268000
533.19/521.70	c cleaning 67013 clauses out of 134025 with flag 15045466/2336001
552.20/540.02	c cleaning 67970 clauses out of 136012 with flag 15514115/2405001
567.24/554.72	c cleaning 69010 clauses out of 138041 with flag 15924934/2475000
586.58/573.71	c cleaning 70000 clauses out of 140032 with flag 16395056/2546001
603.85/590.82	c cleaning 70982 clauses out of 142031 with flag 16872704/2618000
622.45/609.08	c cleaning 72021 clauses out of 144055 with flag 17361468/2691006
642.89/629.32	c cleaning 72959 clauses out of 146030 with flag 17833607/2765002
666.30/652.61	c cleaning 74025 clauses out of 148071 with flag 18303554/2840002
688.74/674.93	c cleaning 74999 clauses out of 150044 with flag 18809574/2916000
710.61/696.67	c cleaning 76012 clauses out of 152045 with flag 19286370/2993000
732.74/718.61	c cleaning 77012 clauses out of 154036 with flag 19796342/3071003
757.20/742.93	c cleaning 77978 clauses out of 156026 with flag 20337768/3150005
780.97/766.59	c cleaning 78995 clauses out of 158043 with flag 20867526/3230000
806.33/791.71	c cleaning 80020 clauses out of 160051 with flag 21391591/3311003
831.68/817.14	c cleaning 80987 clauses out of 162028 with flag 21939062/3393000
857.41/842.80	c cleaning 82016 clauses out of 164041 with flag 22493225/3476000
883.82/869.17	c cleaning 83010 clauses out of 166025 with flag 23033642/3560000
911.93/897.19	c cleaning 83998 clauses out of 168016 with flag 23636725/3645001
940.06/925.15	c cleaning 84988 clauses out of 170017 with flag 24191407/3731000
968.77/953.77	c cleaning 85989 clauses out of 172029 with flag 24788491/3818000
995.50/980.31	c cleaning 87005 clauses out of 174041 with flag 25384788/3906001
1023.04/1007.73	c cleaning 88006 clauses out of 176035 with flag 26000752/3995000
1051.75/1036.33	c cleaning 88948 clauses out of 178030 with flag 26637411/4085001
1078.57/1063.04	c cleaning 90027 clauses out of 180081 with flag 27307781/4176000
1109.38/1093.37	c cleaning 90999 clauses out of 182054 with flag 27926146/4268000
1135.43/1119.46	c cleaning 92020 clauses out of 184055 with flag 28560587/4361000
1166.20/1150.06	c cleaning 93005 clauses out of 186035 with flag 29163561/4455000
1195.11/1178.70	c cleaning 93996 clauses out of 188030 with flag 29786846/4550000
1226.13/1209.89	c cleaning 95008 clauses out of 190034 with flag 30437078/4646000
1257.76/1241.33	c cleaning 96011 clauses out of 192026 with flag 31048321/4743000
1289.03/1272.40	c cleaning 96929 clauses out of 194015 with flag 31740746/4841000
1324.82/1308.02	c cleaning 98035 clauses out of 196086 with flag 32447343/4940000
1358.64/1341.97	c cleaning 99018 clauses out of 198052 with flag 33124237/5040001
1391.14/1374.22	c cleaning 99994 clauses out of 200033 with flag 33839473/5141000
1427.23/1410.15	c cleaning 100981 clauses out of 202039 with flag 34529292/5243000
1459.52/1442.58	c cleaning 102016 clauses out of 204058 with flag 35251386/5346000
1492.07/1474.98	c cleaning 102971 clauses out of 206042 with flag 35948130/5450000
1528.67/1511.31	c cleaning 104029 clauses out of 208072 with flag 36619740/5555001
1565.76/1548.21	c cleaning 105006 clauses out of 210042 with flag 37332595/5661000
1600.77/1583.03	c cleaning 105998 clauses out of 212038 with flag 38072801/5768002
1635.82/1617.86	c cleaning 106984 clauses out of 214038 with flag 38790216/5876000
1670.43/1651.91	c cleaning 108015 clauses out of 216056 with flag 39417487/5985002
1705.96/1687.36	c cleaning 109009 clauses out of 218039 with flag 40094811/6095000
1743.43/1724.30	c cleaning 110014 clauses out of 220031 with flag 40813061/6206001
1783.54/1764.26	c cleaning 111007 clauses out of 222016 with flag 41626366/6318000
1821.05/1801.85	c cleaning 111993 clauses out of 224009 with flag 42373579/6431000
1859.88/1840.50	c cleaning 112993 clauses out of 226016 with flag 43166667/6545000
1903.98/1884.45	c cleaning 113990 clauses out of 228024 with flag 44039656/6660001
1946.00/1926.27	c cleaning 114996 clauses out of 230033 with flag 44868690/6776000
1988.93/1968.95	c cleaning 115998 clauses out of 232037 with flag 45639350/6893000
2031.22/2011.03	c cleaning 116950 clauses out of 234039 with flag 46439740/7011000
2075.92/2055.52	c cleaning 118038 clauses out of 236089 with flag 47278013/7130000
2116.17/2095.62	c cleaning 118995 clauses out of 238051 with flag 48078907/7250000
2159.06/2137.24	c cleaning 120014 clauses out of 240056 with flag 48872248/7371000
2199.62/2177.56	c cleaning 121014 clauses out of 242043 with flag 49600948/7493001
2244.52/2222.29	c cleaning 121996 clauses out of 244028 with flag 50445497/7616000
2288.89/2265.95	c cleaning 123008 clauses out of 246032 with flag 51241210/7740000
2330.59/2306.83	c cleaning 123992 clauses out of 248025 with flag 52004397/7865001
2373.82/2349.74	c cleaning 125011 clauses out of 250032 with flag 52853106/7991000
2416.57/2391.82	c cleaning 126002 clauses out of 252021 with flag 53658374/8118000
2458.44/2433.44	c cleaning 126985 clauses out of 254019 with flag 54460532/8246000
2502.64/2477.50	c cleaning 127936 clauses out of 256034 with flag 55370502/8375000
2552.51/2527.19	c cleaning 129011 clauses out of 258098 with flag 56320499/8505000
2597.96/2572.38	c cleaning 130030 clauses out of 260087 with flag 57179657/8636000
2646.56/2620.99	c cleaning 131018 clauses out of 262058 with flag 58107437/8768001
2695.75/2670.23	c cleaning 131987 clauses out of 264039 with flag 59063537/8901000
2744.72/2719.27	c cleaning 133009 clauses out of 266052 with flag 60005023/9035000
2791.22/2765.79	c cleaning 134010 clauses out of 268045 with flag 60937368/9170002
2839.40/2813.35	c cleaning 135007 clauses out of 270033 with flag 61828135/9306000
2886.13/2859.75	c cleaning 136001 clauses out of 272026 with flag 62816197/9443000
2935.97/2909.36	c cleaning 137009 clauses out of 274031 with flag 63767667/9581006
2989.65/2962.74	c cleaning 137992 clauses out of 276016 with flag 64844108/9720000
3040.12/3013.31	c cleaning 138973 clauses out of 278024 with flag 65926618/9860000
3090.16/3063.28	c cleaning 140015 clauses out of 280051 with flag 66914527/10001000
3142.08/3114.56	c cleaning 141011 clauses out of 282036 with flag 67782357/10143000
3191.95/3164.58	c cleaning 141976 clauses out of 284025 with flag 68804194/10286000
3240.01/3212.48	c cleaning 143024 clauses out of 286052 with flag 69740712/10430003
3295.88/3268.03	c cleaning 144000 clauses out of 288025 with flag 70786419/10575000
3361.47/3332.44	c cleaning 144975 clauses out of 290027 with flag 71846189/10721002
3423.76/3394.94	c cleaning 146010 clauses out of 292050 with flag 72903401/10868000
3484.83/3455.78	c cleaning 147006 clauses out of 294040 with flag 73922788/11016000
3545.17/3516.29	c cleaning 148012 clauses out of 296034 with flag 75024139/11165000
3600.04/3570.82	c timeout
3600.04/3570.82	c starts		: 43654
3600.04/3570.83	c conflicts		: 11305699
3600.04/3570.83	c decisions		: 119644303
3600.04/3570.83	c propagations		: 3714998018
3600.04/3570.83	c inspects		: 45486760994
3600.04/3570.83	c shortcuts		: 0
3600.04/3570.83	c learnt literals	: 0
3600.04/3570.83	c learnt binary clauses	: 0
3600.04/3570.83	c learnt ternary clauses	: 0
3600.04/3570.83	c learnt constraints	: 11305699
3600.04/3570.83	c ignored constraints	: 0
3600.04/3570.83	c root simplifications	: 0
3600.04/3570.83	c removed literals (reason simplification)	: 0
3600.04/3570.83	c reason swapping (by a shorter reason)	: 0
3600.04/3570.83	c Calls to reduceDB	: 145
3600.04/3570.83	c Number of update (reduction) of LBD	: 6311533
3600.04/3570.83	c Imported unit clauses	: 0
3600.04/3570.83	c No decision after first conflict	: false
3600.04/3570.83	c number of reductions to clauses (during analyze)	: 0
3600.04/3570.83	c number of learned constraints concerned by reduction	: 0
3600.04/3570.83	c number of learning phase by resolution	: 0
3600.04/3570.83	c number of learning phase by cutting planes	: 0
3600.04/3570.83	c number of rounding to 1 operations	: 0
3600.04/3570.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3570.83	c number of reductions of the coefficients by power 2 	: 0
3600.04/3570.83	c number of right shift for reduction by power 2 	: 0
3600.04/3570.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3570.83	c number of ending skipping 	: 0
3600.04/3570.83	c number of internal skipping 	: 0
3600.04/3570.83	c number of derivation steps 	: 0
3600.04/3570.83	c number of skipped derivation steps 	: 0
3600.04/3570.83	c number of remaining unassigned 	: 0
3600.04/3570.83	c number of remaining assigned 	: 0
3600.04/3570.83	c number of falsified literals weakened from reason	: 0
3600.04/3570.83	c number of falsified literals weakened from conflict	: 0
3600.04/3570.83	c time for arithmetic operations	: 0
3600.04/3570.83	c minimum degree of deleted constraints	: null
3600.04/3570.83	c maximum degree of deleted constraints	: null
3600.04/3570.83	c number of deleted constraints	: 0
3600.04/3570.83	c speed (assignments/second)	: 1040695.5654299518
3600.04/3570.83	c non guided choices	: 4589
3600.04/3570.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 288721
3600.04/3570.90	s UNKNOWN
3600.04/3570.90	c Total wall clock time (in seconds): 3570.684

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: 64096 MiB (61823 MiB free)
  memory of node 1: 64473 MiB (60377 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451764-1721439477/watcher-4451764-1721439477 -o /tmp/evaluation-result-4451764-1721439477/solver-4451764-1721439477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036502 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451764-1721439477.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 Starting watchdog threa
Linux Starting watchdog threa

Current StackSize limit: 8192 KiB

solver pid=1039702, runsolver pid=1039699

[startup+0.102542 s]*
/proc/loadavg: 4.25 4.21 4.19 7/316 1039720
/proc/meminfo: memFree=125097076/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=18975048 memory=58408 CPUtime=0.13 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 6505 0 0 0 10 3 0 0 20 0 18 0 196104866 19430449152 14602 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4743762 14602 5714 1 0 550947 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 5484 0 0 0 6 2 0 0 20 0 18 0 196104867 19430449152 14624 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196104872 19430449152 14624 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=18975048 memory=14698495669638111 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196104873 19430449152 14624 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58408 KiB

[startup+0.221595 s]*
/proc/loadavg: 4.25 4.21 4.19 8/316 1039720
/proc/meminfo: memFree=125090068/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=18975048 memory=65432 CPUtime=0.34 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 7238 0 0 0 31 3 0 0 20 0 18 0 196104866 19430449152 16358 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4743762 16358 5735 1 0 551577 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 5812 0 0 0 17 2 0 0 20 0 18 0 196104867 19430449152 16358 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=18975048 memory=1774770 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196104872 19430449152 16358 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196104873 19430449152 16358 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65432 KiB

[startup+0.320593 s]*
/proc/loadavg: 4.25 4.21 4.19 8/316 1039720
/proc/meminfo: memFree=125084860/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=18975048 memory=72564 CPUtime=0.52 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 7370 0 0 0 49 3 0 0 20 0 18 0 196104866 19430449152 18141 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4743762 18141 5860 1 0 551641 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=18975048 memory=-7163922414798922337 CPUtime=0.27 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 5823 0 0 0 25 2 0 0 20 0 18 0 196104867 19430449152 18141 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196104872 19430449152 18141 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196104873 19430449152 18141 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72564 KiB

[startup+0.700416 s]
/proc/loadavg: 4.25 4.21 4.19 6/316 1039720
/proc/meminfo: memFree=125053972/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=18975048 memory=138364 CPUtime=1.22 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 9005 0 0 0 117 5 0 0 20 0 18 0 196104866 19430449152 34591 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4743762 34591 5860 1 0 552677 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=18975048 memory=5540 CPUtime=0.63 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 5859 0 0 0 59 4 0 0 20 0 18 0 196104867 19430449152 34591 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=18975048 memory=12508 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196104872 19430449152 34591 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196104873 19430449152 34591 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 138364 KiB

[startup+1.50159 s]
/proc/loadavg: 4.25 4.21 4.19 5/317 1039721
/proc/meminfo: memFree=124987972/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=188108 CPUtime=2.79 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 21861 0 0 0 270 9 0 0 20 0 20 0 196104866 19566772224 47027 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 47027 5876 1 0 558828 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=12508 CPUtime=1.36 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 6550 0 0 0 131 5 0 0 20 0 20 0 196104867 19566772224 47027 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 47027 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 47027 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188108 KiB

[startup+3.10559 s]
/proc/loadavg: 4.25 4.21 4.19 5/318 1039722
/proc/meminfo: memFree=124965712/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=189304 CPUtime=5.32 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 24000 0 0 0 522 10 0 0 20 0 20 0 196104866 19566772224 47326 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 47326 5891 1 0 558890 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=0 CPUtime=2.95 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 7575 0 0 0 290 5 0 0 20 0 20 0 196104867 19566772224 47326 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 47326 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 47326 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=165508 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 47326 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189304 KiB

[startup+6.3006 s]
/proc/loadavg: 4.31 4.23 4.19 6/318 1039722
/proc/meminfo: memFree=124969920/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=184900 CPUtime=9.86 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 24259 0 0 0 976 10 0 0 20 0 20 0 196104866 19566772224 46225 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 46225 5891 1 0 558897 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=0 CPUtime=6.11 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 7695 0 0 0 606 5 0 0 20 0 20 0 196104867 19566772224 46225 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 46225 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 46225 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 46225 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 9.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184900 KiB

[startup+12.7005 s]
/proc/loadavg: 4.29 4.22 4.19 5/318 1039724
/proc/meminfo: memFree=124955392/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=199776 CPUtime=16.26 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 26349 0 0 0 1615 11 0 0 20 0 20 0 196104866 19566772224 49944 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 49944 5939 1 0 558897 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=199776 CPUtime=12.43 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 8306 0 0 0 1238 5 0 0 20 0 20 0 196104867 19566772224 49944 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=189304 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 49944 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=-7163922414798922337 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 49944 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=281215803132160 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 49944 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 199776 KiB

[startup+25.5005 s]
/proc/loadavg: 4.22 4.21 4.18 5/318 1039725
/proc/meminfo: memFree=124809336/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=370356 CPUtime=29.28 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 32864 0 0 0 2911 17 0 0 20 0 20 0 196104866 19566772224 92589 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 92589 5939 1 0 558897 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=281215803132160 CPUtime=24.76 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 9372 0 0 0 2471 5 0 0 20 0 20 0 196104867 19566772224 92589 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=25544 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 92589 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=236744 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 92589 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=199464 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 92589 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 29.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 370356 KiB

[startup+51.113 s]
/proc/loadavg: 4.29 4.22 4.19 5/318 1039730
/proc/meminfo: memFree=124446912/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=620788 CPUtime=55.2 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 37119 0 0 0 5494 26 0 0 20 0 20 0 196104866 19566772224 155197 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 155197 5939 1 0 558897 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=11420 CPUtime=49.78 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 11030 0 0 0 4972 6 0 0 20 0 20 0 196104867 19566772224 155197 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=499752 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 155197 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=-7163922414798922337 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 155197 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=12508 CPUtime=0 cores=0,2

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

[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.21 5/321 1042360
/proc/meminfo: memFree=118419076/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=9529156 CPUtime=3249.89 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 227576 0 0 0 324603 386 0 0 20 0 20 0 196104866 19566772224 2382289 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 2382289 5939 1 0 2609343 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=9529156 CPUtime=3176.61 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 87990 0 0 0 317621 40 0 0 20 0 20 0 196104867 19566772224 2382289 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=48488 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 2382289 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=2264 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 1509 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 2382289 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 2382289 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 3249.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9529156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.22 4.21 5/321 1042371
/proc/meminfo: memFree=117971224/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=9832260 CPUtime=3310.13 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 230235 0 0 0 330619 394 0 0 20 0 20 0 196104866 19566772224 2458065 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 2458065 5939 1 0 2609343 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=7124 CPUtime=3236.02 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 90251 0 0 0 323562 40 0 0 20 0 20 0 196104867 19566772224 2458065 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 2458065 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=9529156 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 1626 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 2458065 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=9832260 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 2458065 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 3310.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9832260 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.19 5/321 1042381
/proc/meminfo: memFree=117246676/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=10431460 CPUtime=3371.29 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 250695 0 0 0 336716 413 0 0 20 0 20 0 196104866 19566772224 2607865 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 2607865 5939 1 0 3743781 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=11420 CPUtime=3295.21 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 97763 0 0 0 329476 45 0 0 20 0 20 0 196104867 19566772224 2607865 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=9832260 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 2607865 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=10427364 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 1626 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 2607865 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=1832 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 2607865 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 3371.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10431460 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.18 5/321 1042392
/proc/meminfo: memFree=116827108/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=10669028 CPUtime=3431.14 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 254933 0 0 0 342692 422 0 0 20 0 20 0 196104866 19566772224 2667257 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 2667257 5939 1 0 3743781 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=9832260 CPUtime=3355.01 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 101638 0 0 0 335451 50 0 0 20 0 20 0 196104867 19566772224 2667257 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=9832260 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 2667257 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=48488 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 1751 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 2667257 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=10605540 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 2667257 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 3431.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10669028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.18 6/319 1042403
/proc/meminfo: memFree=116521164/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=10966148 CPUtime=3491.42 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 262768 0 0 0 348711 431 0 0 20 0 20 0 196104866 19566772224 2741537 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 2741537 5939 1 0 3743781 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=9832260 CPUtime=3414.33 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 105563 0 0 0 341378 55 0 0 20 0 20 0 196104867 19566772224 2741537 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=9832260 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 2741537 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=10966148 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 1865 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 2741537 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 2741537 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 3491.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10966148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/317 1042414
/proc/meminfo: memFree=116393420/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=10966188 CPUtime=3551.25 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 267221 0 0 0 354691 434 0 0 20 0 20 0 196104866 19566772224 2741547 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 2741547 5939 1 0 3743791 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=5540 CPUtime=3474.11 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 109656 0 0 0 347355 56 0 0 20 0 20 0 196104867 19566772224 2741547 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=10966148 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 2741547 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=10966148 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 1982 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 2741547 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=1832 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 2741547 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 3551.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10966188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3570.8 s]
/proc/loadavg: 4.15 4.15 4.17 5/317 1042421
/proc/meminfo: memFree=116182812/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19108176 memory=11097348 CPUtime=3600.04 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 274681 0 0 0 359564 440 0 0 20 0 20 0 196104866 19566772224 2774337 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4777044 2774337 5939 1 0 3743797 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19108176 memory=1774686 CPUtime=3521.88 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) R 1039699 1039702 1036492 0 -1 4194368 112863 0 0 0 352131 57 0 0 20 0 20 0 196104867 19566772224 2774337 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19108176 memory=1775553 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196104872 19566772224 2774337 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19108176 memory=3617010832318392438 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 2096 0 0 0 0 0 0 0 20 0 20 0 196104873 19566772224 2774337 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039722] ppid=1039699 vsize=19108176 memory=2340 CPUtime=0 cores=0,2
/proc/1039702/task/1039722/stat : 1039722 (Timer-0) S 1039699 1039702 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196104975 19566772224 2774337 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11097348 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.83 s, system=4.46749 s

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

[startup+3570.91 s]
/proc/loadavg: 4.15 4.15 4.17 5/317 1042421
/proc/meminfo: memFree=116182812/131655788 swapFree=131070704/131071996
[pid=1039702] ppid=1039699 vsize=19307868 memory=11098088 CPUtime=3600.23 cores=0,2
/proc/1039702/stat : 1039702 (java) S 1039699 1039702 1036492 0 -1 1077936128 277621 0 0 0 359582 441 0 0 20 0 19 0 196104866 19771256832 2774522 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
/proc/1039702/statm: 4826967 2774522 5935 1 0 3744728 0
[pid=1039702/tid=1039704] ppid=1039699 vsize=19307868 memory=10966192 CPUtime=3521.9 cores=0,2
/proc/1039702/task/1039704/stat : 1039704 (java) S 1039699 1039702 1036492 0 -1 1077936192 113131 0 0 0 352133 57 0 0 20 0 19 0 196104867 19771256832 2774522 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039713] ppid=1039699 vsize=19307868 memory=48488 CPUtime=0 cores=0,2
/proc/1039702/task/1039713/stat : 1039713 (Finalizer) S 1039699 1039702 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196104872 19771256832 2774522 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
[pid=1039702/tid=1039720] ppid=1039699 vsize=19307868 memory=11420 CPUtime=0 cores=0,2
/proc/1039702/task/1039720/stat : 1039720 (Common-Cleaner) S 1039699 1039702 1036492 0 -1 1077936192 2096 0 0 0 0 0 0 0 20 0 19 0 196104873 19771256832 2774522 134679101440 94226263457792 94226263461488 140734412260832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94226263469304 94226263470096 94226268487680 140734412264453 140734412264543 140734412264543 140734412271560 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 11098088 KiB

Child status: 143

Real time (s): 3570.96
CPU time (s): 3600.29
CPU user time (s): 3595.83
CPU system time (s): 4.46749
CPU usage (%): 100.821
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 11098088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.83
system time used= 4.46749
maximum resident set size= 11099164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277704
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112125
involuntary context switches= 27888


# summary of solver processes directly reported to runsolver:
#   pid: 1039702
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3595.83
#   total CPU system time (s): 4.46749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9799 second user time and 36.0728 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 03:38:10
IDJOB=4451764
IDBENCH=162644
IDSOLVER=3058
FILE ID=nodeC011/4451764-1721439477
RUNJOBID= nodeC011-1721434915-1036502
SLURM_JOB_ID= 7545639
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451764-1721439477/watcher-4451764-1721439477 -o /tmp/evaluation-result-4451764-1721439477/solver-4451764-1721439477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036502 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451764-1721439477.opb

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

MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=1093221037

nodeC011.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.650
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.20
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		: 3645.840
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.122
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.20
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		: 1197.252
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		: 3621.733
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.20
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		: 3568.786
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.120
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.20
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.242
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:        125133700 kB
MemAvailable:   125684380 kB
Buffers:          565072 kB
Cached:           833136 kB
SwapCached:          132 kB
Active:          1079756 kB
Inactive:        4941016 kB
Active(anon):       1464 kB
Inactive(anon):  4666732 kB
Active(file):    1078292 kB
Inactive(file):   274284 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              4456 kB
Writeback:             0 kB
AnonPages:       4622560 kB
Mapped:           126956 kB
Shmem:             45592 kB
KReclaimable:      76608 kB
Slab:             160176 kB
SReclaimable:      76608 kB
SUnreclaim:        83568 kB
KernelStack:        4780 kB
PageTables:        19128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7778516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4403200 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC011 at 2024-07-20 04:37:41