Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | SAT (TO) | 4 | 3600.64 | 3524.66 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=9-t=5.opb |
| MD5SUM | e8bf5f7be237686d5dd1c770609b55cb |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 9.75417 |
| 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 | 171 |
| Total number of constraints | 2799 |
| Number of constraints which are clauses | 2790 |
| Number of constraints which are cardinality constraints (but not clauses) | 9 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 9 |
| 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 | 9 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 11 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2115194816 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2122317824 0.00/0.09 c Number of processors 2 0.15/0.17 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.15/0.17 - never skip resolution steps 0.15/0.17 - Auto-division on coefficients is disabled 0.15/0.17 - No postprocessing 0.15/0.17 - Conflict is considered as is when resolving 0.15/0.17 - Use constraints as they come during conflict analysis 0.15/0.17 - Weaken first using unassigned literals 0.15/0.17 - Bump strategy: ALWAYS_ONE 0.15/0.17 - Bumper: EFFECTIVE 0.15/0.17 --- Begin Solver configuration --- 0.15/0.17 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.15/0.17 Learn all clauses as in MiniSAT 0.15/0.17 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.17 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.15/0.17 No reason simplification 0.15/0.17 Dynamic restart strategy considering the size of the coefficients 0.15/0.17 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.15/0.17 timeout=2147483s 0.15/0.17 DB Simplification allowed=false 0.15/0.17 Listener: none 0.15/0.17 --- End Solver configuration --- 0.15/0.17 c Pseudo Boolean Optimization by upper bound 0.15/0.17 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.15/0.17 c - never skip resolution steps 0.15/0.17 c - Auto-division on coefficients is disabled 0.15/0.17 c - No postprocessing 0.15/0.17 c - Conflict is considered as is when resolving 0.15/0.17 c - Use constraints as they come during conflict analysis 0.15/0.17 c - Weaken first using unassigned literals 0.15/0.17 c - Bump strategy: ALWAYS_ONE 0.15/0.17 c - Bumper: EFFECTIVE 0.15/0.17 c --- Begin Solver configuration --- 0.15/0.17 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.15/0.17 c Learn all clauses as in MiniSAT 0.15/0.17 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.17 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.15/0.17 c No reason simplification 0.15/0.17 c Dynamic restart strategy considering the size of the coefficients 0.15/0.17 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.15/0.17 c timeout=2147483s 0.15/0.17 c DB Simplification allowed=false 0.15/0.17 c Listener: none 0.15/0.17 c --- End Solver configuration --- 0.15/0.17 c solving HOME/instance-4449926-1721403029.opb 0.15/0.17 c reading problem ... 0.15/0.17 c objective function found 0.35/0.29 c ... done. Wall clock time 0.121s. 0.35/0.30 c declared #vars 171 0.35/0.30 c #constraints 2799 0.35/0.30 c constraints type 0.35/0.30 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9 0.35/0.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2790 0.35/0.30 c 2799 constraints processed. 0.54/0.34 c objective function length is 9 literals 0.73/0.50 c SATISFIABLE 0.73/0.50 c OPTIMIZING... 0.73/0.50 c Got one! Elapsed wall clock time (in seconds):0.34 0.73/0.51 o 9 0.92/0.56 c Got one! Elapsed wall clock time (in seconds):0.403 0.92/0.58 o 8 0.92/0.59 c Got one! Elapsed wall clock time (in seconds):0.417 0.92/0.59 o 7 0.92/0.60 c Got one! Elapsed wall clock time (in seconds):0.441 0.92/0.61 o 6 3.61/1.91 c cleaning 2787 clauses out of 5577 with flag 0/5577 5.95/3.41 c cleaning 4392 clauses out of 8791 with flag 0/11578 7.05/4.40 c Got one! Elapsed wall clock time (in seconds):4.236 7.05/4.40 o 5 7.27/4.62 c cleaning 5131 clauses out of 10269 with flag 0/17448 7.64/4.82 c Got one! Elapsed wall clock time (in seconds):4.662 7.64/4.82 o 4 9.09/6.16 c cleaning 5140 clauses out of 10287 with flag 0/22597 10.92/7.88 c cleaning 5568 clauses out of 11148 with flag 0/28598 12.83/9.80 c cleaning 6284 clauses out of 12579 with flag 0/35597 16.13/12.84 c cleaning 7143 clauses out of 14295 with flag 0/43597 19.92/16.54 c cleaning 8072 clauses out of 16153 with flag 0/52598 24.03/20.66 c cleaning 9035 clauses out of 18081 with flag 0/62598 29.12/25.80 c cleaning 10019 clauses out of 20046 with flag 0/73598 34.90/31.43 c cleaning 11012 clauses out of 22027 with flag 0/85598 41.99/38.58 c cleaning 12003 clauses out of 24014 with flag 0/98597 50.35/46.84 c cleaning 13002 clauses out of 26012 with flag 0/112598 59.79/56.07 c cleaning 14001 clauses out of 28010 with flag 0/127598 70.57/66.70 c cleaning 15001 clauses out of 30009 with flag 0/143598 81.70/77.37 c cleaning 15996 clauses out of 32007 with flag 0/160597 93.76/89.04 c cleaning 16997 clauses out of 34011 with flag 0/178597 107.73/102.49 c cleaning 17998 clauses out of 36014 with flag 0/197597 122.75/116.80 c cleaning 19005 clauses out of 38016 with flag 0/217597 139.49/133.08 c cleaning 20004 clauses out of 40013 with flag 0/238599 158.48/151.44 c cleaning 20990 clauses out of 42007 with flag 0/260597 178.53/170.72 c cleaning 22004 clauses out of 44017 with flag 0/283597 200.80/192.14 c cleaning 23002 clauses out of 46014 with flag 0/307598 223.90/213.82 c cleaning 24000 clauses out of 48013 with flag 0/332599 248.03/237.15 c cleaning 24998 clauses out of 50012 with flag 0/358598 275.67/263.99 c cleaning 25996 clauses out of 52013 with flag 0/385597 304.07/291.31 c cleaning 26998 clauses out of 54017 with flag 0/413597 334.93/319.90 c cleaning 28006 clauses out of 56022 with flag 0/442600 364.57/348.73 c cleaning 29004 clauses out of 58013 with flag 0/472597 394.72/377.99 c cleaning 30000 clauses out of 60009 with flag 0/503597 430.83/412.95 c cleaning 31001 clauses out of 62011 with flag 0/535599 465.73/446.75 c cleaning 31993 clauses out of 64008 with flag 0/568597 503.00/482.86 c cleaning 32999 clauses out of 66016 with flag 0/602598 551.33/528.44 c cleaning 34000 clauses out of 68016 with flag 0/637597 600.91/577.00 c cleaning 34985 clauses out of 70016 with flag 0/673597 656.62/631.22 c cleaning 36005 clauses out of 72031 with flag 0/710597 708.72/681.94 c cleaning 37001 clauses out of 74027 with flag 0/748598 776.29/748.11 c cleaning 37998 clauses out of 76026 with flag 0/787598 840.90/811.05 c cleaning 38994 clauses out of 78028 with flag 0/827598 907.16/876.08 c cleaning 40005 clauses out of 80033 with flag 0/868597 965.33/933.79 c cleaning 40995 clauses out of 82028 with flag 0/910597 1029.45/996.80 c cleaning 41999 clauses out of 84034 with flag 0/953598 1087.04/1053.64 c cleaning 43001 clauses out of 86034 with flag 0/997597 1163.17/1128.30 c cleaning 44003 clauses out of 88034 with flag 0/1042598 1229.94/1193.65 c cleaning 44998 clauses out of 90030 with flag 0/1088597 1310.41/1272.51 c cleaning 45998 clauses out of 92032 with flag 0/1135597 1371.26/1332.05 c cleaning 47007 clauses out of 94037 with flag 0/1183600 1428.02/1387.22 c cleaning 47993 clauses out of 96027 with flag 0/1232597 1494.88/1452.39 c cleaning 49005 clauses out of 98038 with flag 0/1282601 1572.52/1528.44 c cleaning 50003 clauses out of 100029 with flag 0/1333597 1643.01/1596.82 c cleaning 51002 clauses out of 102026 with flag 0/1385597 1733.44/1685.45 c cleaning 52002 clauses out of 104024 with flag 0/1438597 1846.85/1796.55 c cleaning 52992 clauses out of 106023 with flag 0/1492598 1966.96/1914.60 c cleaning 54003 clauses out of 108030 with flag 0/1547597 2106.84/2052.32 c cleaning 54996 clauses out of 110027 with flag 0/1603597 2285.46/2228.55 c cleaning 55999 clauses out of 112031 with flag 0/1660597 2425.89/2366.81 c cleaning 57008 clauses out of 114032 with flag 0/1718597 2547.80/2486.68 c cleaning 57997 clauses out of 116024 with flag 0/1777597 2675.74/2612.88 c cleaning 59004 clauses out of 118027 with flag 0/1837597 2817.28/2753.01 c cleaning 60009 clauses out of 120025 with flag 0/1898599 2925.70/2859.57 c cleaning 60997 clauses out of 122014 with flag 0/1960597 3072.66/3005.26 c cleaning 61993 clauses out of 124017 with flag 0/2023597 3251.34/3181.33 c cleaning 62996 clauses out of 126025 with flag 0/2087598 3440.72/3367.75 c cleaning 63982 clauses out of 128028 with flag 0/2152597 3600.00/3524.32 c starts : 782 3600.00/3524.34 c conflicts : 2210869 3600.00/3524.34 c decisions : 3234624 3600.00/3524.34 c propagations : 30186047 3600.00/3524.34 c inspects : 6173536895 3600.00/3524.35 c shortcuts : 0 3600.00/3524.35 c learnt literals : 0 3600.00/3524.35 c learnt binary clauses : 0 3600.00/3524.35 c learnt ternary clauses : 0 3600.00/3524.35 c learnt constraints : 2210868 3600.00/3524.35 c ignored constraints : 0 3600.00/3524.35 c root simplifications : 0 3600.00/3524.35 c removed literals (reason simplification) : 0 3600.00/3524.35 c reason swapping (by a shorter reason) : 0 3600.00/3524.35 c Calls to reduceDB : 64 3600.00/3524.35 c Number of update (reduction) of LBD : 2781465 3600.00/3524.38 c Imported unit clauses : 0 3600.00/3524.39 c No decision after first conflict : false 3600.00/3524.39 c number of reductions to clauses (during analyze) : 0 3600.00/3524.39 c number of learned constraints concerned by reduction : 0 3600.00/3524.39 c number of learning phase by resolution : 0 3600.00/3524.39 c number of learning phase by cutting planes : 0 3600.00/3524.39 c number of rounding to 1 operations : 0 3600.00/3524.39 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3524.39 c number of reductions of the coefficients by power 2 : 0 3600.00/3524.39 c number of right shift for reduction by power 2 : 0 3600.00/3524.39 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3524.39 c number of ending skipping : 0 3600.00/3524.39 c number of internal skipping : 0 3600.00/3524.39 c number of derivation steps : 18346424 3600.00/3524.39 c number of skipped derivation steps : 0 3600.00/3524.39 c number of remaining unassigned : 26104 3600.00/3524.39 c number of remaining assigned : 231957483 3600.00/3524.39 c number of falsified literals weakened from reason : 0 3600.00/3524.39 c number of falsified literals weakened from conflict : 0 3600.00/3524.39 c time for arithmetic operations : 8883281126 3600.00/3524.40 c minimum degree of deleted constraints : 1 3600.00/3524.40 c maximum degree of deleted constraints : 51638443908480 3600.00/3524.40 c number of deleted constraints : 2088551 3600.00/3524.40 c speed (assignments/second) : 8565.721220912745 3600.00/3524.40 c non guided choices : 737 3600.38/3524.59 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 64776 3600.38/3524.59 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 2237 3600.58/3524.61 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 55304 3600.58/3524.61 s SATISFIABLE 3600.58/3524.61 c Found 6 solution(s) 3600.58/3524.61 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 3600.58/3524.61 c objective function=4 3600.58/3524.61 c Total wall clock time (in seconds): 3524.441
OK 4
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 (53251 MiB free)
memory of node 1: 64510 MiB (60808 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449926-1721403029/watcher-4449926-1721403029 -o /tmp/evaluation-result-4449926-1721403029/solver-4449926-1721403029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721399517-1008280 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4449926-1721403029.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=1010575, runsolver pid=1010572
[startup+0.102915 s]*
/proc/loadavg: 4.28 4.35 4.25 8/320 1010593
/proc/meminfo: memFree=116733272/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=18975048 memory=63516 CPUtime=0.15 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 7239 0 0 0 13 2 0 0 20 0 18 0 192459308 19430449152 15879 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4743762 15879 5713 1 0 551462 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) S 1010572 1010575 1008215 0 -1 1077936192 5796 0 0 0 8 1 0 0 20 0 18 0 192459308 19430449152 15879 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192459311 19430449152 15879 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 192459311 19430449152 15879 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63516 KiB
[startup+0.215313 s]*
/proc/loadavg: 4.28 4.35 4.25 7/320 1010593
/proc/meminfo: memFree=116704464/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=18975048 memory=71244 CPUtime=0.35 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 7656 0 0 0 33 2 0 0 20 0 18 0 192459308 19430449152 17811 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4743762 17811 5740 1 0 551739 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 6067 0 0 0 18 1 0 0 20 0 18 0 192459308 19430449152 17811 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=18975048 memory=5697 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192459311 19430449152 17811 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 192459311 19430449152 17811 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71244 KiB
[startup+0.317322 s]*
/proc/loadavg: 4.28 4.35 4.25 7/320 1010593
/proc/meminfo: memFree=116693692/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=18975048 memory=83560 CPUtime=0.54 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 9762 0 0 0 51 3 0 0 20 0 18 0 192459308 19430449152 20890 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4743762 20890 5893 1 0 553102 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=18975048 memory=-7813003711094154338 CPUtime=0.24 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 6151 0 0 0 23 1 0 0 20 0 18 0 192459308 19430449152 20890 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192459311 19430449152 20890 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 192459311 19430449152 20890 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83560 KiB
[startup+0.701426 s]
/proc/loadavg: 4.28 4.35 4.25 8/324 1010618
/proc/meminfo: memFree=116676104/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19041612 memory=131072 CPUtime=1.24 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 11935 0 0 0 119 5 0 0 20 0 19 0 192459308 19498610688 32768 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4760403 32768 5894 1 0 554739 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19041612 memory=5512 CPUtime=0.54 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 6286 0 0 0 51 3 0 0 20 0 19 0 192459308 19498610688 32768 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19041612 memory=11992 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192459311 19498610688 32768 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 192459311 19498610688 32768 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19041612 memory=2372 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192459342 19498610688 32768 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 131072 KiB
[startup+1.50531 s]
/proc/loadavg: 4.28 4.35 4.25 7/325 1010654
/proc/meminfo: memFree=116600784/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=212028 CPUtime=2.82 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 17289 0 0 0 275 7 0 0 20 0 20 0 192459308 19566772224 53007 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 53007 5926 1 0 555993 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=11992 CPUtime=1.29 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 6571 0 0 0 125 4 0 0 20 0 20 0 192459308 19566772224 53007 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 53007 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 53007 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=280025828074768 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 53007 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 212028 KiB
[startup+3.10575 s]
/proc/loadavg: 4.34 4.36 4.26 6/325 1010654
/proc/meminfo: memFree=115224976/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=1010556 CPUtime=5.56 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 26613 0 0 0 531 25 0 0 20 0 20 0 192459308 19566772224 252639 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 252639 5926 1 0 670934 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=0 CPUtime=2.84 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 8231 0 0 0 265 19 0 0 20 0 20 0 192459308 19566772224 252639 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 252639 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 252639 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 252639 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1010556 KiB
[startup+6.30632 s]
/proc/loadavg: 4.34 4.36 4.26 6/325 1010656
/proc/meminfo: memFree=113500536/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=1602652 CPUtime=9.31 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 27436 0 0 0 894 37 0 0 20 0 20 0 192459308 19566772224 400663 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 400663 5926 1 0 670950 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=1121404 CPUtime=5.98 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 8933 0 0 0 567 31 0 0 20 0 20 0 192459308 19566772224 400663 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 400663 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 400663 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 400663 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1602652 KiB
[startup+12.7005 s]
/proc/loadavg: 4.28 4.35 4.26 5/323 1010656
/proc/meminfo: memFree=113286924/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=1613152 CPUtime=16 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 32496 0 0 0 1561 39 0 0 20 0 20 0 192459308 19566772224 403288 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 403288 5926 1 0 670950 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=11992 CPUtime=12.15 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 10202 0 0 0 1184 31 0 0 20 0 20 0 192459308 19566772224 403288 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=1604960 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 403288 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=-7813003711094154338 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 403288 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=-7813003711094154338 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 403288 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1613152 KiB
[startup+25.5005 s]
/proc/loadavg: 4.24 4.34 4.25 5/323 1010659
/proc/meminfo: memFree=112024544/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=2132376 CPUtime=28.92 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 34578 0 0 0 2843 49 0 0 20 0 20 0 192459308 19566772224 533094 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 533094 5926 1 0 800465 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=1604960 CPUtime=24.45 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 11608 0 0 0 2404 41 0 0 20 0 20 0 192459308 19566772224 533094 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=1602652 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 533094 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 533094 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=-7813003711094154338 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 533094 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 28.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2132376 KiB
[startup+51.1226 s]
/proc/loadavg: 4.22 4.32 4.25 6/323 1010662
/proc/meminfo: memFree=111410288/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=2733252 CPUtime=54.76 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 41094 0 0 0 5411 65 0 0 20 0 20 0 192459308 19566772224 683313 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 683313 5942 1 0 1069925 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=2695288 CPUtime=48.9 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 14359 0 0 0 4836 54 0 0 20 0 20 0 192459308 19566772224 683313 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=2695260 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 683313 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
################
# More data... #
################
Current children cumulated memory: 4768312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.24 4.27 6/320 1012095
/proc/meminfo: memFree=110363940/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=4768312 CPUtime=3354.31 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 385571 0 0 0 335040 391 0 0 20 0 20 0 192459308 19566772224 1192078 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 1192078 5989 1 0 1206253 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=4768312 CPUtime=3180.84 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 197678 0 0 0 317974 110 0 0 20 0 20 0 192459308 19566772224 1192078 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 158 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=4768312 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 1192078 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=45716 CPUtime=0.01 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 4077 0 0 0 0 1 0 0 20 0 20 0 192459311 19566772224 1192078 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=4768312 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 1192078 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 3354.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4768312 KiB
[startup+3342.3 s]
/proc/loadavg: 4.31 4.27 4.27 5/318 1012490
/proc/meminfo: memFree=110355708/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=4768316 CPUtime=3414.98 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 389725 0 0 0 341103 395 0 0 20 0 20 0 192459308 19566772224 1192079 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 1192079 5989 1 0 1206253 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=11600 CPUtime=3239.51 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 200277 0 0 0 323841 110 0 0 20 0 20 0 192459308 19566772224 1192079 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 158 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=4768316 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 1192079 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=0 CPUtime=0.01 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 4176 0 0 0 0 1 0 0 20 0 20 0 192459311 19566772224 1192079 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=4768316 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 1192079 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 3414.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4768316 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.25 4.27 5/318 1012500
/proc/meminfo: memFree=110355160/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=4768416 CPUtime=3475.84 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 394359 0 0 0 347185 399 0 0 20 0 20 0 192459308 19566772224 1192104 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 1192104 5989 1 0 1206278 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=0 CPUtime=3298.04 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 203339 0 0 0 329693 111 0 0 20 0 20 0 192459308 19566772224 1192104 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 158 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=4768316 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 1192104 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=5512 CPUtime=0.01 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 4176 0 0 0 0 1 0 0 20 0 20 0 192459311 19566772224 1192104 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=4768416 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 1192104 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 3475.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4768416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.23 4.26 5/318 1012510
/proc/meminfo: memFree=110354384/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=4768528 CPUtime=3537.32 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 407526 0 0 0 353327 405 0 0 20 0 20 0 192459308 19566772224 1192132 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 1192132 5989 1 0 1206308 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=4768528 CPUtime=3356.36 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 205839 0 0 0 335525 111 0 0 20 0 20 0 192459308 19566772224 1192132 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=45716 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 1192132 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=11600 CPUtime=0.01 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 4273 0 0 0 0 1 0 0 20 0 20 0 192459311 19566772224 1192132 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=4768528 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 1192132 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 3537.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4768528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.25 5/319 1012824
/proc/meminfo: memFree=111322244/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=4768548 CPUtime=3597.92 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 411809 0 0 0 359381 411 0 0 20 0 20 0 192459308 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 1192137 5989 1 0 1206308 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=45716 CPUtime=3415.03 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 207966 0 0 0 341391 112 0 0 20 0 20 0 192459308 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 164 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=4768528 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=5512 CPUtime=0.01 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 4274 0 0 0 0 1 0 0 20 0 20 0 192459311 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=4768548 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 3597.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4768548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3524.3 s]
/proc/loadavg: 4.17 4.22 4.25 5/319 1012826
/proc/meminfo: memFree=111322176/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19108176 memory=4768548 CPUtime=3600 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 411830 0 0 0 359588 412 0 0 20 0 20 0 192459308 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4777044 1192137 5989 1 0 1206308 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19108176 memory=45716 CPUtime=3416.95 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 207974 0 0 0 341583 112 0 0 20 0 20 0 192459308 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 164 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19108176 memory=4768528 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192459311 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19108176 memory=4768548 CPUtime=0.01 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 4274 0 0 0 0 1 0 0 20 0 20 0 192459311 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010594] ppid=1010572 vsize=19108176 memory=25208 CPUtime=0 cores=1,3
/proc/1010575/task/1010594/stat : 1010594 (Timer-0) S 1010572 1010575 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192459342 19566772224 1192137 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4768548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3524.66 s]
# the end of solver process 1010575 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.48 s, system=4.16095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3524.41 s]
/proc/loadavg: 4.17 4.22 4.25 5/319 1012826
/proc/meminfo: memFree=111322176/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19307868 memory=4769272 CPUtime=3600.19 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 415323 0 0 0 359607 412 0 0 20 0 21 0 192459308 19771256832 1192318 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4826967 1192318 5988 1 0 1207260 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19307868 memory=-7813003711094154338 CPUtime=3417.04 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 208099 0 0 0 341592 112 0 0 20 0 21 0 192459308 19771256832 1192318 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 164 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19307868 memory=19504 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 192459311 19771256832 1192318 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19307868 memory=7148 CPUtime=0.01 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 4274 0 0 0 0 1 0 0 20 0 21 0 192459311 19771256832 1192318 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4769272 KiB
[startup+3524.6 s]
/proc/loadavg: 4.17 4.22 4.25 5/319 1012826
/proc/meminfo: memFree=111322176/131655788 swapFree=131071996/131071996
[pid=1010575] ppid=1010572 vsize=19307868 memory=4769276 CPUtime=3600.58 cores=1,3
/proc/1010575/stat : 1010575 (java) S 1010572 1010575 1008215 0 -1 1077936128 415680 0 0 0 359645 413 0 0 20 0 21 0 192459308 19771256832 1192319 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
/proc/1010575/statm: 4826967 1192319 5988 1 0 1207263 0
[pid=1010575/tid=1010577] ppid=1010572 vsize=19307868 memory=-7813003711094154338 CPUtime=3417.23 cores=1,3
/proc/1010575/task/1010577/stat : 1010577 (java) R 1010572 1010575 1008215 0 -1 4194368 208102 0 0 0 341611 112 0 0 20 0 21 0 192459308 19771256832 1192319 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 164 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010586] ppid=1010572 vsize=19307868 memory=5092400 CPUtime=0 cores=1,3
/proc/1010575/task/1010586/stat : 1010586 (Finalizer) S 1010572 1010575 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 192459311 19771256832 1192319 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
[pid=1010575/tid=1010593] ppid=1010572 vsize=19307868 memory=2740 CPUtime=0.01 cores=1,3
/proc/1010575/task/1010593/stat : 1010593 (Common-Cleaner) S 1010572 1010575 1008215 0 -1 1077936192 4274 0 0 0 0 1 0 0 20 0 21 0 192459311 19771256832 1192319 134679101440 93858271506432 93858271510128 140721612734624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93858271517944 93858271518736 93858289348608 140721612743667 140721612743775 140721612743775 140721612750792 0
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4769276 KiB
Child status: 143
Real time (s): 3524.66
CPU time (s): 3600.64
CPU user time (s): 3596.48
CPU system time (s): 4.16095
CPU usage (%): 102.156
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4769276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.48
system time used= 4.16095
maximum resident set size= 4770092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415964
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= 139819
involuntary context switches= 7428
# summary of solver processes directly reported to runsolver:
# pid: 1010575
# total CPU time (s): 3600.64
# total CPU user time (s): 3596.48
# total CPU system time (s): 4.16095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.335 second user time and 36.9827 second system time
The end
Begin job on nodeC008 at 2024-07-19 17:30:41 IDJOB=4449926 IDBENCH=176173 IDSOLVER=3052 FILE ID=nodeC008/4449926-1721403029 RUNJOBID= nodeC008-1721399517-1008280 SLURM_JOB_ID= 7545437 Free space on /tmp= 723764 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=9-t=5.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449926-1721403029/watcher-4449926-1721403029 -o /tmp/evaluation-result-4449926-1721403029/solver-4449926-1721403029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721399517-1008280 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4449926-1721403029.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e8bf5f7be237686d5dd1c770609b55cb RANDOM SEED=810038431 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.584 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 : 3589.039 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.373 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 : 3491.979 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 : 3572.658 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 : 3655.627 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.380 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.251 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: 116797268 kB MemAvailable: 119140124 kB Buffers: 558984 kB Cached: 2610180 kB SwapCached: 0 kB Active: 1077796 kB Inactive: 13164652 kB Active(anon): 1476 kB Inactive(anon): 11117680 kB Active(file): 1076320 kB Inactive(file): 2046972 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4080 kB Writeback: 0 kB AnonPages: 11073324 kB Mapped: 126848 kB Shmem: 45896 kB KReclaimable: 119188 kB Slab: 224792 kB SReclaimable: 119188 kB SUnreclaim: 105604 kB KernelStack: 4880 kB PageTables: 31808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 14311752 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60000 kB HardwareCorrupted: 0 kB AnonHugePages: 10731520 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: 203592 kB DirectMap2M: 24866816 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723764 MiB End job on nodeC008 at 2024-07-19 18:29:26