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) | -64 | 3600.22 | 3633.6 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb |
| MD5SUM | 052b56f2871560e549ba2a2e5aff1011 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -70 |
| Best CPU time to get the best result obtained on this benchmark | 3535.65 |
| 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 | 200 |
| Total number of constraints | 17013 |
| Number of constraints which are clauses | 17013 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 16 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.15 c Pseudo Boolean Optimization by upper bound 0.12/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.15 c - never skip resolution steps 0.12/0.15 c - Auto-division on coefficients is disabled 0.12/0.15 c - No postprocessing 0.12/0.15 c - Conflict is considered as is when resolving 0.12/0.15 c - Use constraints as they come during conflict analysis 0.12/0.15 c - Weaken first using unassigned literals 0.12/0.15 c - Bump strategy: ALWAYS_ONE 0.12/0.15 c - Bumper: EFFECTIVE 0.12/0.15 c --- Begin Solver configuration --- 0.12/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.12/0.15 c Learn all clauses as in MiniSAT 0.12/0.15 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.15 c No reason simplification 0.12/0.15 c Dynamic restart strategy considering the size of the coefficients 0.12/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.12/0.15 c timeout=2147483s 0.12/0.15 c DB Simplification allowed=false 0.12/0.15 c Listener: none 0.12/0.15 c --- End Solver configuration --- 0.12/0.15 c solving HOME/instance-4522189-1751602166.opb 0.12/0.15 c reading problem ... 0.12/0.17 c using VERIPB proof format 0.12/0.17 c objective function found 0.67/0.49 c ... done. Wall clock time 0.328s. 0.67/0.49 c declared #vars 200 0.67/0.49 c #constraints 17013 0.67/0.49 c constraints type 0.67/0.49 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 246 0.67/0.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16767 0.67/0.49 c 17013 constraints processed. 0.67/0.50 c objective function length is 200 literals 1.04/0.68 c SATISFIABLE 1.04/0.68 c OPTIMIZING... 1.04/0.68 c Got one! Elapsed wall clock time (in seconds):0.526 1.04/0.68 o -43 1.63/0.99 c Got one! Elapsed wall clock time (in seconds):0.832 1.63/0.99 o -44 2.62/1.40 c Got one! Elapsed wall clock time (in seconds):1.248 2.62/1.40 o -45 5.19/2.75 c cleaning 3053 clauses out of 6113 with flag 0/6113 6.38/3.36 c Got one! Elapsed wall clock time (in seconds):3.204 6.38/3.36 o -51 7.83/4.15 c cleaning 4329 clauses out of 8662 with flag 0/11715 10.07/5.85 c cleaning 5164 clauses out of 10333 with flag 0/17715 12.58/8.18 c cleaning 6081 clauses out of 12172 with flag 0/24718 15.83/11.03 c cleaning 7037 clauses out of 14088 with flag 0/32715 18.57/13.75 c cleaning 8025 clauses out of 16053 with flag 0/41717 19.09/14.27 c Got one! Elapsed wall clock time (in seconds):14.119 19.09/14.27 o -52 20.12/15.27 c cleaning 6804 clauses out of 13611 with flag 0/47300 22.35/17.48 c cleaning 6401 clauses out of 12805 with flag 0/53298 25.29/20.38 c cleaning 6697 clauses out of 13405 with flag 0/60299 26.50/21.57 c Got one! Elapsed wall clock time (in seconds):21.412 26.50/21.57 o -53 27.46/22.47 c cleaning 6307 clauses out of 12626 with flag 0/66217 31.74/25.62 c cleaning 6152 clauses out of 12319 with flag 0/72217 34.50/28.36 c cleaning 6581 clauses out of 13169 with flag 0/79219 38.68/31.16 c Got one! Elapsed wall clock time (in seconds):31.009 38.68/31.16 o -54 43.97/36.13 c cleaning 8692 clauses out of 17394 with flag 0/90025 46.39/38.47 c cleaning 7340 clauses out of 14703 with flag 0/96026 48.75/40.70 c cleaning 7174 clauses out of 14363 with flag 0/103026 51.99/43.86 c cleaning 7586 clauses out of 15188 with flag 0/111025 58.84/50.58 c Got one! Elapsed wall clock time (in seconds):50.426 58.84/50.58 o -56 68.80/60.26 c cleaning 10778 clauses out of 21574 with flag 0/124997 75.83/66.86 c cleaning 8390 clauses out of 16795 with flag 0/130996 80.58/71.47 c cleaning 7696 clauses out of 15406 with flag 0/137997 86.63/77.48 c cleaning 7846 clauses out of 15710 with flag 0/145997 95.94/86.69 c cleaning 8421 clauses out of 16866 with flag 0/154999 100.04/90.56 c Got one! Elapsed wall clock time (in seconds):90.404 100.04/90.56 o -58 104.74/95.13 c cleaning 7185 clauses out of 14385 with flag 0/160939 104.83/95.27 c Got one! Elapsed wall clock time (in seconds):95.115 104.83/95.27 o -59 110.39/100.78 c cleaning 6397 clauses out of 12812 with flag 0/166551 119.71/109.99 c cleaning 6194 clauses out of 12415 with flag 0/172551 126.71/116.83 c cleaning 6602 clauses out of 13224 with flag 0/179554 138.26/127.97 c cleaning 7299 clauses out of 14619 with flag 0/187551 158.53/147.71 c cleaning 8151 clauses out of 16323 with flag 0/196554 180.25/172.65 c cleaning 9075 clauses out of 18169 with flag 0/206551 190.94/183.18 c cleaning 10040 clauses out of 20095 with flag 0/217552 201.99/194.01 c cleaning 11026 clauses out of 22062 with flag 0/229559 238.04/229.54 c cleaning 12009 clauses out of 24028 with flag 0/242551 292.76/283.72 c cleaning 13002 clauses out of 26019 with flag 0/256551 345.79/336.25 c cleaning 13999 clauses out of 28017 with flag 0/271551 416.60/406.53 c cleaning 14999 clauses out of 30018 with flag 0/287551 492.22/481.43 c cleaning 15998 clauses out of 32019 with flag 0/304551 551.44/572.71 c cleaning 16991 clauses out of 34022 with flag 0/322552 567.70/588.94 c Got one! Elapsed wall clock time (in seconds):588.781 567.70/588.94 o -63 588.58/609.61 c cleaning 14807 clauses out of 29629 with flag 0/335150 600.97/621.91 c cleaning 10405 clauses out of 20824 with flag 0/341152 615.55/636.42 c cleaning 8697 clauses out of 17415 with flag 0/348148 634.54/655.31 c cleaning 8345 clauses out of 16718 with flag 0/356148 662.54/682.96 c cleaning 8675 clauses out of 17374 with flag 0/365149 687.92/708.14 c cleaning 9343 clauses out of 18698 with flag 0/375148 721.56/741.61 c cleaning 10173 clauses out of 20356 with flag 0/386149 769.91/789.65 c cleaning 11084 clauses out of 22182 with flag 0/398148 785.11/804.77 c cleaning 12040 clauses out of 24098 with flag 0/411148 840.14/862.82 c cleaning 13021 clauses out of 26059 with flag 0/425149 933.60/955.52 c cleaning 14009 clauses out of 28038 with flag 0/440149 1003.76/1025.22 c cleaning 15010 clauses out of 30031 with flag 0/456151 1107.22/1128.05 c cleaning 16001 clauses out of 32022 with flag 0/473152 1218.64/1238.84 c cleaning 16995 clauses out of 34019 with flag 0/491150 1294.55/1314.45 c cleaning 18004 clauses out of 36024 with flag 0/510150 1445.17/1464.79 c cleaning 18997 clauses out of 38019 with flag 0/530149 1600.02/1618.79 c cleaning 19998 clauses out of 40024 with flag 0/551151 1706.44/1727.76 c cleaning 21004 clauses out of 42025 with flag 0/573150 1861.89/1884.86 c cleaning 21986 clauses out of 44019 with flag 0/596148 2043.79/2069.89 c cleaning 23004 clauses out of 46034 with flag 0/620149 2069.95/2095.84 c Got one! Elapsed wall clock time (in seconds):2095.688 2069.95/2095.84 o -64 2096.58/2122.25 c cleaning 18389 clauses out of 36802 with flag 0/633921 2108.55/2133.98 c cleaning 12198 clauses out of 24413 with flag 0/639921 2112.65/2137.95 c cleaning 9600 clauses out of 19214 with flag 0/646920 2117.64/2142.95 c cleaning 8791 clauses out of 17615 with flag 0/654921 2125.25/2150.56 c cleaning 8894 clauses out of 17823 with flag 0/663920 2138.10/2163.33 c cleaning 9453 clauses out of 18931 with flag 0/673922 2159.59/2184.75 c cleaning 10220 clauses out of 20476 with flag 0/684920 2191.30/2216.20 c cleaning 11119 clauses out of 22257 with flag 0/696921 2246.41/2273.61 c cleaning 12056 clauses out of 24137 with flag 0/709920 2304.39/2331.25 c cleaning 13030 clauses out of 26082 with flag 0/723921 2327.25/2354.01 c cleaning 14008 clauses out of 28052 with flag 0/738921 2373.02/2399.50 c cleaning 15012 clauses out of 30044 with flag 0/754921 2446.86/2473.09 c cleaning 16003 clauses out of 32032 with flag 0/771921 2473.94/2499.98 c cleaning 17007 clauses out of 34031 with flag 0/789923 2577.88/2604.05 c cleaning 17999 clauses out of 36022 with flag 0/808921 2698.98/2724.65 c cleaning 18996 clauses out of 38024 with flag 0/828922 2813.97/2839.05 c cleaning 19998 clauses out of 40029 with flag 0/849923 2996.37/3022.05 c cleaning 20999 clauses out of 42028 with flag 0/871920 3252.07/3282.78 c cleaning 21996 clauses out of 44029 with flag 0/894920 3335.35/3368.37 c cleaning 23005 clauses out of 46034 with flag 0/918921 3600.04/3633.51 c starts : 402 3600.04/3633.52 c conflicts : 942694 3600.04/3633.52 c decisions : 1077201 3600.04/3633.52 c propagations : 29419819 3600.04/3633.52 c inspects : 5620966539 3600.04/3633.52 c shortcuts : 0 3600.04/3633.52 c learnt literals : 0 3600.04/3633.52 c learnt binary clauses : 0 3600.04/3633.52 c learnt ternary clauses : 25 3600.04/3633.52 c learnt constraints : 942694 3600.04/3633.52 c ignored constraints : 0 3600.04/3633.52 c root simplifications : 0 3600.04/3633.52 c removed literals (reason simplification) : 0 3600.04/3633.52 c reason swapping (by a shorter reason) : 0 3600.04/3633.52 c Calls to reduceDB : 76 3600.04/3633.52 c Number of update (reduction) of LBD : 970034 3600.04/3633.52 c Imported unit clauses : 0 3600.04/3633.52 c No decision after first conflict : false 3600.04/3633.52 c number of reductions to clauses (during analyze) : 0 3600.04/3633.52 c number of learned constraints concerned by reduction : 0 3600.04/3633.52 c number of learning phase by resolution : 0 3600.04/3633.52 c number of learning phase by cutting planes : 0 3600.04/3633.52 c number of rounding to 1 operations : 0 3600.04/3633.52 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3633.52 c number of reductions of the coefficients by power 2 : 0 3600.04/3633.52 c number of right shift for reduction by power 2 : 0 3600.04/3633.52 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3633.52 c number of ending skipping : 0 3600.04/3633.52 c number of internal skipping : 0 3600.04/3633.52 c number of derivation steps : 20322587 3600.04/3633.52 c number of skipped derivation steps : 0 3600.04/3633.52 c number of remaining unassigned : 4554820 3600.04/3633.52 c number of remaining assigned : 74536422 3600.04/3633.52 c number of falsified literals weakened from reason : 0 3600.04/3633.52 c number of falsified literals weakened from conflict : 0 3600.04/3633.52 c time for arithmetic operations : 12039968286 3600.04/3633.52 c minimum degree of deleted constraints : 1 3600.04/3633.52 c maximum degree of deleted constraints : 799089435252053720535457030722862871213014383699168516857967571097160252757360616303059919972481399972094483558829153069538101136609574724633394098672993276347300274413004084942893794901604022518542415085904469813930053341713340381683283287199472084456483613198811842380068705111980303261470050639240635988894030536223378895596949516217458216149952766473142318037550162584785475973713852903317393474994964121766267427333926458196323205947894356021858490305812587625936884371561135971216470299576942401709840430214420676939230152344483588332871708932516884249520812024224504701171836874643227181570692997097611253117676114158068229596746416084316209599753789435274432466232217559255146511863485028798994503608814755118274882252025828230542832732981832478174150246972910106076031938854206058718542641968919825417168591707619011534969575906264552531936323860285539455190665231458758688652955891628817513000070917515622132142882176258001148835136118678323711786080438425768883977630220456228308031131778983149345750995023189984604254458211175376562080922014223410037029588080381902230943471183052845724103923756682062056916852020060479580744778412348341341487322657882696505034197646478809671387250802585808938509686380760938211257848465933067182706456333854936999493990352190641682196082636703996232314984962425173274672267503625787427131047749421331918121867648586111146168033685437781004289895556621762714303464213520146757636877106267005385461200112644465590177533733032054374296790277037774363089779949106165676836841126051591552582163569391511652217721392110697625693475429820043068313413652074048318445045959625387998057702825058435516705034600980372659012682706970337500880397740158858871455353766773311443390297211250577483793031522759831898302962870770700720588030804677327178332829666526012950142690591864786508597932143217618287402511821164155739101365252893950679984 3600.04/3633.53 c number of deleted constraints : 895892 3600.04/3633.53 c speed (assignments/second) : 8097.900698537689 3600.04/3633.53 c non guided choices : 0 3600.04/3633.57 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 27746 3600.04/3633.57 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 8 3600.04/3633.57 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 19048 3600.04/3633.57 s SATISFIABLE 3600.04/3633.57 c Found 12 solution(s) 3600.04/3633.58 v x1 -x2 -x3 -x4 -x5 -x6 x7 x8 -x9 x10 x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 x24 -x25 -x26 x27 -x28 x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 x39 -x40 -x41 x42 -x43 x44 -x45 x46 x47 -x48 x49 -x50 x51 x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 x73 x74 -x75 x76 -x77 x78 x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 -x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 -x127 -x128 -x129 -x130 x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 x148 x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 x200 3600.04/3633.58 c objective function=-64 3600.04/3633.58 c Total wall clock time (in seconds): 3633.423
OK -64
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: 63708 MiB (58459 MiB free)
memory of node 1: 64465 MiB (40093 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522189-1751602166/watcher-4522189-1751602166 -o /tmp/evaluation-result-4522189-1751602166/solver-4522189-1751602166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751598683-85989 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522189-1751602166 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4522189-1751602166.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=86421, runsolver pid=86418
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.20 4.19 4.14 6/341 86439
/proc/meminfo: memFree=100903372/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=18930384 memory=57736 CPUtime=0.12 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 6556 0 0 0 10 2 0 0 20 0 18 0 75894128 19384713216 14434 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4732596 14434 5350 1 0 547604 0
[pid=86421/tid=86423] ppid=86418 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 5058 0 0 0 6 1 0 0 20 0 18 0 75894129 19384713216 14434 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75894131 19384713216 14434 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=18930384 memory=58485492697507 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75894131 19384713216 14434 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57736 KiB
[startup+0.20576 s]*
/proc/loadavg: 4.20 4.19 4.14 8/341 86439
/proc/meminfo: memFree=100898028/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=18930384 memory=64272 CPUtime=0.28 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 7088 0 0 0 26 2 0 0 20 0 18 0 75894128 19384713216 16068 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4732596 16068 5414 1 0 547957 0
[pid=86421/tid=86423] ppid=86418 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 5376 0 0 0 14 1 0 0 20 0 18 0 75894129 19384713216 16068 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=18930384 memory=2630 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75894131 19384713216 16068 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75894131 19384713216 16068 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64272 KiB
[startup+0.305733 s]*
/proc/loadavg: 4.20 4.19 4.14 7/341 86439
/proc/meminfo: memFree=100869672/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=18930384 memory=91204 CPUtime=0.48 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 8646 0 0 0 45 3 0 0 20 0 18 0 75894128 19384713216 22801 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4732596 22801 5414 1 0 549024 0
[pid=86421/tid=86423] ppid=86418 vsize=18930384 memory=-6000919472773686887 CPUtime=0.24 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 5405 0 0 0 23 1 0 0 20 0 18 0 75894129 19384713216 22801 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75894131 19384713216 22801 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75894131 19384713216 22801 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 91204 KiB
[startup+0.70023 s]
/proc/loadavg: 4.20 4.19 4.14 7/342 86440
/proc/meminfo: memFree=100802624/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=174584 CPUtime=1.23 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 15218 0 0 0 118 5 0 0 20 0 20 0 75894128 19521036288 43646 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 43646 5510 1 0 553773 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=15104 CPUtime=0.56 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 5584 0 0 0 53 3 0 0 20 0 20 0 75894129 19521036288 43646 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 43646 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 43646 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174584 KiB
[startup+1.50025 s]
/proc/loadavg: 4.42 4.24 4.16 7/343 86441
/proc/meminfo: memFree=100769108/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=189524 CPUtime=2.81 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 24146 0 0 0 274 7 0 0 20 0 20 0 75894128 19521036288 47381 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 47381 5542 1 0 556559 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=3200 CPUtime=1.28 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 5664 0 0 0 125 3 0 0 20 0 20 0 75894129 19521036288 47381 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 47381 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 47381 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 47381 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189524 KiB
[startup+3.10597 s]
/proc/loadavg: 4.42 4.24 4.16 6/343 86441
/proc/meminfo: memFree=100556884/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=408908 CPUtime=5.99 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 32490 0 0 0 586 13 0 0 20 0 20 0 75894128 19521036288 102227 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 102227 5542 1 0 557415 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=14848 CPUtime=2.8 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 7478 0 0 0 272 8 0 0 20 0 20 0 75894129 19521036288 102227 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 102227 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 102227 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 102227 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 408908 KiB
[startup+6.30024 s]
/proc/loadavg: 4.39 4.24 4.16 6/343 86441
/proc/meminfo: memFree=100080528/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=860532 CPUtime=10.77 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 33521 0 0 0 1054 23 0 0 20 0 20 0 75894128 19521036288 215133 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 215133 5542 1 0 557503 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=0 CPUtime=5.92 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 8013 0 0 0 576 16 0 0 20 0 20 0 75894129 19521036288 215133 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 215133 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 215133 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=189524 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 215133 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 10.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 860532 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.23 4.15 5/343 86441
/proc/meminfo: memFree=99611556/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=1322768 CPUtime=17.56 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 40825 0 0 0 1723 33 0 0 20 0 20 0 75894128 19521036288 330692 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 330692 5542 1 0 557503 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=189524 CPUtime=12.27 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 9196 0 0 0 1202 25 0 0 20 0 20 0 75894129 19521036288 330692 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=1322768 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 330692 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 330692 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 330692 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 17.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1322768 KiB
[startup+25.5003 s]
/proc/loadavg: 4.30 4.22 4.15 5/343 86441
/proc/meminfo: memFree=99561024/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=1331372 CPUtime=31.64 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 48283 0 0 0 3126 38 0 0 20 0 20 0 75894128 19521036288 332843 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 332843 5542 1 0 557616 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=0 CPUtime=24.95 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 11882 0 0 0 2467 28 0 0 20 0 20 0 75894129 19521036288 332843 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 332843 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=1330604 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 332843 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=1324964 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 332843 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 31.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1331372 KiB
[startup+51.1057 s]
/proc/loadavg: 4.25 4.22 4.15 5/343 86442
/proc/meminfo: memFree=99462404/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=1370344 CPUtime=59.47 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 53250 0 0 0 5903 44 0 0 20 0 20 0 75894128 19521036288 342586 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 342586 5542 1 0 557906 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=1331372 CPUtime=50.2 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 13441 0 0 0 4988 32 0 0 20 0 20 0 75894129 19521036288 342586 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=26496 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 342586 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=108698356/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=2608344 CPUtime=3251.65 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 122414 0 0 0 324823 342 0 0 20 0 20 0 75894128 19521036288 652086 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 652086 5542 1 0 664978 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=14848 CPUtime=3177.77 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 49357 0 0 0 317583 194 0 0 20 0 20 0 75894129 19521036288 652086 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=21824 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652086 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=2608344 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 1568 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652086 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=9216 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 652086 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 3251.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2608344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.47 4.33 4.29 5/341 86821
/proc/meminfo: memFree=108310580/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=2608472 CPUtime=3309.23 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 123940 0 0 0 330576 347 0 0 20 0 20 0 75894128 19521036288 652118 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 652118 5542 1 0 664978 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=10752 CPUtime=3234.09 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 50445 0 0 0 323212 197 0 0 20 0 20 0 75894129 19521036288 652118 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=15104 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652118 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=2608472 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 1622 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652118 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=2608472 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 652118 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 3309.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2608472 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.31 4.28 5/340 86890
/proc/meminfo: memFree=111831152/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3369.55 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 124310 0 0 0 336603 352 0 0 20 0 20 0 75894128 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 652150 5574 1 0 664978 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=3200 CPUtime=3293.32 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 50619 0 0 0 329132 200 0 0 20 0 20 0 75894129 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 1703 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 3369.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2608600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.27 4.27 5/341 86894
/proc/meminfo: memFree=111343160/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3429.78 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 124525 0 0 0 342622 356 0 0 20 0 20 0 75894128 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 652150 5574 1 0 664978 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=14848 CPUtime=3352.59 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 50661 0 0 0 335057 202 0 0 20 0 20 0 75894129 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 1703 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 3429.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2608600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.44 4.33 4.29 5/341 86896
/proc/meminfo: memFree=111321496/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3488.52 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 125509 0 0 0 348491 361 0 0 20 0 20 0 75894128 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 652150 5574 1 0 664978 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3410.67 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 51548 0 0 0 340864 203 0 0 20 0 20 0 75894129 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 1703 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=15104 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 3488.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2608600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.30 4.27 5/343 86902
/proc/meminfo: memFree=110818364/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3548.68 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 126791 0 0 0 354504 364 0 0 20 0 20 0 75894128 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 652150 5574 1 0 664978 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=14848 CPUtime=3470.2 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 52455 0 0 0 346815 205 0 0 20 0 20 0 75894129 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 1784 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 3548.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2608600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3633.5 s]
/proc/loadavg: 4.17 4.26 4.27 5/343 86903
/proc/meminfo: memFree=110816788/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3600.04 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 127737 0 0 0 359636 368 0 0 20 0 20 0 75894128 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 652150 5574 1 0 664978 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3520.91 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 52882 0 0 0 351883 208 0 0 20 0 20 0 75894129 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=15104 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2608600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3633.6 s]
# the end of solver process 86421 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.52 s, system=3.70259 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3633.5 s]
/proc/loadavg: 4.17 4.26 4.27 5/343 86903
/proc/meminfo: memFree=110816788/131249996 swapFree=33006296/33010684
[pid=86421] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3600.04 cores=0,2
/proc/86421/stat : 86421 (java) S 86418 86421 85979 0 -1 4194304 127737 0 0 0 359636 368 0 0 20 0 20 0 75894128 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
/proc/86421/statm: 4765878 652150 5574 1 0 664978 0
[pid=86421/tid=86423] ppid=86418 vsize=19063512 memory=2608600 CPUtime=3520.91 cores=0,2
/proc/86421/task/86423/stat : 86423 (java) R 86418 86421 85979 0 -1 4194368 52882 0 0 0 351883 208 0 0 20 0 20 0 75894129 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86432] ppid=86418 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86421/task/86432/stat : 86432 (Finalizer) S 86418 86421 85979 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86439] ppid=86418 vsize=19063512 memory=2608600 CPUtime=0 cores=0,2
/proc/86421/task/86439/stat : 86439 (Common-Cleaner) S 86418 86421 85979 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 75894131 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
[pid=86421/tid=86441] ppid=86418 vsize=19063512 memory=15104 CPUtime=0 cores=0,2
/proc/86421/task/86441/stat : 86441 (Timer-0) S 86418 86421 85979 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75894179 19521036288 652150 18446744073709551615 94691063386112 94691063389808 140721482900416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94691063397624 94691063398416 94691095560192 140721482905901 140721482906086 140721482906086 140721482911688 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2608600 KiB
Child status: 143
Real time (s): 3633.6
CPU time (s): 3600.22
CPU user time (s): 3596.52
CPU system time (s): 3.70259
CPU usage (%): 99.0814
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2608600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.52
system time used= 3.70259
maximum resident set size= 2609368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129962
page faults= 0
swaps= 0
block input operations= 0
block output operations= 911288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164726
involuntary context switches= 14161
# summary of solver processes directly reported to runsolver:
# pid: 86421
# total CPU time (s): 3600.22
# total CPU user time (s): 3596.52
# total CPU system time (s): 3.70259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66337 second user time and 18.0564 second system time
The end
Begin job on nodeC015 at 2025-07-04 06:09:26 IDJOB=4522189 IDBENCH=178624 IDSOLVER=3362 FILE ID=nodeC015/4522189-1751602166 RUNJOBID= nodeC015-1751598683-85989 SLURM_JOB_ID= 9598872 Free space on /tmp= 432348 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522189-1751602166/watcher-4522189-1751602166 -o /tmp/evaluation-result-4522189-1751602166/solver-4522189-1751602166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751598683-85989 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522189-1751602166 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4522189-1751602166.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 052b56f2871560e549ba2a2e5aff1011 RANDOM SEED=1172173355 nodeC015 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 : 0xb00002a cpu MHz : 3600.080 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14 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 : 0xb00002a cpu MHz : 3600.047 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14 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 : 0xb00002a cpu MHz : 3598.935 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14 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 : 0xb00002a cpu MHz : 3599.881 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14 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 : 0xb00002a cpu MHz : 3600.030 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14 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 : 0xb00002a cpu MHz : 3600.097 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14 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 : 0xb00002a cpu MHz : 3552.207 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14 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 : 0xb00002a cpu MHz : 3600.070 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 100919060 kB MemAvailable: 104894676 kB Buffers: 1508 kB Cached: 4757736 kB SwapCached: 3880 kB Active: 25165872 kB Inactive: 4520152 kB Active(anon): 24891840 kB Inactive(anon): 48804 kB Active(file): 274032 kB Inactive(file): 4471348 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33006296 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5752 kB Writeback: 0 kB AnonPages: 24923664 kB Mapped: 120524 kB Shmem: 14152 kB KReclaimable: 138948 kB Slab: 230656 kB SReclaimable: 138948 kB SUnreclaim: 91708 kB KernelStack: 5232 kB PageTables: 52460 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 26126108 kB VmallocTotal: 34359738367 kB VmallocUsed: 151560 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 24541184 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: 205524 kB DirectMap2M: 11100160 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432280 MiB End job on nodeC015 at 2025-07-04 07:10:00