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.17 | 3570.49 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
| MD5SUM | 83e8c133f6310d52aedf789f310352e0 |
| 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 | 53 |
| Best CPU time to get the best result obtained on this benchmark | 8.60126 |
| 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 | 225 |
| Total number of constraints | 225 |
| Number of constraints which are clauses | 225 |
| 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 | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 225 |
| 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 | 225 |
| 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 | 225 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 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.11/0.10 c Number of processors 2 0.11/0.16 c Pseudo Boolean Optimization by upper bound 0.11/0.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.16 c - never skip resolution steps 0.11/0.16 c - Auto-division on coefficients is disabled 0.11/0.16 c - No postprocessing 0.11/0.16 c - Conflict is considered as is when resolving 0.11/0.16 c - Use constraints as they come during conflict analysis 0.11/0.16 c - Weaken first using unassigned literals 0.11/0.16 c - Bump strategy: ALWAYS_ONE 0.11/0.16 c - Bumper: EFFECTIVE 0.11/0.16 c --- Begin Solver configuration --- 0.11/0.16 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.11/0.16 c Learn all clauses as in MiniSAT 0.11/0.16 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.16 c No reason simplification 0.11/0.16 c Dynamic restart strategy considering the size of the coefficients 0.11/0.16 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.11/0.16 c timeout=2147483s 0.11/0.16 c DB Simplification allowed=false 0.11/0.16 c Listener: none 0.11/0.16 c --- End Solver configuration --- 0.11/0.16 c solving HOME/instance-4488041-1751338414.opb 0.11/0.16 c reading problem ... 0.11/0.16 c using VERIPB proof format 0.11/0.16 c objective function found 0.11/0.19 c ... done. Wall clock time 0.031s. 0.11/0.20 c declared #vars 225 0.11/0.20 c #constraints 225 0.11/0.20 c constraints type 0.11/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 225 0.11/0.20 c 225 constraints processed. 0.30/0.21 c objective function length is 225 literals 0.30/0.21 c SATISFIABLE 0.30/0.21 c OPTIMIZING... 0.30/0.21 c Got one! Elapsed wall clock time (in seconds):0.051 0.30/0.21 o 75 0.30/0.23 c Got one! Elapsed wall clock time (in seconds):0.07 0.30/0.23 o 74 0.30/0.26 c Got one! Elapsed wall clock time (in seconds):0.1 0.30/0.26 o 73 0.68/0.42 c Got one! Elapsed wall clock time (in seconds):0.254 0.68/0.42 o 72 0.88/0.54 c Got one! Elapsed wall clock time (in seconds):0.377 0.88/0.54 o 71 1.65/0.98 c Got one! Elapsed wall clock time (in seconds):0.816 1.65/0.98 o 70 7.06/3.81 c Got one! Elapsed wall clock time (in seconds):3.647 7.06/3.81 o 69 13.11/8.27 c Got one! Elapsed wall clock time (in seconds):8.109 13.11/8.27 o 68 29.35/22.49 c cleaning 3769 clauses out of 7539 with flag 0/7539 51.22/42.96 c cleaning 4885 clauses out of 9771 with flag 0/13540 79.63/70.70 c cleaning 5928 clauses out of 11885 with flag 0/20539 106.67/97.18 c Got one! Elapsed wall clock time (in seconds):97.022 106.67/97.18 o 67 138.27/128.36 c cleaning 8766 clauses out of 17563 with flag 0/32145 169.76/159.41 c cleaning 7377 clauses out of 14797 with flag 0/38145 201.57/190.65 c cleaning 7208 clauses out of 14421 with flag 0/45146 247.30/235.86 c cleaning 7607 clauses out of 15214 with flag 0/53147 328.04/315.86 c cleaning 8296 clauses out of 16605 with flag 0/62145 405.58/392.79 c cleaning 9150 clauses out of 18313 with flag 0/72149 443.05/429.86 c Got one! Elapsed wall clock time (in seconds):429.699 443.05/429.86 o 66 468.18/454.64 c cleaning 9704 clauses out of 19420 with flag 0/82406 504.36/490.48 c cleaning 7853 clauses out of 15716 with flag 0/88406 536.42/522.23 c cleaning 7420 clauses out of 14864 with flag 0/95407 591.61/576.87 c cleaning 7718 clauses out of 15444 with flag 0/103407 659.09/643.63 c cleaning 8352 clauses out of 16725 with flag 0/112406 755.03/739.53 c cleaning 9178 clauses out of 18373 with flag 0/122406 870.55/854.23 c cleaning 10093 clauses out of 20195 with flag 0/133406 1008.32/991.34 c cleaning 11033 clauses out of 22103 with flag 0/145407 1018.66/1001.67 c Got one! Elapsed wall clock time (in seconds):1001.507 1018.66/1001.67 o 65 1034.98/1017.82 c cleaning 8043 clauses out of 16128 with flag 0/150465 1063.63/1046.09 c cleaning 7023 clauses out of 14085 with flag 0/156465 1113.52/1095.56 c cleaning 7025 clauses out of 14062 with flag 0/163465 1161.67/1143.37 c cleaning 7519 clauses out of 15037 with flag 0/171465 1230.33/1211.58 c cleaning 8252 clauses out of 16519 with flag 0/180466 1322.73/1303.31 c cleaning 9125 clauses out of 18266 with flag 0/190465 1430.43/1410.42 c cleaning 10065 clauses out of 20142 with flag 0/201466 1565.45/1544.75 c cleaning 11037 clauses out of 22076 with flag 0/213465 1726.14/1704.62 c cleaning 12006 clauses out of 24039 with flag 0/226465 1920.32/1897.90 c cleaning 13007 clauses out of 26033 with flag 0/240465 1938.40/1915.95 c Got one! Elapsed wall clock time (in seconds):1915.789 1938.40/1915.95 o 64 1948.08/1925.59 c cleaning 9022 clauses out of 18066 with flag 0/245505 1976.58/1953.88 c cleaning 7512 clauses out of 15043 with flag 0/251504 2009.11/1986.00 c cleaning 7259 clauses out of 14530 with flag 0/258503 2073.42/2049.96 c cleaning 7630 clauses out of 15271 with flag 0/266503 2156.93/2133.37 c cleaning 8305 clauses out of 16642 with flag 0/275504 2257.45/2233.44 c cleaning 9164 clauses out of 18336 with flag 0/285503 2370.44/2345.83 c cleaning 10079 clauses out of 20173 with flag 0/296504 2524.04/2498.70 c cleaning 11032 clauses out of 22093 with flag 0/308503 2713.79/2687.77 c cleaning 12027 clauses out of 24061 with flag 0/321503 2933.16/2906.28 c cleaning 13016 clauses out of 26036 with flag 0/335505 3171.51/3143.37 c cleaning 14005 clauses out of 28019 with flag 0/350504 3479.51/3450.48 c cleaning 15007 clauses out of 30013 with flag 0/366503 3600.01/3570.42 c starts : 63 3600.01/3570.44 c conflicts : 373649 3600.01/3570.44 c decisions : 491795 3600.01/3570.44 c propagations : 7412340 3600.01/3570.44 c inspects : 2618914473 3600.01/3570.44 c shortcuts : 0 3600.01/3570.44 c learnt literals : 0 3600.01/3570.44 c learnt binary clauses : 0 3600.01/3570.44 c learnt ternary clauses : 0 3600.01/3570.44 c learnt constraints : 373649 3600.01/3570.44 c ignored constraints : 0 3600.01/3570.44 c root simplifications : 0 3600.01/3570.44 c removed literals (reason simplification) : 0 3600.01/3570.44 c reason swapping (by a shorter reason) : 0 3600.01/3570.44 c Calls to reduceDB : 39 3600.01/3570.44 c Number of update (reduction) of LBD : 569310 3600.01/3570.44 c Imported unit clauses : 0 3600.01/3570.44 c No decision after first conflict : false 3600.01/3570.44 c number of reductions to clauses (during analyze) : 0 3600.01/3570.44 c number of learned constraints concerned by reduction : 0 3600.01/3570.44 c number of learning phase by resolution : 0 3600.01/3570.44 c number of learning phase by cutting planes : 0 3600.01/3570.44 c number of rounding to 1 operations : 0 3600.01/3570.44 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3570.44 c number of reductions of the coefficients by power 2 : 0 3600.01/3570.44 c number of right shift for reduction by power 2 : 0 3600.01/3570.44 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3570.44 c number of ending skipping : 0 3600.01/3570.44 c number of internal skipping : 0 3600.01/3570.44 c number of derivation steps : 2304324 3600.01/3570.44 c number of skipped derivation steps : 0 3600.01/3570.44 c number of remaining unassigned : 3795012 3600.01/3570.44 c number of remaining assigned : 96213924 3600.01/3570.44 c number of falsified literals weakened from reason : 0 3600.01/3570.44 c number of falsified literals weakened from conflict : 0 3600.01/3570.44 c time for arithmetic operations : 14132510898 3600.01/3570.44 c minimum degree of deleted constraints : 8 3600.01/3570.44 c maximum degree of deleted constraints : 4924217796719723896885833364556145287751087613838234708794331776090761422603604012863038880142260695589223513255332900131033545293987192664189900500193511371554166704080016042005089881190984114555645971186594984408610251958051431351457021952138871701796782706972000761383438056932829269870903894338083676045811424177557655138440875355635120823036694189928623695698089107043606004043328508245002730263767048962314665597200719649252214086496341523722960951711226242217911255306276440055485439342129893439366722167918039722790919089136858536700416067638930846805654250250377981472161503602091165491908294709510308129118415519921794297682469289011520555772306256179803305539125369092125028608295558981797236588750818172748411346350735728811258363356133419022126560268376822351664592689084862274449962218858197749334742018298047130386330195524520348373600 3600.01/3570.44 c number of deleted constraints : 351497 3600.01/3570.44 c speed (assignments/second) : 2076.152538114502 3600.01/3570.44 c non guided choices : 120 3600.01/3570.46 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 1200 3600.01/3570.46 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 20952 3600.01/3570.46 s SATISFIABLE 3600.01/3570.46 c Found 12 solution(s) 3600.01/3570.46 v -x1 x2 -x3 -x4 x5 -x6 -x7 -x8 x9 -x10 x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 x94 x95 x96 x97 x98 x99 -x100 x101 x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 x136 x137 -x138 -x139 x140 x141 x142 x143 -x144 -x145 x146 x147 -x148 x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 x174 x175 -x176 -x177 x178 -x179 -x180 x181 -x182 x183 x184 -x185 x186 x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 x215 -x216 -x217 x218 x219 x220 x221 -x222 x223 x224 -x225 3600.01/3570.47 c objective function=64 3600.01/3570.47 c Total wall clock time (in seconds): 3570.306
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 (57323 MiB free)
memory of node 1: 64465 MiB (59956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488041-1751338414/watcher-4488041-1751338414 -o /tmp/evaluation-result-4488041-1751338414/solver-4488041-1751338414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751331234-53753 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4488041-1751338414 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4488041-1751338414.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=55328, runsolver pid=55325
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.20 4.19 4.18 5/321 55349
/proc/meminfo: memFree=122194216/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=18930384 memory=53292 CPUtime=0.11 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 6479 0 0 0 10 1 0 0 20 0 18 0 49520192 19384713216 13323 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4732596 13323 5339 1 0 547568 0
[pid=55328/tid=55333] ppid=55325 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 4996 0 0 0 6 1 0 0 20 0 18 0 49520194 19384713216 13323 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=18930384 memory=17913 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49520196 19384713216 13323 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=18930384 memory=56286469424100 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49520197 19384713216 13323 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53292 KiB
[startup+0.205562 s]*
/proc/loadavg: 4.20 4.19 4.18 7/322 55357
/proc/meminfo: memFree=122205204/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=18930384 memory=64792 CPUtime=0.3 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 7188 0 0 0 29 1 0 0 20 0 18 0 49520192 19384713216 16198 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4732596 16198 5467 1 0 548041 0
[pid=55328/tid=55333] ppid=55325 vsize=18930384 memory=4026663031 CPUtime=0.17 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 5468 0 0 0 16 1 0 0 20 0 18 0 49520194 19384713216 16198 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=18930384 memory=215637837014 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49520196 19384713216 16198 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=18930384 memory=27141 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49520197 19384713216 16198 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64792 KiB
[startup+0.305556 s]*
/proc/loadavg: 4.20 4.19 4.18 6/320 55358
/proc/meminfo: memFree=122194240/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=18996948 memory=72008 CPUtime=0.5 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 7473 0 0 0 48 2 0 0 20 0 19 0 49520192 19452874752 18002 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4749237 18002 5467 1 0 548445 0
[pid=55328/tid=55333] ppid=55325 vsize=18996948 memory=-6000919489886251370 CPUtime=0.25 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 5543 0 0 0 24 1 0 0 20 0 19 0 49520194 19452874752 18002 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49520196 19452874752 18002 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49520197 19452874752 18002 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49520214 19452874752 18002 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72008 KiB
[startup+0.700216 s]
/proc/loadavg: 4.20 4.19 4.18 5/320 55358
/proc/meminfo: memFree=122144848/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=18996948 memory=161540 CPUtime=1.25 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 14730 0 0 0 120 5 0 0 20 0 19 0 49520192 19452874752 40385 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4749237 40385 5467 1 0 552221 0
[pid=55328/tid=55333] ppid=55325 vsize=18996948 memory=17792 CPUtime=0.61 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 5659 0 0 0 58 3 0 0 20 0 19 0 49520194 19452874752 40385 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49520196 19452874752 40385 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49520197 19452874752 40385 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49520214 19452874752 40385 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161540 KiB
[startup+1.50022 s]
/proc/loadavg: 4.20 4.19 4.18 5/320 55377
/proc/meminfo: memFree=122082728/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=234388 CPUtime=2.83 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 24139 0 0 0 276 7 0 0 20 0 20 0 49520192 19521036288 58597 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 58597 5531 1 0 555560 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=0 CPUtime=1.37 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 6065 0 0 0 133 4 0 0 20 0 20 0 49520194 19521036288 58597 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 58597 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 58597 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 58597 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 234388 KiB
[startup+3.10549 s]
/proc/loadavg: 4.26 4.20 4.18 5/325 55462
/proc/meminfo: memFree=123786328/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=654100 CPUtime=5.93 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 32260 0 0 0 577 16 0 0 20 0 20 0 49520192 19521036288 163525 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 163525 5531 1 0 689102 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=10752 CPUtime=2.9 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 6830 0 0 0 280 10 0 0 20 0 20 0 49520194 19521036288 163525 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=-6000919485641877354 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 163525 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 163525 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 163525 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 654100 KiB
[startup+6.30024 s]
/proc/loadavg: 4.26 4.20 4.18 4/321 55557
/proc/meminfo: memFree=123556660/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=884212 CPUtime=11.08 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 33374 0 0 0 1087 21 0 0 20 0 20 0 49520192 19521036288 221053 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 221053 5563 1 0 689583 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=0 CPUtime=6 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 7134 0 0 0 586 14 0 0 20 0 20 0 49520194 19521036288 221053 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 221053 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 221053 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=238624 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 221053 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 11.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 884212 KiB
[startup+12.7002 s]
/proc/loadavg: 4.40 4.23 4.19 5/343 55613
/proc/meminfo: memFree=119834640/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=1367328 CPUtime=19 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 42555 0 0 0 1867 33 0 0 20 0 20 0 49520192 19521036288 341832 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 341832 5563 1 0 689892 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=238624 CPUtime=12.32 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 9288 0 0 0 1208 24 0 0 20 0 20 0 49520194 19521036288 341832 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=1367328 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 341832 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 341832 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 341832 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1367328 KiB
[startup+25.5003 s]
/proc/loadavg: 4.53 4.27 4.21 5/343 55614
/proc/meminfo: memFree=119383528/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=1708768 CPUtime=32.91 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 47977 0 0 0 3248 43 0 0 20 0 20 0 49520192 19521036288 427192 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 427192 5563 1 0 691300 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=1367328 CPUtime=24.97 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 11566 0 0 0 2465 32 0 0 20 0 20 0 49520194 19521036288 427192 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 427192 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=1703392 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 427192 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 427192 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 32.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1708768 KiB
[startup+51.1057 s]
/proc/loadavg: 4.41 4.26 4.21 5/343 55614
/proc/meminfo: memFree=118823980/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=1735744 CPUtime=59.43 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 58185 0 0 0 5895 48 0 0 20 0 20 0 49520192 19521036288 433936 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 433936 5563 1 0 691381 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=1735744 CPUtime=50.2 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=114133568/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=2723460 CPUtime=3190.55 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 148908 0 0 0 318668 387 0 0 20 0 20 0 49520192 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 680865 5563 1 0 692202 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=2723460 CPUtime=3121.16 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 61811 0 0 0 311876 240 0 0 20 0 20 0 49520194 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=2723460 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 1672 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=2723460 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 3190.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.18 4.18 5/343 56325
/proc/meminfo: memFree=113786220/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=2723460 CPUtime=3250.7 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 149470 0 0 0 324679 391 0 0 20 0 20 0 49520192 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 680865 5563 1 0 692202 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=164 CPUtime=3180.47 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 62297 0 0 0 317805 242 0 0 20 0 20 0 49520194 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=2723460 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=2723460 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 1700 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=2723460 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 680865 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 3250.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/343 56327
/proc/meminfo: memFree=113727320/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3310.87 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 151889 0 0 0 330692 395 0 0 20 0 20 0 49520192 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 680993 5563 1 0 692202 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=17920 CPUtime=3239.86 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 63807 0 0 0 323741 245 0 0 20 0 20 0 49520194 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=2723972 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=2723972 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 1780 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=10240 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 3310.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723972 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/343 56329
/proc/meminfo: memFree=113739644/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3371.12 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 154102 0 0 0 336712 400 0 0 20 0 20 0 49520192 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 680993 5563 1 0 692202 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3299.3 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 65399 0 0 0 329682 248 0 0 20 0 20 0 49520194 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=2723972 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 1825 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=4282248825596964510 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 3371.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/345 56339
/proc/meminfo: memFree=113723216/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3431.27 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 154198 0 0 0 342724 403 0 0 20 0 20 0 49520192 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 680993 5563 1 0 692202 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3358.77 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 65446 0 0 0 335628 249 0 0 20 0 20 0 49520194 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=2723972 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 3431.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723972 KiB
[startup+3462.3 s]
/proc/loadavg: 3.90 4.11 4.16 4/319 56376
/proc/meminfo: memFree=116543624/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3491.45 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 154335 0 0 0 348737 408 0 0 20 0 20 0 49520192 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 680993 5563 1 0 692202 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3418.28 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 65559 0 0 0 341576 252 0 0 20 0 20 0 49520194 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=2723972 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=2723972 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=-6000919485641877354 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 3491.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723972 KiB
[startup+3522.3 s]
/proc/loadavg: 3.45 3.94 4.09 4/318 56378
/proc/meminfo: memFree=116511312/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3551.73 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 156297 0 0 0 354760 413 0 0 20 0 20 0 49520192 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 680993 5563 1 0 692202 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3477.67 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 67180 0 0 0 347513 254 0 0 20 0 20 0 49520194 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=2723460 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=2723972 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 3551.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3570.4 s]
/proc/loadavg: 3.27 3.81 4.04 4/318 56379
/proc/meminfo: memFree=116499136/131249992 swapFree=33010684/33010684
[pid=55328] ppid=55325 vsize=19063512 memory=2723972 CPUtime=3600.01 cores=0,2
/proc/55328/stat : 55328 (java) S 55325 55328 53743 0 -1 4194304 156422 0 0 0 359584 417 0 0 20 0 20 0 49520192 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
/proc/55328/statm: 4765878 680993 5563 1 0 692202 0
[pid=55328/tid=55333] ppid=55325 vsize=19063512 memory=14692 CPUtime=3525.33 cores=0,2
/proc/55328/task/55333/stat : 55333 (java) R 55325 55328 53743 0 -1 4194368 67205 0 0 0 352277 256 0 0 20 0 20 0 49520194 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55342] ppid=55325 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/55328/task/55342/stat : 55342 (Finalizer) S 55325 55328 53743 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49520196 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55349] ppid=55325 vsize=19063512 memory=2723972 CPUtime=0 cores=0,2
/proc/55328/task/55349/stat : 55349 (Common-Cleaner) S 55325 55328 53743 0 -1 4194368 1892 0 0 0 0 0 0 0 20 0 20 0 49520197 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
[pid=55328/tid=55358] ppid=55325 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/55328/task/55358/stat : 55358 (Timer-0) S 55325 55328 53743 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49520214 19521036288 680993 18446744073709551615 94067244945408 94067244949104 140721974349312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94067244956920 94067244957712 94067275452416 140721974352173 140721974352358 140721974352358 140721974357960 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3570.49 s]
# the end of solver process 55328 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.99 s, system=4.18251 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3570.49
CPU time (s): 3600.17
CPU user time (s): 3595.99
CPU system time (s): 4.18251
CPU usage (%): 100.831
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2723972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.99
system time used= 4.18251
maximum resident set size= 2724868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1144696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142063
involuntary context switches= 12112
# summary of solver processes directly reported to runsolver:
# pid: 55328
# total CPU time (s): 3600.17
# total CPU user time (s): 3595.99
# total CPU system time (s): 4.18251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54824 second user time and 16.813 second system time
The end
Begin job on nodeC025 at 2025-07-01 04:53:34 IDJOB=4488041 IDBENCH=147228 IDSOLVER=3362 FILE ID=nodeC025/4488041-1751338414 RUNJOBID= nodeC025-1751331234-53753 SLURM_JOB_ID= 9594378 Free space on /tmp= 433060 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488041-1751338414/watcher-4488041-1751338414 -o /tmp/evaluation-result-4488041-1751338414/solver-4488041-1751338414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751331234-53753 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4488041-1751338414 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4488041-1751338414.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0 RANDOM SEED=830214974 nodeC025 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 : 3599.792 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 : 6999.67 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 : 3599.837 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 : 6999.67 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 : 3600.140 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 : 6999.67 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.623 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 : 6999.67 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 : 3599.835 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 : 6999.67 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 : 3599.833 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 : 6999.67 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 : 3600.578 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 : 6999.67 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 : 3601.352 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 120095944 kB MemAvailable: 124999252 kB Buffers: 3280 kB Cached: 5702012 kB SwapCached: 0 kB Active: 5230640 kB Inactive: 5362784 kB Active(anon): 4906264 kB Inactive(anon): 0 kB Active(file): 324376 kB Inactive(file): 5362784 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 10756 kB Writeback: 0 kB AnonPages: 4891264 kB Mapped: 123384 kB Shmem: 18084 kB KReclaimable: 110772 kB Slab: 200544 kB SReclaimable: 110772 kB SUnreclaim: 89772 kB KernelStack: 5248 kB PageTables: 13284 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7097808 kB VmallocTotal: 34359738367 kB VmallocUsed: 151512 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 4632576 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433060 MiB End job on nodeC025 at 2025-07-01 05:53:05