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.67 | 3655.78 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb |
| MD5SUM | d5993a0e2ae11ecdb32c60d775cccf06 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.016932 |
| 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 | 124 |
| Total number of constraints | 31 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 7 |
| Number of terms in the objective function | 31 |
| 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 | 31 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 31 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.18 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.18 c See www.sat4j.org for details. 0.12/0.20 c version PB25.v20250606 0.27/0.24 c java.runtime.name OpenJDK Runtime Environment 0.27/0.24 c java.vm.name OpenJDK 64-Bit Server VM 0.27/0.24 c java.vm.version 22.0.1+8-16 0.27/0.24 c java.vm.vendor Oracle Corporation 0.27/0.24 c sun.arch.data.model 64 0.27/0.24 c java.version 22.0.1 0.27/0.24 c os.name Linux 0.27/0.24 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.27/0.24 c os.arch amd64 0.27/0.25 c Free memory 2104792832 0.27/0.25 c Max memory 16282288128 0.27/0.25 c Total memory 2113929216 0.27/0.26 c Number of processors 2 0.59/0.45 c Pseudo Boolean Optimization by upper bound 0.59/0.45 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.59/0.45 c - never skip resolution steps 0.59/0.45 c - Auto-division on coefficients is disabled 0.59/0.45 c - No postprocessing 0.59/0.45 c - Conflict is considered as is when resolving 0.59/0.45 c - Use constraints as they come during conflict analysis 0.59/0.45 c - Weaken first using unassigned literals 0.59/0.45 c - Bump strategy: ALWAYS_ONE 0.59/0.45 c - Bumper: EFFECTIVE 0.59/0.45 c --- Begin Solver configuration --- 0.59/0.45 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.59/0.45 c Learn all clauses as in MiniSAT 0.59/0.45 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.59/0.45 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.59/0.45 c No reason simplification 0.59/0.45 c Dynamic restart strategy considering the size of the coefficients 0.59/0.45 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.59/0.45 c timeout=2147483s 0.59/0.45 c DB Simplification allowed=false 0.59/0.45 c Listener: none 0.59/0.45 c --- End Solver configuration --- 0.59/0.45 c solving HOME/instance-4518509-1751551348.opb 0.59/0.45 c reading problem ... 0.59/0.45 c using VERIPB proof format 0.59/0.46 c objective function found 0.59/0.50 c ... done. Wall clock time 0.042s. 0.59/0.50 c declared #vars 124 0.59/0.50 c #constraints 62 0.59/0.50 c constraints type 0.59/0.50 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 62 0.59/0.50 c 62 constraints processed. 0.59/0.52 c objective function length is 31 literals 1.30/0.85 c SATISFIABLE 1.30/0.85 c OPTIMIZING... 1.30/0.85 c Got one! Elapsed wall clock time (in seconds):0.405 1.30/0.86 o 25 3.88/2.15 c Got one! Elapsed wall clock time (in seconds):1.696 3.88/2.15 o 23 4.26/2.30 c Got one! Elapsed wall clock time (in seconds):1.853 4.26/2.30 o 21 4.66/2.57 c Got one! Elapsed wall clock time (in seconds):2.124 4.66/2.57 o 19 4.86/2.62 c Got one! Elapsed wall clock time (in seconds):2.167 4.86/2.62 o 17 4.86/2.66 c Got one! Elapsed wall clock time (in seconds):2.207 4.86/2.66 o 15 5.05/2.70 c Got one! Elapsed wall clock time (in seconds):2.247 5.05/2.70 o 13 5.05/2.73 c Got one! Elapsed wall clock time (in seconds):2.284 5.05/2.73 o 11 7.24/3.87 c cleaning 3322 clauses out of 6644 with flag 0/6644 9.86/5.40 c cleaning 4659 clauses out of 9322 with flag 0/12644 11.56/6.65 c cleaning 5829 clauses out of 11662 with flag 0/19643 13.35/8.11 c Got one! Elapsed wall clock time (in seconds):7.659 13.35/8.11 o 9 13.84/8.57 c Got one! Elapsed wall clock time (in seconds):8.124 13.84/8.57 o 7 15.08/9.71 c cleaning 9092 clauses out of 18185 with flag 0/31995 16.86/11.03 c cleaning 7544 clauses out of 15092 with flag 0/37994 18.40/12.41 c cleaning 7274 clauses out of 14549 with flag 0/44995 20.47/14.33 c cleaning 7635 clauses out of 15275 with flag 0/52995 23.19/17.04 c cleaning 8315 clauses out of 16639 with flag 0/61994 25.29/19.20 c cleaning 9159 clauses out of 18325 with flag 0/71995 28.02/21.84 c cleaning 10079 clauses out of 20167 with flag 0/82996 32.01/25.86 c cleaning 11042 clauses out of 22088 with flag 0/94996 37.70/31.56 c cleaning 12019 clauses out of 24044 with flag 0/107994 46.36/40.21 c cleaning 13013 clauses out of 26030 with flag 0/121999 53.77/47.44 c cleaning 13998 clauses out of 28013 with flag 0/136995 59.23/52.71 c cleaning 14999 clauses out of 30014 with flag 0/152994 66.06/59.55 c cleaning 16001 clauses out of 32015 with flag 0/169994 75.38/68.81 c cleaning 17005 clauses out of 34014 with flag 0/187994 84.40/77.74 c cleaning 18002 clauses out of 36009 with flag 0/206994 95.29/88.47 c cleaning 18995 clauses out of 38007 with flag 0/226994 107.29/101.60 c cleaning 20002 clauses out of 40012 with flag 0/247994 121.68/115.76 c cleaning 20996 clauses out of 42010 with flag 0/269994 136.08/130.01 c cleaning 22004 clauses out of 44015 with flag 0/292995 149.25/168.85 c cleaning 23005 clauses out of 46011 with flag 0/316995 157.99/177.42 c cleaning 24001 clauses out of 48006 with flag 0/341995 168.73/188.08 c cleaning 25001 clauses out of 50005 with flag 0/367995 183.75/213.23 c cleaning 26000 clauses out of 52004 with flag 0/394995 199.62/228.87 c cleaning 26999 clauses out of 54004 with flag 0/422995 216.66/245.54 c cleaning 27997 clauses out of 56004 with flag 0/451994 238.19/266.68 c cleaning 28999 clauses out of 58007 with flag 0/481994 260.94/288.98 c cleaning 29999 clauses out of 60009 with flag 0/512995 292.73/330.87 c cleaning 30998 clauses out of 62009 with flag 0/544994 318.01/355.85 c cleaning 32003 clauses out of 64011 with flag 0/577994 334.94/372.55 c cleaning 32999 clauses out of 66008 with flag 0/611994 361.00/406.63 c cleaning 33997 clauses out of 68011 with flag 0/646996 382.87/428.29 c cleaning 34998 clauses out of 70012 with flag 0/682994 399.60/444.74 c cleaning 35996 clauses out of 72014 with flag 0/719994 430.32/475.06 c cleaning 37005 clauses out of 74018 with flag 0/757994 466.91/516.31 c cleaning 37999 clauses out of 76013 with flag 0/796994 496.83/545.86 c cleaning 38997 clauses out of 78014 with flag 0/836994 525.28/573.91 c cleaning 40002 clauses out of 80017 with flag 0/877994 560.64/608.91 c cleaning 40998 clauses out of 82015 with flag 0/919994 591.61/639.57 c cleaning 42001 clauses out of 84018 with flag 0/962995 616.50/664.01 c cleaning 42999 clauses out of 86016 with flag 0/1006994 636.17/683.45 c cleaning 43998 clauses out of 88017 with flag 0/1051994 660.93/712.03 c cleaning 45006 clauses out of 90020 with flag 0/1097995 687.97/738.75 c cleaning 46000 clauses out of 92013 with flag 0/1144994 726.61/784.36 c cleaning 46999 clauses out of 94014 with flag 0/1192995 748.28/805.81 c cleaning 47997 clauses out of 96015 with flag 0/1241995 775.05/832.03 c cleaning 49000 clauses out of 98017 with flag 0/1291994 807.63/864.24 c cleaning 50006 clauses out of 100018 with flag 0/1342995 847.15/910.89 c cleaning 50994 clauses out of 102011 with flag 0/1394994 891.50/954.82 c cleaning 52005 clauses out of 104017 with flag 0/1447994 928.98/991.74 c cleaning 53000 clauses out of 106012 with flag 0/1501994 958.10/1020.11 c cleaning 53996 clauses out of 108012 with flag 0/1556994 994.54/1060.09 c cleaning 55005 clauses out of 110016 with flag 0/1612994 1031.31/1095.92 c cleaning 55995 clauses out of 112012 with flag 0/1669995 1072.06/1136.01 c cleaning 57003 clauses out of 114016 with flag 0/1727994 1104.53/1167.87 c cleaning 58001 clauses out of 116013 with flag 0/1786994 1147.69/1210.59 c cleaning 58999 clauses out of 118012 with flag 0/1846994 1209.05/1271.23 c cleaning 60003 clauses out of 120013 with flag 0/1907994 1268.22/1336.64 c cleaning 60996 clauses out of 122011 with flag 0/1969995 1322.34/1390.06 c cleaning 62000 clauses out of 124015 with flag 0/2032995 1383.54/1451.64 c cleaning 62999 clauses out of 126014 with flag 0/2096994 1432.80/1500.13 c cleaning 64006 clauses out of 128015 with flag 0/2161994 1478.94/1552.14 c cleaning 64997 clauses out of 130010 with flag 0/2227995 1521.36/1593.76 c cleaning 65994 clauses out of 132012 with flag 0/2294994 1573.67/1645.07 c cleaning 67006 clauses out of 134019 with flag 0/2362995 1619.94/1698.78 c cleaning 67994 clauses out of 136012 with flag 0/2431994 1660.40/1737.93 c cleaning 68999 clauses out of 138018 with flag 0/2501994 1716.70/1792.99 c cleaning 70005 clauses out of 140019 with flag 0/2572994 1755.66/1831.05 c cleaning 71004 clauses out of 142015 with flag 0/2644995 1801.41/1875.35 c cleaning 71995 clauses out of 144010 with flag 0/2717994 1855.93/1928.73 c cleaning 73003 clauses out of 146016 with flag 0/2791995 1900.63/1972.54 c cleaning 73998 clauses out of 148012 with flag 0/2866994 1969.25/2042.60 c cleaning 75003 clauses out of 150015 with flag 0/2942995 2029.59/2101.92 c cleaning 75999 clauses out of 152012 with flag 0/3019995 2084.28/2156.07 c cleaning 76997 clauses out of 154012 with flag 0/3097994 2148.93/2219.82 c cleaning 78004 clauses out of 156015 with flag 0/3176994 2222.65/2297.23 c cleaning 79002 clauses out of 158011 with flag 0/3256994 2254.92/2328.79 c cleaning 79998 clauses out of 160010 with flag 0/3337995 2319.54/2392.30 c cleaning 81003 clauses out of 162011 with flag 0/3419994 2374.67/2449.76 c cleaning 82003 clauses out of 164009 with flag 0/3502995 2415.83/2489.99 c cleaning 82996 clauses out of 166005 with flag 0/3586994 2480.08/2552.83 c cleaning 84003 clauses out of 168009 with flag 0/3671994 2537.82/2609.36 c cleaning 84999 clauses out of 170007 with flag 0/3757995 2599.53/2670.01 c cleaning 85998 clauses out of 172007 with flag 0/3844994 2663.42/2731.49 c cleaning 86998 clauses out of 174010 with flag 0/3932995 2746.81/2817.18 c cleaning 88003 clauses out of 176011 with flag 0/4021994 2825.92/2894.17 c cleaning 89002 clauses out of 178012 with flag 0/4111998 2908.03/2974.44 c cleaning 90000 clauses out of 180006 with flag 0/4202994 3024.01/3092.94 c cleaning 90995 clauses out of 182006 with flag 0/4294994 3160.11/3232.98 c cleaning 91998 clauses out of 184011 with flag 0/4387994 3240.27/3309.89 c cleaning 93002 clauses out of 186015 with flag 0/4481996 3326.05/3392.99 c cleaning 94003 clauses out of 188011 with flag 0/4576994 3485.37/3542.90 c cleaning 94993 clauses out of 190008 with flag 0/4672994 3600.06/3655.43 c starts : 8978 3600.06/3655.45 c conflicts : 4752902 3600.06/3655.45 c decisions : 6266223 3600.06/3655.46 c propagations : 25968576 3600.06/3655.46 c inspects : 6560656923 3600.06/3655.46 c shortcuts : 0 3600.06/3655.46 c learnt literals : 0 3600.06/3655.46 c learnt binary clauses : 0 3600.06/3655.46 c learnt ternary clauses : 0 3600.06/3655.46 c learnt constraints : 4752901 3600.06/3655.46 c ignored constraints : 0 3600.06/3655.46 c root simplifications : 0 3600.06/3655.46 c removed literals (reason simplification) : 0 3600.06/3655.46 c reason swapping (by a shorter reason) : 0 3600.06/3655.46 c Calls to reduceDB : 95 3600.06/3655.46 c Number of update (reduction) of LBD : 5644134 3600.06/3655.46 c Imported unit clauses : 0 3600.06/3655.46 c No decision after first conflict : false 3600.06/3655.46 c number of reductions to clauses (during analyze) : 0 3600.06/3655.46 c number of learned constraints concerned by reduction : 0 3600.06/3655.46 c number of learning phase by resolution : 0 3600.06/3655.46 c number of learning phase by cutting planes : 0 3600.06/3655.46 c number of rounding to 1 operations : 0 3600.06/3655.46 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3655.46 c number of reductions of the coefficients by power 2 : 0 3600.06/3655.47 c number of right shift for reduction by power 2 : 0 3600.06/3655.47 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3655.47 c number of ending skipping : 0 3600.06/3655.47 c number of internal skipping : 0 3600.06/3655.47 c number of derivation steps : 16172251 3600.06/3655.47 c number of skipped derivation steps : 0 3600.06/3655.47 c number of remaining unassigned : 2040 3600.06/3655.47 c number of remaining assigned : 361959069 3600.06/3655.47 c number of falsified literals weakened from reason : 0 3600.06/3655.47 c number of falsified literals weakened from conflict : 0 3600.06/3655.47 c time for arithmetic operations : 21334673023 3600.06/3655.47 c minimum degree of deleted constraints : 1 3600.06/3655.47 c maximum degree of deleted constraints : 1218 3600.06/3655.47 c number of deleted constraints : 4577979 3600.06/3655.47 c speed (assignments/second) : 7105.068021692303 3600.06/3655.48 c non guided choices : 265 3600.44/3655.66 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 53287 3600.44/3655.66 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 19 3600.44/3655.67 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 121616 3600.44/3655.67 s SATISFIABLE 3600.44/3655.67 c Found 10 solution(s) 3600.44/3655.67 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 3600.44/3655.67 c objective function=7 3600.44/3655.67 c Total wall clock time (in seconds): 3655.219
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: 63794 MiB (49228 MiB free)
memory of node 1: 64507 MiB (53154 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518509-1751551348/watcher-4518509-1751551348 -o /tmp/evaluation-result-4518509-1751551348/solver-4518509-1751551348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751547728-82135 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518509-1751551348 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4518509-1751551348.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82779, runsolver pid=82776
[startup+0.100074 s]*
/proc/loadavg: 4.12 4.18 4.22 9/330 82797
/proc/meminfo: memFree=104817808/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=18930384 memory=48352 CPUtime=0.12 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 5769 0 0 0 8 4 0 0 20 0 18 0 70814554 19384713216 12088 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4732596 12088 5305 1 0 547010 0
[pid=82779/tid=82781] ppid=82776 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 4631 0 0 0 4 3 0 0 20 0 18 0 70814556 19384713216 12088 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70814561 19384713216 12088 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=18930384 memory=59593594258114 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70814562 19384713216 12088 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48352 KiB
[startup+0.217889 s]*
/proc/loadavg: 4.12 4.18 4.22 9/330 82797
/proc/meminfo: memFree=104795628/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=18930384 memory=51964 CPUtime=0.27 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 6172 0 0 0 23 4 0 0 20 0 18 0 70814554 19384713216 12991 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4732596 12991 5337 1 0 547289 0
[pid=82779/tid=82781] ppid=82776 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 4961 0 0 0 13 3 0 0 20 0 18 0 70814556 19384713216 12991 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70814561 19384713216 12991 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70814562 19384713216 12991 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51964 KiB
[startup+0.314657 s]*
/proc/loadavg: 4.12 4.18 4.22 9/330 82797
/proc/meminfo: memFree=104765004/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=18930384 memory=58168 CPUtime=0.43 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 6659 0 0 0 37 6 0 0 20 0 18 0 70814554 19384713216 14542 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4732596 14542 5369 1 0 547686 0
[pid=82779/tid=82781] ppid=82776 vsize=18930384 memory=-6000919481262762599 CPUtime=0.26 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 5131 0 0 0 22 4 0 0 20 0 18 0 70814556 19384713216 14542 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70814561 19384713216 14542 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70814562 19384713216 14542 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58168 KiB
[startup+0.70042 s]
/proc/loadavg: 4.12 4.18 4.22 9/330 82797
/proc/meminfo: memFree=104700036/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=18996948 memory=67648 CPUtime=1.11 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 7390 0 0 0 104 7 0 0 20 0 19 0 70814554 19452874752 16912 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4749237 16912 5465 1 0 548422 0
[pid=82779/tid=82781] ppid=82776 vsize=18996948 memory=18304 CPUtime=0.59 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 5526 0 0 0 55 4 0 0 20 0 19 0 70814556 19452874752 16912 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70814561 19452874752 16912 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70814562 19452874752 16912 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67648 KiB
[startup+1.50028 s]
/proc/loadavg: 4.12 4.18 4.22 8/333 82800
/proc/meminfo: memFree=104577544/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19063512 memory=176916 CPUtime=2.68 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 20442 0 0 0 254 14 0 0 20 0 20 0 70814554 19521036288 44229 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4765878 44229 5529 1 0 554177 0
[pid=82779/tid=82781] ppid=82776 vsize=19063512 memory=3200 CPUtime=1.21 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 6002 0 0 0 114 7 0 0 20 0 20 0 70814556 19521036288 44229 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70814561 19521036288 44229 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70814562 19521036288 44229 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70814608 19521036288 44229 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176916 KiB
[startup+3.10589 s]
/proc/loadavg: 4.43 4.24 4.24 7/334 82801
/proc/meminfo: memFree=102906104/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19063512 memory=595852 CPUtime=5.86 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 24543 0 0 0 562 24 0 0 20 0 20 0 70814554 19521036288 148963 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4765878 148963 5529 1 0 555472 0
[pid=82779/tid=82781] ppid=82776 vsize=19063512 memory=14560 CPUtime=2.73 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 7136 0 0 0 256 17 0 0 20 0 20 0 70814556 19521036288 148963 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70814561 19521036288 148963 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70814562 19521036288 148963 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70814608 19521036288 148963 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 595852 KiB
[startup+6.30028 s]
/proc/loadavg: 4.43 4.24 4.24 6/334 82801
/proc/meminfo: memFree=101264440/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19063512 memory=1195428 CPUtime=11.26 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 27254 0 0 0 1088 38 0 0 20 0 20 0 70814554 19521036288 298857 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4765878 298857 5529 1 0 708955 0
[pid=82779/tid=82781] ppid=82776 vsize=19063512 memory=0 CPUtime=5.82 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 7997 0 0 0 553 29 0 0 20 0 20 0 70814556 19521036288 298857 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70814561 19521036288 298857 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 70814562 19521036288 298857 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19063512 memory=178196 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70814608 19521036288 298857 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 11.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1195428 KiB
[startup+12.7004 s]
/proc/loadavg: 4.45 4.25 4.24 6/311 82830
/proc/meminfo: memFree=102182412/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19063512 memory=1716108 CPUtime=18.88 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 28139 0 0 0 1835 53 0 0 20 0 20 0 70814554 19521036288 429027 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4765878 429027 5529 1 0 708958 0
[pid=82779/tid=82781] ppid=82776 vsize=19063512 memory=178196 CPUtime=11.91 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 8676 0 0 0 1150 41 0 0 20 0 20 0 70814556 19521036288 429027 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19063512 memory=1715980 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70814561 19521036288 429027 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 70814562 19521036288 429027 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70814608 19521036288 429027 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 18.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1716108 KiB
[startup+25.5005 s]
/proc/loadavg: 4.60 4.29 4.25 7/334 82868
/proc/meminfo: memFree=98075660/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19063512 memory=2613300 CPUtime=31.71 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 33109 0 0 0 3099 72 0 0 20 0 20 0 70814554 19521036288 653325 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4765878 653325 5529 1 0 936669 0
[pid=82779/tid=82781] ppid=82776 vsize=19063512 memory=1715980 CPUtime=24.18 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 11427 0 0 0 2358 60 0 0 20 0 20 0 70814556 19521036288 653325 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70814561 19521036288 653325 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 70814562 19521036288 653325 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19063512 memory=18304 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70814608 19521036288 653325 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 31.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2613300 KiB
[startup+51.1137 s]
/proc/loadavg: 4.54 4.30 4.26 6/310 82899
/proc/meminfo: memFree=98744920/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19063512 memory=3116412 CPUtime=57.61 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 44351 0 0 0 5663 98 0 0 20 0 20 0 70814554 19521036288 779103 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4765878 779103 5529 1 0 1064092 0
[pid=82779/tid=82781] ppid=82776 vsize=19063512 memory=14560 CPUtime=48.64 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 14835 0 0 0 4782 82 0 0 20 0 20 0 70814556 19521036288 779103 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19063512 memory=3116412 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70814561 19521036288 779103 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19063512 memory=0 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 149769 0 0 0 308740 643 0 0 20 0 21 0 70814556 19589197824 3630272 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19130076 memory=14521088 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70814561 19589197824 3630272 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19130076 memory=14521088 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 2058 0 0 0 0 0 0 0 20 0 21 0 70814562 19589197824 3630272 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19130076 memory=14560 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70814608 19589197824 3630272 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 14521088 KiB
[startup+3402.3 s]
/proc/loadavg: 4.48 4.36 4.32 7/333 83114
/proc/meminfo: memFree=72629232/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19130076 memory=14685336 CPUtime=3335.64 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 239279 0 0 0 332621 943 0 0 20 0 21 0 70814554 19589197824 3671334 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4782519 3671334 5561 1 0 3745104 0
[pid=82779/tid=82781] ppid=82776 vsize=19130076 memory=14521088 CPUtime=3151.2 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 156320 0 0 0 314468 652 0 0 20 0 21 0 70814556 19589197824 3671334 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19130076 memory=18304 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70814561 19589197824 3671334 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19130076 memory=14560 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 2121 0 0 0 0 0 0 0 20 0 21 0 70814562 19589197824 3671334 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19130076 memory=14685336 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70814608 19589197824 3671334 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 3335.64 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 14685336 KiB
[startup+3462.3 s]
/proc/loadavg: 4.34 4.34 4.31 7/332 83116
/proc/meminfo: memFree=71823528/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19130076 memory=15244016 CPUtime=3398.94 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 242192 0 0 0 338930 964 0 0 20 0 21 0 70814554 19589197824 3811004 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4782519 3811004 5561 1 0 3887183 0
[pid=82779/tid=82781] ppid=82776 vsize=19130076 memory=14521088 CPUtime=3206.68 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) S 82776 82779 82122 0 -1 4194368 157987 0 0 0 320000 668 0 0 20 0 21 0 70814556 19589197824 3811004 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19130076 memory=14560 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70814561 19589197824 3811004 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19130076 memory=15112440 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 2176 0 0 0 0 0 0 0 20 0 21 0 70814562 19589197824 3811004 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19130076 memory=15243888 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70814608 19589197824 3811004 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 3398.94 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 15244016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.44 4.37 4.32 6/332 83129
/proc/meminfo: memFree=71156256/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19130076 memory=15671092 CPUtime=3462.64 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 248461 0 0 0 345282 982 0 0 20 0 21 0 70814554 19589197824 3917773 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4782519 3917773 5561 1 0 3995817 0
[pid=82779/tid=82781] ppid=82776 vsize=19130076 memory=7686721470264483783 CPUtime=3260.64 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 162861 0 0 0 325382 682 0 0 20 0 21 0 70814556 19589197824 3917773 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19130076 memory=-6000919481262762599 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70814561 19589197824 3917773 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19130076 memory=4764 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 2291 0 0 0 0 0 0 0 20 0 21 0 70814562 19589197824 3917773 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19130076 memory=-6000919481262762599 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70814608 19589197824 3917773 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 3462.64 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 15671092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.46 4.39 4.33 6/332 83131
/proc/meminfo: memFree=70700812/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19130076 memory=15884768 CPUtime=3527.72 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 253673 0 0 0 351779 993 0 0 20 0 21 0 70814554 19589197824 3971192 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4782519 3971192 5561 1 0 4050181 0
[pid=82779/tid=82781] ppid=82776 vsize=19130076 memory=3200 CPUtime=3314.82 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 166748 0 0 0 330792 690 0 0 20 0 21 0 70814556 19589197824 3971192 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19130076 memory=14560 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70814561 19589197824 3971192 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19130076 memory=-6000919481262762599 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 2348 0 0 0 0 0 0 0 20 0 21 0 70814562 19589197824 3971192 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19130076 memory=15884768 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70814608 19589197824 3971192 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 3527.72 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 15884768 KiB
[startup+3642.3 s]
/proc/loadavg: 4.40 4.38 4.33 6/332 83133
/proc/meminfo: memFree=70433340/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19130076 memory=15909392 CPUtime=3586.73 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 261572 0 0 0 357670 1003 0 0 20 0 21 0 70814554 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4782519 3977348 5561 1 0 4056448 0
[pid=82779/tid=82781] ppid=82776 vsize=19130076 memory=14742928 CPUtime=3369.44 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 173240 0 0 0 336249 695 0 0 20 0 21 0 70814556 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19130076 memory=280734364652064 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70814561 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19130076 memory=15884768 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 2424 0 0 0 0 0 0 0 20 0 21 0 70814562 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19130076 memory=14560 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70814608 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 15909392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3655.4 s]
/proc/loadavg: 4.34 4.37 4.33 6/332 83133
/proc/meminfo: memFree=70381764/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19130076 memory=15909392 CPUtime=3600.06 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 263956 0 0 0 359001 1005 0 0 20 0 21 0 70814554 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4782519 3977348 5561 1 0 4056448 0
[pid=82779/tid=82781] ppid=82776 vsize=19130076 memory=4764 CPUtime=3382.15 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 174708 0 0 0 337519 696 0 0 20 0 21 0 70814556 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19130076 memory=-6000919481262762599 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70814561 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19130076 memory=2764 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 2424 0 0 0 0 0 0 0 20 0 21 0 70814562 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82798] ppid=82776 vsize=19130076 memory=22004 CPUtime=0 cores=5,7
/proc/82779/task/82798/stat : 82798 (Timer-0) S 82776 82779 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70814608 19589197824 3977348 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 15909392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3655.78 s]
# the end of solver process 82779 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3590.54 s, system=10.1269 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3655.6 s]
/proc/loadavg: 4.34 4.37 4.33 6/332 83133
/proc/meminfo: memFree=70381764/131382112 swapFree=33010160/33010684
[pid=82779] ppid=82776 vsize=19329768 memory=15910288 CPUtime=3600.44 cores=5,7
/proc/82779/stat : 82779 (java) S 82776 82779 82122 0 -1 4194304 266410 0 0 0 359039 1005 0 0 20 0 22 0 70814554 19793682432 3977572 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
/proc/82779/statm: 4832442 3977572 5561 1 0 4057416 0
[pid=82779/tid=82781] ppid=82776 vsize=19329768 memory=1792 CPUtime=3382.34 cores=5,7
/proc/82779/task/82781/stat : 82781 (java) R 82776 82779 82122 0 -1 4194368 174920 0 0 0 337538 696 0 0 20 0 22 0 70814556 19793682432 3977572 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82790] ppid=82776 vsize=19329768 memory=1920 CPUtime=0 cores=5,7
/proc/82779/task/82790/stat : 82790 (Finalizer) S 82776 82779 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 70814561 19793682432 3977572 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
[pid=82779/tid=82797] ppid=82776 vsize=19329768 memory=-6000919481262762599 CPUtime=0 cores=5,7
/proc/82779/task/82797/stat : 82797 (Common-Cleaner) S 82776 82779 82122 0 -1 4194368 2424 0 0 0 0 0 0 0 20 0 22 0 70814562 19793682432 3977572 18446744073709551615 94218181820416 94218181824112 140728699577184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218181831928 94218181832720 94218194006016 140728699578669 140728699578854 140728699578854 140728699584456 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 15910288 KiB
[startup+3655.7 s]*
/proc/loadavg: 4.34 4.37 4.33 5/313 83136
/proc/meminfo: memFree=77708772/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3655.78
CPU time (s): 3600.67
CPU user time (s): 3590.54
CPU system time (s): 10.1269
CPU usage (%): 98.4924
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 15910288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.54
system time used= 10.1269
maximum resident set size= 15910416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2325736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146576
involuntary context switches= 29322
# summary of solver processes directly reported to runsolver:
# pid: 82779
# total CPU time (s): 3600.67
# total CPU user time (s): 3590.54
# total CPU system time (s): 10.1269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.626 second user time and 34.6328 second system time
The end
Begin job on nodeC009 at 2025-07-03 16:02:28 IDJOB=4518509 IDBENCH=177059 IDSOLVER=3362 FILE ID=nodeC009/4518509-1751551348 RUNJOBID= nodeC009-1751547728-82135 SLURM_JOB_ID= 9598723 Free space on /tmp= 431224 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518509-1751551348/watcher-4518509-1751551348 -o /tmp/evaluation-result-4518509-1751551348/solver-4518509-1751551348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751547728-82135 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518509-1751551348 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4518509-1751551348.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d5993a0e2ae11ecdb32c60d775cccf06 RANDOM SEED=585633571 nodeC009 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 : 1496.561 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.85 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.126 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.85 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.380 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.85 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.234 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.85 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.226 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.85 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 : 1198.031 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.85 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.234 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.85 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.229 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 104848216 kB MemAvailable: 124888760 kB Buffers: 2144 kB Cached: 20791132 kB SwapCached: 24 kB Active: 5446888 kB Inactive: 20429572 kB Active(anon): 5096120 kB Inactive(anon): 5056 kB Active(file): 350768 kB Inactive(file): 20424516 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2976 kB Writeback: 0 kB AnonPages: 5086604 kB Mapped: 123700 kB Shmem: 17936 kB KReclaimable: 209388 kB Slab: 296152 kB SReclaimable: 209388 kB SUnreclaim: 86764 kB KernelStack: 5056 kB PageTables: 13552 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 9800300 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4861952 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: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431224 MiB End job on nodeC009 at 2025-07-03 17:03:24