Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | -25 | 3600.67 | 3496.71 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3pm-0333-0333.opb |
| MD5SUM | aa5497ffb5bc298db5a61a0615c33892 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -26 |
| Best CPU time to get the best result obtained on this benchmark | 1.11316 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 81 |
| Total number of constraints | 27 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 27 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 243 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 243 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 243 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 243 |
| Sum of products size (including duplicates) | 486 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.15 c See www.sat4j.org for details. 0.12/0.17 c version CUSTOM.v20240707 0.12/0.19 c java.runtime.name OpenJDK Runtime Environment 0.12/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.20 c java.vm.version 22.0.1+8-16 0.12/0.20 c java.vm.vendor Oracle Corporation 0.12/0.20 c sun.arch.data.model 64 0.12/0.20 c java.version 22.0.1 0.12/0.20 c os.name Linux 0.12/0.20 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.20 c os.arch amd64 0.12/0.21 c Free memory 2115194816 0.12/0.21 c Max memory 16282288128 0.12/0.21 c Total memory 2122317824 0.12/0.21 c Number of processors 2 0.44/0.38 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.44/0.38 - never skip resolution steps 0.44/0.38 - Auto-division on coefficients is disabled 0.44/0.38 - No postprocessing 0.44/0.38 - Conflict is considered as is when resolving 0.44/0.38 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.44/0.38 - Weaken first using unassigned literals 0.44/0.38 - Bump strategy: ALWAYS_ONE 0.44/0.38 - Bumper: ASSIGNED 0.44/0.38 --- Begin Solver configuration --- 0.44/0.38 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.44/0.38 Learn all clauses as in MiniSAT 0.44/0.38 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.44/0.38 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.44/0.38 No reason simplification 0.44/0.38 Armin Biere (Picosat) restarts strategy 0.44/0.38 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.44/0.38 timeout=2147483s 0.44/0.38 DB Simplification allowed=false 0.44/0.38 Listener: none 0.44/0.38 --- End Solver configuration --- 0.44/0.39 c Pseudo Boolean Optimization by upper bound 0.44/0.39 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.44/0.39 c - never skip resolution steps 0.44/0.39 c - Auto-division on coefficients is disabled 0.44/0.39 c - No postprocessing 0.44/0.39 c - Conflict is considered as is when resolving 0.44/0.39 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.44/0.39 c - Weaken first using unassigned literals 0.44/0.39 c - Bump strategy: ALWAYS_ONE 0.44/0.39 c - Bumper: ASSIGNED 0.44/0.39 c --- Begin Solver configuration --- 0.44/0.39 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.44/0.39 c Learn all clauses as in MiniSAT 0.44/0.39 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.44/0.39 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.44/0.39 c No reason simplification 0.44/0.39 c Armin Biere (Picosat) restarts strategy 0.44/0.39 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.44/0.39 c timeout=2147483s 0.44/0.39 c DB Simplification allowed=false 0.44/0.39 c Listener: none 0.44/0.39 c --- End Solver configuration --- 0.44/0.39 c solving HOME/instance-4460029-1721942818.opb 0.44/0.39 c reading problem ... 0.44/0.39 c objective function found 0.62/0.49 c ... done. Wall clock time 0.1s. 0.62/0.49 c declared #vars 81 0.62/0.49 c internal #vars 324 0.62/0.49 c #constraints 540 0.62/0.49 c constraints type 0.62/0.49 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 27 0.62/0.49 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 243 0.62/0.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 270 0.62/0.49 c 540 constraints processed. 0.62/0.52 c objective function length is 243 literals 0.80/0.53 c SATISFIABLE 0.80/0.53 c OPTIMIZING... 0.80/0.53 c Got one! Elapsed wall clock time (in seconds):0.142 0.80/0.53 o -13 0.80/0.58 c Got one! Elapsed wall clock time (in seconds):0.191 0.80/0.58 o -14 0.80/0.60 c Got one! Elapsed wall clock time (in seconds):0.213 0.80/0.60 o -15 0.80/0.61 c Got one! Elapsed wall clock time (in seconds):0.217 0.80/0.61 o -16 0.95/0.64 c Got one! Elapsed wall clock time (in seconds):0.257 0.95/0.64 o -17 0.95/0.67 c Got one! Elapsed wall clock time (in seconds):0.284 0.95/0.67 o -18 1.14/0.71 c Got one! Elapsed wall clock time (in seconds):0.33 1.14/0.71 o -19 1.52/1.00 c Got one! Elapsed wall clock time (in seconds):0.603 1.52/1.00 o -20 2.29/1.31 c Got one! Elapsed wall clock time (in seconds):0.928 2.29/1.32 o -21 2.89/1.67 c Got one! Elapsed wall clock time (in seconds):1.283 2.89/1.67 o -22 14.71/10.96 c Got one! Elapsed wall clock time (in seconds):10.577 14.71/10.96 o -23 25.31/21.07 c cleaning 2984 clauses out of 6291 with flag 0/6291 39.26/34.09 c cleaning 2738 clauses out of 9308 with flag 0/12292 59.69/54.19 c cleaning 3363 clauses out of 13571 with flag 0/19293 72.27/66.63 c Got one! Elapsed wall clock time (in seconds):66.243 72.27/66.63 o -24 105.61/99.59 c cleaning 5136 clauses out of 20865 with flag 0/29950 110.40/104.14 c Got one! Elapsed wall clock time (in seconds):103.754 110.40/104.14 o -25 121.18/114.77 c cleaning 2769 clauses out of 21558 with flag 0/35779 134.64/127.99 c cleaning 2954 clauses out of 24789 with flag 0/41779 153.14/145.66 c cleaning 3545 clauses out of 28834 with flag 0/48778 169.71/161.66 c cleaning 3199 clauses out of 33289 with flag 0/56778 199.62/190.84 c cleaning 3958 clauses out of 39091 with flag 0/65779 231.28/221.54 c cleaning 4429 clauses out of 45133 with flag 0/75779 280.74/269.96 c cleaning 5753 clauses out of 51704 with flag 0/86779 331.80/319.96 c cleaning 5916 clauses out of 57951 with flag 0/98779 395.41/382.33 c cleaning 6187 clauses out of 65035 with flag 0/111779 462.04/447.78 c cleaning 6728 clauses out of 72848 with flag 0/125779 520.54/505.11 c cleaning 6442 clauses out of 81119 with flag 0/140778 604.23/587.08 c cleaning 7684 clauses out of 90678 with flag 0/156779 709.95/690.59 c cleaning 9077 clauses out of 99994 with flag 0/173779 841.05/818.66 c cleaning 8473 clauses out of 108922 with flag 0/191784 979.69/954.68 c cleaning 9012 clauses out of 119443 with flag 0/210778 1124.83/1096.67 c cleaning 9123 clauses out of 130432 with flag 0/230779 1288.11/1256.12 c cleaning 10360 clauses out of 142309 with flag 0/251779 1460.86/1424.01 c cleaning 10210 clauses out of 153948 with flag 0/273778 1653.24/1610.61 c cleaning 10778 clauses out of 166738 with flag 0/296778 1852.88/1804.85 c cleaning 10812 clauses out of 179960 with flag 0/320778 2084.58/2030.83 c cleaning 11615 clauses out of 194149 with flag 0/345779 2333.55/2273.24 c cleaning 12150 clauses out of 208534 with flag 0/371779 2630.62/2561.65 c cleaning 13834 clauses out of 223383 with flag 0/398778 2948.80/2869.47 c cleaning 13914 clauses out of 237550 with flag 0/426779 3266.45/3173.49 c cleaning 13425 clauses out of 252636 with flag 0/455779 3600.07/3496.42 c starts : 165 3600.07/3496.46 c conflicts : 485258 3600.07/3496.46 c decisions : 693307 3600.07/3496.46 c propagations : 17576587 3600.07/3496.46 c inspects : 3661815420 3600.07/3496.46 c shortcuts : 0 3600.07/3496.46 c learnt literals : 0 3600.07/3496.46 c learnt binary clauses : 0 3600.07/3496.46 c learnt ternary clauses : 0 3600.07/3496.46 c learnt constraints : 485258 3600.07/3496.46 c ignored constraints : 0 3600.07/3496.46 c root simplifications : 0 3600.07/3496.46 c removed literals (reason simplification) : 0 3600.07/3496.46 c reason swapping (by a shorter reason) : 0 3600.07/3496.46 c Calls to reduceDB : 29 3600.07/3496.46 c Number of update (reduction) of LBD : 12 3600.07/3496.47 c Imported unit clauses : 0 3600.07/3496.47 c No decision after first conflict : false 3600.07/3496.47 c number of reductions to clauses (during analyze) : 0 3600.07/3496.47 c number of learned constraints concerned by reduction : 0 3600.07/3496.47 c number of learning phase by resolution : 0 3600.07/3496.47 c number of learning phase by cutting planes : 0 3600.07/3496.47 c number of rounding to 1 operations : 3328942 3600.07/3496.47 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3496.47 c number of reductions of the coefficients by power 2 : 0 3600.07/3496.47 c number of right shift for reduction by power 2 : 0 3600.07/3496.47 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3496.47 c number of ending skipping : 0 3600.07/3496.47 c number of internal skipping : 0 3600.07/3496.47 c number of derivation steps : 5093239 3600.07/3496.47 c number of skipped derivation steps : 0 3600.07/3496.47 c number of remaining unassigned : 2622402 3600.07/3496.47 c number of remaining assigned : 81009343 3600.07/3496.47 c number of falsified literals weakened from reason : 0 3600.07/3496.47 c number of falsified literals weakened from conflict : 0 3600.07/3496.47 c time for arithmetic operations : 13201812040 3600.07/3496.49 c minimum degree of deleted constraints : 4 3600.07/3496.49 c maximum degree of deleted constraints : 1555579 3600.07/3496.49 c number of deleted constraints : 216568 3600.07/3496.49 c speed (assignments/second) : 5027.671004041797 3600.07/3496.49 c non guided choices : 0 3600.45/3496.69 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 139043 3600.45/3496.69 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 385 3600.45/3496.69 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 129262 3600.45/3496.69 s SATISFIABLE 3600.45/3496.69 c Found 13 solution(s) 3600.45/3496.69 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 3600.45/3496.69 c objective function=-25 3600.45/3496.69 c Total wall clock time (in seconds): 3496.305
OK -25
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 (42851 MiB free)
memory of node 1: 64510 MiB (50502 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460029-1721942818/watcher-4460029-1721942818 -o /tmp/evaluation-result-4460029-1721942818/solver-4460029-1721942818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721939462-301730 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4460029-1721942818.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=303547, runsolver pid=303544
Current StackSize limit: 8192 KiB
[startup+0.10039 s]*
/proc/loadavg: 4.77 4.81 4.64 5/316 303565
/proc/meminfo: memFree=95558988/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=18975048 memory=56084 CPUtime=0.12 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 6456 0 0 0 10 2 0 0 20 0 18 0 30271127 19430449152 14021 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4743762 14021 5685 1 0 550807 0
[pid=303547/tid=303549] ppid=303544 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) S 303544 303547 301717 0 -1 1077936192 5382 0 0 0 6 2 0 0 20 0 18 0 30271127 19430449152 14021 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30271132 19430449152 14021 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30271133 19430449152 14021 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56084 KiB
[startup+0.214088 s]*
/proc/loadavg: 4.77 4.81 4.64 6/316 303565
/proc/meminfo: memFree=95553796/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=18975048 memory=61040 CPUtime=0.3 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 7158 0 0 0 27 3 0 0 20 0 18 0 30271127 19430449152 15260 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4743762 15260 5693 1 0 551374 0
[pid=303547/tid=303549] ppid=303544 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) S 303544 303547 301717 0 -1 1077936192 5713 0 0 0 16 2 0 0 20 0 18 0 30271127 19430449152 15260 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=18975048 memory=605730 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30271132 19430449152 15260 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30271133 19430449152 15260 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61040 KiB
[startup+0.315548 s]*
/proc/loadavg: 4.77 4.81 4.64 6/316 303565
/proc/meminfo: memFree=95550712/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=18975048 memory=64016 CPUtime=0.44 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 7419 0 0 0 41 3 0 0 20 0 18 0 30271127 19430449152 16004 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4743762 16004 5703 1 0 551578 0
[pid=303547/tid=303549] ppid=303544 vsize=18975048 memory=-8888246843089789628 CPUtime=0.27 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) S 303544 303547 301717 0 -1 1077936192 5885 0 0 0 25 2 0 0 20 0 18 0 30271127 19430449152 16004 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30271132 19430449152 16004 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30271133 19430449152 16004 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64016 KiB
[startup+0.70717 s]
/proc/loadavg: 4.77 4.81 4.64 8/316 303565
/proc/meminfo: memFree=95544964/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19041612 memory=84528 CPUtime=1.14 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 8448 0 0 0 109 5 0 0 20 0 19 0 30271127 19498610688 21132 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4760403 21132 5890 1 0 552444 0
[pid=303547/tid=303549] ppid=303544 vsize=19041612 memory=5472 CPUtime=0.59 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 6209 0 0 0 56 3 0 0 20 0 19 0 30271127 19498610688 21132 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19041612 memory=12928 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30271132 19498610688 21132 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19041612 memory=7814773530205553455 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30271133 19498610688 21132 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19041612 memory=279267766498212 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30271179 19498610688 21132 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84528 KiB
[startup+1.50117 s]
/proc/loadavg: 4.77 4.81 4.64 6/317 303566
/proc/meminfo: memFree=95459252/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=183720 CPUtime=2.68 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 19818 0 0 0 260 8 0 0 20 0 20 0 30271127 19566772224 45930 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 45930 5922 1 0 557260 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=12928 CPUtime=1.29 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 6781 0 0 0 124 5 0 0 20 0 20 0 30271127 19566772224 45930 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 45930 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30271133 19566772224 45930 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19108176 memory=645086 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30271179 19566772224 45930 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183720 KiB
[startup+3.10617 s]
/proc/loadavg: 4.77 4.81 4.64 6/318 303567
/proc/meminfo: memFree=94994412/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=685944 CPUtime=5.85 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 24467 0 0 0 566 19 0 0 20 0 20 0 30271127 19566772224 171486 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 171486 5922 1 0 664976 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=0 CPUtime=2.83 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 7614 0 0 0 269 14 0 0 20 0 20 0 30271127 19566772224 171486 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 171486 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30271133 19566772224 171486 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19108176 memory=11672 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30271179 19566772224 171486 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 685944 KiB
[startup+6.30118 s]
/proc/loadavg: 4.71 4.79 4.64 5/318 303569
/proc/meminfo: memFree=94560308/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=1052576 CPUtime=10.03 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 24790 0 0 0 976 27 0 0 20 0 20 0 30271127 19566772224 263144 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 263144 5922 1 0 664988 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=12928 CPUtime=5.97 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 7794 0 0 0 576 21 0 0 20 0 20 0 30271127 19566772224 263144 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 263144 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30271133 19566772224 263144 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19108176 memory=2308 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30271179 19566772224 263144 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 10.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052576 KiB
[startup+12.7004 s]
/proc/loadavg: 4.65 4.78 4.64 5/318 303569
/proc/meminfo: memFree=94383844/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=1533996 CPUtime=16.65 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 28727 0 0 0 1627 38 0 0 20 0 20 0 30271127 19566772224 383499 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 383499 5922 1 0 664990 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=0 CPUtime=12.06 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 9342 0 0 0 1176 30 0 0 20 0 20 0 30271127 19566772224 383499 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=1128356 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 383499 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19108176 memory=2316 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30271133 19566772224 383499 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30271179 19566772224 383499 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 16.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533996 KiB
[startup+25.5004 s]
/proc/loadavg: 4.51 4.74 4.63 5/318 303572
/proc/meminfo: memFree=93005636/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=2604408 CPUtime=30.65 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 35842 0 0 0 3003 62 0 0 20 0 20 0 30271127 19566772224 651102 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 651102 5922 1 0 915695 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=1128356 CPUtime=24.38 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 11241 0 0 0 2387 51 0 0 20 0 20 0 30271127 19566772224 651102 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 651102 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19108176 memory=2591400 CPUtime=0 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 30271133 19566772224 651102 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19108176 memory=-8888246843089789628 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30271179 19566772224 651102 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 30.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2604408 KiB
[startup+51.1136 s]
/proc/loadavg: 5.00 4.84 4.66 5/318 303643
/proc/meminfo: memFree=93944508/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=3109764 CPUtime=56.53 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 40265 0 0 0 5579 74 0 0 20 0 20 0 30271127 19566772224 777441 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 777441 5922 1 0 1043175 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=3109764 CPUtime=49.21 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 14181 0 0 0 4860 61 0 0 20 0 20 0 30271127 19566772224 777441 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=11672 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 777441 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
################
# More data... #
################
Current children cumulated memory: 4623384 KiB
[startup+3222.3 s]
/proc/loadavg: 3.20 3.19 3.27 4/293 305644
/proc/meminfo: memFree=99016992/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=4623412 CPUtime=3317.31 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 368727 0 0 0 331385 346 0 0 20 0 20 0 30271127 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 1155853 5970 1 0 1168456 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=4623096 CPUtime=3150.87 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 193938 0 0 0 314985 102 0 0 20 0 20 0 30271127 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=4623412 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19108176 memory=4623408 CPUtime=0.01 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 3855 0 0 0 1 0 0 0 20 0 20 0 30271133 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19108176 memory=4623412 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30271179 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 3317.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4623412 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.18 3.26 4/293 305655
/proc/meminfo: memFree=99008396/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=4623412 CPUtime=3379.33 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 371948 0 0 0 337582 351 0 0 20 0 20 0 30271127 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 1155853 5970 1 0 1168456 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=4623412 CPUtime=3209.62 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 196135 0 0 0 320860 102 0 0 20 0 20 0 30271127 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=11672 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19108176 memory=4623412 CPUtime=0.01 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 3945 0 0 0 1 0 0 0 20 0 20 0 30271133 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19108176 memory=4623412 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30271179 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 3379.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4623412 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.16 3.25 4/293 305667
/proc/meminfo: memFree=99003920/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19108176 memory=4623412 CPUtime=3440.97 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 375032 0 0 0 343742 355 0 0 20 0 20 0 30271127 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4777044 1155853 5970 1 0 1168456 0
[pid=303547/tid=303549] ppid=303544 vsize=19108176 memory=4623412 CPUtime=3268.51 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 198332 0 0 0 326748 103 0 0 20 0 20 0 30271127 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19108176 memory=4623412 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30271132 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19108176 memory=4623412 CPUtime=0.01 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 4035 0 0 0 1 0 0 0 20 0 20 0 30271133 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19108176 memory=28216 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30271179 19566772224 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 3440.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4623412 KiB
[startup+3402.3 s]
/proc/loadavg: 3.91 3.38 3.32 4/294 305678
/proc/meminfo: memFree=98998984/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19174740 memory=4623412 CPUtime=3502.74 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 378211 0 0 0 349914 360 0 0 20 0 21 0 30271127 19634933760 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4793685 1155853 5970 1 0 1168769 0
[pid=303547/tid=303549] ppid=303544 vsize=19174740 memory=4623412 CPUtime=3327.36 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 200754 0 0 0 332633 103 0 0 20 0 21 0 30271127 19634933760 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19174740 memory=4623412 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30271132 19634933760 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19174740 memory=-8888246843089789628 CPUtime=0.01 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 4105 0 0 0 1 0 0 0 20 0 21 0 30271133 19634933760 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19174740 memory=4623412 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 30271179 19634933760 1155853 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 3502.74 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4623412 KiB
[startup+3462.3 s]
/proc/loadavg: 3.41 3.34 3.31 4/294 305688
/proc/meminfo: memFree=98978136/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19174740 memory=4623428 CPUtime=3564.8 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 381099 0 0 0 356117 363 0 0 20 0 21 0 30271127 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4793685 1155857 5970 1 0 1168769 0
[pid=303547/tid=303549] ppid=303544 vsize=19174740 memory=4623412 CPUtime=3386.22 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 203066 0 0 0 338519 103 0 0 20 0 21 0 30271127 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19174740 memory=4623412 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30271132 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19174740 memory=16108 CPUtime=0.01 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 4234 0 0 0 1 0 0 0 20 0 21 0 30271133 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19174740 memory=4623428 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 30271179 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 3564.8 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4623428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3496.4 s]
/proc/loadavg: 3.48 3.36 3.32 4/294 305696
/proc/meminfo: memFree=98938572/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19174740 memory=4623428 CPUtime=3600.07 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 382524 0 0 0 359641 366 0 0 20 0 21 0 30271127 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4793685 1155857 5970 1 0 1168769 0
[pid=303547/tid=303549] ppid=303544 vsize=19174740 memory=-8888246843089789628 CPUtime=3419.69 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 4194368 204342 0 0 0 341865 104 0 0 20 0 21 0 30271127 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19174740 memory=73644 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30271132 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19174740 memory=12928 CPUtime=0.01 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 4234 0 0 0 1 0 0 0 20 0 21 0 30271133 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303566] ppid=303544 vsize=19174740 memory=5472 CPUtime=0 cores=5,7
/proc/303547/task/303566/stat : 303566 (Timer-0) S 303544 303547 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 30271179 19634933760 1155857 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4623428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3496.71 s]
# the end of solver process 303547 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.99 s, system=3.67934 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3496.6 s]
/proc/loadavg: 3.48 3.36 3.32 4/294 305696
/proc/meminfo: memFree=98938572/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19374432 memory=4624156 CPUtime=3600.45 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 384967 0 0 0 359679 366 0 0 20 0 22 0 30271127 19839418368 1156039 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4843608 1156039 5969 1 0 1169708 0
[pid=303547/tid=303549] ppid=303544 vsize=19374432 memory=-4421386509115942503 CPUtime=3419.86 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) R 303544 303547 301717 0 -1 1077936192 204450 0 0 0 341882 104 0 0 20 0 22 0 30271127 19839418368 1156039 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19374432 memory=2724 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 30271132 19839418368 1156039 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19374432 memory=4944 CPUtime=0.01 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 4234 0 0 0 1 0 0 0 20 0 22 0 30271133 19839418368 1156039 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 4624156 KiB
[startup+3496.7 s]
/proc/loadavg: 3.48 3.36 3.32 4/294 305696
/proc/meminfo: memFree=98938572/131655788 swapFree=131070704/131071996
[pid=303547] ppid=303544 vsize=19374432 memory=4623980 CPUtime=3600.64 cores=5,7
/proc/303547/stat : 303547 (java) S 303544 303547 301717 0 -1 1077936128 385202 0 0 0 359698 366 0 0 20 0 15 0 30271127 19839418368 1155995 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
/proc/303547/statm: 4843608 1155995 5985 1 0 1169724 0
[pid=303547/tid=303549] ppid=303544 vsize=19374432 memory=4623428 CPUtime=3419.96 cores=5,7
/proc/303547/task/303549/stat : 303549 (java) S 303544 303547 301717 0 -1 1077936192 204450 0 0 0 341892 104 0 0 20 0 15 0 30271127 19839418368 1155995 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303558] ppid=303544 vsize=19374432 memory=11672 CPUtime=0 cores=5,7
/proc/303547/task/303558/stat : 303558 (Finalizer) S 303544 303547 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 30271132 19839418368 1155995 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
[pid=303547/tid=303565] ppid=303544 vsize=19374432 memory=11672 CPUtime=0.01 cores=5,7
/proc/303547/task/303565/stat : 303565 (Common-Cleaner) S 303544 303547 301717 0 -1 1077936192 4234 0 0 0 1 0 0 0 20 0 15 0 30271133 19839418368 1155995 134679101440 94826678882304 94826678886000 140725044213728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826678893816 94826678894608 94826706391040 140725044216815 140725044216928 140725044216928 140725044223944 0
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 4623980 KiB
Child status: 143
Real time (s): 3496.71
CPU time (s): 3600.67
CPU user time (s): 3596.99
CPU system time (s): 3.67934
CPU usage (%): 102.973
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 4624156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.99
system time used= 3.67934
maximum resident set size= 4624812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130642
involuntary context switches= 7182
# summary of solver processes directly reported to runsolver:
# pid: 303547
# total CPU time (s): 3600.67
# total CPU user time (s): 3596.99
# total CPU system time (s): 3.67934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4592 second user time and 36.6198 second system time
The end
Begin job on nodeC008 at 2024-07-25 23:26:58 IDJOB=4460029 IDBENCH=160591 IDSOLVER=3046 FILE ID=nodeC008/4460029-1721942818 RUNJOBID= nodeC008-1721939462-301730 SLURM_JOB_ID= 8247262 Free space on /tmp= 723764 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0333-0333.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460029-1721942818/watcher-4460029-1721942818 -o /tmp/evaluation-result-4460029-1721942818/solver-4460029-1721942818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721939462-301730 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4460029-1721942818.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= aa5497ffb5bc298db5a61a0615c33892 RANDOM SEED=1181492874 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 : 1197.274 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 : 3635.666 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 : 3619.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.302 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 : 3577.320 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 : 1296.884 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 : 1197.254 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 : 1296.890 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: 95594004 kB MemAvailable: 115613456 kB Buffers: 341144 kB Cached: 20438724 kB SwapCached: 732 kB Active: 2787552 kB Inactive: 32536576 kB Active(anon): 1636 kB Inactive(anon): 14596156 kB Active(file): 2785916 kB Inactive(file): 17940420 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 796 kB Writeback: 0 kB AnonPages: 14531360 kB Mapped: 140288 kB Shmem: 53860 kB KReclaimable: 266292 kB Slab: 387296 kB SReclaimable: 266292 kB SUnreclaim: 121004 kB KernelStack: 4848 kB PageTables: 38792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 15065860 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19456 kB HardwareCorrupted: 0 kB AnonHugePages: 14043136 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: 400200 kB DirectMap2M: 49836032 kB DirectMap1G: 85983232 kB Free space on /tmp at the end= 723768 MiB End job on nodeC008 at 2024-07-26 00:25:15