2.38/1.88
2.38/1.88 AbsCon 2
2.61/1.90
3.27/2.15 Instance
3.27/2.15 name=instance-4391200-1568390822, framework=COP, bounds=-infty..+infty
3.27/2.15
3.27/2.15 Loading variables...
3.27/2.17 Loading constraints...
3.92/2.33
3.92/2.33 Domains
3.92/2.33 nTypes=1, nValues=6400, sizes=[80#80]
3.92/2.33 Variables
3.92/2.33 count=80, degrees=[64#80]
3.92/2.33 Objectives
3.92/2.33 way=min, type=ObjMaximumLE
3.92/2.33 Constraints
3.92/2.33 count=1261, nSpecific=1261, arities=[4#1260,80#1]
3.92/2.33 distribution=[NotAllEqual#1260,ObjMaximumLE#1]
3.92/2.33 wck=0.476, cpu=2.293, mem=47M651
3.92/2.34 Solver SolverBacktrack being built...
3.92/2.34
3.92/2.36
3.92/2.36 Solver
3.92/2.36 guaranteedGAC=true
3.92/2.36 wck=0.508, cpu=2.322, mem=58M294
3.92/2.36
3.92/2.36 Preprocessing
3.92/2.36 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.92/2.36 wck=0.003, cpu=2.326, mem=58M294
3.92/2.36
3.92/2.38 o 7
3.92/2.38 num=0, depth=81..79, filters=196, ccks=1261, wck=0.023, mem=58M294
3.92/2.38 decisions=80, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=7
3.92/2.38
4.23/2.40 o 6
4.23/2.41 num=1, depth=71..79, filters=397, ccks=2522, wck=0.046, mem=58M294
4.23/2.41 decisions=160, wrong=3, backtracks=2, failedAssignments=2, nogoods=1, foundSolutions=2, bestBound=6
4.23/2.41
4.23/2.42 o 5
4.23/2.42 num=2, depth=63..79, filters=581, ccks=3783, wck=0.051, mem=58M294
4.23/2.42 decisions=243, wrong=9, backtracks=5, failedAssignments=6, nogoods=4, foundSolutions=3, bestBound=5
4.23/2.42
4.23/2.42 o 4
4.23/2.42 num=3, depth=59..79, filters=715, ccks=5044, wck=0.055, mem=58M294
4.23/2.42 decisions=317, wrong=10, backtracks=5, failedAssignments=7, nogoods=5, foundSolutions=4, bestBound=4
4.23/2.42
4.23/2.42 o 3
4.23/2.42 num=4, depth=50..79, filters=852, ccks=6305, wck=0.06, mem=60M936
4.23/2.42 decisions=389, wrong=15, backtracks=7, failedAssignments=11, nogoods=8, foundSolutions=5, bestBound=3
4.23/2.42
4.23/2.42 num=5, depth=31..43, filters=1102, ccks=6305, wck=0.064, mem=60M936
4.23/2.42 decisions=466, wrong=34, backtracks=18, failedAssignments=22, nogoods=12, foundSolutions=5, bestBound=3
4.23/2.42
4.23/2.43 num=6, depth=30..44, filters=1383, ccks=6305, wck=0.067, mem=60M936
4.23/2.43 decisions=544, wrong=53, backtracks=29, failedAssignments=33, nogoods=15, foundSolutions=5, bestBound=3
4.23/2.43
4.23/2.43 num=7, depth=31..43, filters=1613, ccks=6305, wck=0.07, mem=60M936
4.23/2.43 decisions=624, wrong=75, backtracks=42, failedAssignments=45, nogoods=20, foundSolutions=5, bestBound=3
4.23/2.43
4.23/2.43 num=8, depth=31..36, filters=1937, ccks=6305, wck=0.073, mem=60M936
4.23/2.43 decisions=703, wrong=99, backtracks=57, failedAssignments=58, nogoods=23, foundSolutions=5, bestBound=3
4.23/2.43
4.23/2.44 num=9, depth=32..42, filters=2366, ccks=6305, wck=0.076, mem=60M936
4.23/2.44 decisions=792, wrong=126, backtracks=78, failedAssignments=72, nogoods=26, foundSolutions=5, bestBound=3
4.23/2.44
4.23/2.44 num=10, depth=33..44, filters=2713, ccks=6305, wck=0.079, mem=60M936
4.23/2.44 decisions=881, wrong=151, backtracks=93, failedAssignments=88, nogoods=34, foundSolutions=5, bestBound=3
4.23/2.44
4.23/2.44 num=11, depth=31..37, filters=3215, ccks=6305, wck=0.081, mem=60M936
4.23/2.44 decisions=968, wrong=178, backtracks=108, failedAssignments=105, nogoods=42, foundSolutions=5, bestBound=3
4.23/2.44
4.23/2.45 num=12, depth=32..44, filters=3761, ccks=6305, wck=0.084, mem=60M936
4.23/2.45 decisions=1075, wrong=214, backtracks=134, failedAssignments=124, nogoods=46, foundSolutions=5, bestBound=3
4.23/2.45
4.23/2.45 num=13, depth=17..25, filters=4118, ccks=6305, wck=0.086, mem=60M936
4.23/2.45 decisions=1172, wrong=253, backtracks=157, failedAssignments=145, nogoods=54, foundSolutions=5, bestBound=3
4.23/2.45
4.23/2.45 num=14, depth=32..42, filters=4594, ccks=6305, wck=0.088, mem=60M936
4.23/2.45 decisions=1290, wrong=294, backtracks=181, failedAssignments=168, nogoods=60, foundSolutions=5, bestBound=3
4.23/2.45
4.23/2.45 num=15, depth=11..27, filters=4948, ccks=6305, wck=0.09, mem=60M936
4.23/2.45 decisions=1400, wrong=339, backtracks=206, failedAssignments=193, nogoods=66, foundSolutions=5, bestBound=3
4.23/2.45
4.23/2.45 num=16, depth=27..48, filters=5583, ccks=6305, wck=0.093, mem=60M936
4.23/2.45 decisions=1545, wrong=392, backtracks=242, failedAssignments=221, nogoods=72, foundSolutions=5, bestBound=3
4.23/2.45
4.23/2.46 num=17, depth=29..42, filters=6324, ccks=6305, wck=0.096, mem=60M936
4.23/2.46 decisions=1708, wrong=456, backtracks=283, failedAssignments=252, nogoods=77, foundSolutions=5, bestBound=3
4.23/2.46
4.23/2.46 num=18, depth=31..40, filters=7115, ccks=6305, wck=0.099, mem=60M936
4.23/2.46 decisions=1856, wrong=513, backtracks=320, failedAssignments=286, nogoods=82, foundSolutions=5, bestBound=3
4.23/2.46
4.23/2.46 num=19, depth=33..42, filters=8340, ccks=6305, wck=0.104, mem=60M936
4.23/2.46 decisions=2023, wrong=580, backtracks=374, failedAssignments=323, nogoods=87, foundSolutions=5, bestBound=3
4.23/2.46
4.23/2.47 num=20, depth=34..45, filters=9217, ccks=6305, wck=0.107, mem=60M936
4.23/2.47 decisions=2225, wrong=662, backtracks=431, failedAssignments=364, nogoods=90, foundSolutions=5, bestBound=3
4.23/2.47
4.23/2.47 num=21, depth=33..41, filters=10190, ccks=6305, wck=0.11, mem=60M936
4.23/2.47 decisions=2431, wrong=748, backtracks=489, failedAssignments=409, nogoods=93, foundSolutions=5, bestBound=3
4.23/2.47
4.23/2.47 num=22, depth=22..41, filters=11037, ccks=6305, wck=0.113, mem=60M936
4.23/2.47 decisions=2652, wrong=846, backtracks=551, failedAssignments=459, nogoods=99, foundSolutions=5, bestBound=3
4.23/2.47
4.23/2.48 num=23, depth=29..41, filters=12194, ccks=6305, wck=0.116, mem=60M936
4.23/2.48 decisions=2887, wrong=947, backtracks=621, failedAssignments=514, nogoods=106, foundSolutions=5, bestBound=3
4.23/2.48
4.23/2.48 num=24, depth=31..38, filters=13356, ccks=6305, wck=0.12, mem=60M936
4.23/2.48 decisions=3151, wrong=1063, backtracks=702, failedAssignments=575, nogoods=114, foundSolutions=5, bestBound=3
4.23/2.48
4.23/2.48 num=25, depth=34..45, filters=14621, ccks=6305, wck=0.124, mem=60M936
4.23/2.48 decisions=3436, wrong=1187, backtracks=784, failedAssignments=642, nogoods=120, foundSolutions=5, bestBound=3
4.23/2.48
4.23/2.49 num=26, depth=31..41, filters=16141, ccks=6305, wck=0.128, mem=60M936
4.23/2.49 decisions=3765, wrong=1335, backtracks=876, failedAssignments=716, nogoods=125, foundSolutions=5, bestBound=3
4.23/2.49
4.23/2.49 num=27, depth=24..34, filters=17489, ccks=6305, wck=0.132, mem=60M936
4.23/2.49 decisions=4077, wrong=1477, backtracks=978, failedAssignments=797, nogoods=129, foundSolutions=5, bestBound=3
4.23/2.49
4.55/2.50 num=28, depth=33..46, filters=19350, ccks=6305, wck=0.138, mem=60M936
4.55/2.50 decisions=4432, wrong=1636, backtracks=1085, failedAssignments=886, nogoods=135, foundSolutions=5, bestBound=3
4.55/2.50
4.55/2.50 num=29, depth=32..43, filters=21301, ccks=6305, wck=0.144, mem=60M936
4.55/2.50 decisions=4836, wrong=1821, backtracks=1217, failedAssignments=984, nogoods=141, foundSolutions=5, bestBound=3
4.55/2.50
4.55/2.51 o 2
4.55/2.51 num=30, depth=24..79, filters=22727, ccks=7566, wck=0.149, mem=60M936
4.55/2.51 decisions=5197, wrong=1980, backtracks=1322, failedAssignments=1071, nogoods=146, foundSolutions=6, bestBound=2
4.55/2.51
4.55/2.52 num=31, depth=2..14, filters=24860, ccks=7566, wck=0.156, mem=60M936
4.55/2.52 decisions=5669, wrong=2214, backtracks=1539, failedAssignments=1190, nogoods=151, foundSolutions=6, bestBound=2
4.55/2.52
4.55/2.52 num=32, depth=4..9, filters=25038, ccks=7566, wck=0.157, mem=60M936
4.55/2.52 decisions=5709, wrong=2232, backtracks=1555, failedAssignments=1201, nogoods=153, foundSolutions=6, bestBound=2
4.55/2.52
4.55/2.52 num=33, depth=4..9, filters=25243, ccks=7566, wck=0.158, mem=60M936
4.55/2.52 decisions=5751, wrong=2251, backtracks=1568, failedAssignments=1213, nogoods=158, foundSolutions=6, bestBound=2
4.55/2.52
4.55/2.52 num=34, depth=3..10, filters=25440, ccks=7566, wck=0.159, mem=60M936
4.55/2.52 decisions=5802, wrong=2274, backtracks=1589, failedAssignments=1226, nogoods=161, foundSolutions=6, bestBound=2
4.55/2.52
4.55/2.52 num=35, depth=4..12, filters=25682, ccks=7566, wck=0.161, mem=60M936
4.55/2.52 decisions=5856, wrong=2298, backtracks=1609, failedAssignments=1240, nogoods=165, foundSolutions=6, bestBound=2
4.55/2.52
4.55/2.52 num=36, depth=4..12, filters=25916, ccks=7566, wck=0.162, mem=60M936
4.55/2.52 decisions=5926, wrong=2330, backtracks=1639, failedAssignments=1256, nogoods=168, foundSolutions=6, bestBound=2
4.55/2.52
4.55/2.52 num=37, depth=3..9, filters=26131, ccks=7566, wck=0.163, mem=60M936
4.55/2.52 decisions=5995, wrong=2363, backtracks=1666, failedAssignments=1273, nogoods=171, foundSolutions=6, bestBound=2
4.55/2.52
4.55/2.52 num=38, depth=3..11, filters=26357, ccks=7566, wck=0.164, mem=60M936
4.55/2.52 decisions=6067, wrong=2397, backtracks=1693, failedAssignments=1292, nogoods=174, foundSolutions=6, bestBound=2
4.55/2.52
4.55/2.53 num=39, depth=3..10, filters=26685, ccks=7566, wck=0.167, mem=60M936
4.55/2.53 decisions=6152, wrong=2437, backtracks=1725, failedAssignments=1313, nogoods=176, foundSolutions=6, bestBound=2
4.55/2.53
4.55/2.53 num=40, depth=3..10, filters=26982, ccks=7566, wck=0.169, mem=60M936
4.55/2.53 decisions=6238, wrong=2478, backtracks=1760, failedAssignments=1336, nogoods=179, foundSolutions=6, bestBound=2
4.55/2.53
4.55/2.53 num=41, depth=2..11, filters=27342, ccks=7566, wck=0.171, mem=60M936
4.55/2.53 decisions=6331, wrong=2522, backtracks=1798, failedAssignments=1361, nogoods=182, foundSolutions=6, bestBound=2
4.55/2.53
4.55/2.53 num=42, depth=3..11, filters=27737, ccks=7566, wck=0.173, mem=60M936
4.55/2.53 decisions=6433, wrong=2571, backtracks=1846, failedAssignments=1389, nogoods=184, foundSolutions=6, bestBound=2
4.55/2.53
4.55/2.54 num=43, depth=4..11, filters=28277, ccks=7566, wck=0.176, mem=60M936
4.55/2.54 decisions=6566, wrong=2635, backtracks=1900, failedAssignments=1420, nogoods=189, foundSolutions=6, bestBound=2
4.55/2.54
4.55/2.54 num=44, depth=3..10, filters=28730, ccks=7566, wck=0.178, mem=60M936
4.55/2.54 decisions=6695, wrong=2698, backtracks=1956, failedAssignments=1454, nogoods=196, foundSolutions=6, bestBound=2
4.55/2.54
4.55/2.54 num=45, depth=2..13, filters=29209, ccks=7566, wck=0.181, mem=60M936
4.55/2.54 decisions=6831, wrong=2763, backtracks=2014, failedAssignments=1491, nogoods=200, foundSolutions=6, bestBound=2
4.55/2.54
4.55/2.54 num=46, depth=3..12, filters=29870, ccks=7566, wck=0.184, mem=60M936
4.55/2.54 decisions=6997, wrong=2844, backtracks=2084, failedAssignments=1532, nogoods=204, foundSolutions=6, bestBound=2
4.55/2.54
4.55/2.55 num=47, depth=2..13, filters=30522, ccks=7566, wck=0.188, mem=60M936
4.55/2.55 decisions=7169, wrong=2928, backtracks=2158, failedAssignments=1577, nogoods=207, foundSolutions=6, bestBound=2
4.55/2.55
4.55/2.55 num=48, depth=2..11, filters=31375, ccks=7566, wck=0.192, mem=60M936
4.55/2.55 decisions=7376, wrong=3029, backtracks=2250, failedAssignments=1627, nogoods=211, foundSolutions=6, bestBound=2
4.55/2.55
4.55/2.56 num=49, depth=2..12, filters=32254, ccks=7566, wck=0.197, mem=60M936
4.55/2.56 decisions=7581, wrong=3129, backtracks=2338, failedAssignments=1682, nogoods=215, foundSolutions=6, bestBound=2
4.55/2.56
4.55/2.56 num=50, depth=1..10, filters=33362, ccks=7566, wck=0.203, mem=60M936
4.55/2.56 decisions=7847, wrong=3260, backtracks=2452, failedAssignments=1743, nogoods=219, foundSolutions=6, bestBound=2
4.55/2.56
4.55/2.57 num=51, depth=2..12, filters=34534, ccks=7566, wck=0.209, mem=60M936
4.55/2.57 decisions=8123, wrong=3396, backtracks=2575, failedAssignments=1810, nogoods=223, foundSolutions=6, bestBound=2
4.55/2.57
4.55/2.57 num=52, depth=1..12, filters=35637, ccks=7566, wck=0.214, mem=60M936
4.55/2.57 decisions=8402, wrong=3533, backtracks=2696, failedAssignments=1884, nogoods=228, foundSolutions=6, bestBound=2
4.55/2.57
4.55/2.58 num=53, depth=1..11, filters=36786, ccks=7566, wck=0.221, mem=60M936
4.55/2.58 decisions=8698, wrong=3680, backtracks=2832, failedAssignments=1965, nogoods=233, foundSolutions=6, bestBound=2
4.55/2.58
4.55/2.59 num=54, depth=0..10, filters=38131, ccks=7566, wck=0.228, mem=60M936
4.55/2.59 decisions=9054, wrong=3857, backtracks=2994, failedAssignments=2054, nogoods=235, foundSolutions=6, bestBound=2
4.55/2.59
4.55/2.59
4.55/2.59 New Bounds: 2..1
4.55/2.59 num=55, depth=0..11, filters=39316, ccks=7566, wck=0.233, mem=60M936
4.55/2.59 decisions=9356, wrong=4009, backtracks=3139, failedAssignments=2126, foundSolutions=6, bestBound=2
4.55/2.59
4.55/2.59 Global
4.55/2.59 filters=39316, ccks=7566
4.55/2.59 Stop=FULL_EXPLORATION, wrong=4009, bestBound=2, bestBoundWck=0.656, bestBoundCpu=2.469, foundSolutions=6, firstSolCpu=2.336
4.55/2.59 wck=0.742, cpu=2.555, mem=60M936
4.55/2.59
4.55/2.59 v <instantiation id='sol6' type='solution' cost='2'> <list> x[][] </list> <values> 1 0 0 2 1 2 1 0 1 0 0 1 1 2 1 0 2 2 2 0 0 0 2 1 0 2 0 1 1 1 2 1 2 2 0 0 1 0 0 1 2 2 1 0 0 2 1 1 2 0 1 2 1 1 2 1 0 2 0 0 1 1 2 0 2 0 0 1 2 2 0 2 0 0 1 1 2 1 0 2 </values> </instantiation>
4.55/2.59 s OPTIMUM FOUND
4.55/2.59
4.55/2.59 d WRONG_DECISIONS 4009
4.55/2.59 d NUMBER_SOLUTIONS 6
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (14274 MiB free)
memory of node 1: 16384 MiB (15438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391200-1568390822/watcher-4391200-1568390822 -o /tmp/evaluation-result-4391200-1568390822/solver-4391200-1568390822 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568388749-8054 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391200-1568390822.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8545, runsolver pid=8542
[startup+0.100058 s]*
/proc/loadavg: 1.92 1.95 1.87 5/228 8560
/proc/meminfo: memFree=30411268/32770624 swapFree=66934596/67108860
[pid=8545] ppid=8542 vsize=10659884 memory=25700 CPUtime=0.12 cores=1,3,5,7
/proc/8545/stat : 8545 (java) S 8542 8545 5027 0 -1 1077944320 5429 0 0 0 11 1 0 0 20 0 15 0 415353681 10915721216 6425 33554432000 4194304 4196468 140732497888768 140732497871312 139627471077111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
/proc/8545/statm: 2664971 6425 2844 1 0 2627468 0
[pid=8545/tid=8547] ppid=8542 vsize=10659884 memory=-8413716295845056867 CPUtime=0.08 cores=1,3,5,7
/proc/8545/task/8547/stat : 8547 (java) R 8542 8545 5027 0 -1 4202560 3263 0 0 0 8 0 0 0 20 0 15 0 415353681 10915721216 6425 33554432000 4194304 4196468 140732497888768 139627475306400 139627463314238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8548] ppid=8542 vsize=10659884 memory=5793855532300843449 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8548/stat : 8548 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 6491 33554432000 4194304 4196468 140732497888768 139627078224912 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8549] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8549/stat : 8549 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 6491 33554432000 4194304 4196468 140732497888768 139627077172368 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8550] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8550/stat : 8550 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 6491 33554432000 4194304 4196468 140732497888768 139627076119312 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8551] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8551/stat : 8551 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 6491 33554432000 4194304 4196468 140732497888768 139627075066768 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8552] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8552/stat : 8552 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353683 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626506963184 139627471088258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8553] ppid=8542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8553/stat : 8553 (java) S 8542 8545 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353684 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626505909408 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8554] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8554/stat : 8554 (java) S 8542 8545 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353684 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626504856304 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8555] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8555/stat : 8555 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626503804880 139627471095707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8556] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8556/stat : 8556 (java) R 8542 8545 5027 0 -1 4202560 474 0 0 0 0 0 0 0 20 0 15 0 415353686 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626502753008 139627463314238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8557] ppid=8542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8557/stat : 8557 (java) R 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626193705840 139627471088258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8558] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0.02 cores=1,3,5,7
/proc/8545/task/8558/stat : 8558 (java) R 8542 8545 5027 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 415353686 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626192652784 139627450034201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8559] ppid=8542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8559/stat : 8559 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626191600480 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8560] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8560/stat : 8560 (java) R 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353687 10915721216 6491 33554432000 4194304 4196468 140732497888768 139626190547504 139627471088258 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 25700 KiB
[startup+0.211647 s]*
/proc/loadavg: 1.92 1.95 1.87 5/228 8560
/proc/meminfo: memFree=30399684/32770624 swapFree=66934596/67108860
[pid=8545] ppid=8542 vsize=10659884 memory=36000 CPUtime=0.32 cores=1,3,5,7
/proc/8545/stat : 8545 (java) S 8542 8545 5027 0 -1 1077944320 9306 0 0 0 29 3 0 0 20 0 15 0 415353681 10915721216 9000 33554432000 4194304 4196468 140732497888768 140732497871312 139627471077111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
/proc/8545/statm: 2664971 9000 2989 1 0 2627468 0
[pid=8545/tid=8547] ppid=8542 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/8545/task/8547/stat : 8547 (java) R 8542 8545 5027 0 -1 4202560 6159 0 0 0 18 2 0 0 20 0 15 0 415353681 10915721216 9000 33554432000 4194304 4196468 140732497888768 139627475308912 139627471099037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8548] ppid=8542 vsize=10659884 memory=4211974007495740810 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8548/stat : 8548 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 9000 33554432000 4194304 4196468 140732497888768 139627078224912 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8549] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8549/stat : 8549 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 9000 33554432000 4194304 4196468 140732497888768 139627077172368 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8550] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8550/stat : 8550 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 9000 33554432000 4194304 4196468 140732497888768 139627076119312 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8551] ppid=8542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8551/stat : 8551 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 9000 33554432000 4194304 4196468 140732497888768 139627075066768 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8552] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8552/stat : 8552 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353683 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626506963184 139627471088258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8553] ppid=8542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8553/stat : 8553 (java) S 8542 8545 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353684 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626505909408 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8554] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8554/stat : 8554 (java) S 8542 8545 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353684 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626504856304 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8555] ppid=8542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8555/stat : 8555 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626503804880 139627471095707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8556] ppid=8542 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8545/task/8556/stat : 8556 (java) S 8542 8545 5027 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 15 0 415353686 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626502753008 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8557] ppid=8542 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8545/task/8557/stat : 8557 (java) S 8542 8545 5027 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 415353686 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626193705840 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8558] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0.05 cores=1,3,5,7
/proc/8545/task/8558/stat : 8558 (java) S 8542 8545 5027 0 -1 1077944384 840 0 0 0 5 0 0 0 20 0 15 0 415353686 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626192652784 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8559] ppid=8542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8559/stat : 8559 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626191600480 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8560] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8560/stat : 8560 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353687 10915721216 9000 33554432000 4194304 4196468 140732497888768 139626190547504 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36000 KiB
[startup+0.310315 s]*
/proc/loadavg: 1.92 1.95 1.87 3/228 8560
/proc/meminfo: memFree=30397512/32770624 swapFree=66934596/67108860
[pid=8545] ppid=8542 vsize=10659884 memory=38824 CPUtime=0.46 cores=1,3,5,7
/proc/8545/stat : 8545 (java) S 8542 8545 5027 0 -1 1077944320 9533 0 0 0 43 3 0 0 20 0 15 0 415353681 10915721216 9706 33554432000 4194304 4196468 140732497888768 140732497871312 139627471077111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
/proc/8545/statm: 2664971 9706 3009 1 0 2627468 0
[pid=8545/tid=8547] ppid=8542 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/8545/task/8547/stat : 8547 (java) R 8542 8545 5027 0 -1 4202560 6282 0 0 0 28 2 0 0 20 0 15 0 415353681 10915721216 9706 33554432000 4194304 4196468 140732497888768 139627475308912 139627455157598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8548] ppid=8542 vsize=10659884 memory=4211974007495740810 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8548/stat : 8548 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 9706 33554432000 4194304 4196468 140732497888768 139627078224912 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8549] ppid=8542 vsize=10659884 memory=140281290955299 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8549/stat : 8549 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 9706 33554432000 4194304 4196468 140732497888768 139627077172368 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8550] ppid=8542 vsize=10659884 memory=140281148194253 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8550/stat : 8550 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 9706 33554432000 4194304 4196468 140732497888768 139627076119312 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8551] ppid=8542 vsize=10659884 memory=140281148198351 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8551/stat : 8551 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353682 10915721216 9706 33554432000 4194304 4196468 140732497888768 139627075066768 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8552] ppid=8542 vsize=10659884 memory=140281290955392 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8552/stat : 8552 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353683 10915721216 9706 33554432000 4194304 4196468 140732497888768 139626506963184 139627471088258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8553] ppid=8542 vsize=10659884 memory=140281148207535 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8553/stat : 8553 (java) S 8542 8545 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353684 10915721216 9706 33554432000 4194304 4196468 140732497888768 139626505909408 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8554] ppid=8542 vsize=10659884 memory=280562296405904 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8554/stat : 8554 (java) S 8542 8545 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353684 10915721216 9706 33554432000 4194304 4196468 140732497888768 139626504856304 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8555] ppid=8542 vsize=10659884 memory=280562296403600 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8555/stat : 8555 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10915721216 9706 33554432000 4194304 4196468 140732497888768 139626503804880 139627471095707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8556] ppid=8542 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8545/task/8556/stat : 8556 (java) S 8542 8545 5027 0 -1 1077944384 718 0 0 0 3 0 0 0 20 0 15 0 415353686 10915721216 9706 33554432000 4194304 4196468 140732497888768 139626502753008 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8557] ppid=8542 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8545/task/8557/stat : 8557 (java) S 8542 8545 5027 0 -1 1077944384 288 0 0 0 4 0 0 0 20 0 15 0 415353686 10915721216 9706 33554432000 4194304 4196468 140732497888768 139626193705840 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8558] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0.07 cores=1,3,5,7
/proc/8545/task/8558/stat : 8558 (java) S 8542 8545 5027 0 -1 1077944384 889 0 0 0 7 0 0 0 20 0 15 0 415353686 10915721216 9706 33554432000 4194304 4196468 140732497888768 139626192652784 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8559] ppid=8542 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8559/stat : 8559 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10915721216 9706 33554432000 4194304 4196468 140732497888768 139626191600480 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8560] ppid=8542 vsize=10659884 memory=140281290950272 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8560/stat : 8560 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353687 10915721216 9766 33554432000 4194304 4196468 140732497888768 139626190547504 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38824 KiB
[startup+0.700751 s]
/proc/loadavg: 1.92 1.95 1.87 3/228 8560
/proc/meminfo: memFree=30386388/32770624 swapFree=66934596/67108860
[pid=8545] ppid=8542 vsize=10661932 memory=62932 CPUtime=1.09 cores=1,3,5,7
/proc/8545/stat : 8545 (java) S 8542 8545 5027 0 -1 1077944320 13227 0 0 0 104 5 0 0 20 0 15 0 415353681 10917818368 15733 33554432000 4194304 4196468 140732497888768 140732497871312 139627471077111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
/proc/8545/statm: 2665483 15733 3067 1 0 2627980 0
[pid=8545/tid=8547] ppid=8542 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/8545/task/8547/stat : 8547 (java) R 8542 8545 5027 0 -1 4202560 8836 0 0 0 64 4 0 0 20 0 15 0 415353681 10917818368 15733 33554432000 4194304 4196468 140732497888768 139627475309136 139627471099037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8548] ppid=8542 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8548/stat : 8548 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10917818368 15733 33554432000 4194304 4196468 140732497888768 139627078224912 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8549] ppid=8542 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8549/stat : 8549 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10917818368 15733 33554432000 4194304 4196468 140732497888768 139627077172368 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8550] ppid=8542 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8550/stat : 8550 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10917818368 15733 33554432000 4194304 4196468 140732497888768 139627076119312 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8551] ppid=8542 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8551/stat : 8551 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353682 10917818368 15733 33554432000 4194304 4196468 140732497888768 139627075066768 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8552] ppid=8542 vsize=10661932 memory=5788063852999566677 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8552/stat : 8552 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353683 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626506963184 139627471088258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8553] ppid=8542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8553/stat : 8553 (java) S 8542 8545 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353684 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626505909408 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8554] ppid=8542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8554/stat : 8554 (java) S 8542 8545 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353684 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626504856304 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8555] ppid=8542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8555/stat : 8555 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626503804880 139627471095707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8556] ppid=8542 vsize=10661932 memory=347 CPUtime=0.1 cores=1,3,5,7
/proc/8545/task/8556/stat : 8556 (java) S 8542 8545 5027 0 -1 1077944384 1148 0 0 0 10 0 0 0 20 0 15 0 415353686 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626502753008 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8557] ppid=8542 vsize=10661932 memory=10 CPUtime=0.1 cores=1,3,5,7
/proc/8545/task/8557/stat : 8557 (java) R 8542 8545 5027 0 -1 4202560 479 0 0 0 10 0 0 0 20 0 15 0 415353686 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626193705840 139627464062153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8558] ppid=8542 vsize=10661932 memory=26514 CPUtime=0.18 cores=1,3,5,7
/proc/8545/task/8558/stat : 8558 (java) S 8542 8545 5027 0 -1 1077944384 1405 0 0 0 18 0 0 0 20 0 15 0 415353686 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626192652784 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8559] ppid=8542 vsize=10661932 memory=280562296589808 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8559/stat : 8559 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626191600480 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8560] ppid=8542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8560/stat : 8560 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353687 10917818368 15733 33554432000 4194304 4196468 140732497888768 139626190547504 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62932 KiB
[startup+1.50077 s]
/proc/loadavg: 1.92 1.95 1.87 3/228 8560
/proc/meminfo: memFree=30369956/32770624 swapFree=66934596/67108860
[pid=8545] ppid=8542 vsize=10663980 memory=74980 CPUtime=1.98 cores=1,3,5,7
/proc/8545/stat : 8545 (java) S 8542 8545 5027 0 -1 1077944320 16807 0 0 0 192 6 0 0 20 0 15 0 415353681 10919915520 18745 33554432000 4194304 4196468 140732497888768 140732497871312 139627471077111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
/proc/8545/statm: 2665995 18745 3086 1 0 2628492 0
[pid=8545/tid=8547] ppid=8542 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/8545/task/8547/stat : 8547 (java) R 8542 8545 5027 0 -1 4202560 11534 0 0 0 143 4 0 0 20 0 15 0 415353681 10919915520 18745 33554432000 4194304 4196468 140732497888768 139627475309136 139627456242704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8548] ppid=8542 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8548/stat : 8548 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10919915520 18745 33554432000 4194304 4196468 140732497888768 139627078224912 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8549] ppid=8542 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8549/stat : 8549 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10919915520 18745 33554432000 4194304 4196468 140732497888768 139627077172368 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8550] ppid=8542 vsize=10663980 memory=-6305712789123654272 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8550/stat : 8550 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10919915520 18745 33554432000 4194304 4196468 140732497888768 139627076119312 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8551] ppid=8542 vsize=10663980 memory=4947931653262909056 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8551/stat : 8551 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353682 10919915520 18745 33554432000 4194304 4196468 140732497888768 139627075066768 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8552] ppid=8542 vsize=10663980 memory=-6079961239278871908 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8552/stat : 8552 (java) S 8542 8545 5027 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415353683 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626506963184 139627471088258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8553] ppid=8542 vsize=10663980 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8553/stat : 8553 (java) S 8542 8545 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353684 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626505909408 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8554] ppid=8542 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8554/stat : 8554 (java) S 8542 8545 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353684 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626504856304 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8555] ppid=8542 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8555/stat : 8555 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626503804880 139627471095707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8556] ppid=8542 vsize=10663980 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/8545/task/8556/stat : 8556 (java) S 8542 8545 5027 0 -1 1077944384 1569 0 0 0 16 0 0 0 20 0 15 0 415353686 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626502753008 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8557] ppid=8542 vsize=10663980 memory=4580 CPUtime=0.13 cores=1,3,5,7
/proc/8545/task/8557/stat : 8557 (java) S 8542 8545 5027 0 -1 1077944384 921 0 0 0 13 0 0 0 20 0 15 0 415353686 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626193705840 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8558] ppid=8542 vsize=10663980 memory=-7737621075815351712 CPUtime=0.18 cores=1,3,5,7
/proc/8545/task/8558/stat : 8558 (java) S 8542 8545 5027 0 -1 1077944384 1407 0 0 0 18 0 0 0 20 0 15 0 415353686 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626192652784 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8559] ppid=8542 vsize=10663980 memory=-7984860791115455840 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8559/stat : 8559 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626191600480 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8560] ppid=8542 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8560/stat : 8560 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353687 10919915520 18745 33554432000 4194304 4196468 140732497888768 139626190547504 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 74980 KiB
[startup+2.61545 s]
# the end of solver process 8545 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.71279 s, system=0.126906 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60089 s]
/proc/loadavg: 1.92 1.95 1.87 3/228 8560
/proc/meminfo: memFree=30369956/32770624 swapFree=66934596/67108860
[pid=8545] ppid=8542 vsize=10666028 memory=75980 CPUtime=2.09 cores=1,3,5,7
/proc/8545/stat : 8545 (java) S 8542 8545 5027 0 -1 1077944320 17093 0 0 0 203 6 0 0 20 0 15 0 415353681 10922012672 18995 33554432000 4194304 4196468 140732497888768 140732497871312 139627471077111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
/proc/8545/statm: 2666507 18995 3095 1 0 2629004 0
[pid=8545/tid=8547] ppid=8542 vsize=10666028 memory=8025788822752027748 CPUtime=1.57 cores=1,3,5,7
/proc/8545/task/8547/stat : 8547 (java) R 8542 8545 5027 0 -1 4202560 11789 0 0 0 153 4 0 0 20 0 15 0 415353681 10922012672 18995 33554432000 4194304 4196468 140732497888768 139627475309136 139627451722022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8548] ppid=8542 vsize=10666028 memory=7519160248539375973 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8548/stat : 8548 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10922012672 18995 33554432000 4194304 4196468 140732497888768 139627078224912 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8549] ppid=8542 vsize=10666028 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8549/stat : 8549 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10922012672 18995 33554432000 4194304 4196468 140732497888768 139627077172368 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8550] ppid=8542 vsize=10666028 memory=177011708578455 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8550/stat : 8550 (java) S 8542 8545 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353682 10922012672 18995 33554432000 4194304 4196468 140732497888768 139627076119312 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8551] ppid=8542 vsize=10666028 memory=3291472 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8551/stat : 8551 (java) S 8542 8545 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353682 10922012672 18995 33554432000 4194304 4196468 140732497888768 139627075066768 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8552] ppid=8542 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8552/stat : 8552 (java) S 8542 8545 5027 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415353683 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626506963184 139627471088258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8553] ppid=8542 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8553/stat : 8553 (java) S 8542 8545 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353684 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626505909408 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8554] ppid=8542 vsize=10666028 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8554/stat : 8554 (java) S 8542 8545 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353684 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626504856304 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8555] ppid=8542 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8555/stat : 8555 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626503804880 139627471095707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8556] ppid=8542 vsize=10666028 memory=-6511168627042466650 CPUtime=0.16 cores=1,3,5,7
/proc/8545/task/8556/stat : 8556 (java) S 8542 8545 5027 0 -1 1077944384 1569 0 0 0 16 0 0 0 20 0 15 0 415353686 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626502753008 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8557] ppid=8542 vsize=10666028 memory=6944656592387989600 CPUtime=0.14 cores=1,3,5,7
/proc/8545/task/8557/stat : 8557 (java) S 8542 8545 5027 0 -1 1077944384 953 0 0 0 14 0 0 0 20 0 15 0 415353686 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626193705840 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8558] ppid=8542 vsize=10666028 memory=6944656592455360604 CPUtime=0.18 cores=1,3,5,7
/proc/8545/task/8558/stat : 8558 (java) S 8542 8545 5027 0 -1 1077944384 1407 0 0 0 18 0 0 0 20 0 15 0 415353686 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626192652784 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8559] ppid=8542 vsize=10666028 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8559/stat : 8559 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353686 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626191600480 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8560] ppid=8542 vsize=10666028 memory=-2461829820114675750 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8560/stat : 8560 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353687 10922012672 18995 33554432000 4194304 4196468 140732497888768 139626190547504 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 75980 KiB
[startup+2.40142 s]
/proc/loadavg: 1.92 1.95 1.87 5/229 8561
/proc/meminfo: memFree=30293616/32770624 swapFree=66934596/67108860
[pid=8545] ppid=8542 vsize=10747300 memory=157420 CPUtime=4.23 cores=1,3,5,7
/proc/8545/stat : 8545 (java) S 8542 8545 5027 0 -1 1077944320 23921 0 0 0 412 11 0 0 20 0 16 0 415353681 11005235200 39355 33554432000 4194304 4196468 140732497888768 140732497871312 139627471077111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
/proc/8545/statm: 2686825 39355 3346 1 0 2646961 0
[pid=8545/tid=8547] ppid=8542 vsize=10747300 memory=6935652554363134804 CPUtime=1.86 cores=1,3,5,7
/proc/8545/task/8547/stat : 8547 (java) S 8542 8545 5027 0 -1 1077944384 13157 0 0 0 180 6 0 0 20 0 16 0 415353681 11005235200 39355 33554432000 4194304 4196468 140732497888768 139627475319984 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8548] ppid=8542 vsize=10747300 memory=6935652554363134804 CPUtime=0.01 cores=1,3,5,7
/proc/8545/task/8548/stat : 8548 (java) S 8542 8545 5027 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 16 0 415353682 11005235200 39355 33554432000 4194304 4196468 140732497888768 139627078224912 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8549] ppid=8542 vsize=10747300 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8549/stat : 8549 (java) S 8542 8545 5027 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 16 0 415353682 11005235200 39355 33554432000 4194304 4196468 140732497888768 139627077172368 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8550] ppid=8542 vsize=10747300 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8550/stat : 8550 (java) S 8542 8545 5027 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 415353682 11005235200 39355 33554432000 4194304 4196468 140732497888768 139627076119312 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8551] ppid=8542 vsize=10747300 memory=7014751519700635750 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8551/stat : 8551 (java) S 8542 8545 5027 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 415353682 11005235200 39355 33554432000 4194304 4196468 140732497888768 139627075066768 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8552] ppid=8542 vsize=10747300 memory=7883383280715720557 CPUtime=0.01 cores=1,3,5,7
/proc/8545/task/8552/stat : 8552 (java) S 8542 8545 5027 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 16 0 415353683 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626506963184 139627471088258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8553] ppid=8542 vsize=10747300 memory=7086245137255197284 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8553/stat : 8553 (java) S 8542 8545 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415353684 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626505909472 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8554] ppid=8542 vsize=10747300 memory=5937503940875731041 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8554/stat : 8554 (java) S 8542 8545 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415353684 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626504856320 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8555] ppid=8542 vsize=10747300 memory=6443077010266352744 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8555/stat : 8555 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415353686 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626503804880 139627471095707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8556] ppid=8542 vsize=10747300 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/8545/task/8556/stat : 8556 (java) S 8542 8545 5027 0 -1 1077944384 1913 0 0 0 60 0 0 0 20 0 16 0 415353686 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626502753008 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8557] ppid=8542 vsize=10747300 memory=7667497561383256160 CPUtime=0.62 cores=1,3,5,7
/proc/8545/task/8557/stat : 8557 (java) S 8542 8545 5027 0 -1 1077944384 1823 0 0 0 62 0 0 0 20 0 16 0 415353686 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626193705840 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8558] ppid=8542 vsize=10747300 memory=7451886663836002135 CPUtime=0.56 cores=1,3,5,7
/proc/8545/task/8558/stat : 8558 (java) S 8542 8545 5027 0 -1 1077944384 2604 0 0 0 56 0 0 0 20 0 16 0 415353686 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626192652784 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8559] ppid=8542 vsize=10747300 memory=4638778398333227108 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8559/stat : 8559 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415353686 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626191600480 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8560] ppid=8542 vsize=10747300 memory=525448104 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8560/stat : 8560 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415353687 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626190547504 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8561] ppid=8542 vsize=10747300 memory=7014751519700635750 CPUtime=0.47 cores=1,3,5,7
/proc/8545/task/8561/stat : 8561 (java) R 8542 8545 5027 0 -1 4202560 2698 0 0 0 46 1 0 0 20 0 16 0 415353869 11005235200 39355 33554432000 4194304 4196468 140732497888768 139626173873376 139627463756829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
Current children cumulated CPU time: 4.23 s
Current children cumulated vsize: 10747300 KiB
Current children cumulated memory: 157420 KiB
[startup+2.60061 s]
/proc/loadavg: 1.92 1.95 1.87 5/229 8561
/proc/meminfo: memFree=30293616/32770624 swapFree=66934596/67108860
[pid=8545] ppid=8542 vsize=10814888 memory=158152 CPUtime=4.83 cores=1,3,5,7
/proc/8545/stat : 8545 (java) S 8542 8545 5027 0 -1 1077944320 25138 0 0 0 471 12 0 0 20 0 13 0 415353681 11074445312 39538 33554432000 4194304 4196468 140732497888768 140732497871312 139627471077111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
/proc/8545/statm: 2703722 39538 3350 1 0 2663858 0
[pid=8545/tid=8547] ppid=8542 vsize=10814888 memory=8112282956445269571 CPUtime=1.86 cores=1,3,5,7
/proc/8545/task/8547/stat : 8547 (java) S 8542 8545 5027 0 -1 1077944384 13161 0 0 0 180 6 0 0 20 0 13 0 415353681 11074445312 39538 33554432000 4194304 4196468 140732497888768 139627475319952 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8548] ppid=8542 vsize=10814888 memory=13565985809641077 CPUtime=0.01 cores=1,3,5,7
/proc/8545/task/8548/stat : 8548 (java) S 8542 8545 5027 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 13 0 415353682 11074445312 39538 33554432000 4194304 4196468 140732497888768 139627078224912 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8549] ppid=8542 vsize=10814888 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8549/stat : 8549 (java) S 8542 8545 5027 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 13 0 415353682 11074445312 39538 33554432000 4194304 4196468 140732497888768 139627077172368 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8550] ppid=8542 vsize=10814888 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8550/stat : 8550 (java) S 8542 8545 5027 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 13 0 415353682 11074445312 39538 33554432000 4194304 4196468 140732497888768 139627076119312 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8551] ppid=8542 vsize=10814888 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8551/stat : 8551 (java) S 8542 8545 5027 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 13 0 415353682 11074445312 39538 33554432000 4194304 4196468 140732497888768 139627075066768 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8552] ppid=8542 vsize=10814888 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8545/task/8552/stat : 8552 (java) S 8542 8545 5027 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 13 0 415353683 11074445312 39538 33554432000 4194304 4196468 140732497888768 139626506963392 139627471088258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8553] ppid=8542 vsize=10814888 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8553/stat : 8553 (java) S 8542 8545 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 13 0 415353684 11074445312 39538 33554432000 4194304 4196468 140732497888768 139626505909472 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8554] ppid=8542 vsize=10814888 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8554/stat : 8554 (java) S 8542 8545 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 13 0 415353684 11074445312 39538 33554432000 4194304 4196468 140732497888768 139626504856320 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8556] ppid=8542 vsize=10814888 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/8545/task/8556/stat : 8556 (java) R 8542 8545 5027 0 -1 4202560 2159 0 0 0 77 0 0 0 20 0 13 0 415353686 11074445312 39538 33554432000 4194304 4196468 140732497888768 139626502753008 139627454488072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8557] ppid=8542 vsize=10814888 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/8545/task/8557/stat : 8557 (java) R 8542 8545 5027 0 -1 4202560 1866 0 0 0 79 0 0 0 20 0 13 0 415353686 11074445312 39538 33554432000 4194304 4196468 140732497888768 139626193687040 139627451713044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8558] ppid=8542 vsize=10814888 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/8545/task/8558/stat : 8558 (java) S 8542 8545 5027 0 -1 1077944384 2723 0 0 0 61 0 0 0 20 0 13 0 415353686 11074445312 39538 33554432000 4194304 4196468 140732497888768 139626192652784 139627471088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
[pid=8545/tid=8559] ppid=8542 vsize=10814888 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8545/task/8559/stat : 8559 (java) S 8542 8545 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 415353686 11074445312 39538 33554432000 4194304 4196468 140732497888768 139626191600480 139627471087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140732497892363 140732497892466 140732497892466 140732497895375 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 10814888 KiB
Current children cumulated memory: 158152 KiB
Child status: 0
Real time (s): 2.61549
CPU time (s): 4.83969
CPU user time (s): 4.71279
CPU system time (s): 0.126906
CPU usage (%): 185.04
Max. virtual memory (cumulated for all children) (KiB): 10814888
Max. memory (cumulated for all children) (KiB): 158152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.71279
system time used= 0.126906
maximum resident set size= 158788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2307
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 8545
# total CPU time (s): 4.83969
# total CPU user time (s): 4.71279
# total CPU system time (s): 0.126906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039056 second user time and 0.069668 second system time
The end