Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | OPTIMUM | 628.796 | 621.182 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo |
| MD5SUM | 08c36baecafc06c82dd9dd4b73b5d103 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.43457 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 5180 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 5179 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1202 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version CUSTOM.v20240707 0.13/0.11 c java.runtime.name OpenJDK Runtime Environment 0.13/0.11 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.11 c java.vm.version 22.0.1+8-16 0.13/0.11 c java.vm.vendor Oracle Corporation 0.13/0.11 c sun.arch.data.model 64 0.13/0.11 c java.version 22.0.1 0.13/0.11 c os.name Linux 0.13/0.11 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.11 c os.arch amd64 0.13/0.12 c Free memory 2115194816 0.13/0.12 c Max memory 16282288128 0.13/0.12 c Total memory 2122317824 0.13/0.12 c Number of processors 2 0.33/0.24 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.33/0.24 - never skip resolution steps 0.33/0.24 - Auto-division on coefficients is disabled 0.33/0.24 - No postprocessing 0.33/0.24 - Conflict is considered as is when resolving 0.33/0.24 - Use constraints as they come during conflict analysis 0.33/0.24 - Weaken first using unassigned literals 0.33/0.24 - Bump strategy: ALWAYS_ONE 0.33/0.24 - Bumper: EFFECTIVE 0.33/0.24 --- Begin Solver configuration --- 0.33/0.24 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.33/0.24 Learn all clauses as in MiniSAT 0.33/0.24 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.33/0.24 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.33/0.24 No reason simplification 0.33/0.24 Dynamic restart strategy considering the size of the coefficients 0.33/0.24 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.33/0.24 timeout=2147483s 0.33/0.24 DB Simplification allowed=false 0.33/0.24 Listener: none 0.33/0.24 --- End Solver configuration --- 0.33/0.24 c Pseudo Boolean Optimization by upper bound 0.33/0.24 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.33/0.24 c - never skip resolution steps 0.33/0.24 c - Auto-division on coefficients is disabled 0.33/0.24 c - No postprocessing 0.33/0.24 c - Conflict is considered as is when resolving 0.33/0.24 c - Use constraints as they come during conflict analysis 0.33/0.24 c - Weaken first using unassigned literals 0.33/0.24 c - Bump strategy: ALWAYS_ONE 0.33/0.24 c - Bumper: EFFECTIVE 0.33/0.24 c --- Begin Solver configuration --- 0.33/0.24 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.33/0.24 c Learn all clauses as in MiniSAT 0.33/0.24 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.33/0.24 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.33/0.24 c No reason simplification 0.33/0.24 c Dynamic restart strategy considering the size of the coefficients 0.33/0.24 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.33/0.24 c timeout=2147483s 0.33/0.24 c DB Simplification allowed=false 0.33/0.24 c Listener: none 0.33/0.24 c --- End Solver configuration --- 0.33/0.24 c solving HOME/instance-4456180-1721717826.wbo 0.33/0.24 c reading problem ... 0.51/0.32 c ... done. Wall clock time 0.054s. 0.51/0.32 c declared #vars 169 0.51/0.32 c internal #vars 270 0.51/0.32 c #constraints 102 0.51/0.32 c constraints type 0.51/0.32 c org.sat4j.specs.Constr$1 => 1 0.51/0.32 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 71 0.51/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.51/0.32 c 102 constraints processed. 0.51/0.34 c objective function length is 101 literals 0.88/0.60 c SATISFIABLE 0.88/0.60 c OPTIMIZING... 0.88/0.60 c Got one! Elapsed wall clock time (in seconds):0.353 0.88/0.60 o 3769 1.24/0.76 c Got one! Elapsed wall clock time (in seconds):0.516 1.24/0.76 o 3749 1.84/1.09 c Got one! Elapsed wall clock time (in seconds):0.835 1.84/1.09 o 3730 2.43/1.39 c Got one! Elapsed wall clock time (in seconds):1.138 2.43/1.39 o 3722 2.82/1.57 c Got one! Elapsed wall clock time (in seconds):1.328 2.82/1.58 o 3512 3.41/1.86 c Got one! Elapsed wall clock time (in seconds):1.619 3.41/1.87 o 3511 4.01/2.18 c Got one! Elapsed wall clock time (in seconds):1.932 4.01/2.18 o 3508 4.80/2.53 c Got one! Elapsed wall clock time (in seconds):2.288 4.80/2.54 o 3499 5.53/3.00 c Got one! Elapsed wall clock time (in seconds):2.759 5.53/3.00 o 3498 6.96/3.93 c Got one! Elapsed wall clock time (in seconds):3.691 6.96/3.93 o 3489 7.73/4.56 c Got one! Elapsed wall clock time (in seconds):4.319 7.73/4.56 o 3483 9.64/6.18 c Got one! Elapsed wall clock time (in seconds):5.933 9.64/6.18 o 3477 11.82/7.48 c Got one! Elapsed wall clock time (in seconds):7.241 11.82/7.48 o 3476 36.74/30.58 c Got one! Elapsed wall clock time (in seconds):30.342 36.74/30.58 o 3473 40.32/34.10 c Got one! Elapsed wall clock time (in seconds):33.86 40.32/34.10 o 3471 47.01/40.04 c Got one! Elapsed wall clock time (in seconds):39.799 47.01/40.04 o 3466 54.92/47.69 c Got one! Elapsed wall clock time (in seconds):47.446 54.92/47.69 o 3464 208.64/201.01 c Got one! Elapsed wall clock time (in seconds):200.766 208.64/201.01 o 3463 411.17/403.50 c Got one! Elapsed wall clock time (in seconds):403.256 411.17/403.50 o 22 623.75/616.20 c Got one! Elapsed wall clock time (in seconds):615.954 623.75/616.20 o 10 627.23/619.70 c Got one! Elapsed wall clock time (in seconds):619.456 627.23/619.70 o 9 628.72/621.13 c starts : 39 628.72/621.14 c conflicts : 4478 628.72/621.14 c decisions : 11470 628.72/621.14 c propagations : 160619 628.72/621.14 c inspects : 41601725 628.72/621.14 c shortcuts : 0 628.72/621.14 c learnt literals : 0 628.72/621.14 c learnt binary clauses : 0 628.72/621.14 c learnt ternary clauses : 0 628.72/621.14 c learnt constraints : 4478 628.72/621.14 c ignored constraints : 0 628.72/621.14 c root simplifications : 0 628.72/621.14 c removed literals (reason simplification) : 0 628.72/621.14 c reason swapping (by a shorter reason) : 0 628.72/621.14 c Calls to reduceDB : 0 628.72/621.14 c Number of update (reduction) of LBD : 11193 628.72/621.14 c Imported unit clauses : 0 628.72/621.14 c No decision after first conflict : false 628.72/621.14 c number of reductions to clauses (during analyze) : 0 628.72/621.14 c number of learned constraints concerned by reduction : 0 628.72/621.14 c number of learning phase by resolution : 0 628.72/621.14 c number of learning phase by cutting planes : 0 628.72/621.14 c number of rounding to 1 operations : 0 628.72/621.14 c number of easy rounding to 1 operations (no literal elimination needed) : 0 628.72/621.14 c number of reductions of the coefficients by power 2 : 0 628.72/621.14 c number of right shift for reduction by power 2 : 0 628.72/621.14 c number of reductions of the coefficients by GCD over coefficients : 0 628.72/621.14 c number of ending skipping : 0 628.72/621.14 c number of internal skipping : 0 628.72/621.14 c number of derivation steps : 35098 628.72/621.14 c number of skipped derivation steps : 0 628.72/621.14 c number of remaining unassigned : 58643 628.72/621.14 c number of remaining assigned : 1703306 628.72/621.14 c number of falsified literals weakened from reason : 0 628.72/621.14 c number of falsified literals weakened from conflict : 0 628.72/621.14 c time for arithmetic operations : 165997925280 628.72/621.14 c minimum degree of deleted constraints : null 628.72/621.14 c maximum degree of deleted constraints : null 628.72/621.14 c number of deleted constraints : 0 628.72/621.14 c speed (assignments/second) : 258.7286425118516 628.72/621.14 c non guided choices : 579 628.72/621.14 s OPTIMUM FOUND 628.72/621.14 c Found 21 solution(s) 628.72/621.14 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 628.72/621.16 c objective function=9 628.72/621.16 c Total wall clock time (in seconds): 620.916
OK 9
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: 64059 MiB (61010 MiB free)
memory of node 1: 64510 MiB (60991 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456180-1721717826/watcher-4456180-1721717826 -o /tmp/evaluation-result-4456180-1721717826/solver-4456180-1721717826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78072 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456180-1721717826.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
solver pid=80059, runsolver pid=80056
Current StackSize limit: 8192 KiB
[startup+0.100598 s]*
/proc/loadavg: 2.75 2.23 2.13 9/325 80077
/proc/meminfo: memFree=124890092/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=18975048 memory=58268 CPUtime=0.13 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 6614 0 0 0 10 3 0 0 20 0 18 0 7771976 19430449152 14567 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4743762 14567 5578 1 0 551019 0
[pid=80059/tid=80061] ppid=80056 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 1077936192 5527 0 0 0 5 2 0 0 20 0 18 0 7771977 19430449152 14567 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771980 19430449152 14567 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=18975048 memory=15539622046449866 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7771981 19430449152 14567 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58268 KiB
[startup+0.21298 s]*
/proc/loadavg: 2.75 2.23 2.13 10/325 80077
/proc/meminfo: memFree=124882880/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=18975048 memory=65988 CPUtime=0.33 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 7341 0 0 0 29 4 0 0 20 0 18 0 7771976 19430449152 16497 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4743762 16497 5767 1 0 551618 0
[pid=80059/tid=80061] ppid=80056 vsize=18975048 memory=664970838410264707 CPUtime=0.17 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 5826 0 0 0 14 3 0 0 20 0 18 0 7771977 19430449152 16497 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=18975048 memory=3637 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771980 19430449152 16497 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=18975048 memory=14126749604647555 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7771981 19430449152 16497 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65988 KiB
[startup+0.309496 s]*
/proc/loadavg: 2.75 2.23 2.13 9/325 80077
/proc/meminfo: memFree=124875304/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=18975048 memory=70840 CPUtime=0.51 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 7562 0 0 0 46 5 0 0 20 0 18 0 7771976 19430449152 17710 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4743762 17710 5767 1 0 551745 0
[pid=80059/tid=80061] ppid=80056 vsize=18975048 memory=-6000919481296776295 CPUtime=0.25 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 1077936192 5961 0 0 0 21 4 0 0 20 0 18 0 7771977 19430449152 17710 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771980 19430449152 17710 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7771981 19430449152 17710 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70840 KiB
[startup+0.700976 s]
/proc/loadavg: 2.75 2.23 2.13 8/326 80078
/proc/meminfo: memFree=124858828/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19041612 memory=103892 CPUtime=1.24 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 9909 0 0 0 118 6 0 0 20 0 19 0 7771976 19498610688 25973 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4760403 25973 5905 1 0 553339 0
[pid=80059/tid=80061] ppid=80056 vsize=19041612 memory=5472 CPUtime=0.57 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 6100 0 0 0 53 4 0 0 20 0 19 0 7771977 19498610688 25973 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19041612 memory=12932 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771980 19498610688 25973 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7771981 19498610688 25973 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7772011 19498610688 25973 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 103892 KiB
[startup+1.50098 s]
/proc/loadavg: 3.33 2.36 2.18 10/326 80078
/proc/meminfo: memFree=124782084/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=187896 CPUtime=2.82 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 23494 0 0 0 271 11 0 0 20 0 20 0 7771976 19566772224 46974 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 46974 5921 1 0 558605 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=12932 CPUtime=1.33 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 6389 0 0 0 127 6 0 0 20 0 20 0 7771977 19566772224 46974 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 46974 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 46974 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=3968 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 46974 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187896 KiB
[startup+3.10587 s]
/proc/loadavg: 3.33 2.36 2.18 9/325 80144
/proc/meminfo: memFree=124439432/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=224408 CPUtime=5.93 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 26911 0 0 0 580 13 0 0 20 0 20 0 7771976 19566772224 56102 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 56102 5952 1 0 558619 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=0 CPUtime=2.89 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 7350 0 0 0 282 7 0 0 20 0 20 0 7771977 19566772224 56102 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 56102 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=12932 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 56102 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=11652 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 56102 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 224408 KiB
[startup+6.30046 s]
/proc/loadavg: 3.63 2.44 2.20 8/302 80315
/proc/meminfo: memFree=124022372/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=541032 CPUtime=9.92 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 28117 0 0 0 973 19 0 0 20 0 20 0 7771976 19566772224 135258 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 135258 5952 1 0 558641 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=12932 CPUtime=5.98 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 7783 0 0 0 586 12 0 0 20 0 20 0 7771977 19566772224 135258 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 135258 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=8514726395715219830 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 135258 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=188476 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 135258 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 541032 KiB
[startup+12.7004 s]
/proc/loadavg: 3.74 2.48 2.22 4/302 80378
/proc/meminfo: memFree=122989424/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=816772 CPUtime=18.79 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 41781 0 0 0 1851 28 0 0 20 0 20 0 7771976 19566772224 204193 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 204193 5951 1 0 562562 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=2273 CPUtime=12.24 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 9677 0 0 0 1207 17 0 0 20 0 20 0 7771977 19566772224 204193 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=816772 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 204193 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=816772 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 204193 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=2316 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 204193 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 18.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 816772 KiB
[startup+25.5005 s]
/proc/loadavg: 3.94 2.57 2.25 6/326 80614
/proc/meminfo: memFree=118194912/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=1590004 CPUtime=31.75 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 47493 0 0 0 3130 45 0 0 20 0 20 0 7771976 19566772224 397501 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 397501 5951 1 0 669090 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=689680 CPUtime=24.82 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 11692 0 0 0 2451 31 0 0 20 0 20 0 7771977 19566772224 397501 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=816772 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 397501 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 397501 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=12932 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 397501 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 31.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1590004 KiB
[startup+51.1145 s]
/proc/loadavg: 4.30 2.79 2.33 6/327 80820
/proc/meminfo: memFree=118562800/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=2558700 CPUtime=58.39 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 59395 0 0 0 5773 66 0 0 20 0 20 0 7771976 19566772224 639675 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 639675 5951 1 0 888414 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=2220780 CPUtime=49.67 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 14333 0 0 0 4919 48 0 0 20 0 20 0 7771977 19566772224 639675 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=1678252 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 639675 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=1663212 CPUtime=0 cores=0,2
################
# More data... #
################
[pid=80059] ppid=80056 vsize=19108176 memory=3219984 CPUtime=596.32 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 104760 0 0 0 59510 122 0 0 20 0 20 0 7771976 19566772224 804996 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 804996 5951 1 0 888427 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=3205644 CPUtime=580.32 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 36258 0 0 0 57980 52 0 0 20 0 20 0 7771977 19566772224 804996 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=11652 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 804996 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=31436 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 614 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 804996 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=12932 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 804996 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 596.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3219984 KiB
[startup+601.6 s]
/proc/loadavg: 4.15 3.97 3.19 6/316 81368
/proc/meminfo: memFree=106420212/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=3226128 CPUtime=609.1 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 105228 0 0 0 60787 123 0 0 20 0 20 0 7771976 19566772224 806532 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 806532 5951 1 0 888427 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=3211788 CPUtime=592.98 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 36650 0 0 0 59246 52 0 0 20 0 20 0 7771977 19566772224 806532 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=3224080 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 806532 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=11652 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 675 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 806532 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=3224080 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 806532 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 609.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3226128 KiB
[startup+614.4 s]
/proc/loadavg: 4.13 3.97 3.20 5/316 81369
/proc/meminfo: memFree=106405736/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=3240572 CPUtime=621.95 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 107224 0 0 0 62070 125 0 0 20 0 20 0 7771976 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 810143 5951 1 0 888427 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=32872 CPUtime=605.61 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 37059 0 0 0 60509 52 0 0 20 0 20 0 7771977 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=3105036 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 675 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=3222032 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 621.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3240572 KiB
[startup+617.6 s]
/proc/loadavg: 4.12 3.97 3.20 5/316 81371
/proc/meminfo: memFree=106405692/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=3240572 CPUtime=625.15 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 108479 0 0 0 62390 125 0 0 20 0 20 0 7771976 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 810143 5951 1 0 888427 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=4916 CPUtime=608.79 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 38022 0 0 0 60827 52 0 0 20 0 20 0 7771977 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=3240572 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 675 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=2032 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 810143 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 625.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3240572 KiB
[startup+619.2 s]
/proc/loadavg: 4.12 3.97 3.20 5/316 81371
/proc/meminfo: memFree=106401612/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=3244696 CPUtime=626.73 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 110274 0 0 0 62547 126 0 0 20 0 20 0 7771976 19566772224 811174 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 811174 5951 1 0 888427 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=31436 CPUtime=610.31 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 38325 0 0 0 60979 52 0 0 20 0 20 0 7771977 19566772224 811174 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=12932 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 811174 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=15976 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 675 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 811174 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=2316 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 811174 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 626.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244696 KiB
[startup+620 s]*
/proc/loadavg: 4.12 3.97 3.20 5/316 81371
/proc/meminfo: memFree=106401612/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=3244704 CPUtime=627.54 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 110538 0 0 0 62628 126 0 0 20 0 20 0 7771976 19566772224 811176 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 811176 5951 1 0 888427 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=-6000919489886579559 CPUtime=611.12 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 38450 0 0 0 61060 52 0 0 20 0 20 0 7771977 19566772224 811176 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=7510435818018277998 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 811176 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=2756 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 675 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 811176 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=4916 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 811176 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 627.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244704 KiB
[startup+620.8 s]
/proc/loadavg: 4.12 3.97 3.20 5/316 81371
/proc/meminfo: memFree=106401612/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=3244728 CPUtime=628.38 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 111415 0 0 0 62712 126 0 0 20 0 20 0 7771976 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 811182 5951 1 0 888427 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=7510435818018277998 CPUtime=611.91 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 38476 0 0 0 61139 52 0 0 20 0 20 0 7771977 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=129 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=3240572 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 675 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 628.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244728 KiB
[startup+621 s]*
/proc/loadavg: 4.11 3.97 3.21 5/316 81371
/proc/meminfo: memFree=106401572/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19108176 memory=3244728 CPUtime=628.59 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 111415 0 0 0 62733 126 0 0 20 0 20 0 7771976 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777044 811182 5951 1 0 888427 0
[pid=80059/tid=80061] ppid=80056 vsize=19108176 memory=-6000919489886579559 CPUtime=612.12 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) R 80056 80059 78062 0 -1 4194368 38476 0 0 0 61160 52 0 0 20 0 20 0 7771977 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19108176 memory=32580 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771980 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19108176 memory=18260 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 675 0 0 0 0 0 0 0 20 0 20 0 7771981 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19108176 memory=20856 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7772011 19566772224 811182 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 628.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244728 KiB
[startup+621.125 s]
/proc/loadavg: 4.11 3.97 3.21 5/316 81371
/proc/meminfo: memFree=106401572/131655788 swapFree=131071996/131071996
[pid=80059] ppid=80056 vsize=19109204 memory=3244800 CPUtime=628.72 cores=0,2
/proc/80059/stat : 80059 (java) S 80056 80059 78062 0 -1 1077936128 112625 0 0 0 62745 127 0 0 20 0 21 0 7771976 19567824896 811200 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
/proc/80059/statm: 4777301 811200 5950 1 0 888715 0
[pid=80059/tid=80061] ppid=80056 vsize=19109204 memory=3226128 CPUtime=612.22 cores=0,2
/proc/80059/task/80061/stat : 80061 (java) S 80056 80059 78062 0 -1 1077936192 39655 0 0 0 61170 52 0 0 20 0 21 0 7771977 19567824896 811200 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80070] ppid=80056 vsize=19109204 memory=3222032 CPUtime=0 cores=0,2
/proc/80059/task/80070/stat : 80070 (Finalizer) S 80056 80059 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7771980 19567824896 811200 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80077] ppid=80056 vsize=19109204 memory=3213836 CPUtime=0 cores=0,2
/proc/80059/task/80077/stat : 80077 (Common-Cleaner) S 80056 80059 78062 0 -1 1077936192 675 0 0 0 0 0 0 0 20 0 21 0 7771981 19567824896 811200 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
[pid=80059/tid=80078] ppid=80056 vsize=19109204 memory=3240572 CPUtime=0 cores=0,2
/proc/80059/task/80078/stat : 80078 (Timer-0) S 80056 80059 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7772011 19567824896 811200 134679101440 94369784311808 94369784315504 140734548321968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94369784323320 94369784324112 94369797341184 140734548325364 140734548325472 140734548325472 140734548332488 0
Current children cumulated CPU time: 628.72 s
Current children cumulated vsize: 19109204 KiB
Current children cumulated memory: 3244800 KiB
Child status: 30
Real time (s): 621.182
CPU time (s): 628.796
CPU user time (s): 627.513
CPU system time (s): 1.28305
CPU usage (%): 101.226
Max. virtual memory (cumulated for all children) (KiB): 19112904
Max. memory (cumulated for all children) (KiB): 3244800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 627.513
system time used= 1.28304
maximum resident set size= 3246120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113523
page faults= 0
swaps= 0
block input operations= 32
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26500
involuntary context switches= 5312
# summary of solver processes directly reported to runsolver:
# pid: 80059
# total CPU time (s): 628.796
# total CPU user time (s): 627.513
# total CPU system time (s): 1.28305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.23066 second user time and 6.95107 second system time
The end
Begin job on nodeC008 at 2024-07-23 08:57:06 IDJOB=4456180 IDBENCH=143268 IDSOLVER=3036 FILE ID=nodeC008/4456180-1721717826 RUNJOBID= nodeC008-1721717812-78072 SLURM_JOB_ID= 7770387 Free space on /tmp= 723768 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456180-1721717826/watcher-4456180-1721717826 -o /tmp/evaluation-result-4456180-1721717826/solver-4456180-1721717826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78072 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456180-1721717826.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 08c36baecafc06c82dd9dd4b73b5d103 RANDOM SEED=967526825 nodeC008.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 : 0xb00001f cpu MHz : 2194.728 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 invpcid_single pti 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 : 6983.19 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 : 3591.358 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 invpcid_single pti 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 : 6983.33 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 : 2693.521 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 invpcid_single pti 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 : 6983.19 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.237 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 invpcid_single pti 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 : 6983.33 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 : 2992.798 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 invpcid_single pti 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 : 6983.19 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 : 2493.998 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 invpcid_single pti 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 : 6983.33 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 : 3391.837 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 invpcid_single pti 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 : 6983.19 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 : 3491.597 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 invpcid_single pti 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 : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124932428 kB MemAvailable: 129426828 kB Buffers: 135640 kB Cached: 5136792 kB SwapCached: 0 kB Active: 869360 kB Inactive: 5255916 kB Active(anon): 1440 kB Inactive(anon): 880908 kB Active(file): 867920 kB Inactive(file): 4375008 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4764 kB Writeback: 0 kB AnonPages: 852528 kB Mapped: 119208 kB Shmem: 29512 kB KReclaimable: 183008 kB Slab: 281328 kB SReclaimable: 183008 kB SUnreclaim: 98320 kB KernelStack: 4960 kB PageTables: 11788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7463112 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16064 kB HardwareCorrupted: 0 kB AnonHugePages: 585728 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: 256840 kB DirectMap2M: 24813568 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723668 MiB End job on nodeC008 at 2024-07-23 09:07:27