Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | ? (TO) | 3600.26 | 3570.82 |
| Name | PB24/WBO/SOFT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo |
| MD5SUM | 505d78aa9227fb875e0dbdc3613ae899 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 21722 |
| Best CPU time to get the best result obtained on this benchmark | 120.921 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 29282 |
| Total number of constraints | 92908 |
| Number of soft constraints | 92908 |
| Number of constraints which are clauses | 92428 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 480 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 93 |
| Top cost | 4698532 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 4698531 |
| Biggest number in a constraint | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 554 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.12 --- Begin Solver configuration --- 0.13/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.12 Learn all clauses as in MiniSAT 0.13/0.12 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.12 No reason simplification 0.13/0.12 Glucose 2.1 dynamic restart strategy 0.13/0.12 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.12 timeout=2147483s 0.13/0.12 DB Simplification allowed=false 0.13/0.12 Listener: none 0.13/0.12 --- End Solver configuration --- 0.13/0.12 c Pseudo Boolean Optimization by upper bound 0.13/0.12 c --- Begin Solver configuration --- 0.13/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.12 c Learn all clauses as in MiniSAT 0.13/0.12 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.12 c No reason simplification 0.13/0.12 c Glucose 2.1 dynamic restart strategy 0.13/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.12 c timeout=2147483s 0.13/0.12 c DB Simplification allowed=false 0.13/0.12 c Listener: none 0.13/0.12 c --- End Solver configuration --- 0.13/0.12 c solving HOME/instance-4456261-1721720100.wbo 0.13/0.12 c reading problem ... 1.50/0.87 c ... done. Wall clock time 0.742s. 1.50/0.87 c declared #vars 29282 1.50/0.87 c internal #vars 122190 1.50/0.87 c #constraints 92909 1.50/0.87 c constraints type 1.50/0.87 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 716 1.50/0.87 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 480 1.50/0.87 c org.sat4j.specs.Constr$1 => 1 1.50/0.87 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 91712 1.50/0.87 c 92909 constraints processed. 1.50/0.88 c objective function length is 92908 literals 2.81/1.55 c SATISFIABLE 2.81/1.55 c OPTIMIZING... 2.81/1.55 c Got one! Elapsed wall clock time (in seconds):1.424 2.81/1.55 o 3609 3.42/1.86 c Got one! Elapsed wall clock time (in seconds):1.742 3.42/1.87 o 3066 4.19/2.27 c Got one! Elapsed wall clock time (in seconds):2.138 4.19/2.27 o 3061 4.77/2.51 c Got one! Elapsed wall clock time (in seconds):2.375 4.77/2.51 o 3010 4.97/2.69 c Got one! Elapsed wall clock time (in seconds):2.57 4.97/2.69 o 2665 21.22/18.74 c cleaning 2757 clauses out of 5525 with flag 27277/5525 25.42/22.81 c cleaning 4379 clauses out of 8770 with flag 61904/11527 27.00/24.42 c cleaning 5681 clauses out of 11390 with flag 126363/18526 29.09/26.43 c cleaning 6839 clauses out of 13709 with flag 223460/26526 31.27/28.65 c cleaning 7922 clauses out of 15870 with flag 354007/35526 33.97/31.22 c cleaning 8956 clauses out of 17947 with flag 507503/45525 37.06/34.29 c cleaning 9977 clauses out of 19991 with flag 702857/56525 40.76/37.85 c cleaning 10994 clauses out of 22015 with flag 954600/68526 44.55/41.68 c cleaning 11991 clauses out of 24021 with flag 1247268/81526 55.74/52.76 c cleaning 12994 clauses out of 26029 with flag 1411526/95525 66.33/63.36 c cleaning 14006 clauses out of 28036 with flag 1532132/110526 75.72/72.63 c cleaning 15001 clauses out of 30030 with flag 1710894/126526 84.88/81.66 c cleaning 15997 clauses out of 32029 with flag 1993488/143526 93.82/90.45 c cleaning 17005 clauses out of 34032 with flag 2317831/161526 110.86/107.54 c cleaning 18005 clauses out of 36027 with flag 2569190/180526 118.75/115.31 c cleaning 19007 clauses out of 38021 with flag 2889269/200525 141.13/137.61 c cleaning 20000 clauses out of 40015 with flag 3180008/221526 149.17/145.41 c cleaning 21000 clauses out of 42014 with flag 3678305/243525 163.48/159.66 c cleaning 21990 clauses out of 44014 with flag 4225375/266525 186.83/182.97 c cleaning 23000 clauses out of 46025 with flag 4773168/290526 209.09/205.14 c cleaning 24001 clauses out of 48024 with flag 5273844/315525 221.37/216.93 c cleaning 24984 clauses out of 50024 with flag 5840149/341526 232.26/227.76 c cleaning 25989 clauses out of 52040 with flag 6642047/368526 252.12/247.55 c cleaning 27014 clauses out of 54051 with flag 7383480/396526 283.82/279.24 c cleaning 28013 clauses out of 56037 with flag 8182385/425526 311.65/306.88 c cleaning 28990 clauses out of 58023 with flag 8999206/455525 330.79/325.87 c cleaning 30004 clauses out of 60033 with flag 9827910/486525 361.70/356.10 c cleaning 31001 clauses out of 62029 with flag 10776959/518525 377.09/371.12 c cleaning 32000 clauses out of 64029 with flag 12064587/551526 399.48/393.30 c cleaning 33009 clauses out of 66028 with flag 13289927/585525 417.39/411.01 c cleaning 33992 clauses out of 68019 with flag 14303801/620525 470.76/464.56 c cleaning 35001 clauses out of 70028 with flag 15326371/656526 488.91/482.24 c cleaning 35996 clauses out of 72026 with flag 16575668/693525 515.69/508.74 c cleaning 37002 clauses out of 74030 with flag 17926306/731525 566.32/559.38 c cleaning 38000 clauses out of 76028 with flag 18973907/770525 610.32/603.18 c cleaning 38992 clauses out of 78028 with flag 20080745/810525 628.26/620.78 c cleaning 40004 clauses out of 80036 with flag 21363468/851525 675.49/668.25 c cleaning 41000 clauses out of 82034 with flag 22720347/893527 697.24/689.53 c cleaning 42005 clauses out of 84033 with flag 24305518/936526 741.43/732.84 c cleaning 42999 clauses out of 86027 with flag 25702020/980525 776.16/767.54 c cleaning 44007 clauses out of 88033 with flag 27075889/1025530 793.74/784.89 c cleaning 44989 clauses out of 90022 with flag 28443116/1071526 815.27/806.15 c cleaning 46000 clauses out of 92034 with flag 30132112/1118527 841.69/832.19 c cleaning 47013 clauses out of 94036 with flag 32000803/1166529 900.04/890.30 c cleaning 47994 clauses out of 96020 with flag 33799872/1215526 934.44/924.69 c cleaning 49001 clauses out of 98025 with flag 35604015/1265525 972.12/962.38 c cleaning 50007 clauses out of 100024 with flag 37461409/1316525 1032.83/1022.69 c cleaning 51003 clauses out of 102018 with flag 39314062/1368526 1078.40/1067.10 c cleaning 51996 clauses out of 104015 with flag 41167354/1421526 1157.28/1145.88 c cleaning 52989 clauses out of 106018 with flag 43270065/1475525 1206.98/1195.32 c cleaning 54009 clauses out of 108031 with flag 45509922/1530527 1252.00/1240.00 c cleaning 55001 clauses out of 110021 with flag 47686002/1586526 1297.94/1285.85 c cleaning 55998 clauses out of 112019 with flag 49266134/1643525 1362.86/1350.90 c cleaning 56995 clauses out of 114021 with flag 51162126/1701525 1416.59/1404.49 c cleaning 58009 clauses out of 116029 with flag 53333535/1760528 1474.37/1462.16 c cleaning 59002 clauses out of 118017 with flag 55202671/1820525 1562.19/1549.55 c cleaning 59999 clauses out of 120016 with flag 57350533/1881526 1602.58/1589.56 c cleaning 60999 clauses out of 122018 with flag 59193056/1943527 1670.39/1656.56 c cleaning 61993 clauses out of 124017 with flag 61501325/2006525 1734.32/1720.07 c cleaning 63001 clauses out of 126024 with flag 63643119/2070525 1769.48/1754.69 c cleaning 63996 clauses out of 128025 with flag 66238646/2135527 1817.27/1802.22 c cleaning 65010 clauses out of 130028 with flag 68662742/2201526 1873.78/1858.53 c cleaning 65993 clauses out of 132017 with flag 71466388/2268525 1968.49/1953.50 c cleaning 67001 clauses out of 134024 with flag 73870899/2336525 2023.15/2007.81 c cleaning 67994 clauses out of 136024 with flag 76105114/2405526 2089.81/2074.20 c cleaning 68991 clauses out of 138032 with flag 78532244/2475528 2131.21/2115.09 c cleaning 69991 clauses out of 140039 with flag 81516470/2546526 2171.85/2155.17 c cleaning 70983 clauses out of 142047 with flag 84736218/2618525 2218.24/2200.12 c cleaning 72019 clauses out of 144065 with flag 87509211/2691526 2273.90/2255.04 c cleaning 73019 clauses out of 146049 with flag 90832393/2765529 2326.24/2307.18 c cleaning 74003 clauses out of 148026 with flag 93372607/2840525 2390.73/2371.05 c cleaning 75006 clauses out of 150023 with flag 96048255/2916525 2464.61/2444.72 c cleaning 75995 clauses out of 152017 with flag 98468570/2993525 2507.48/2487.11 c cleaning 77002 clauses out of 154024 with flag 101278555/3071527 2602.04/2582.19 c cleaning 78002 clauses out of 156020 with flag 104163133/3150525 2689.74/2669.99 c cleaning 78990 clauses out of 158019 with flag 107367574/3230526 2747.23/2727.16 c cleaning 80002 clauses out of 160031 with flag 110913999/3311528 2797.59/2777.12 c cleaning 80999 clauses out of 162027 with flag 113778538/3393526 2841.35/2820.13 c cleaning 82004 clauses out of 164027 with flag 117353478/3476525 2917.06/2895.16 c cleaning 83002 clauses out of 166025 with flag 120685345/3560527 2961.21/2938.99 c cleaning 83991 clauses out of 168021 with flag 124362080/3645525 3021.46/2996.93 c cleaning 85003 clauses out of 170030 with flag 128369187/3731525 3083.91/3058.21 c cleaning 85985 clauses out of 172028 with flag 133118772/3818526 3193.66/3167.36 c cleaning 87018 clauses out of 174042 with flag 136845546/3906525 3280.92/3253.91 c cleaning 88003 clauses out of 176028 with flag 140101325/3995529 3369.62/3342.11 c cleaning 88996 clauses out of 178021 with flag 144052871/4085525 3433.16/3405.47 c cleaning 90003 clauses out of 180025 with flag 147577893/4176525 3537.32/3509.14 c cleaning 90991 clauses out of 182024 with flag 150929864/4268527 3595.38/3566.10 c cleaning 92000 clauses out of 184032 with flag 154533683/4361526 3600.06/3570.72 c starts : 9326 3600.06/3570.72 c conflicts : 4370737 3600.06/3570.72 c decisions : 13585451 3600.06/3570.72 c propagations : 7773699719 3600.06/3570.72 c inspects : 14453868800 3600.06/3570.72 c shortcuts : 0 3600.06/3570.72 c learnt literals : 0 3600.06/3570.72 c learnt binary clauses : 0 3600.06/3570.72 c learnt ternary clauses : 0 3600.06/3570.72 c learnt constraints : 4370737 3600.06/3570.72 c ignored constraints : 0 3600.06/3570.72 c root simplifications : 0 3600.06/3570.72 c removed literals (reason simplification) : 0 3600.06/3570.72 c reason swapping (by a shorter reason) : 0 3600.06/3570.72 c Calls to reduceDB : 89 3600.06/3570.72 c Number of update (reduction) of LBD : 1749017 3600.06/3570.72 c Imported unit clauses : 0 3600.06/3570.72 c No decision after first conflict : false 3600.06/3570.72 c number of reductions to clauses (during analyze) : 0 3600.06/3570.72 c number of learned constraints concerned by reduction : 0 3600.06/3570.72 c number of learning phase by resolution : 0 3600.06/3570.72 c number of learning phase by cutting planes : 0 3600.06/3570.72 c number of rounding to 1 operations : 0 3600.06/3570.72 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3570.72 c number of reductions of the coefficients by power 2 : 0 3600.06/3570.72 c number of right shift for reduction by power 2 : 0 3600.06/3570.72 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3570.72 c number of ending skipping : 0 3600.06/3570.72 c number of internal skipping : 0 3600.06/3570.72 c number of derivation steps : 0 3600.06/3570.72 c number of skipped derivation steps : 0 3600.06/3570.72 c number of remaining unassigned : 0 3600.06/3570.72 c number of remaining assigned : 0 3600.06/3570.72 c number of falsified literals weakened from reason : 0 3600.06/3570.72 c number of falsified literals weakened from conflict : 0 3600.06/3570.72 c time for arithmetic operations : 0 3600.06/3570.73 c minimum degree of deleted constraints : null 3600.06/3570.73 c maximum degree of deleted constraints : null 3600.06/3570.73 c number of deleted constraints : 0 3600.06/3570.73 c speed (assignments/second) : 2177639.580153869 3600.06/3570.73 c non guided choices : 5657 3600.06/3570.77 c timeout 3600.06/3570.77 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.06/3570.77 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962) 3600.06/3570.77 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108) 3600.06/3570.77 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099) 3600.06/3570.77 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180) 3600.06/3570.77 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.06/3570.77 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.06/3570.77 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 (45035 MiB free)
memory of node 1: 64473 MiB (44517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456261-1721720100/watcher-4456261-1721720100 -o /tmp/evaluation-result-4456261-1721720100/solver-4456261-1721720100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86039 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456261-1721720100.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88417, runsolver pid=88414
[startup+0.100157 s]*
/proc/loadavg: 4.11 4.14 3.88 5/332 88435
/proc/meminfo: memFree=91658396/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=18975048 memory=64200 CPUtime=0.13 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 7094 0 0 0 11 2 0 0 20 0 18 0 8532571 19430449152 16050 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4743762 16050 5528 1 0 549319 0
[pid=88417/tid=88419] ppid=88414 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) S 88414 88417 86029 0 -1 1077936192 5682 0 0 0 7 2 0 0 20 0 18 0 8532571 19430449152 16050 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8532574 19430449152 16050 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=18975048 memory=15542920530909205 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8532574 19430449152 16050 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64200 KiB
[startup+0.206541 s]*
/proc/loadavg: 4.11 4.14 3.88 7/332 88435
/proc/meminfo: memFree=91644324/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=18975048 memory=79100 CPUtime=0.33 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 7496 0 0 0 31 2 0 0 20 0 18 0 8532571 19430449152 19775 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4743762 19775 5829 1 0 549566 0
[pid=88417/tid=88419] ppid=88414 vsize=18975048 memory=664970838410264707 CPUtime=0.17 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 5845 0 0 0 15 2 0 0 20 0 18 0 8532571 19430449152 19775 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=18975048 memory=18993 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8532574 19430449152 19775 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8532574 19430449152 19775 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79100 KiB
[startup+0.309965 s]*
/proc/loadavg: 4.11 4.14 3.88 6/332 88435
/proc/meminfo: memFree=91599304/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=18975048 memory=123964 CPUtime=0.53 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 8942 0 0 0 50 3 0 0 20 0 18 0 8532571 19430449152 30991 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4743762 30991 5829 1 0 550546 0
[pid=88417/tid=88419] ppid=88414 vsize=18975048 memory=-6000919489953555559 CPUtime=0.28 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 5866 0 0 0 25 3 0 0 20 0 18 0 8532571 19430449152 30991 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8532574 19430449152 30991 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8532574 19430449152 30991 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 123964 KiB
[startup+0.706571 s]
/proc/loadavg: 4.11 4.14 3.88 7/333 88436
/proc/meminfo: memFree=91536604/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19045556 memory=216508 CPUtime=1.28 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 14757 0 0 0 122 6 0 0 20 0 19 0 8532571 19502649344 54127 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4761389 54127 5861 1 0 555272 0
[pid=88417/tid=88419] ppid=88414 vsize=19045556 memory=5520 CPUtime=0.58 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 5911 0 0 0 54 4 0 0 20 0 19 0 8532571 19502649344 54127 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19045556 memory=13048 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8532574 19502649344 54127 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19045556 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8532574 19502649344 54127 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19045556 KiB
Current children cumulated memory: 216508 KiB
[startup+1.50052 s]
/proc/loadavg: 4.11 4.14 3.88 6/334 88437
/proc/meminfo: memFree=91477616/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=243604 CPUtime=2.81 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 17362 0 0 0 273 8 0 0 20 0 20 0 8532571 19566772224 60901 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 60901 5899 1 0 556405 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=13048 CPUtime=1.29 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 6061 0 0 0 125 4 0 0 20 0 20 0 8532571 19566772224 60901 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 60901 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 60901 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 60901 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 243604 KiB
[startup+3.10654 s]
/proc/loadavg: 4.18 4.15 3.88 5/334 88439
/proc/meminfo: memFree=91401404/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=304936 CPUtime=5.63 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 23148 0 0 0 554 9 0 0 20 0 20 0 8532571 19566772224 76234 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 76234 5899 1 0 1082847 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=0 CPUtime=2.82 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 6624 0 0 0 277 5 0 0 20 0 20 0 8532571 19566772224 76234 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 76234 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 76234 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 76234 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 5.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 304936 KiB
[startup+6.30052 s]
/proc/loadavg: 4.18 4.15 3.88 5/334 88439
/proc/meminfo: memFree=91391236/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=300768 CPUtime=8.84 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 23822 0 0 0 874 10 0 0 20 0 20 0 8532571 19566772224 75192 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 75192 5899 1 0 1082847 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=0 CPUtime=5.99 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 6824 0 0 0 594 5 0 0 20 0 20 0 8532571 19566772224 75192 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 75192 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 75192 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=35460 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 75192 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 8.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 300768 KiB
[startup+12.7005 s]
/proc/loadavg: 4.15 4.15 3.89 5/334 88440
/proc/meminfo: memFree=91358452/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=302824 CPUtime=15.19 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 24368 0 0 0 1509 10 0 0 20 0 20 0 8532571 19566772224 75706 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 75706 5899 1 0 1082847 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=239380 CPUtime=12.33 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 7108 0 0 0 1228 5 0 0 20 0 20 0 8532571 19566772224 75706 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=302824 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 75706 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=304936 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 75706 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 75706 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 302824 KiB
[startup+25.5005 s]
/proc/loadavg: 4.13 4.14 3.89 5/334 88442
/proc/meminfo: memFree=91101044/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=446616 CPUtime=28.11 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 30998 0 0 0 2797 14 0 0 20 0 20 0 8532571 19566772224 111654 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 111654 5914 1 0 1082879 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=302824 CPUtime=25 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 9484 0 0 0 2492 8 0 0 20 0 20 0 8532571 19566772224 111654 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 111654 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=350228 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 111654 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=302824 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 111654 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 28.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 446616 KiB
[startup+51.1059 s]
/proc/loadavg: 4.16 4.15 3.90 5/331 88445
/proc/meminfo: memFree=90515588/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=961000 CPUtime=54.15 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 38581 0 0 0 5389 26 0 0 20 0 20 0 8532571 19566772224 240250 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 240250 5926 1 0 1082888 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=960968 CPUtime=49.97 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 10756 0 0 0 4989 8 0 0 20 0 20 0 8532571 19566772224 240250 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=7480 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 240250 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 240250 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=302824 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683209 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=14732832 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 3268 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683209 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 3683209 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 3188.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14732836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/333 90350
/proc/meminfo: memFree=87537404/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=14732848 CPUtime=3248.84 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 424201 0 0 0 324421 463 0 0 20 0 20 0 8532571 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 3683212 5941 1 0 4091382 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=5520 CPUtime=3170.14 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 169622 0 0 0 316925 89 0 0 20 0 20 0 8532571 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=14732828 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 3314 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=-6000919489953555559 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 3248.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14732848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.43 4.22 4.17 5/333 90361
/proc/meminfo: memFree=87286944/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=14732848 CPUtime=3309.6 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 432538 0 0 0 330494 466 0 0 20 0 20 0 8532571 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 3683212 5941 1 0 4091382 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=14732848 CPUtime=3229.04 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 173053 0 0 0 322814 90 0 0 20 0 20 0 8532571 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=35460 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 3360 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 3309.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14732848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.24 4.18 5/335 90430
/proc/meminfo: memFree=87284196/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=14732848 CPUtime=3369.81 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 436533 0 0 0 336513 468 0 0 20 0 20 0 8532571 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 3683212 5941 1 0 4091382 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=16140 CPUtime=3288.11 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 176083 0 0 0 328720 91 0 0 20 0 20 0 8532571 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=280149308997376 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 3506 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 3683212 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 3369.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14732848 KiB
[startup+3402.3 s]
/proc/loadavg: 4.46 4.30 4.20 5/335 90440
/proc/meminfo: memFree=87284128/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=14732856 CPUtime=3430.09 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 441788 0 0 0 342539 470 0 0 20 0 20 0 8532571 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 3683214 5941 1 0 4091382 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=16140 CPUtime=3346.69 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 177227 0 0 0 334578 91 0 0 20 0 20 0 8532571 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 3506 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 3430.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14732856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.49 4.33 4.22 5/335 90452
/proc/meminfo: memFree=87265200/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=14732856 CPUtime=3490.09 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 444441 0 0 0 348537 472 0 0 20 0 20 0 8532571 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 3683214 5941 1 0 4091382 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=16140 CPUtime=3405.94 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 179597 0 0 0 340503 91 0 0 20 0 20 0 8532571 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 3636 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=14732848 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 3683214 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 3490.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14732856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.29 4.21 5/334 90463
/proc/meminfo: memFree=87036944/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=14732860 CPUtime=3550.71 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 449123 0 0 0 354596 475 0 0 20 0 20 0 8532571 19566772224 3683215 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 3683215 5941 1 0 4091382 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=14732848 CPUtime=3464.93 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 181077 0 0 0 346401 92 0 0 20 0 20 0 8532571 19566772224 3683215 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=14732856 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683215 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=14732860 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 3643 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683215 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=-6000919489953555559 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 3683215 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 3550.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14732860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3570.7 s]
/proc/loadavg: 4.13 4.25 4.20 5/334 90469
/proc/meminfo: memFree=87034556/131524600 swapFree=131071996/131071996
[pid=88417] ppid=88414 vsize=19108176 memory=14734916 CPUtime=3600.06 cores=0,2
/proc/88417/stat : 88417 (java) S 88414 88417 86029 0 -1 1077936128 455015 0 0 0 359529 477 0 0 20 0 20 0 8532571 19566772224 3683729 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
/proc/88417/statm: 4777044 3683729 5941 1 0 4091382 0
[pid=88417/tid=88419] ppid=88414 vsize=19108176 memory=14732848 CPUtime=3512.05 cores=0,2
/proc/88417/task/88419/stat : 88419 (java) R 88414 88417 86029 0 -1 4194368 183273 0 0 0 351112 93 0 0 20 0 20 0 8532571 19566772224 3683729 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88428] ppid=88414 vsize=19108176 memory=14734908 CPUtime=0 cores=0,2
/proc/88417/task/88428/stat : 88428 (Finalizer) S 88414 88417 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683729 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88435] ppid=88414 vsize=19108176 memory=16140 CPUtime=0 cores=0,2
/proc/88417/task/88435/stat : 88435 (Common-Cleaner) S 88414 88417 86029 0 -1 1077936192 3743 0 0 0 0 0 0 0 20 0 20 0 8532574 19566772224 3683729 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
[pid=88417/tid=88437] ppid=88414 vsize=19108176 memory=14734908 CPUtime=0 cores=0,2
/proc/88417/task/88437/stat : 88437 (Timer-0) S 88414 88417 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8532665 19566772224 3683729 134679101440 94441463058432 94441463062128 140728032619776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94441463069944 94441463070736 94441488973824 140728032621574 140728032621664 140728032621664 140728032628680 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14734916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3570.82 s]
# the end of solver process 88417 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.44 s, system=4.82259 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3570.81 s]*
/proc/loadavg: 4.13 4.25 4.20 6/317 90472
/proc/meminfo: memFree=101389972/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3570.82
CPU time (s): 3600.26
CPU user time (s): 3595.44
CPU system time (s): 4.82259
CPU usage (%): 100.825
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 14734916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.44
system time used= 4.82259
maximum resident set size= 14736568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458173
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114416
involuntary context switches= 34171
# summary of solver processes directly reported to runsolver:
# pid: 88417
# total CPU time (s): 3600.26
# total CPU user time (s): 3595.44
# total CPU system time (s): 4.82259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55896 second user time and 19.2161 second system time
The end
Begin job on nodeC017 at 2024-07-23 09:35:00 IDJOB=4456261 IDBENCH=143326 IDSOLVER=3037 FILE ID=nodeC017/4456261-1721720100 RUNJOBID= nodeC017-1721718407-86039 SLURM_JOB_ID= 7770408 Free space on /tmp= 890076 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB10/oliveras/j120/normalized-j12013_1-unsat--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456261-1721720100/watcher-4456261-1721720100 -o /tmp/evaluation-result-4456261-1721720100/solver-4456261-1721720100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86039 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456261-1721720100.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 505d78aa9227fb875e0dbdc3613ae899 RANDOM SEED=405125280 nodeC017.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 : 3658.867 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 : 7000.61 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 : 3684.295 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 : 7006.74 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 : 3619.201 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 : 7000.61 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 : 3600.526 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 : 7006.74 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 : 3618.121 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 : 7000.61 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 : 3687.412 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 : 7006.74 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 : 3674.711 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 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 : 3600.524 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 : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 91704100 kB MemAvailable: 112585272 kB Buffers: 144080 kB Cached: 21473328 kB SwapCached: 0 kB Active: 899712 kB Inactive: 38141484 kB Active(anon): 1560 kB Inactive(anon): 17460256 kB Active(file): 898152 kB Inactive(file): 20681228 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3992 kB Writeback: 0 kB AnonPages: 17421956 kB Mapped: 119948 kB Shmem: 37720 kB KReclaimable: 283228 kB Slab: 390904 kB SReclaimable: 283228 kB SUnreclaim: 107676 kB KernelStack: 5048 kB PageTables: 43972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 23505796 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18368 kB HardwareCorrupted: 0 kB AnonHugePages: 17004544 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: 277204 kB DirectMap2M: 21516288 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 890068 MiB End job on nodeC017 at 2024-07-23 10:34:31