Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | ? (TO) | 3600.52 | 3520.27 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb |
| MD5SUM | 06b87d46bf38d4b028e9a0f41f22c2e8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 49.4743 |
| 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 | 650 |
| Total number of constraints | 72640 |
| Number of constraints which are clauses | 72620 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 20 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 20 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 22 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.22 c java.vm.name OpenJDK 64-Bit Server VM 0.14/0.22 c java.vm.version 22.0.1+8-16 0.14/0.22 c java.vm.vendor Oracle Corporation 0.14/0.22 c sun.arch.data.model 64 0.14/0.22 c java.version 22.0.1 0.14/0.22 c os.name Linux 0.14/0.22 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.31/0.23 c Number of processors 2 0.48/0.41 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.48/0.41 - never skip resolution steps 0.48/0.41 - Auto-division on coefficients is disabled 0.48/0.41 - No postprocessing 0.48/0.41 - Conflict is considered as is when resolving 0.48/0.41 - Use constraints as they come during conflict analysis 0.48/0.41 - Weaken first using unassigned literals 0.48/0.41 - Bump strategy: ALWAYS_ONE 0.48/0.41 - Bumper: EFFECTIVE 0.48/0.41 --- Begin Solver configuration --- 0.48/0.41 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.48/0.41 Learn all clauses as in MiniSAT 0.48/0.41 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.48/0.41 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.48/0.41 No reason simplification 0.48/0.41 Dynamic restart strategy considering the size of the coefficients 0.48/0.41 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.48/0.41 timeout=2147483s 0.48/0.41 DB Simplification allowed=false 0.48/0.41 Listener: none 0.48/0.41 --- End Solver configuration --- 0.48/0.42 c Pseudo Boolean Optimization by upper bound 0.48/0.42 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.48/0.42 c - never skip resolution steps 0.48/0.42 c - Auto-division on coefficients is disabled 0.48/0.42 c - No postprocessing 0.48/0.42 c - Conflict is considered as is when resolving 0.48/0.42 c - Use constraints as they come during conflict analysis 0.48/0.42 c - Weaken first using unassigned literals 0.48/0.42 c - Bump strategy: ALWAYS_ONE 0.48/0.42 c - Bumper: EFFECTIVE 0.48/0.42 c --- Begin Solver configuration --- 0.48/0.42 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.48/0.42 c Learn all clauses as in MiniSAT 0.48/0.42 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.48/0.42 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.48/0.42 c No reason simplification 0.48/0.42 c Dynamic restart strategy considering the size of the coefficients 0.48/0.42 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.48/0.42 c timeout=2147483s 0.48/0.42 c DB Simplification allowed=false 0.48/0.42 c Listener: none 0.48/0.42 c --- End Solver configuration --- 0.48/0.42 c solving HOME/instance-4449716-1721399505.opb 0.48/0.42 c reading problem ... 0.48/0.42 c objective function found 2.13/1.23 c ... done. Wall clock time 0.809s. 2.13/1.23 c declared #vars 650 2.13/1.23 c #constraints 72640 2.13/1.23 c constraints type 2.13/1.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 20 2.13/1.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 2.13/1.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 72600 2.13/1.23 c 72640 constraints processed. 2.13/1.24 c objective function length is 20 literals 2.33/1.35 c SATISFIABLE 2.33/1.35 c OPTIMIZING... 2.33/1.35 c Got one! Elapsed wall clock time (in seconds):0.935 2.33/1.35 o 20 2.52/1.47 c Got one! Elapsed wall clock time (in seconds):1.055 2.52/1.47 o 19 2.71/1.59 c Got one! Elapsed wall clock time (in seconds):1.172 2.71/1.59 o 18 8.92/4.89 c cleaning 2648 clauses out of 5296 with flag 0/5296 13.05/8.10 c cleaning 4319 clauses out of 8651 with flag 0/11299 16.33/10.92 c cleaning 5647 clauses out of 11328 with flag 0/18295 19.43/13.84 c cleaning 6840 clauses out of 13681 with flag 0/26295 22.84/16.99 c cleaning 7917 clauses out of 15841 with flag 0/35295 27.03/20.77 c cleaning 8965 clauses out of 17932 with flag 0/45303 31.03/24.75 c cleaning 9957 clauses out of 19959 with flag 0/56295 35.52/29.14 c cleaning 10655 clauses out of 22002 with flag 0/68295 40.84/34.30 c cleaning 11774 clauses out of 24347 with flag 0/81295 46.28/39.76 c cleaning 12807 clauses out of 26573 with flag 0/95295 52.64/45.93 c cleaning 13772 clauses out of 28766 with flag 0/110295 61.19/52.89 c cleaning 14855 clauses out of 30994 with flag 0/126295 81.36/72.79 c cleaning 16450 clauses out of 33142 with flag 0/143298 94.78/85.81 c cleaning 16718 clauses out of 34706 with flag 0/161312 104.07/94.87 c cleaning 17807 clauses out of 36971 with flag 0/180295 123.55/113.82 c cleaning 19558 clauses out of 39168 with flag 0/200299 142.63/132.32 c cleaning 19598 clauses out of 40606 with flag 0/221295 164.41/153.66 c cleaning 20851 clauses out of 43010 with flag 0/243297 187.30/175.91 c cleaning 21820 clauses out of 45157 with flag 0/266295 209.50/197.91 c cleaning 22873 clauses out of 47338 with flag 0/290296 232.09/219.90 c cleaning 23935 clauses out of 49467 with flag 0/315298 254.91/242.48 c cleaning 24937 clauses out of 51530 with flag 0/341296 285.86/272.80 c cleaning 25919 clauses out of 53593 with flag 0/368296 312.15/299.07 c cleaning 26998 clauses out of 55674 with flag 0/396296 339.25/325.64 c cleaning 27969 clauses out of 57675 with flag 0/425295 361.10/347.02 c cleaning 28956 clauses out of 59709 with flag 0/455298 386.68/372.09 c cleaning 29939 clauses out of 61750 with flag 0/486295 409.76/394.91 c cleaning 30962 clauses out of 63812 with flag 0/518296 446.21/430.53 c cleaning 31974 clauses out of 65849 with flag 0/551295 474.40/458.14 c cleaning 32968 clauses out of 67877 with flag 0/585297 504.00/487.13 c cleaning 33938 clauses out of 69909 with flag 0/620297 555.77/537.82 c cleaning 34946 clauses out of 71969 with flag 0/656295 586.12/567.66 c cleaning 35905 clauses out of 74024 with flag 0/693296 617.91/599.01 c cleaning 36962 clauses out of 76118 with flag 0/731295 654.49/634.79 c cleaning 37967 clauses out of 78157 with flag 0/770296 692.22/671.60 c cleaning 38927 clauses out of 80189 with flag 0/810295 729.98/708.77 c cleaning 39926 clauses out of 82262 with flag 0/851295 769.71/747.35 c cleaning 40922 clauses out of 84336 with flag 0/893295 803.48/780.62 c cleaning 41899 clauses out of 86415 with flag 0/936296 834.47/811.37 c cleaning 42925 clauses out of 88515 with flag 0/980295 871.85/848.03 c cleaning 43926 clauses out of 90591 with flag 0/1025296 915.04/890.66 c cleaning 44895 clauses out of 92664 with flag 0/1071295 957.90/932.56 c cleaning 45917 clauses out of 94769 with flag 0/1118295 999.94/974.05 c cleaning 46874 clauses out of 96857 with flag 0/1166300 1041.11/1015.04 c cleaning 47946 clauses out of 98981 with flag 0/1215298 1091.42/1064.30 c cleaning 48898 clauses out of 101032 with flag 0/1265295 1147.45/1119.46 c cleaning 49919 clauses out of 103134 with flag 0/1316295 1194.43/1165.89 c cleaning 50924 clauses out of 105215 with flag 0/1368295 1242.89/1213.76 c cleaning 51886 clauses out of 107291 with flag 0/1421295 1297.00/1267.32 c cleaning 52897 clauses out of 109406 with flag 0/1475296 1348.16/1317.45 c cleaning 53890 clauses out of 111513 with flag 0/1530300 1398.96/1367.31 c cleaning 54871 clauses out of 113618 with flag 0/1586295 1455.67/1423.03 c cleaning 55836 clauses out of 115747 with flag 0/1643295 1509.23/1475.36 c cleaning 56890 clauses out of 117912 with flag 0/1701296 1568.36/1532.88 c cleaning 57834 clauses out of 120021 with flag 0/1760295 1627.48/1591.01 c cleaning 58849 clauses out of 122187 with flag 0/1820295 1689.75/1652.25 c cleaning 59869 clauses out of 124338 with flag 0/1881295 1751.01/1712.50 c cleaning 60862 clauses out of 126471 with flag 0/1943297 1806.63/1767.28 c cleaning 61874 clauses out of 128607 with flag 0/2006295 1872.40/1831.81 c cleaning 62855 clauses out of 130733 with flag 0/2070295 1937.68/1896.01 c cleaning 63905 clauses out of 132878 with flag 0/2135295 2010.38/1967.22 c cleaning 64774 clauses out of 134973 with flag 0/2201295 2070.24/2026.14 c cleaning 65846 clauses out of 137199 with flag 0/2268295 2132.23/2087.13 c cleaning 66856 clauses out of 139354 with flag 0/2336296 2198.06/2152.09 c cleaning 67868 clauses out of 141497 with flag 0/2405295 2269.58/2222.59 c cleaning 68892 clauses out of 143631 with flag 0/2475297 2328.77/2280.87 c cleaning 69901 clauses out of 145737 with flag 0/2546295 2412.02/2363.05 c cleaning 70903 clauses out of 147836 with flag 0/2618295 2489.65/2439.47 c cleaning 71828 clauses out of 149933 with flag 0/2691295 2572.28/2520.38 c cleaning 72842 clauses out of 152105 with flag 0/2765295 2644.59/2591.45 c cleaning 73877 clauses out of 154263 with flag 0/2840295 2717.06/2662.71 c cleaning 74849 clauses out of 156386 with flag 0/2916295 2794.00/2738.44 c cleaning 75798 clauses out of 158539 with flag 0/2993297 2866.53/2810.09 c cleaning 76827 clauses out of 160740 with flag 0/3071296 2948.52/2890.75 c cleaning 77808 clauses out of 162912 with flag 0/3150295 3024.51/2965.42 c cleaning 78889 clauses out of 165104 with flag 0/3230295 3110.85/3050.24 c cleaning 79825 clauses out of 167215 with flag 0/3311295 3186.58/3124.70 c cleaning 80934 clauses out of 169393 with flag 0/3393298 3270.27/3207.05 c cleaning 81894 clauses out of 171456 with flag 0/3476295 3396.83/3321.69 c cleaning 82801 clauses out of 173562 with flag 0/3560295 3484.70/3407.48 c cleaning 83919 clauses out of 175767 with flag 0/3645301 3575.83/3496.29 c cleaning 84829 clauses out of 177845 with flag 0/3731298 3600.06/3520.04 c starts : 1195 3600.06/3520.06 c conflicts : 3764919 3600.06/3520.06 c decisions : 17804029 3600.06/3520.06 c propagations : 174760867 3600.06/3520.06 c inspects : 5806976016 3600.06/3520.06 c shortcuts : 0 3600.06/3520.06 c learnt literals : 0 3600.06/3520.06 c learnt binary clauses : 0 3600.06/3520.06 c learnt ternary clauses : 67098 3600.06/3520.06 c learnt constraints : 3764918 3600.06/3520.06 c ignored constraints : 0 3600.06/3520.06 c root simplifications : 0 3600.06/3520.06 c removed literals (reason simplification) : 0 3600.06/3520.06 c reason swapping (by a shorter reason) : 0 3600.06/3520.06 c Calls to reduceDB : 82 3600.06/3520.06 c Number of update (reduction) of LBD : 5408313 3600.06/3520.06 c Imported unit clauses : 0 3600.06/3520.08 c No decision after first conflict : false 3600.06/3520.09 c number of reductions to clauses (during analyze) : 0 3600.06/3520.09 c number of learned constraints concerned by reduction : 0 3600.06/3520.09 c number of learning phase by resolution : 0 3600.06/3520.09 c number of learning phase by cutting planes : 0 3600.06/3520.09 c number of rounding to 1 operations : 0 3600.06/3520.09 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3520.09 c number of reductions of the coefficients by power 2 : 0 3600.06/3520.09 c number of right shift for reduction by power 2 : 0 3600.06/3520.09 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3520.09 c number of ending skipping : 0 3600.06/3520.09 c number of internal skipping : 0 3600.06/3520.09 c number of derivation steps : 51068649 3600.06/3520.09 c number of skipped derivation steps : 0 3600.06/3520.09 c number of remaining unassigned : 12520 3600.06/3520.09 c number of remaining assigned : 954009587 3600.06/3520.09 c number of falsified literals weakened from reason : 0 3600.06/3520.09 c number of falsified literals weakened from conflict : 0 3600.06/3520.09 c time for arithmetic operations : 6323063320 3600.06/3520.10 c minimum degree of deleted constraints : 1 3600.06/3520.10 c maximum degree of deleted constraints : 206215100 3600.06/3520.10 c number of deleted constraints : 3638282 3600.06/3520.10 c speed (assignments/second) : 49664.14264416768 3600.06/3520.10 c non guided choices : 1293 3600.42/3520.23 c timeout 3600.42/3520.23 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.42/3520.24 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962) 3600.42/3520.24 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108) 3600.42/3520.24 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099) 3600.42/3520.24 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180) 3600.42/3520.24 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.42/3520.24 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.42/3520.24 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 (62836 MiB free)
memory of node 1: 64510 MiB (61709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449716-1721399505/watcher-4449716-1721399505 -o /tmp/evaluation-result-4449716-1721399505/solver-4449716-1721399505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721399517-1008280 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4449716-1721399505.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1008354, runsolver pid=1008350
Current StackSize limit: 8192 KiB
[startup+0.10661 s]*
/proc/loadavg: 0.44 0.17 0.11 12/314 1008409
/proc/meminfo: memFree=127447580/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=18975048 memory=57088 CPUtime=0.14 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 6351 0 0 0 10 4 0 0 20 0 18 0 192106917 19430449152 14272 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4743762 14272 5565 1 0 550811 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 5275 0 0 0 6 2 0 0 20 0 18 0 192106918 19430449152 14343 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192106924 19430449152 14343 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192106925 19430449152 14343 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57088 KiB
[startup+0.214351 s]*
/proc/loadavg: 0.44 0.17 0.11 11/314 1008409
/proc/meminfo: memFree=127431216/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=18975048 memory=59632 CPUtime=0.31 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 6966 0 0 0 27 4 0 0 20 0 18 0 192106917 19430449152 14908 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4743762 14908 5606 1 0 551331 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=18975048 memory=6876556183782621315 CPUtime=0.2 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 5580 0 0 0 17 3 0 0 20 0 18 0 192106918 19430449152 14908 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=18975048 memory=5697 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192106924 19430449152 14908 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192106925 19430449152 14908 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59632 KiB
[startup+0.318139 s]*
/proc/loadavg: 0.44 0.17 0.11 10/314 1008409
/proc/meminfo: memFree=127416272/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=18975048 memory=64892 CPUtime=0.48 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 7247 0 0 0 43 5 0 0 20 0 18 0 192106917 19430449152 16217 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4743762 16217 5615 1 0 551544 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=18975048 memory=-7236824433767573092 CPUtime=0.3 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 5790 0 0 0 27 3 0 0 20 0 18 0 192106918 19430449152 16223 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192106924 19430449152 16223 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192106925 19430449152 16223 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64892 KiB
[startup+0.704915 s]
/proc/loadavg: 0.44 0.17 0.11 16/315 1008410
/proc/meminfo: memFree=127389940/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=18975048 memory=137016 CPUtime=1.16 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 9127 0 0 0 108 8 0 0 20 0 18 0 192106917 19430449152 34254 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4743762 34254 5833 1 0 552783 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=18975048 memory=5512 CPUtime=0.61 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 5986 0 0 0 56 5 0 0 20 0 18 0 192106918 19430449152 34254 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=18975048 memory=11992 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192106924 19430449152 34254 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192106925 19430449152 34254 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 137016 KiB
[startup+1.50091 s]
/proc/loadavg: 0.44 0.17 0.11 12/318 1008413
/proc/meminfo: memFree=127063660/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=280852 CPUtime=2.71 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 23112 0 0 0 257 14 0 0 20 0 20 0 192106917 19566772224 70213 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 70213 5903 1 0 559002 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=11992 CPUtime=1.32 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 8178 0 0 0 124 8 0 0 20 0 20 0 192106918 19566772224 70213 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 70213 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 70213 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 280852 KiB
[startup+3.10591 s]
/proc/loadavg: 0.44 0.17 0.11 11/322 1008484
/proc/meminfo: memFree=125233776/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=679448 CPUtime=5.89 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 28542 0 0 0 566 23 0 0 20 0 20 0 192106917 19566772224 169862 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 169862 5903 1 0 888447 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=198340509722 CPUtime=2.86 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 8813 0 0 0 270 16 0 0 20 0 20 0 192106918 19566772224 169862 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 169862 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 169862 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=342380 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 169862 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 679448 KiB
[startup+6.30692 s]
/proc/loadavg: 0.96 0.28 0.15 5/322 1008484
/proc/meminfo: memFree=122844872/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=928300 CPUtime=10.99 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 29186 0 0 0 1070 29 0 0 20 0 20 0 192106917 19566772224 232075 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 232075 5903 1 0 888506 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=0 CPUtime=5.96 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 9109 0 0 0 576 20 0 0 20 0 20 0 192106918 19566772224 232075 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 232075 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=429184 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 232075 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=296684 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 232075 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 10.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 928300 KiB
[startup+12.7005 s]
/proc/loadavg: 1.21 0.34 0.17 5/322 1008486
/proc/meminfo: memFree=120017180/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=1723232 CPUtime=18.32 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 30007 0 0 0 1786 46 0 0 20 0 20 0 192106917 19566772224 430808 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 430808 5903 1 0 888511 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=296684 CPUtime=12.18 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 9763 0 0 0 1184 34 0 0 20 0 20 0 192106918 19566772224 430808 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=-7236824433767573092 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 430808 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 430808 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=2249548 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 430808 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 18.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1723232 KiB
[startup+25.5005 s]
/proc/loadavg: 2.13 0.59 0.25 5/322 1008487
/proc/meminfo: memFree=116705016/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=2749048 CPUtime=31.87 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 36361 0 0 0 3119 68 0 0 20 0 20 0 192106917 19566772224 687262 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 687262 5919 1 0 1018028 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=0 CPUtime=24.34 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 11965 0 0 0 2382 52 0 0 20 0 20 0 192106918 19566772224 687262 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=2249548 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 687262 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=2742868 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 687262 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=2742868 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 687262 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 31.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2749048 KiB
[startup+51.114 s]
/proc/loadavg: 3.24 0.98 0.39 7/322 1008492
/proc/meminfo: memFree=113542336/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=5199412 CPUtime=58.37 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 46309 0 0 0 5718 119 0 0 20 0 20 0 192106917 19566772224 1299853 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 1299853 5931 1 0 1632351 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=5190368 CPUtime=48.85 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 15344 0 0 0 4787 98 0 0 20 0 20 0 192106918 19566772224 1299853 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 1299853 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 1299853 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 1299853 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.15 4.28 4.18 5/321 1009704
/proc/meminfo: memFree=104060824/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=5719180 CPUtime=3224.62 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 274371 0 0 0 322084 378 0 0 20 0 20 0 192106917 19566772224 1429795 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 1429795 5947 1 0 1441145 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=5512 CPUtime=3077.86 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 117338 0 0 0 307660 126 0 0 20 0 20 0 192106918 19566772224 1429795 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=5719180 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 1429795 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=5719180 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 1714 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 1429795 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=5719180 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 1429795 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 3224.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5719180 KiB
[startup+3222.3 s]
/proc/loadavg: 4.50 4.34 4.20 5/321 1009715
/proc/meminfo: memFree=108938588/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=919052 CPUtime=3285.95 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 293699 0 0 0 328207 388 0 0 20 0 20 0 192106917 19566772224 229763 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 229763 5947 1 0 278129 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=5512 CPUtime=3135.89 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 121396 0 0 0 313461 128 0 0 20 0 20 0 192106918 19566772224 229763 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=5719180 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 229763 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=3718056 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 1786 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 229763 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 229763 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 3285.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 919052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.42 4.24 5/320 1010111
/proc/meminfo: memFree=108512268/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=1243564 CPUtime=3352.34 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 308584 0 0 0 334809 425 0 0 20 0 20 0 192106917 19566772224 310891 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 310891 5944 1 0 319899 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=1135068 CPUtime=3191.02 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 125234 0 0 0 318950 152 0 0 20 0 20 0 192106918 19566772224 310891 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=1076864 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 310891 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=11600 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 1821 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 310891 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=1243408 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 310891 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 3352.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1243564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.48 4.41 4.25 6/320 1010121
/proc/meminfo: memFree=107539332/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=2337716 CPUtime=3417.94 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 319352 0 0 0 341318 476 0 0 20 0 20 0 192106917 19566772224 584429 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 584429 5944 1 0 645644 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=1435248 CPUtime=3247.53 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 127953 0 0 0 324562 191 0 0 20 0 20 0 192106918 19566772224 584429 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=1730856 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 584429 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=1576960 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 1857 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 584429 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=1493740 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 584429 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 3417.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2337716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.40 4.40 4.25 5/320 1010131
/proc/meminfo: memFree=106170168/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=3582124 CPUtime=3479.47 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 321136 0 0 0 347443 504 0 0 20 0 20 0 192106917 19566772224 895531 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 895531 5944 1 0 912908 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=3582124 CPUtime=3305.39 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 129201 0 0 0 330324 215 0 0 20 0 20 0 192106918 19566772224 895531 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=16252 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 895531 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=3582124 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 1857 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 895531 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=3582124 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 895531 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 3479.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3582124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.37 4.25 5/323 1010315
/proc/meminfo: memFree=106169436/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=3582376 CPUtime=3541.05 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 321757 0 0 0 353598 507 0 0 20 0 20 0 192106917 19566772224 895594 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 895594 5944 1 0 912908 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=11600 CPUtime=3363.26 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 129651 0 0 0 336111 215 0 0 20 0 20 0 192106918 19566772224 895594 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=3582124 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 895594 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 1857 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 895594 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=11992 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 895594 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 3541.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3582376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3520 s]*
/proc/loadavg: 4.39 4.37 4.26 5/322 1010460
/proc/meminfo: memFree=113242900/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19108176 memory=3582384 CPUtime=3600.06 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 324125 0 0 0 359496 510 0 0 20 0 20 0 192106917 19566772224 895596 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4777044 895596 5944 1 0 912908 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19108176 memory=25208 CPUtime=3419.18 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 131088 0 0 0 341702 216 0 0 20 0 20 0 192106918 19566772224 895596 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19108176 memory=3582380 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192106924 19566772224 895596 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19108176 memory=5512 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 1923 0 0 0 0 0 0 0 20 0 20 0 192106925 19566772224 895596 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008418] ppid=1008350 vsize=19108176 memory=-7813003711093893219 CPUtime=0 cores=1,3
/proc/1008354/task/1008418/stat : 1008418 (Timer-0) S 1008350 1008354 1008215 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 192107042 19566772224 895596 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3582384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3520.27 s]
# the end of solver process 1008354 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.4 s, system=5.12813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3520.2 s]
/proc/loadavg: 4.39 4.37 4.26 5/322 1010460
/proc/meminfo: memFree=113242900/131655788 swapFree=131071996/131071996
[pid=1008354] ppid=1008350 vsize=19307868 memory=3583068 CPUtime=3600.42 cores=1,3
/proc/1008354/stat : 1008354 (java) S 1008350 1008354 1008215 0 -1 1077936128 326144 0 0 0 359532 510 0 0 20 0 21 0 192106917 19771256832 895767 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
/proc/1008354/statm: 4826967 895767 5943 1 0 913882 0
[pid=1008354/tid=1008358] ppid=1008350 vsize=19307868 memory=-7236824433767573092 CPUtime=3419.37 cores=1,3
/proc/1008354/task/1008358/stat : 1008358 (java) R 1008350 1008354 1008215 0 -1 4194368 131316 0 0 0 341721 216 0 0 20 0 21 0 192106918 19771256832 895767 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008402] ppid=1008350 vsize=19307868 memory=40520 CPUtime=0 cores=1,3
/proc/1008354/task/1008402/stat : 1008402 (Finalizer) S 1008350 1008354 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 192106924 19771256832 895767 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
[pid=1008354/tid=1008409] ppid=1008350 vsize=19307868 memory=24380 CPUtime=0 cores=1,3
/proc/1008354/task/1008409/stat : 1008409 (Common-Cleaner) S 1008350 1008354 1008215 0 -1 1077936192 1923 0 0 0 0 0 0 0 20 0 21 0 192106925 19771256832 895767 134679101440 94104043438080 94104043441776 140728664244416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94104043449592 94104043450384 94104055889920 140728664253427 140728664253535 140728664253535 140728664260552 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3583068 KiB
Child status: 143
Real time (s): 3520.27
CPU time (s): 3600.52
CPU user time (s): 3595.4
CPU system time (s): 5.12813
CPU usage (%): 102.28
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6485936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.4
system time used= 5.12813
maximum resident set size= 6485944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326265
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133876
involuntary context switches= 9825
# summary of solver processes directly reported to runsolver:
# pid: 1008354
# total CPU time (s): 3600.52
# total CPU user time (s): 3595.4
# total CPU system time (s): 5.12813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9531 second user time and 37.6946 second system time
The end
Begin job on nodeC008 at 2024-07-19 16:31:57 IDJOB=4449716 IDBENCH=176097 IDSOLVER=3052 FILE ID=nodeC008/4449716-1721399505 RUNJOBID= nodeC008-1721399517-1008280 SLURM_JOB_ID= 7545437 Free space on /tmp= 723760 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449716-1721399505/watcher-4449716-1721399505 -o /tmp/evaluation-result-4449716-1721399505/solver-4449716-1721399505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721399517-1008280 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4449716-1721399505.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8 RANDOM SEED=1212665296 nodeC008.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.276 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 : 6983.91 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.244 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.31 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.244 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 : 6983.91 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.257 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.31 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 : 1762.835 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.91 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.240 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.31 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.241 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 : 6983.91 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.294 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127593832 kB MemAvailable: 129919028 kB Buffers: 555732 kB Cached: 2596296 kB SwapCached: 0 kB Active: 1069956 kB Inactive: 2397672 kB Active(anon): 1372 kB Inactive(anon): 360440 kB Active(file): 1068584 kB Inactive(file): 2037232 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 9580 kB Writeback: 0 kB AnonPages: 316008 kB Mapped: 106616 kB Shmem: 45896 kB KReclaimable: 118820 kB Slab: 224000 kB SReclaimable: 118820 kB SUnreclaim: 105180 kB KernelStack: 3796 kB PageTables: 9684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 689928 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59936 kB HardwareCorrupted: 0 kB AnonHugePages: 190464 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: 203592 kB DirectMap2M: 24866816 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723760 MiB End job on nodeC008 at 2024-07-19 17:30:38