Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | OPTIMUM | 234.385 | 233.266 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo |
| MD5SUM | bb794de334345008f73c7267fdb18db5 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.037069 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 110 |
| Total number of constraints | 21 |
| Number of soft constraints | 21 |
| Number of constraints which are clauses | 11 |
| Number of constraints which are cardinality constraints (but not clauses) | 10 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 11 |
| Top cost | 827 |
| Min constraint cost | 1 |
| Max constraint cost | 88 |
| Sum of constraints costs | 826 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 12 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.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.09 c version PB25.v20250606 0.11/0.10 c java.runtime.name OpenJDK Runtime Environment 0.11/0.10 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.10 c java.vm.version 22.0.1+8-16 0.11/0.10 c java.vm.vendor Oracle Corporation 0.11/0.10 c sun.arch.data.model 64 0.11/0.10 c java.version 22.0.1 0.11/0.10 c os.name Linux 0.11/0.10 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.11/0.10 c os.arch amd64 0.11/0.11 c Free memory 2104792832 0.11/0.11 c Max memory 16282288128 0.11/0.11 c Total memory 2113929216 0.11/0.11 c Number of processors 2 0.11/0.14 c Pseudo Boolean Optimization by upper bound 0.11/0.14 c --- Begin Solver configuration --- 0.11/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.11/0.14 c Learn all clauses as in MiniSAT 0.11/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.14 c Expensive reason simplification 0.11/0.14 c Glucose 2.1 dynamic restart strategy 0.11/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.14 c timeout=2147483s 0.11/0.14 c DB Simplification allowed=false 0.11/0.14 c Listener: none 0.11/0.14 c --- End Solver configuration --- 0.11/0.14 c solving HOME/instance-4524704-1751616933.wbo 0.11/0.14 c reading problem ... 0.11/0.16 c ... done. Wall clock time 0.012s. 0.11/0.16 c declared #vars 110 0.11/0.16 c internal #vars 131 0.11/0.16 c #constraints 22 0.11/0.16 c constraints type 0.11/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10 0.11/0.16 c org.sat4j.specs.Constr$1 => 1 0.11/0.16 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11 0.11/0.16 c 22 constraints processed. 0.11/0.17 c objective function length is 21 literals 0.29/0.22 c SATISFIABLE 0.29/0.22 c OPTIMIZING... 0.29/0.22 c Got one! Elapsed wall clock time (in seconds):0.076 0.29/0.22 o 34 0.49/0.33 c Got one! Elapsed wall clock time (in seconds):0.182 0.49/0.33 o 8 1.06/0.64 c Got one! Elapsed wall clock time (in seconds):0.496 1.06/0.64 o 4 1.23/0.78 c cleaning 3324 clauses out of 6649 with flag 5864/6649 2.20/1.47 c Got one! Elapsed wall clock time (in seconds):1.328 2.20/1.47 o 1 3.10/2.39 c cleaning 7064 clauses out of 14140 with flag 31668/17464 4.11/3.30 c cleaning 6536 clauses out of 13076 with flag 76756/23464 5.21/4.40 c cleaning 6768 clauses out of 13540 with flag 135142/30464 6.42/5.56 c cleaning 7384 clauses out of 14772 with flag 201268/38464 7.82/6.96 c cleaning 8190 clauses out of 16389 with flag 277007/47465 9.11/8.29 c cleaning 9093 clauses out of 18199 with flag 364470/57465 10.91/10.07 c cleaning 10049 clauses out of 20106 with flag 455900/68465 13.40/12.57 c cleaning 11027 clauses out of 22057 with flag 552172/80465 15.80/14.93 c cleaning 12008 clauses out of 24030 with flag 651246/93465 18.73/17.85 c cleaning 13004 clauses out of 26021 with flag 766326/107464 21.93/21.07 c cleaning 14008 clauses out of 28017 with flag 892937/122464 25.16/24.25 c cleaning 15001 clauses out of 30009 with flag 1010516/138464 28.96/28.06 c cleaning 16001 clauses out of 32008 with flag 1130890/155464 33.85/32.96 c cleaning 17001 clauses out of 34008 with flag 1280135/173465 37.95/37.02 c cleaning 18003 clauses out of 36007 with flag 1429445/192465 44.43/43.55 c cleaning 19001 clauses out of 38007 with flag 1595343/212468 52.52/51.62 c cleaning 19996 clauses out of 40003 with flag 1774814/233465 58.20/57.33 c cleaning 20999 clauses out of 42006 with flag 1950967/255464 64.28/63.48 c cleaning 22000 clauses out of 44007 with flag 2135040/278464 70.87/70.07 c cleaning 23001 clauses out of 46011 with flag 2317873/302468 78.04/77.29 c cleaning 23998 clauses out of 48007 with flag 2501122/327465 90.33/89.57 c cleaning 24998 clauses out of 50008 with flag 2700786/353464 109.08/108.35 c cleaning 26002 clauses out of 52011 with flag 2921130/380465 122.64/121.91 c cleaning 27001 clauses out of 54008 with flag 3147267/408464 136.10/135.41 c cleaning 28000 clauses out of 56008 with flag 3375894/437465 160.44/159.83 c cleaning 28999 clauses out of 58011 with flag 3609110/467468 179.69/179.18 c cleaning 30002 clauses out of 60009 with flag 3865750/498465 196.84/196.33 c cleaning 31001 clauses out of 62007 with flag 4135884/530465 213.44/212.95 c cleaning 32002 clauses out of 64006 with flag 4384150/563465 230.02/229.12 c cleaning 33002 clauses out of 66003 with flag 4632116/597464 234.33/233.20 c starts : 1514 234.33/233.21 c conflicts : 608932 234.33/233.21 c decisions : 743066 234.33/233.22 c propagations : 7388763 234.33/233.22 c inspects : 3109206960 234.33/233.22 c shortcuts : 0 234.33/233.22 c learnt literals : 7 234.33/233.22 c learnt binary clauses : 5 234.33/233.22 c learnt ternary clauses : 7 234.33/233.22 c learnt constraints : 608924 234.33/233.22 c ignored constraints : 0 234.33/233.22 c root simplifications : 0 234.33/233.22 c removed literals (reason simplification) : 391058 234.33/233.22 c reason swapping (by a shorter reason) : 0 234.33/233.22 c Calls to reduceDB : 31 234.33/233.22 c Number of update (reduction) of LBD : 315739 234.33/233.22 c Imported unit clauses : 0 234.33/233.22 c No decision after first conflict : false 234.33/233.22 c number of reductions to clauses (during analyze) : 0 234.33/233.22 c number of learned constraints concerned by reduction : 0 234.33/233.22 c number of learning phase by resolution : 0 234.33/233.22 c number of learning phase by cutting planes : 0 234.33/233.22 c number of rounding to 1 operations : 0 234.33/233.22 c number of easy rounding to 1 operations (no literal elimination needed) : 0 234.33/233.22 c number of reductions of the coefficients by power 2 : 0 234.33/233.22 c number of right shift for reduction by power 2 : 0 234.33/233.22 c number of reductions of the coefficients by GCD over coefficients : 0 234.33/233.22 c number of ending skipping : 0 234.33/233.22 c number of internal skipping : 0 234.33/233.22 c number of derivation steps : 0 234.33/233.22 c number of skipped derivation steps : 0 234.33/233.22 c number of remaining unassigned : 0 234.33/233.22 c number of remaining assigned : 0 234.33/233.22 c number of falsified literals weakened from reason : 0 234.33/233.22 c number of falsified literals weakened from conflict : 0 234.33/233.22 c time for arithmetic operations : 0 234.33/233.22 c minimum degree of deleted constraints : null 234.33/233.22 c maximum degree of deleted constraints : null 234.33/233.22 c number of deleted constraints : 0 234.33/233.23 c speed (assignments/second) : 31704.081457516284 234.33/233.23 c non guided choices : 210 234.33/233.23 s OPTIMUM FOUND 234.33/233.23 c Found 4 solution(s) 234.33/233.23 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 234.33/233.23 c objective function=1 234.33/233.23 c Total wall clock time (in seconds): 233.082
OK 1
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 (55641 MiB free)
memory of node 1: 64465 MiB (53340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524704-1751616933/watcher-4524704-1751616933 -o /tmp/evaluation-result-4524704-1751616933/solver-4524704-1751616933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86636 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524704-1751616933.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86688, runsolver pid=86676
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.32 2.45 3.53 11/333 86761
/proc/meminfo: memFree=111520928/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18930384 memory=54836 CPUtime=0.11 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 6342 0 81 0 9 2 0 0 20 0 18 0 77371994 19384713216 13709 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4732596 13709 5318 1 0 547535 0
[pid=86688/tid=86702] ppid=86676 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 4930 0 81 0 5 1 0 0 20 0 18 0 77371996 19384713216 13709 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18930384 memory=13937 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77371998 19384713216 13709 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77371999 19384713216 13709 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54836 KiB
[startup+0.204801 s]*
/proc/loadavg: 1.32 2.45 3.53 14/336 86764
/proc/meminfo: memFree=111479152/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18996948 memory=64664 CPUtime=0.29 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 7670 0 81 0 27 2 0 0 20 0 19 0 77371994 19452874752 16166 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4749237 16166 5446 1 0 548572 0
[pid=86688/tid=86702] ppid=86676 vsize=18996948 memory=4026794268 CPUtime=0.15 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 5312 0 81 0 14 1 0 0 20 0 19 0 77371996 19452874752 16166 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18996948 memory=13937 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 16166 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18996948 memory=60684515935208 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 16166 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372011 19452874752 16166 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64664 KiB
[startup+0.305444 s]*
/proc/loadavg: 1.32 2.45 3.53 10/337 86765
/proc/meminfo: memFree=111460376/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18996948 memory=66756 CPUtime=0.49 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 8434 0 81 0 46 3 0 0 20 0 19 0 77371994 19452874752 16689 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4749237 16689 5446 1 0 549021 0
[pid=86688/tid=86702] ppid=86676 vsize=18996948 memory=-6000919476967859815 CPUtime=0.24 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 5329 0 81 0 23 1 0 0 20 0 19 0 77371996 19452874752 16689 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 16689 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 16689 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372011 19452874752 16689 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66756 KiB
[startup+0.700187 s]
/proc/loadavg: 1.32 2.45 3.53 10/337 86765
/proc/meminfo: memFree=111426668/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18996948 memory=80020 CPUtime=1.23 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 11393 0 81 0 120 3 0 0 20 0 19 0 77371994 19452874752 20005 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4749237 20005 5446 1 0 551234 0
[pid=86688/tid=86702] ppid=86676 vsize=18996948 memory=18560 CPUtime=0.62 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 5339 0 81 0 61 1 0 0 20 0 19 0 77371996 19452874752 20005 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 20005 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 20005 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372011 19452874752 20005 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80020 KiB
[startup+1.50018 s]
/proc/loadavg: 1.32 2.45 3.53 8/337 86765
/proc/meminfo: memFree=111366936/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18996948 memory=85932 CPUtime=2.3 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 14015 0 81 0 226 4 0 0 20 0 19 0 77371994 19452874752 21483 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4749237 21483 5446 1 0 551674 0
[pid=86688/tid=86702] ppid=86676 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 5876 0 81 0 140 1 0 0 20 0 19 0 77371996 19452874752 21483 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 21483 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 21483 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372011 19452874752 21483 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85932 KiB
[startup+3.10469 s]
/proc/loadavg: 1.32 2.45 3.53 6/338 86766
/proc/meminfo: memFree=111209616/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18996948 memory=92144 CPUtime=3.91 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 14562 0 81 0 387 4 0 0 20 0 19 0 77371994 19452874752 23036 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4749237 23036 5446 1 0 551675 0
[pid=86688/tid=86702] ppid=86676 vsize=18996948 memory=11136 CPUtime=3.01 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 6148 0 81 0 299 2 0 0 20 0 19 0 77371996 19452874752 23036 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18996948 memory=-6000919481262827111 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 23036 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 23036 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372011 19452874752 23036 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92144 KiB
[startup+6.30017 s]
/proc/loadavg: 1.54 2.48 3.54 6/339 86767
/proc/meminfo: memFree=110980348/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18996948 memory=102384 CPUtime=7.22 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 19153 0 81 0 717 5 0 0 20 0 19 0 77371994 19452874752 25596 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4749237 25596 5446 1 0 551675 0
[pid=86688/tid=86702] ppid=86676 vsize=18996948 memory=0 CPUtime=6.2 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 6637 0 81 0 618 2 0 0 20 0 19 0 77371996 19452874752 25596 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 25596 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 25596 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=18996948 memory=87980 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372011 19452874752 25596 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 7.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102384 KiB
[startup+12.7002 s]
/proc/loadavg: 1.73 2.50 3.54 6/340 86768
/proc/meminfo: memFree=110556980/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18996948 memory=118004 CPUtime=13.61 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 20704 0 81 0 1356 5 0 0 20 0 19 0 77371994 19452874752 29501 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4749237 29501 5478 1 0 551675 0
[pid=86688/tid=86702] ppid=86676 vsize=18996948 memory=87980 CPUtime=12.58 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 7309 0 81 0 1256 2 0 0 20 0 19 0 77371996 19452874752 29501 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18996948 memory=115828 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 29501 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 29501 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372011 19452874752 29501 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 13.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118004 KiB
[startup+25.5002 s]
/proc/loadavg: 2.30 2.59 3.55 6/340 86769
/proc/meminfo: memFree=109678560/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=18996948 memory=146684 CPUtime=26.46 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 23395 0 81 0 2640 6 0 0 20 0 19 0 77371994 19452874752 36671 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4749237 36671 5478 1 0 551675 0
[pid=86688/tid=86702] ppid=86676 vsize=18996948 memory=115828 CPUtime=25.35 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 8131 0 81 0 2532 3 0 0 20 0 19 0 77371996 19452874752 36671 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 36671 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 36671 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=18996948 memory=140540 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372011 19452874752 36671 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 26.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146684 KiB
[startup+51.1048 s]
/proc/loadavg: 2.96 2.72 3.57 6/341 86770
/proc/meminfo: memFree=107837772/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=175920 CPUtime=52.02 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 24576 0 81 0 5194 8 0 0 20 0 20 0 77371994 19521036288 43980 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 43980 5510 1 0 551964 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=175920 CPUtime=50.87 cores=1,3
################
# More data... #
################
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 47064 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 103.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188256 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.16 3.64 6/340 86774
/proc/meminfo: memFree=105890968/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=188256 CPUtime=162.94 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 25617 0 81 0 16283 11 0 0 20 0 20 0 77371994 19521036288 47064 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 47064 5510 1 0 551964 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=0 CPUtime=161.72 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 8910 0 81 0 16169 3 0 0 20 0 20 0 77371996 19521036288 47064 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 47064 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 129 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 47064 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=19063512 memory=188256 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 47064 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 162.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188256 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.35 3.67 6/342 86782
/proc/meminfo: memFree=105638260/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=239816 CPUtime=222.82 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 26654 0 81 0 22269 13 0 0 20 0 20 0 77371994 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 59954 5510 1 0 551964 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=12544 CPUtime=221.49 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 9116 0 81 0 22146 3 0 0 20 0 20 0 77371996 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=19063512 memory=239816 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=19063512 memory=16496 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=19063512 memory=18560 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 222.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239816 KiB
[startup+233.266 s]
# the end of solver process 86688 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=234.224 s, system=0.160506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224 s]*
/proc/loadavg: 4.09 3.35 3.67 6/342 86782
/proc/meminfo: memFree=105638052/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=239816 CPUtime=224.52 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 26657 0 81 0 22439 13 0 0 20 0 20 0 77371994 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 59954 5510 1 0 551965 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=6896 CPUtime=223.19 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 9119 0 81 0 22316 3 0 0 20 0 20 0 77371996 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=19063512 memory=6772 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=19063512 memory=-6000919481262827111 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=19063512 memory=4715720302616276635 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 59954 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 224.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239816 KiB
[startup+227.2 s]
/proc/loadavg: 4.08 3.36 3.68 6/342 86782
/proc/meminfo: memFree=105638084/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=243540 CPUtime=227.84 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 29945 0 81 0 22770 14 0 0 20 0 20 0 77371994 19521036288 60885 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 60885 5510 1 0 552160 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=239816 CPUtime=226.37 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 9892 0 81 0 22634 3 0 0 20 0 20 0 77371996 19521036288 60885 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=19063512 memory=3104 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 60885 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=19063512 memory=239816 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 60885 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=19063512 memory=4480 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 60885 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 227.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 243540 KiB
[startup+230.4 s]
/proc/loadavg: 4.15 3.39 3.68 6/342 86782
/proc/meminfo: memFree=105501832/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=239288 CPUtime=231.49 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 37137 0 81 0 23134 15 0 0 20 0 20 0 77371994 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 59822 5510 1 0 556007 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=164 CPUtime=229.56 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 9935 0 81 0 22953 3 0 0 20 0 20 0 77371996 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=19063512 memory=-6000919481262827111 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 231.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239288 KiB
[startup+232 s]*
/proc/loadavg: 4.15 3.39 3.68 6/342 86782
/proc/meminfo: memFree=105506520/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=239288 CPUtime=233.1 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 37139 0 81 0 23295 15 0 0 20 0 20 0 77371994 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 59822 5510 1 0 556007 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=239288 CPUtime=231.16 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 9936 0 81 0 23113 3 0 0 20 0 20 0 77371996 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=19063512 memory=2145608 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=19063512 memory=188256 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=19063512 memory=4715720302616276635 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 233.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239288 KiB
[startup+232.8 s]
/proc/loadavg: 4.15 3.39 3.68 6/342 86782
/proc/meminfo: memFree=105506520/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=239288 CPUtime=233.93 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 37155 0 81 0 23378 15 0 0 20 0 20 0 77371994 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 59822 5510 1 0 556007 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=18560 CPUtime=231.95 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 9938 0 81 0 23192 3 0 0 20 0 20 0 77371996 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=19063512 memory=2708 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=19063512 memory=17456 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 59822 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 233.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239288 KiB
[startup+233.2 s]
/proc/loadavg: 4.15 3.39 3.68 6/342 86782
/proc/meminfo: memFree=105506536/131249996 swapFree=33010160/33010684
[pid=86688] ppid=86676 vsize=19063512 memory=239416 CPUtime=234.33 cores=1,3
/proc/86688/stat : 86688 (java) S 86676 86688 86624 0 -1 4194304 37941 0 81 0 23418 15 0 0 20 0 20 0 77371994 19521036288 59854 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
/proc/86688/statm: 4765878 59854 5510 1 0 556023 0
[pid=86688/tid=86702] ppid=86676 vsize=19063512 memory=3104 CPUtime=232.35 cores=1,3
/proc/86688/task/86702/stat : 86702 (java) R 86676 86688 86624 0 -1 4194368 10728 0 81 0 23232 3 0 0 20 0 20 0 77371996 19521036288 59854 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86738] ppid=86676 vsize=19063512 memory=-6000919481262827111 CPUtime=0 cores=1,3
/proc/86688/task/86738/stat : 86738 (Finalizer) S 86676 86688 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 59854 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86759] ppid=86676 vsize=19063512 memory=4496 CPUtime=0 cores=1,3
/proc/86688/task/86759/stat : 86759 (Common-Cleaner) S 86676 86688 86624 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 59854 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
[pid=86688/tid=86762] ppid=86676 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/86688/task/86762/stat : 86762 (Timer-0) S 86676 86688 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372011 19521036288 59854 18446744073709551615 94109105631232 94109105634928 140733968078064 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94109105642744 94109105643536 94109116198912 140733968087423 140733968087524 140733968087524 140733968093128 0
Current children cumulated CPU time: 234.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239416 KiB
Child status: 30
Real time (s): 233.266
CPU time (s): 234.385
CPU user time (s): 234.224
CPU system time (s): 0.160506
CPU usage (%): 100.48
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 258868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.224
system time used= 0.160506
maximum resident set size= 258868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38590
page faults= 81
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7823
involuntary context switches= 1044
# summary of solver processes directly reported to runsolver:
# pid: 86688
# total CPU time (s): 234.385
# total CPU user time (s): 234.224
# total CPU system time (s): 0.160506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.497489 second user time and 0.878687 second system time
The end
Begin job on nodeC032 at 2025-07-04 10:15:34 IDJOB=4524704 IDBENCH=143165 IDSOLVER=3380 FILE ID=nodeC032/4524704-1751616933 RUNJOBID= nodeC032-1751616933-86636 SLURM_JOB_ID= 9598926 Free space on /tmp= 429052 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524704-1751616933/watcher-4524704-1751616933 -o /tmp/evaluation-result-4524704-1751616933/solver-4524704-1751616933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86636 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524704-1751616933.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bb794de334345008f73c7267fdb18db5 RANDOM SEED=425576986 nodeC032 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.064 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.69 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.843 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.69 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.257 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.69 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 : 3600.180 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.69 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.452 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.69 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 : 1617.981 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.69 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 : 3599.957 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.69 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.030 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 111600148 kB MemAvailable: 129622656 kB Buffers: 2728 kB Cached: 18700320 kB SwapCached: 20 kB Active: 437516 kB Inactive: 18330832 kB Active(anon): 80232 kB Inactive(anon): 3124 kB Active(file): 357284 kB Inactive(file): 18327708 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2008 kB Writeback: 0 kB AnonPages: 68716 kB Mapped: 103956 kB Shmem: 18048 kB KReclaimable: 353508 kB Slab: 448372 kB SReclaimable: 353508 kB SUnreclaim: 94864 kB KernelStack: 4144 kB PageTables: 2944 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 339844 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429048 MiB End job on nodeC032 at 2025-07-04 10:19:27