Trace number 4440210

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.13 3608.37

General information on the benchmark

NamePB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb
MD5SUM53c68bf7d19d7287f2cd1e2b2d097a69
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-47392
Best CPU time to get the best result obtained on this benchmark3533.67
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57510
Total number of constraints149401
Number of constraints which are clauses149400
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 231641
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 231641
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.04/0.68	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.04/0.68	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.68	c See www.sat4j.org for details.
0.10/0.71	c version CUSTOM.v20240707
0.10/0.72	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.72	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.72	c java.vm.version	22.0.1+8-16
0.10/0.72	c java.vm.vendor	Oracle Corporation
0.10/0.72	c sun.arch.data.model	64
0.10/0.72	c java.version		22.0.1
0.10/0.72	c os.name		Linux
0.10/0.72	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.72	c os.arch		amd64
0.10/0.72	c Free memory 		2104792832
0.10/0.72	c Max memory 		16282288128
0.10/0.72	c Total memory 		2113929216
0.10/0.73	c Number of processors 	2
0.10/0.79	--- Begin Solver configuration ---
0.10/0.79	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.10/0.79	Learn all clauses as in MiniSAT
0.10/0.79	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.79	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.79	Expensive reason simplification
0.10/0.79	Glucose 2.1 dynamic restart strategy
0.10/0.79	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.10/0.79	timeout=2147483s
0.10/0.79	DB Simplification allowed=false
0.10/0.79	Listener: none
0.10/0.79	--- End Solver configuration ---
0.10/0.79	c Pseudo Boolean Optimization by upper bound
0.10/0.79	c --- Begin Solver configuration ---
0.10/0.79	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.10/0.79	c Learn all clauses as in MiniSAT
0.10/0.79	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.79	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.79	c Expensive reason simplification
0.10/0.79	c Glucose 2.1 dynamic restart strategy
0.10/0.79	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.10/0.79	c timeout=2147483s
0.10/0.79	c DB Simplification allowed=false
0.10/0.79	c Listener: none
0.10/0.79	c --- End Solver configuration ---
0.10/0.79	c solving HOME/instance-4440210-1721765586.opb
0.10/0.79	c reading problem ... 
0.20/0.81	c using VERIPB proof format
0.20/0.81	c  objective function found
1.37/1.45	c ... done. Wall clock time 0.653s.
1.37/1.45	c declared #vars     57510
1.37/1.45	c #constraints  149401
1.37/1.45	c constraints type 
1.37/1.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 112359
1.37/1.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.37/1.45	c org.sat4j.specs.Constr$1 => 40
1.37/1.45	c org.sat4j.pb.constraints.pb.UnitClausePB => 17
1.37/1.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36984
1.37/1.45	c 149401 constraints processed.
1.37/1.47	c objective function length is 389 literals
11.48/7.93	c cleaning 2493 clauses out of 4998 with flag 31121/5000
16.13/12.41	c cleaning 4248 clauses out of 8507 with flag 55971/11002
21.28/17.32	c cleaning 5625 clauses out of 11257 with flag 89833/18000
28.72/24.53	c cleaning 6812 clauses out of 13632 with flag 130140/26001
36.80/32.60	c cleaning 7907 clauses out of 15820 with flag 175649/35001
46.19/42.08	c cleaning 8951 clauses out of 17912 with flag 233822/45000
55.29/51.18	c cleaning 9981 clauses out of 19962 with flag 308014/56001
65.75/61.60	c cleaning 10987 clauses out of 21981 with flag 398423/68001
77.34/73.26	c cleaning 11992 clauses out of 23993 with flag 494407/81000
89.53/85.48	c cleaning 12997 clauses out of 26002 with flag 584151/95001
102.91/98.86	c cleaning 13997 clauses out of 28004 with flag 687247/110000
116.58/112.59	c cleaning 15002 clauses out of 30007 with flag 807994/126000
130.99/126.95	c cleaning 16000 clauses out of 32006 with flag 946528/143001
145.92/141.88	c cleaning 17002 clauses out of 34006 with flag 1063504/161001
164.46/160.46	c cleaning 17992 clauses out of 36003 with flag 1209296/180000
183.16/179.19	c cleaning 19001 clauses out of 38011 with flag 1353059/200000
199.12/195.14	c cleaning 19998 clauses out of 40011 with flag 1472686/221001
217.68/213.68	c cleaning 21004 clauses out of 42013 with flag 1599838/243001
236.44/232.45	c cleaning 21996 clauses out of 44009 with flag 1756395/266001
256.10/252.27	c cleaning 23004 clauses out of 46012 with flag 1910968/290000
278.80/275.00	c cleaning 24002 clauses out of 48008 with flag 2092553/315000
303.05/299.20	c cleaning 25001 clauses out of 50007 with flag 2299112/341001
325.92/322.14	c cleaning 26001 clauses out of 52006 with flag 2477934/368001
353.25/349.53	c cleaning 27000 clauses out of 54005 with flag 2695612/396001
380.80/377.18	c cleaning 27997 clauses out of 56005 with flag 2919909/425001
408.06/404.46	c cleaning 28997 clauses out of 58007 with flag 3114083/455000
435.59/432.03	c cleaning 30005 clauses out of 60011 with flag 3317798/486001
465.95/462.52	c cleaning 31000 clauses out of 62005 with flag 3541633/518000
496.11/492.76	c cleaning 31999 clauses out of 64005 with flag 3783200/551000
526.12/522.83	c cleaning 32993 clauses out of 66007 with flag 4031358/585001
555.34/552.17	c cleaning 34006 clauses out of 68014 with flag 4311437/620001
585.56/582.49	c cleaning 35000 clauses out of 70007 with flag 4549137/656000
614.99/611.93	c cleaning 36000 clauses out of 72007 with flag 4777127/693000
647.31/644.38	c cleaning 36996 clauses out of 74007 with flag 5049304/731000
679.77/676.96	c cleaning 38002 clauses out of 76011 with flag 5381378/770000
714.34/711.61	c cleaning 39000 clauses out of 78010 with flag 5698511/810001
749.11/746.59	c cleaning 39994 clauses out of 80009 with flag 6020717/851000
782.97/780.54	c cleaning 41003 clauses out of 82015 with flag 6339789/893000
820.02/817.71	c cleaning 42002 clauses out of 84013 with flag 6688756/936001
862.04/859.92	c cleaning 42999 clauses out of 86010 with flag 7006875/980000
904.72/902.73	c cleaning 44001 clauses out of 88012 with flag 7385059/1025001
944.28/942.99	c cleaning 45002 clauses out of 90011 with flag 7741309/1071001
984.65/983.48	c cleaning 46004 clauses out of 92009 with flag 8147410/1118001
1029.82/1028.78	c cleaning 46998 clauses out of 94004 with flag 8486561/1166000
1075.64/1074.64	c cleaning 47999 clauses out of 96007 with flag 8807203/1215001
1118.65/1117.78	c cleaning 48998 clauses out of 98010 with flag 9201610/1265003
1165.63/1164.83	c cleaning 50001 clauses out of 100009 with flag 9672018/1316000
1217.64/1216.95	c cleaning 51003 clauses out of 102009 with flag 10061687/1368001
1268.74/1268.16	c cleaning 52000 clauses out of 104005 with flag 10525482/1421000
1315.95/1315.40	c cleaning 52991 clauses out of 106005 with flag 11016707/1475000
1363.31/1363.00	c cleaning 54000 clauses out of 108016 with flag 11500505/1530002
1410.40/1410.14	c cleaning 55006 clauses out of 110014 with flag 11948155/1586000
1461.00/1460.88	c cleaning 55998 clauses out of 112008 with flag 12427410/1643000
1514.46/1514.47	c cleaning 56997 clauses out of 114010 with flag 12931974/1701000
1570.82/1570.95	c cleaning 58004 clauses out of 116013 with flag 13421686/1760000
1629.77/1630.03	c cleaning 59005 clauses out of 118010 with flag 13948804/1820001
1691.56/1692.02	c cleaning 59992 clauses out of 120004 with flag 14444881/1881000
1746.45/1747.13	c cleaning 60999 clauses out of 122013 with flag 14977368/1943001
1801.63/1802.50	c cleaning 62003 clauses out of 124013 with flag 15527361/2006000
1851.07/1852.28	c cleaning 63000 clauses out of 126010 with flag 16001086/2070000
1905.78/1907.19	c cleaning 64003 clauses out of 128011 with flag 16632106/2135001
1913.85/1915.24	c SATISFIABLE
1913.85/1915.24	c OPTIMIZING...
1913.85/1915.24	c Got one! Elapsed wall clock time (in seconds):1914.436
1913.85/1915.24	o -9000
1918.75/1920.05	c cleaning 39138 clauses out of 78278 with flag 26285/2149271
1922.14/1923.49	c cleaning 22569 clauses out of 45138 with flag 56586/2155269
1927.63/1928.99	c cleaning 14775 clauses out of 29570 with flag 95251/2162270
1929.83/1931.21	c Got one! Elapsed wall clock time (in seconds):1930.418
1929.83/1931.21	o -10128
1932.41/1933.56	c cleaning 10330 clauses out of 20690 with flag 13042/2168167
1937.09/1938.27	c cleaning 8147 clauses out of 16359 with flag 42984/2174166
1942.39/1943.55	c cleaning 7596 clauses out of 15212 with flag 74652/2181166
1948.07/1949.21	c cleaning 7800 clauses out of 15617 with flag 110471/2189167
1953.70/1954.89	c cleaning 8398 clauses out of 16816 with flag 158333/2198167
1960.78/1961.90	c cleaning 9199 clauses out of 18418 with flag 198937/2208167
1968.62/1969.96	c cleaning 10101 clauses out of 20219 with flag 246976/2219167
1977.10/1978.46	c cleaning 11045 clauses out of 22118 with flag 308979/2231167
1986.41/1987.74	c cleaning 12022 clauses out of 24072 with flag 379072/2244166
1996.22/1997.72	c cleaning 13014 clauses out of 26050 with flag 459715/2258166
2006.61/2008.13	c cleaning 14008 clauses out of 28036 with flag 544587/2273166
2017.10/2018.69	c cleaning 15005 clauses out of 30028 with flag 626110/2289166
2028.26/2029.98	c cleaning 15999 clauses out of 32023 with flag 715929/2306166
2040.06/2041.72	c cleaning 16999 clauses out of 34024 with flag 815698/2324166
2052.44/2054.14	c cleaning 18000 clauses out of 36026 with flag 919143/2343167
2065.66/2067.55	c cleaning 19003 clauses out of 38027 with flag 1038742/2363168
2079.75/2081.62	c cleaning 19997 clauses out of 40022 with flag 1152439/2384166
2094.40/2096.49	c cleaning 20999 clauses out of 42027 with flag 1284473/2406168
2109.47/2111.53	c cleaning 22003 clauses out of 44027 with flag 1427034/2429167
2125.57/2127.76	c cleaning 22994 clauses out of 46023 with flag 1571676/2453166
2142.84/2145.04	c cleaning 24008 clauses out of 48030 with flag 1730017/2478167
2159.94/2162.26	c cleaning 25002 clauses out of 50021 with flag 1886418/2504166
2176.90/2179.27	c cleaning 26006 clauses out of 52020 with flag 2038723/2531167
2194.56/2196.98	c cleaning 26993 clauses out of 54013 with flag 2198598/2559166
2213.41/2215.85	c Got one! Elapsed wall clock time (in seconds):2215.059
2213.41/2215.85	o -10133
2218.11/2220.43	c cleaning 29308 clauses out of 58622 with flag 26035/2590771
2222.72/2225.10	c cleaning 17655 clauses out of 35314 with flag 59850/2596771
2227.50/2229.85	c cleaning 12318 clauses out of 24660 with flag 102456/2603772
2233.98/2236.31	c cleaning 10163 clauses out of 20341 with flag 146743/2611771
2240.19/2242.59	c cleaning 9580 clauses out of 19179 with flag 189008/2620772
2246.97/2249.37	c cleaning 9792 clauses out of 19598 with flag 234796/2630771
2248.16/2250.50	c Got one! Elapsed wall clock time (in seconds):2249.707
2248.16/2250.50	o -10446
2251.68/2253.85	c cleaning 7563 clauses out of 15135 with flag 20493/2636101
2256.56/2258.71	c cleaning 6731 clauses out of 13573 with flag 53170/2642102
2261.55/2263.72	c cleaning 6910 clauses out of 13842 with flag 89827/2649102
2266.64/2268.89	c cleaning 7450 clauses out of 14931 with flag 129330/2657101
2272.86/2275.04	c cleaning 8238 clauses out of 16481 with flag 176444/2666101
2280.71/2282.98	c cleaning 9122 clauses out of 18246 with flag 236849/2676104
2282.79/2285.05	c Got one! Elapsed wall clock time (in seconds):2284.263
2282.79/2285.05	o -10635
2285.41/2287.60	c cleaning 7386 clauses out of 14797 with flag 12412/2681777
2290.81/2293.06	c cleaning 6693 clauses out of 13411 with flag 36464/2687777
2296.20/2298.41	c cleaning 6844 clauses out of 13718 with flag 66675/2694777
2301.58/2303.84	c cleaning 7430 clauses out of 14875 with flag 115048/2702778
2307.89/2310.22	c cleaning 8221 clauses out of 16445 with flag 157997/2711778
2314.81/2317.12	c cleaning 9109 clauses out of 18224 with flag 214399/2721778
2316.10/2318.46	c Got one! Elapsed wall clock time (in seconds):2317.667
2316.10/2318.46	o -10770
2318.60/2320.97	c cleaning 7068 clauses out of 14211 with flag 13959/2726874
2323.19/2325.50	c cleaning 6550 clauses out of 13143 with flag 39012/2732874
2327.48/2329.80	c cleaning 6787 clauses out of 13594 with flag 68924/2739875
2333.27/2335.64	c Got one! Elapsed wall clock time (in seconds):2334.846
2333.27/2335.64	o -10787
2337.39/2339.89	c cleaning 9246 clauses out of 18523 with flag 28399/2751591
2342.17/2344.68	c cleaning 7613 clauses out of 15277 with flag 52774/2757591
2347.16/2349.64	c cleaning 7317 clauses out of 14665 with flag 82545/2764592
2353.66/2356.14	c cleaning 7667 clauses out of 15348 with flag 110694/2772592
2359.74/2362.25	c cleaning 8324 clauses out of 16680 with flag 150051/2781591
2366.42/2368.92	c cleaning 9167 clauses out of 18357 with flag 204457/2791592
2375.42/2377.95	c cleaning 10080 clauses out of 20190 with flag 253946/2802592
2384.91/2387.42	c cleaning 11044 clauses out of 22110 with flag 302447/2814592
2395.97/2398.53	c cleaning 12023 clauses out of 24065 with flag 361647/2827591
2407.75/2410.36	c cleaning 13006 clauses out of 26042 with flag 429990/2841591
2420.46/2423.02	c cleaning 14005 clauses out of 28036 with flag 532786/2856591
2433.71/2436.33	c cleaning 15007 clauses out of 30032 with flag 644232/2872592
2445.09/2447.79	c cleaning 16004 clauses out of 32024 with flag 745922/2889591
2458.98/2461.63	c cleaning 17002 clauses out of 34022 with flag 845143/2907593
2471.46/2474.15	c cleaning 17994 clauses out of 36018 with flag 955956/2926591
2486.01/2488.76	c cleaning 18989 clauses out of 38026 with flag 1073140/2946593
2502.87/2505.66	c cleaning 20007 clauses out of 40036 with flag 1207348/2967592
2519.90/2522.74	c cleaning 21000 clauses out of 42029 with flag 1377337/2989592
2540.49/2543.35	c cleaning 22006 clauses out of 44028 with flag 1567865/3012591
2543.18/2546.09	c Got one! Elapsed wall clock time (in seconds):2545.295
2543.18/2546.09	o -11029
2545.58/2548.40	c cleaning 13666 clauses out of 27401 with flag 16949/3017970
2550.66/2553.51	c cleaning 9828 clauses out of 19735 with flag 42557/3023970
2555.26/2558.16	c cleaning 8117 clauses out of 16907 with flag 69962/3030970
2559.55/2562.45	c cleaning 7865 clauses out of 16790 with flag 96050/3038970
2565.24/2568.17	c cleaning 8816 clauses out of 17925 with flag 129357/3047970
2572.43/2575.36	c cleaning 9551 clauses out of 19109 with flag 160290/3057970
2584.09/2587.05	c cleaning 10276 clauses out of 20563 with flag 192448/3068975
2584.19/2587.17	c Got one! Elapsed wall clock time (in seconds):2586.382
2584.19/2587.17	o -11039
2588.30/2591.22	c cleaning 6175 clauses out of 15347 with flag 22777/3074035
2593.17/2596.07	c cleaning 5889 clauses out of 15172 with flag 42996/3080035
2598.52/2601.36	c cleaning 6916 clauses out of 16284 with flag 66595/3087036
2604.10/2606.98	c cleaning 7883 clauses out of 17368 with flag 94777/3095036
2610.20/2613.10	c cleaning 8817 clauses out of 18484 with flag 125561/3104035
2617.65/2620.51	c cleaning 9814 clauses out of 19667 with flag 162183/3114035
2621.84/2624.71	c Got one! Elapsed wall clock time (in seconds):2623.924
2621.84/2624.72	o -11056
2625.54/2628.48	c cleaning 9834 clauses out of 20157 with flag 43252/3124340
2630.42/2633.34	c cleaning 6427 clauses out of 16322 with flag 76040/3130339
2635.61/2638.52	c cleaning 6958 clauses out of 16898 with flag 103706/3137342
2642.71/2645.68	c cleaning 7894 clauses out of 17943 with flag 134047/3145345
2645.00/2647.91	c Got one! Elapsed wall clock time (in seconds):2647.119
2645.00/2647.91	o -11683
2648.69/2651.69	c cleaning 5585 clauses out of 15696 with flag 18033/3150992
2653.38/2656.34	c cleaning 5940 clauses out of 16111 with flag 39464/3156992
2657.68/2660.67	c cleaning 6818 clauses out of 17173 with flag 68279/3163994
2663.26/2666.24	c Got one! Elapsed wall clock time (in seconds):2665.453
2663.26/2666.24	o -11892
2667.78/2670.89	c cleaning 10702 clauses out of 21565 with flag 29810/3175205
2672.98/2676.04	c cleaning 6099 clauses out of 16864 with flag 56269/3181206
2677.96/2681.09	c cleaning 6849 clauses out of 17766 with flag 83558/3188207
2680.07/2683.18	c Got one! Elapsed wall clock time (in seconds):2682.389
2680.07/2683.18	o -12184
2683.55/2686.61	c cleaning 5787 clauses out of 16871 with flag 18701/3194162
2688.54/2691.69	c cleaning 5955 clauses out of 17084 with flag 41186/3200162
2693.76/2696.85	c cleaning 6863 clauses out of 18129 with flag 69987/3207162
2698.59/2701.71	c Got one! Elapsed wall clock time (in seconds):2700.923
2698.59/2701.71	o -12261
2703.08/2706.23	c cleaning 10454 clauses out of 21916 with flag 19106/3217814
2707.48/2710.62	c cleaning 5832 clauses out of 17464 with flag 42075/3223816
2712.77/2715.98	c Got one! Elapsed wall clock time (in seconds):2715.192
2712.77/2715.98	o -12424
2717.55/2720.70	c cleaning 11618 clauses out of 23572 with flag 19525/3235757
2721.95/2725.17	c cleaning 5967 clauses out of 17955 with flag 48804/3241758
2727.53/2730.78	c cleaning 6896 clauses out of 18988 with flag 77669/3248758
2733.35/2736.68	c cleaning 7898 clauses out of 20094 with flag 111215/3256760
2738.38/2741.64	c cleaning 8955 clauses out of 21194 with flag 142527/3265758
2743.66/2746.94	c cleaning 9989 clauses out of 22238 with flag 180494/3275757
2752.16/2755.40	c Got one! Elapsed wall clock time (in seconds):2754.612
2752.16/2755.40	o -12571
2756.24/2759.58	c cleaning 13949 clauses out of 27979 with flag 21341/3291487
2760.34/2763.79	c cleaning 7573 clauses out of 20030 with flag 49883/3297487
2765.14/2768.58	c cleaning 6847 clauses out of 19457 with flag 85179/3304487
2766.74/2770.19	c Got one! Elapsed wall clock time (in seconds):2769.398
2766.74/2770.19	o -12850
2770.13/2773.54	c cleaning 5033 clauses out of 17700 with flag 19823/3309578
2775.96/2779.34	c cleaning 5940 clauses out of 18667 with flag 41181/3315578
2782.05/2785.42	c cleaning 6866 clauses out of 19727 with flag 69891/3322578
2791.65/2795.19	c cleaning 8020 clauses out of 20862 with flag 91637/3330579
2793.84/2797.39	c Got one! Elapsed wall clock time (in seconds):2796.6
2793.84/2797.39	o -12954
2797.64/2801.19	c cleaning 5286 clauses out of 18156 with flag 29263/3335894
2802.43/2805.93	c cleaning 5899 clauses out of 18872 with flag 52167/3341896
2807.62/2811.19	c cleaning 6853 clauses out of 19971 with flag 77809/3348894
2809.42/2812.91	c Got one! Elapsed wall clock time (in seconds):2812.12
2809.42/2812.91	o -15070
2812.01/2815.53	c cleaning 5255 clauses out of 18499 with flag 16479/3354276
2816.53/2820.08	c cleaning 5901 clauses out of 19245 with flag 40501/3360277
2821.52/2825.16	c cleaning 6771 clauses out of 20343 with flag 66748/3367276
2827.80/2831.40	c cleaning 7889 clauses out of 21573 with flag 98696/3375277
2839.98/2843.60	c cleaning 8988 clauses out of 22687 with flag 122633/3384280
2857.30/2861.01	c cleaning 9995 clauses out of 23699 with flag 144469/3394280
2874.97/2878.78	c cleaning 10999 clauses out of 24700 with flag 170377/3405276
2894.87/2898.79	c cleaning 12012 clauses out of 25710 with flag 197835/3417285
2915.55/2919.67	c cleaning 12993 clauses out of 26693 with flag 227879/3430280
2938.38/2942.69	c cleaning 13847 clauses out of 27696 with flag 260211/3444276
2963.90/2968.30	c cleaning 14436 clauses out of 28872 with flag 294722/3459299
2981.28/2985.95	c Got one! Elapsed wall clock time (in seconds):2985.159
2981.28/2985.95	o -15450
2986.38/2991.01	c cleaning 15179 clauses out of 30390 with flag 21984/3475253
2991.79/2996.41	c cleaning 7302 clauses out of 21211 with flag 45547/3481253
2997.72/3002.37	c cleaning 6888 clauses out of 20909 with flag 70319/3488253
3005.18/3009.91	c cleaning 7817 clauses out of 22021 with flag 106328/3496253
3014.47/3019.23	c Got one! Elapsed wall clock time (in seconds):3018.443
3014.47/3019.23	o -15571
3018.66/3023.47	c cleaning 13443 clauses out of 27823 with flag 22151/3509872
3023.26/3028.02	c cleaning 5920 clauses out of 20380 with flag 42793/3515872
3027.74/3032.57	c cleaning 6889 clauses out of 21461 with flag 65950/3522873
3032.93/3037.78	c cleaning 7814 clauses out of 22571 with flag 94297/3530872
3039.29/3044.24	c cleaning 8902 clauses out of 23758 with flag 132587/3539873
3047.71/3052.64	c cleaning 9954 clauses out of 24856 with flag 176193/3549873
3062.08/3067.05	c cleaning 10987 clauses out of 25902 with flag 208529/3560873
3065.45/3070.58	c Got one! Elapsed wall clock time (in seconds):3069.79
3065.45/3070.58	o -15582
3069.06/3074.13	c cleaning 5859 clauses out of 20807 with flag 15990/3566765
3073.74/3078.81	c cleaning 5905 clauses out of 20948 with flag 39381/3572765
3078.94/3084.10	c cleaning 6867 clauses out of 22044 with flag 70908/3579766
3084.71/3089.89	c cleaning 7972 clauses out of 23175 with flag 100608/3587764
3092.31/3097.44	c cleaning 8979 clauses out of 24204 with flag 125068/3596765
3099.25/3104.83	c cleaning 10012 clauses out of 25225 with flag 151908/3606765
3106.44/3112.06	c cleaning 10996 clauses out of 26213 with flag 183407/3617765
3112.82/3118.44	c cleaning 12002 clauses out of 27217 with flag 218012/3629765
3119.61/3125.22	c cleaning 12999 clauses out of 28214 with flag 255261/3642764
3129.44/3135.24	c cleaning 13996 clauses out of 29215 with flag 290084/3656764
3154.46/3160.47	c cleaning 15007 clauses out of 30219 with flag 324025/3671764
3184.22/3190.39	c cleaning 15590 clauses out of 31214 with flag 359423/3687766
3205.43/3211.74	c Got one! Elapsed wall clock time (in seconds):3210.946
3205.43/3211.74	o -15585
3210.13/3216.43	c cleaning 15857 clauses out of 31734 with flag 21188/3703876
3215.22/3221.58	c cleaning 6501 clauses out of 21877 with flag 44413/3709876
3220.41/3226.94	c cleaning 6925 clauses out of 22377 with flag 71880/3716877
3226.25/3232.76	c cleaning 7866 clauses out of 23451 with flag 112595/3724876
3234.74/3241.22	c cleaning 8862 clauses out of 24586 with flag 144531/3733877
3242.23/3248.73	c Got one! Elapsed wall clock time (in seconds):3247.943
3242.23/3248.73	o -15672
3246.65/3253.39	c cleaning 10296 clauses out of 26069 with flag 22053/3744222
3252.89/3259.65	c cleaning 5954 clauses out of 21772 with flag 46810/3750221
3258.59/3265.35	c cleaning 6934 clauses out of 22819 with flag 91862/3757222
3264.62/3271.39	c cleaning 7909 clauses out of 23884 with flag 124516/3765221
3272.01/3278.70	c cleaning 8999 clauses out of 24977 with flag 161400/3774223
3279.73/3286.65	c cleaning 9967 clauses out of 25976 with flag 207176/3784221
3295.40/3302.32	c cleaning 11028 clauses out of 27015 with flag 240244/3795227
3314.69/3321.72	c cleaning 11972 clauses out of 27987 with flag 268728/3807227
3337.55/3344.65	c cleaning 13035 clauses out of 29031 with flag 300508/3820243
3361.81/3369.16	c cleaning 13977 clauses out of 29987 with flag 333027/3834234
3388.37/3395.84	c cleaning 14983 clauses out of 30996 with flag 366733/3849221
3416.89/3424.57	c cleaning 16019 clauses out of 32037 with flag 403030/3865245
3446.28/3454.07	c cleaning 16496 clauses out of 32996 with flag 442319/3882223
3475.83/3483.79	c cleaning 17220 clauses out of 34499 with flag 484748/3900222
3509.59/3517.50	c cleaning 18138 clauses out of 36279 with flag 530419/3919222
3520.28/3528.28	c Got one! Elapsed wall clock time (in seconds):3527.484
3520.28/3528.28	o -15928
3524.77/3532.85	c cleaning 13296 clauses out of 29454 with flag 18450/3930535
3529.66/3537.78	c cleaning 5884 clauses out of 22156 with flag 39323/3936533
3535.15/3543.25	c cleaning 6786 clauses out of 23272 with flag 63363/3943533
3541.05/3549.15	c cleaning 7847 clauses out of 24488 with flag 98242/3951535
3547.33/3555.40	c cleaning 8897 clauses out of 25640 with flag 137762/3960534
3554.89/3563.01	c cleaning 9905 clauses out of 26743 with flag 184816/3970534
3565.16/3573.34	c cleaning 10942 clauses out of 27840 with flag 238029/3981536
3586.93/3595.24	c cleaning 12009 clauses out of 28909 with flag 264281/3993547
3600.05/3608.32	c starts		: 4339
3600.05/3608.32	c conflicts		: 4001068
3600.05/3608.32	c decisions		: 11747446
3600.05/3608.32	c propagations		: 7818533106
3600.05/3608.32	c inspects		: 35037786496
3600.05/3608.32	c shortcuts		: 0
3600.05/3608.32	c learnt literals	: 20
3600.05/3608.32	c learnt binary clauses	: 4981
3600.05/3608.32	c learnt ternary clauses	: 4107
3600.05/3608.32	c learnt constraints	: 4001048
3600.05/3608.32	c ignored constraints	: 0
3600.05/3608.32	c root simplifications	: 0
3600.05/3608.32	c removed literals (reason simplification)	: 469799596
3600.05/3608.32	c reason swapping (by a shorter reason)	: 0
3600.05/3608.32	c Calls to reduceDB	: 234
3600.05/3608.32	c Number of update (reduction) of LBD	: 545964
3600.05/3608.32	c Imported unit clauses	: 0
3600.05/3608.32	c No decision after first conflict	: false
3600.05/3608.32	c number of reductions to clauses (during analyze)	: 0
3600.05/3608.32	c number of learned constraints concerned by reduction	: 0
3600.05/3608.32	c number of learning phase by resolution	: 0
3600.05/3608.32	c number of learning phase by cutting planes	: 0
3600.05/3608.32	c number of rounding to 1 operations	: 0
3600.05/3608.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3608.32	c number of reductions of the coefficients by power 2 	: 0
3600.05/3608.32	c number of right shift for reduction by power 2 	: 0
3600.05/3608.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3608.32	c number of ending skipping 	: 0
3600.05/3608.32	c number of internal skipping 	: 0
3600.05/3608.32	c number of derivation steps 	: 0
3600.05/3608.32	c number of skipped derivation steps 	: 0
3600.05/3608.32	c number of remaining unassigned 	: 0
3600.05/3608.32	c number of remaining assigned 	: 0
3600.05/3608.32	c number of falsified literals weakened from reason	: 0
3600.05/3608.32	c number of falsified literals weakened from conflict	: 0
3600.05/3608.32	c time for arithmetic operations	: 0
3600.05/3608.32	c minimum degree of deleted constraints	: null
3600.05/3608.32	c maximum degree of deleted constraints	: null
3600.05/3608.32	c number of deleted constraints	: 0
3600.05/3608.32	c speed (assignments/second)	: 2167701.537998315
3600.05/3608.32	c non guided choices	: 4223
3600.05/3608.33	c timeout
3600.05/3608.33	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.05/3608.33		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.05/3608.33		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.05/3608.33		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.05/3608.33		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.05/3608.33		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.05/3608.33		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.05/3608.33		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (50043 MiB free)
  memory of node 1: 64473 MiB (51190 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440210-1721765586/watcher-4440210-1721765586 -o /tmp/evaluation-result-4440210-1721765586/solver-4440210-1721765586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721765586-134664 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440210-1721765586 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440210-1721765586.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=134720, runsolver pid=134706

[startup+0.10008 s]*
/proc/loadavg: 2.27 2.18 2.12 4/265 134725
/proc/meminfo: memFree=103661064/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=32004 memory=1756 CPUtime=0 cores=5,7
/proc/134720/stat : 134720 (java) D 134706 134720 134651 0 -1 4194304 123 0 2 0 0 0 0 0 20 0 1 0 13082582 32772096 439 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 0 0 0 0 17 7 0 0 7 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 8001 439 399 1 0 457 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 32004 KiB
Current children cumulated memory: 1756 KiB

[startup+0.206645 s]*
/proc/loadavg: 2.27 2.18 2.12 4/265 134725
/proc/meminfo: memFree=103658684/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=37736 memory=2832 CPUtime=0 cores=5,7
/proc/134720/stat : 134720 (java) D 134706 134720 134651 0 -1 4194304 199 0 3 0 0 0 0 0 20 0 1 0 13082582 38641664 708 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 0 0 0 0 17 7 0 0 19 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 9434 708 621 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2832 KiB

[startup+0.305415 s]*
/proc/loadavg: 2.27 2.18 2.12 4/271 134731
/proc/meminfo: memFree=103645308/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=239396 memory=8964 CPUtime=0 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 628 0 14 0 0 0 0 0 20 0 2 0 13082582 245141504 2241 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 0 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 59849 2241 1857 1 0 583 0
[pid=134720/tid=134731] ppid=134706 vsize=239396 memory=-8673197757514425020 CPUtime=0 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) D 134706 134720 134651 0 -1 4194368 38 0 6 0 0 0 0 0 20 0 2 0 13082609 245141504 2241 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 0 0 0 0 -1 5 0 0 3 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 239396 KiB
Current children cumulated memory: 8964 KiB

[startup+0.700335 s]
/proc/loadavg: 2.41 2.21 2.13 8/292 134752
/proc/meminfo: memFree=103551392/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=18975048 memory=58140 CPUtime=0.1 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 6834 0 63 0 7 3 0 0 20 0 18 0 13082582 19430449152 14535 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4743762 14535 5438 1 0 548893 0
[pid=134720/tid=134731] ppid=134706 vsize=18975048 memory=16104 CPUtime=0.06 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) D 134706 134720 134651 0 -1 4194368 5620 0 47 0 4 2 0 0 20 0 18 0 13082609 19430449152 14535 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58140 KiB

[startup+1.50029 s]
/proc/loadavg: 2.41 2.21 2.13 12/336 134796
/proc/meminfo: memFree=103208652/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=204464 CPUtime=1.54 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 17657 0 64 0 146 8 0 0 20 0 20 0 13082582 19566772224 51116 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 51116 5826 1 0 556444 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=16104 CPUtime=0.72 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 6171 0 48 0 67 5 0 0 20 0 20 0 13082609 19566772224 51116 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 51116 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=50792 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 51116 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204464 KiB

[startup+3.10629 s]
/proc/loadavg: 2.41 2.21 2.13 14/344 134804
/proc/meminfo: memFree=102829128/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=210952 CPUtime=4.71 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 28283 0 64 0 462 9 0 0 20 0 20 0 13082582 19566772224 52738 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 52738 5852 1 0 557697 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=32404 CPUtime=2.25 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 6521 0 48 0 220 5 0 0 20 0 20 0 13082609 19566772224 52738 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=-8745255351552352956 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 52738 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 52738 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 52738 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210952 KiB

[startup+6.30029 s]
/proc/loadavg: 2.62 2.26 2.15 9/344 134806
/proc/meminfo: memFree=102719072/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=207624 CPUtime=9.11 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 31015 0 64 0 900 11 0 0 20 0 20 0 13082582 19566772224 51906 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 51906 5864 1 0 557708 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=-8745255351552352956 CPUtime=5.39 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 7080 0 48 0 533 6 0 0 20 0 20 0 13082609 19566772224 51906 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 51906 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 51906 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=211344 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 51906 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 207624 KiB

[startup+12.7003 s]
/proc/loadavg: 2.73 2.29 2.16 9/345 134807
/proc/meminfo: memFree=102577272/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=225088 CPUtime=16.66 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 40003 0 64 0 1652 14 0 0 20 0 20 0 13082582 19566772224 56272 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 56272 5903 1 0 557740 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=0 CPUtime=11.67 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 8004 0 48 0 1160 7 0 0 20 0 20 0 13082609 19566772224 56272 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=209188 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 56272 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=222644 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 56272 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=218548 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 56272 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 16.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 225088 KiB

[startup+25.5003 s]
/proc/loadavg: 3.16 2.39 2.19 8/345 134810
/proc/meminfo: memFree=102354188/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=270336 CPUtime=29.72 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 53269 0 64 0 2954 18 0 0 20 0 20 0 13082582 19566772224 67584 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 67584 5903 1 0 557740 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=270336 CPUtime=24.39 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 10028 0 48 0 2429 10 0 0 20 0 20 0 13082609 19566772224 67584 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 67584 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 67584 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=270336 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 67584 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 29.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 270336 KiB

[startup+51.1071 s]
/proc/loadavg: 3.49 2.55 2.25 8/345 134813
/proc/meminfo: memFree=101714180/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=569344 CPUtime=55.29 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 56405 0 64 0 5501 28 0 0 20 0 20 0 13082582 19566772224 142336 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 142336 5903 1 0 557740 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=-8745255351552352956 CPUtime=49.92 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 12056 0 48 0 4973 19 0 0 20 0 20 0 13082609 19566772224 142336 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=218548 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 142336 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=25904303 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 142336 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=50792 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 142336 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 55.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 569344 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 2.81 2.36 8/342 134821
/proc/meminfo: memFree=100313916/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=762064 CPUtime=106.4 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 61658 0 64 0 10602 38 0 0 20 0 20 0 13082582 19566772224 190516 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 190516 5906 1 0 557740 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=762064 CPUtime=100.96 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 14625 0 48 0 10070 26 0 0 20 0 20 0 13082609 19566772224 190516 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=569540 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 190516 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=700612 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 191 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 190516 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=270336 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 190516 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 106.4 s
Current children cumulated vsize: 19108176 KiB

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

/proc/meminfo: memFree=76846284/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=1572828 CPUtime=3275.6 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 206977 0 64 0 327035 525 0 0 20 0 20 0 13082582 19566772224 393207 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 393207 5933 1 0 557877 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=1564620 CPUtime=3263.5 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 70648 0 48 0 325933 417 0 0 20 0 20 0 13082609 19566772224 393207 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 737 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=5508 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 393207 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=1572824 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 3578 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 393207 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=1900 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 393207 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 3275.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1572828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.27 4.14 9/333 136603
/proc/meminfo: memFree=76479688/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=1605616 CPUtime=3335.28 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 208498 0 64 0 332990 538 0 0 20 0 20 0 13082582 19566772224 401404 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 401404 5933 1 0 557877 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=12992 CPUtime=3322.91 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 71426 0 48 0 331863 428 0 0 20 0 20 0 13082609 19566772224 401404 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 766 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=1583088 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 401404 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=1583088 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 3661 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 401404 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 401404 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 3335.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1605616 KiB

[startup+3402.3 s]
/proc/loadavg: 5.54 4.70 4.31 8/333 136613
/proc/meminfo: memFree=76071268/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=1661016 CPUtime=3394.86 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 210812 0 64 0 338934 552 0 0 20 0 20 0 13082582 19566772224 415254 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 415254 5933 1 0 557877 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=1552296 CPUtime=3382.17 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 72373 0 48 0 337778 439 0 0 20 0 20 0 13082609 19566772224 415254 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 796 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 415254 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=1552284 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 3704 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 415254 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 415254 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 3394.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1661016 KiB

[startup+3462.3 s]
/proc/loadavg: 4.61 4.59 4.29 8/335 136628
/proc/meminfo: memFree=75640452/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=1726640 CPUtime=3454.59 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 213060 0 64 0 344895 564 0 0 20 0 20 0 13082582 19566772224 431660 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 431660 5933 1 0 557877 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=1552296 CPUtime=3441.66 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 73406 0 48 0 343718 448 0 0 20 0 20 0 13082609 19566772224 431660 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 820 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 431660 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=50792 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 3745 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 431660 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=1726552 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 431660 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 3454.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1726640 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.49 4.27 8/335 136638
/proc/meminfo: memFree=75267668/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=1763508 CPUtime=3514.38 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 213597 0 64 0 350860 578 0 0 20 0 20 0 13082582 19566772224 440877 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 440877 5933 1 0 557877 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=1726640 CPUtime=3501.12 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 73741 0 48 0 349652 460 0 0 20 0 20 0 13082609 19566772224 440877 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 843 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=1726640 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 440877 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 3809 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 440877 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 440877 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 3514.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1763508 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.42 4.26 8/335 136650
/proc/meminfo: memFree=74900668/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=1824952 CPUtime=3574.14 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 216251 0 64 0 356825 589 0 0 20 0 20 0 13082582 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 456238 5933 1 0 557877 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=1763508 CPUtime=3560.68 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 74976 0 48 0 355601 467 0 0 20 0 20 0 13082609 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 864 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=50792 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=50792 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 3810 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=1824952 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 3574.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1824952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.3 s]
/proc/loadavg: 4.50 4.48 4.28 8/335 136725
/proc/meminfo: memFree=79660876/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=1824952 CPUtime=3600.05 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 216369 0 64 0 359411 594 0 0 20 0 20 0 13082582 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 456238 5933 1 0 557877 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=50792 CPUtime=3586.5 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 75004 0 48 0 358179 471 0 0 20 0 20 0 13082609 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 873 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=-8745255351552352956 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=1824952 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 3882 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=1824952 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1824952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.17 s, system=5.95734 s

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

[startup+3608.3 s]
/proc/loadavg: 4.50 4.48 4.28 8/335 136725
/proc/meminfo: memFree=79660876/131524600 swapFree=131071996/131071996
[pid=134720] ppid=134706 vsize=19108176 memory=1824952 CPUtime=3600.05 cores=5,7
/proc/134720/stat : 134720 (java) S 134706 134720 134651 0 -1 1077936128 216369 0 64 0 359411 594 0 0 20 0 20 0 13082582 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 0 0 16800975 0 0 0 17 7 0 0 25 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
/proc/134720/statm: 4777044 456238 5933 1 0 557877 0
[pid=134720/tid=134731] ppid=134706 vsize=19108176 memory=50792 CPUtime=3586.5 cores=5,7
/proc/134720/task/134731/stat : 134731 (java) R 134706 134720 134651 0 -1 4194368 75004 0 48 0 358179 471 0 0 20 0 20 0 13082609 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 873 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134766] ppid=134706 vsize=19108176 memory=-8745255351552352956 CPUtime=0 cores=5,7
/proc/134720/task/134766/stat : 134766 (Finalizer) S 134706 134720 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134796] ppid=134706 vsize=19108176 memory=1824952 CPUtime=0 cores=5,7
/proc/134720/task/134796/stat : 134796 (Common-Cleaner) S 134706 134720 134651 0 -1 1077936192 3882 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
[pid=134720/tid=134801] ppid=134706 vsize=19108176 memory=1824952 CPUtime=0 cores=5,7
/proc/134720/task/134801/stat : 134801 (Timer-0) S 134706 134720 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082731 19566772224 456238 134679101440 94616669368320 94616669372016 140724364990944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94616669379832 94616669380624 94616677326848 140724364997547 140724364997729 140724364997729 140724365004744 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1824952 KiB

Child status: 143

Real time (s): 3608.37
CPU time (s): 3600.13
CPU user time (s): 3594.17
CPU system time (s): 5.95734
CPU usage (%): 99.7716
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1824952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.17
system time used= 5.95734
maximum resident set size= 1826336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219346
page faults= 64
swaps= 0
block input operations= 9000
block output operations= 5051320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110295
involuntary context switches= 6971


# summary of solver processes directly reported to runsolver:
#   pid: 134720
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3594.17
#   total CPU system time (s): 5.95734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.7184 second user time and 18.2379 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-23 22:13:06
IDJOB=4440210
IDBENCH=146066
IDSOLVER=3079
FILE ID=nodeC030/4440210-1721765586
RUNJOBID= nodeC030-1721765586-134664
SLURM_JOB_ID= 7770658
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440210-1721765586/watcher-4440210-1721765586 -o /tmp/evaluation-result-4440210-1721765586/solver-4440210-1721765586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721765586-134664 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440210-1721765586 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440210-1721765586.opb

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

MD5SUM BENCH= 53c68bf7d19d7287f2cd1e2b2d097a69
RANDOM SEED=154819853

nodeC030.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		: 3767.516
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.45
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		: 3760.240
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.46
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		: 3605.968
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.45
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		: 3774.029
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.46
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		: 3687.379
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.45
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		: 3641.782
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.46
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		: 3607.227
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.45
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		: 3889.668
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        103664852 kB
MemAvailable:   129612860 kB
Buffers:          186940 kB
Cached:         26488544 kB
SwapCached:            0 kB
Active:          1321740 kB
Inactive:       25751116 kB
Active(anon):       1472 kB
Inactive(anon):   441824 kB
Active(file):    1320268 kB
Inactive(file): 25309292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28192 kB
Writeback:             0 kB
AnonPages:        394128 kB
Mapped:           108036 kB
Shmem:             45912 kB
KReclaimable:     316544 kB
Slab:             430520 kB
SReclaimable:     316544 kB
SUnreclaim:       113976 kB
KernelStack:        4016 kB
PageTables:         9764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     716664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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:      285396 kB
DirectMap2M:    27799552 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC030 at 2024-07-23 23:13:15