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) | -80 | 3600.79 | 3452.52 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-04.lin.opb |
| MD5SUM | 28e415f3c4d8dab53aac16682d7f066d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -81 |
| Best CPU time to get the best result obtained on this benchmark | 7.64941 |
| 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 | 223 |
| Total number of constraints | 386 |
| Number of constraints which are clauses | 193 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 193 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 223 |
| Biggest coefficient in the objective function | 16 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 2376 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 2376 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.13 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.13 c See www.sat4j.org for details. 0.12/0.15 c version CUSTOM.v20240707 0.12/0.16 c java.runtime.name OpenJDK Runtime Environment 0.12/0.16 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.16 c java.vm.version 22.0.1+8-16 0.12/0.16 c java.vm.vendor Oracle Corporation 0.12/0.16 c sun.arch.data.model 64 0.12/0.16 c java.version 22.0.1 0.12/0.16 c os.name Linux 0.12/0.16 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.16 c os.arch amd64 0.12/0.16 c Free memory 2115194816 0.12/0.16 c Max memory 16282288128 0.12/0.16 c Total memory 2122317824 0.12/0.16 c Number of processors 2 0.31/0.29 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.31/0.29 - never skip resolution steps 0.31/0.29 - Auto-division on coefficients is disabled 0.31/0.29 - No postprocessing 0.31/0.29 - Conflict is considered as is when resolving 0.31/0.29 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.31/0.29 - Weaken first using unassigned literals 0.31/0.29 - Bump strategy: ALWAYS_ONE 0.31/0.29 - Bumper: ASSIGNED 0.31/0.29 --- Begin Solver configuration --- 0.31/0.29 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.31/0.29 Learn all clauses as in MiniSAT 0.31/0.29 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.29 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.31/0.29 No reason simplification 0.31/0.29 Armin Biere (Picosat) restarts strategy 0.31/0.29 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.31/0.29 timeout=2147483s 0.31/0.29 DB Simplification allowed=false 0.31/0.29 Listener: none 0.31/0.29 --- End Solver configuration --- 0.31/0.29 c Pseudo Boolean Optimization by upper bound 0.31/0.29 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.31/0.29 c - never skip resolution steps 0.31/0.29 c - Auto-division on coefficients is disabled 0.31/0.29 c - No postprocessing 0.31/0.29 c - Conflict is considered as is when resolving 0.31/0.29 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.31/0.29 c - Weaken first using unassigned literals 0.31/0.29 c - Bump strategy: ALWAYS_ONE 0.31/0.29 c - Bumper: ASSIGNED 0.31/0.29 c --- Begin Solver configuration --- 0.31/0.29 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.31/0.29 c Learn all clauses as in MiniSAT 0.31/0.29 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.29 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.31/0.29 c No reason simplification 0.31/0.29 c Armin Biere (Picosat) restarts strategy 0.31/0.29 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.31/0.29 c timeout=2147483s 0.31/0.29 c DB Simplification allowed=false 0.31/0.29 c Listener: none 0.31/0.29 c --- End Solver configuration --- 0.31/0.29 c solving HOME/instance-4427691-1721001243.opb 0.31/0.29 c reading problem ... 0.31/0.30 c objective function found 0.50/0.38 c ... done. Wall clock time 0.085s. 0.50/0.38 c declared #vars 223 0.50/0.38 c #constraints 386 0.50/0.38 c constraints type 0.50/0.38 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 193 0.50/0.38 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 193 0.50/0.38 c 386 constraints processed. 0.50/0.40 c objective function length is 223 literals 0.50/0.40 c SATISFIABLE 0.50/0.40 c OPTIMIZING... 0.50/0.40 c Got one! Elapsed wall clock time (in seconds):0.117 0.50/0.40 o -73 6.16/3.55 c Got one! Elapsed wall clock time (in seconds):3.264 6.16/3.55 o -74 14.19/10.64 c cleaning 2107 clauses out of 5140 with flag 0/5140 25.75/21.72 c cleaning 2481 clauses out of 9033 with flag 0/11140 37.21/32.78 c cleaning 3062 clauses out of 13553 with flag 0/18141 49.15/43.86 c cleaning 3388 clauses out of 18491 with flag 0/26141 70.07/64.22 c cleaning 3910 clauses out of 24103 with flag 0/35141 92.53/86.25 c cleaning 4193 clauses out of 30194 with flag 0/45142 111.41/104.49 c Got one! Elapsed wall clock time (in seconds):104.207 111.41/104.49 o -75 123.94/116.60 c Got one! Elapsed wall clock time (in seconds):116.31 123.94/116.60 o -77 133.55/126.04 c cleaning 5878 clauses out of 40523 with flag 0/59664 144.27/136.41 c cleaning 2841 clauses out of 40646 with flag 0/65665 157.97/149.79 c cleaning 3091 clauses out of 44805 with flag 0/72665 175.18/166.47 c cleaning 3376 clauses out of 49714 with flag 0/80665 192.89/183.54 c cleaning 3499 clauses out of 55337 with flag 0/89664 209.71/199.81 c cleaning 3362 clauses out of 61839 with flag 0/99665 220.83/210.56 c Got one! Elapsed wall clock time (in seconds):210.277 220.83/210.56 o -78 242.73/231.76 c cleaning 5509 clauses out of 72471 with flag 0/113659 258.46/247.06 c cleaning 2549 clauses out of 72961 with flag 0/119658 272.36/260.53 c cleaning 2801 clauses out of 77412 with flag 0/126658 291.58/279.27 c cleaning 3271 clauses out of 82611 with flag 0/134658 319.77/306.70 c cleaning 3885 clauses out of 88340 with flag 0/143658 344.31/330.74 c cleaning 4074 clauses out of 94456 with flag 0/153659 375.42/361.25 c cleaning 5296 clauses out of 101381 with flag 0/164658 413.18/397.95 c cleaning 5594 clauses out of 108086 with flag 0/176659 460.84/444.42 c cleaning 5071 clauses out of 115492 with flag 0/189659 512.84/495.39 c cleaning 6090 clauses out of 124420 with flag 0/203658 562.03/543.47 c cleaning 5903 clauses out of 133332 with flag 0/218660 602.26/582.71 c cleaning 5949 clauses out of 143427 with flag 0/234658 664.62/643.63 c cleaning 8104 clauses out of 154478 with flag 0/251658 741.12/718.57 c cleaning 7683 clauses out of 164375 with flag 0/269659 819.56/794.84 c cleaning 7909 clauses out of 175691 with flag 0/288658 900.42/873.56 c cleaning 8975 clauses out of 187782 with flag 0/308658 986.00/956.49 c cleaning 8383 clauses out of 199808 with flag 0/329659 1107.92/1074.84 c cleaning 10708 clauses out of 213426 with flag 0/351660 1204.47/1168.24 c cleaning 10973 clauses out of 225717 with flag 0/374659 1356.82/1316.13 c cleaning 12113 clauses out of 238743 with flag 0/398658 1471.78/1427.27 c cleaning 11365 clauses out of 251630 with flag 0/423658 1490.14/1444.75 c Got one! Elapsed wall clock time (in seconds):1444.46 1490.14/1444.75 o -79 1517.05/1470.87 c cleaning 5921 clauses out of 253862 with flag 0/437255 1531.88/1484.97 c cleaning 2587 clauses out of 253941 with flag 0/443255 1549.26/1501.77 c cleaning 3098 clauses out of 258356 with flag 0/450257 1569.00/1520.59 c cleaning 4243 clauses out of 263257 with flag 0/458256 1585.62/1536.68 c cleaning 4867 clauses out of 268013 with flag 0/467255 1611.43/1561.26 c cleaning 4924 clauses out of 273146 with flag 0/477255 1642.87/1591.40 c cleaning 5503 clauses out of 279222 with flag 0/488255 1675.88/1623.43 c cleaning 7073 clauses out of 285719 with flag 0/500255 1716.71/1662.98 c cleaning 7134 clauses out of 291648 with flag 0/513257 1790.74/1734.15 c cleaning 7133 clauses out of 298513 with flag 0/527256 1853.86/1795.12 c cleaning 6057 clauses out of 306380 with flag 0/542256 1916.32/1856.36 c cleaning 7177 clauses out of 316324 with flag 0/558257 1994.72/1933.04 c cleaning 7726 clauses out of 326145 with flag 0/575255 2096.89/2031.25 c cleaning 8013 clauses out of 336419 with flag 0/593255 2205.50/2134.69 c cleaning 8537 clauses out of 347407 with flag 0/612256 2334.52/2257.52 c cleaning 10833 clauses out of 358870 with flag 0/632256 2425.09/2343.40 c cleaning 8890 clauses out of 369036 with flag 0/653255 2566.63/2479.74 c cleaning 10812 clauses out of 382148 with flag 0/675257 2609.59/2520.05 c Got one! Elapsed wall clock time (in seconds):2519.762 2609.59/2520.05 o -80 2646.90/2555.48 c cleaning 10735 clauses out of 391843 with flag 0/695764 2663.15/2570.87 c cleaning 2683 clauses out of 387111 with flag 0/701767 2681.80/2588.50 c cleaning 3097 clauses out of 391426 with flag 0/708765 2709.03/2614.44 c cleaning 3710 clauses out of 396329 with flag 0/716765 2726.68/2631.08 c cleaning 4373 clauses out of 401619 with flag 0/725765 2741.09/2644.46 c cleaning 4554 clauses out of 407245 with flag 0/735764 2763.26/2665.18 c cleaning 4990 clauses out of 413692 with flag 0/746765 2792.32/2692.36 c cleaning 5556 clauses out of 420701 with flag 0/758764 2820.32/2718.63 c cleaning 5455 clauses out of 428145 with flag 0/771764 2860.61/2756.97 c cleaning 6520 clauses out of 436690 with flag 0/785764 2924.90/2817.10 c cleaning 6155 clauses out of 445170 with flag 0/800764 2989.44/2878.16 c cleaning 6560 clauses out of 455016 with flag 0/816765 3042.57/2929.28 c cleaning 7129 clauses out of 465455 with flag 0/833764 3105.10/2988.00 c cleaning 6489 clauses out of 476326 with flag 0/851764 3181.58/3061.91 c cleaning 6253 clauses out of 488838 with flag 0/870765 3287.14/3161.67 c cleaning 8459 clauses out of 502585 with flag 0/890765 3410.81/3275.63 c cleaning 8989 clauses out of 515125 with flag 0/911764 3562.92/3419.02 c cleaning 10037 clauses out of 528138 with flag 0/933766 3600.01/3452.15 c starts : 193 3600.01/3452.17 c conflicts : 943280 3600.01/3452.17 c decisions : 956030 3600.01/3452.17 c propagations : 13906371 3600.01/3452.17 c inspects : 4597562536 3600.01/3452.17 c shortcuts : 0 3600.01/3452.17 c learnt literals : 0 3600.01/3452.17 c learnt binary clauses : 0 3600.01/3452.17 c learnt ternary clauses : 300 3600.01/3452.17 c learnt constraints : 943279 3600.01/3452.17 c ignored constraints : 0 3600.01/3452.17 c root simplifications : 0 3600.01/3452.17 c removed literals (reason simplification) : 0 3600.01/3452.17 c reason swapping (by a shorter reason) : 0 3600.01/3452.17 c Calls to reduceDB : 69 3600.01/3452.17 c Number of update (reduction) of LBD : 0 3600.01/3452.17 c Imported unit clauses : 0 3600.01/3452.17 c No decision after first conflict : false 3600.01/3452.17 c number of reductions to clauses (during analyze) : 0 3600.01/3452.17 c number of learned constraints concerned by reduction : 0 3600.01/3452.17 c number of learning phase by resolution : 0 3600.01/3452.17 c number of learning phase by cutting planes : 0 3600.01/3452.17 c number of rounding to 1 operations : 5524720 3600.01/3452.17 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3452.17 c number of reductions of the coefficients by power 2 : 0 3600.01/3452.17 c number of right shift for reduction by power 2 : 0 3600.01/3452.17 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3452.17 c number of ending skipping : 0 3600.01/3452.17 c number of internal skipping : 0 3600.01/3452.17 c number of derivation steps : 8745506 3600.01/3452.17 c number of skipped derivation steps : 0 3600.01/3452.18 c number of remaining unassigned : 388741 3600.01/3452.18 c number of remaining assigned : 203338246 3600.01/3452.18 c number of falsified literals weakened from reason : 0 3600.01/3452.18 c number of falsified literals weakened from conflict : 0 3600.01/3452.18 c time for arithmetic operations : 14294014342 3600.01/3452.18 c minimum degree of deleted constraints : 4 3600.01/3452.18 c maximum degree of deleted constraints : 1109043 3600.01/3452.18 c number of deleted constraints : 415665 3600.01/3452.18 c speed (assignments/second) : 4028.7524034693974 3600.01/3452.18 c non guided choices : 0 3600.57/3452.48 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 341666 3600.57/3452.48 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 27 3600.57/3452.48 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 185921 3600.57/3452.48 s SATISFIABLE 3600.57/3452.48 c Found 7 solution(s) 3600.57/3452.48 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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 3600.57/3452.48 c objective function=-80 3600.57/3452.48 c Total wall clock time (in seconds): 3452.197
OK -80
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 (56874 MiB free)
memory of node 1: 64510 MiB (61789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427691-1721001243/watcher-4427691-1721001243 -o /tmp/evaluation-result-4427691-1721001243/solver-4427691-1721001243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720994548-763537 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427691-1721001243.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=767748, runsolver pid=767745
[startup+0.109534 s]*
/proc/loadavg: 4.17 4.19 4.25 5/318 767766
/proc/meminfo: memFree=121477400/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=18975048 memory=55684 CPUtime=0.12 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 6527 0 0 0 10 2 0 0 20 0 18 0 152280707 19430449152 13921 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4743762 13921 5543 1 0 550846 0
[pid=767748/tid=767750] ppid=767745 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 5437 0 0 0 7 1 0 0 20 0 18 0 152280708 19430449152 13921 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 152280712 19430449152 13921 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 152280713 19430449152 13921 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55684 KiB
[startup+0.219941 s]*
/proc/loadavg: 4.17 4.19 4.25 6/318 767766
/proc/meminfo: memFree=121469692/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=18975048 memory=64612 CPUtime=0.31 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 7445 0 0 0 28 3 0 0 20 0 18 0 152280707 19430449152 16153 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4743762 16153 5806 1 0 551613 0
[pid=767748/tid=767750] ppid=767745 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 5885 0 0 0 18 2 0 0 20 0 18 0 152280708 19430449152 16153 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=18975048 memory=5697 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 152280712 19430449152 16153 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 152280713 19430449152 16153 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64612 KiB
[startup+0.328535 s]*
/proc/loadavg: 4.17 4.19 4.25 7/318 767766
/proc/meminfo: memFree=121466272/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=18975048 memory=67636 CPUtime=0.5 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 7687 0 0 0 47 3 0 0 20 0 18 0 152280707 19430449152 16909 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4743762 16909 5811 1 0 551806 0
[pid=767748/tid=767750] ppid=767745 vsize=18975048 memory=-8816187032747811516 CPUtime=0.29 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 6055 0 0 0 27 2 0 0 20 0 18 0 152280708 19430449152 16909 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 152280712 19430449152 16909 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 152280713 19430449152 16909 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67636 KiB
[startup+0.707536 s]
/proc/loadavg: 4.17 4.19 4.25 7/319 767767
/proc/meminfo: memFree=121454380/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19041612 memory=106976 CPUtime=1.2 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 10803 0 0 0 115 5 0 0 20 0 19 0 152280707 19498610688 26744 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4760403 26744 5897 1 0 553460 0
[pid=767748/tid=767750] ppid=767745 vsize=19041612 memory=5512 CPUtime=0.57 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 6206 0 0 0 54 3 0 0 20 0 19 0 152280708 19498610688 26744 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 152280712 19498610688 26744 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19041612 memory=164 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 152280713 19498610688 26744 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 152280748 19498610688 26744 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106976 KiB
[startup+1.50054 s]
/proc/loadavg: 4.17 4.19 4.25 7/320 767768
/proc/meminfo: memFree=121357732/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19108176 memory=235984 CPUtime=2.75 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 19332 0 0 0 266 9 0 0 20 0 20 0 152280707 19566772224 58996 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4777044 58996 5929 1 0 556453 0
[pid=767748/tid=767750] ppid=767745 vsize=19108176 memory=11992 CPUtime=1.26 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 6511 0 0 0 121 5 0 0 20 0 20 0 152280708 19566772224 58996 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152280712 19566772224 58996 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 152280713 19566772224 58996 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19108176 memory=280951930397968 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152280748 19566772224 58996 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 235984 KiB
[startup+3.10652 s]
/proc/loadavg: 4.24 4.20 4.26 6/320 767768
/proc/meminfo: memFree=120801332/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19108176 memory=800900 CPUtime=5.72 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 25345 0 0 0 552 20 0 0 20 0 20 0 152280707 19566772224 200225 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4777044 200225 5929 1 0 559804 0
[pid=767748/tid=767750] ppid=767745 vsize=19108176 memory=0 CPUtime=2.83 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 7535 0 0 0 268 15 0 0 20 0 20 0 152280708 19566772224 200225 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152280712 19566772224 200225 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 152280713 19566772224 200225 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152280748 19566772224 200225 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 800900 KiB
[startup+6.30028 s]
/proc/loadavg: 4.24 4.20 4.26 5/320 767768
/proc/meminfo: memFree=119877120/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19108176 memory=1653488 CPUtime=9.41 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 27182 0 0 0 902 39 0 0 20 0 20 0 152280707 19566772224 413372 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4777044 413372 5929 1 0 680943 0
[pid=767748/tid=767750] ppid=767745 vsize=19108176 memory=11992 CPUtime=5.94 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 8480 0 0 0 561 33 0 0 20 0 20 0 152280708 19566772224 413372 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152280712 19566772224 413372 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19108176 memory=235984 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 152280713 19566772224 413372 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152280748 19566772224 413372 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1653488 KiB
[startup+12.7005 s]
/proc/loadavg: 4.22 4.20 4.25 5/320 767769
/proc/meminfo: memFree=119875864/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19108176 memory=1654244 CPUtime=16.5 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 28468 0 0 0 1611 39 0 0 20 0 20 0 152280707 19566772224 413561 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4777044 413561 5929 1 0 681009 0
[pid=767748/tid=767750] ppid=767745 vsize=19108176 memory=0 CPUtime=12.1 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 9469 0 0 0 1177 33 0 0 20 0 20 0 152280708 19566772224 413561 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19108176 memory=-8816187032747811516 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152280712 19566772224 413561 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19108176 memory=2312 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 152280713 19566772224 413561 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152280748 19566772224 413561 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 16.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1654244 KiB
[startup+25.5005 s]
/proc/loadavg: 4.39 4.24 4.27 5/320 767771
/proc/meminfo: memFree=119131388/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19108176 memory=2280396 CPUtime=29.97 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 38429 0 0 0 2944 53 0 0 20 0 20 0 152280707 19566772224 570099 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4777044 570099 5929 1 0 839814 0
[pid=767748/tid=767750] ppid=767745 vsize=19108176 memory=11600 CPUtime=24.42 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 11411 0 0 0 2396 46 0 0 20 0 20 0 152280708 19566772224 570099 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152280712 19566772224 570099 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19108176 memory=1653488 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 152280713 19566772224 570099 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19108176 memory=280951930344752 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152280748 19566772224 570099 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2280396 KiB
[startup+51.1134 s]
/proc/loadavg: 4.33 4.24 4.27 5/320 767776
/proc/meminfo: memFree=118568116/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19108176 memory=2807348 CPUtime=56.81 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 48790 0 0 0 5615 66 0 0 20 0 20 0 152280707 19566772224 701837 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4777044 701837 5929 1 0 971475 0
[pid=767748/tid=767750] ppid=767745 vsize=19108176 memory=2805264 CPUtime=48.97 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 15107 0 0 0 4842 55 0 0 20 0 20 0 152280708 19566772224 701837 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19108176 memory=280951931094400 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152280712 19566772224 701837 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
################
# More data... #
################
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 194202 0 0 0 300728 100 0 0 20 0 20 0 152280708 19566772224 1205681 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 53 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19108176 memory=2648 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152280712 19566772224 1205681 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19108176 memory=-8693842192017046682 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 3317 0 0 0 0 0 0 0 20 0 20 0 152280713 19566772224 1205681 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19108176 memory=4822724 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 152280748 19566772224 1205681 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 3223.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4822724 KiB
[startup+3162.3 s]
/proc/loadavg: 1.48 2.06 2.27 2/240 769624
/proc/meminfo: memFree=125205312/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19174740 memory=4824028 CPUtime=3287.85 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 417983 0 0 0 328433 352 0 0 20 0 21 0 152280707 19634933760 1206007 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4793685 1206007 5971 1 0 1220803 0
[pid=767748/tid=767750] ppid=767745 vsize=19174740 memory=4823936 CPUtime=3066.43 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 197302 0 0 0 306542 101 0 0 20 0 21 0 152280708 19634933760 1206007 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 53 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19174740 memory=4823936 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 152280712 19634933760 1206007 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19174740 memory=11600 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 3396 0 0 0 0 0 0 0 20 0 21 0 152280713 19634933760 1206007 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19174740 memory=4824028 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 152280748 19634933760 1206007 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 3287.85 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4824028 KiB
[startup+3222.3 s]
/proc/loadavg: 1.23 1.88 2.19 2/240 769634
/proc/meminfo: memFree=125205040/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19174740 memory=4824100 CPUtime=3352.18 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 422122 0 0 0 334861 357 0 0 20 0 21 0 152280707 19634933760 1206025 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4793685 1206025 5971 1 0 1220813 0
[pid=767748/tid=767750] ppid=767745 vsize=19174740 memory=4824096 CPUtime=3124.17 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 199318 0 0 0 312316 101 0 0 20 0 21 0 152280708 19634933760 1206025 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 53 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19174740 memory=4824100 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 152280712 19634933760 1206025 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19174740 memory=4824100 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 3433 0 0 0 0 0 0 0 20 0 21 0 152280713 19634933760 1206025 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19174740 memory=4824100 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 152280748 19634933760 1206025 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 3352.18 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4824100 KiB
[startup+3282.3 s]
/proc/loadavg: 1.24 1.76 2.13 2/240 769644
/proc/meminfo: memFree=125203920/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19174740 memory=4824640 CPUtime=3418.17 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 440794 0 0 0 341451 366 0 0 20 0 21 0 152280707 19634933760 1206160 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4793685 1206160 5971 1 0 1220954 0
[pid=767748/tid=767750] ppid=767745 vsize=19174740 memory=4824596 CPUtime=3182.19 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 206809 0 0 0 318117 102 0 0 20 0 21 0 152280708 19634933760 1206160 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 53 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19174740 memory=4824572 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 152280712 19634933760 1206160 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19174740 memory=4824572 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 3471 0 0 0 0 0 0 0 20 0 21 0 152280713 19634933760 1206160 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19174740 memory=11600 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 152280748 19634933760 1206160 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 3418.17 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4824640 KiB
[startup+3342.3 s]
/proc/loadavg: 1.18 1.65 2.07 2/240 769655
/proc/meminfo: memFree=125203644/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19174740 memory=4824664 CPUtime=3482.3 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 447456 0 0 0 347859 371 0 0 20 0 21 0 152280707 19634933760 1206166 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4793685 1206166 5971 1 0 1220954 0
[pid=767748/tid=767750] ppid=767745 vsize=19174740 memory=4824664 CPUtime=3240.3 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 210449 0 0 0 323927 103 0 0 20 0 21 0 152280708 19634933760 1206166 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 53 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19174740 memory=4824664 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 152280712 19634933760 1206166 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19174740 memory=11600 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 3550 0 0 0 0 0 0 0 20 0 21 0 152280713 19634933760 1206166 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19174740 memory=25208 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 152280748 19634933760 1206166 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 3482.3 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4824664 KiB
[startup+3402.3 s]
/proc/loadavg: 1.07 1.53 2.00 2/243 769670
/proc/meminfo: memFree=125203168/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19174740 memory=4824668 CPUtime=3545.61 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 453926 0 0 0 354185 376 0 0 20 0 21 0 152280707 19634933760 1206167 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4793685 1206167 5971 1 0 1220954 0
[pid=767748/tid=767750] ppid=767745 vsize=19174740 memory=4824100 CPUtime=3298.51 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 214098 0 0 0 329748 103 0 0 20 0 21 0 152280708 19634933760 1206167 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 53 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19174740 memory=11600 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 152280712 19634933760 1206167 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19174740 memory=-8816187032747811516 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 3648 0 0 0 0 0 0 0 20 0 21 0 152280713 19634933760 1206167 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19174740 memory=11600 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 152280748 19634933760 1206167 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 3545.61 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4824668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3452.11 s]
/proc/loadavg: 1.27 1.51 1.97 2/243 769678
/proc/meminfo: memFree=125202464/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19174740 memory=4825252 CPUtime=3600.01 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 472046 0 0 0 359617 384 0 0 20 0 21 0 152280707 19634933760 1206313 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4793685 1206313 5971 1 0 1221100 0
[pid=767748/tid=767750] ppid=767745 vsize=19174740 memory=4824100 CPUtime=3346.93 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 221874 0 0 0 334589 104 0 0 20 0 21 0 152280708 19634933760 1206313 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 58 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19174740 memory=4825248 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 152280712 19634933760 1206313 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19174740 memory=4825248 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 3755 0 0 0 0 0 0 0 20 0 21 0 152280713 19634933760 1206313 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767767] ppid=767745 vsize=19174740 memory=5512 CPUtime=0 cores=1,3
/proc/767748/task/767767/stat : 767767 (Timer-0) S 767745 767748 763525 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 152280748 19634933760 1206313 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4825252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3452.52 s]
# the end of solver process 767748 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.91 s, system=3.87947 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3452.4 s]
/proc/loadavg: 1.27 1.51 1.97 2/243 769678
/proc/meminfo: memFree=125202464/131655788 swapFree=131071996/131071996
[pid=767748] ppid=767745 vsize=19374432 memory=4826040 CPUtime=3600.57 cores=1,3
/proc/767748/stat : 767748 (java) S 767745 767748 763525 0 -1 1077936128 475216 0 0 0 359672 385 0 0 20 0 22 0 152280707 19839418368 1206510 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
/proc/767748/statm: 4843608 1206510 5970 1 0 1222080 0
[pid=767748/tid=767750] ppid=767745 vsize=19374432 memory=4825252 CPUtime=3347.19 cores=1,3
/proc/767748/task/767750/stat : 767750 (java) R 767745 767748 763525 0 -1 4194368 221983 0 0 0 334615 104 0 0 20 0 22 0 152280708 19839418368 1206510 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 58 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767759] ppid=767745 vsize=19374432 memory=2244 CPUtime=0 cores=1,3
/proc/767748/task/767759/stat : 767759 (Finalizer) S 767745 767748 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 152280712 19839418368 1206510 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
[pid=767748/tid=767766] ppid=767745 vsize=19374432 memory=2312 CPUtime=0 cores=1,3
/proc/767748/task/767766/stat : 767766 (Common-Cleaner) S 767745 767748 763525 0 -1 1077936192 3755 0 0 0 0 0 0 0 20 0 22 0 152280713 19839418368 1206510 134679101440 94342483214336 94342483218032 140726711231312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342483225848 94342483226640 94342494597120 140726711235568 140726711235681 140726711235681 140726711242696 0
Current children cumulated CPU time: 3600.57 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 4826040 KiB
[startup+3452.51 s]*
/proc/loadavg: 1.27 1.51 1.97 2/224 769681
/proc/meminfo: memFree=129884884/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3452.52
CPU time (s): 3600.79
CPU user time (s): 3596.91
CPU system time (s): 3.87947
CPU usage (%): 104.294
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 4826040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.91
system time used= 3.87947
maximum resident set size= 4827140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134910
involuntary context switches= 9803
# summary of solver processes directly reported to runsolver:
# pid: 767748
# total CPU time (s): 3600.79
# total CPU user time (s): 3596.91
# total CPU system time (s): 3.87947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1637 second user time and 38.3988 second system time
The end
Begin job on nodeC008 at 2024-07-15 01:54:15 IDJOB=4427691 IDBENCH=158535 IDSOLVER=3046 FILE ID=nodeC008/4427691-1721001243 RUNJOBID= nodeC008-1720994548-763537 SLURM_JOB_ID= 7505309 Free space on /tmp= 723776 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427691-1721001243/watcher-4427691-1721001243 -o /tmp/evaluation-result-4427691-1721001243/solver-4427691-1721001243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720994548-763537 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427691-1721001243.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d RANDOM SEED=1820505086 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 : 3673.867 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.91 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 : 3491.981 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.362 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.91 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.249 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.31 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 : 3673.857 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.91 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 : 3647.265 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.31 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.654 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.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.339 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121512592 kB MemAvailable: 121484984 kB Buffers: 352552 kB Cached: 467148 kB SwapCached: 0 kB Active: 539256 kB Inactive: 9079048 kB Active(anon): 1492 kB Inactive(anon): 8834856 kB Active(file): 537764 kB Inactive(file): 244192 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 896 kB Writeback: 12 kB AnonPages: 8796764 kB Mapped: 122888 kB Shmem: 37704 kB KReclaimable: 60932 kB Slab: 152220 kB SReclaimable: 60932 kB SUnreclaim: 91288 kB KernelStack: 4880 kB PageTables: 27208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 11186184 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 48928 kB HardwareCorrupted: 0 kB AnonHugePages: 8468480 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: 146248 kB DirectMap2M: 9195520 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723780 MiB End job on nodeC008 at 2024-07-15 02:51:48