2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
7.18/4.98 Instance
7.18/4.98 name=instance-4390500-1568380520, framework=CSP
7.18/4.98
7.18/4.98 Loading variables...
7.40/5.03 Loading constraints...
10.12/6.38
10.12/6.38 Domains
10.12/6.38 nTypes=1, nValues=144, sizes=[12#12]
10.12/6.38 Variables
10.12/6.38 count=12, degrees=[76#2,78#1,80#1,81#2...89#1,90#1,91#1,93#1]
10.12/6.38 Constraints
10.12/6.38 count=200, nSpecific=200, arities=[5#200]
10.12/6.38 distribution=[CtrExtensionCT-Table#200]
10.12/6.38 tables=[12442#200], nTotalTuples=2488400
10.12/6.38 nExtStructures=(200,shared:0)
10.12/6.38 wck=4.537, cpu=5.626, mem=833M504
10.26/6.41 Solver SolverBacktrack being built...
10.26/6.41
10.26/6.44
10.26/6.44 Solver
10.26/6.44 guaranteedGAC=true
10.26/6.44 wck=4.594, cpu=5.682, mem=859M992
10.26/6.44
10.26/6.44 Preprocessing
10.26/6.44 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
10.26/6.44 wck=0.008, cpu=5.691, mem=859M992
10.26/6.45
10.26/6.47 num=0, depth=1..2, filters=125, wck=0.035, mem=859M992
10.26/6.47 decisions=24, wrong=11, backtracks=1, failedAssignments=10, nogoods=4
10.26/6.47 nFilterCalls=2695, avgTableProportion=0.9999196270696276, avgTableSize=12441.0
10.26/6.47
10.54/6.50 num=1, depth=1..2, filters=324, wck=0.067, mem=859M992
10.54/6.50 decisions=50, wrong=23, backtracks=2, failedAssignments=21, nogoods=8
10.54/6.50 nFilterCalls=5801, avgTableProportion=0.9999196270694953, avgTableSize=12441.0
10.54/6.50
10.54/6.54 num=2, depth=1..2, filters=447, wck=0.098, mem=859M992
10.54/6.54 decisions=78, wrong=36, backtracks=3, failedAssignments=33, nogoods=13
10.54/6.54 nFilterCalls=8594, avgTableProportion=0.9999196270693914, avgTableSize=12441.0
10.54/6.54
10.54/6.56 num=3, depth=1..2, filters=673, wck=0.127, mem=859M992
10.54/6.56 decisions=110, wrong=51, backtracks=5, failedAssignments=46, nogoods=17
10.54/6.56 nFilterCalls=12055, avgTableProportion=0.9999196270693294, avgTableSize=12441.0
10.54/6.56
10.54/6.59 num=4, depth=1..2, filters=933, wck=0.155, mem=859M992
10.54/6.59 decisions=144, wrong=67, backtracks=7, failedAssignments=60, nogoods=21
10.54/6.59 nFilterCalls=15788, avgTableProportion=0.999919627069293, avgTableSize=12441.0
10.54/6.59
10.80/6.61 num=5, depth=1..2, filters=1173, wck=0.172, mem=859M992
10.80/6.61 decisions=182, wrong=85, backtracks=9, failedAssignments=76, nogoods=25
10.80/6.61 nFilterCalls=18953, avgTableProportion=0.9999196270692734, avgTableSize=12441.0
10.80/6.61
10.80/6.63 num=6, depth=1..2, filters=1439, wck=0.197, mem=859M992
10.80/6.63 decisions=223, wrong=105, backtracks=12, failedAssignments=93, nogoods=28
10.80/6.63 nFilterCalls=23610, avgTableProportion=0.9999196270692541, avgTableSize=12441.0
10.80/6.63
10.80/6.66 num=7, depth=1..2, filters=1697, wck=0.219, mem=859M992
10.80/6.66 decisions=269, wrong=127, backtracks=15, failedAssignments=112, nogoods=33
10.80/6.66 nFilterCalls=28808, avgTableProportion=0.9999196270692399, avgTableSize=12441.0
10.80/6.66
10.80/6.68 num=8, depth=1..2, filters=2117, wck=0.246, mem=859M992
10.80/6.68 decisions=321, wrong=152, backtracks=19, failedAssignments=133, nogoods=40
10.80/6.68 nFilterCalls=35407, avgTableProportion=0.9999196270694988, avgTableSize=12441.0
10.80/6.68
10.92/6.70 num=9, depth=1..2, filters=2502, wck=0.266, mem=859M992
10.92/6.70 decisions=377, wrong=179, backtracks=23, failedAssignments=156, nogoods=48
10.92/6.70 nFilterCalls=41556, avgTableProportion=0.9999196270699893, avgTableSize=12441.0
10.92/6.70
10.92/6.73 num=10, depth=1..2, filters=2971, wck=0.296, mem=886M500
10.92/6.73 decisions=442, wrong=211, backtracks=30, failedAssignments=181, nogoods=55
10.92/6.73 nFilterCalls=50255, avgTableProportion=0.9999196270704781, avgTableSize=12441.0
10.92/6.73
10.92/6.77 num=11, depth=1..2, filters=3449, wck=0.33, mem=886M500
10.92/6.77 decisions=512, wrong=245, backtracks=36, failedAssignments=209, nogoods=63
10.92/6.77 nFilterCalls=59350, avgTableProportion=0.999919627070836, avgTableSize=12441.0
10.92/6.77
11.06/6.82 num=12, depth=0..2, filters=4260, wck=0.382, mem=886M500
11.06/6.82 decisions=598, wrong=287, backtracks=48, failedAssignments=240, nogoods=67
11.06/6.82 nFilterCalls=72874, avgTableProportion=0.9999196270704709, avgTableSize=12441.0
11.06/6.82
11.06/6.88 num=13, depth=0..2, filters=5241, wck=0.44, mem=886M500
11.06/6.88 decisions=694, wrong=334, backtracks=61, failedAssignments=274, nogoods=70
11.06/6.88 nFilterCalls=86538, avgTableProportion=0.999919627069692, avgTableSize=12441.0
11.06/6.88
11.24/6.94 num=14, depth=1..2, filters=6042, wck=0.503, mem=886M500
11.24/6.94 decisions=788, wrong=380, backtracks=70, failedAssignments=311, nogoods=84
11.24/6.94 nFilterCalls=100832, avgTableProportion=0.999919627069103, avgTableSize=12441.0
11.24/6.94
11.24/7.00 num=15, depth=1..2, filters=6788, wck=0.566, mem=886M500
11.24/7.00 decisions=890, wrong=430, backtracks=79, failedAssignments=352, nogoods=94
11.24/7.00 nFilterCalls=116201, avgTableProportion=0.9999196270686315, avgTableSize=12441.0
11.24/7.00
11.36/7.05 num=16, depth=0..2, filters=7567, wck=0.61, mem=886M500
11.36/7.05 decisions=1002, wrong=485, backtracks=89, failedAssignments=397, nogoods=104
11.36/7.05 nFilterCalls=129710, avgTableProportion=0.9999196270683092, avgTableSize=12441.0
11.36/7.05
11.36/7.10 num=17, depth=0..2, filters=8701, wck=0.668, mem=886M500
11.36/7.10 decisions=1133, wrong=550, backtracks=105, failedAssignments=447, nogoods=106
11.36/7.10 nFilterCalls=147596, avgTableProportion=0.9999196270679733, avgTableSize=12441.0
11.36/7.10
11.48/7.17 num=18, depth=0..2, filters=9951, wck=0.738, mem=886M500
11.48/7.17 decisions=1277, wrong=621, backtracks=122, failedAssignments=502, nogoods=107
11.48/7.17 nFilterCalls=167867, avgTableProportion=0.9999196270676792, avgTableSize=12441.0
11.48/7.17
11.60/7.22 num=19, depth=0..2, filters=10850, wck=0.781, mem=886M500
11.60/7.22 decisions=1425, wrong=694, backtracks=135, failedAssignments=563, nogoods=112
11.60/7.22 nFilterCalls=184479, avgTableProportion=0.9999196270674864, avgTableSize=12441.0
11.60/7.22
11.69/7.30 num=20, depth=0..2, filters=12256, wck=0.863, mem=886M500
11.69/7.30 decisions=1603, wrong=782, backtracks=157, failedAssignments=630, nogoods=113
11.69/7.30 nFilterCalls=210177, avgTableProportion=0.999919627067248, avgTableSize=12441.0
11.69/7.30
11.69/7.34 num=21, depth=0..2, filters=13368, wck=0.908, mem=886M500
11.69/7.34 decisions=1781, wrong=870, backtracks=172, failedAssignments=704, nogoods=116
11.69/7.34 nFilterCalls=228951, avgTableProportion=0.9999196270671078, avgTableSize=12441.0
11.69/7.34
11.79/7.47 num=22, depth=0..2, filters=15627, wck=1.038, mem=886M500
11.79/7.47 decisions=2004, wrong=981, backtracks=205, failedAssignments=785, nogoods=117
11.79/7.47 nFilterCalls=267893, avgTableProportion=0.9999196270675018, avgTableSize=12441.0
11.79/7.47
12.00/7.61 num=23, depth=0..2, filters=18410, wck=1.177, mem=886M500
12.00/7.61 decisions=2231, wrong=1094, backtracks=231, failedAssignments=874, nogoods=119
12.00/7.61 nFilterCalls=305431, avgTableProportion=0.9999196270708373, avgTableSize=12441.0
12.00/7.61
12.00/7.68 num=24, depth=0..2, filters=20318, wck=1.245, mem=886M500
12.00/7.68 decisions=2387, wrong=1173, backtracks=245, failedAssignments=940, nogoods=119
12.00/7.68 nFilterCalls=321503, avgTableProportion=0.9999196270720273, avgTableSize=12441.0
12.00/7.68
12.00/7.68 Global
12.00/7.68 filters=20318, nogoods=119
12.00/7.68 Stop=FULL_EXPLORATION, wrong=1173, wck=5.84, cpu=6.927, mem=886M500
12.00/7.68
12.00/7.68 s UNSATISFIABLE
12.00/7.68
12.00/7.68 d WRONG_DECISIONS 1173
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 (12909 MiB free)
memory of node 1: 16384 MiB (14061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390500-1568380520/watcher-4390500-1568380520 -o /tmp/evaluation-result-4390500-1568380520/solver-4390500-1568380520 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390500-1568380520.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21005, runsolver pid=21002
[startup+0.100059 s]*
/proc/loadavg: 0.24 0.06 0.06 4/229 21020
/proc/meminfo: memFree=27606736/32770624 swapFree=67004752/67108860
[pid=21005] ppid=21002 vsize=10659884 memory=27568 CPUtime=0.13 cores=1,3,5,7
/proc/21005/stat : 21005 (java) S 21002 21005 20852 0 -1 1077944320 5442 0 0 0 12 1 0 0 20 0 15 0 414319951 10915721216 6892 33554432000 4194304 4196468 140721360884832 140721360867376 140308323516151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
/proc/21005/statm: 2664971 6892 2863 1 0 2627468 0
[pid=21005/tid=21007] ppid=21002 vsize=10659884 memory=8514726395714820750 CPUtime=0.1 cores=1,3,5,7
/proc/21005/task/21007/stat : 21007 (java) R 21002 21005 20852 0 -1 4202560 3268 0 0 0 9 1 0 0 20 0 15 0 414319951 10915721216 6892 33554432000 4194304 4196468 140721360884832 140308327738912 140308315753278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21008] ppid=21002 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319953 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21013] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21013/stat : 21013 (java) S 21002 21005 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414319954 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307814307488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21014] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21014/stat : 21014 (java) S 21002 21005 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414319954 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307813254384 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21015] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21015/stat : 21015 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414319956 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307812202960 140308323534747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21016] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21016/stat : 21016 (java) S 21002 21005 20852 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 414319956 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307811150064 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21017] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21017/stat : 21017 (java) S 21002 21005 20852 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 414319956 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307810097520 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21018] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0.02 cores=1,3,5,7
/proc/21005/task/21018/stat : 21018 (java) R 21002 21005 20852 0 -1 4202560 321 0 0 0 2 0 0 0 20 0 15 0 414319956 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307809042272 140308307718504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21019] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21019/stat : 21019 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414319957 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307807992160 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21020] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21020/stat : 21020 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319957 10915721216 6892 33554432000 4194304 4196468 140721360884832 140307806940208 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27568 KiB
[startup+0.210783 s]*
/proc/loadavg: 0.24 0.06 0.06 3/229 21020
/proc/meminfo: memFree=27595784/32770624 swapFree=67004752/67108860
[pid=21005] ppid=21002 vsize=10659884 memory=37288 CPUtime=0.33 cores=1,3,5,7
/proc/21005/stat : 21005 (java) S 21002 21005 20852 0 -1 1077944320 9100 0 0 0 30 3 0 0 20 0 15 0 414319951 10915721216 9322 33554432000 4194304 4196468 140721360884832 140721360867376 140308323516151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
/proc/21005/statm: 2664971 9322 2987 1 0 2627468 0
[pid=21005/tid=21007] ppid=21002 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21005/task/21007/stat : 21007 (java) R 21002 21005 20852 0 -1 4202560 6105 0 0 0 18 2 0 0 20 0 15 0 414319951 10915721216 9322 33554432000 4194304 4196468 140721360884832 140308327742512 140308323538077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21008] ppid=21002 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10659884 memory=140261497374815 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319953 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21013] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21013/stat : 21013 (java) S 21002 21005 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414319954 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307814307488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21014] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21014/stat : 21014 (java) S 21002 21005 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414319954 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307813254384 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21015] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21015/stat : 21015 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414319956 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307812202960 140308323534747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21016] ppid=21002 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21005/task/21016/stat : 21016 (java) S 21002 21005 20852 0 -1 1077944384 710 0 0 0 3 0 0 0 20 0 15 0 414319956 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307811150064 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21017] ppid=21002 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21005/task/21017/stat : 21017 (java) S 21002 21005 20852 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 15 0 414319956 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307810097520 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21018] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0.05 cores=1,3,5,7
/proc/21005/task/21018/stat : 21018 (java) S 21002 21005 20852 0 -1 1077944384 687 0 0 0 5 0 0 0 20 0 15 0 414319956 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307809044464 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21019] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21019/stat : 21019 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414319957 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307807992160 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21020] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21020/stat : 21020 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319957 10915721216 9322 33554432000 4194304 4196468 140721360884832 140307806940208 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37288 KiB
[startup+0.310405 s]*
/proc/loadavg: 0.24 0.06 0.06 3/229 21020
/proc/meminfo: memFree=27587220/32770624 swapFree=67004752/67108860
[pid=21005] ppid=21002 vsize=10659884 memory=40084 CPUtime=0.47 cores=1,3,5,7
/proc/21005/stat : 21005 (java) S 21002 21005 20852 0 -1 1077944320 9329 0 0 0 44 3 0 0 20 0 15 0 414319951 10915721216 10021 33554432000 4194304 4196468 140721360884832 140721360867376 140308323516151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
/proc/21005/statm: 2664971 10021 3017 1 0 2627468 0
[pid=21005/tid=21007] ppid=21002 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/21005/task/21007/stat : 21007 (java) R 21002 21005 20852 0 -1 4202560 6258 0 0 0 28 2 0 0 20 0 15 0 414319951 10915721216 10021 33554432000 4194304 4196468 140721360884832 140308327747952 140308323528086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21008] ppid=21002 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10659884 memory=140261497374452 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319953 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21013] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21013/stat : 21013 (java) S 21002 21005 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414319954 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307814307488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21014] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21014/stat : 21014 (java) S 21002 21005 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414319954 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307813254384 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21015] ppid=21002 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21015/stat : 21015 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414319956 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307812202960 140308323534747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21016] ppid=21002 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21005/task/21016/stat : 21016 (java) S 21002 21005 20852 0 -1 1077944384 751 0 0 0 5 0 0 0 20 0 15 0 414319956 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307811150064 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21017] ppid=21002 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21005/task/21017/stat : 21017 (java) S 21002 21005 20852 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 15 0 414319956 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307810097520 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21018] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0.08 cores=1,3,5,7
/proc/21005/task/21018/stat : 21018 (java) S 21002 21005 20852 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 15 0 414319956 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307809044464 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21019] ppid=21002 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21019/stat : 21019 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414319957 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307807992160 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21020] ppid=21002 vsize=10659884 memory=140261497353856 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21020/stat : 21020 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319957 10915721216 10021 33554432000 4194304 4196468 140721360884832 140307806940208 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40084 KiB
[startup+0.701011 s]
/proc/loadavg: 0.24 0.06 0.06 4/229 21020
/proc/meminfo: memFree=27567208/32770624 swapFree=67004752/67108860
[pid=21005] ppid=21002 vsize=10661932 memory=62052 CPUtime=1.09 cores=1,3,5,7
/proc/21005/stat : 21005 (java) S 21002 21005 20852 0 -1 1077944320 12553 0 0 0 104 5 0 0 20 0 15 0 414319951 10917818368 15513 33554432000 4194304 4196468 140721360884832 140721360867376 140308323516151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
/proc/21005/statm: 2665483 15513 3072 1 0 2627980 0
[pid=21005/tid=21007] ppid=21002 vsize=10661932 memory=1276 CPUtime=0.68 cores=1,3,5,7
/proc/21005/task/21007/stat : 21007 (java) R 21002 21005 20852 0 -1 4202560 8803 0 0 0 64 4 0 0 20 0 15 0 414319951 10917818368 15513 33554432000 4194304 4196468 140721360884832 140308327746784 140308303791363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21008] ppid=21002 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10661932 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10661932 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10661932 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319953 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21013] ppid=21002 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21013/stat : 21013 (java) S 21002 21005 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414319954 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307814307488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21014] ppid=21002 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21014/stat : 21014 (java) S 21002 21005 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414319954 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307813254384 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21015] ppid=21002 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21015/stat : 21015 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414319956 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307812202960 140308323534747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21016] ppid=21002 vsize=10661932 memory=7594592247738553961 CPUtime=0.1 cores=1,3,5,7
/proc/21005/task/21016/stat : 21016 (java) S 21002 21005 20852 0 -1 1077944384 901 0 0 0 10 0 0 0 20 0 15 0 414319956 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307811150064 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21017] ppid=21002 vsize=10661932 memory=5787213857196369745 CPUtime=0.1 cores=1,3,5,7
/proc/21005/task/21017/stat : 21017 (java) R 21002 21005 20852 0 -1 4202560 423 0 0 0 10 0 0 0 20 0 15 0 414319956 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307810083616 140308308641590 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21018] ppid=21002 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=1,3,5,7
/proc/21005/task/21018/stat : 21018 (java) S 21002 21005 20852 0 -1 1077944384 1066 0 0 0 18 0 0 0 20 0 15 0 414319956 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307809044464 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21019] ppid=21002 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21019/stat : 21019 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414319957 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307807992160 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21020] ppid=21002 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21020/stat : 21020 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319957 10917818368 15513 33554432000 4194304 4196468 140721360884832 140307806940208 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62052 KiB
[startup+1.50071 s]
/proc/loadavg: 0.24 0.06 0.06 6/227 21050
/proc/meminfo: memFree=28330748/32770624 swapFree=67004752/67108860
[pid=21005] ppid=21002 vsize=10663980 memory=74804 CPUtime=1.98 cores=1,3,5,7
/proc/21005/stat : 21005 (java) S 21002 21005 20852 0 -1 1077944320 18063 0 0 0 192 6 0 0 20 0 15 0 414319951 10919915520 18701 33554432000 4194304 4196468 140721360884832 140721360867376 140308323516151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
/proc/21005/statm: 2665995 18701 3096 1 0 2628492 0
[pid=21005/tid=21007] ppid=21002 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/21005/task/21007/stat : 21007 (java) R 21002 21005 20852 0 -1 4202560 12985 0 0 0 143 4 0 0 20 0 15 0 414319951 10919915520 18701 33554432000 4194304 4196468 140721360884832 140308327733088 140308307596638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21008] ppid=21002 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10919915520 18701 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10919915520 18701 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414319952 10919915520 18701 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414319952 10919915520 18701 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414319953 10919915520 18701 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
################
# More data... #
################
[pid=21005/tid=21008] ppid=21002 vsize=10746276 memory=753300 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 962 0 0 0 48 17 0 0 20 0 16 0 414319952 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10746276 memory=140261351403040 CPUtime=0.63 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 1009 0 0 0 47 16 0 0 20 0 16 0 414319952 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10746276 memory=292964 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 643 0 0 0 48 17 0 0 20 0 16 0 414319952 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10746276 memory=1188 CPUtime=0.64 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 466 0 0 0 48 16 0 0 20 0 16 0 414319952 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10746276 memory=1341756 CPUtime=0.08 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 2199 0 0 0 8 0 0 0 20 0 16 0 414319953 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21013] ppid=21002 vsize=10746276 memory=1780 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21013/stat : 21013 (java) S 21002 21005 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414319954 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307814307552 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21014] ppid=21002 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21014/stat : 21014 (java) S 21002 21005 20852 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414319954 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307813254400 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21015] ppid=21002 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21015/stat : 21015 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414319956 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307812202960 140308323534747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21016] ppid=21002 vsize=10746276 memory=280522702329728 CPUtime=0.68 cores=1,3,5,7
/proc/21005/task/21016/stat : 21016 (java) S 21002 21005 20852 0 -1 1077944384 1846 0 0 0 68 0 0 0 20 0 16 0 414319956 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307811150064 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21017] ppid=21002 vsize=10746276 memory=3620 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21017/stat : 21017 (java) S 21002 21005 20852 0 -1 1077944384 1764 0 0 0 65 0 0 0 20 0 16 0 414319956 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307810097520 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21018] ppid=21002 vsize=10746276 memory=39608 CPUtime=0.52 cores=1,3,5,7
/proc/21005/task/21018/stat : 21018 (java) S 21002 21005 20852 0 -1 1077944384 1892 0 0 0 51 1 0 0 20 0 16 0 414319956 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307809044464 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21019] ppid=21002 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21019/stat : 21019 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414319957 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307807992160 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21020] ppid=21002 vsize=10746276 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21020/stat : 21020 (java) S 21002 21005 20852 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 414319957 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307806940208 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21051] ppid=21002 vsize=10746276 memory=280522702575760 CPUtime=3.66 cores=1,3,5,7
/proc/21005/task/21051/stat : 21051 (java) R 21002 21005 20852 0 -1 4202560 3310 0 0 0 355 11 0 0 20 0 16 0 414320138 11004186624 347896 33554432000 4194304 4196468 140721360884832 140307792185864 140307941630663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
Current children cumulated CPU time: 10.12 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1391584 KiB
[startup+7.69782 s]
# the end of solver process 21005 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.1702 s, system=0.938514 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40089 s]
/proc/loadavg: 0.54 0.13 0.08 4/229 21100
/proc/meminfo: memFree=26917528/32770624 swapFree=67004752/67108860
[pid=21005] ppid=21002 vsize=10746276 memory=1391876 CPUtime=10.26 cores=1,3,5,7
/proc/21005/stat : 21005 (java) S 21002 21005 20852 0 -1 1077944320 30839 0 0 0 936 90 0 0 20 0 16 0 414319951 11004186624 347969 33554432000 4194304 4196468 140721360884832 140721360867376 140308323516151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
/proc/21005/statm: 2686569 347969 3360 1 0 2646705 0
[pid=21005/tid=21007] ppid=21002 vsize=10746276 memory=8696061252488634487 CPUtime=1.86 cores=1,3,5,7
/proc/21005/task/21007/stat : 21007 (java) S 21002 21005 20852 0 -1 1077944384 15217 0 0 0 180 6 0 0 20 0 16 0 414319951 11004186624 347969 33554432000 4194304 4196468 140721360884832 140308327759024 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21008] ppid=21002 vsize=10746276 memory=-6152018833316406885 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 962 0 0 0 48 17 0 0 20 0 16 0 414319952 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10746276 memory=6656426216303648864 CPUtime=0.63 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 1009 0 0 0 47 16 0 0 20 0 16 0 414319952 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10746276 memory=6944652177228980320 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 643 0 0 0 48 17 0 0 20 0 16 0 414319952 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10746276 memory=6655300316396806240 CPUtime=0.64 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 466 0 0 0 48 16 0 0 20 0 16 0 414319952 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10746276 memory=7681407940103534239 CPUtime=0.08 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 2199 0 0 0 8 0 0 0 20 0 16 0 414319953 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21013] ppid=21002 vsize=10746276 memory=3545796495099047990 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21013/stat : 21013 (java) S 21002 21005 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414319954 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307814307552 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21014] ppid=21002 vsize=10746276 memory=3835169539216402027 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21014/stat : 21014 (java) S 21002 21005 20852 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414319954 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307813254400 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21015] ppid=21002 vsize=10746276 memory=140261351294729 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21015/stat : 21015 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414319956 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307812202960 140308323534747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21016] ppid=21002 vsize=10746276 memory=56 CPUtime=0.69 cores=1,3,5,7
/proc/21005/task/21016/stat : 21016 (java) S 21002 21005 20852 0 -1 1077944384 1850 0 0 0 69 0 0 0 20 0 16 0 414319956 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307811150064 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21017] ppid=21002 vsize=10746276 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21005/task/21017/stat : 21017 (java) S 21002 21005 20852 0 -1 1077944384 1773 0 0 0 66 0 0 0 20 0 16 0 414319956 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307810097520 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21018] ppid=21002 vsize=10746276 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/21005/task/21018/stat : 21018 (java) R 21002 21005 20852 0 -1 4202560 1910 0 0 0 53 1 0 0 20 0 16 0 414319956 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307809044464 140308323537498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21019] ppid=21002 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21019/stat : 21019 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414319957 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307807992160 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21020] ppid=21002 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21020/stat : 21020 (java) S 21002 21005 20852 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 414319957 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307806940208 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21051] ppid=21002 vsize=10746276 memory=0 CPUtime=3.76 cores=1,3,5,7
/proc/21005/task/21051/stat : 21051 (java) R 21002 21005 20852 0 -1 4202560 3393 0 0 0 365 11 0 0 20 0 16 0 414320138 11004186624 347969 33554432000 4194304 4196468 140721360884832 140307792184272 140308323528086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
Current children cumulated CPU time: 10.26 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1391876 KiB
[startup+7.20474 s]
/proc/loadavg: 0.54 0.13 0.08 3/229 21100
/proc/meminfo: memFree=26867756/32770624 swapFree=67004752/67108860
[pid=21005] ppid=21002 vsize=10746276 memory=1398644 CPUtime=11.6 cores=1,3,5,7
/proc/21005/stat : 21005 (java) S 21002 21005 20852 0 -1 1077944320 33901 0 0 0 1068 92 0 0 20 0 16 0 414319951 11004186624 349661 33554432000 4194304 4196468 140721360884832 140721360867376 140308323516151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
/proc/21005/statm: 2686569 349661 3366 1 0 2646705 0
[pid=21005/tid=21007] ppid=21002 vsize=10746276 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/21005/task/21007/stat : 21007 (java) S 21002 21005 20852 0 -1 1077944384 15217 0 0 0 180 6 0 0 20 0 16 0 414319951 11004186624 349661 33554432000 4194304 4196468 140721360884832 140308327759024 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21008] ppid=21002 vsize=10746276 memory=39608 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 962 0 0 0 48 17 0 0 20 0 16 0 414319952 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10746276 memory=984 CPUtime=0.63 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 1009 0 0 0 47 16 0 0 20 0 16 0 414319952 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10746276 memory=7235411451580540240 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 643 0 0 0 48 17 0 0 20 0 16 0 414319952 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10746276 memory=56 CPUtime=0.64 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 466 0 0 0 48 16 0 0 20 0 16 0 414319952 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10746276 memory=7019532174498031206 CPUtime=0.08 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 2199 0 0 0 8 0 0 0 20 0 16 0 414319953 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21013] ppid=21002 vsize=10746276 memory=7295938381028020304 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21013/stat : 21013 (java) S 21002 21005 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414319954 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307814307552 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21014] ppid=21002 vsize=10746276 memory=6153433744106940772 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21014/stat : 21014 (java) S 21002 21005 20852 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414319954 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307813254400 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21015] ppid=21002 vsize=10746276 memory=6153433744106940772 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21015/stat : 21015 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414319956 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307812202960 140308323534747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21016] ppid=21002 vsize=10746276 memory=6082203004741511255 CPUtime=0.88 cores=1,3,5,7
/proc/21005/task/21016/stat : 21016 (java) S 21002 21005 20852 0 -1 1077944384 1966 0 0 0 88 0 0 0 20 0 16 0 414319956 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307811150064 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21017] ppid=21002 vsize=10746276 memory=6944656592455359580 CPUtime=0.9 cores=1,3,5,7
/proc/21005/task/21017/stat : 21017 (java) S 21002 21005 20852 0 -1 1077944384 2390 0 0 0 90 0 0 0 20 0 16 0 414319956 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307810097520 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21018] ppid=21002 vsize=10746276 memory=6943526294502006880 CPUtime=0.63 cores=1,3,5,7
/proc/21005/task/21018/stat : 21018 (java) S 21002 21005 20852 0 -1 1077944384 2084 0 0 0 62 1 0 0 20 0 16 0 414319956 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307809044464 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21019] ppid=21002 vsize=10746276 memory=5939808560852133696 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21019/stat : 21019 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414319957 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307807992160 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21020] ppid=21002 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21020/stat : 21020 (java) S 21002 21005 20852 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 414319957 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307806940208 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21051] ppid=21002 vsize=10746276 memory=7019257425709197167 CPUtime=4.56 cores=1,3,5,7
/proc/21005/task/21051/stat : 21051 (java) R 21002 21005 20852 0 -1 4202560 5548 0 0 0 444 12 0 0 20 0 16 0 414320138 11004186624 349661 33554432000 4194304 4196468 140721360884832 140307792179104 140307947580398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
Current children cumulated CPU time: 11.6 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1398644 KiB
[startup+7.60074 s]
/proc/loadavg: 0.54 0.13 0.08 3/229 21100
/proc/meminfo: memFree=26867756/32770624 swapFree=67004752/67108860
[pid=21005] ppid=21002 vsize=10746276 memory=1398652 CPUtime=12 cores=1,3,5,7
/proc/21005/stat : 21005 (java) S 21002 21005 20852 0 -1 1077944320 34129 0 0 0 1108 92 0 0 20 0 16 0 414319951 11004186624 349663 33554432000 4194304 4196468 140721360884832 140721360867376 140308323516151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
/proc/21005/statm: 2686569 349663 3366 1 0 2646705 0
[pid=21005/tid=21007] ppid=21002 vsize=10746276 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/21005/task/21007/stat : 21007 (java) S 21002 21005 20852 0 -1 1077944384 15217 0 0 0 180 6 0 0 20 0 16 0 414319951 11004186624 349663 33554432000 4194304 4196468 140721360884832 140308327759024 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21008] ppid=21002 vsize=10746276 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21008/stat : 21008 (java) S 21002 21005 20852 0 -1 1077944384 962 0 0 0 48 17 0 0 20 0 16 0 414319952 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307930671632 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21009] ppid=21002 vsize=10746276 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/21005/task/21009/stat : 21009 (java) S 21002 21005 20852 0 -1 1077944384 1009 0 0 0 47 16 0 0 20 0 16 0 414319952 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307929619088 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21010] ppid=21002 vsize=10746276 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/21005/task/21010/stat : 21010 (java) S 21002 21005 20852 0 -1 1077944384 643 0 0 0 48 17 0 0 20 0 16 0 414319952 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307928566032 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21011] ppid=21002 vsize=10746276 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/21005/task/21011/stat : 21011 (java) S 21002 21005 20852 0 -1 1077944384 466 0 0 0 48 16 0 0 20 0 16 0 414319952 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307927513488 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21012] ppid=21002 vsize=10746276 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21005/task/21012/stat : 21012 (java) S 21002 21005 20852 0 -1 1077944384 2199 0 0 0 8 0 0 0 20 0 16 0 414319953 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307815361264 140308323527298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21013] ppid=21002 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21013/stat : 21013 (java) S 21002 21005 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414319954 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307814307552 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21014] ppid=21002 vsize=10746276 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21014/stat : 21014 (java) S 21002 21005 20852 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414319954 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307813254400 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21015] ppid=21002 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21015/stat : 21015 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414319956 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307812202960 140308323534747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21016] ppid=21002 vsize=10746276 memory=6944656575208382560 CPUtime=0.88 cores=1,3,5,7
/proc/21005/task/21016/stat : 21016 (java) S 21002 21005 20852 0 -1 1077944384 1966 0 0 0 88 0 0 0 20 0 16 0 414319956 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307811150064 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21017] ppid=21002 vsize=10746276 memory=6944656592455360604 CPUtime=0.9 cores=1,3,5,7
/proc/21005/task/21017/stat : 21017 (java) S 21002 21005 20852 0 -1 1077944384 2393 0 0 0 90 0 0 0 20 0 16 0 414319956 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307810097520 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21018] ppid=21002 vsize=10746276 memory=6944656592387989600 CPUtime=0.63 cores=1,3,5,7
/proc/21005/task/21018/stat : 21018 (java) S 21002 21005 20852 0 -1 1077944384 2085 0 0 0 62 1 0 0 20 0 16 0 414319956 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307809044464 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21019] ppid=21002 vsize=10746276 memory=8252710469714192971 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21019/stat : 21019 (java) S 21002 21005 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414319957 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307807992160 140308323526357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21020] ppid=21002 vsize=10746276 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/21005/task/21020/stat : 21020 (java) S 21002 21005 20852 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 414319957 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307806940208 140308323527298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
[pid=21005/tid=21051] ppid=21002 vsize=10746276 memory=-8102431393132624720 CPUtime=4.97 cores=1,3,5,7
/proc/21005/task/21051/stat : 21051 (java) R 21002 21005 20852 0 -1 4202560 5772 0 0 0 484 13 0 0 20 0 16 0 414320138 11004186624 349663 33554432000 4194304 4196468 140721360884832 140307792184920 140307947581386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22614016 140721360892939 140721360893042 140721360893042 140721360895951 0
Current children cumulated CPU time: 12 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1398652 KiB
Child status: 0
Real time (s): 7.69787
CPU time (s): 12.1088
CPU user time (s): 11.1702
CPU system time (s): 0.938514
CPU usage (%): 157.3
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 1398652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1702
system time used= 0.938514
maximum resident set size= 1399544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34464
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= 3203
involuntary context switches= 148
# summary of solver processes directly reported to runsolver:
# pid: 21005
# total CPU time (s): 12.1088
# total CPU user time (s): 11.1702
# total CPU system time (s): 0.938514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080468 second user time and 0.108284 second system time
The end