Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | OPT | 3 | 281.845 | 275.658 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb |
| MD5SUM | d15a7b77594613e525f13087b0fed45e |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.067988 |
| 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 | 147 |
| Total number of constraints | 15 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 15 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 7 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 127 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 8192 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 32512 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 343 |
| Sum of products size (including duplicates) | 686 |
| Number of different products | 343 |
| Sum of products size | 686 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.13/0.15 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 - never skip resolution steps 0.13/0.15 - Auto-division on coefficients is disabled 0.13/0.15 - No postprocessing 0.13/0.15 - Conflict is considered as is when resolving 0.13/0.15 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 - Weaken first using unassigned literals 0.13/0.15 - Bump strategy: ALWAYS_ONE 0.13/0.15 - Bumper: ASSIGNED 0.13/0.15 --- Begin Solver configuration --- 0.13/0.15 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 Learn all clauses as in MiniSAT 0.13/0.15 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 No reason simplification 0.13/0.15 Armin Biere (Picosat) restarts strategy 0.13/0.15 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 timeout=2147483s 0.13/0.15 DB Simplification allowed=false 0.13/0.15 Listener: none 0.13/0.15 --- End Solver configuration --- 0.13/0.15 c Pseudo Boolean Optimization by upper bound 0.13/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 c - never skip resolution steps 0.13/0.15 c - Auto-division on coefficients is disabled 0.13/0.15 c - No postprocessing 0.13/0.15 c - Conflict is considered as is when resolving 0.13/0.15 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 c - Weaken first using unassigned literals 0.13/0.15 c - Bump strategy: ALWAYS_ONE 0.13/0.15 c - Bumper: ASSIGNED 0.13/0.15 c --- Begin Solver configuration --- 0.13/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 c Learn all clauses as in MiniSAT 0.13/0.15 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 c No reason simplification 0.13/0.15 c Armin Biere (Picosat) restarts strategy 0.13/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 c timeout=2147483s 0.13/0.15 c DB Simplification allowed=false 0.13/0.15 c Listener: none 0.13/0.15 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4459701-1721939462.opb 0.13/0.15 c reading problem ... 0.13/0.15 c objective function found 0.13/0.18 c ... done. Wall clock time 0.037s. 0.13/0.18 c declared #vars 147 0.13/0.18 c internal #vars 490 0.13/0.18 c #constraints 708 0.13/0.18 c constraints type 0.13/0.18 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 365 0.13/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 343 0.13/0.18 c 708 constraints processed. 0.13/0.19 c objective function length is 7 literals 3.64/1.98 c cleaning 1408 clauses out of 5000 with flag 0/5000 6.63/3.97 c cleaning 1769 clauses out of 9593 with flag 0/11001 9.00/6.21 c cleaning 2128 clauses out of 14823 with flag 0/18000 12.62/9.81 c cleaning 2931 clauses out of 20695 with flag 0/26000 16.46/13.60 c cleaning 3473 clauses out of 26764 with flag 0/35000 21.21/18.38 c cleaning 3439 clauses out of 33291 with flag 0/45000 26.71/23.70 c cleaning 4195 clauses out of 40851 with flag 0/56000 31.25/28.15 c SATISFIABLE 31.25/28.15 c OPTIMIZING... 31.25/28.15 c Got one! Elapsed wall clock time (in seconds):28.003 31.25/28.15 o 119 35.00/31.79 c cleaning 5970 clauses out of 51649 with flag 0/70993 40.76/37.45 c cleaning 2119 clauses out of 51679 with flag 0/76993 41.87/38.54 c Got one! Elapsed wall clock time (in seconds):38.393 41.87/38.54 o 97 42.90/39.59 c cleaning 1880 clauses out of 55546 with flag 0/82979 43.42/40.04 c Got one! Elapsed wall clock time (in seconds):39.901 43.42/40.04 o 31 46.07/42.64 c cleaning 1964 clauses out of 59042 with flag 0/88355 48.04/44.55 c Got one! Elapsed wall clock time (in seconds):44.41 48.04/44.55 o 5 50.07/46.59 c cleaning 1980 clauses out of 62581 with flag 0/93858 53.65/50.02 c cleaning 2477 clauses out of 66601 with flag 0/99858 57.50/53.81 c Got one! Elapsed wall clock time (in seconds):53.662 57.50/53.81 o 3 64.11/60.34 c cleaning 4466 clauses out of 75964 with flag 0/111698 69.01/65.14 c cleaning 2433 clauses out of 77498 with flag 0/117698 72.49/68.55 c cleaning 2231 clauses out of 82066 with flag 0/124699 75.80/71.76 c cleaning 2584 clauses out of 87834 with flag 0/132698 85.08/80.89 c cleaning 3728 clauses out of 94251 with flag 0/141699 89.02/84.70 c cleaning 3427 clauses out of 100522 with flag 0/151698 98.41/93.99 c cleaning 5302 clauses out of 108096 with flag 0/162699 111.73/106.95 c cleaning 4624 clauses out of 114793 with flag 0/174698 122.82/117.82 c cleaning 4490 clauses out of 123169 with flag 0/187698 140.78/135.56 c cleaning 5735 clauses out of 132680 with flag 0/201699 154.14/148.76 c cleaning 4452 clauses out of 141945 with flag 0/216699 190.03/184.39 c cleaning 6845 clauses out of 153492 with flag 0/232698 238.18/232.18 c cleaning 8304 clauses out of 163647 with flag 0/249698 281.78/275.61 c starts : 125 281.78/275.62 c conflicts : 266024 281.78/275.62 c decisions : 345413 281.78/275.62 c propagations : 3867787 281.78/275.62 c inspects : 463713420 281.78/275.62 c shortcuts : 0 281.78/275.62 c learnt literals : 1 281.78/275.62 c learnt binary clauses : 6 281.78/275.62 c learnt ternary clauses : 3 281.78/275.62 c learnt constraints : 266022 281.78/275.62 c ignored constraints : 0 281.78/275.62 c root simplifications : 0 281.78/275.62 c removed literals (reason simplification) : 0 281.78/275.62 c reason swapping (by a shorter reason) : 0 281.78/275.62 c Calls to reduceDB : 26 281.78/275.62 c Number of update (reduction) of LBD : 33 281.78/275.62 c Imported unit clauses : 0 281.78/275.62 c No decision after first conflict : false 281.78/275.62 c number of reductions to clauses (during analyze) : 0 281.78/275.62 c number of learned constraints concerned by reduction : 0 281.78/275.62 c number of learning phase by resolution : 0 281.78/275.62 c number of learning phase by cutting planes : 0 281.78/275.62 c number of rounding to 1 operations : 1192032 281.78/275.62 c number of easy rounding to 1 operations (no literal elimination needed) : 0 281.78/275.62 c number of reductions of the coefficients by power 2 : 0 281.78/275.62 c number of right shift for reduction by power 2 : 0 281.78/275.62 c number of reductions of the coefficients by GCD over coefficients : 0 281.78/275.62 c number of ending skipping : 0 281.78/275.62 c number of internal skipping : 0 281.78/275.62 c number of derivation steps : 1536461 281.78/275.62 c number of skipped derivation steps : 0 281.78/275.62 c number of remaining unassigned : 51775 281.78/275.62 c number of remaining assigned : 19088372 281.78/275.62 c number of falsified literals weakened from reason : 0 281.78/275.62 c number of falsified literals weakened from conflict : 0 281.78/275.62 c time for arithmetic operations : 1550099674 281.78/275.62 c minimum degree of deleted constraints : 4 281.78/275.62 c maximum degree of deleted constraints : 35544716 281.78/275.62 c number of deleted constraints : 94354 281.78/275.63 c speed (assignments/second) : 14042.87524462017 281.78/275.63 c non guided choices : 2210 281.78/275.63 s OPTIMUM FOUND 281.78/275.63 c Found 5 solution(s) 281.78/275.63 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 281.78/275.63 c objective function=3 281.78/275.63 c Total wall clock time (in seconds): 275.479
OK 3
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: 63968 MiB (61748 MiB free)
memory of node 1: 64473 MiB (61955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459701-1721939462/watcher-4459701-1721939462 -o /tmp/evaluation-result-4459701-1721939462/solver-4459701-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721939462-258844 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459701-1721939462.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=258894, runsolver pid=258891
[startup+0.100418 s]*
/proc/loadavg: 0.11 0.10 0.18 7/298 258936
/proc/meminfo: memFree=126548676/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=18975048 memory=63128 CPUtime=0.13 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 7241 0 0 0 12 1 0 0 20 0 18 0 30475290 19430449152 15782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4743762 15782 5646 1 0 549366 0
[pid=258894/tid=258896] ppid=258891 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 5759 0 0 0 7 1 0 0 20 0 18 0 30475291 19430449152 15782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=18975048 memory=1409434 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30475293 19430449152 15782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=18975048 memory=15534111552964070 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30475294 19430449152 15782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63128 KiB
[startup+0.206166 s]*
/proc/loadavg: 0.11 0.10 0.18 11/308 258946
/proc/meminfo: memFree=126525640/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19041612 memory=73076 CPUtime=0.34 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 7943 0 0 0 32 2 0 0 20 0 19 0 30475290 19498610688 18269 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4760403 18269 5884 1 0 550109 0
[pid=258894/tid=258896] ppid=258891 vsize=19041612 memory=3472328300254199927 CPUtime=0.18 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 1077936192 6144 0 0 0 17 1 0 0 20 0 19 0 30475291 19498610688 18269 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19041612 memory=1409434 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30475293 19498610688 18269 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19041612 memory=15534111552964070 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30475294 19498610688 18269 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (java) R 258891 258894 258834 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 30475310 19498610688 18269 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73076 KiB
[startup+0.313417 s]*
/proc/loadavg: 0.11 0.10 0.18 11/319 258966
/proc/meminfo: memFree=126463064/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19041612 memory=106496 CPUtime=0.54 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 9925 0 0 0 52 2 0 0 20 0 19 0 30475290 19498610688 26624 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4760403 26624 5884 1 0 551224 0
[pid=258894/tid=258896] ppid=258891 vsize=19041612 memory=-8599730572356199100 CPUtime=0.28 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 6178 0 0 0 27 1 0 0 20 0 19 0 30475291 19498610688 26624 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30475293 19498610688 26624 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30475294 19498610688 26624 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30475310 19498610688 26624 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106496 KiB
[startup+0.702427 s]
/proc/loadavg: 0.11 0.10 0.18 11/333 258980
/proc/meminfo: memFree=126249872/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=176468 CPUtime=1.28 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 13746 0 0 0 124 4 0 0 20 0 20 0 30475290 19566772224 44117 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 44117 5884 1 0 553987 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=70816 CPUtime=0.6 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 6224 0 0 0 58 2 0 0 20 0 20 0 30475291 19566772224 44117 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 44117 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 44117 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=1932 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 44117 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176468 KiB
[startup+1.50042 s]
/proc/loadavg: 0.11 0.10 0.18 11/336 258983
/proc/meminfo: memFree=125617476/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=578396 CPUtime=2.86 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 25914 0 0 0 272 14 0 0 20 0 20 0 30475290 19566772224 144599 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 144599 5900 1 0 557965 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=12404 CPUtime=1.39 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 6677 0 0 0 129 10 0 0 20 0 20 0 30475291 19566772224 144599 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 144599 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 144599 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=1932 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 144599 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 578396 KiB
[startup+3.10642 s]
/proc/loadavg: 0.11 0.10 0.18 7/336 259052
/proc/meminfo: memFree=123226908/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=1105816 CPUtime=5.8 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 29580 0 0 0 558 22 0 0 20 0 20 0 30475290 19566772224 276454 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 276454 5916 1 0 558013 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=-9103008930226479804 CPUtime=2.93 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 8205 0 0 0 276 17 0 0 20 0 20 0 30475291 19566772224 276454 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 276454 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 276454 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 276454 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1105816 KiB
[startup+6.30023 s]
/proc/loadavg: 0.50 0.18 0.20 5/336 259052
/proc/meminfo: memFree=121082568/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=1750388 CPUtime=9.13 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 30399 0 0 0 877 36 0 0 20 0 20 0 30475290 19566772224 437597 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 437597 5916 1 0 664541 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=0 CPUtime=6.02 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) S 258891 258894 258834 0 -1 1077936192 8675 0 0 0 572 30 0 0 20 0 20 0 30475291 19566772224 437597 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 437597 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 437597 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=1750388 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 437597 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 9.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1750388 KiB
[startup+12.7004 s]
/proc/loadavg: 0.78 0.24 0.22 5/336 259054
/proc/meminfo: memFree=119481920/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=1750492 CPUtime=15.55 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 31022 0 0 0 1519 36 0 0 20 0 20 0 30475290 19566772224 437623 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 437623 5916 1 0 664559 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=1750492 CPUtime=12.22 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 9182 0 0 0 1192 30 0 0 20 0 20 0 30475291 19566772224 437623 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 437623 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 437623 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 437623 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 15.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1750492 KiB
[startup+25.5004 s]
/proc/loadavg: 1.72 0.48 0.30 5/336 259056
/proc/meminfo: memFree=118657176/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=2258004 CPUtime=28.62 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 39117 0 0 0 2813 49 0 0 20 0 20 0 30475290 19566772224 564501 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 564501 5916 1 0 791984 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=0 CPUtime=24.6 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 11853 0 0 0 2419 41 0 0 20 0 20 0 30475291 19566772224 564501 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 564501 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=2255848 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 564501 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=2253780 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 564501 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 28.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2258004 KiB
[startup+51.1064 s]
/proc/loadavg: 2.50 0.76 0.40 5/336 259059
/proc/meminfo: memFree=118396396/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=2309968 CPUtime=54.78 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 49186 0 0 0 5426 52 0 0 20 0 20 0 30475290 19566772224 577492 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 577492 5920 1 0 791984 0
################
# More data... #
################
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 789481 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 228.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3157924 KiB
[startup+275.658 s]
# the end of solver process 258894 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=280.969 s, system=0.875605 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.08 2.30 1.07 5/335 259158
/proc/meminfo: memFree=114819016/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=3164068 CPUtime=236.48 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 75880 0 0 0 23566 82 0 0 20 0 20 0 30475290 19566772224 791017 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 791017 5931 1 0 925726 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=3157924 CPUtime=223.83 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 29592 0 0 0 22328 55 0 0 20 0 20 0 30475291 19566772224 791017 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=-9103008930226479804 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 791017 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 190 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 791017 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=3147680 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 791017 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 236.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3164068 KiB
[startup+256 s]*
/proc/loadavg: 4.12 2.45 1.15 5/335 259162
/proc/meminfo: memFree=114551932/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=3194804 CPUtime=262.2 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 78336 0 0 0 26136 84 0 0 20 0 20 0 30475290 19566772224 798701 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 798701 5931 1 0 925728 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=-9105268422326592188 CPUtime=248.92 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 30555 0 0 0 24837 55 0 0 20 0 20 0 30475291 19566772224 798701 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 798701 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=2474028 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 190 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 798701 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=2652 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 798701 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 262.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3194804 KiB
[startup+268.8 s]
/proc/loadavg: 4.18 2.52 1.19 5/335 259164
/proc/meminfo: memFree=114434812/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=3203008 CPUtime=274.94 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 81296 0 0 0 27409 85 0 0 20 0 20 0 30475290 19566772224 800752 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 800752 5931 1 0 925728 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=3200948 CPUtime=261.35 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 32139 0 0 0 26080 55 0 0 20 0 20 0 30475291 19566772224 800752 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 800752 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 271 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 800752 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 800752 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 274.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3203008 KiB
[startup+272 s]*
/proc/loadavg: 4.16 2.54 1.20 5/335 259165
/proc/meminfo: memFree=114391188/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=3205056 CPUtime=278.15 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 81415 0 0 0 27730 85 0 0 20 0 20 0 30475290 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 801264 5931 1 0 925728 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=-9105268422326592188 CPUtime=264.49 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 32236 0 0 0 26394 55 0 0 20 0 20 0 30475291 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=2648 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 271 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=4664 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 278.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205056 KiB
[startup+273.6 s]
/proc/loadavg: 4.16 2.54 1.20 5/335 259165
/proc/meminfo: memFree=114391188/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=3205056 CPUtime=279.74 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 81415 0 0 0 27889 85 0 0 20 0 20 0 30475290 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 801264 5931 1 0 925728 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=3205056 CPUtime=266.08 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 32236 0 0 0 26553 55 0 0 20 0 20 0 30475291 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=3203008 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 271 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=7264 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 279.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205056 KiB
[startup+274.4 s]
/proc/loadavg: 4.15 2.57 1.22 5/335 259165
/proc/meminfo: memFree=114374804/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=3205056 CPUtime=280.51 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 81485 0 0 0 27966 85 0 0 20 0 20 0 30475290 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 801264 5931 1 0 925728 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=4760 CPUtime=266.78 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 32304 0 0 0 26623 55 0 0 20 0 20 0 30475291 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=7944 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=20288 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 271 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=6932 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 801264 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 280.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205056 KiB
[startup+275.2 s]
/proc/loadavg: 4.15 2.57 1.22 5/335 259165
/proc/meminfo: memFree=114339876/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=3207120 CPUtime=281.36 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 82521 0 0 0 28050 86 0 0 20 0 20 0 30475290 19566772224 801780 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 801780 5931 1 0 925728 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=3203008 CPUtime=267.53 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 32514 0 0 0 26698 55 0 0 20 0 20 0 30475291 19566772224 801780 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=39044 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 801780 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=5444 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 271 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 801780 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=3200948 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 801780 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3207120 KiB
[startup+275.6 s]
/proc/loadavg: 4.15 2.57 1.22 5/335 259165
/proc/meminfo: memFree=114339876/131524600 swapFree=131057124/131071996
[pid=258894] ppid=258891 vsize=19108176 memory=3207128 CPUtime=281.78 cores=0,2
/proc/258894/stat : 258894 (java) S 258891 258894 258834 0 -1 1077936128 82850 0 0 0 28092 86 0 0 20 0 20 0 30475290 19566772224 801782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
/proc/258894/statm: 4777044 801782 5931 1 0 925728 0
[pid=258894/tid=258896] ppid=258891 vsize=19108176 memory=1932 CPUtime=267.93 cores=0,2
/proc/258894/task/258896/stat : 258896 (java) R 258891 258894 258834 0 -1 4194368 32529 0 0 0 26738 55 0 0 20 0 20 0 30475291 19566772224 801782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258906] ppid=258891 vsize=19108176 memory=1832 CPUtime=0 cores=0,2
/proc/258894/task/258906/stat : 258906 (Finalizer) S 258891 258894 258834 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30475293 19566772224 801782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258916] ppid=258891 vsize=19108176 memory=-9103008930226479804 CPUtime=0 cores=0,2
/proc/258894/task/258916/stat : 258916 (Common-Cleaner) S 258891 258894 258834 0 -1 1077936192 271 0 0 0 0 0 0 0 20 0 20 0 30475294 19566772224 801782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
[pid=258894/tid=258946] ppid=258891 vsize=19108176 memory=70816 CPUtime=0 cores=0,2
/proc/258894/task/258946/stat : 258946 (Timer-0) S 258891 258894 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475310 19566772224 801782 134679101440 94560187092992 94560187096688 140736447663120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560187104504 94560187105296 94560197840896 140736447669231 140736447669344 140736447669344 140736447676360 0
Current children cumulated CPU time: 281.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3207128 KiB
Child status: 30
Real time (s): 275.658
CPU time (s): 281.845
CPU user time (s): 280.969
CPU system time (s): 0.875605
CPU usage (%): 102.244
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3207128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.969
system time used= 0.875605
maximum resident set size= 3208660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13721
involuntary context switches= 3165
# summary of solver processes directly reported to runsolver:
# pid: 258894
# total CPU time (s): 281.845
# total CPU user time (s): 280.969
# total CPU system time (s): 0.875605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.631044 second user time and 1.41113 second system time
The end
Begin job on nodeC025 at 2024-07-25 22:31:02 IDJOB=4459701 IDBENCH=148464 IDSOLVER=3046 FILE ID=nodeC025/4459701-1721939462 RUNJOBID= nodeC025-1721939462-258844 SLURM_JOB_ID= 8247246 Free space on /tmp= 890032 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459701-1721939462/watcher-4459701-1721939462 -o /tmp/evaluation-result-4459701-1721939462/solver-4459701-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721939462-258844 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459701-1721939462.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d15a7b77594613e525f13087b0fed45e RANDOM SEED=1503976896 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3125.178 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.769 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 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 : 3507.577 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 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 : 3605.931 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 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 : 3169.851 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 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 : 3691.644 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 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 : 3423.560 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 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 : 3693.851 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126688476 kB MemAvailable: 129621340 kB Buffers: 336964 kB Cached: 3395260 kB SwapCached: 236 kB Active: 2542756 kB Inactive: 1631904 kB Active(anon): 4372 kB Inactive(anon): 490932 kB Active(file): 2538384 kB Inactive(file): 1140972 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057124 kB Dirty: 1920 kB Writeback: 0 kB AnonPages: 442228 kB Mapped: 130964 kB Shmem: 52872 kB KReclaimable: 186660 kB Slab: 311460 kB SReclaimable: 186660 kB SUnreclaim: 124800 kB KernelStack: 4288 kB PageTables: 10284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2879360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 13952 kB HardwareCorrupted: 0 kB AnonHugePages: 264192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 379604 kB DirectMap2M: 40288256 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890028 MiB End job on nodeC025 at 2024-07-25 22:35:38