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 | ? (TO) | 3600.41 | 3413.39 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
| MD5SUM | aa9fde9a58805e0fa430d773484bcae7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 276 |
| Best CPU time to get the best result obtained on this benchmark | 72000.9 |
| 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 | 2700 |
| Total number of constraints | 42620 |
| Number of constraints which are clauses | 20220 |
| Number of constraints which are cardinality constraints (but not clauses) | 800 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 36 |
| Number of terms in the objective function | 900 |
| Biggest coefficient in the objective function | 5 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 2500 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 2500 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.14/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.14/0.17 c This is free software under the dual EPL/GNU LGPL licenses. 0.14/0.17 c See www.sat4j.org for details. 0.14/0.18 c version CUSTOM.v20240707 0.14/0.21 c java.runtime.name OpenJDK Runtime Environment 0.14/0.21 c java.vm.name OpenJDK 64-Bit Server VM 0.14/0.21 c java.vm.version 22.0.1+8-16 0.14/0.21 c java.vm.vendor Oracle Corporation 0.14/0.21 c sun.arch.data.model 64 0.14/0.21 c java.version 22.0.1 0.14/0.21 c os.name Linux 0.14/0.21 c os.version 4.18.0-301.1.el8.x86_64 0.14/0.22 c os.arch amd64 0.14/0.22 c Free memory 2115194816 0.14/0.22 c Max memory 16282288128 0.14/0.22 c Total memory 2122317824 0.14/0.23 c Number of processors 2 0.47/0.40 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.47/0.40 - never skip resolution steps 0.47/0.40 - Auto-division on coefficients is disabled 0.47/0.40 - No postprocessing 0.47/0.40 - Conflict is considered as is when resolving 0.47/0.40 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.47/0.40 - Weaken first using unassigned literals 0.47/0.40 - Bump strategy: ALWAYS_ONE 0.47/0.40 - Bumper: ASSIGNED 0.47/0.40 --- Begin Solver configuration --- 0.47/0.40 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.47/0.40 Learn all clauses as in MiniSAT 0.47/0.40 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.47/0.40 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.47/0.40 No reason simplification 0.47/0.40 Armin Biere (Picosat) restarts strategy 0.47/0.40 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.47/0.40 timeout=2147483s 0.47/0.40 DB Simplification allowed=false 0.47/0.40 Listener: none 0.47/0.40 --- End Solver configuration --- 0.47/0.41 c Pseudo Boolean Optimization by upper bound 0.47/0.41 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.47/0.41 c - never skip resolution steps 0.47/0.41 c - Auto-division on coefficients is disabled 0.47/0.41 c - No postprocessing 0.47/0.41 c - Conflict is considered as is when resolving 0.47/0.41 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.47/0.41 c - Weaken first using unassigned literals 0.47/0.41 c - Bump strategy: ALWAYS_ONE 0.47/0.41 c - Bumper: ASSIGNED 0.47/0.41 c --- Begin Solver configuration --- 0.47/0.41 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.47/0.41 c Learn all clauses as in MiniSAT 0.47/0.41 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.47/0.41 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.47/0.41 c No reason simplification 0.47/0.41 c Armin Biere (Picosat) restarts strategy 0.47/0.41 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.47/0.41 c timeout=2147483s 0.47/0.41 c DB Simplification allowed=false 0.47/0.41 c Listener: none 0.47/0.41 c --- End Solver configuration --- 0.47/0.41 c solving HOME/instance-4427366-1720994536.opb 0.47/0.41 c reading problem ... 0.47/0.42 c objective function found 2.70/1.56 c ... done. Wall clock time 1.139s. 2.70/1.56 c declared #vars 2700 2.70/1.56 c #constraints 43070 2.70/1.56 c constraints type 2.70/1.56 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330 2.70/1.56 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800 2.70/1.56 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 21600 2.70/1.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340 2.70/1.56 c 43070 constraints processed. 2.70/1.56 c objective function length is 900 literals 5.07/2.79 c SATISFIABLE 5.07/2.79 c OPTIMIZING... 5.07/2.79 c Got one! Elapsed wall clock time (in seconds):2.38 5.07/2.79 o 414 8.75/4.68 c Got one! Elapsed wall clock time (in seconds):4.263 8.75/4.68 o 408 10.74/6.17 c Got one! Elapsed wall clock time (in seconds):5.763 10.74/6.17 o 398 12.72/7.83 c Got one! Elapsed wall clock time (in seconds):7.424 12.72/7.83 o 390 19.24/14.09 c cleaning 3621 clauses out of 7261 with flag 0/7261 21.08/15.58 c Got one! Elapsed wall clock time (in seconds):15.169 21.08/15.58 o 388 24.10/18.53 c Got one! Elapsed wall clock time (in seconds):18.127 24.10/18.53 o 384 30.35/24.59 c Got one! Elapsed wall clock time (in seconds):24.178 30.35/24.59 o 380 31.61/25.63 c cleaning 4929 clauses out of 9866 with flag 0/13487 31.96/25.81 c Got one! Elapsed wall clock time (in seconds):25.405 31.96/25.81 o 372 35.94/29.64 c Got one! Elapsed wall clock time (in seconds):29.224 35.94/29.64 o 370 46.48/39.88 c cleaning 5195 clauses out of 10425 with flag 0/18975 75.81/68.54 c cleaning 5598 clauses out of 11230 with flag 0/24975 119.96/111.44 c cleaning 6295 clauses out of 12633 with flag 0/31976 131.22/122.47 c Got one! Elapsed wall clock time (in seconds):122.059 131.22/122.47 o 368 132.12/123.32 c cleaning 5699 clauses out of 11766 with flag 0/37404 157.25/147.89 c cleaning 5206 clauses out of 12067 with flag 0/43404 185.22/175.16 c cleaning 6047 clauses out of 13861 with flag 0/50404 187.50/177.42 c Got one! Elapsed wall clock time (in seconds):177.016 187.50/177.42 o 364 195.27/184.90 c cleaning 4236 clauses out of 12849 with flag 0/55439 224.79/213.73 c cleaning 5275 clauses out of 14615 with flag 0/61441 281.18/269.07 c cleaning 6229 clauses out of 16339 with flag 0/68440 328.49/315.28 c cleaning 7013 clauses out of 18112 with flag 0/76442 329.79/316.59 c Got one! Elapsed wall clock time (in seconds):316.178 329.79/316.59 o 362 341.12/327.56 c cleaning 4774 clauses out of 16797 with flag 0/82140 373.91/359.51 c cleaning 5298 clauses out of 18022 with flag 0/88139 384.84/370.16 c Got one! Elapsed wall clock time (in seconds):369.752 384.84/370.16 o 358 400.45/385.42 c cleaning 4985 clauses out of 18524 with flag 0/93939 449.66/432.58 c cleaning 5322 clauses out of 19539 with flag 0/99939 515.23/497.46 c cleaning 6301 clauses out of 21216 with flag 0/106938 576.87/558.00 c cleaning 6997 clauses out of 22916 with flag 0/114939 634.74/614.74 c cleaning 7933 clauses out of 24919 with flag 0/123939 697.22/676.28 c Got one! Elapsed wall clock time (in seconds):675.878 697.22/676.28 o 356 709.81/688.69 c cleaning 11455 clauses out of 30529 with flag 0/137482 732.64/710.98 c cleaning 5142 clauses out of 25074 with flag 0/143482 793.33/770.52 c cleaning 6223 clauses out of 26934 with flag 0/150484 854.42/828.72 c cleaning 7102 clauses out of 28709 with flag 0/158482 960.70/933.59 c cleaning 8009 clauses out of 30609 with flag 0/167484 1057.51/1028.74 c cleaning 8910 clauses out of 32598 with flag 0/177482 1162.90/1132.98 c cleaning 9681 clauses out of 34689 with flag 0/188483 1239.85/1208.24 c cleaning 10534 clauses out of 37009 with flag 0/200484 1419.82/1377.38 c cleaning 11383 clauses out of 39473 with flag 0/213482 1557.04/1501.89 c cleaning 11900 clauses out of 42090 with flag 0/227482 1776.85/1704.93 c cleaning 13110 clauses out of 45190 with flag 0/242482 2051.10/1965.40 c cleaning 13891 clauses out of 48080 with flag 0/258482 2227.42/2134.98 c cleaning 14895 clauses out of 51190 with flag 0/275483 2552.58/2440.82 c cleaning 15837 clauses out of 54294 with flag 0/293482 2841.71/2709.27 c cleaning 16994 clauses out of 57459 with flag 0/312484 3171.34/3010.07 c cleaning 17887 clauses out of 60465 with flag 0/332484 3507.43/3324.07 c Got one! Elapsed wall clock time (in seconds):3323.666 3507.43/3324.07 o 354 3536.76/3352.69 c cleaning 18443 clauses out of 63603 with flag 0/353509 3546.72/3360.96 c cleaning 4894 clauses out of 51159 with flag 0/359508 3556.77/3370.86 c cleaning 5679 clauses out of 53268 with flag 0/366511 3569.66/3383.58 c cleaning 6613 clauses out of 55587 with flag 0/374509 3570.56/3384.47 c Got one! Elapsed wall clock time (in seconds):3384.066 3570.56/3384.47 o 314 3575.15/3388.97 c cleaning 4167 clauses out of 54072 with flag 0/379607 3584.01/3397.61 c cleaning 4820 clauses out of 55905 with flag 0/385607 3600.06/3413.22 c starts : 158 3600.06/3413.26 c conflicts : 392268 3600.06/3413.26 c decisions : 629724 3600.06/3413.26 c propagations : 46686870 3600.06/3413.26 c inspects : 2028330240 3600.06/3413.26 c shortcuts : 0 3600.06/3413.26 c learnt literals : 0 3600.06/3413.26 c learnt binary clauses : 0 3600.06/3413.26 c learnt ternary clauses : 0 3600.06/3413.26 c learnt constraints : 392268 3600.06/3413.26 c ignored constraints : 0 3600.06/3413.26 c root simplifications : 0 3600.06/3413.26 c removed literals (reason simplification) : 0 3600.06/3413.26 c reason swapping (by a shorter reason) : 0 3600.06/3413.26 c Calls to reduceDB : 41 3600.06/3413.26 c Number of update (reduction) of LBD : 22299 3600.06/3413.26 c Imported unit clauses : 0 3600.06/3413.26 c No decision after first conflict : false 3600.06/3413.26 c number of reductions to clauses (during analyze) : 0 3600.06/3413.27 c number of learned constraints concerned by reduction : 0 3600.06/3413.27 c number of learning phase by resolution : 0 3600.06/3413.27 c number of learning phase by cutting planes : 0 3600.06/3413.27 c number of rounding to 1 operations : 1566024 3600.06/3413.27 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3413.27 c number of reductions of the coefficients by power 2 : 0 3600.06/3413.27 c number of right shift for reduction by power 2 : 0 3600.06/3413.27 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3413.27 c number of ending skipping : 0 3600.06/3413.27 c number of internal skipping : 0 3600.06/3413.27 c number of derivation steps : 10056032 3600.06/3413.27 c number of skipped derivation steps : 0 3600.06/3413.27 c number of remaining unassigned : 59377 3600.06/3413.27 c number of remaining assigned : 195235919 3600.06/3413.27 c number of falsified literals weakened from reason : 0 3600.06/3413.27 c number of falsified literals weakened from conflict : 0 3600.06/3413.27 c time for arithmetic operations : 21218838258 3600.06/3413.27 c minimum degree of deleted constraints : 4 3600.06/3413.27 c maximum degree of deleted constraints : 174459992 3600.06/3413.27 c number of deleted constraints : 334522 3600.06/3413.27 c speed (assignments/second) : 13684.354149855628 3600.25/3413.32 c non guided choices : 1087 3600.25/3413.35 c timeout 3600.25/3413.35 Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null 3600.25/3413.36 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962) 3600.25/3413.36 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108) 3600.25/3413.36 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099) 3600.25/3413.36 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180) 3600.25/3413.36 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.25/3413.36 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.25/3413.36 at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)
ERROR: no interpretation found !
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: 64059 MiB (63364 MiB free)
memory of node 1: 64510 MiB (61614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427366-1720994536/watcher-4427366-1720994536 -o /tmp/evaluation-result-4427366-1720994536/solver-4427366-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720994549-762763 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427366-1720994536.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=762835, runsolver pid=762828
Current StackSize limit: 8192 KiB
[startup+0.104323 s]*
/proc/loadavg: 0.10 0.09 0.09 11/312 762891
/proc/meminfo: memFree=127877844/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=18975048 memory=56200 CPUtime=0.14 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 6450 0 0 0 11 3 0 0 20 0 18 0 151610601 19430449152 14050 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4743762 14050 5698 1 0 550815 0
[pid=762835/tid=762841] ppid=762828 vsize=18975048 memory=4026561586 CPUtime=0.1 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) S 762828 762835 762750 0 -1 1077936192 5389 0 0 0 7 3 0 0 20 0 18 0 151610602 19430449152 14050 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151610608 19430449152 14050 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=18975048 memory=14130048156386720 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151610609 19430449152 14050 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56200 KiB
[startup+0.227156 s]*
/proc/loadavg: 0.10 0.09 0.09 12/312 762891
/proc/meminfo: memFree=127855456/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=18975048 memory=61000 CPUtime=0.33 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 7145 0 0 0 28 5 0 0 20 0 18 0 151610601 19430449152 15250 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4743762 15250 5706 1 0 551374 0
[pid=762835/tid=762841] ppid=762828 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) S 762828 762835 762750 0 -1 1077936192 5722 0 0 0 17 3 0 0 20 0 18 0 151610602 19430449152 15250 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=18975048 memory=657 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151610608 19430449152 15250 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=18975048 memory=15260341814695506 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151610609 19430449152 15250 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61000 KiB
[startup+0.323153 s]*
/proc/loadavg: 0.10 0.09 0.09 12/312 762891
/proc/meminfo: memFree=127843232/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=18975048 memory=63884 CPUtime=0.47 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 7383 0 0 0 42 5 0 0 20 0 18 0 151610601 19430449152 15971 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4743762 15971 5716 1 0 551545 0
[pid=762835/tid=762841] ppid=762828 vsize=18975048 memory=-8600576122550657724 CPUtime=0.28 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 5866 0 0 0 25 3 0 0 20 0 18 0 151610602 19430449152 15971 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151610608 19430449152 15971 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151610609 19430449152 15971 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63884 KiB
[startup+0.701544 s]
/proc/loadavg: 0.10 0.09 0.09 13/312 762891
/proc/meminfo: memFree=127812456/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=18975048 memory=138612 CPUtime=1.16 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 9040 0 0 0 107 9 0 0 20 0 18 0 151610601 19430449152 34653 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4743762 34653 5838 1 0 552570 0
[pid=762835/tid=762841] ppid=762828 vsize=18975048 memory=5524 CPUtime=0.56 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 6096 0 0 0 50 6 0 0 20 0 18 0 151610602 19430449152 34653 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=18975048 memory=12556 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151610608 19430449152 34653 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151610609 19430449152 34653 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 138612 KiB
[startup+1.50114 s]
/proc/loadavg: 0.10 0.09 0.09 12/316 762895
/proc/meminfo: memFree=127250564/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19041612 memory=656648 CPUtime=2.7 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 20313 0 0 0 243 27 0 0 20 0 19 0 151610601 19498610688 164162 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4760403 164162 5870 1 0 558563 0
[pid=762835/tid=762841] ppid=762828 vsize=19041612 memory=12556 CPUtime=1.28 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 6346 0 0 0 107 21 0 0 20 0 19 0 151610602 19498610688 164162 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151610608 19498610688 164162 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151610609 19498610688 164162 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 656648 KiB
[startup+3.10615 s]
/proc/loadavg: 0.90 0.25 0.14 10/320 763034
/proc/meminfo: memFree=125938532/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=899908 CPUtime=5.87 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 22855 0 0 0 553 34 0 0 20 0 20 0 151610601 19566772224 224977 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 224977 5908 1 0 1088361 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=198340509722 CPUtime=2.64 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 6581 0 0 0 239 25 0 0 20 0 20 0 151610602 19566772224 224977 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 224977 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=12556 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 224977 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=687224 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 224977 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 899908 KiB
[startup+6.30114 s]
/proc/loadavg: 0.90 0.25 0.14 6/320 763034
/proc/meminfo: memFree=122921964/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=1920632 CPUtime=10.99 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 24773 0 0 0 1044 55 0 0 20 0 20 0 151610601 19566772224 480158 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 480158 5908 1 0 1253693 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=0 CPUtime=5.64 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 7146 0 0 0 520 44 0 0 20 0 20 0 151610602 19566772224 480158 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=12556 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 480158 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=879164 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 480158 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=659208 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 480158 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 10.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1920632 KiB
[startup+12.7005 s]
/proc/loadavg: 1.14 0.31 0.16 7/320 763035
/proc/meminfo: memFree=121783264/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=2005456 CPUtime=17.88 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 29660 0 0 0 1730 58 0 0 20 0 20 0 151610601 19566772224 501364 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 501364 5923 1 0 1253697 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=659208 CPUtime=11.81 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 8799 0 0 0 1136 45 0 0 20 0 20 0 151610602 19566772224 501364 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=-8600576122550657724 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 501364 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 501364 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=1615084 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 501364 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 17.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2005456 KiB
[startup+25.5005 s]
/proc/loadavg: 1.93 0.53 0.24 6/320 763037
/proc/meminfo: memFree=119065080/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3457884 CPUtime=31.45 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 37825 0 0 0 3056 89 0 0 20 0 20 0 151610601 19566772224 864471 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 864471 5923 1 0 1253749 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=0 CPUtime=24.17 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 12691 0 0 0 2345 72 0 0 20 0 20 0 151610602 19566772224 864471 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=1615084 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 864471 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=3402480 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 864471 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=3402440 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 864471 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 31.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3457884 KiB
[startup+51.1133 s]
/proc/loadavg: 2.75 0.84 0.35 5/320 763040
/proc/meminfo: memFree=117846068/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3692956 CPUtime=58.34 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 46667 0 0 0 5737 97 0 0 20 0 20 0 151610601 19566772224 923239 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 923239 5923 1 0 1254038 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=3498080 CPUtime=48.73 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 15163 0 0 0 4800 73 0 0 20 0 20 0 151610602 19566772224 923239 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 923239 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=11404 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 923239 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=12556 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 923239 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.30 4.28 4.14 5/319 764738
/proc/meminfo: memFree=111584144/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3881280 CPUtime=3268.55 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 446064 0 0 0 326369 486 0 0 20 0 20 0 151610601 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 970320 5963 1 0 982108 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=3881276 CPUtime=3021.66 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 147891 0 0 0 302031 135 0 0 20 0 20 0 151610602 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=3881276 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=11404 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 2137 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=11404 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 3268.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3881280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.30 4.28 4.15 5/320 764751
/proc/meminfo: memFree=111583764/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3881280 CPUtime=3330.73 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 446837 0 0 0 332582 491 0 0 20 0 20 0 151610601 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 970320 5963 1 0 982108 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=3881276 CPUtime=3080.18 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 148387 0 0 0 307883 135 0 0 20 0 20 0 151610602 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=3881276 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=3881280 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 2191 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=38920 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 970320 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 3330.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3881280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.29 4.16 5/319 765143
/proc/meminfo: memFree=111582772/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3881284 CPUtime=3396.22 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 447822 0 0 0 339123 499 0 0 20 0 20 0 151610601 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 970321 5963 1 0 982108 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=3881276 CPUtime=3138.64 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 149180 0 0 0 313728 136 0 0 20 0 20 0 151610602 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=3881276 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=3881284 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 2191 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=3881284 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 3396.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3881284 KiB
[startup+3282.3 s]
/proc/loadavg: 5.09 4.51 4.25 6/319 765153
/proc/meminfo: memFree=111580552/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3881284 CPUtime=3462.69 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 464863 0 0 0 345762 507 0 0 20 0 20 0 151610601 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 970321 5963 1 0 982108 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=3881284 CPUtime=3197.25 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 152618 0 0 0 319588 137 0 0 20 0 20 0 151610602 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=11404 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=11404 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 2273 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 970321 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 3462.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3881284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.64 4.52 4.27 5/319 765164
/proc/meminfo: memFree=111579204/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3882352 CPUtime=3526.23 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 466626 0 0 0 352111 512 0 0 20 0 20 0 151610601 19566772224 970588 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 970588 5963 1 0 982253 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=38920 CPUtime=3255.6 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 153443 0 0 0 325423 137 0 0 20 0 20 0 151610602 19566772224 970588 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=3882304 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 970588 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=38920 CPUtime=0 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 2273 0 0 0 0 0 0 0 20 0 20 0 151610609 19566772224 970588 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=11404 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 970588 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 3526.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3882352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.36 4.46 4.27 5/322 765345
/proc/meminfo: memFree=111578184/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3882444 CPUtime=3588.79 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 469451 0 0 0 358363 516 0 0 20 0 20 0 151610601 19566772224 970611 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 970611 5963 1 0 982272 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=3882304 CPUtime=3313.81 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 155886 0 0 0 331244 137 0 0 20 0 20 0 151610602 19566772224 970611 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=3881284 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 970611 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=11404 CPUtime=0.01 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 2273 0 0 0 1 0 0 0 20 0 20 0 151610609 19566772224 970611 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=3882360 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 970611 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 3588.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3882444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3413.2 s]
/proc/loadavg: 4.28 4.44 4.26 6/322 765346
/proc/meminfo: memFree=111578280/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19108176 memory=3882480 CPUtime=3600.06 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 471602 0 0 0 359489 517 0 0 20 0 20 0 151610601 19566772224 970620 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4777044 970620 5963 1 0 982272 0
[pid=762835/tid=762841] ppid=762828 vsize=19108176 memory=38920 CPUtime=3324.24 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 156460 0 0 0 332287 137 0 0 20 0 20 0 151610602 19566772224 970620 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19108176 memory=12556 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610608 19566772224 970620 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19108176 memory=5524 CPUtime=0.01 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 2273 0 0 0 1 0 0 0 20 0 20 0 151610609 19566772224 970620 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762980] ppid=762828 vsize=19108176 memory=16140 CPUtime=0 cores=5,7
/proc/762835/task/762980/stat : 762980 (Timer-0) S 762828 762835 762750 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610758 19566772224 970620 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3882480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3413.39 s]
# the end of solver process 762835 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.22 s, system=5.19122 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3413.3 s]
/proc/loadavg: 4.28 4.44 4.26 6/322 765346
/proc/meminfo: memFree=111578280/131655788 swapFree=131071996/131071996
[pid=762835] ppid=762828 vsize=19307868 memory=3883444 CPUtime=3600.25 cores=5,7
/proc/762835/stat : 762835 (java) S 762828 762835 762750 0 -1 1077936128 474736 0 0 0 359508 517 0 0 20 0 21 0 151610601 19771256832 970861 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
/proc/762835/statm: 4826967 970861 5962 1 0 983268 0
[pid=762835/tid=762841] ppid=762828 vsize=19307868 memory=3882304 CPUtime=3324.34 cores=5,7
/proc/762835/task/762841/stat : 762841 (java) R 762828 762835 762750 0 -1 4194368 156564 0 0 0 332297 137 0 0 20 0 21 0 151610602 19771256832 970861 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762884] ppid=762828 vsize=19307868 memory=3881284 CPUtime=0 cores=5,7
/proc/762835/task/762884/stat : 762884 (Finalizer) S 762828 762835 762750 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151610608 19771256832 970861 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
[pid=762835/tid=762891] ppid=762828 vsize=19307868 memory=11404 CPUtime=0.01 cores=5,7
/proc/762835/task/762891/stat : 762891 (Common-Cleaner) S 762828 762835 762750 0 -1 1077936192 2273 0 0 0 1 0 0 0 20 0 21 0 151610609 19771256832 970861 134679101440 94549442441216 94549442444912 140730387364640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549442452728 94549442453520 94549453889536 140730387370992 140730387371105 140730387371105 140730387378120 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3883444 KiB
Child status: 143
Real time (s): 3413.39
CPU time (s): 3600.41
CPU user time (s): 3595.22
CPU system time (s): 5.19122
CPU usage (%): 105.479
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4964796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.22
system time used= 5.19122
maximum resident set size= 4964800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474980
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127947
involuntary context switches= 15474
# summary of solver processes directly reported to runsolver:
# pid: 762835
# total CPU time (s): 3600.41
# total CPU user time (s): 3595.22
# total CPU system time (s): 5.19122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2922 second user time and 34.0611 second system time
The end
Begin job on nodeC012 at 2024-07-15 00:02:29 IDJOB=4427366 IDBENCH=147019 IDSOLVER=3046 FILE ID=nodeC012/4427366-1720994536 RUNJOBID= nodeC012-1720994549-762763 SLURM_JOB_ID= 7505313 Free space on /tmp= 723776 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427366-1720994536/watcher-4427366-1720994536 -o /tmp/evaluation-result-4427366-1720994536/solver-4427366-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720994549-762763 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427366-1720994536.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7 RANDOM SEED=1909944225 nodeC012.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 : 0xb00001f cpu MHz : 1197.366 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.320 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.322 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.378 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.559 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.323 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.320 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.327 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128017364 kB MemAvailable: 129934844 kB Buffers: 338228 kB Cached: 2400392 kB SwapCached: 0 kB Active: 509464 kB Inactive: 2564252 kB Active(anon): 1352 kB Inactive(anon): 371468 kB Active(file): 508112 kB Inactive(file): 2192784 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6236 kB Writeback: 12 kB AnonPages: 334896 kB Mapped: 102384 kB Shmem: 37704 kB KReclaimable: 113232 kB Slab: 209892 kB SReclaimable: 113232 kB SUnreclaim: 96660 kB KernelStack: 3792 kB PageTables: 10416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 743628 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 49152 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 244552 kB DirectMap2M: 15388672 kB DirectMap1G: 120586240 kB Free space on /tmp at the end= 723776 MiB End job on nodeC012 at 2024-07-15 00:59:22