2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.88
2.95/2.05 Instance
2.95/2.05 name=instance-4391119-1568390471, framework=COP, bounds=-infty..+infty
2.95/2.05
2.95/2.05 Loading variables...
2.95/2.07 Loading constraints...
3.23/2.15
3.23/2.15 Domains
3.23/2.15 nTypes=1, nValues=6084, sizes=[78#78]
3.23/2.15 Variables
3.23/2.15 count=78, degrees=[12#78]
3.23/2.15 Objectives
3.23/2.15 way=min, type=ObjMaximumLE
3.23/2.15 Constraints
3.23/2.15 count=287, nSpecific=287, arities=[3#286,78#1]
3.23/2.15 distribution=[NotAllEqual#286,ObjMaximumLE#1]
3.23/2.15 wck=0.31, cpu=2.12, mem=23M870
3.23/2.15 Solver SolverBacktrack being built...
3.23/2.15
3.23/2.17
3.23/2.17 Solver
3.23/2.17 guaranteedGAC=true
3.23/2.17 wck=0.337, cpu=2.146, mem=34M512
3.23/2.18
3.23/2.18 Preprocessing
3.23/2.18 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.23/2.18 wck=0.002, cpu=2.149, mem=34M512
3.23/2.18
3.23/2.19 o 11
3.23/2.19 num=0, depth=79..77, filters=286, ccks=287, wck=0.017, mem=34M512
3.23/2.19 decisions=78, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=11
3.23/2.19
3.51/2.21 o 10
3.51/2.21 num=1, depth=79..77, filters=508, ccks=574, wck=0.028, mem=34M512
3.51/2.21 decisions=155, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=10
3.51/2.21
3.51/2.21 o 9
3.51/2.21 num=2, depth=72..77, filters=730, ccks=861, wck=0.032, mem=34M512
3.51/2.21 decisions=233, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=9
3.51/2.21
3.51/2.21 o 8
3.51/2.21 num=3, depth=68..77, filters=900, ccks=1148, wck=0.035, mem=34M512
3.51/2.21 decisions=311, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=4, bestBound=8
3.51/2.21
3.51/2.22 o 7
3.51/2.22 num=4, depth=64..77, filters=1084, ccks=1435, wck=0.038, mem=34M512
3.51/2.22 decisions=394, wrong=8, backtracks=2, failedAssignments=6, nogoods=5, foundSolutions=5, bestBound=7
3.51/2.22
3.51/2.22 o 6
3.51/2.22 num=5, depth=60..77, filters=1262, ccks=1722, wck=0.041, mem=34M512
3.51/2.22 decisions=475, wrong=14, backtracks=4, failedAssignments=10, nogoods=8, foundSolutions=6, bestBound=6
3.51/2.22
3.51/2.22 o 5
3.51/2.22 num=6, depth=56..77, filters=1378, ccks=2009, wck=0.043, mem=34M512
3.51/2.22 decisions=558, wrong=20, backtracks=6, failedAssignments=14, nogoods=11, foundSolutions=7, bestBound=5
3.51/2.22
3.51/2.23 o 4
3.51/2.23 num=7, depth=49..77, filters=1488, ccks=2296, wck=0.046, mem=37M154
3.51/2.23 decisions=641, wrong=26, backtracks=8, failedAssignments=18, nogoods=14, foundSolutions=8, bestBound=4
3.51/2.23
3.51/2.23 o 3
3.51/2.23 num=8, depth=38..77, filters=1568, ccks=2583, wck=0.048, mem=37M154
3.51/2.23 decisions=716, wrong=28, backtracks=8, failedAssignments=20, nogoods=16, foundSolutions=9, bestBound=3
3.51/2.23
3.51/2.23 num=9, depth=26..37, filters=1780, ccks=2583, wck=0.05, mem=37M154
3.51/2.23 decisions=785, wrong=48, backtracks=20, failedAssignments=31, nogoods=19, foundSolutions=9, bestBound=3
3.51/2.23
3.51/2.23 num=10, depth=19..26, filters=1946, ccks=2583, wck=0.051, mem=37M154
3.51/2.23 decisions=842, wrong=67, backtracks=32, failedAssignments=42, nogoods=22, foundSolutions=9, bestBound=3
3.51/2.23
3.51/2.23 num=11, depth=25..39, filters=2211, ccks=2583, wck=0.052, mem=37M154
3.51/2.23 decisions=925, wrong=93, backtracks=54, failedAssignments=54, nogoods=26, foundSolutions=9, bestBound=3
3.51/2.23
3.51/2.23 num=12, depth=33..39, filters=2468, ccks=2583, wck=0.054, mem=37M154
3.51/2.23 decisions=1004, wrong=115, backtracks=71, failedAssignments=67, nogoods=28, foundSolutions=9, bestBound=3
3.51/2.23
3.51/2.23 num=13, depth=16..23, filters=2690, ccks=2583, wck=0.055, mem=37M154
3.51/2.23 decisions=1072, wrong=141, backtracks=86, failedAssignments=81, nogoods=29, foundSolutions=9, bestBound=3
3.51/2.23
3.51/2.23 o 2
3.51/2.23 num=14, depth=27..77, filters=2930, ccks=2870, wck=0.057, mem=37M154
3.51/2.23 decisions=1136, wrong=153, backtracks=90, failedAssignments=91, nogoods=35, foundSolutions=10, bestBound=2
3.51/2.23
3.51/2.23 num=15, depth=0..7, filters=3179, ccks=2870, wck=0.058, mem=37M154
3.51/2.23 decisions=1204, wrong=187, backtracks=116, failedAssignments=108, nogoods=35, foundSolutions=10, bestBound=2
3.51/2.23
3.51/2.23
3.51/2.23 New Bounds: 2..1
3.51/2.23 num=16, depth=0..0, filters=3193, ccks=2870, wck=0.058, mem=37M154
3.51/2.23 decisions=1206, wrong=189, backtracks=117, failedAssignments=109, foundSolutions=10, bestBound=2
3.51/2.23
3.51/2.23 Global
3.51/2.23 filters=3193, ccks=2870
3.51/2.23 Stop=FULL_EXPLORATION, wrong=189, bestBound=2, bestBoundWck=0.394, bestBoundCpu=2.199, foundSolutions=10, firstSolCpu=2.156
3.51/2.23 wck=0.396, cpu=2.201, mem=37M154
3.51/2.23
3.51/2.23 v <instantiation id='sol10' type='solution' cost='2'> <list> x[][] </list> <values> * 0 0 2 0 0 1 0 1 1 2 2 1 * * 2 1 2 1 2 1 1 2 0 0 0 * * * 0 1 2 1 1 0 0 1 0 2 * * * * 0 0 1 2 2 1 0 1 2 * * * * * 1 0 2 1 1 2 2 0 * * * * * * 1 2 0 0 1 0 1 * * * * * * * 2 0 0 0 0 2 * * * * * * * * 0 0 0 0 1 * * * * * * * * * 2 2 1 0 * * * * * * * * * * 1 2 0 * * * * * * * * * * * 1 2 * * * * * * * * * * * * 1 * * * * * * * * * * * * * </values> </instantiation>
3.51/2.23 s OPTIMUM FOUND
3.51/2.23
3.51/2.23 d WRONG_DECISIONS 189
3.51/2.23 d NUMBER_SOLUTIONS 10
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 (12835 MiB free)
memory of node 1: 16384 MiB (12092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391119-1568390471/watcher-4391119-1568390471 -o /tmp/evaluation-result-4391119-1568390471/solver-4391119-1568390471 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568388035-8104 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391119-1568390471.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
solver pid=8685, runsolver pid=8682
Current StackSize limit: 8192 KiB
[startup+0.101103 s]*
/proc/loadavg: 2.04 1.93 1.91 5/228 8700
/proc/meminfo: memFree=25509408/32770624 swapFree=66959224/67108860
[pid=8685] ppid=8682 vsize=10659884 memory=28400 CPUtime=0.14 cores=1,3,5,7
/proc/8685/stat : 8685 (java) S 8682 8685 6698 0 -1 1077944320 5556 0 0 0 13 1 0 0 20 0 15 0 414987236 10915721216 7100 33554432000 4194304 4196468 140735885192928 140735885175472 139922382216951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
/proc/8685/statm: 2664971 7100 2913 1 0 2627468 0
[pid=8685/tid=8687] ppid=8682 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=1,3,5,7
/proc/8685/task/8687/stat : 8687 (java) R 8682 8685 6698 0 -1 4202560 3277 0 0 0 9 0 0 0 20 0 15 0 414987236 10915721216 7166 33554432000 4194304 4196468 140735885192928 139922386444920 139922374454078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8688] ppid=8682 vsize=10659884 memory=5793855288723012025 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8688/stat : 8688 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 7166 33554432000 4194304 4196468 140735885192928 139922318907920 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8689] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8689/stat : 8689 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921987594896 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8690] ppid=8682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8690/stat : 8690 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921986541840 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8691] ppid=8682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8691/stat : 8691 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921985489296 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8692] ppid=8682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8692/stat : 8692 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987238 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921874221808 139922382228098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8693] ppid=8682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8693/stat : 8693 (java) S 8682 8685 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414987239 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921873168032 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8694] ppid=8682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8694/stat : 8694 (java) S 8682 8685 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414987239 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921872114928 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8695] ppid=8682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8695/stat : 8695 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921871063504 139922382235547 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8696] ppid=8682 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8685/task/8696/stat : 8696 (java) S 8682 8685 6698 0 -1 1077944384 533 0 0 0 1 0 0 0 20 0 15 0 414987242 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921870010608 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8697] ppid=8682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8697/stat : 8697 (java) R 8682 8685 6698 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921868948104 139922366967121 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8698] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0.02 cores=1,3,5,7
/proc/8685/task/8698/stat : 8698 (java) R 8682 8685 6698 0 -1 4202560 456 0 0 0 2 0 0 0 20 0 15 0 414987242 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921867901848 139922360742283 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8699] ppid=8682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8699/stat : 8699 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 7166 33554432000 4194304 4196468 140735885192928 139921866852704 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8700] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8700/stat : 8700 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 7232 33554432000 4194304 4196468 140735885192928 139921865800752 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28400 KiB
[startup+0.210609 s]*
/proc/loadavg: 2.04 1.93 1.91 3/228 8700
/proc/meminfo: memFree=25502152/32770624 swapFree=66959224/67108860
[pid=8685] ppid=8682 vsize=10659884 memory=35396 CPUtime=0.33 cores=1,3,5,7
/proc/8685/stat : 8685 (java) S 8682 8685 6698 0 -1 1077944320 6942 0 0 0 31 2 0 0 20 0 15 0 414987236 10915721216 8849 33554432000 4194304 4196468 140735885192928 140735885175472 139922382216951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
/proc/8685/statm: 2664971 8849 2988 1 0 2627468 0
[pid=8685/tid=8687] ppid=8682 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/8685/task/8687/stat : 8687 (java) R 8682 8685 6698 0 -1 4202560 3869 0 0 0 19 1 0 0 20 0 15 0 414987236 10915721216 8849 33554432000 4194304 4196468 140735885192928 139922386443312 139922382238877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8688] ppid=8682 vsize=10659884 memory=4211973763917909386 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8688/stat : 8688 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 8849 33554432000 4194304 4196468 140735885192928 139922318907920 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8689] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8689/stat : 8689 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921987594896 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8690] ppid=8682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8690/stat : 8690 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921986541840 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8691] ppid=8682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8691/stat : 8691 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921985489296 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8692] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8692/stat : 8692 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987238 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921874221808 139922382228098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8693] ppid=8682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8693/stat : 8693 (java) S 8682 8685 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414987239 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921873168032 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8694] ppid=8682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8694/stat : 8694 (java) S 8682 8685 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414987239 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921872114928 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8695] ppid=8682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8695/stat : 8695 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921871063504 139922382235547 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8696] ppid=8682 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8685/task/8696/stat : 8696 (java) S 8682 8685 6698 0 -1 1077944384 734 0 0 0 3 0 0 0 20 0 15 0 414987242 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921870010608 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8697] ppid=8682 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8685/task/8697/stat : 8697 (java) S 8682 8685 6698 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 15 0 414987242 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921868958064 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8698] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0.05 cores=1,3,5,7
/proc/8685/task/8698/stat : 8698 (java) S 8682 8685 6698 0 -1 1077944384 676 0 0 0 5 0 0 0 20 0 15 0 414987242 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921867905008 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8699] ppid=8682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8699/stat : 8699 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921866852704 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8700] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8700/stat : 8700 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 8849 33554432000 4194304 4196468 140735885192928 139921865800752 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35396 KiB
[startup+0.310014 s]*
/proc/loadavg: 2.04 1.93 1.91 3/228 8700
/proc/meminfo: memFree=25494592/32770624 swapFree=66959224/67108860
[pid=8685] ppid=8682 vsize=10659884 memory=40520 CPUtime=0.48 cores=1,3,5,7
/proc/8685/stat : 8685 (java) S 8682 8685 6698 0 -1 1077944320 9484 0 0 0 45 3 0 0 20 0 15 0 414987236 10915721216 10130 33554432000 4194304 4196468 140735885192928 140735885175472 139922382216951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
/proc/8685/statm: 2664971 10130 3000 1 0 2627468 0
[pid=8685/tid=8687] ppid=8682 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/8685/task/8687/stat : 8687 (java) R 8682 8685 6698 0 -1 4202560 6336 0 0 0 28 2 0 0 20 0 15 0 414987236 10915721216 10130 33554432000 4194304 4196468 140735885192928 139922386448752 139922382238877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8688] ppid=8682 vsize=10659884 memory=4211973763917909386 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8688/stat : 8688 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 10130 33554432000 4194304 4196468 140735885192928 139922318907920 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8689] ppid=8682 vsize=10659884 memory=140037713121257 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8689/stat : 8689 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921987594896 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8690] ppid=8682 vsize=10659884 memory=140037610128442 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8690/stat : 8690 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921986541840 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8691] ppid=8682 vsize=10659884 memory=140037610130895 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8691/stat : 8691 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987237 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921985489296 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8692] ppid=8682 vsize=10659884 memory=140037713125573 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8692/stat : 8692 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987238 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921874221808 139922382228098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8693] ppid=8682 vsize=10659884 memory=140037610140111 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8693/stat : 8693 (java) S 8682 8685 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414987239 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921873168032 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8694] ppid=8682 vsize=10659884 memory=280075220270992 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8694/stat : 8694 (java) S 8682 8685 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414987239 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921872114928 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8695] ppid=8682 vsize=10659884 memory=280075220268656 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8695/stat : 8695 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921871063504 139922382235547 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8696] ppid=8682 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8685/task/8696/stat : 8696 (java) S 8682 8685 6698 0 -1 1077944384 776 0 0 0 4 0 0 0 20 0 15 0 414987242 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921870010608 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8697] ppid=8682 vsize=10659884 memory=2240 CPUtime=0.03 cores=1,3,5,7
/proc/8685/task/8697/stat : 8697 (java) R 8682 8685 6698 0 -1 1077944384 315 0 0 0 3 0 0 0 20 0 15 0 414987242 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921868958064 139922382228098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8698] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0.08 cores=1,3,5,7
/proc/8685/task/8698/stat : 8698 (java) R 8682 8685 6698 0 -1 4202560 701 0 0 0 8 0 0 0 20 0 15 0 414987242 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921867905008 139922382238298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8699] ppid=8682 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8699/stat : 8699 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921866852704 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8700] ppid=8682 vsize=10659884 memory=140037713118848 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8700/stat : 8700 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987242 10915721216 10130 33554432000 4194304 4196468 140735885192928 139921865800752 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40520 KiB
[startup+0.700781 s]
/proc/loadavg: 2.04 1.93 1.91 4/228 8700
/proc/meminfo: memFree=25485856/32770624 swapFree=66959224/67108860
[pid=8685] ppid=8682 vsize=10661932 memory=64196 CPUtime=1.12 cores=1,3,5,7
/proc/8685/stat : 8685 (java) S 8682 8685 6698 0 -1 1077944320 13131 0 0 0 107 5 0 0 20 0 15 0 414987236 10917818368 16049 33554432000 4194304 4196468 140735885192928 140735885175472 139922382216951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
/proc/8685/statm: 2665483 16049 3071 1 0 2627980 0
[pid=8685/tid=8687] ppid=8682 vsize=10661932 memory=10604 CPUtime=0.68 cores=1,3,5,7
/proc/8685/task/8687/stat : 8687 (java) R 8682 8685 6698 0 -1 4202560 8895 0 0 0 64 4 0 0 20 0 15 0 414987236 10917818368 16049 33554432000 4194304 4196468 140735885192928 139922386439888 139922382238877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8688] ppid=8682 vsize=10661932 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8688/stat : 8688 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10917818368 16049 33554432000 4194304 4196468 140735885192928 139922318907920 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8689] ppid=8682 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8689/stat : 8689 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921987594896 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8690] ppid=8682 vsize=10661932 memory=7524201410499929408 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8690/stat : 8690 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921986541840 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8691] ppid=8682 vsize=10661932 memory=7738707435814409832 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8691/stat : 8691 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987237 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921985489296 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8692] ppid=8682 vsize=10661932 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8692/stat : 8692 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987238 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921874221808 139922382228098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8693] ppid=8682 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8693/stat : 8693 (java) S 8682 8685 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414987239 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921873168032 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8694] ppid=8682 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8694/stat : 8694 (java) S 8682 8685 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414987239 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921872114928 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8695] ppid=8682 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8695/stat : 8695 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921871063504 139922382235547 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8696] ppid=8682 vsize=10661932 memory=353 CPUtime=0.13 cores=1,3,5,7
/proc/8685/task/8696/stat : 8696 (java) R 8682 8685 6698 0 -1 4202560 1019 0 0 0 13 0 0 0 20 0 15 0 414987242 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921870010608 139922382230838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8697] ppid=8682 vsize=10661932 memory=317 CPUtime=0.09 cores=1,3,5,7
/proc/8685/task/8697/stat : 8697 (java) S 8682 8685 6698 0 -1 1077944384 653 0 0 0 9 0 0 0 20 0 15 0 414987242 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921868958064 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8698] ppid=8682 vsize=10661932 memory=11 CPUtime=0.19 cores=1,3,5,7
/proc/8685/task/8698/stat : 8698 (java) S 8682 8685 6698 0 -1 1077944384 1206 0 0 0 19 0 0 0 20 0 15 0 414987242 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921867905008 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8699] ppid=8682 vsize=10661932 memory=280075220454896 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8699/stat : 8699 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921866852704 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8700] ppid=8682 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8700/stat : 8700 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987242 10917818368 16049 33554432000 4194304 4196468 140735885192928 139921865800752 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64196 KiB
[startup+1.50078 s]
/proc/loadavg: 2.04 1.93 1.91 3/228 8700
/proc/meminfo: memFree=25469788/32770624 swapFree=66959224/67108860
[pid=8685] ppid=8682 vsize=10663980 memory=76184 CPUtime=2.01 cores=1,3,5,7
/proc/8685/stat : 8685 (java) S 8682 8685 6698 0 -1 1077944320 18740 0 0 0 195 6 0 0 20 0 15 0 414987236 10919915520 19046 33554432000 4194304 4196468 140735885192928 140735885175472 139922382216951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
/proc/8685/statm: 2665995 19046 3097 1 0 2628492 0
[pid=8685/tid=8687] ppid=8682 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/8685/task/8687/stat : 8687 (java) R 8682 8685 6698 0 -1 4202560 13101 0 0 0 144 4 0 0 20 0 15 0 414987236 10919915520 19046 33554432000 4194304 4196468 140735885192928 139922386448976 139922367382544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8688] ppid=8682 vsize=10663980 memory=-6369074288953532201 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8688/stat : 8688 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10919915520 19046 33554432000 4194304 4196468 140735885192928 139922318907920 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8689] ppid=8682 vsize=10663980 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8689/stat : 8689 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921987594896 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8690] ppid=8682 vsize=10663980 memory=-3472574513799858007 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8690/stat : 8690 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921986541840 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8691] ppid=8682 vsize=10663980 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8691/stat : 8691 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987237 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921985489296 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8692] ppid=8682 vsize=10663980 memory=4947938246155672960 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8692/stat : 8692 (java) S 8682 8685 6698 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 414987238 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921874221808 139922382228098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8693] ppid=8682 vsize=10663980 memory=-7162531388590084654 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8693/stat : 8693 (java) S 8682 8685 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414987239 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921873168032 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8694] ppid=8682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8694/stat : 8694 (java) S 8682 8685 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414987239 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921872114928 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8695] ppid=8682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8695/stat : 8695 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921871063504 139922382235547 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8696] ppid=8682 vsize=10663980 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/8685/task/8696/stat : 8696 (java) S 8682 8685 6698 0 -1 1077944384 1964 0 0 0 19 0 0 0 20 0 15 0 414987242 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921870010608 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8697] ppid=8682 vsize=10663980 memory=4580 CPUtime=0.12 cores=1,3,5,7
/proc/8685/task/8697/stat : 8697 (java) S 8682 8685 6698 0 -1 1077944384 1027 0 0 0 11 1 0 0 20 0 15 0 414987242 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921868958064 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8698] ppid=8682 vsize=10663980 memory=-7737621075815351712 CPUtime=0.19 cores=1,3,5,7
/proc/8685/task/8698/stat : 8698 (java) S 8682 8685 6698 0 -1 1077944384 1208 0 0 0 19 0 0 0 20 0 15 0 414987242 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921867905008 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8699] ppid=8682 vsize=10663980 memory=-7984860791115455840 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8699/stat : 8699 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921866852704 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8700] ppid=8682 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8700/stat : 8700 (java) S 8682 8685 6698 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414987242 10919915520 19046 33554432000 4194304 4196468 140735885192928 139921865800752 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76184 KiB
[startup+2.25572 s]
# the end of solver process 8685 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.55403 s, system=0.118297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60089 s]
/proc/loadavg: 2.04 1.93 1.91 3/228 8700
/proc/meminfo: memFree=25469788/32770624 swapFree=66959224/67108860
[pid=8685] ppid=8682 vsize=10666028 memory=79424 CPUtime=2.12 cores=1,3,5,7
/proc/8685/stat : 8685 (java) S 8682 8685 6698 0 -1 1077944320 19188 0 0 0 206 6 0 0 20 0 15 0 414987236 10922012672 19856 33554432000 4194304 4196468 140735885192928 140735885175472 139922382216951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
/proc/8685/statm: 2666507 19856 3097 1 0 2629004 0
[pid=8685/tid=8687] ppid=8682 vsize=10666028 memory=8025788822752027748 CPUtime=1.58 cores=1,3,5,7
/proc/8685/task/8687/stat : 8687 (java) R 8682 8685 6698 0 -1 4202560 13537 0 0 0 154 4 0 0 20 0 15 0 414987236 10922012672 19856 33554432000 4194304 4196468 140735885192928 139922386448976 139922382238877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8688] ppid=8682 vsize=10666028 memory=7374767996418222437 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8688/stat : 8688 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10922012672 19856 33554432000 4194304 4196468 140735885192928 139922318907920 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8689] ppid=8682 vsize=10666028 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8689/stat : 8689 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921987594896 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8690] ppid=8682 vsize=10666028 memory=177369465932579 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8690/stat : 8690 (java) S 8682 8685 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414987237 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921986541840 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8691] ppid=8682 vsize=10666028 memory=3048411 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8691/stat : 8691 (java) S 8682 8685 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414987237 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921985489296 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8692] ppid=8682 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8692/stat : 8692 (java) S 8682 8685 6698 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 414987238 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921874221808 139922382228098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8693] ppid=8682 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8693/stat : 8693 (java) S 8682 8685 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414987239 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921873168032 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8694] ppid=8682 vsize=10666028 memory=280075220025584 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8694/stat : 8694 (java) S 8682 8685 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414987239 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921872114928 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8695] ppid=8682 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8695/stat : 8695 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921871063504 139922382235547 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8696] ppid=8682 vsize=10666028 memory=-2746958450906831424 CPUtime=0.19 cores=1,3,5,7
/proc/8685/task/8696/stat : 8696 (java) S 8682 8685 6698 0 -1 1077944384 1964 0 0 0 19 0 0 0 20 0 15 0 414987242 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921870010608 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8697] ppid=8682 vsize=10666028 memory=6656426216303648864 CPUtime=0.13 cores=1,3,5,7
/proc/8685/task/8697/stat : 8697 (java) S 8682 8685 6698 0 -1 1077944384 1039 0 0 0 12 1 0 0 20 0 15 0 414987242 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921868958064 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8698] ppid=8682 vsize=10666028 memory=6943526294502006880 CPUtime=0.19 cores=1,3,5,7
/proc/8685/task/8698/stat : 8698 (java) S 8682 8685 6698 0 -1 1077944384 1208 0 0 0 19 0 0 0 20 0 15 0 414987242 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921867905008 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8699] ppid=8682 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8699/stat : 8699 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414987242 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921866852704 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8700] ppid=8682 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8700/stat : 8700 (java) S 8682 8685 6698 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414987242 10922012672 19856 33554432000 4194304 4196468 140735885192928 139921865800752 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 79424 KiB
[startup+2.0007 s]*
/proc/loadavg: 2.04 1.93 1.91 4/229 8701
/proc/meminfo: memFree=25393080/32770624 swapFree=66959224/67108860
[pid=8685] ppid=8682 vsize=10744136 memory=145780 CPUtime=2.95 cores=1,3,5,7
/proc/8685/stat : 8685 (java) S 8682 8685 6698 0 -1 1077944320 23736 0 0 0 285 10 0 0 20 0 16 0 414987236 11001995264 36445 33554432000 4194304 4196468 140735885192928 140735885175472 139922382216951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
/proc/8685/statm: 2686034 36445 3309 1 0 2646705 0
[pid=8685/tid=8687] ppid=8682 vsize=10744136 memory=-3103912127665269909 CPUtime=1.85 cores=1,3,5,7
/proc/8685/task/8687/stat : 8687 (java) S 8682 8685 6698 0 -1 1077944384 15339 0 0 0 179 6 0 0 20 0 16 0 414987236 11001995264 36462 33554432000 4194304 4196468 140735885192928 139922386459824 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8688] ppid=8682 vsize=10744136 memory=4211973763917909386 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8688/stat : 8688 (java) S 8682 8685 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414987237 11001995264 36462 33554432000 4194304 4196468 140735885192928 139922318907920 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8689] ppid=8682 vsize=10744136 memory=3544809606005357495 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8689/stat : 8689 (java) S 8682 8685 6698 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414987237 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921987594896 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8690] ppid=8682 vsize=10744136 memory=4638778398333161572 CPUtime=0.01 cores=1,3,5,7
/proc/8685/task/8690/stat : 8690 (java) S 8682 8685 6698 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 16 0 414987237 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921986541840 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8691] ppid=8682 vsize=10744136 memory=2319697088593548063 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8691/stat : 8691 (java) S 8682 8685 6698 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 16 0 414987237 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921985489296 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8692] ppid=8682 vsize=10744136 memory=3760984514395208625 CPUtime=0.01 cores=1,3,5,7
/proc/8685/task/8692/stat : 8692 (java) S 8682 8685 6698 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 16 0 414987238 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921874221808 139922382228098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8693] ppid=8682 vsize=10744136 memory=10260676872462 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8693/stat : 8693 (java) S 8682 8685 6698 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414987239 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921873168096 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8694] ppid=8682 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8694/stat : 8694 (java) S 8682 8685 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414987239 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921872114944 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8695] ppid=8682 vsize=10744136 memory=7667490959932943206 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8695/stat : 8695 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414987242 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921871063504 139922382235547 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8696] ppid=8682 vsize=10744136 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/8685/task/8696/stat : 8696 (java) R 8682 8685 6698 0 -1 1077944384 2050 0 0 0 30 0 0 0 20 0 16 0 414987242 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921870010608 139922382228098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8697] ppid=8682 vsize=10744136 memory=7161130587769615410 CPUtime=0.29 cores=1,3,5,7
/proc/8685/task/8697/stat : 8697 (java) R 8682 8685 6698 0 -1 4202560 1286 0 0 0 28 1 0 0 20 0 16 0 414987242 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921868958160 139922367644463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8698] ppid=8682 vsize=10744136 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/8685/task/8698/stat : 8698 (java) R 8682 8685 6698 0 -1 4202560 1589 0 0 0 30 0 0 0 20 0 16 0 414987242 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921867900736 139922374454078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8699] ppid=8682 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8699/stat : 8699 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414987242 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921866852704 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8700] ppid=8682 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8700/stat : 8700 (java) S 8682 8685 6698 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 414987242 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921865800752 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8701] ppid=8682 vsize=10744136 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8685/task/8701/stat : 8701 (java) R 8682 8685 6698 0 -1 4202560 739 0 0 0 11 0 0 0 20 0 16 0 414987423 11001995264 36462 33554432000 4194304 4196468 140735885192928 139921848729584 139921998366298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 145780 KiB
[startup+2.20209 s]
/proc/loadavg: 2.04 1.93 1.91 4/229 8701
/proc/meminfo: memFree=25393080/32770624 swapFree=66959224/67108860
[pid=8685] ppid=8682 vsize=10746276 memory=149848 CPUtime=3.51 cores=1,3,5,7
/proc/8685/stat : 8685 (java) S 8682 8685 6698 0 -1 1077944320 25171 0 0 0 340 11 0 0 20 0 16 0 414987236 11004186624 37462 33554432000 4194304 4196468 140735885192928 140735885175472 139922382216951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
/proc/8685/statm: 2686569 37462 3346 1 0 2646705 0
[pid=8685/tid=8687] ppid=8682 vsize=10746276 memory=15542916336590695 CPUtime=1.85 cores=1,3,5,7
/proc/8685/task/8687/stat : 8687 (java) S 8682 8685 6698 0 -1 1077944384 15339 0 0 0 179 6 0 0 20 0 16 0 414987236 11004186624 37462 33554432000 4194304 4196468 140735885192928 139922386459824 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8688] ppid=8682 vsize=10746276 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8688/stat : 8688 (java) S 8682 8685 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414987237 11004186624 37462 33554432000 4194304 4196468 140735885192928 139922318907920 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8689] ppid=8682 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8689/stat : 8689 (java) S 8682 8685 6698 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414987237 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921987594896 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8690] ppid=8682 vsize=10746276 memory=6944652177228980320 CPUtime=0.01 cores=1,3,5,7
/proc/8685/task/8690/stat : 8690 (java) S 8682 8685 6698 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 16 0 414987237 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921986541840 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8691] ppid=8682 vsize=10746276 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8691/stat : 8691 (java) S 8682 8685 6698 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 16 0 414987237 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921985489296 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8692] ppid=8682 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8685/task/8692/stat : 8692 (java) S 8682 8685 6698 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 16 0 414987238 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921874221808 139922382228098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8693] ppid=8682 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8693/stat : 8693 (java) S 8682 8685 6698 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414987239 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921873168096 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8694] ppid=8682 vsize=10746276 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8694/stat : 8694 (java) S 8682 8685 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414987239 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921872114944 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8695] ppid=8682 vsize=10746276 memory=280075220075936 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8695/stat : 8695 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414987242 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921871063504 139922382235547 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8696] ppid=8682 vsize=10746276 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/8685/task/8696/stat : 8696 (java) S 8682 8685 6698 0 -1 1077944384 2117 0 0 0 40 0 0 0 20 0 16 0 414987242 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921870010608 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8697] ppid=8682 vsize=10746276 memory=140037610047584 CPUtime=0.4 cores=1,3,5,7
/proc/8685/task/8697/stat : 8697 (java) R 8682 8685 6698 0 -1 1077944384 1347 0 0 0 39 1 0 0 20 0 16 0 414987242 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921868958064 139922382228098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8698] ppid=8682 vsize=10746276 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/8685/task/8698/stat : 8698 (java) R 8682 8685 6698 0 -1 4202560 1976 0 0 0 45 0 0 0 20 0 16 0 414987242 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921867905008 139922382228886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8699] ppid=8682 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8699/stat : 8699 (java) S 8682 8685 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414987242 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921866852704 139922382227157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8700] ppid=8682 vsize=10746276 memory=-7307790176744160347 CPUtime=0 cores=1,3,5,7
/proc/8685/task/8700/stat : 8700 (java) S 8682 8685 6698 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 414987242 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921865800752 139922382228098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
[pid=8685/tid=8701] ppid=8682 vsize=10746276 memory=4211830626786439563 CPUtime=0.29 cores=1,3,5,7
/proc/8685/task/8701/stat : 8701 (java) R 8682 8685 6698 0 -1 4202560 1656 0 0 0 29 0 0 0 20 0 16 0 414987423 11004186624 37462 33554432000 4194304 4196468 140735885192928 139921848728896 139922382228886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29290496 140735885194251 140735885194354 140735885194354 140735885197263 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 149848 KiB
Child status: 0
Real time (s): 2.25577
CPU time (s): 3.67233
CPU user time (s): 3.55403
CPU system time (s): 0.118297
CPU usage (%): 162.797
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 149848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.55403
system time used= 0.118297
maximum resident set size= 150864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25369
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= 2200
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 8685
# total CPU time (s): 3.67233
# total CPU user time (s): 3.55403
# total CPU system time (s): 0.118297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041824 second user time and 0.060836 second system time
The end