Trace number 4454164

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.2 3581.43

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-15diag_spec_greater.opb
MD5SUM4a5e1d83e2dadedc898f0365dfa20016
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 benchmark0.134427
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables750
Total number of constraints932
Number of constraints which are clauses675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints257
Minimum length of a constraint2
Maximum length of a constraint255
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 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147483647
Number of bits of the biggest sum of numbers31
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4454164-1721494156.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.17	c ... done. Wall clock time 0.044s.
0.14/0.17	c declared #vars     750
0.14/0.17	c #constraints  1188
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 540
0.14/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 423
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 225
0.14/0.17	c 1188 constraints processed.
1.51/0.81	c cleaning 2494 clauses out of 5000 with flag 11196/5000
2.41/1.57	c cleaning 4254 clauses out of 8508 with flag 23813/11002
3.51/2.64	c cleaning 5625 clauses out of 11252 with flag 38283/18000
4.93/3.90	c cleaning 6813 clauses out of 13627 with flag 54879/26000
6.33/5.30	c cleaning 7903 clauses out of 15815 with flag 74013/35001
8.27/7.20	c cleaning 8953 clauses out of 17911 with flag 94715/45000
10.27/9.16	c cleaning 9979 clauses out of 19959 with flag 117943/56001
12.60/11.42	c cleaning 10987 clauses out of 21980 with flag 142869/68001
14.88/13.79	c cleaning 11996 clauses out of 23993 with flag 169643/81001
17.40/16.28	c cleaning 12991 clauses out of 25996 with flag 198594/95000
20.36/19.14	c cleaning 14003 clauses out of 28006 with flag 229672/110001
23.56/22.34	c cleaning 14999 clauses out of 30002 with flag 263619/126000
26.92/25.61	c cleaning 16000 clauses out of 32003 with flag 298873/143000
30.19/28.83	c cleaning 16999 clauses out of 34003 with flag 336842/161000
34.07/32.44	c cleaning 18002 clauses out of 36006 with flag 376756/180002
38.12/36.43	c cleaning 18997 clauses out of 38002 with flag 418787/200000
42.15/40.47	c cleaning 20000 clauses out of 40005 with flag 461914/221000
46.38/44.63	c cleaning 20998 clauses out of 42005 with flag 507026/243000
50.92/49.16	c cleaning 21998 clauses out of 44007 with flag 554527/266000
55.55/53.71	c cleaning 23002 clauses out of 46010 with flag 604278/290001
60.70/58.82	c cleaning 23997 clauses out of 48007 with flag 655719/315000
65.95/64.06	c cleaning 24999 clauses out of 50010 with flag 709038/341000
71.04/69.14	c cleaning 26005 clauses out of 52012 with flag 764785/368001
76.91/74.72	c cleaning 26999 clauses out of 54007 with flag 823232/396001
82.68/80.46	c cleaning 27999 clauses out of 56007 with flag 884289/425000
89.55/87.21	c cleaning 29003 clauses out of 58010 with flag 945094/455002
96.04/93.64	c cleaning 30000 clauses out of 60005 with flag 1009672/486000
102.82/100.38	c cleaning 31000 clauses out of 62005 with flag 1076345/518000
109.92/107.35	c cleaning 32001 clauses out of 64005 with flag 1144250/551000
117.21/114.62	c cleaning 32997 clauses out of 66004 with flag 1215192/585000
124.98/122.31	c cleaning 34002 clauses out of 68008 with flag 1288837/620001
132.88/130.26	c cleaning 34996 clauses out of 70005 with flag 1365093/656000
142.12/139.38	c cleaning 36002 clauses out of 72009 with flag 1444093/693000
151.36/148.23	c cleaning 36997 clauses out of 74008 with flag 1525246/731001
159.92/156.73	c cleaning 38002 clauses out of 76010 with flag 1606470/770000
168.26/165.11	c cleaning 39000 clauses out of 78009 with flag 1690126/810001
177.44/174.30	c cleaning 40002 clauses out of 80009 with flag 1777489/851001
186.82/183.66	c cleaning 41001 clauses out of 82006 with flag 1867207/893000
195.75/192.67	c cleaning 41995 clauses out of 84006 with flag 1957656/936001
205.97/202.81	c cleaning 42997 clauses out of 86011 with flag 2049411/980001
215.88/212.84	c cleaning 44005 clauses out of 88014 with flag 2144051/1025001
226.36/223.28	c cleaning 45000 clauses out of 90008 with flag 2239931/1071000
237.22/233.97	c cleaning 46001 clauses out of 92009 with flag 2339427/1118001
248.62/244.98	c cleaning 47003 clauses out of 94008 with flag 2440270/1166001
260.31/256.53	c cleaning 47997 clauses out of 96004 with flag 2542954/1215000
272.12/268.25	c cleaning 49001 clauses out of 98008 with flag 2647558/1265001
284.40/280.56	c cleaning 50000 clauses out of 100006 with flag 2754366/1316000
296.84/292.84	c cleaning 51000 clauses out of 102006 with flag 2862774/1368000
308.26/304.19	c cleaning 52000 clauses out of 104006 with flag 2971786/1421000
320.01/315.81	c cleaning 53000 clauses out of 106007 with flag 3080377/1475001
333.21/328.94	c cleaning 53998 clauses out of 108007 with flag 3193097/1530001
347.07/342.65	c cleaning 54999 clauses out of 110008 with flag 3309320/1586000
361.80/356.87	c cleaning 56000 clauses out of 112010 with flag 3426239/1643001
377.12/372.17	c cleaning 57000 clauses out of 114009 with flag 3549156/1701000
391.96/386.86	c cleaning 57999 clauses out of 116009 with flag 3669916/1760000
407.81/402.59	c cleaning 58999 clauses out of 118011 with flag 3794785/1820001
423.24/417.85	c cleaning 60001 clauses out of 120011 with flag 3922410/1881000
438.08/432.51	c cleaning 61004 clauses out of 122010 with flag 4052443/1943000
454.61/448.98	c cleaning 61998 clauses out of 124006 with flag 4186438/2006000
471.26/465.01	c cleaning 63000 clauses out of 126008 with flag 4319489/2070000
487.92/481.81	c cleaning 63999 clauses out of 128008 with flag 4455379/2135000
504.72/498.70	c cleaning 64998 clauses out of 130009 with flag 4597303/2201000
522.42/516.58	c cleaning 66002 clauses out of 132012 with flag 4740176/2268001
540.53/534.66	c cleaning 67004 clauses out of 134009 with flag 4883702/2336000
559.48/553.45	c cleaning 68000 clauses out of 136006 with flag 5030629/2405001
579.08/572.90	c cleaning 68986 clauses out of 138005 with flag 5180609/2475000
598.19/591.92	c cleaning 70003 clauses out of 140020 with flag 5331776/2546001
618.10/611.79	c cleaning 71001 clauses out of 142017 with flag 5482728/2618001
638.36/631.54	c cleaning 72002 clauses out of 144015 with flag 5636601/2691000
659.09/652.13	c cleaning 73002 clauses out of 146013 with flag 5794117/2765000
681.09/674.09	c cleaning 73997 clauses out of 148012 with flag 5954718/2840001
701.32/694.14	c cleaning 74998 clauses out of 150014 with flag 6112684/2916000
725.89/718.26	c cleaning 76001 clauses out of 152016 with flag 6277046/2993000
748.44/740.74	c cleaning 76999 clauses out of 154016 with flag 6440870/3071001
772.03/764.35	c cleaning 78004 clauses out of 156016 with flag 6611996/3150000
793.56/785.81	c cleaning 79005 clauses out of 158012 with flag 6776193/3230000
818.41/810.65	c cleaning 79999 clauses out of 160008 with flag 6948789/3311001
842.63/834.80	c cleaning 80996 clauses out of 162008 with flag 7124501/3393000
864.60/856.76	c cleaning 82003 clauses out of 164014 with flag 7300737/3476002
887.30/879.37	c cleaning 83001 clauses out of 166009 with flag 7476333/3560000
912.91/904.86	c cleaning 83994 clauses out of 168008 with flag 7658127/3645000
938.00/929.86	c cleaning 85002 clauses out of 170015 with flag 7837138/3731001
963.51/955.39	c cleaning 86004 clauses out of 172012 with flag 8020313/3818000
992.80/984.62	c cleaning 86999 clauses out of 174009 with flag 8208084/3906001
1019.11/1010.87	c cleaning 88002 clauses out of 176009 with flag 8396355/3995000
1045.14/1036.79	c cleaning 88995 clauses out of 178008 with flag 8588364/4085001
1067.86/1059.37	c cleaning 90002 clauses out of 180012 with flag 8780924/4176000
1097.22/1087.83	c cleaning 90997 clauses out of 182010 with flag 8978964/4268000
1123.87/1114.40	c cleaning 92002 clauses out of 184013 with flag 9178167/4361000
1152.29/1142.70	c cleaning 93001 clauses out of 186011 with flag 9381969/4455000
1180.92/1171.37	c cleaning 93997 clauses out of 188010 with flag 9586383/4550000
1210.13/1200.56	c cleaning 95000 clauses out of 190013 with flag 9789479/4646000
1236.80/1227.04	c cleaning 96000 clauses out of 192014 with flag 9989649/4743001
1264.96/1255.13	c cleaning 97003 clauses out of 194014 with flag 10196809/4841001
1292.92/1283.25	c cleaning 97998 clauses out of 196011 with flag 10406321/4940001
1325.14/1315.61	c cleaning 98999 clauses out of 198012 with flag 10621472/5040000
1359.93/1350.34	c cleaning 99997 clauses out of 200014 with flag 10838554/5141001
1392.31/1382.48	c cleaning 101000 clauses out of 202016 with flag 11047594/5243000
1420.44/1410.40	c cleaning 101999 clauses out of 204016 with flag 11260259/5346000
1456.55/1446.32	c cleaning 103001 clauses out of 206017 with flag 11486087/5450000
1490.96/1480.55	c cleaning 104005 clauses out of 208018 with flag 11709862/5555002
1527.27/1516.74	c cleaning 105002 clauses out of 210011 with flag 11942310/5661000
1559.64/1548.99	c cleaning 106000 clauses out of 212010 with flag 12170262/5768001
1590.58/1579.36	c cleaning 106996 clauses out of 214010 with flag 12397576/5876001
1620.55/1609.01	c cleaning 108000 clauses out of 216014 with flag 12625800/5985001
1657.91/1646.38	c cleaning 109000 clauses out of 218013 with flag 12862113/6095000
1694.56/1682.86	c cleaning 110003 clauses out of 220013 with flag 13100989/6206000
1730.33/1718.32	c cleaning 110998 clauses out of 222010 with flag 13340135/6318000
1765.72/1753.68	c cleaning 111997 clauses out of 224012 with flag 13575845/6431000
1799.90/1787.57	c cleaning 113001 clauses out of 226016 with flag 13810532/6545001
1832.79/1820.29	c cleaning 114002 clauses out of 228015 with flag 14046859/6660001
1867.64/1855.01	c cleaning 114997 clauses out of 230013 with flag 14285077/6776001
1907.85/1895.00	c cleaning 115998 clauses out of 232015 with flag 14524862/6893000
1946.49/1933.40	c cleaning 116998 clauses out of 234018 with flag 14767585/7011001
1985.02/1971.92	c cleaning 118002 clauses out of 236020 with flag 15013623/7130001
2021.23/2007.86	c cleaning 118999 clauses out of 238018 with flag 15264948/7250001
2063.90/2050.21	c cleaning 120005 clauses out of 240018 with flag 15528759/7371000
2103.15/2088.95	c cleaning 120998 clauses out of 242014 with flag 15788496/7493001
2143.98/2129.46	c cleaning 122000 clauses out of 244016 with flag 16045262/7616001
2188.26/2173.48	c cleaning 123003 clauses out of 246016 with flag 16316706/7740001
2234.34/2219.46	c cleaning 124000 clauses out of 248013 with flag 16588080/7865001
2282.76/2267.75	c cleaning 125003 clauses out of 250012 with flag 16863357/7991000
2328.28/2313.25	c cleaning 125995 clauses out of 252009 with flag 17144429/8118000
2375.95/2360.93	c cleaning 127002 clauses out of 254016 with flag 17422596/8246002
2416.12/2400.96	c cleaning 127996 clauses out of 256012 with flag 17701578/8375000
2463.25/2448.09	c cleaning 129006 clauses out of 258017 with flag 17965801/8505001
2499.38/2484.25	c cleaning 129996 clauses out of 260011 with flag 18233277/8636001
2542.14/2527.06	c cleaning 131001 clauses out of 262014 with flag 18504404/8768000
2583.63/2568.45	c cleaning 131997 clauses out of 264013 with flag 18779557/8901000
2629.01/2613.55	c cleaning 133001 clauses out of 266016 with flag 19057174/9035000
2676.32/2660.59	c cleaning 133996 clauses out of 268015 with flag 19347178/9170000
2723.22/2707.39	c cleaning 134997 clauses out of 270020 with flag 19633866/9306001
2776.77/2760.92	c cleaning 136004 clauses out of 272023 with flag 19928053/9443001
2831.11/2815.00	c cleaning 137001 clauses out of 274018 with flag 20229371/9581000
2883.72/2867.37	c cleaning 138006 clauses out of 276018 with flag 20531880/9720001
2926.55/2908.87	c cleaning 138998 clauses out of 278012 with flag 20823361/9860001
2977.25/2959.33	c cleaning 139994 clauses out of 280013 with flag 21123198/10001000
3027.08/3009.03	c cleaning 141003 clauses out of 282019 with flag 21435061/10143000
3076.91/3058.50	c cleaning 141999 clauses out of 284017 with flag 21742520/10286001
3129.68/3111.40	c cleaning 142998 clauses out of 286017 with flag 22053226/10430000
3179.26/3161.28	c cleaning 144003 clauses out of 288020 with flag 22364928/10575001
3241.59/3223.58	c cleaning 145004 clauses out of 290016 with flag 22691349/10721000
3290.32/3272.48	c cleaning 146003 clauses out of 292013 with flag 23011728/10868001
3345.16/3326.91	c cleaning 146999 clauses out of 294009 with flag 23323836/11016000
3403.18/3384.81	c cleaning 148001 clauses out of 296010 with flag 23653118/11165000
3458.67/3440.00	c cleaning 148995 clauses out of 298010 with flag 23982318/11315001
3513.55/3495.11	c cleaning 150001 clauses out of 300014 with flag 24310647/11466000
3567.53/3548.82	c cleaning 150995 clauses out of 302013 with flag 24635976/11618000
3600.02/3581.32	c starts		: 13282
3600.02/3581.32	c timeout
3600.02/3581.32	c conflicts		: 11728904
3600.02/3581.32	c decisions		: 12434506
3600.02/3581.32	c propagations		: 3394418667
3600.02/3581.32	c inspects		: 28233315100
3600.02/3581.32	c shortcuts		: 0
3600.02/3581.32	c learnt literals	: 0
3600.02/3581.32	c learnt binary clauses	: 1
3600.02/3581.32	c learnt ternary clauses	: 12
3600.02/3581.32	c learnt constraints	: 11728904
3600.02/3581.32	c ignored constraints	: 0
3600.02/3581.32	c root simplifications	: 0
3600.02/3581.32	c removed literals (reason simplification)	: 0
3600.02/3581.32	c reason swapping (by a shorter reason)	: 0
3600.02/3581.32	c Calls to reduceDB	: 148
3600.02/3581.32	c Number of update (reduction) of LBD	: 190180
3600.02/3581.32	c Imported unit clauses	: 0
3600.02/3581.32	c No decision after first conflict	: false
3600.02/3581.32	c number of reductions to clauses (during analyze)	: 0
3600.02/3581.32	c number of learned constraints concerned by reduction	: 0
3600.02/3581.32	c number of learning phase by resolution	: 0
3600.02/3581.32	c number of learning phase by cutting planes	: 0
3600.02/3581.32	c number of rounding to 1 operations	: 0
3600.02/3581.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3581.32	c number of reductions of the coefficients by power 2 	: 0
3600.02/3581.34	c number of right shift for reduction by power 2 	: 0
3600.02/3581.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3581.34	c number of ending skipping 	: 0
3600.02/3581.34	c number of internal skipping 	: 0
3600.02/3581.34	c number of derivation steps 	: 0
3600.02/3581.34	c number of skipped derivation steps 	: 0
3600.02/3581.34	c number of remaining unassigned 	: 0
3600.02/3581.34	c number of remaining assigned 	: 0
3600.02/3581.34	c number of falsified literals weakened from reason	: 0
3600.02/3581.34	c number of falsified literals weakened from conflict	: 0
3600.02/3581.34	c time for arithmetic operations	: 0
3600.02/3581.34	c minimum degree of deleted constraints	: null
3600.02/3581.34	c maximum degree of deleted constraints	: null
3600.02/3581.34	c number of deleted constraints	: 0
3600.02/3581.34	c speed (assignments/second)	: 947856.1008546407
3600.02/3581.34	c non guided choices	: 29
3600.02/3581.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 261921
3600.02/3581.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.02/3581.38	s UNKNOWN
3600.02/3581.39	c Total wall clock time (in seconds): 3581.263

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: 63968 MiB (61486 MiB free)
  memory of node 1: 64473 MiB (63357 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1077125, runsolver pid=1077117

[startup+0.100475 s]*
/proc/loadavg: 3.87 4.10 4.09 13/323 1077193
/proc/meminfo: memFree=127669344/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=18975048 memory=63460 CPUtime=0.14 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 7242 0 0 0 12 2 0 0 20 0 18 0 201581759 19430449152 15865 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4743762 15865 5709 1 0 549350 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 1077936192 5767 0 0 0 7 1 0 0 20 0 18 0 201581759 19430449152 15865 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201581761 19430449152 15865 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=18975048 memory=13845278874243994 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201581762 19430449152 15865 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63460 KiB

[startup+0.212719 s]*
/proc/loadavg: 3.87 4.10 4.09 15/327 1077197
/proc/meminfo: memFree=127638832/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19041612 memory=70024 CPUtime=0.35 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 7800 0 0 0 33 2 0 0 20 0 19 0 201581759 19498610688 17506 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4760403 17506 5827 1 0 549994 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19041612 memory=8603368907145347203 CPUtime=0.18 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 5963 0 0 0 17 1 0 0 20 0 19 0 201581759 19498610688 17506 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19041612 memory=1676398 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 17506 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19041612 memory=15544020042516215 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 17506 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581776 19498610688 17506 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70024 KiB

[startup+0.305719 s]*
/proc/loadavg: 3.87 4.10 4.09 16/327 1077197
/proc/meminfo: memFree=127615468/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19042152 memory=76596 CPUtime=0.53 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 10507 0 0 0 50 3 0 0 20 0 19 0 201581759 19499163648 19243 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4760538 19149 5827 1 0 551201 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19041612 memory=-7306911702968068710 CPUtime=0.27 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 5968 0 0 0 26 1 0 0 20 0 19 0 201581759 19498610688 19149 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 19149 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 19149 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581776 19498610688 19149 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19042152 KiB
Current children cumulated memory: 76596 KiB

[startup+0.700917 s]
/proc/loadavg: 4.44 4.21 4.13 16/327 1077197
/proc/meminfo: memFree=127583740/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19041612 memory=94440 CPUtime=1.29 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 13943 0 0 0 125 4 0 0 20 0 19 0 201581759 19498610688 23610 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4760403 23610 5859 1 0 552904 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19041612 memory=49836 CPUtime=0.65 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 5988 0 0 0 63 2 0 0 20 0 19 0 201581759 19498610688 23610 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 23610 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 23610 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581776 19498610688 23610 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94440 KiB

[startup+1.50072 s]
/proc/loadavg: 4.44 4.21 4.13 9/327 1077197
/proc/meminfo: memFree=127529240/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19041612 memory=121756 CPUtime=2.41 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 15805 0 0 0 236 5 0 0 20 0 19 0 201581759 19498610688 30439 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4760403 30439 5859 1 0 552973 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19041612 memory=12420 CPUtime=1.43 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 6138 0 0 0 141 2 0 0 20 0 19 0 201581759 19498610688 30439 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 30439 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 30439 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581776 19498610688 30439 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 121756 KiB

[startup+3.10505 s]
/proc/loadavg: 4.44 4.21 4.13 9/328 1077198
/proc/meminfo: memFree=127327900/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=196652 CPUtime=4.13 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 19586 0 0 0 406 7 0 0 20 0 20 0 201581759 19566772224 49163 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 49163 5875 1 0 553460 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=0 CPUtime=3.02 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 6705 0 0 0 298 4 0 0 20 0 20 0 201581759 19566772224 49163 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=-7306911702968068710 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 49163 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 49163 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 49163 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196652 KiB

[startup+6.3002 s]
/proc/loadavg: 4.40 4.21 4.13 8/329 1077199
/proc/meminfo: memFree=127181792/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=240228 CPUtime=7.37 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 19821 0 0 0 729 8 0 0 20 0 20 0 201581759 19566772224 60057 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 60057 5875 1 0 553462 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=12420 CPUtime=6.16 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 6711 0 0 0 612 4 0 0 20 0 20 0 201581759 19566772224 60057 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 60057 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 60057 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=126004 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 60057 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 240228 KiB

[startup+12.7007 s]
/proc/loadavg: 4.37 4.21 4.13 10/331 1077203
/proc/meminfo: memFree=126954936/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=358584 CPUtime=13.89 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 21662 0 0 0 1379 10 0 0 20 0 20 0 201581759 19566772224 89646 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 89646 5891 1 0 553462 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=126004 CPUtime=12.41 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 7416 0 0 0 1237 4 0 0 20 0 20 0 201581759 19566772224 89646 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=358584 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 89646 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=299024 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 89646 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 89646 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 13.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 358584 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.20 4.13 8/331 1077204
/proc/meminfo: memFree=126622436/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=536976 CPUtime=26.82 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 27244 0 0 0 2669 13 0 0 20 0 20 0 201581759 19566772224 134244 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 134244 5891 1 0 553462 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=358584 CPUtime=24.95 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 8883 0 0 0 2491 4 0 0 20 0 20 0 201581759 19566772224 134244 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=536972 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 134244 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=536976 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 134244 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=-2895008908443676273 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 134244 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 26.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 536976 KiB

[startup+51.1055 s]
/proc/loadavg: 4.64 4.29 4.16 8/333 1077214
/proc/meminfo: memFree=125658920/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=1007908 CPUtime=52.96 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 38316 0 0 0 5273 23 0 0 20 0 20 0 201581759 19566772224 251977 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 251977 5907 1 0 554455 0

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

/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 2433781 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=9735124 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 2433781 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=-7306911702968068710 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 2433781 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 3180.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9735124 KiB

[startup+3222.3 s]
/proc/loadavg: 3.17 3.19 3.31 8/306 1078999
/proc/meminfo: memFree=113947760/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=9735192 CPUtime=3240.4 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 232076 0 0 0 323749 291 0 0 20 0 20 0 201581759 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 2433798 5907 1 0 3104236 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=9735192 CPUtime=3182.34 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 63463 0 0 0 318160 74 0 0 20 0 20 0 201581759 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=9735100 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=9735112 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=9735140 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 3240.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9735192 KiB

[startup+3282.3 s]
/proc/loadavg: 3.20 3.18 3.30 7/306 1079010
/proc/meminfo: memFree=113946948/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=9735192 CPUtime=3300.32 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 232824 0 0 0 329739 293 0 0 20 0 20 0 201581759 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 2433798 5907 1 0 3104236 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=9735192 CPUtime=3241.45 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 63816 0 0 0 324070 75 0 0 20 0 20 0 201581759 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=9735192 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=9735192 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 2433798 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 3300.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9735192 KiB

[startup+3342.3 s]
/proc/loadavg: 3.19 3.18 3.29 6/306 1079022
/proc/meminfo: memFree=113942244/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=3360.53 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 233331 0 0 0 335759 294 0 0 20 0 20 0 201581759 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 2433805 5907 1 0 3104236 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=3300.97 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 63975 0 0 0 330022 75 0 0 20 0 20 0 201581759 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 965 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 3360.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9735220 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.16 3.27 7/304 1079032
/proc/meminfo: memFree=113941684/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=3420.75 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 233698 0 0 0 341780 295 0 0 20 0 20 0 201581759 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 2433805 5907 1 0 3104236 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=11664 CPUtime=3360.48 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 63976 0 0 0 335973 75 0 0 20 0 20 0 201581759 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 966 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=-7306911702968068710 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 3420.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9735220 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.14 3.26 7/304 1079043
/proc/meminfo: memFree=113938916/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=3480.78 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 234216 0 0 0 347781 297 0 0 20 0 20 0 201581759 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 2433805 5907 1 0 3104236 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=11664 CPUtime=3419.82 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 64073 0 0 0 341907 75 0 0 20 0 20 0 201581759 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=49836 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 966 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 2433805 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 3480.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9735220 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.13 3.25 7/304 1079054
/proc/meminfo: memFree=113937788/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=9735224 CPUtime=3540.78 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 234837 0 0 0 353779 299 0 0 20 0 20 0 201581759 19566772224 2433806 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 2433806 5907 1 0 3104236 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=9735220 CPUtime=3478.99 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 64184 0 0 0 347824 75 0 0 20 0 20 0 201581759 19566772224 2433806 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=9735224 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 2433806 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=9735224 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 966 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 2433806 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=9735224 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 2433806 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 3540.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9735224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.3 s]
/proc/loadavg: 3.18 3.15 3.25 6/304 1079064
/proc/meminfo: memFree=113935168/131524600 swapFree=131071996/131071996
[pid=1077125] ppid=1077117 vsize=19108176 memory=9737276 CPUtime=3600.02 cores=4,6
/proc/1077125/stat : 1077125 (java) S 1077117 1077125 1077052 0 -1 1077936128 238639 0 0 0 359702 300 0 0 20 0 20 0 201581759 19566772224 2434319 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
/proc/1077125/statm: 4777044 2434319 5907 1 0 3104236 0
[pid=1077125/tid=1077129] ppid=1077117 vsize=19108176 memory=9737276 CPUtime=3537.02 cores=4,6
/proc/1077125/task/1077129/stat : 1077129 (java) R 1077117 1077125 1077052 0 -1 4194368 65134 0 0 0 353627 75 0 0 20 0 20 0 201581759 19566772224 2434319 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 201581759 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077161] ppid=1077117 vsize=19108176 memory=9735224 CPUtime=0 cores=4,6
/proc/1077125/task/1077161/stat : 1077161 (Finalizer) S 1077117 1077125 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 2434319 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077190] ppid=1077117 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1077125/task/1077190/stat : 1077190 (Common-Cleaner) S 1077117 1077125 1077052 0 -1 1077936192 1051 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 2434319 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
[pid=1077125/tid=1077195] ppid=1077117 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1077125/task/1077195/stat : 1077195 (Timer-0) S 1077117 1077125 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581776 19566772224 2434319 134679101440 94203465543680 94203465547376 140733173302800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94203465555192 94203465555984 94203489730560 140733173306373 140733173306463 140733173306463 140733173313480 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9737276 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.16 s, system=3.04094 s

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

[startup+3581.41 s]*
/proc/loadavg: 3.16 3.15 3.25 4/286 1079067
/proc/meminfo: memFree=123389540/131524600 swapFree=131071996/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): 3581.43
CPU time (s): 3600.2
CPU user time (s): 3597.16
CPU system time (s): 3.04094
CPU usage (%): 100.524
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 9737276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.16
system time used= 3.04094
maximum resident set size= 9739116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241733
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113082
involuntary context switches= 16876


# summary of solver processes directly reported to runsolver:
#   pid: 1077125
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3597.16
#   total CPU system time (s): 3.04094

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09521 second user time and 14.7734 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-20 18:49:29
IDJOB=4454164
IDBENCH=176068
IDSOLVER=3058
FILE ID=nodeC026/4454164-1721494156
RUNJOBID= nodeC026-1721494169-1077063
SLURM_JOB_ID= 7545802
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-15diag_spec_greater.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454164-1721494156/watcher-4454164-1721494156 -o /tmp/evaluation-result-4454164-1721494156/solver-4454164-1721494156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721494169-1077063 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4454164-1721494156.opb

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

MD5SUM BENCH= 4a5e1d83e2dadedc898f0365dfa20016
RANDOM SEED=139930465

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127844400 kB
MemAvailable:   129712736 kB
Buffers:          617248 kB
Cached:          2080960 kB
SwapCached:            0 kB
Active:          1142560 kB
Inactive:        1892296 kB
Active(anon):       1448 kB
Inactive(anon):   381112 kB
Active(file):    1141112 kB
Inactive(file):  1511184 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3492 kB
Writeback:             0 kB
AnonPages:        333424 kB
Mapped:           107192 kB
Shmem:             45912 kB
KReclaimable:     111728 kB
Slab:             226064 kB
SReclaimable:     111728 kB
SUnreclaim:       114336 kB
KernelStack:        3872 kB
PageTables:         9828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     805804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      283348 kB
DirectMap2M:    33044480 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC026 at 2024-07-20 19:49:10