Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP VeriPB 2025-06-06 | SAT (TO) | 7 | 3600.55 | 3689.46 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=3.opb |
| MD5SUM | 3e50d3b7c5b20854de6ffc628b5756bc |
| 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 | 7 |
| Best CPU time to get the best result obtained on this benchmark | 0.177486 |
| 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 | 185 |
| Total number of constraints | 4215 |
| Number of constraints which are clauses | 4205 |
| Number of constraints which are cardinality constraints (but not clauses) | 10 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 11 |
| Number of terms in the objective function | 10 |
| 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 | 10 |
| 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 | 12 |
| 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.10/0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.10/0.20 c This is free software under the dual EPL/GNU LGPL licenses. 0.10/0.20 c See www.sat4j.org for details. 0.10/0.21 c version PB25.v20250606 0.26/0.24 c java.runtime.name OpenJDK Runtime Environment 0.26/0.24 c java.vm.name OpenJDK 64-Bit Server VM 0.26/0.24 c java.vm.version 22.0.1+8-16 0.26/0.24 c java.vm.vendor Oracle Corporation 0.26/0.24 c sun.arch.data.model 64 0.26/0.24 c java.version 22.0.1 0.26/0.24 c os.name Linux 0.26/0.24 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.26/0.24 c os.arch amd64 0.26/0.25 c Free memory 2104792832 0.26/0.25 c Max memory 16282288128 0.26/0.25 c Total memory 2113929216 0.26/0.26 c Number of processors 2 0.58/0.46 c Pseudo Boolean Optimization by upper bound 0.58/0.46 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.58/0.46 c - never skip resolution steps 0.58/0.46 c - Auto-division on coefficients is disabled 0.58/0.46 c - No postprocessing 0.58/0.46 c - Conflict is considered as is when resolving 0.58/0.46 c - Use constraints as they come during conflict analysis 0.58/0.46 c - Weaken first using unassigned literals 0.58/0.46 c - Bump strategy: ALWAYS_ONE 0.58/0.46 c - Bumper: EFFECTIVE 0.58/0.46 c --- Begin Solver configuration --- 0.58/0.46 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.58/0.46 c Learn all clauses as in MiniSAT 0.58/0.46 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.58/0.46 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.58/0.46 c No reason simplification 0.58/0.46 c Dynamic restart strategy considering the size of the coefficients 0.58/0.46 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.58/0.46 c timeout=2147483s 0.58/0.46 c DB Simplification allowed=false 0.58/0.46 c Listener: none 0.58/0.46 c --- End Solver configuration --- 0.58/0.46 c solving HOME/instance-4517681-1751542805.opb 0.58/0.46 c reading problem ... 0.58/0.46 c using VERIPB proof format 0.58/0.47 c objective function found 1.10/0.72 c ... done. Wall clock time 0.254s. 1.10/0.72 c declared #vars 185 1.10/0.72 c #constraints 4215 1.10/0.72 c constraints type 1.10/0.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10 1.10/0.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4205 1.10/0.73 c 4215 constraints processed. 1.10/0.75 c objective function length is 10 literals 1.48/0.92 c SATISFIABLE 1.48/0.92 c OPTIMIZING... 1.48/0.92 c Got one! Elapsed wall clock time (in seconds):0.462 1.48/0.92 o 10 1.48/0.97 c Got one! Elapsed wall clock time (in seconds):0.512 1.48/0.97 o 9 1.90/1.13 c Got one! Elapsed wall clock time (in seconds):0.676 1.90/1.13 o 8 2.87/1.65 c Got one! Elapsed wall clock time (in seconds):1.192 2.87/1.65 o 7 4.82/2.63 c cleaning 3089 clauses out of 6183 with flag 0/6183 6.61/3.58 c cleaning 4541 clauses out of 9095 with flag 0/12184 8.57/4.55 c cleaning 5770 clauses out of 11553 with flag 0/19183 9.80/5.49 c cleaning 6877 clauses out of 13783 with flag 0/27183 12.02/7.59 c cleaning 7948 clauses out of 15906 with flag 0/36183 14.04/9.52 c cleaning 8971 clauses out of 17958 with flag 0/46183 15.84/11.34 c cleaning 9990 clauses out of 19987 with flag 0/57183 18.15/13.55 c cleaning 10992 clauses out of 21997 with flag 0/69183 21.06/16.28 c cleaning 11998 clauses out of 24005 with flag 0/82183 23.98/19.13 c cleaning 13001 clauses out of 26007 with flag 0/96183 27.25/22.42 c cleaning 13990 clauses out of 28006 with flag 0/111183 31.54/26.76 c cleaning 15005 clauses out of 30019 with flag 0/127186 36.73/31.75 c cleaning 15996 clauses out of 32011 with flag 0/144183 42.23/37.04 c cleaning 17008 clauses out of 34015 with flag 0/162183 48.69/43.59 c cleaning 18004 clauses out of 36007 with flag 0/181183 56.65/51.58 c cleaning 18992 clauses out of 38004 with flag 0/201184 63.78/58.61 c cleaning 20006 clauses out of 40011 with flag 0/222183 72.03/66.87 c cleaning 20970 clauses out of 42007 with flag 0/244185 82.19/76.99 c cleaning 22015 clauses out of 44035 with flag 0/267183 95.41/90.01 c cleaning 23010 clauses out of 46021 with flag 0/291184 107.66/102.13 c cleaning 23999 clauses out of 48010 with flag 0/316183 123.58/117.81 c cleaning 25006 clauses out of 50012 with flag 0/342184 140.87/134.98 c cleaning 26001 clauses out of 52005 with flag 0/369183 159.75/153.53 c cleaning 26999 clauses out of 54004 with flag 0/397183 178.10/171.66 c cleaning 27995 clauses out of 56006 with flag 0/426184 194.51/187.78 c cleaning 28988 clauses out of 58010 with flag 0/456183 216.05/209.03 c cleaning 30011 clauses out of 60022 with flag 0/487183 239.06/231.83 c cleaning 31002 clauses out of 62013 with flag 0/519185 261.14/253.68 c cleaning 31999 clauses out of 64012 with flag 0/552186 283.49/275.62 c cleaning 33005 clauses out of 66012 with flag 0/586185 308.34/300.18 c cleaning 33996 clauses out of 68005 with flag 0/621183 334.38/326.00 c cleaning 34992 clauses out of 70009 with flag 0/657183 365.13/357.59 c cleaning 36006 clauses out of 72017 with flag 0/694183 395.68/391.43 c cleaning 37002 clauses out of 74012 with flag 0/732184 431.63/427.10 c cleaning 37987 clauses out of 76009 with flag 0/771183 466.18/461.25 c cleaning 38987 clauses out of 78022 with flag 0/811183 502.39/497.20 c cleaning 40011 clauses out of 80035 with flag 0/852183 544.15/538.76 c cleaning 41007 clauses out of 82024 with flag 0/894183 585.85/580.03 c cleaning 42004 clauses out of 84017 with flag 0/937183 625.56/619.41 c cleaning 43006 clauses out of 86016 with flag 0/981186 674.76/670.90 c cleaning 44003 clauses out of 88008 with flag 0/1026184 720.49/716.34 c cleaning 44993 clauses out of 90004 with flag 0/1072183 769.10/764.79 c cleaning 45994 clauses out of 92011 with flag 0/1119183 816.82/812.01 c cleaning 47004 clauses out of 94018 with flag 0/1167184 874.85/869.80 c cleaning 48005 clauses out of 96013 with flag 0/1216183 933.10/931.99 c cleaning 49001 clauses out of 98009 with flag 0/1266184 990.04/988.52 c cleaning 49976 clauses out of 100007 with flag 0/1317183 1054.98/1054.98 c cleaning 51012 clauses out of 102032 with flag 0/1369184 1118.86/1118.56 c cleaning 52009 clauses out of 104019 with flag 0/1422183 1182.88/1182.26 c cleaning 52997 clauses out of 106010 with flag 0/1476183 1255.94/1254.92 c cleaning 54000 clauses out of 108013 with flag 0/1531183 1331.05/1329.65 c cleaning 55006 clauses out of 110013 with flag 0/1587183 1405.22/1403.39 c cleaning 55994 clauses out of 112007 with flag 0/1644183 1484.96/1491.15 c cleaning 56991 clauses out of 114013 with flag 0/1702183 1568.67/1574.38 c cleaning 57984 clauses out of 116022 with flag 0/1761183 1653.08/1658.16 c cleaning 59011 clauses out of 118038 with flag 0/1821183 1740.79/1757.94 c cleaning 59992 clauses out of 120027 with flag 0/1882183 1822.81/1839.67 c cleaning 60998 clauses out of 122035 with flag 0/1944183 1914.02/1933.30 c cleaning 62007 clauses out of 124037 with flag 0/2007183 2005.63/2026.23 c cleaning 63010 clauses out of 126030 with flag 0/2071183 2103.85/2123.81 c cleaning 64008 clauses out of 128022 with flag 0/2136185 2204.87/2228.78 c cleaning 65001 clauses out of 130012 with flag 0/2202183 2305.80/2329.05 c cleaning 65999 clauses out of 132012 with flag 0/2269184 2416.81/2439.45 c cleaning 67002 clauses out of 134013 with flag 0/2337184 2528.57/2559.91 c cleaning 68001 clauses out of 136010 with flag 0/2406183 2638.91/2679.17 c cleaning 68996 clauses out of 138009 with flag 0/2476183 2744.27/2783.73 c cleaning 70001 clauses out of 140013 with flag 0/2547183 2857.70/2896.30 c cleaning 70978 clauses out of 142012 with flag 0/2619183 2980.19/3020.50 c cleaning 72013 clauses out of 144034 with flag 0/2692183 3102.02/3154.92 c cleaning 72994 clauses out of 146021 with flag 0/2766183 3238.82/3297.59 c cleaning 74011 clauses out of 148029 with flag 0/2841185 3369.79/3427.71 c cleaning 74999 clauses out of 150016 with flag 0/2917183 3511.75/3582.31 c cleaning 75988 clauses out of 152017 with flag 0/2994183 3600.07/3689.22 c starts : 16517 3600.07/3689.23 c conflicts : 3055634 3600.07/3689.23 c decisions : 11825859 3600.07/3689.23 c propagations : 55695810 3600.07/3689.23 c inspects : 11506428673 3600.07/3689.23 c shortcuts : 0 3600.07/3689.23 c learnt literals : 0 3600.07/3689.23 c learnt binary clauses : 0 3600.07/3689.23 c learnt ternary clauses : 0 3600.07/3689.23 c learnt constraints : 3055634 3600.07/3689.23 c ignored constraints : 0 3600.07/3689.23 c root simplifications : 0 3600.07/3689.23 c removed literals (reason simplification) : 0 3600.07/3689.23 c reason swapping (by a shorter reason) : 0 3600.07/3689.23 c Calls to reduceDB : 73 3600.07/3689.23 c Number of update (reduction) of LBD : 3427509 3600.07/3689.23 c Imported unit clauses : 0 3600.07/3689.23 c No decision after first conflict : false 3600.07/3689.23 c number of reductions to clauses (during analyze) : 0 3600.07/3689.23 c number of learned constraints concerned by reduction : 0 3600.07/3689.23 c number of learning phase by resolution : 0 3600.07/3689.23 c number of learning phase by cutting planes : 0 3600.07/3689.23 c number of rounding to 1 operations : 0 3600.07/3689.23 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3689.23 c number of reductions of the coefficients by power 2 : 0 3600.07/3689.23 c number of right shift for reduction by power 2 : 0 3600.07/3689.23 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3689.23 c number of ending skipping : 0 3600.07/3689.24 c number of internal skipping : 0 3600.07/3689.24 c number of derivation steps : 17057673 3600.07/3689.24 c number of skipped derivation steps : 0 3600.07/3689.24 c number of remaining unassigned : 807 3600.07/3689.24 c number of remaining assigned : 63803556 3600.07/3689.24 c number of falsified literals weakened from reason : 0 3600.07/3689.24 c number of falsified literals weakened from conflict : 0 3600.07/3689.24 c time for arithmetic operations : 2647591329 3600.07/3689.24 c minimum degree of deleted constraints : 1 3600.07/3689.24 c maximum degree of deleted constraints : 3442040 3600.07/3689.24 c number of deleted constraints : 2918154 3600.07/3689.24 c speed (assignments/second) : 15100.000976016034 3600.07/3689.24 c non guided choices : 314 3600.46/3689.41 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 108855 3600.46/3689.41 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 4794 3600.46/3689.41 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 23831 3600.46/3689.41 s SATISFIABLE 3600.46/3689.41 c Found 4 solution(s) 3600.46/3689.41 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 3600.46/3689.42 c objective function=7 3600.46/3689.42 c Total wall clock time (in seconds): 3688.963
OK 7
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: 63837 MiB (63205 MiB free)
memory of node 1: 64465 MiB (62885 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517681-1751542805/watcher-4517681-1751542805 -o /tmp/evaluation-result-4517681-1751542805/solver-4517681-1751542805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751542805-78680 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517681-1751542805 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517681-1751542805.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78736, runsolver pid=78722
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 0.05 0.82 2.26 10/319 78806
/proc/meminfo: memFree=129058492/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=18930344 memory=46168 CPUtime=0.1 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 5541 0 98 0 6 4 0 0 20 0 18 0 69959722 19384672256 11542 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4732586 11542 4897 1 0 546862 0
[pid=78736/tid=78742] ppid=78722 vsize=18930344 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 4474 0 98 0 3 3 0 0 20 0 18 0 69959725 19384672256 11542 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=18930344 memory=228522721619 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69959731 19384672256 11542 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=18930384 memory=60693105881846 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69959732 19384713216 11542 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46168 KiB
[startup+0.220182 s]*
/proc/loadavg: 0.05 0.82 2.26 9/319 78806
/proc/meminfo: memFree=129046080/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=18930384 memory=51752 CPUtime=0.26 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 6036 0 98 0 21 5 0 0 20 0 18 0 69959722 19384713216 12938 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4732596 12938 5313 1 0 547241 0
[pid=78736/tid=78742] ppid=78722 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 4861 0 98 0 13 3 0 0 20 0 18 0 69959725 19384713216 12938 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=18930384 memory=14857 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69959731 19384713216 12938 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=18930384 memory=59593594242043 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69959732 19384713216 12938 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51752 KiB
[startup+0.316134 s]*
/proc/loadavg: 0.05 0.82 2.26 12/319 78806
/proc/meminfo: memFree=129031840/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=18930384 memory=57968 CPUtime=0.42 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 6545 0 98 0 36 6 0 0 20 0 18 0 69959722 19384713216 14492 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4732596 14492 5313 1 0 547679 0
[pid=78736/tid=78742] ppid=78722 vsize=18930384 memory=-6000919498526516328 CPUtime=0.25 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 5016 0 98 0 21 4 0 0 20 0 18 0 69959725 19384713216 14492 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69959731 19384713216 14492 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69959732 19384713216 14492 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57968 KiB
[startup+0.700319 s]
/proc/loadavg: 0.05 0.82 2.26 16/319 78806
/proc/meminfo: memFree=129012272/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=18930384 memory=78388 CPUtime=1.1 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 7620 0 98 0 102 8 0 0 20 0 18 0 69959722 19384713216 19597 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4732596 19597 5441 1 0 548378 0
[pid=78736/tid=78742] ppid=78722 vsize=18930384 memory=18432 CPUtime=0.57 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 5310 0 98 0 52 5 0 0 20 0 18 0 69959725 19384713216 19597 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69959731 19384713216 19597 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69959732 19384713216 19597 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 78388 KiB
[startup+1.50026 s]
/proc/loadavg: 0.05 0.82 2.26 14/323 78810
/proc/meminfo: memFree=128839488/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=166440 CPUtime=2.67 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 14895 0 98 0 254 13 0 0 20 0 20 0 69959722 19521036288 41610 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 41610 5505 1 0 551422 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=3200 CPUtime=1.18 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 5913 0 98 0 110 8 0 0 20 0 20 0 69959725 19521036288 41610 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 41610 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 41610 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=14080 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 41610 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166440 KiB
[startup+3.10552 s]
/proc/loadavg: 0.68 0.94 2.29 13/327 78814
/proc/meminfo: memFree=127433500/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=400328 CPUtime=5.81 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 24798 0 98 0 561 20 0 0 20 0 20 0 69959722 19521036288 100082 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 100082 5505 1 0 556915 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=14080 CPUtime=2.68 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 7352 0 98 0 255 13 0 0 20 0 20 0 69959725 19521036288 100082 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 100082 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 100082 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 100082 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 400328 KiB
[startup+6.30035 s]
/proc/loadavg: 0.68 0.94 2.29 9/327 78814
/proc/meminfo: memFree=124605052/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=1309580 CPUtime=10.83 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 25875 0 98 0 1044 39 0 0 20 0 20 0 69959722 19521036288 327395 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 327395 5505 1 0 556968 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=0 CPUtime=5.79 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 8079 0 98 0 549 30 0 0 20 0 20 0 69959725 19521036288 327395 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 327395 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 327395 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=166440 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 327395 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 10.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1309580 KiB
[startup+12.7004 s]
/proc/loadavg: 1.19 1.04 2.32 8/327 78814
/proc/meminfo: memFree=122868212/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=1315852 CPUtime=17.28 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 27123 0 98 0 1687 41 0 0 20 0 20 0 69959722 19521036288 328963 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 328963 5537 1 0 556968 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=166440 CPUtime=12.09 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 8789 0 98 0 1178 31 0 0 20 0 20 0 69959725 19521036288 328963 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=1315724 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 328963 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 328963 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 328963 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 17.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315852 KiB
[startup+25.5004 s]
/proc/loadavg: 1.81 1.19 2.34 9/327 78814
/proc/meminfo: memFree=121416200/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=1868368 CPUtime=30.34 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 33017 0 98 0 2981 53 0 0 20 0 20 0 69959722 19521036288 467092 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 467092 5537 1 0 696934 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=1315724 CPUtime=24.5 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 10798 0 98 0 2407 43 0 0 20 0 20 0 69959725 19521036288 467092 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 467092 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=1866268 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 467092 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=14080 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 467092 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 30.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1868368 KiB
[startup+51.1138 s]
/proc/loadavg: 2.89 1.50 2.42 7/328 78883
/proc/meminfo: memFree=117307484/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=2913352 CPUtime=56.27 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 41049 0 98 0 5549 78 0 0 20 0 20 0 69959722 19521036288 728338 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 728338 5537 1 0 962226 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=2396040 CPUtime=49.32 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 13343 0 98 0 4866 66 0 0 20 0 20 0 69959725 19521036288 728338 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=2913352 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 728338 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 728338 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.29 4.19 4.14 8/327 79064
/proc/meminfo: memFree=107842992/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3283.78 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 202218 0 98 0 327933 445 0 0 20 0 20 0 69959722 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 1073037 5537 1 0 1088557 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3189.15 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 116860 0 98 0 318724 191 0 0 20 0 20 0 69959725 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=-6000919498526516328 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 2441 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 3283.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4292148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.13 7/327 79066
/proc/meminfo: memFree=107833956/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3344.25 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 205036 0 98 0 333975 450 0 0 20 0 20 0 69959722 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 1073037 5537 1 0 1088560 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3247.71 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 118652 0 98 0 324579 192 0 0 20 0 20 0 69959725 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 2518 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 3344.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4292148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.13 7/328 79069
/proc/meminfo: memFree=107803832/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3404.55 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 207796 0 98 0 339997 458 0 0 20 0 20 0 69959722 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 1073037 5537 1 0 1088560 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3306.68 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 120200 0 98 0 330473 195 0 0 20 0 20 0 69959725 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 2596 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 3404.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4292148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.21 4.15 7/328 79074
/proc/meminfo: memFree=107794588/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3464.95 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 209112 0 98 0 346032 463 0 0 20 0 20 0 69959722 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 1073037 5537 1 0 1088560 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3365.32 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 121396 0 98 0 336336 196 0 0 20 0 20 0 69959725 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 2596 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 1073037 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 3464.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4292148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.21 4.15 7/328 79076
/proc/meminfo: memFree=107764268/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=4292276 CPUtime=3511.75 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 212310 0 98 0 350706 469 0 0 20 0 20 0 69959722 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 1073069 5537 1 0 1088596 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=14080 CPUtime=3410.88 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 123667 0 98 0 340890 198 0 0 20 0 20 0 69959725 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=4292148 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=14080 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 2672 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=4292276 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 3511.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4292276 KiB
[startup+3642.3 s]
/proc/loadavg: 4.23 4.22 4.16 7/328 79078
/proc/meminfo: memFree=108408532/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=4292276 CPUtime=3558.58 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 215848 0 98 0 355384 474 0 0 20 0 20 0 69959722 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 1073069 5537 1 0 1088596 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=4292148 CPUtime=3456.58 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 126209 0 98 0 345459 199 0 0 20 0 20 0 69959725 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 2672 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 3558.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4292276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3689.2 s]
/proc/loadavg: 4.21 4.21 4.16 7/329 79085
/proc/meminfo: memFree=108391508/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19063512 memory=4292276 CPUtime=3600.07 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 215981 0 98 0 359529 478 0 0 20 0 20 0 69959722 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4765878 1073069 5537 1 0 1088596 0
[pid=78736/tid=78742] ppid=78722 vsize=19063512 memory=-6000919498526516328 CPUtime=3496.96 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 126223 0 98 0 349496 200 0 0 20 0 20 0 69959725 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19063512 memory=4152804 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 2749 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78809] ppid=78722 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/78736/task/78809/stat : 78809 (Timer-0) S 78722 78736 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959800 19521036288 1073069 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4292276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3689.46 s]
# the end of solver process 78736 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.72 s, system=4.82643 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3689.4 s]
/proc/loadavg: 4.21 4.21 4.16 7/329 79085
/proc/meminfo: memFree=108391508/131382116 swapFree=33009904/33010684
[pid=78736] ppid=78722 vsize=19263204 memory=4293428 CPUtime=3600.46 cores=1,3
/proc/78736/stat : 78736 (java) S 78722 78736 78032 0 -1 4194304 219535 0 98 0 359567 479 0 0 20 0 21 0 69959722 19725520896 1073357 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
/proc/78736/statm: 4815801 1073357 5569 1 0 1089584 0
[pid=78736/tid=78742] ppid=78722 vsize=19263204 memory=245635481903 CPUtime=3497.13 cores=1,3
/proc/78736/task/78742/stat : 78742 (java) R 78722 78736 78032 0 -1 4194368 126476 0 98 0 349513 200 0 0 20 0 21 0 69959725 19725520896 1073357 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78787] ppid=78722 vsize=19263204 memory=55212677268211 CPUtime=0 cores=1,3
/proc/78736/task/78787/stat : 78787 (Finalizer) S 78722 78736 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69959731 19725520896 1073357 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
[pid=78736/tid=78806] ppid=78722 vsize=19263204 memory=332359 CPUtime=0 cores=1,3
/proc/78736/task/78806/stat : 78806 (Common-Cleaner) S 78722 78736 78032 0 -1 4194368 2749 0 0 0 0 0 0 0 20 0 21 0 69959732 19725520896 1073357 18446744073709551615 94794851405824 94794851409520 140724990291488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94794851417336 94794851418128 94794884816896 140724990298413 140724990298598 140724990298598 140724990304200 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4293428 KiB
Child status: 143
Real time (s): 3689.46
CPU time (s): 3600.55
CPU user time (s): 3595.72
CPU system time (s): 4.82643
CPU usage (%): 97.5902
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4293428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.72
system time used= 4.82643
maximum resident set size= 4293556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219852
page faults= 98
swaps= 0
block input operations= 0
block output operations= 613664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146751
involuntary context switches= 14471
# summary of solver processes directly reported to runsolver:
# pid: 78736
# total CPU time (s): 3600.55
# total CPU user time (s): 3595.72
# total CPU system time (s): 4.82643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9319 second user time and 37.5405 second system time
The end
Begin job on nodeC004 at 2025-07-03 13:40:05 IDJOB=4517681 IDBENCH=176157 IDSOLVER=3362 FILE ID=nodeC004/4517681-1751542805 RUNJOBID= nodeC004-1751542805-78680 SLURM_JOB_ID= 9598694 Free space on /tmp= 431680 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=10-t=3.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517681-1751542805/watcher-4517681-1751542805 -o /tmp/evaluation-result-4517681-1751542805/solver-4517681-1751542805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751542805-78680 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517681-1751542805 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517681-1751542805.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e50d3b7c5b20854de6ffc628b5756bc RANDOM SEED=489439157 nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.315 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 1197.209 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.205 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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.193 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.362 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 1197.178 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.560 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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.216 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 129117988 kB MemAvailable: 129877220 kB Buffers: 2128 kB Cached: 1509352 kB SwapCached: 32 kB Active: 663956 kB Inactive: 915360 kB Active(anon): 75020 kB Inactive(anon): 10748 kB Active(file): 588936 kB Inactive(file): 904612 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3564 kB Writeback: 0 kB AnonPages: 70828 kB Mapped: 103260 kB Shmem: 17932 kB KReclaimable: 210624 kB Slab: 297236 kB SReclaimable: 210624 kB SUnreclaim: 86612 kB KernelStack: 3812 kB PageTables: 2568 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 340356 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431676 MiB End job on nodeC004 at 2025-07-03 14:41:35