2.40/1.88
2.40/1.88 AbsCon 2
2.40/1.90
3.32/2.15 Instance
3.32/2.15 name=instance-4390900-1568385532, framework=COP, bounds=-infty..+infty
3.32/2.15
3.32/2.15 Loading variables...
3.32/2.17 Loading constraints...
4.00/2.33
4.00/2.33 Domains
4.00/2.33 nTypes=1, nValues=6400, sizes=[80#80]
4.00/2.34 Variables
4.00/2.34 count=80, degrees=[64#80]
4.00/2.34 Objectives
4.00/2.34 way=min, type=ObjMaximumLE
4.00/2.34 Constraints
4.00/2.34 count=1261, nSpecific=1261, arities=[4#1260,80#1]
4.00/2.34 distribution=[NotAllEqual#1260,ObjMaximumLE#1]
4.00/2.34 wck=0.482, cpu=2.297, mem=47M652
4.00/2.34 Solver SolverBacktrack being built...
4.00/2.34
4.00/2.36
4.00/2.36 Solver
4.00/2.36 guaranteedGAC=true
4.00/2.36 wck=0.514, cpu=2.327, mem=58M294
4.00/2.37
4.00/2.37 Preprocessing
4.00/2.37 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.00/2.37 wck=0.002, cpu=2.331, mem=58M294
4.00/2.37
4.00/2.38 o 7
4.00/2.39 num=0, depth=81..79, filters=196, ccks=1261, wck=0.022, mem=58M294
4.00/2.39 decisions=80, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=7
4.00/2.39
4.31/2.40 o 6
4.31/2.41 num=1, depth=71..79, filters=397, ccks=2522, wck=0.042, mem=58M294
4.31/2.41 decisions=160, wrong=3, backtracks=2, failedAssignments=2, nogoods=1, foundSolutions=2, bestBound=6
4.31/2.41
4.31/2.41 o 5
4.31/2.41 num=2, depth=63..79, filters=581, ccks=3783, wck=0.048, mem=58M294
4.31/2.41 decisions=243, wrong=9, backtracks=5, failedAssignments=6, nogoods=4, foundSolutions=3, bestBound=5
4.31/2.41
4.31/2.42 o 4
4.31/2.42 num=3, depth=59..79, filters=715, ccks=5044, wck=0.052, mem=58M294
4.31/2.42 decisions=317, wrong=10, backtracks=5, failedAssignments=7, nogoods=5, foundSolutions=4, bestBound=4
4.31/2.42
4.31/2.42 o 3
4.31/2.42 num=4, depth=50..79, filters=852, ccks=6305, wck=0.057, mem=60M937
4.31/2.42 decisions=389, wrong=15, backtracks=7, failedAssignments=11, nogoods=8, foundSolutions=5, bestBound=3
4.31/2.42
4.31/2.42 num=5, depth=31..43, filters=1102, ccks=6305, wck=0.06, mem=60M937
4.31/2.42 decisions=466, wrong=34, backtracks=18, failedAssignments=22, nogoods=12, foundSolutions=5, bestBound=3
4.31/2.42
4.31/2.43 num=6, depth=30..44, filters=1383, ccks=6305, wck=0.064, mem=60M937
4.31/2.43 decisions=544, wrong=53, backtracks=29, failedAssignments=33, nogoods=15, foundSolutions=5, bestBound=3
4.31/2.43
4.31/2.43 num=7, depth=31..43, filters=1613, ccks=6305, wck=0.066, mem=60M937
4.31/2.43 decisions=624, wrong=75, backtracks=42, failedAssignments=45, nogoods=20, foundSolutions=5, bestBound=3
4.31/2.43
4.31/2.43 num=8, depth=31..36, filters=1937, ccks=6305, wck=0.069, mem=60M937
4.31/2.43 decisions=703, wrong=99, backtracks=57, failedAssignments=58, nogoods=23, foundSolutions=5, bestBound=3
4.31/2.43
4.31/2.44 num=9, depth=32..42, filters=2366, ccks=6305, wck=0.073, mem=60M937
4.31/2.44 decisions=792, wrong=126, backtracks=78, failedAssignments=72, nogoods=26, foundSolutions=5, bestBound=3
4.31/2.44
4.31/2.44 num=10, depth=33..44, filters=2713, ccks=6305, wck=0.075, mem=60M937
4.31/2.44 decisions=881, wrong=151, backtracks=93, failedAssignments=88, nogoods=34, foundSolutions=5, bestBound=3
4.31/2.44
4.31/2.44 num=11, depth=31..37, filters=3215, ccks=6305, wck=0.078, mem=60M937
4.31/2.44 decisions=968, wrong=178, backtracks=108, failedAssignments=105, nogoods=42, foundSolutions=5, bestBound=3
4.31/2.44
4.31/2.45 num=12, depth=32..44, filters=3761, ccks=6305, wck=0.081, mem=60M937
4.31/2.45 decisions=1075, wrong=214, backtracks=134, failedAssignments=124, nogoods=46, foundSolutions=5, bestBound=3
4.31/2.45
4.31/2.45 num=13, depth=17..25, filters=4118, ccks=6305, wck=0.083, mem=60M937
4.31/2.45 decisions=1172, wrong=253, backtracks=157, failedAssignments=145, nogoods=54, foundSolutions=5, bestBound=3
4.31/2.45
4.31/2.45 num=14, depth=32..42, filters=4594, ccks=6305, wck=0.086, mem=60M937
4.31/2.45 decisions=1290, wrong=294, backtracks=181, failedAssignments=168, nogoods=60, foundSolutions=5, bestBound=3
4.31/2.45
4.31/2.45 num=15, depth=11..27, filters=4948, ccks=6305, wck=0.088, mem=60M937
4.31/2.45 decisions=1400, wrong=339, backtracks=206, failedAssignments=193, nogoods=66, foundSolutions=5, bestBound=3
4.31/2.45
4.31/2.46 num=16, depth=27..48, filters=5583, ccks=6305, wck=0.092, mem=60M937
4.31/2.46 decisions=1545, wrong=392, backtracks=242, failedAssignments=221, nogoods=72, foundSolutions=5, bestBound=3
4.31/2.46
4.31/2.46 num=17, depth=29..42, filters=6324, ccks=6305, wck=0.095, mem=60M937
4.31/2.46 decisions=1708, wrong=456, backtracks=283, failedAssignments=252, nogoods=77, foundSolutions=5, bestBound=3
4.31/2.46
4.31/2.46 num=18, depth=31..40, filters=7115, ccks=6305, wck=0.099, mem=60M937
4.31/2.46 decisions=1856, wrong=513, backtracks=320, failedAssignments=286, nogoods=82, foundSolutions=5, bestBound=3
4.31/2.46
4.31/2.47 num=19, depth=33..42, filters=8340, ccks=6305, wck=0.105, mem=60M937
4.31/2.47 decisions=2023, wrong=580, backtracks=374, failedAssignments=323, nogoods=87, foundSolutions=5, bestBound=3
4.31/2.47
4.31/2.47 num=20, depth=34..45, filters=9217, ccks=6305, wck=0.108, mem=60M937
4.31/2.47 decisions=2225, wrong=662, backtracks=431, failedAssignments=364, nogoods=90, foundSolutions=5, bestBound=3
4.31/2.47
4.31/2.48 num=21, depth=33..41, filters=10190, ccks=6305, wck=0.112, mem=60M937
4.31/2.48 decisions=2431, wrong=748, backtracks=489, failedAssignments=409, nogoods=93, foundSolutions=5, bestBound=3
4.31/2.48
4.31/2.48 num=22, depth=22..41, filters=11037, ccks=6305, wck=0.116, mem=60M937
4.31/2.48 decisions=2652, wrong=846, backtracks=551, failedAssignments=459, nogoods=99, foundSolutions=5, bestBound=3
4.31/2.48
4.31/2.48 num=23, depth=29..41, filters=12194, ccks=6305, wck=0.12, mem=60M937
4.31/2.48 decisions=2887, wrong=947, backtracks=621, failedAssignments=514, nogoods=106, foundSolutions=5, bestBound=3
4.31/2.48
4.31/2.49 num=24, depth=31..38, filters=13356, ccks=6305, wck=0.125, mem=60M937
4.31/2.49 decisions=3151, wrong=1063, backtracks=702, failedAssignments=575, nogoods=114, foundSolutions=5, bestBound=3
4.31/2.49
4.31/2.49 num=25, depth=34..45, filters=14621, ccks=6305, wck=0.13, mem=60M937
4.31/2.49 decisions=3436, wrong=1187, backtracks=784, failedAssignments=642, nogoods=120, foundSolutions=5, bestBound=3
4.31/2.49
4.64/2.50 num=26, depth=31..41, filters=16141, ccks=6305, wck=0.135, mem=60M937
4.64/2.50 decisions=3765, wrong=1335, backtracks=876, failedAssignments=716, nogoods=125, foundSolutions=5, bestBound=3
4.64/2.50
4.64/2.51 num=27, depth=24..34, filters=17489, ccks=6305, wck=0.141, mem=60M937
4.64/2.51 decisions=4077, wrong=1477, backtracks=978, failedAssignments=797, nogoods=129, foundSolutions=5, bestBound=3
4.64/2.51
4.64/2.51 num=28, depth=33..46, filters=19350, ccks=6305, wck=0.147, mem=60M937
4.64/2.51 decisions=4432, wrong=1636, backtracks=1085, failedAssignments=886, nogoods=135, foundSolutions=5, bestBound=3
4.64/2.51
4.64/2.52 num=29, depth=32..43, filters=21301, ccks=6305, wck=0.154, mem=60M937
4.64/2.52 decisions=4836, wrong=1821, backtracks=1217, failedAssignments=984, nogoods=141, foundSolutions=5, bestBound=3
4.64/2.52
4.64/2.52 o 2
4.64/2.53 num=30, depth=24..79, filters=22727, ccks=7566, wck=0.161, mem=60M937
4.64/2.53 decisions=5197, wrong=1980, backtracks=1322, failedAssignments=1071, nogoods=146, foundSolutions=6, bestBound=2
4.64/2.53
4.64/2.53 num=31, depth=2..14, filters=24860, ccks=7566, wck=0.17, mem=60M937
4.64/2.53 decisions=5669, wrong=2214, backtracks=1539, failedAssignments=1190, nogoods=151, foundSolutions=6, bestBound=2
4.64/2.53
4.64/2.54 num=32, depth=4..9, filters=25038, ccks=7566, wck=0.171, mem=60M937
4.64/2.54 decisions=5709, wrong=2232, backtracks=1555, failedAssignments=1201, nogoods=153, foundSolutions=6, bestBound=2
4.64/2.54
4.64/2.54 num=33, depth=4..9, filters=25243, ccks=7566, wck=0.173, mem=60M937
4.64/2.54 decisions=5751, wrong=2251, backtracks=1568, failedAssignments=1213, nogoods=158, foundSolutions=6, bestBound=2
4.64/2.54
4.64/2.54 num=34, depth=3..10, filters=25440, ccks=7566, wck=0.174, mem=60M937
4.64/2.54 decisions=5802, wrong=2274, backtracks=1589, failedAssignments=1226, nogoods=161, foundSolutions=6, bestBound=2
4.64/2.54
4.64/2.54 num=35, depth=4..12, filters=25682, ccks=7566, wck=0.175, mem=60M937
4.64/2.54 decisions=5856, wrong=2298, backtracks=1609, failedAssignments=1240, nogoods=165, foundSolutions=6, bestBound=2
4.64/2.54
4.64/2.54 num=36, depth=4..12, filters=25916, ccks=7566, wck=0.177, mem=60M937
4.64/2.54 decisions=5926, wrong=2330, backtracks=1639, failedAssignments=1256, nogoods=168, foundSolutions=6, bestBound=2
4.64/2.54
4.64/2.54 num=37, depth=3..9, filters=26131, ccks=7566, wck=0.178, mem=60M937
4.64/2.54 decisions=5995, wrong=2363, backtracks=1666, failedAssignments=1273, nogoods=171, foundSolutions=6, bestBound=2
4.64/2.54
4.64/2.54 num=38, depth=3..11, filters=26357, ccks=7566, wck=0.18, mem=60M937
4.64/2.54 decisions=6067, wrong=2397, backtracks=1693, failedAssignments=1292, nogoods=174, foundSolutions=6, bestBound=2
4.64/2.54
4.64/2.55 num=39, depth=3..10, filters=26685, ccks=7566, wck=0.183, mem=60M937
4.64/2.55 decisions=6152, wrong=2437, backtracks=1725, failedAssignments=1313, nogoods=176, foundSolutions=6, bestBound=2
4.64/2.55
4.64/2.55 num=40, depth=3..10, filters=26982, ccks=7566, wck=0.184, mem=60M937
4.64/2.55 decisions=6238, wrong=2478, backtracks=1760, failedAssignments=1336, nogoods=179, foundSolutions=6, bestBound=2
4.64/2.55
4.64/2.55 num=41, depth=2..11, filters=27342, ccks=7566, wck=0.187, mem=60M937
4.64/2.55 decisions=6331, wrong=2522, backtracks=1798, failedAssignments=1361, nogoods=182, foundSolutions=6, bestBound=2
4.64/2.55
4.64/2.55 num=42, depth=3..11, filters=27737, ccks=7566, wck=0.189, mem=60M937
4.64/2.55 decisions=6433, wrong=2571, backtracks=1846, failedAssignments=1389, nogoods=184, foundSolutions=6, bestBound=2
4.64/2.55
4.64/2.56 num=43, depth=4..11, filters=28277, ccks=7566, wck=0.192, mem=60M937
4.64/2.56 decisions=6566, wrong=2635, backtracks=1900, failedAssignments=1420, nogoods=189, foundSolutions=6, bestBound=2
4.64/2.56
4.64/2.56 num=44, depth=3..10, filters=28730, ccks=7566, wck=0.194, mem=60M937
4.64/2.56 decisions=6695, wrong=2698, backtracks=1956, failedAssignments=1454, nogoods=196, foundSolutions=6, bestBound=2
4.64/2.56
4.64/2.56 num=45, depth=2..13, filters=29209, ccks=7566, wck=0.198, mem=60M937
4.64/2.56 decisions=6831, wrong=2763, backtracks=2014, failedAssignments=1491, nogoods=200, foundSolutions=6, bestBound=2
4.64/2.56
4.64/2.57 num=46, depth=3..12, filters=29870, ccks=7566, wck=0.202, mem=60M937
4.64/2.57 decisions=6997, wrong=2844, backtracks=2084, failedAssignments=1532, nogoods=204, foundSolutions=6, bestBound=2
4.64/2.57
4.64/2.57 num=47, depth=2..13, filters=30522, ccks=7566, wck=0.206, mem=60M937
4.64/2.57 decisions=7169, wrong=2928, backtracks=2158, failedAssignments=1577, nogoods=207, foundSolutions=6, bestBound=2
4.64/2.57
4.64/2.57 num=48, depth=2..11, filters=31375, ccks=7566, wck=0.21, mem=60M937
4.64/2.57 decisions=7376, wrong=3029, backtracks=2250, failedAssignments=1627, nogoods=211, foundSolutions=6, bestBound=2
4.64/2.57
4.64/2.58 num=49, depth=2..12, filters=32254, ccks=7566, wck=0.215, mem=60M937
4.64/2.58 decisions=7581, wrong=3129, backtracks=2338, failedAssignments=1682, nogoods=215, foundSolutions=6, bestBound=2
4.64/2.58
4.64/2.59 num=50, depth=1..10, filters=33362, ccks=7566, wck=0.221, mem=60M937
4.64/2.59 decisions=7847, wrong=3260, backtracks=2452, failedAssignments=1743, nogoods=219, foundSolutions=6, bestBound=2
4.64/2.59
4.64/2.59 num=51, depth=2..12, filters=34534, ccks=7566, wck=0.227, mem=60M937
4.64/2.59 decisions=8123, wrong=3396, backtracks=2575, failedAssignments=1810, nogoods=223, foundSolutions=6, bestBound=2
4.64/2.59
4.95/2.60 num=52, depth=1..12, filters=35637, ccks=7566, wck=0.232, mem=60M937
4.95/2.60 decisions=8402, wrong=3533, backtracks=2696, failedAssignments=1884, nogoods=228, foundSolutions=6, bestBound=2
4.95/2.60
4.95/2.60 num=53, depth=1..11, filters=36786, ccks=7566, wck=0.238, mem=60M937
4.95/2.60 decisions=8698, wrong=3680, backtracks=2832, failedAssignments=1965, nogoods=233, foundSolutions=6, bestBound=2
4.95/2.60
4.95/2.61 num=54, depth=0..10, filters=38131, ccks=7566, wck=0.244, mem=60M937
4.95/2.61 decisions=9054, wrong=3857, backtracks=2994, failedAssignments=2054, nogoods=235, foundSolutions=6, bestBound=2
4.95/2.61
4.95/2.61
4.95/2.61 New Bounds: 2..1
4.95/2.62 num=55, depth=0..11, filters=39316, ccks=7566, wck=0.25, mem=60M937
4.95/2.62 decisions=9356, wrong=4009, backtracks=3139, failedAssignments=2126, foundSolutions=6, bestBound=2
4.95/2.62
4.95/2.62 Global
4.95/2.62 filters=39316, ccks=7566
4.95/2.62 Stop=FULL_EXPLORATION, wrong=4009, bestBound=2, bestBoundWck=0.675, bestBoundCpu=2.487, foundSolutions=6, firstSolCpu=2.341
4.95/2.62 wck=0.765, cpu=2.577, mem=60M937
4.95/2.62
4.95/2.62 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.95/2.62 s OPTIMUM FOUND
4.95/2.62
4.95/2.62 d WRONG_DECISIONS 4009
4.95/2.62 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 (8441 MiB free)
memory of node 1: 16384 MiB (15508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390900-1568385532/watcher-4390900-1568385532 -o /tmp/evaluation-result-4390900-1568385532/solver-4390900-1568385532 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568380475-17709 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390900-1568385532.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=18474, runsolver pid=18471
[startup+0.102174 s]*
/proc/loadavg: 1.66 1.64 1.67 4/229 18489
/proc/meminfo: memFree=24510752/32770624 swapFree=67020140/67108860
[pid=18474] ppid=18471 vsize=10659884 memory=27936 CPUtime=0.14 cores=0,2,4,6
/proc/18474/stat : 18474 (java) S 18471 18474 17678 0 -1 1077944320 5504 0 0 0 13 1 0 0 20 0 15 0 414825817 10915721216 6984 33554432000 4194304 4196468 140724510450464 140724510433008 140371531661047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
/proc/18474/statm: 2664971 6984 2861 1 0 2627468 0
[pid=18474/tid=18476] ppid=18471 vsize=10659884 memory=-8269626465541198458 CPUtime=0.09 cores=0,2,4,6
/proc/18474/task/18476/stat : 18476 (java) R 18471 18474 17678 0 -1 4202560 3200 0 0 0 9 0 0 0 20 0 15 0 414825817 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371535890720 140371515704677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18477] ppid=18471 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18477/stat : 18477 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371484281744 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18478] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18478/stat : 18478 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371483228944 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18479] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18479/stat : 18479 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371482176656 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18480] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18480/stat : 18480 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371481123856 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18481] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18481/stat : 18481 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371090782320 140371531672194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18482] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18482/stat : 18482 (java) S 18471 18474 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371089728288 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18483] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18483/stat : 18483 (java) S 18471 18474 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371088675952 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18484] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18484/stat : 18484 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371087624272 140371531679643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18485] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18485/stat : 18485 (java) S 18471 18474 17678 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371086572144 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18486] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18486/stat : 18486 (java) S 18471 18474 17678 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371085519344 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18487] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0.02 cores=0,2,4,6
/proc/18474/task/18487/stat : 18487 (java) R 18471 18474 17678 0 -1 4202560 405 0 0 0 2 0 0 0 20 0 15 0 414825823 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371084467056 140371511038609 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18488] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18488/stat : 18488 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371083414496 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18489] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18489/stat : 18489 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 6984 33554432000 4194304 4196468 140724510450464 140371082361264 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27936 KiB
[startup+0.210931 s]*
/proc/loadavg: 1.66 1.64 1.67 4/229 18489
/proc/meminfo: memFree=24498596/32770624 swapFree=67020140/67108860
[pid=18474] ppid=18471 vsize=10659884 memory=37516 CPUtime=0.32 cores=0,2,4,6
/proc/18474/stat : 18474 (java) S 18471 18474 17678 0 -1 1077944320 9145 0 0 0 29 3 0 0 20 0 15 0 414825817 10915721216 9379 33554432000 4194304 4196468 140724510450464 140724510433008 140371531661047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
/proc/18474/statm: 2664971 9379 2989 1 0 2627468 0
[pid=18474/tid=18476] ppid=18471 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/18474/task/18476/stat : 18476 (java) R 18471 18474 17678 0 -1 4202560 6094 0 0 0 18 2 0 0 20 0 15 0 414825817 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371535893008 140371531682973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18477] ppid=18471 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18477/stat : 18477 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371484281744 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18478] ppid=18471 vsize=10659884 memory=4050906387231000224 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18478/stat : 18478 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371483228944 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18479] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18479/stat : 18479 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371482176656 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18480] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18480/stat : 18480 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371481123856 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18481] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18481/stat : 18481 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371090782320 140371531672194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18482] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18482/stat : 18482 (java) S 18471 18474 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371089728288 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18483] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18483/stat : 18483 (java) S 18471 18474 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371088675952 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18484] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18484/stat : 18484 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371087624272 140371531679643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18485] ppid=18471 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18474/task/18485/stat : 18485 (java) S 18471 18474 17678 0 -1 1077944384 484 0 0 0 3 0 0 0 20 0 15 0 414825823 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371086572144 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18486] ppid=18471 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18474/task/18486/stat : 18486 (java) S 18471 18474 17678 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 414825823 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371085519344 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18487] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0.05 cores=0,2,4,6
/proc/18474/task/18487/stat : 18487 (java) S 18471 18474 17678 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 414825823 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371084467056 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18488] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18488/stat : 18488 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371083414496 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18489] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18489/stat : 18489 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 9379 33554432000 4194304 4196468 140724510450464 140371082361264 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37516 KiB
[startup+0.310089 s]*
/proc/loadavg: 1.66 1.64 1.67 3/229 18489
/proc/meminfo: memFree=24496784/32770624 swapFree=67020140/67108860
[pid=18474] ppid=18471 vsize=10659884 memory=40056 CPUtime=0.47 cores=0,2,4,6
/proc/18474/stat : 18474 (java) S 18471 18474 17678 0 -1 1077944320 9357 0 0 0 44 3 0 0 20 0 15 0 414825817 10915721216 10014 33554432000 4194304 4196468 140724510450464 140724510433008 140371531661047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
/proc/18474/statm: 2664971 10014 3001 1 0 2627468 0
[pid=18474/tid=18476] ppid=18471 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/18474/task/18476/stat : 18476 (java) R 18471 18474 17678 0 -1 4202560 6242 0 0 0 28 2 0 0 20 0 15 0 414825817 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371535892848 140371531682394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18477] ppid=18471 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18477/stat : 18477 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371484281744 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18478] ppid=18471 vsize=10659884 memory=3977718495239718560 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18478/stat : 18478 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371483228944 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18479] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18479/stat : 18479 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371482176656 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18480] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18480/stat : 18480 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371481123856 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18481] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18481/stat : 18481 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371090782320 140371531672194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18482] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18482/stat : 18482 (java) S 18471 18474 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371089728288 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18483] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18483/stat : 18483 (java) S 18471 18474 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414825820 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371088675952 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18484] ppid=18471 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18484/stat : 18484 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371087624272 140371531679643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18485] ppid=18471 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18474/task/18485/stat : 18485 (java) S 18471 18474 17678 0 -1 1077944384 519 0 0 0 4 0 0 0 20 0 15 0 414825823 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371086572144 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18486] ppid=18471 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18474/task/18486/stat : 18486 (java) R 18471 18474 17678 0 -1 4202560 518 0 0 0 3 0 0 0 20 0 15 0 414825823 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371085519344 140371509635792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18487] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0.08 cores=0,2,4,6
/proc/18474/task/18487/stat : 18487 (java) S 18471 18474 17678 0 -1 1077944384 718 0 0 0 8 0 0 0 20 0 15 0 414825823 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371084467056 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18488] ppid=18471 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18488/stat : 18488 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371083414496 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18489] ppid=18471 vsize=10659884 memory=140386714502784 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18489/stat : 18489 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825823 10915721216 10014 33554432000 4194304 4196468 140724510450464 140371082361264 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40056 KiB
[startup+0.700703 s]
/proc/loadavg: 1.66 1.64 1.67 3/229 18489
/proc/meminfo: memFree=24486708/32770624 swapFree=67020140/67108860
[pid=18474] ppid=18471 vsize=10661932 memory=64092 CPUtime=1.1 cores=0,2,4,6
/proc/18474/stat : 18474 (java) S 18471 18474 17678 0 -1 1077944320 13046 0 0 0 104 6 0 0 20 0 15 0 414825817 10917818368 16023 33554432000 4194304 4196468 140724510450464 140724510433008 140371531661047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
/proc/18474/statm: 2665483 16023 3064 1 0 2627980 0
[pid=18474/tid=18476] ppid=18471 vsize=10661932 memory=1844 CPUtime=0.68 cores=0,2,4,6
/proc/18474/task/18476/stat : 18476 (java) R 18471 18474 17678 0 -1 4202560 8798 0 0 0 64 4 0 0 20 0 15 0 414825817 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371535899088 140371514847877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18477] ppid=18471 vsize=10661932 memory=4964 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18477/stat : 18477 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371484281744 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18478] ppid=18471 vsize=10661932 memory=10092 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18478/stat : 18478 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371483228944 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18479] ppid=18471 vsize=10661932 memory=1908 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18479/stat : 18479 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825818 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371482176656 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18480] ppid=18471 vsize=10661932 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18480/stat : 18480 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371481123856 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18481] ppid=18471 vsize=10661932 memory=7420 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18481/stat : 18481 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825820 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371090782320 140371531672194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18482] ppid=18471 vsize=10661932 memory=860 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18482/stat : 18482 (java) S 18471 18474 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414825820 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371089728288 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18483] ppid=18471 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18483/stat : 18483 (java) S 18471 18474 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414825820 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371088675952 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18484] ppid=18471 vsize=10661932 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18484/stat : 18484 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371087624272 140371531679643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18485] ppid=18471 vsize=10661932 memory=7014751519599842897 CPUtime=0.11 cores=0,2,4,6
/proc/18474/task/18485/stat : 18485 (java) S 18471 18474 17678 0 -1 1077944384 896 0 0 0 11 0 0 0 20 0 15 0 414825823 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371086572144 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18486] ppid=18471 vsize=10661932 memory=6081666446975789422 CPUtime=0.09 cores=0,2,4,6
/proc/18474/task/18486/stat : 18486 (java) R 18471 18474 17678 0 -1 4202560 795 0 0 0 9 0 0 0 20 0 15 0 414825823 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371085519344 140371515045760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18487] ppid=18471 vsize=10661932 memory=5787213857196369745 CPUtime=0.18 cores=0,2,4,6
/proc/18474/task/18487/stat : 18487 (java) S 18471 18474 17678 0 -1 1077944384 1196 0 0 0 18 0 0 0 20 0 15 0 414825823 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371084467056 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18488] ppid=18471 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18488/stat : 18488 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371083414496 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18489] ppid=18471 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18489/stat : 18489 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825823 10917818368 16023 33554432000 4194304 4196468 140724510450464 140371082361264 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64092 KiB
[startup+1.50073 s]
/proc/loadavg: 1.66 1.64 1.67 3/229 18489
/proc/meminfo: memFree=24470504/32770624 swapFree=67020140/67108860
[pid=18474] ppid=18471 vsize=10663980 memory=75908 CPUtime=1.99 cores=0,2,4,6
/proc/18474/stat : 18474 (java) S 18471 18474 17678 0 -1 1077944320 18572 0 0 0 193 6 0 0 20 0 15 0 414825817 10919915520 18977 33554432000 4194304 4196468 140724510450464 140724510433008 140371531661047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
/proc/18474/statm: 2665995 18977 3094 1 0 2628492 0
[pid=18474/tid=18476] ppid=18471 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/18474/task/18476/stat : 18476 (java) R 18471 18474 17678 0 -1 4202560 12981 0 0 0 143 4 0 0 20 0 15 0 414825817 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371535901328 140371513224551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18477] ppid=18471 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18477/stat : 18477 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371484281744 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18478] ppid=18471 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18478/stat : 18478 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371483228944 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18479] ppid=18471 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18479/stat : 18479 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825818 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371482176656 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18480] ppid=18471 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18480/stat : 18480 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371481123856 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18481] ppid=18471 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18481/stat : 18481 (java) S 18471 18474 17678 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414825820 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371090782320 140371531672194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18482] ppid=18471 vsize=10663980 memory=7156330220368128104 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18482/stat : 18482 (java) S 18471 18474 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414825820 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371089728288 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18483] ppid=18471 vsize=10663980 memory=6153133495896139373 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18483/stat : 18483 (java) S 18471 18474 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414825820 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371088675952 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18484] ppid=18471 vsize=10663980 memory=8242264893812663142 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18484/stat : 18484 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371087624272 140371531679643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18485] ppid=18471 vsize=10663980 memory=8298058091463104885 CPUtime=0.14 cores=0,2,4,6
/proc/18474/task/18485/stat : 18485 (java) S 18471 18474 17678 0 -1 1077944384 1274 0 0 0 14 0 0 0 20 0 15 0 414825823 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371086572144 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18486] ppid=18471 vsize=10663980 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/18474/task/18486/stat : 18486 (java) S 18471 18474 17678 0 -1 1077944384 1680 0 0 0 16 0 0 0 20 0 15 0 414825823 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371085519344 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18487] ppid=18471 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18474/task/18487/stat : 18487 (java) S 18471 18474 17678 0 -1 1077944384 1198 0 0 0 18 0 0 0 20 0 15 0 414825823 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371084467056 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18488] ppid=18471 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18488/stat : 18488 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371083414496 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18489] ppid=18471 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18489/stat : 18489 (java) S 18471 18474 17678 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 414825823 10919915520 18977 33554432000 4194304 4196468 140724510450464 140371082361264 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75908 KiB
[startup+2.63748 s]
# the end of solver process 18474 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.87122 s, system=0.156973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60083 s]
/proc/loadavg: 1.66 1.64 1.67 3/229 18489
/proc/meminfo: memFree=24470504/32770624 swapFree=67020140/67108860
[pid=18474] ppid=18471 vsize=10666028 memory=76912 CPUtime=2.1 cores=0,2,4,6
/proc/18474/stat : 18474 (java) S 18471 18474 17678 0 -1 1077944320 18947 0 0 0 203 7 0 0 20 0 15 0 414825817 10922012672 19228 33554432000 4194304 4196468 140724510450464 140724510433008 140371531661047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
/proc/18474/statm: 2666507 19228 3094 1 0 2629004 0
[pid=18474/tid=18476] ppid=18471 vsize=10666028 memory=0 CPUtime=1.58 cores=0,2,4,6
/proc/18474/task/18476/stat : 18476 (java) R 18471 18474 17678 0 -1 4202560 13341 0 0 0 153 5 0 0 20 0 15 0 414825817 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371535901328 140371517030960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18477] ppid=18471 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18477/stat : 18477 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371484281744 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18478] ppid=18471 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18478/stat : 18478 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371483228944 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18479] ppid=18471 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18479/stat : 18479 (java) S 18471 18474 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414825818 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371482176656 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18480] ppid=18471 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18480/stat : 18480 (java) S 18471 18474 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414825818 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371481123856 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18481] ppid=18471 vsize=10666028 memory=140386714504497 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18481/stat : 18481 (java) S 18471 18474 17678 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414825820 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371090782320 140371531672194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18482] ppid=18471 vsize=10666028 memory=7521382370229447525 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18482/stat : 18482 (java) S 18471 18474 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414825820 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371089728288 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18483] ppid=18471 vsize=10666028 memory=7597132098393106257 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18483/stat : 18483 (java) S 18471 18474 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414825820 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371088675952 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18484] ppid=18471 vsize=10666028 memory=7300704776819335744 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18484/stat : 18484 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371087624272 140371531679643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18485] ppid=18471 vsize=10666028 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/18474/task/18485/stat : 18485 (java) S 18471 18474 17678 0 -1 1077944384 1289 0 0 0 15 0 0 0 20 0 15 0 414825823 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371086572144 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18486] ppid=18471 vsize=10666028 memory=219761866827632 CPUtime=0.16 cores=0,2,4,6
/proc/18474/task/18486/stat : 18486 (java) S 18471 18474 17678 0 -1 1077944384 1680 0 0 0 16 0 0 0 20 0 15 0 414825823 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371085519344 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18487] ppid=18471 vsize=10666028 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18474/task/18487/stat : 18487 (java) S 18471 18474 17678 0 -1 1077944384 1198 0 0 0 18 0 0 0 20 0 15 0 414825823 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371084467056 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18488] ppid=18471 vsize=10666028 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18488/stat : 18488 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414825823 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371083414496 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18489] ppid=18471 vsize=10666028 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18489/stat : 18489 (java) S 18471 18474 17678 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 414825823 10922012672 19228 33554432000 4194304 4196468 140724510450464 140371082361264 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76912 KiB
[startup+2.40147 s]
/proc/loadavg: 1.68 1.65 1.67 6/230 18490
/proc/meminfo: memFree=24394364/32770624 swapFree=67020140/67108860
[pid=18474] ppid=18471 vsize=10746276 memory=159488 CPUtime=4.31 cores=0,2,4,6
/proc/18474/stat : 18474 (java) S 18471 18474 17678 0 -1 1077944320 27732 0 0 0 418 13 0 0 20 0 16 0 414825817 11004186624 39872 33554432000 4194304 4196468 140724510450464 140724510433008 140371531661047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
/proc/18474/statm: 2686569 39872 3343 1 0 2646705 0
[pid=18474/tid=18476] ppid=18471 vsize=10747300 memory=924 CPUtime=1.86 cores=0,2,4,6
/proc/18474/task/18476/stat : 18476 (java) S 18471 18474 17678 0 -1 1077944384 15235 0 0 0 180 6 0 0 20 0 16 0 414825817 11005235200 39872 33554432000 4194304 4196468 140724510450464 140371535903920 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18477] ppid=18471 vsize=10747300 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18477/stat : 18477 (java) S 18471 18474 17678 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 16 0 414825818 11005235200 39937 33554432000 4194304 4196468 140724510450464 140371484281744 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18478] ppid=18471 vsize=10747300 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/18474/task/18478/stat : 18478 (java) S 18471 18474 17678 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 414825818 11005235200 39937 33554432000 4194304 4196468 140724510450464 140371483228944 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18479] ppid=18471 vsize=10747300 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18479/stat : 18479 (java) S 18471 18474 17678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414825818 11005235200 39937 33554432000 4194304 4196468 140724510450464 140371482176656 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18480] ppid=18471 vsize=10747300 memory=-7812193691855986592 CPUtime=0.01 cores=0,2,4,6
/proc/18474/task/18480/stat : 18480 (java) S 18471 18474 17678 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 16 0 414825818 11005235200 40003 33554432000 4194304 4196468 140724510450464 140371481123856 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18481] ppid=18471 vsize=10747300 memory=-6873162000112450758 CPUtime=0.01 cores=0,2,4,6
/proc/18474/task/18481/stat : 18481 (java) S 18471 18474 17678 0 -1 1077944384 1105 0 0 0 1 0 0 0 20 0 16 0 414825820 11005235200 40003 33554432000 4194304 4196468 140724510450464 140371090782320 140371531672194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18482] ppid=18471 vsize=10747300 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18482/stat : 18482 (java) S 18471 18474 17678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414825820 11005235200 40003 33554432000 4194304 4196468 140724510450464 140371089728352 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18483] ppid=18471 vsize=10747300 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18483/stat : 18483 (java) S 18471 18474 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414825820 11005235200 40003 33554432000 4194304 4196468 140724510450464 140371088675968 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18484] ppid=18471 vsize=10747300 memory=7523358183780279383 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18484/stat : 18484 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414825823 11005235200 40003 33554432000 4194304 4196468 140724510450464 140371087624272 140371531679643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18485] ppid=18471 vsize=10747300 memory=5938116408313008489 CPUtime=0.64 cores=0,2,4,6
/proc/18474/task/18485/stat : 18485 (java) R 18471 18474 17678 0 -1 4202560 2175 0 0 0 64 0 0 0 20 0 16 0 414825823 11005235200 40069 33554432000 4194304 4196468 140724510450464 140371086553136 140371509179728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18486] ppid=18471 vsize=10747300 memory=7523098703232657008 CPUtime=0.66 cores=0,2,4,6
/proc/18474/task/18486/stat : 18486 (java) R 18471 18474 17678 0 -1 4202560 2412 0 0 0 65 1 0 0 20 0 16 0 414825823 11005235200 40069 33554432000 4194304 4196468 140724510450464 140371085519344 140371510917418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18487] ppid=18471 vsize=10747300 memory=7595147505740309096 CPUtime=0.56 cores=0,2,4,6
/proc/18474/task/18487/stat : 18487 (java) S 18471 18474 17678 0 -1 1077944384 2541 0 0 0 55 1 0 0 20 0 16 0 414825823 11005235200 40069 33554432000 4194304 4196468 140724510450464 140371084467056 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18488] ppid=18471 vsize=10747300 memory=7595136484804945255 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18488/stat : 18488 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414825823 11005235200 40069 33554432000 4194304 4196468 140724510450464 140371083414496 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18489] ppid=18471 vsize=10747300 memory=7374754776559149417 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18489/stat : 18489 (java) S 18471 18474 17678 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414825823 11005235200 40069 33554432000 4194304 4196468 140724510450464 140371082361264 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18490] ppid=18471 vsize=10747300 memory=7302699385788982888 CPUtime=0.48 cores=0,2,4,6
/proc/18474/task/18490/stat : 18490 (java) R 18471 18474 17678 0 -1 4202560 2882 0 0 0 47 1 0 0 20 0 16 0 414826006 11005235200 40069 33554432000 4194304 4196468 140724510450464 140370997513056 140371524340765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 159488 KiB
[startup+2.60098 s]
/proc/loadavg: 1.68 1.65 1.67 6/230 18490
/proc/meminfo: memFree=24394364/32770624 swapFree=67020140/67108860
[pid=18474] ppid=18471 vsize=10748324 memory=160752 CPUtime=4.95 cores=0,2,4,6
/proc/18474/stat : 18474 (java) S 18471 18474 17678 0 -1 1077944320 29065 0 0 0 481 14 0 0 20 0 16 0 414825817 11006283776 40188 33554432000 4194304 4196468 140724510450464 140724510433008 140371531661047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
/proc/18474/statm: 2687081 40188 3348 1 0 2647217 0
[pid=18474/tid=18476] ppid=18471 vsize=10748324 memory=7162531440177276259 CPUtime=1.86 cores=0,2,4,6
/proc/18474/task/18476/stat : 18476 (java) S 18471 18474 17678 0 -1 1077944384 15235 0 0 0 180 6 0 0 20 0 16 0 414825817 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371535903920 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18477] ppid=18471 vsize=10748324 memory=7305792226098309996 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18477/stat : 18477 (java) S 18471 18474 17678 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 16 0 414825818 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371484281744 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18478] ppid=18471 vsize=10748324 memory=7734476420917127524 CPUtime=0.01 cores=0,2,4,6
/proc/18474/task/18478/stat : 18478 (java) S 18471 18474 17678 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 414825818 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371483228944 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18479] ppid=18471 vsize=10748324 memory=7523107478184158290 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18479/stat : 18479 (java) S 18471 18474 17678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414825818 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371482176656 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18480] ppid=18471 vsize=10748324 memory=7885075532090990929 CPUtime=0.01 cores=0,2,4,6
/proc/18474/task/18480/stat : 18480 (java) S 18471 18474 17678 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 16 0 414825818 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371481123856 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18481] ppid=18471 vsize=10748324 memory=6944656592452807316 CPUtime=0.01 cores=0,2,4,6
/proc/18474/task/18481/stat : 18481 (java) S 18471 18474 17678 0 -1 1077944384 1105 0 0 0 1 0 0 0 20 0 16 0 414825820 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371090782320 140371531672194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18482] ppid=18471 vsize=10748324 memory=-7737605721172012177 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18482/stat : 18482 (java) S 18471 18474 17678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414825820 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371089728352 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18483] ppid=18471 vsize=10748324 memory=4134606225630022328 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18483/stat : 18483 (java) S 18471 18474 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414825820 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371088675968 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18484] ppid=18471 vsize=10748324 memory=3054156605301941620 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18484/stat : 18484 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414825823 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371087624272 140371531679643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18485] ppid=18471 vsize=10748324 memory=7100839861499107429 CPUtime=0.83 cores=0,2,4,6
/proc/18474/task/18485/stat : 18485 (java) R 18471 18474 17678 0 -1 4202560 2324 0 0 0 83 0 0 0 20 0 16 0 414825823 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371086558880 140371515047832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18486] ppid=18471 vsize=10748324 memory=-7103146973613356224 CPUtime=0.85 cores=0,2,4,6
/proc/18474/task/18486/stat : 18486 (java) R 18471 18474 17678 0 -1 4202560 2489 0 0 0 84 1 0 0 20 0 16 0 414825823 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371085518240 140371510825073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18487] ppid=18471 vsize=10748324 memory=3054156605267021189 CPUtime=0.61 cores=0,2,4,6
/proc/18474/task/18487/stat : 18487 (java) S 18471 18474 17678 0 -1 1077944384 2648 0 0 0 60 1 0 0 20 0 16 0 414825823 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371084467056 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18488] ppid=18471 vsize=10748324 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18488/stat : 18488 (java) S 18471 18474 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414825823 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371083414496 140371531671253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18489] ppid=18471 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18474/task/18489/stat : 18489 (java) S 18471 18474 17678 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414825823 11006283776 40188 33554432000 4194304 4196468 140724510450464 140371082361264 140371531672194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
[pid=18474/tid=18490] ppid=18471 vsize=10748324 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/18474/task/18490/stat : 18490 (java) R 18471 18474 17678 0 -1 4202560 3626 0 0 0 66 1 0 0 20 0 16 0 414826006 11006283776 40188 33554432000 4194304 4196468 140724510450464 140370997524224 140371164316352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28393472 140724510454795 140724510454898 140724510454898 140724510457807 0
Current children cumulated CPU time: 4.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 160752 KiB
Child status: 0
Real time (s): 2.63752
CPU time (s): 5.02819
CPU user time (s): 4.87122
CPU system time (s): 0.156973
CPU usage (%): 190.641
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 160752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.87122
system time used= 0.156973
maximum resident set size= 161412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2176
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 18474
# total CPU time (s): 5.02819
# total CPU user time (s): 4.87122
# total CPU system time (s): 0.156973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032819 second user time and 0.074018 second system time
The end