Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | ? (TO) | 3600.35 | 3476.31 |
| Name | PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-15_c18.opb |
| MD5SUM | 64dbfbfc0114f72138d7179eedb1d684 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 168 |
| Best CPU time to get the best result obtained on this benchmark | 72002 |
| 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 | 25846 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 211 |
| Number of constraints which are cardinality constraints (but not clauses) | 330 |
| Number of constraints which are nor clauses,nor cardinality constraints | 960 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 232 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 513 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 25455 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.10 c See www.sat4j.org for details. 0.00/0.11 c version PB25.v20250606 0.00/0.12 c java.runtime.name OpenJDK Runtime Environment 0.00/0.12 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.12 c java.vm.version 22.0.1+8-16 0.00/0.12 c java.vm.vendor Oracle Corporation 0.00/0.12 c sun.arch.data.model 64 0.00/0.12 c java.version 22.0.1 0.00/0.12 c os.name Linux 0.00/0.12 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.12 c os.arch amd64 0.14/0.12 c Free memory 2106806208 0.14/0.12 c Max memory 16282288128 0.14/0.12 c Total memory 2113929216 0.14/0.13 c Number of processors 2 0.14/0.17 c Pseudo Boolean Optimization by upper bound 0.14/0.17 c --- Begin Solver configuration --- 0.14/0.17 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.14/0.17 c Learn all clauses as in MiniSAT 0.14/0.17 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.17 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.17 c Expensive reason simplification 0.14/0.17 c Glucose 2.1 dynamic restart strategy 0.14/0.17 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.14/0.17 c timeout=2147483s 0.14/0.17 c DB Simplification allowed=false 0.14/0.17 c Listener: none 0.14/0.17 c --- End Solver configuration --- 0.14/0.17 c solving HOME/instance-4524215-1751612876.opb 0.14/0.17 c reading problem ... 0.14/0.19 c using VERIPB proof format 0.14/0.19 c objective function found 1.00/0.62 c ... done. Wall clock time 0.433s. 1.00/0.62 c declared #vars 25846 1.00/0.62 c #constraints 1816 1.00/0.62 c constraints type 1.00/0.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 330 1.00/0.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1170 1.00/0.62 c org.sat4j.pb.constraints.pb.UnitClausePB => 106 1.00/0.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 210 1.00/0.62 c 1816 constraints processed. 1.00/0.64 c objective function length is 8 literals 7.58/4.22 c cleaning 2496 clauses out of 5001 with flag 24880/5001 10.31/6.54 c cleaning 4244 clauses out of 8530 with flag 53838/11026 12.77/8.88 c cleaning 5624 clauses out of 11260 with flag 80266/18000 16.65/12.27 c cleaning 6797 clauses out of 13637 with flag 108606/26001 20.67/15.94 c cleaning 7908 clauses out of 15839 with flag 162029/35000 31.97/26.48 c cleaning 8960 clauses out of 17932 with flag 344096/45001 41.37/35.54 c cleaning 9977 clauses out of 19973 with flag 456691/56002 47.47/41.08 c cleaning 10972 clauses out of 21994 with flag 521191/68000 51.50/44.92 c cleaning 11990 clauses out of 24022 with flag 576377/81000 58.41/51.53 c cleaning 13005 clauses out of 26032 with flag 666140/95000 65.95/58.77 c cleaning 14014 clauses out of 28028 with flag 788979/110001 76.82/69.28 c cleaning 15009 clauses out of 30018 with flag 919933/126005 91.65/83.39 c cleaning 15991 clauses out of 32006 with flag 1123228/143002 102.50/93.64 c cleaning 16993 clauses out of 34024 with flag 1288096/161011 114.80/105.56 c cleaning 18027 clauses out of 36053 with flag 1472077/180033 133.39/122.84 c cleaning 18976 clauses out of 37993 with flag 1745523/200000 149.86/138.64 c cleaning 19992 clauses out of 40018 with flag 1991188/221001 160.54/148.71 c cleaning 20986 clauses out of 42025 with flag 2196542/243000 181.36/168.26 c cleaning 22011 clauses out of 44039 with flag 2551914/266000 184.24/171.08 c SATISFIABLE 184.24/171.08 c OPTIMIZING... 184.24/171.08 c Got one! Elapsed wall clock time (in seconds):170.908 184.24/171.08 o 218 189.12/175.47 c cleaning 16291 clauses out of 32618 with flag 92956/276590 194.27/180.35 c cleaning 11129 clauses out of 22326 with flag 200287/282589 199.75/185.58 c cleaning 9087 clauses out of 18197 with flag 297702/289589 207.40/192.40 c cleaning 8531 clauses out of 17124 with flag 427026/297603 212.18/196.92 c cleaning 8782 clauses out of 17578 with flag 508590/306588 219.91/204.46 c cleaning 9370 clauses out of 18797 with flag 620752/316589 226.48/210.83 c cleaning 10182 clauses out of 20426 with flag 701789/327588 230.55/214.83 c cleaning 11105 clauses out of 22244 with flag 760300/339588 235.61/220.04 c cleaning 12048 clauses out of 24139 with flag 844953/352588 246.47/230.20 c cleaning 13017 clauses out of 26092 with flag 1032222/366589 254.93/238.27 c cleaning 14013 clauses out of 28074 with flag 1211962/381588 265.99/248.57 c cleaning 14999 clauses out of 30061 with flag 1435295/397588 276.85/258.78 c cleaning 16019 clauses out of 32062 with flag 1620360/414588 286.53/267.90 c cleaning 16993 clauses out of 34043 with flag 1814938/432588 297.96/278.53 c cleaning 18015 clauses out of 36052 with flag 2045056/451590 313.34/292.54 c cleaning 19020 clauses out of 38040 with flag 2288359/471593 324.90/303.63 c cleaning 20014 clauses out of 40028 with flag 2474645/492601 347.85/325.21 c cleaning 20977 clauses out of 42001 with flag 2875808/514588 370.67/346.89 c cleaning 21996 clauses out of 44024 with flag 3307914/537588 399.29/374.16 c cleaning 22992 clauses out of 46029 with flag 3910211/561589 432.33/405.56 c cleaning 23987 clauses out of 48037 with flag 4624901/586589 467.05/438.14 c cleaning 24993 clauses out of 50050 with flag 5406067/612589 507.49/476.70 c cleaning 26015 clauses out of 52056 with flag 6278603/639588 545.78/512.63 c cleaning 27009 clauses out of 54042 with flag 7206369/667589 584.53/548.71 c cleaning 28008 clauses out of 56034 with flag 8019463/696590 609.82/572.68 c cleaning 28996 clauses out of 58024 with flag 8542449/726588 640.06/601.18 c cleaning 30005 clauses out of 60030 with flag 9118844/757590 671.30/630.78 c cleaning 30995 clauses out of 62023 with flag 9657441/789588 717.06/674.26 c cleaning 31992 clauses out of 64028 with flag 10478314/822588 753.92/709.66 c cleaning 33011 clauses out of 66044 with flag 11121867/856596 784.72/738.82 c cleaning 33988 clauses out of 68025 with flag 11763223/891588 813.62/765.24 c cleaning 35005 clauses out of 70039 with flag 12388910/927590 860.12/809.86 c cleaning 36007 clauses out of 72032 with flag 13236467/964588 899.76/846.90 c cleaning 37003 clauses out of 74026 with flag 14033026/1002589 956.57/900.75 c cleaning 37995 clauses out of 76022 with flag 15275777/1041588 1015.29/956.49 c cleaning 38995 clauses out of 78027 with flag 16465557/1081588 1061.95/1001.07 c cleaning 40000 clauses out of 80033 with flag 17456597/1122589 1098.36/1035.77 c cleaning 40992 clauses out of 82036 with flag 18177362/1164592 1153.66/1088.31 c cleaning 41954 clauses out of 84044 with flag 19241662/1207592 1199.63/1132.49 c cleaning 43030 clauses out of 86086 with flag 20119438/1251588 1237.10/1167.33 c cleaning 44019 clauses out of 88090 with flag 20739297/1296622 1276.95/1205.52 c cleaning 44971 clauses out of 90038 with flag 21534474/1342589 1305.73/1233.00 c cleaning 46013 clauses out of 92067 with flag 22118048/1389589 1357.59/1287.94 c cleaning 47007 clauses out of 94054 with flag 23298590/1437589 1427.07/1354.35 c cleaning 48007 clauses out of 96047 with flag 24909598/1486589 1468.79/1398.54 c cleaning 49016 clauses out of 98040 with flag 25791908/1536589 1518.19/1453.95 c cleaning 49948 clauses out of 100023 with flag 26888054/1587588 1583.71/1516.18 c cleaning 51024 clauses out of 102075 with flag 28237861/1639588 1628.49/1560.43 c cleaning 51995 clauses out of 104051 with flag 29165278/1692588 1708.14/1644.90 c cleaning 52996 clauses out of 106056 with flag 30697552/1746588 1786.74/1720.90 c cleaning 54015 clauses out of 108061 with flag 32535444/1801589 1845.34/1779.11 c cleaning 54995 clauses out of 110046 with flag 33862181/1857589 1891.53/1823.22 c cleaning 56006 clauses out of 112051 with flag 34945696/1914589 1988.96/1916.32 c cleaning 57001 clauses out of 114046 with flag 37148071/1972590 2034.73/1960.13 c cleaning 58010 clauses out of 116043 with flag 38223732/2031588 2089.40/2011.59 c cleaning 59015 clauses out of 118033 with flag 39367954/2091588 2157.89/2076.89 c cleaning 60003 clauses out of 120019 with flag 40913136/2152589 2249.91/2165.10 c cleaning 60985 clauses out of 122015 with flag 43091606/2214588 2329.95/2242.11 c cleaning 62010 clauses out of 124030 with flag 44845095/2277588 2435.21/2342.62 c cleaning 62999 clauses out of 126021 with flag 47215406/2341589 2510.35/2413.49 c cleaning 63966 clauses out of 128021 with flag 48665507/2406588 2586.79/2487.34 c cleaning 64991 clauses out of 130055 with flag 50161749/2472588 2647.29/2545.80 c cleaning 65981 clauses out of 132065 with flag 51351955/2539589 2724.76/2620.50 c cleaning 67025 clauses out of 134085 with flag 53025729/2607590 2791.71/2686.78 c cleaning 68019 clauses out of 136059 with flag 54467213/2676589 2876.55/2769.02 c cleaning 68996 clauses out of 138039 with flag 56326024/2746588 2957.42/2845.03 c Got one! Elapsed wall clock time (in seconds):2844.857 2957.42/2845.03 o 217 2965.34/2852.48 c cleaning 66790 clauses out of 133619 with flag 167646/2811164 2971.24/2858.15 c cleaning 36406 clauses out of 72830 with flag 375906/2817165 2976.63/2863.51 c cleaning 21588 clauses out of 43425 with flag 554260/2824166 2984.98/2871.75 c cleaning 14806 clauses out of 29836 with flag 698336/2832165 2994.26/2880.75 c cleaning 11921 clauses out of 24029 with flag 809459/2841164 3005.22/2891.26 c cleaning 10923 clauses out of 22108 with flag 936573/2851164 3017.43/2906.95 c cleaning 10996 clauses out of 22185 with flag 1074383/2862164 3032.08/2921.02 c cleaning 11576 clauses out of 23190 with flag 1223934/2874165 3041.42/2929.87 c cleaning 12286 clauses out of 24613 with flag 1354063/2887164 3054.39/2942.27 c cleaning 13153 clauses out of 26327 with flag 1498364/2901164 3066.70/2954.09 c cleaning 14052 clauses out of 28174 with flag 1665886/2916164 3077.69/2967.45 c cleaning 15035 clauses out of 30122 with flag 1769875/2932164 3089.15/2978.74 c cleaning 16003 clauses out of 32113 with flag 1899398/2949190 3107.73/2996.36 c cleaning 17037 clauses out of 34087 with flag 2194923/2967168 3127.45/3015.18 c cleaning 17992 clauses out of 36046 with flag 2533700/2986164 3143.62/3030.59 c cleaning 19005 clauses out of 38059 with flag 2759210/3006169 3161.65/3047.56 c cleaning 20008 clauses out of 40049 with flag 3028535/3027164 3178.81/3064.09 c cleaning 21002 clauses out of 42041 with flag 3280621/3049164 3200.67/3085.03 c cleaning 22006 clauses out of 44039 with flag 3613150/3072164 3222.79/3106.22 c cleaning 23005 clauses out of 46035 with flag 3902283/3096166 3245.78/3128.83 c cleaning 23999 clauses out of 48032 with flag 4226293/3121168 3264.30/3146.56 c cleaning 25009 clauses out of 50051 with flag 4497004/3147187 3290.96/3173.02 c cleaning 26001 clauses out of 52019 with flag 4984235/3174164 3297.92/3179.93 c Got one! Elapsed wall clock time (in seconds):3179.758 3297.92/3179.93 o 216 3304.68/3186.67 c cleaning 19685 clauses out of 39393 with flag 62147/3187539 3311.77/3193.47 c cleaning 12814 clauses out of 25709 with flag 150110/3193540 3319.24/3200.51 c cleaning 9900 clauses out of 19894 with flag 233439/3200539 3326.72/3207.75 c cleaning 8207 clauses out of 17994 with flag 323349/3208539 3335.06/3215.66 c cleaning 9021 clauses out of 18788 with flag 413963/3217540 3348.64/3228.82 c cleaning 9854 clauses out of 19766 with flag 528309/3227539 3361.43/3240.77 c cleaning 10436 clauses out of 20911 with flag 644037/3238538 3375.64/3254.42 c cleaning 11216 clauses out of 22475 with flag 771301/3250538 3391.03/3269.34 c cleaning 12111 clauses out of 24259 with flag 939265/3263538 3407.76/3285.19 c cleaning 13061 clauses out of 26148 with flag 1143050/3277538 3429.81/3308.01 c cleaning 14021 clauses out of 28087 with flag 1384647/3292538 3447.89/3325.03 c cleaning 15013 clauses out of 30067 with flag 1647825/3308539 3470.24/3346.42 c cleaning 16009 clauses out of 32053 with flag 1972120/3325538 3495.13/3371.29 c cleaning 17004 clauses out of 34050 with flag 2362809/3343544 3520.93/3395.57 c cleaning 18008 clauses out of 36040 with flag 2783807/3362538 3550.87/3423.97 c cleaning 19007 clauses out of 38034 with flag 3263478/3382540 3566.02/3441.19 c cleaning 20006 clauses out of 40027 with flag 3441966/3403540 3578.09/3452.81 c cleaning 21002 clauses out of 42020 with flag 3579177/3425539 3592.84/3466.94 c cleaning 21996 clauses out of 44018 with flag 3760676/3448539 3600.07/3474.12 c starts : 5970 3600.07/3474.13 c conflicts : 3465138 3600.07/3474.13 c decisions : 11790979 3600.07/3474.13 c propagations : 1706166958 3600.07/3474.13 c inspects : 6866460605 3600.07/3474.13 c shortcuts : 0 3600.07/3474.13 c learnt literals : 2 3600.07/3474.13 c learnt binary clauses : 93 3600.07/3474.13 c learnt ternary clauses : 257 3600.07/3474.13 c learnt constraints : 3465136 3600.07/3474.13 c ignored constraints : 0 3600.07/3474.13 c root simplifications : 0 3600.07/3474.13 c removed literals (reason simplification) : 46449466 3600.07/3474.14 c reason swapping (by a shorter reason) : 0 3600.07/3474.14 c Calls to reduceDB : 127 3600.07/3474.14 c Number of update (reduction) of LBD : 1405200 3600.07/3474.14 c Imported unit clauses : 0 3600.07/3474.14 c No decision after first conflict : false 3600.07/3474.14 c number of reductions to clauses (during analyze) : 0 3600.07/3474.14 c number of learned constraints concerned by reduction : 0 3600.07/3474.14 c number of learning phase by resolution : 0 3600.07/3474.14 c number of learning phase by cutting planes : 0 3600.07/3474.14 c number of rounding to 1 operations : 0 3600.07/3474.14 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3474.14 c number of reductions of the coefficients by power 2 : 0 3600.07/3474.14 c number of right shift for reduction by power 2 : 0 3600.07/3474.14 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3474.14 c number of ending skipping : 0 3600.07/3474.14 c number of internal skipping : 0 3600.07/3474.14 c number of derivation steps : 0 3600.07/3474.14 c number of skipped derivation steps : 0 3600.07/3474.14 c number of remaining unassigned : 0 3600.07/3474.14 c number of remaining assigned : 0 3600.07/3474.14 c number of falsified literals weakened from reason : 0 3600.07/3474.14 c number of falsified literals weakened from conflict : 0 3600.07/3474.14 c time for arithmetic operations : 0 3600.07/3474.14 c minimum degree of deleted constraints : null 3600.07/3474.14 c maximum degree of deleted constraints : null 3600.07/3474.14 c number of deleted constraints : 0 3600.07/3474.15 c speed (assignments/second) : 491198.717941336 3600.07/3474.15 c non guided choices : 1286922 3600.07/3474.18 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.07/3474.20 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984) 3600.07/3474.20 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130) 3600.07/3474.20 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121) 3600.07/3474.20 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181) 3600.07/3474.20 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.07/3474.20 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.07/3474.20 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: 63837 MiB (2159 MiB free)
memory of node 1: 64465 MiB (32938 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524215-1751612876/watcher-4524215-1751612876 -o /tmp/evaluation-result-4524215-1751612876/solver-4524215-1751612876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751603369-95032 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4524215-1751612876 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4524215-1751612876.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=96486, runsolver pid=96483
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.22 4.28 4.28 7/336 96504
/proc/meminfo: memFree=35934300/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=18930384 memory=49776 CPUtime=0.14 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 6127 0 0 0 12 2 0 0 20 0 18 0 76966738 19384713216 12444 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4732596 12444 5332 1 0 547260 0
[pid=96486/tid=96488] ppid=96483 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 4986 0 0 0 6 1 0 0 20 0 18 0 76966741 19384713216 12444 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76966743 19384713216 12444 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=18930384 memory=58494082638250 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76966743 19384713216 12444 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49776 KiB
[startup+0.222081 s]*
/proc/loadavg: 4.22 4.28 4.28 7/336 96504
/proc/meminfo: memFree=35923840/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=18930384 memory=61408 CPUtime=0.34 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 6879 0 0 0 31 3 0 0 20 0 18 0 76966738 19384713216 15352 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4732596 15352 5428 1 0 547885 0
[pid=96486/tid=96488] ppid=96483 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 5361 0 0 0 16 1 0 0 20 0 18 0 76966741 19384713216 15352 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=18930384 memory=17127 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76966743 19384713216 15352 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76966743 19384713216 15352 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61408 KiB
[startup+0.314786 s]*
/proc/loadavg: 4.22 4.28 4.28 8/336 96504
/proc/meminfo: memFree=35911552/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=18930384 memory=78388 CPUtime=0.5 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 7032 0 0 0 47 3 0 0 20 0 18 0 76966738 19384713216 19597 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4732596 19597 5428 1 0 547955 0
[pid=96486/tid=96488] ppid=96483 vsize=18930384 memory=-6000919494131082854 CPUtime=0.22 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 5371 0 0 0 21 1 0 0 20 0 18 0 76966741 19384713216 19597 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76966743 19384713216 19597 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76966743 19384713216 19597 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 78388 KiB
[startup+0.700373 s]
/proc/loadavg: 4.22 4.28 4.28 6/337 96505
/proc/meminfo: memFree=35812936/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=166528 CPUtime=1.17 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 9182 0 0 0 110 7 0 0 20 0 20 0 76966738 19521036288 41632 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 41632 5492 1 0 549741 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=13952 CPUtime=0.47 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 5510 0 0 0 44 3 0 0 20 0 20 0 76966741 19521036288 41632 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 41632 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 41632 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166528 KiB
[startup+1.50028 s]
/proc/loadavg: 4.22 4.28 4.28 7/338 96506
/proc/meminfo: memFree=35812936/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=191024 CPUtime=2.75 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 14540 0 0 0 265 10 0 0 20 0 20 0 76966738 19521036288 47756 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 47756 5524 1 0 552541 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=3328 CPUtime=1.19 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 5533 0 0 0 115 4 0 0 20 0 20 0 76966741 19521036288 47756 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 47756 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 47756 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 47756 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191024 KiB
[startup+3.1061 s]
/proc/loadavg: 4.44 4.33 4.30 6/338 96506
/proc/meminfo: memFree=35528504/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=421384 CPUtime=5.93 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 16939 0 0 0 575 18 0 0 20 0 20 0 76966738 19521036288 105346 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 105346 5524 1 0 1250614 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=14468 CPUtime=2.59 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 5611 0 0 0 251 8 0 0 20 0 20 0 76966741 19521036288 105346 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 105346 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 105346 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 105346 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 421384 KiB
[startup+6.3004 s]
/proc/loadavg: 4.44 4.33 4.30 6/338 96506
/proc/meminfo: memFree=34695804/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=1283088 CPUtime=10.11 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 18419 0 0 0 972 39 0 0 20 0 20 0 76966738 19521036288 320772 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 320772 5556 1 0 1582779 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=0 CPUtime=5.57 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 6085 0 0 0 531 26 0 0 20 0 20 0 76966741 19521036288 320772 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 320772 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 320772 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=192048 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 320772 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 10.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1283088 KiB
[startup+12.7004 s]
/proc/loadavg: 4.45 4.33 4.30 5/338 96506
/proc/meminfo: memFree=33726456/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=1934296 CPUtime=17.24 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 29463 0 0 0 1665 59 0 0 20 0 20 0 76966738 19521036288 483574 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 483574 5556 1 0 1586149 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=192048 CPUtime=11.65 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 7615 0 0 0 1125 40 0 0 20 0 20 0 76966741 19521036288 483574 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=1934296 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 483574 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 483574 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 483574 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 17.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1934296 KiB
[startup+25.5005 s]
/proc/loadavg: 4.38 4.32 4.30 5/338 96507
/proc/meminfo: memFree=31167964/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=4038260 CPUtime=31.07 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 32825 0 0 0 2991 116 0 0 20 0 20 0 76966738 19521036288 1009565 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 1009565 5556 1 0 1863976 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=0 CPUtime=23.26 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 8770 0 0 0 2242 84 0 0 20 0 20 0 76966741 19521036288 1009565 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 1009565 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=3901008 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 1009565 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=2683944 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 1009565 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 31.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4038260 KiB
[startup+51.1146 s]
/proc/loadavg: 4.74 4.41 4.33 5/338 96507
/proc/meminfo: memFree=28175540/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=6266836 CPUtime=58.02 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 43045 0 0 0 5614 188 0 0 20 0 20 0 76966738 19521036288 1566709 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 1566709 5556 1 0 2308916 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=4038260 CPUtime=47.3 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 12644 0 0 0 4589 141 0 0 20 0 20 0 76966741 19521036288 1566709 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=12160 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 1566709 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=2308 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 1566709 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
################
# More data... #
################
Current children cumulated CPU time: 3279.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284360 KiB
[startup+3222.3 s]
/proc/loadavg: 1.12 1.16 1.43 2/260 96790
/proc/meminfo: memFree=76010812/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=16284360 CPUtime=3342.02 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 452878 0 0 0 330754 3448 0 0 20 0 20 0 76966738 19521036288 4071090 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 4071090 5556 1 0 4088135 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=16284360 CPUtime=2912.47 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 233148 0 0 0 288170 3077 0 0 20 0 20 0 76966741 19521036288 4071090 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=16284360 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 4071090 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 3216 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 4071090 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=16284360 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 4071090 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 3342.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284360 KiB
[startup+3282.3 s]
/proc/loadavg: 1.26 1.19 1.42 2/260 96797
/proc/meminfo: memFree=78000732/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=13558716 CPUtime=3404.64 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 466121 0 0 0 336947 3517 0 0 20 0 20 0 76966738 19521036288 3389679 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 3389679 5556 1 0 3405359 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=16776 CPUtime=2966.62 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 238609 0 0 0 293523 3139 0 0 20 0 20 0 76966741 19521036288 3389679 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=16284360 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3389679 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=46080 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 3273 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3389679 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=13558716 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 3389679 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 3404.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13558716 KiB
[startup+3342.3 s]
/proc/loadavg: 1.27 1.20 1.41 2/257 96801
/proc/meminfo: memFree=76291264/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=14656684 CPUtime=3466.2 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 468619 0 0 0 343017 3603 0 0 20 0 20 0 76966738 19521036288 3664171 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 3664171 5556 1 0 3706031 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=5148 CPUtime=3019.55 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) S 96483 96486 95020 0 -1 4194368 239706 0 0 0 298736 3219 0 0 20 0 20 0 76966741 19521036288 3664171 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=14363044 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3664171 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=14363044 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 3305 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3664171 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=20972 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 3664171 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 3466.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14656684 KiB
[startup+3402.3 s]
/proc/loadavg: 1.17 1.19 1.39 2/258 96804
/proc/meminfo: memFree=74867368/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=15257644 CPUtime=3528.12 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 474508 0 0 0 349138 3674 0 0 20 0 20 0 76966738 19521036288 3814411 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 3814411 5556 1 0 3837575 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=14363044 CPUtime=3074.06 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 243540 0 0 0 304120 3286 0 0 20 0 20 0 76966741 19521036288 3814411 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=14363044 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3814411 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=15257644 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 3306 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3814411 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=15257644 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 3814411 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 3528.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15257644 KiB
[startup+3462.3 s]
/proc/loadavg: 1.31 1.22 1.39 2/259 96807
/proc/meminfo: memFree=73996988/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=15545036 CPUtime=3587.94 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 479673 0 0 0 355053 3741 0 0 20 0 20 0 76966738 19521036288 3886259 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 3886259 5556 1 0 3910655 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=14363044 CPUtime=3126.89 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 247200 0 0 0 309341 3348 0 0 20 0 20 0 76966741 19521036288 3886259 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=14363044 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3886259 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 3362 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3886259 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=15545036 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 3886259 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15545036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3474.11 s]
/proc/loadavg: 1.24 1.21 1.38 2/259 96807
/proc/meminfo: memFree=73835188/131382112 swapFree=33000116/33010684
[pid=96486] ppid=96483 vsize=19063512 memory=15594232 CPUtime=3600.07 cores=1,3
/proc/96486/stat : 96486 (java) S 96483 96486 95020 0 -1 4194304 479974 0 0 0 356254 3753 0 0 20 0 20 0 76966738 19521036288 3898558 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
/proc/96486/statm: 4765878 3898558 5556 1 0 3923183 0
[pid=96486/tid=96488] ppid=96483 vsize=19063512 memory=14363044 CPUtime=3138.18 cores=1,3
/proc/96486/task/96488/stat : 96488 (java) R 96483 96486 95020 0 -1 4194368 247378 0 0 0 310457 3361 0 0 20 0 20 0 76966741 19521036288 3898558 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96497] ppid=96483 vsize=19063512 memory=14363044 CPUtime=0 cores=1,3
/proc/96486/task/96497/stat : 96497 (Finalizer) S 96483 96486 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3898558 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96504] ppid=96483 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/96486/task/96504/stat : 96504 (Common-Cleaner) S 96483 96486 95020 0 -1 4194368 3363 0 0 0 0 0 0 0 20 0 20 0 76966743 19521036288 3898558 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
[pid=96486/tid=96506] ppid=96483 vsize=19063512 memory=15545036 CPUtime=0 cores=1,3
/proc/96486/task/96506/stat : 96506 (Timer-0) S 96483 96486 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76966805 19521036288 3898558 18446744073709551615 94654805245952 94654805249648 140722701281024 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94654805257464 94654805258256 94654834434048 140722701285680 140722701285862 140722701285862 140722701291464 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15594232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3476.31 s]
# the end of solver process 96486 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3562.7 s, system=37.653 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3475.2 s]
/proc/loadavg: 1.24 1.21 1.38 1/241 96810
/proc/meminfo: memFree=73833200/131382112 swapFree=33000116/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3475.6 s]
/proc/loadavg: 1.24 1.21 1.38 1/241 96810
/proc/meminfo: memFree=73833200/131382112 swapFree=33000116/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3476 s]*
/proc/loadavg: 1.24 1.21 1.38 2/241 96810
/proc/meminfo: memFree=73842312/131382112 swapFree=33000116/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3476.12 s]
/proc/loadavg: 1.24 1.21 1.38 2/241 96810
/proc/meminfo: memFree=73842312/131382112 swapFree=33000116/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3476.31
CPU time (s): 3600.35
CPU user time (s): 3562.7
CPU system time (s): 37.653
CPU usage (%): 103.568
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16284360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.7
system time used= 37.653
maximum resident set size= 16284360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482181
page faults= 0
swaps= 0
block input operations= 8
block output operations= 71894056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167498
involuntary context switches= 34402
# summary of solver processes directly reported to runsolver:
# pid: 96486
# total CPU time (s): 3600.35
# total CPU user time (s): 3562.7
# total CPU system time (s): 37.653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3211 second user time and 35.1393 second system time
The end
Begin job on nodeC007 at 2025-07-04 09:07:56 IDJOB=4524215 IDBENCH=180627 IDSOLVER=3364 FILE ID=nodeC007/4524215-1751612876 RUNJOBID= nodeC007-1751603369-95032 SLURM_JOB_ID= 9598885 Free space on /tmp= 430940 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-GolombRuler-a3v18-15_c18.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524215-1751612876/watcher-4524215-1751612876 -o /tmp/evaluation-result-4524215-1751612876/solver-4524215-1751612876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751603369-95032 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4524215-1751612876 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4524215-1751612876.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 64dbfbfc0114f72138d7179eedb1d684 RANDOM SEED=9363737 nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.611 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3392.073 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.266 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.857 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.842 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.606 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.514 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.500 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 35941168 kB MemAvailable: 80936472 kB Buffers: 16 kB Cached: 45663068 kB SwapCached: 2972 kB Active: 49019384 kB Inactive: 45438800 kB Active(anon): 48771316 kB Inactive(anon): 35708 kB Active(file): 248068 kB Inactive(file): 45403092 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000116 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 569252 kB Writeback: 0 kB AnonPages: 48795372 kB Mapped: 117868 kB Shmem: 11808 kB KReclaimable: 367540 kB Slab: 476336 kB SReclaimable: 367540 kB SUnreclaim: 108796 kB KernelStack: 5200 kB PageTables: 99192 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 49427820 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 46950400 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431040 MiB End job on nodeC007 at 2025-07-04 10:05:52