Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | ? (TO) | 3600.16 | 3608.67 |
| Name | PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb |
| MD5SUM | 1e7dffa7a0e3dc993564780a9c56329e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -5433 |
| Best CPU time to get the best result obtained on this benchmark | 176.654 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 81322 |
| Total number of constraints | 201868 |
| Number of constraints which are clauses | 201867 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8416 |
| Number of terms in the objective function | 389 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 224050 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 224050 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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.73 c Free memory 2104792832 0.10/0.73 c Max memory 16282288128 0.10/0.73 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-4440207-1721765586.opb 0.10/0.79 c reading problem ... 0.21/0.81 c using VERIPB proof format 0.21/0.81 c objective function found 1.75/1.62 c ... done. Wall clock time 0.822s. 1.75/1.62 c declared #vars 81322 1.75/1.62 c #constraints 201868 1.75/1.62 c constraints type 1.75/1.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 125601 1.75/1.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1.75/1.62 c org.sat4j.specs.Constr$1 => 1 1.75/1.62 c org.sat4j.pb.constraints.pb.UnitClausePB => 2 1.75/1.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 76263 1.75/1.62 c 201868 constraints processed. 1.75/1.63 c objective function length is 389 literals 13.99/10.95 c SATISFIABLE 13.99/10.95 c OPTIMIZING... 13.99/10.95 c Got one! Elapsed wall clock time (in seconds):10.159 13.99/10.95 o 0 19.59/16.09 c cleaning 2599 clauses out of 5231 with flag 7519/5253 30.14/26.16 c cleaning 4310 clauses out of 8631 with flag 37652/11253 41.39/37.17 c cleaning 5578 clauses out of 11321 with flag 82306/18253 54.28/50.03 c cleaning 6849 clauses out of 13743 with flag 134565/26253 66.95/62.76 c cleaning 7940 clauses out of 15890 with flag 175954/35253 82.62/78.49 c cleaning 8970 clauses out of 17950 with flag 214546/45253 99.99/95.85 c cleaning 9988 clauses out of 19979 with flag 263677/56253 115.70/111.42 c cleaning 10926 clauses out of 21991 with flag 337068/68253 133.41/129.25 c cleaning 12032 clauses out of 24065 with flag 405251/81253 156.25/152.29 c cleaning 13017 clauses out of 26034 with flag 466533/95255 181.03/177.03 c cleaning 14004 clauses out of 28016 with flag 521304/110254 208.59/204.73 c cleaning 15000 clauses out of 30011 with flag 583101/126253 248.30/244.51 c cleaning 16005 clauses out of 32011 with flag 654173/143253 249.16/245.32 c Got one! Elapsed wall clock time (in seconds):244.532 249.16/245.32 o -995 258.55/254.30 c cleaning 10612 clauses out of 21247 with flag 29994/148494 266.15/261.91 c cleaning 8303 clauses out of 16636 with flag 64372/154495 274.53/270.33 c cleaning 7661 clauses out of 15332 with flag 98794/161494 290.00/285.84 c cleaning 7828 clauses out of 15671 with flag 126393/169494 310.28/306.19 c cleaning 8421 clauses out of 16843 with flag 158857/178494 333.70/329.57 c cleaning 9201 clauses out of 18420 with flag 190965/188494 361.95/357.81 c cleaning 10085 clauses out of 20215 with flag 238082/199494 375.52/371.44 c cleaning 11031 clauses out of 22131 with flag 291386/211495 395.99/391.90 c cleaning 12049 clauses out of 24099 with flag 347803/224494 427.92/423.90 c cleaning 13020 clauses out of 26051 with flag 398978/238495 456.11/452.11 c cleaning 13989 clauses out of 28030 with flag 464825/253494 479.45/475.76 c cleaning 15019 clauses out of 30041 with flag 533316/269494 510.29/506.64 c cleaning 15998 clauses out of 32021 with flag 606220/286494 543.91/540.36 c cleaning 17005 clauses out of 34023 with flag 688856/304496 583.02/579.53 c cleaning 18003 clauses out of 36009 with flag 775990/323495 606.23/602.84 c cleaning 18998 clauses out of 38002 with flag 954996/343494 635.65/632.32 c cleaning 19998 clauses out of 40002 with flag 1083349/364494 672.52/669.33 c cleaning 20997 clauses out of 42002 with flag 1199204/386496 718.26/715.55 c cleaning 22000 clauses out of 44004 with flag 1334924/409495 763.33/760.99 c cleaning 22996 clauses out of 46002 with flag 1512920/433494 808.37/806.47 c cleaning 24002 clauses out of 48007 with flag 1648724/458495 853.76/852.00 c cleaning 24995 clauses out of 50006 with flag 1821545/484496 897.97/896.64 c cleaning 26003 clauses out of 52012 with flag 1981017/511497 939.60/938.82 c cleaning 26957 clauses out of 54006 with flag 2200671/539494 951.81/951.10 c Got one! Elapsed wall clock time (in seconds):950.308 951.81/951.10 o -1036 959.69/958.80 c cleaning 19088 clauses out of 38181 with flag 42927/550628 966.97/966.11 c cleaning 12482 clauses out of 25093 with flag 92653/556628 977.25/976.45 c cleaning 9798 clauses out of 19611 with flag 137212/563628 991.57/990.80 c cleaning 8902 clauses out of 17815 with flag 175045/571630 1005.95/1005.29 c cleaning 8938 clauses out of 17911 with flag 218904/580628 1022.36/1021.79 c cleaning 9483 clauses out of 18973 with flag 269037/590628 1046.40/1045.81 c cleaning 10235 clauses out of 20490 with flag 339097/601628 1063.17/1062.62 c cleaning 11107 clauses out of 22256 with flag 434146/613630 1078.71/1078.24 c cleaning 12069 clauses out of 24147 with flag 527512/626628 1098.26/1097.80 c cleaning 13035 clauses out of 26078 with flag 607040/640628 1118.07/1117.70 c cleaning 14013 clauses out of 28043 with flag 706788/655628 1143.37/1143.11 c cleaning 15011 clauses out of 30031 with flag 787307/671629 1173.42/1173.21 c cleaning 16009 clauses out of 32020 with flag 868231/688629 1202.07/1201.98 c cleaning 17001 clauses out of 34010 with flag 957104/706628 1230.36/1230.34 c cleaning 17996 clauses out of 36009 with flag 1095059/725628 1262.13/1262.28 c cleaning 19006 clauses out of 38014 with flag 1205013/745629 1302.95/1303.12 c cleaning 20001 clauses out of 40008 with flag 1311412/766629 1328.68/1328.90 c cleaning 21003 clauses out of 42006 with flag 1520397/788628 1355.10/1355.44 c cleaning 21961 clauses out of 44003 with flag 1721709/811628 1383.48/1383.96 c cleaning 23014 clauses out of 46045 with flag 1932256/835631 1410.65/1411.25 c cleaning 24008 clauses out of 48030 with flag 2163499/860630 1438.30/1438.90 c cleaning 24998 clauses out of 50020 with flag 2392774/886628 1469.92/1470.60 c cleaning 25999 clauses out of 52024 with flag 2547716/913630 1512.67/1513.54 c cleaning 27008 clauses out of 54024 with flag 2719296/941629 1551.73/1552.76 c cleaning 28003 clauses out of 56017 with flag 2927883/970630 1590.96/1592.10 c cleaning 29002 clauses out of 58012 with flag 3109312/1000628 1644.71/1645.91 c cleaning 30002 clauses out of 60010 with flag 3294928/1031628 1692.99/1694.64 c cleaning 31001 clauses out of 62008 with flag 3500684/1063628 1749.25/1751.37 c Got one! Elapsed wall clock time (in seconds):1750.577 1749.25/1751.37 o -1629 1757.37/1759.45 c cleaning 33438 clauses out of 66949 with flag 38686/1099570 1766.05/1768.13 c cleaning 19735 clauses out of 39510 with flag 81556/1105569 1774.84/1776.94 c cleaning 13369 clauses out of 26775 with flag 130969/1112569 1786.93/1789.18 c cleaning 10694 clauses out of 21408 with flag 175756/1120571 1800.21/1802.47 c cleaning 9842 clauses out of 19716 with flag 206415/1129573 1816.37/1818.62 c cleaning 9926 clauses out of 19870 with flag 235622/1139569 1836.13/1838.40 c cleaning 10429 clauses out of 20944 with flag 277453/1150569 1859.00/1861.45 c cleaning 11218 clauses out of 22515 with flag 336629/1162569 1877.69/1880.20 c cleaning 12090 clauses out of 24297 with flag 394956/1175569 1891.26/1893.88 c cleaning 13000 clauses out of 26207 with flag 482151/1189569 1907.46/1910.26 c cleaning 14100 clauses out of 28210 with flag 560512/1204572 1925.72/1928.53 c cleaning 15040 clauses out of 30111 with flag 622471/1220573 1946.22/1949.25 c cleaning 16027 clauses out of 32067 with flag 686553/1237569 1968.51/1971.88 c cleaning 17020 clauses out of 34040 with flag 796005/1255569 1999.65/2003.32 c cleaning 17993 clauses out of 36020 with flag 865028/1274569 2029.83/2033.74 c cleaning 19001 clauses out of 38027 with flag 952316/1294569 2057.19/2061.34 c cleaning 19944 clauses out of 40027 with flag 1050200/1315570 2087.15/2091.62 c cleaning 21037 clauses out of 42082 with flag 1150472/1337569 2117.32/2122.03 c cleaning 22012 clauses out of 44045 with flag 1248884/1360569 2154.73/2159.60 c cleaning 23015 clauses out of 46034 with flag 1345242/1384570 2188.08/2193.16 c cleaning 24000 clauses out of 48018 with flag 1465075/1409569 2221.12/2226.35 c cleaning 25004 clauses out of 50021 with flag 1625698/1435572 2266.91/2272.28 c cleaning 26006 clauses out of 52016 with flag 1735647/1462571 2311.58/2317.06 c cleaning 26958 clauses out of 54009 with flag 1891805/1490570 2353.98/2359.54 c cleaning 28023 clauses out of 56050 with flag 2028559/1519569 2409.05/2414.71 c cleaning 28999 clauses out of 58027 with flag 2153531/1549569 2453.68/2459.68 c cleaning 30007 clauses out of 60028 with flag 2315333/1580569 2500.79/2506.85 c cleaning 31012 clauses out of 62023 with flag 2439522/1612571 2553.77/2559.96 c cleaning 31994 clauses out of 64009 with flag 2617681/1645569 2606.55/2612.81 c cleaning 33006 clauses out of 66015 with flag 2759666/1679569 2647.37/2653.73 c cleaning 33990 clauses out of 68009 with flag 2940928/1714569 2694.86/2701.33 c cleaning 34997 clauses out of 70020 with flag 3103060/1750570 2754.53/2761.19 c cleaning 36004 clauses out of 72022 with flag 3285129/1787569 2815.81/2822.57 c cleaning 36974 clauses out of 74019 with flag 3464514/1825570 2859.76/2866.63 c cleaning 38017 clauses out of 76044 with flag 3665359/1864569 2913.54/2920.50 c cleaning 38984 clauses out of 78028 with flag 3857560/1904570 2966.07/2973.18 c cleaning 40010 clauses out of 80043 with flag 4070359/1945569 3033.17/3040.42 c cleaning 40997 clauses out of 82033 with flag 4317363/1987569 3098.61/3106.17 c cleaning 41990 clauses out of 84036 with flag 4528385/2030569 3154.89/3162.53 c cleaning 43018 clauses out of 86045 with flag 4760620/2074569 3231.22/3239.02 c cleaning 43990 clauses out of 88028 with flag 4992917/2119570 3301.48/3309.49 c cleaning 45011 clauses out of 90037 with flag 5196952/2165569 3362.46/3370.58 c cleaning 46013 clauses out of 92027 with flag 5387461/2212570 3430.90/3439.19 c cleaning 47001 clauses out of 94014 with flag 5595461/2260570 3516.24/3524.67 c cleaning 47996 clauses out of 96013 with flag 5840111/2309570 3579.38/3587.93 c cleaning 48991 clauses out of 98016 with flag 6089816/2359569 3600.03/3608.62 c starts : 11564 3600.03/3608.62 c conflicts : 2376167 3600.03/3608.62 c decisions : 26840474 3600.03/3608.62 c propagations : 10932844944 3600.03/3608.62 c inspects : 23862602330 3600.03/3608.62 c shortcuts : 0 3600.03/3608.62 c learnt literals : 60 3600.03/3608.62 c learnt binary clauses : 2630 3600.03/3608.62 c learnt ternary clauses : 4428 3600.03/3608.62 c learnt constraints : 2376107 3600.03/3608.62 c ignored constraints : 0 3600.03/3608.62 c root simplifications : 0 3600.03/3608.62 c removed literals (reason simplification) : 56967246 3600.03/3608.62 c reason swapping (by a shorter reason) : 0 3600.03/3608.62 c Calls to reduceDB : 111 3600.03/3608.62 c Number of update (reduction) of LBD : 1078902 3600.03/3608.62 c Imported unit clauses : 0 3600.03/3608.62 c No decision after first conflict : false 3600.03/3608.62 c number of reductions to clauses (during analyze) : 0 3600.03/3608.62 c number of learned constraints concerned by reduction : 0 3600.03/3608.62 c number of learning phase by resolution : 0 3600.03/3608.62 c number of learning phase by cutting planes : 0 3600.03/3608.62 c number of rounding to 1 operations : 0 3600.03/3608.62 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3608.62 c number of reductions of the coefficients by power 2 : 0 3600.03/3608.62 c number of right shift for reduction by power 2 : 0 3600.03/3608.62 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3608.62 c number of ending skipping : 0 3600.03/3608.62 c number of internal skipping : 0 3600.03/3608.62 c number of derivation steps : 0 3600.03/3608.62 c number of skipped derivation steps : 0 3600.03/3608.62 c number of remaining unassigned : 0 3600.03/3608.62 c number of remaining assigned : 0 3600.03/3608.62 c number of falsified literals weakened from reason : 0 3600.03/3608.62 c number of falsified literals weakened from conflict : 0 3600.03/3608.62 c time for arithmetic operations : 0 3600.03/3608.62 c minimum degree of deleted constraints : null 3600.03/3608.62 c maximum degree of deleted constraints : null 3600.03/3608.62 c number of deleted constraints : 0 3600.03/3608.62 c speed (assignments/second) : 3031042.200368787 3600.03/3608.62 c non guided choices : 298 3600.03/3608.65 c timeout 3600.03/3608.65 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.03/3608.65 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962) 3600.03/3608.65 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108) 3600.03/3608.65 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099) 3600.03/3608.65 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180) 3600.03/3608.65 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.03/3608.65 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.03/3608.65 at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)
ERROR: no interpretation found !
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-4440207-1721765586/watcher-4440207-1721765586 -o /tmp/evaluation-result-4440207-1721765586/solver-4440207-1721765586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721765586-134663 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440207-1721765586 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440207-1721765586.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=134722, runsolver pid=134707
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 2.27 2.18 2.12 3/265 134725
/proc/meminfo: memFree=103661064/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=32004 memory=1844 CPUtime=0 cores=1,3
/proc/134722/stat : 134722 (java) D 134707 134722 134651 0 -1 4194304 128 0 1 0 0 0 0 0 20 0 1 0 13082582 32772096 461 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 0 0 0 0 17 1 0 0 7 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 8001 461 421 1 0 457 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 32004 KiB
Current children cumulated memory: 1844 KiB
[startup+0.206745 s]*
/proc/loadavg: 2.27 2.18 2.12 4/265 134725
/proc/meminfo: memFree=103658684/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=37736 memory=2912 CPUtime=0 cores=1,3
/proc/134722/stat : 134722 (java) D 134707 134722 134651 0 -1 4194304 203 0 2 0 0 0 0 0 20 0 1 0 13082582 38641664 728 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 0 0 0 0 17 1 0 0 24 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 9434 728 644 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2912 KiB
[startup+0.305389 s]*
/proc/loadavg: 2.27 2.18 2.12 3/271 134731
/proc/meminfo: memFree=103645308/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=239396 memory=8948 CPUtime=0 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 628 0 15 0 0 0 0 0 20 0 2 0 13082582 245141504 2237 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 0 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 59849 2237 1853 1 0 583 0
[pid=134722/tid=134730] ppid=134707 vsize=239396 memory=-8673197757514425020 CPUtime=0 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) D 134707 134722 134651 0 -1 4194368 37 0 5 0 0 0 0 0 20 0 2 0 13082609 245141504 2237 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 0 0 0 0 -1 1 0 0 3 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 239396 KiB
Current children cumulated memory: 8948 KiB
[startup+0.700334 s]
/proc/loadavg: 2.41 2.21 2.13 8/292 134752
/proc/meminfo: memFree=103551392/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=18975048 memory=58296 CPUtime=0.1 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 6845 0 53 0 7 3 0 0 20 0 18 0 13082582 19430449152 14574 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4743762 14574 5468 1 0 548893 0
[pid=134722/tid=134730] ppid=134707 vsize=18975048 memory=16104 CPUtime=0.06 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) D 134707 134722 134651 0 -1 4194368 5626 0 33 0 4 2 0 0 20 0 18 0 13082609 19430449152 14574 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 33 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58296 KiB
[startup+1.50036 s]
/proc/loadavg: 2.41 2.21 2.13 15/336 134796
/proc/meminfo: memFree=103214796/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19041612 memory=213092 CPUtime=1.53 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 16698 0 53 0 145 8 0 0 20 0 19 0 13082582 19498610688 53273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4760403 53273 5778 1 0 555751 0
[pid=134722/tid=134730] ppid=134707 vsize=19041612 memory=16104 CPUtime=0.71 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 6074 0 33 0 67 4 0 0 20 0 19 0 13082609 19498610688 53273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19041612 memory=11624 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13082637 19498610688 53273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19041612 memory=50792 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 13082638 19498610688 53273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 213092 KiB
[startup+3.10736 s]
/proc/loadavg: 2.41 2.21 2.13 13/344 134804
/proc/meminfo: memFree=102829128/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19108176 memory=221092 CPUtime=4.72 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 25971 0 53 0 463 9 0 0 20 0 20 0 13082582 19566772224 55273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 55273 5856 1 0 557264 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=-8673197757514425020 CPUtime=2.24 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 6497 0 33 0 219 5 0 0 20 0 20 0 13082609 19566772224 55273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 55273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 55273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=32404 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 55273 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 221092 KiB
[startup+6.30028 s]
/proc/loadavg: 2.62 2.26 2.15 8/344 134806
/proc/meminfo: memFree=102719072/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19108176 memory=221980 CPUtime=8.72 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 28791 0 53 0 862 10 0 0 20 0 20 0 13082582 19566772224 55495 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 55495 5858 1 0 557292 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=-8673197757514425020 CPUtime=5.42 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 7229 0 33 0 537 5 0 0 20 0 20 0 13082609 19566772224 55495 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 55495 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 55495 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=219252 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 55495 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 221980 KiB
[startup+12.7003 s]
/proc/loadavg: 2.73 2.29 2.16 8/345 134807
/proc/meminfo: memFree=102577272/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19108176 memory=222624 CPUtime=15.87 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 34350 0 53 0 1576 11 0 0 20 0 20 0 13082582 19566772224 55656 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 55656 5858 1 0 557311 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=0 CPUtime=11.79 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 9151 0 33 0 1174 5 0 0 20 0 20 0 13082609 19566772224 55656 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=222612 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 55656 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=222440 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 55656 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 55656 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 15.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222624 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=134722] ppid=134707 vsize=19108176 memory=234088 CPUtime=29.54 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 48362 0 53 0 2941 13 0 0 20 0 20 0 13082582 19566772224 58522 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 58522 5893 1 0 557412 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=7582217447441258820 CPUtime=24.5 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 11494 0 33 0 2444 6 0 0 20 0 20 0 13082609 19566772224 58522 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 58522 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=234064 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 58522 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=234032 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 58522 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 29.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 234088 KiB
[startup+51.1072 s]
/proc/loadavg: 3.49 2.55 2.25 8/345 134813
/proc/meminfo: memFree=101714180/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19108176 memory=250676 CPUtime=55.38 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 59104 0 53 0 5521 17 0 0 20 0 20 0 13082582 19566772224 62669 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 62669 5893 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=250676 CPUtime=50.02 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 13570 0 33 0 4995 7 0 0 20 0 20 0 13082609 19566772224 62669 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 40 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=250668 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 62669 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=-8673197757514425020 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 62669 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=222624 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 62669 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 55.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 250676 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=134722] ppid=134707 vsize=19108176 memory=295864 CPUtime=106.61 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 68096 0 53 0 10639 22 0 0 20 0 20 0 13082582 19566772224 73966 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 73966 5894 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=250680 CPUtime=101.06 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 16138 0 33 0 10096 10 0 0 20 0 20 0 13082609 19566772224 73966 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 40 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=258980 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 73966 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=250784 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 165 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 73966 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=265124 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 73966 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 106.61 s
################
# More data... #
################
/proc/meminfo: memFree=77162560/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19108176 memory=1416820 CPUtime=3214.54 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 166832 0 53 0 321233 221 0 0 20 0 20 0 13082582 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 354205 5910 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=1416820 CPUtime=3205.78 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 72697 0 33 0 320461 117 0 0 20 0 20 0 13082609 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 753 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=1416820 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=1416820 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 4576 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=1416820 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1416820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.22 4.12 8/333 136593
/proc/meminfo: memFree=76846284/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19108176 memory=1416820 CPUtime=3274.41 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 168308 0 53 0 327218 223 0 0 20 0 20 0 13082582 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 354205 5910 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=1416820 CPUtime=3265.61 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 73920 0 33 0 326443 118 0 0 20 0 20 0 13082609 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 755 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=1416820 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=2336 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 4675 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=1416820 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 354205 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 3274.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1416820 KiB
[startup+3342.3 s]
/proc/loadavg: 4.47 4.27 4.14 8/333 136603
/proc/meminfo: memFree=76479688/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19108176 memory=1427060 CPUtime=3334.31 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 170262 0 53 0 333205 226 0 0 20 0 20 0 13082582 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 356765 5910 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=1416820 CPUtime=3325.41 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 74918 0 33 0 332422 119 0 0 20 0 20 0 13082609 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 755 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=1427060 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=-8673197757514425020 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 4751 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=1427060 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 3334.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1427060 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=134722] ppid=134707 vsize=19108176 memory=1427060 CPUtime=3394.18 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 171361 0 53 0 339190 228 0 0 20 0 20 0 13082582 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 356765 5910 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=1427060 CPUtime=3385.26 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 75836 0 33 0 338406 120 0 0 20 0 20 0 13082609 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 755 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=50792 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 4805 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=1427060 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 3394.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1427060 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=134722] ppid=134707 vsize=19108176 memory=1427060 CPUtime=3454.04 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 172318 0 53 0 345173 231 0 0 20 0 20 0 13082582 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 356765 5910 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=1427060 CPUtime=3445.09 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 76709 0 33 0 344387 122 0 0 20 0 20 0 13082609 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 758 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=50792 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=1427060 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 4875 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=1427060 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 356765 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 3454.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1427060 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=134722] ppid=134707 vsize=19108176 memory=1429108 CPUtime=3513.94 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 174174 0 53 0 351160 234 0 0 20 0 20 0 13082582 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 357277 5910 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=1427060 CPUtime=3504.9 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 77408 0 33 0 350367 123 0 0 20 0 20 0 13082609 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 759 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=1427060 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=1427060 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 4997 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=5508 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 3513.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1429108 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=134722] ppid=134707 vsize=19108176 memory=1429108 CPUtime=3573.8 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 175400 0 53 0 357141 239 0 0 20 0 20 0 13082582 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 357277 5910 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=1429108 CPUtime=3564.73 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 78398 0 33 0 356347 126 0 0 20 0 20 0 13082609 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 762 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=32404 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 5123 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=-9126187764834484125 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1429108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.50 4.48 4.28 8/335 136725
/proc/meminfo: memFree=79660876/131524600 swapFree=131071996/131071996
[pid=134722] ppid=134707 vsize=19108176 memory=1429108 CPUtime=3600.03 cores=1,3
/proc/134722/stat : 134722 (java) S 134707 134722 134651 0 -1 1077936128 176050 0 53 0 359763 240 0 0 20 0 20 0 13082582 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 0 0 16800975 0 0 0 17 1 0 0 30 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
/proc/134722/statm: 4777044 357277 5910 1 0 557423 0
[pid=134722/tid=134730] ppid=134707 vsize=19108176 memory=5508 CPUtime=3590.95 cores=1,3
/proc/134722/task/134730/stat : 134730 (java) R 134707 134722 134651 0 -1 4194368 79038 0 33 0 358968 127 0 0 20 0 20 0 13082609 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 762 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134770] ppid=134707 vsize=19108176 memory=16104 CPUtime=0 cores=1,3
/proc/134722/task/134770/stat : 134770 (Finalizer) S 134707 134722 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13082637 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134795] ppid=134707 vsize=19108176 memory=2336 CPUtime=0 cores=1,3
/proc/134722/task/134795/stat : 134795 (Common-Cleaner) S 134707 134722 134651 0 -1 1077936192 5123 0 0 0 0 0 0 0 20 0 20 0 13082638 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
[pid=134722/tid=134803] ppid=134707 vsize=19108176 memory=198340509722 CPUtime=0 cores=1,3
/proc/134722/task/134803/stat : 134803 (Timer-0) S 134707 134722 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13082748 19566772224 357277 134679101440 94608674406400 94608674410096 140735587743568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94608674417912 94608674418704 94608697069568 140735587746731 140735587746913 140735587746913 140735587753928 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1429108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.67 s]
# the end of solver process 134722 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.73 s, system=2.42264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3608.67
CPU time (s): 3600.16
CPU user time (s): 3597.73
CPU system time (s): 2.42264
CPU usage (%): 99.764
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1429108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.73
system time used= 2.42264
maximum resident set size= 1430688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179704
page faults= 53
swaps= 0
block input operations= 6320
block output operations= 1085448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112036
involuntary context switches= 5819
# summary of solver processes directly reported to runsolver:
# pid: 134722
# total CPU time (s): 3600.16
# total CPU user time (s): 3597.73
# total CPU system time (s): 2.42264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4714 second user time and 18.5668 second system time
The end
Begin job on nodeC030 at 2024-07-23 22:13:06 IDJOB=4440207 IDBENCH=144624 IDSOLVER=3079 FILE ID=nodeC030/4440207-1721765586 RUNJOBID= nodeC030-1721765586-134663 SLURM_JOB_ID= 7770658 Free space on /tmp= 890056 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440207-1721765586/watcher-4440207-1721765586 -o /tmp/evaluation-result-4440207-1721765586/solver-4440207-1721765586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721765586-134663 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440207-1721765586 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440207-1721765586.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1e7dffa7a0e3dc993564780a9c56329e 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