2.37/1.89
2.37/1.89 AbsCon 2
2.65/1.91
3.96/2.35 Instance
3.96/2.35 name=instance-4391069-1568388924, framework=COP, bounds=-infty..+infty
3.96/2.35
3.96/2.35 Loading variables...
4.26/2.43 Loading constraints...
6.00/3.11
6.00/3.11 Domains
6.00/3.11 nTypes=1, nValues=1478656, sizes=[1216#1216]
6.00/3.11 Variables
6.00/3.11 count=1216, degrees=[2#1,6#2,7#13,8#18...18#66,19#22,20#10,21#10]
6.00/3.11 Objectives
6.00/3.11 way=min, type=ObjMaximumLE
6.34/3.11 Constraints
6.34/3.11 count=7845, nSpecific=7845, arities=[2#7844,1216#1]
6.34/3.11 distribution=[NE#7844,ObjMaximumLE#1]
6.34/3.11 wck=1.242, cpu=3.035, mem=172M450
6.34/3.11 Solver SolverBacktrack being built...
6.34/3.11
6.34/3.19
6.34/3.19 Solver
6.34/3.19 guaranteedGAC=true
6.34/3.19 wck=1.326, cpu=3.091, mem=83M857
6.68/3.22
6.68/3.22 Preprocessing
6.68/3.22 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
6.68/3.22 wck=0.027, cpu=3.121, mem=83M857
6.68/3.22
6.68/3.30 o 8
6.98/3.33 num=0, depth=1217..1215, filters=3576, ccks=7845, wck=0.144, mem=83M857
6.98/3.33 decisions=1216, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=8
6.98/3.33
6.98/3.39 o 7
6.98/3.39 num=1, depth=1217..1215, filters=7149, ccks=15690, wck=0.204, mem=89M20
6.98/3.39 decisions=2423, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=7
6.98/3.39
7.20/3.41 o 6
7.20/3.41 num=2, depth=1217..1215, filters=10692, ccks=23535, wck=0.222, mem=89M20
7.20/3.41 decisions=3619, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=6
7.20/3.41
7.20/3.43 num=3, depth=659..668, filters=13307, ccks=23535, wck=0.238, mem=89M20
7.20/3.43 decisions=4322, wrong=22, backtracks=11, failedAssignments=11, nogoods=1, foundSolutions=3, bestBound=6
7.20/3.43
7.20/3.44 num=4, depth=767..778, filters=16198, ccks=23535, wck=0.253, mem=89M20
7.20/3.44 decisions=5133, wrong=44, backtracks=22, failedAssignments=22, nogoods=2, foundSolutions=3, bestBound=6
7.20/3.44
7.20/3.46 o 5
7.20/3.46 num=5, depth=947..1215, filters=20061, ccks=31380, wck=0.27, mem=89M20
7.20/3.46 decisions=6300, wrong=58, backtracks=29, failedAssignments=29, nogoods=3, foundSolutions=4, bestBound=5
7.20/3.46
7.20/3.48 num=6, depth=616..775, filters=24062, ccks=31380, wck=0.287, mem=89M20
7.20/3.48 decisions=7121, wrong=85, backtracks=47, failedAssignments=42, nogoods=7, foundSolutions=4, bestBound=5
7.20/3.48
7.20/3.49 o 4
7.20/3.49 num=7, depth=700..1215, filters=27573, ccks=39225, wck=0.3, mem=89M20
7.20/3.49 decisions=8068, wrong=89, backtracks=49, failedAssignments=44, nogoods=9, foundSolutions=5, bestBound=4
7.20/3.49
7.48/3.50 num=8, depth=67..222, filters=29722, ccks=39225, wck=0.309, mem=89M20
7.48/3.50 decisions=8338, wrong=117, backtracks=68, failedAssignments=56, nogoods=15, foundSolutions=5, bestBound=4
7.48/3.50
7.48/3.51 num=9, depth=62..464, filters=33087, ccks=39225, wck=0.316, mem=89M20
7.48/3.51 decisions=8839, wrong=139, backtracks=80, failedAssignments=67, nogoods=23, foundSolutions=5, bestBound=4
7.48/3.51
7.48/3.51 num=10, depth=60..521, filters=36808, ccks=39225, wck=0.324, mem=89M20
7.48/3.51 decisions=9408, wrong=167, backtracks=98, failedAssignments=79, nogoods=32, foundSolutions=5, bestBound=4
7.48/3.51
7.48/3.52 num=11, depth=28..255, filters=39451, ccks=39225, wck=0.328, mem=89M20
7.48/3.52 decisions=9711, wrong=193, backtracks=111, failedAssignments=92, nogoods=38, foundSolutions=5, bestBound=4
7.48/3.52
7.48/3.52 num=12, depth=106..302, filters=42753, ccks=39225, wck=0.333, mem=91M601
7.48/3.52 decisions=10053, wrong=220, backtracks=124, failedAssignments=106, nogoods=40, foundSolutions=5, bestBound=4
7.48/3.52
7.48/3.53 num=13, depth=254..377, filters=46028, ccks=39225, wck=0.339, mem=91M601
7.48/3.53 decisions=10479, wrong=252, backtracks=141, failedAssignments=122, nogoods=43, foundSolutions=5, bestBound=4
7.48/3.53
7.48/3.53 num=14, depth=294..311, filters=49945, ccks=39225, wck=0.345, mem=91M601
7.48/3.53 decisions=10841, wrong=286, backtracks=158, failedAssignments=139, nogoods=44, foundSolutions=5, bestBound=4
7.48/3.53
7.48/3.54 num=15, depth=197..403, filters=52972, ccks=39225, wck=0.351, mem=91M601
7.48/3.54 decisions=11297, wrong=322, backtracks=175, failedAssignments=158, nogoods=47, foundSolutions=5, bestBound=4
7.48/3.54
7.48/3.55 o 3
7.48/3.55 num=16, depth=372..1215, filters=56015, ccks=47070, wck=0.36, mem=91M601
7.48/3.55 decisions=11832, wrong=324, backtracks=175, failedAssignments=160, nogoods=49, foundSolutions=6, bestBound=3
7.48/3.55
7.48/3.55 num=17, depth=0..9, filters=58964, ccks=47070, wck=0.366, mem=91M601
7.48/3.55 decisions=11923, wrong=369, backtracks=201, failedAssignments=183, nogoods=51, foundSolutions=6, bestBound=3
7.48/3.55
7.48/3.56
7.48/3.56 New Bounds: 3..2
7.48/3.58 num=18, depth=0..5, filters=60304, ccks=47070, wck=0.39, mem=91M601
7.48/3.58 decisions=11957, wrong=387, backtracks=210, failedAssignments=192, foundSolutions=6, bestBound=3
7.48/3.58
7.48/3.58 Global
7.48/3.58 filters=60304, ccks=47070
7.48/3.58 Stop=FULL_EXPLORATION, wrong=387, bestBound=3, bestBoundWck=1.686, bestBoundCpu=3.45, foundSolutions=6, firstSolCpu=3.191
7.48/3.58 wck=1.718, cpu=3.483, mem=91M601
7.48/3.59
7.48/3.59 v <instantiation id='sol6' type='solution' cost='3'> <list> x[] </list> <values> 0 1 0 1 0 1 0 2 0 3 0 2 1 3 2 3 1 2 1 0 1 0 2 0 3 0 2 0 3 2 0 1 0 1 2 1 0 1 0 1 0 2 1 2 1 0 1 3 2 0 2 3 1 2 3 0 1 0 0 3 0 1 0 1 2 1 3 1 2 0 2 1 3 0 2 0 1 2 0 2 1 3 3 2 0 1 0 1 0 1 0 3 2 1 0 3 2 1 1 3 2 0 1 3 0 2 0 2 3 2 0 2 3 0 3 1 3 0 2 0 1 0 1 3 2 3 1 0 2 0 1 3 1 0 1 2 0 2 1 3 0 3 0 1 0 1 0 1 2 1 0 1 0 3 2 3 3 2 1 0 1 0 1 0 1 0 2 0 1 2 1 3 1 2 0 2 0 3 1 2 1 0 1 2 2 0 2 0 3 0 2 3 2 1 2 3 0 2 0 1 3 1 0 1 2 1 2 0 2 1 2 0 3 0 1 0 1 0 0 2 1 2 0 2 0 3 0 2 1 3 2 3 0 3 2 3 2 1 0 1 0 1 2 0 2 1 2 0 2 1 2 0 2 1 1 0 1 0 1 2 3 2 1 3 1 0 3 0 0 1 0 1 0 1 3 2 0 1 0 1 0 1 3 2 1 0 0 1 0 1 0 1 2 3 3 2 0 1 0 3 0 1 0 1 2 0 2 0 2 1 3 1 3 0 3 1 3 1 0 1 0 3 1 2 0 2 0 3 0 2 1 2 1 3 1 0 3 2 1 0 0 1 3 2 3 1 0 2 0 3 0 2 1 2 0 2 2 3 1 0 1 3 1 0 3 2 1 0 3 0 1 0 1 0 1 0 2 1 0 1 2 3 0 2 1 3 0 2 0 3 3 2 3 2 1 0 1 2 1 0 1 0 1 0 2 3 0 3 0 1 0 1 0 1 0 2 0 1 0 1 0 1 3 2 1 0 2 3 1 0 1 0 1 0 3 2 1 0 1 0 1 0 1 0 1 0 2 3 1 0 1 0 0 1 0 3 2 3 2 3 0 1 2 1 0 2 3 2 0 3 0 3 0 1 2 0 3 1 0 1 0 2 0 1 0 1 1 0 1 0 1 0 2 3 3 1 2 3 1 0 2 3 3 2 0 1 0 1 0 1 3 2 0 1 3 2 0 1 1 0 3 2 3 2 1 0 1 0 1 0 1 0 1 0 2 3 0 1 0 1 0 1 2 3 0 1 1 0 2 3 1 0 2 3 0 1 0 1 2 3 3 2 0 1 0 1 2 3 0 1 0 1 0 1 0 1 0 1 0 1 3 0 1 2 3 2 1 0 1 0 3 2 1 2 0 2 0 2 1 2 1 3 0 2 0 3 3 0 3 1 2 3 2 3 1 0 1 0 1 0 1 0 2 0 2 3 2 1 0 1 0 1 0 1 0 3 2 1 0 1 2 3 1 2 3 2 1 0 1 0 3 0 2 0 2 3 1 3 2 3 2 0 1 3 1 0 1 0 1 0 1 0 1 0 3 2 0 1 0 1 2 3 1 0 3 2 3 2 1 0 3 2 1 0 2 3 1 0 0 1 0 1 2 1 0 1 0 3 2 3 1 3 1 0 1 0 1 2 3 0 1 2 1 0 2 0 0 1 0 3 2 3 0 3 0 1 2 3 2 1 0 2 0 1 3 1 0 2 3 1 2 3 1 3 1 0 1 2 1 0 1 0 3 1 3 1 0 1 0 3 0 2 1 3 1 2 2 1 2 0 2 0 3 1 0 3 0 2 1 2 3 2 1 2 3 2 1 0 1 2 1 0 0 1 3 1 3 2 0 1 0 2 2 0 3 0 3 1 2 0 0 1 2 3 0 1 3 1 3 2 0 1 0 1 2 1 3 0 1 0 3 2 1 0 2 3 0 1 0 2 0 2 1 2 0 2 2 0 1 3 1 0 1 3 1 0 3 0 2 0 0 2 1 2 0 2 1 2 2 0 3 1 3 0 2 0 2 1 0 3 0 1 2 1 2 0 2 0 0 2 1 3 0 3 0 2 3 2 0 1 0 3 0 1 0 1 1 3 1 0 2 3 1 0 0 3 2 3 2 3 2 0 2 0 2 0 2 0 2 1 0 1 3 1 2 0 2 0 1 0 1 0 1 2 1 0 1 2 1 3 1 0 3 2 3 1 0 1 3 1 3 0 3 1 2 0 2 0 0 1 0 1 2 1 2 3 0 1 1 0 2 0 1 0 2 3 2 0 2 3 1 0 1 3 0 3 0 2 2 1 0 1 0 1 2 3 0 1 2 3 1 2 1 0 3 0 0 2 1 3 0 2 2 0 3 1 3 1 2 0 1 3 1 0 2 0 2 0 2 0 3 0 0 1 3 1 3 2 0 1 3 1 2 1 0 3 3 0 0 2 1 0 2 1 1 0 0 1 0 1 0 1 0 1 0 2 2 3 1 0 1 2 3 2 1 0 0 1 3 2 0 1 1 0 2 0 0 2 1 3 1 2 1 3 0 2 0 2 0 1 3 1 0 2 0 3 1 3 2 3 1 0 1 2 1 0 2 0 3 1 2 0 2 0 3 1 1 2 1 0 1 0 2 0 3 1 2 0 1 0 2 0 3 1 3 2 0 1 0 1 2 1 2 3 1 3 0 2 0 3 0 1 0 1 0 1 3 2 0 2 2 0 1 0 1 2 1 0 3 2 1 2 0 3 1 3 2 3 2 1 0 1 0 1 3 2 </values> </instantiation>
7.48/3.59 s OPTIMUM FOUND
7.48/3.59
7.48/3.59 d WRONG_DECISIONS 387
7.48/3.59 d NUMBER_SOLUTIONS 6
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15203 MiB free)
memory of node 1: 16384 MiB (15043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391069-1568388924/watcher-4391069-1568388924 -o /tmp/evaluation-result-4391069-1568388924/solver-4391069-1568388924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568388884-12407 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391069-1568388924.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12438, runsolver pid=12434
[startup+0.100068 s]*
/proc/loadavg: 1.42 1.85 1.99 7/232 12466
/proc/meminfo: memFree=30941120/32770624 swapFree=66967228/67108860
[pid=12438] ppid=12434 vsize=10659884 memory=28980 CPUtime=0.13 cores=0,2,4,6
/proc/12438/stat : 12438 (java) S 12434 12438 10443 0 -1 1077944320 5260 0 0 0 13 0 0 0 20 0 15 0 415141987 10915721216 7245 33554432000 4194304 4196468 140723273445600 140723273428144 140616048492279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
/proc/12438/statm: 2664971 7245 2892 1 0 2627468 0
[pid=12438/tid=12440] ppid=12434 vsize=10659884 memory=-8197568871503662458 CPUtime=0.09 cores=0,2,4,6
/proc/12438/task/12440/stat : 12440 (java) R 12434 12438 10443 0 -1 4202560 2980 0 0 0 9 0 0 0 20 0 15 0 415141987 10915721216 7245 33554432000 4194304 4196468 140723273445600 140616052714400 140616048513626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12445] ppid=12434 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141989 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12453] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12453/stat : 12453 (java) S 12434 12438 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415141990 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615539422496 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12454] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12454/stat : 12454 (java) S 12434 12438 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415141990 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615538370160 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12460] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12460/stat : 12460 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415141992 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615537318480 140616048510875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12461] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12461/stat : 12461 (java) S 12434 12438 10443 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 415141992 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615536265328 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12462] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12462/stat : 12462 (java) S 12434 12438 10443 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 415141992 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615535212528 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12463] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0.02 cores=0,2,4,6
/proc/12438/task/12463/stat : 12463 (java) R 12434 12438 10443 0 -1 4202560 375 0 0 0 2 0 0 0 20 0 15 0 415141992 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615534154600 140616027941459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12465] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12465/stat : 12465 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415141993 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615533107680 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12466] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12466/stat : 12466 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141993 10915721216 7245 33554432000 4194304 4196468 140723273445600 140615532055472 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28980 KiB
[startup+0.21148 s]*
/proc/loadavg: 1.42 1.85 1.99 5/232 12466
/proc/meminfo: memFree=30923560/32770624 swapFree=66967228/67108860
[pid=12438] ppid=12434 vsize=10659884 memory=38008 CPUtime=0.33 cores=0,2,4,6
/proc/12438/stat : 12438 (java) S 12434 12438 10443 0 -1 1077944320 8760 0 0 0 31 2 0 0 20 0 15 0 415141987 10915721216 9502 33554432000 4194304 4196468 140723273445600 140723273428144 140616048492279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
/proc/12438/statm: 2664971 9502 2988 1 0 2627468 0
[pid=12438/tid=12440] ppid=12434 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/12438/task/12440/stat : 12440 (java) R 12434 12438 10443 0 -1 4202560 5706 0 0 0 19 1 0 0 20 0 15 0 415141987 10915721216 9502 33554432000 4194304 4196468 140723273445600 140616052724368 140616048514205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12445] ppid=12434 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10659884 memory=288371060248508032 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141989 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12453] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12453/stat : 12453 (java) S 12434 12438 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415141990 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615539422496 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12454] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12454/stat : 12454 (java) S 12434 12438 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415141990 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615538370160 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12460] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12460/stat : 12460 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415141992 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615537318480 140616048510875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12461] ppid=12434 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12438/task/12461/stat : 12461 (java) S 12434 12438 10443 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 415141992 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615536265328 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12462] ppid=12434 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12438/task/12462/stat : 12462 (java) S 12434 12438 10443 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 15 0 415141992 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615535212528 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12463] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0.05 cores=0,2,4,6
/proc/12438/task/12463/stat : 12463 (java) S 12434 12438 10443 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 15 0 415141992 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615534160240 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12465] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12465/stat : 12465 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415141993 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615533107680 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12466] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12466/stat : 12466 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141993 10915721216 9502 33554432000 4194304 4196468 140723273445600 140615532055472 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38008 KiB
[startup+0.31037 s]*
/proc/loadavg: 1.47 1.86 1.99 4/232 12466
/proc/meminfo: memFree=30913184/32770624 swapFree=66967228/67108860
[pid=12438] ppid=12434 vsize=10659884 memory=40584 CPUtime=0.47 cores=0,2,4,6
/proc/12438/stat : 12438 (java) S 12434 12438 10443 0 -1 1077944320 8890 0 0 0 45 2 0 0 20 0 15 0 415141987 10915721216 10146 33554432000 4194304 4196468 140723273445600 140723273428144 140616048492279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
/proc/12438/statm: 2664971 10146 3017 1 0 2627468 0
[pid=12438/tid=12440] ppid=12434 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/12438/task/12440/stat : 12440 (java) R 12434 12438 10443 0 -1 4202560 5785 0 0 0 28 1 0 0 20 0 15 0 415141987 10915721216 10146 33554432000 4194304 4196468 140723273445600 140616052714960 140616048514205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12445] ppid=12434 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10659884 memory=288371060248508032 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141989 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12453] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12453/stat : 12453 (java) S 12434 12438 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415141990 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615539422496 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12454] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12454/stat : 12454 (java) S 12434 12438 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415141990 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615538370160 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12460] ppid=12434 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12460/stat : 12460 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415141992 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615537318480 140616048510875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12461] ppid=12434 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12438/task/12461/stat : 12461 (java) S 12434 12438 10443 0 -1 1077944384 496 0 0 0 3 0 0 0 20 0 15 0 415141992 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615536265328 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12462] ppid=12434 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/12438/task/12462/stat : 12462 (java) S 12434 12438 10443 0 -1 1077944384 545 0 0 0 4 0 0 0 20 0 15 0 415141992 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615535212528 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12463] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0.08 cores=0,2,4,6
/proc/12438/task/12463/stat : 12463 (java) S 12434 12438 10443 0 -1 1077944384 707 0 0 0 8 0 0 0 20 0 15 0 415141992 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615534160240 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12465] ppid=12434 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12465/stat : 12465 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415141993 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615533107680 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12466] ppid=12434 vsize=10659884 memory=140684096796288 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12466/stat : 12466 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141993 10915721216 10146 33554432000 4194304 4196468 140723273445600 140615532055472 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40584 KiB
[startup+0.701563 s]
/proc/loadavg: 1.47 1.86 1.99 4/232 12466
/proc/meminfo: memFree=30894340/32770624 swapFree=66967228/67108860
[pid=12438] ppid=12434 vsize=10661932 memory=63900 CPUtime=1.11 cores=0,2,4,6
/proc/12438/stat : 12438 (java) S 12434 12438 10443 0 -1 1077944320 12443 0 0 0 106 5 0 0 20 0 15 0 415141987 10917818368 15975 33554432000 4194304 4196468 140723273445600 140723273428144 140616048492279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
/proc/12438/statm: 2665483 15975 3072 1 0 2627980 0
[pid=12438/tid=12440] ppid=12434 vsize=10661932 memory=1240 CPUtime=0.68 cores=0,2,4,6
/proc/12438/task/12440/stat : 12440 (java) R 12434 12438 10443 0 -1 4202560 8335 0 0 0 65 3 0 0 20 0 15 0 415141987 10917818368 15975 33554432000 4194304 4196468 140723273445600 140616052723520 140616033927814 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12445] ppid=12434 vsize=10661932 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141988 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10661932 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141989 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12453] ppid=12434 vsize=10661932 memory=9328 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12453/stat : 12453 (java) S 12434 12438 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415141990 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615539422496 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12454] ppid=12434 vsize=10661932 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12454/stat : 12454 (java) S 12434 12438 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415141990 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615538370160 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12460] ppid=12434 vsize=10661932 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12460/stat : 12460 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415141992 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615537318480 140616048510875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12461] ppid=12434 vsize=10661932 memory=4639098309541126757 CPUtime=0.1 cores=0,2,4,6
/proc/12438/task/12461/stat : 12461 (java) R 12434 12438 10443 0 -1 4202560 803 0 0 0 10 0 0 0 20 0 15 0 415141992 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615536265328 140616031878863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12462] ppid=12434 vsize=10661932 memory=7955443078088779376 CPUtime=0.11 cores=0,2,4,6
/proc/12438/task/12462/stat : 12462 (java) S 12434 12438 10443 0 -1 1077944384 772 0 0 0 11 0 0 0 20 0 15 0 415141992 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615535212528 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12463] ppid=12434 vsize=10661932 memory=5865188000529146989 CPUtime=0.18 cores=0,2,4,6
/proc/12438/task/12463/stat : 12463 (java) S 12434 12438 10443 0 -1 1077944384 1174 0 0 0 18 0 0 0 20 0 15 0 415141992 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615534160240 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12465] ppid=12434 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12465/stat : 12465 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415141993 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615533107680 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12466] ppid=12434 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12466/stat : 12466 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141993 10917818368 15975 33554432000 4194304 4196468 140723273445600 140615532055472 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63900 KiB
[startup+1.50069 s]
/proc/loadavg: 1.47 1.86 1.99 4/232 12466
/proc/meminfo: memFree=30861432/32770624 swapFree=66967228/67108860
[pid=12438] ppid=12434 vsize=10663980 memory=75544 CPUtime=1.99 cores=0,2,4,6
/proc/12438/stat : 12438 (java) S 12434 12438 10443 0 -1 1077944320 17693 0 0 0 194 5 0 0 20 0 15 0 415141987 10919915520 18886 33554432000 4194304 4196468 140723273445600 140723273428144 140616048492279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
/proc/12438/statm: 2665995 18886 3092 1 0 2628492 0
[pid=12438/tid=12440] ppid=12434 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/12438/task/12440/stat : 12440 (java) R 12434 12438 10443 0 -1 4202560 12290 0 0 0 143 4 0 0 20 0 15 0 415141987 10919915520 18886 33554432000 4194304 4196468 140723273445600 140616052709216 140616030055865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12445] ppid=12434 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10919915520 18886 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415141988 10919915520 18886 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10919915520 18886 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10663980 memory=-7096649868621430206 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415141988 10919915520 18886 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 415141989 10919915520 18886 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
################
# More data... #
################
[pid=12438/tid=12445] ppid=12434 vsize=10746276 memory=6655300316396806240 CPUtime=0.02 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 263 0 0 0 1 1 0 0 20 0 16 0 415141988 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10746276 memory=6944656592455359580 CPUtime=0.02 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 157 0 0 0 1 1 0 0 20 0 16 0 415141988 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10746276 memory=6944656592455097440 CPUtime=0.02 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 16 0 415141988 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10746276 memory=281367871529056 CPUtime=0.02 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 83 0 0 0 1 1 0 0 20 0 16 0 415141988 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 1069 0 0 0 1 0 0 0 20 0 16 0 415141989 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12453] ppid=12434 vsize=10746276 memory=101 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12453/stat : 12453 (java) S 12434 12438 10443 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415141990 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615539422560 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12454] ppid=12434 vsize=10746276 memory=103 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12454/stat : 12454 (java) S 12434 12438 10443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415141990 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615538370176 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12460] ppid=12434 vsize=10746276 memory=65 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12460/stat : 12460 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415141992 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615537318480 140616048510875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12461] ppid=12434 vsize=10746276 memory=0 CPUtime=1.2 cores=0,2,4,6
/proc/12438/task/12461/stat : 12461 (java) R 12434 12438 10443 0 -1 4202560 2587 0 0 0 119 1 0 0 20 0 16 0 415141992 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615536246344 140616031903072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12462] ppid=12434 vsize=10746276 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/12438/task/12462/stat : 12462 (java) R 12434 12438 10443 0 -1 4202560 2648 0 0 0 123 0 0 0 20 0 16 0 415141992 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615535194992 140616040781728 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12463] ppid=12434 vsize=10746276 memory=94 CPUtime=0.7 cores=0,2,4,6
/proc/12438/task/12463/stat : 12463 (java) S 12434 12438 10443 0 -1 1077944384 2792 0 0 0 69 1 0 0 20 0 16 0 415141992 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615534160240 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12465] ppid=12434 vsize=10746276 memory=140683935527522 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12465/stat : 12465 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415141993 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615533107680 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12466] ppid=12434 vsize=10746276 memory=281367871595792 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12466/stat : 12466 (java) S 12434 12438 10443 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415141993 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615532055472 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12470] ppid=12434 vsize=10746276 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/12438/task/12470/stat : 12470 (java) R 12434 12438 10443 0 -1 4202560 1479 0 0 0 113 1 0 0 20 0 16 0 415142176 11004186624 66481 33554432000 4194304 4196468 140723273445600 140615514987488 140616048514109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 265660 KiB
[startup+3.60056 s]
# the end of solver process 12438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.5081 s, system=0.207099 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.21148 s]
/proc/loadavg: 1.47 1.86 1.99 7/235 12470
/proc/meminfo: memFree=30578220/32770624 swapFree=66967228/67108860
[pid=12438] ppid=12434 vsize=10748324 memory=282388 CPUtime=6.68 cores=0,2,4,6
/proc/12438/stat : 12438 (java) S 12434 12438 10443 0 -1 1077944320 28136 0 0 0 650 18 0 0 20 0 16 0 415141987 11006283776 70597 33554432000 4194304 4196468 140723273445600 140723273428144 140616048492279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
/proc/12438/statm: 2687081 70597 3376 1 0 2647217 0
[pid=12438/tid=12440] ppid=12434 vsize=10748324 memory=9140 CPUtime=1.87 cores=0,2,4,6
/proc/12438/task/12440/stat : 12440 (java) S 12434 12438 10443 0 -1 1077944384 14462 0 0 0 182 5 0 0 20 0 16 0 415141987 11006283776 70597 33554432000 4194304 4196468 140723273445600 140616052735152 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12445] ppid=12434 vsize=10748324 memory=4420 CPUtime=0.03 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 271 0 0 0 2 1 0 0 20 0 16 0 415141988 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10748324 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 415141988 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10748324 memory=6296683612537770333 CPUtime=0.03 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 16 0 415141988 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10748324 memory=7739276948478193255 CPUtime=0.05 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 94 0 0 0 3 2 0 0 20 0 16 0 415141988 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10748324 memory=5787213827113576551 CPUtime=0.01 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 1077 0 0 0 1 0 0 0 20 0 16 0 415141989 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12453] ppid=12434 vsize=10748324 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12453/stat : 12453 (java) S 12434 12438 10443 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415141990 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615539422560 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12454] ppid=12434 vsize=10748324 memory=-8529969244802432963 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12454/stat : 12454 (java) S 12434 12438 10443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415141990 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615538370176 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12460] ppid=12434 vsize=10748324 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12460/stat : 12460 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415141992 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615537318480 140616048510875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12461] ppid=12434 vsize=10748324 memory=281367871390392 CPUtime=1.3 cores=0,2,4,6
/proc/12438/task/12461/stat : 12461 (java) R 12434 12438 10443 0 -1 4202560 2922 0 0 0 129 1 0 0 20 0 16 0 415141992 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615536252144 140616026087731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12462] ppid=12434 vsize=10748324 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/12438/task/12462/stat : 12462 (java) R 12434 12438 10443 0 -1 4202560 2749 0 0 0 131 0 0 0 20 0 16 0 415141992 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615535203984 140616030013049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12463] ppid=12434 vsize=10748324 memory=4869642952846765465 CPUtime=0.73 cores=0,2,4,6
/proc/12438/task/12463/stat : 12463 (java) S 12434 12438 10443 0 -1 1077944384 3096 0 0 0 72 1 0 0 20 0 16 0 415141992 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615534160240 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12465] ppid=12434 vsize=10748324 memory=281367871397208 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12465/stat : 12465 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415141993 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615533107680 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12466] ppid=12434 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12466/stat : 12466 (java) S 12434 12438 10443 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415141993 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615532055472 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12470] ppid=12434 vsize=10748324 memory=984 CPUtime=1.21 cores=0,2,4,6
/proc/12438/task/12470/stat : 12470 (java) R 12434 12438 10443 0 -1 4202560 1810 0 0 0 120 1 0 0 20 0 16 0 415142176 11006283776 70597 33554432000 4194304 4196468 140723273445600 140615514986480 140615643459999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
Current children cumulated CPU time: 6.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 282388 KiB
[startup+3.40067 s]
/proc/loadavg: 1.47 1.86 1.99 7/235 12470
/proc/meminfo: memFree=30578220/32770624 swapFree=66967228/67108860
[pid=12438] ppid=12434 vsize=10748324 memory=285872 CPUtime=7.2 cores=0,2,4,6
/proc/12438/stat : 12438 (java) S 12434 12438 10443 0 -1 1077944320 30024 0 0 0 700 20 0 0 20 0 16 0 415141987 11006283776 71468 33554432000 4194304 4196468 140723273445600 140723273428144 140616048492279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
/proc/12438/statm: 2687081 71468 3379 1 0 2647217 0
[pid=12438/tid=12440] ppid=12434 vsize=10748324 memory=1240 CPUtime=1.87 cores=0,2,4,6
/proc/12438/task/12440/stat : 12440 (java) S 12434 12438 10443 0 -1 1077944384 14462 0 0 0 182 5 0 0 20 0 16 0 415141987 11006283776 71468 33554432000 4194304 4196468 140723273445600 140616052735152 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12445] ppid=12434 vsize=10748324 memory=3428 CPUtime=0.03 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 271 0 0 0 2 1 0 0 20 0 16 0 415141988 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10748324 memory=716 CPUtime=0.05 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 415141988 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10748324 memory=776 CPUtime=0.03 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 16 0 415141988 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10748324 memory=1052 CPUtime=0.05 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 94 0 0 0 3 2 0 0 20 0 16 0 415141988 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10748324 memory=2832 CPUtime=0.01 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 1077 0 0 0 1 0 0 0 20 0 16 0 415141989 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12453] ppid=12434 vsize=10748324 memory=9328 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12453/stat : 12453 (java) S 12434 12438 10443 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415141990 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615539422560 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12454] ppid=12434 vsize=10748324 memory=140683935616769 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12454/stat : 12454 (java) S 12434 12438 10443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415141990 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615538370176 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12460] ppid=12434 vsize=10748324 memory=5860704123658201174 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12460/stat : 12460 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415141992 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615537318480 140616048510875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12461] ppid=12434 vsize=10748324 memory=7588671304909280615 CPUtime=1.42 cores=0,2,4,6
/proc/12438/task/12461/stat : 12461 (java) S 12434 12438 10443 0 -1 1077944384 2961 0 0 0 141 1 0 0 20 0 16 0 415141992 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615536265328 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12462] ppid=12434 vsize=10748324 memory=7957689449132282197 CPUtime=1.46 cores=0,2,4,6
/proc/12438/task/12462/stat : 12462 (java) S 12434 12438 10443 0 -1 1077944384 2804 0 0 0 146 0 0 0 20 0 16 0 415141992 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615535212528 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12463] ppid=12434 vsize=10748324 memory=8292088564187963537 CPUtime=0.78 cores=0,2,4,6
/proc/12438/task/12463/stat : 12463 (java) S 12434 12438 10443 0 -1 1077944384 3183 0 0 0 77 1 0 0 20 0 16 0 415141992 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615534160240 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12465] ppid=12434 vsize=10748324 memory=56 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12465/stat : 12465 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415141993 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615533107680 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12466] ppid=12434 vsize=10748324 memory=8316868033356759116 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12466/stat : 12466 (java) S 12434 12438 10443 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415141993 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615532055472 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12470] ppid=12434 vsize=10748324 memory=18122 CPUtime=1.4 cores=0,2,4,6
/proc/12438/task/12470/stat : 12470 (java) R 12434 12438 10443 0 -1 4202560 3517 0 0 0 138 2 0 0 20 0 16 0 415142176 11006283776 71468 33554432000 4194304 4196468 140723273445600 140615514984064 140615643806646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285872 KiB
[startup+3.50153 s]
/proc/loadavg: 1.47 1.86 1.99 7/235 12470
/proc/meminfo: memFree=30578220/32770624 swapFree=66967228/67108860
[pid=12438] ppid=12434 vsize=10748324 memory=285948 CPUtime=7.48 cores=0,2,4,6
/proc/12438/stat : 12438 (java) S 12434 12438 10443 0 -1 1077944320 30066 0 0 0 728 20 0 0 20 0 16 0 415141987 11006283776 71487 33554432000 4194304 4196468 140723273445600 140723273428144 140616048492279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
/proc/12438/statm: 2687081 71487 3379 1 0 2647217 0
[pid=12438/tid=12440] ppid=12434 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/12438/task/12440/stat : 12440 (java) S 12434 12438 10443 0 -1 1077944384 14462 0 0 0 182 5 0 0 20 0 16 0 415141987 11006283776 71487 33554432000 4194304 4196468 140723273445600 140616052735152 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12445] ppid=12434 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12438/task/12445/stat : 12445 (java) S 12434 12438 10443 0 -1 1077944384 271 0 0 0 2 1 0 0 20 0 16 0 415141988 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615974566288 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12446] ppid=12434 vsize=10748324 memory=265660 CPUtime=0.05 cores=0,2,4,6
/proc/12438/task/12446/stat : 12446 (java) S 12434 12438 10443 0 -1 1077944384 168 0 0 0 3 2 0 0 20 0 16 0 415141988 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615973513488 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12447] ppid=12434 vsize=10748324 memory=140683935755729 CPUtime=0.03 cores=0,2,4,6
/proc/12438/task/12447/stat : 12447 (java) S 12434 12438 10443 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 16 0 415141988 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615972461200 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12448] ppid=12434 vsize=10748324 memory=6655300316396806240 CPUtime=0.05 cores=0,2,4,6
/proc/12438/task/12448/stat : 12448 (java) S 12434 12438 10443 0 -1 1077944384 94 0 0 0 3 2 0 0 20 0 16 0 415141988 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615971408400 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12450] ppid=12434 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/12438/task/12450/stat : 12450 (java) S 12434 12438 10443 0 -1 1077944384 1077 0 0 0 1 0 0 0 20 0 16 0 415141989 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615540476528 140616048503426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12453] ppid=12434 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12453/stat : 12453 (java) S 12434 12438 10443 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415141990 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615539422560 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12454] ppid=12434 vsize=10748324 memory=281367871529056 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12454/stat : 12454 (java) S 12434 12438 10443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415141990 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615538370176 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12460] ppid=12434 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12460/stat : 12460 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415141992 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615537318480 140616048510875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12461] ppid=12434 vsize=10748324 memory=101 CPUtime=1.5 cores=0,2,4,6
/proc/12438/task/12461/stat : 12461 (java) R 12434 12438 10443 0 -1 4202560 2975 0 0 0 149 1 0 0 20 0 16 0 415141992 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615536251872 140616033618563 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12462] ppid=12434 vsize=10748324 memory=103 CPUtime=1.55 cores=0,2,4,6
/proc/12438/task/12462/stat : 12462 (java) R 12434 12438 10443 0 -1 4202560 2825 0 0 0 155 0 0 0 20 0 16 0 415141992 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615535203856 140616033401246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12463] ppid=12434 vsize=10748324 memory=65 CPUtime=0.79 cores=0,2,4,6
/proc/12438/task/12463/stat : 12463 (java) S 12434 12438 10443 0 -1 1077944384 3186 0 0 0 78 1 0 0 20 0 16 0 415141992 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615534160240 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12465] ppid=12434 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12465/stat : 12465 (java) S 12434 12438 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415141993 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615533107680 140616048502485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12466] ppid=12434 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12438/task/12466/stat : 12466 (java) S 12434 12438 10443 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415141993 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615532055472 140616048503426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
[pid=12438/tid=12470] ppid=12434 vsize=10748324 memory=94 CPUtime=1.5 cores=0,2,4,6
/proc/12438/task/12470/stat : 12470 (java) R 12434 12438 10443 0 -1 4202560 3521 0 0 0 148 2 0 0 20 0 16 0 415142176 11006283776 71487 33554432000 4194304 4196468 140723273445600 140615514985696 140615643901308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25067520 140723273454603 140723273454706 140723273454706 140723273457615 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285948 KiB
Child status: 0
Real time (s): 3.60062
CPU time (s): 7.7152
CPU user time (s): 7.5081
CPU system time (s): 0.207099
CPU usage (%): 214.274
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 285948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.50811
system time used= 0.207099
maximum resident set size= 286816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2795
involuntary context switches= 44
# summary of solver processes directly reported to runsolver:
# pid: 12438
# total CPU time (s): 7.7152
# total CPU user time (s): 7.5081
# total CPU system time (s): 0.207099
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054476 second user time and 0.0715 second system time
The end