2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.88
3.33/2.18 Instance
3.33/2.18 name=instance-4390484-1568385532, framework=CSP
3.33/2.18
3.33/2.18 Loading variables...
3.64/2.24 Loading constraints...
4.94/2.66
4.94/2.66 Domains
4.94/2.66 nTypes=5, nValues=23481, sizes=[1#2,20#20,161#19,1001#20]
4.94/2.66 Variables
4.94/2.66 count=61, degrees=[1#2,2#37,19#1,20#18,37#1,190#1,208#1]
4.94/2.66 Constraints
4.94/2.66 count=228, nSpecific=227, arities=[2#1,3#20,4#207]
4.94/2.66 distribution=[CtrExtensionCT-Table#227,CtrExtensionV-Bits#1]
4.94/2.66 tables=[1#1,400#18,7600#189,13041#19], nTotalTuples=1691380
4.94/2.66 nExtStructures=(41,shared:187), nCftStructures=(1,shared:0,unbuilt:227)
4.94/2.66 wck=0.825, cpu=2.46, mem=270M669
4.94/2.69 Solver SolverBacktrack being built...
4.94/2.69
5.20/2.78
5.20/2.78 Solver
5.20/2.78 guaranteedGAC=true
5.20/2.78 wck=0.941, cpu=2.511, mem=290M896
5.54/2.89
5.54/2.89 Preprocessing
5.54/2.89 filters=140, nACremovedValues=22212, nTotalRemovedValues=22212, inconcistency=false
5.54/2.89 wck=0.106, cpu=2.618, mem=290M896
5.54/2.89
5.78/2.92 num=0, depth=0..6, filters=1112, revisions=(4,useless=2), wck=0.138, mem=290M896
5.78/2.92 decisions=28, wrong=12, backtracks=2, failedAssignments=10, nogoods=7
5.78/2.92 nFilterCalls=8859, avgTableProportion=0.9996181492201646, avgTableSize=7463.806072920194
5.78/2.92
5.78/2.93 num=1, depth=0..0, filters=1990, revisions=(4,useless=2), wck=0.154, mem=290M896
5.78/2.93 decisions=50, wrong=23, backtracks=2, failedAssignments=21, nogoods=7
5.78/2.93 nFilterCalls=11805, avgTableProportion=0.9996449318576166, avgTableSize=7508.382803896654
5.78/2.93
5.78/2.95 num=2, depth=0..4, filters=3064, revisions=(5,useless=3), wck=0.172, mem=290M896
5.78/2.95 decisions=85, wrong=39, backtracks=6, failedAssignments=33, nogoods=17
5.78/2.95 nFilterCalls=18959, avgTableProportion=0.999674127143984, avgTableSize=7502.649084867346
5.78/2.95
5.78/2.96 num=3, depth=6..10, filters=4234, revisions=(8,useless=5), wck=0.183, mem=290M896
5.78/2.96 decisions=123, wrong=55, backtracks=11, failedAssignments=46, nogoods=24
5.78/2.96 nFilterCalls=25166, avgTableProportion=0.9996953637792303, avgTableSize=7585.077644440912
5.78/2.96
5.78/2.98 num=4, depth=0..2, filters=5542, revisions=(12,useless=9), wck=0.203, mem=290M896
5.78/2.98 decisions=156, wrong=71, backtracks=13, failedAssignments=60, nogoods=27
5.78/2.98 nFilterCalls=31481, avgTableProportion=0.9997002542941898, avgTableSize=7559.191861757886
5.78/2.98
6.11/3.01 num=5, depth=1..7, filters=7980, revisions=(17,useless=12), wck=0.229, mem=290M896
6.11/3.01 decisions=209, wrong=96, backtracks=25, failedAssignments=76, nogoods=37
6.11/3.01 nFilterCalls=47702, avgTableProportion=0.9997193100159701, avgTableSize=7590.598046203513
6.11/3.01
6.11/3.05 num=6, depth=1..9, filters=11624, revisions=(37,useless=30), wck=0.271, mem=290M896
6.11/3.05 decisions=291, wrong=136, backtracks=52, failedAssignments=93, nogoods=40
6.11/3.05 nFilterCalls=72274, avgTableProportion=0.9997322868693979, avgTableSize=7617.294656446302
6.11/3.05
6.11/3.09 num=7, depth=0..6, filters=14511, revisions=(56,useless=44), wck=0.309, mem=290M896
6.11/3.09 decisions=357, wrong=168, backtracks=69, failedAssignments=112, nogoods=45
6.11/3.09 nFilterCalls=95881, avgTableProportion=0.9997332317545914, avgTableSize=7581.042020838331
6.11/3.09
6.29/3.11 num=8, depth=0..4, filters=17391, revisions=(75,useless=60), wck=0.332, mem=290M896
6.29/3.11 decisions=419, wrong=199, backtracks=79, failedAssignments=133, nogoods=45
6.29/3.11 nFilterCalls=117596, avgTableProportion=0.999735244002897, avgTableSize=7567.642419810198
6.29/3.11
6.29/3.13 num=9, depth=1..7, filters=20328, revisions=(83,useless=67), wck=0.349, mem=290M896
6.29/3.13 decisions=486, wrong=232, backtracks=90, failedAssignments=156, nogoods=49
6.29/3.13 nFilterCalls=138057, avgTableProportion=0.9997383091751012, avgTableSize=7577.877326032001
6.29/3.13
6.29/3.14 num=10, depth=3..60, filters=20669, revisions=(85,useless=69), ccks=228, wck=0.359, mem=290M896
6.29/3.14 decisions=491, wrong=233, backtracks=90, failedAssignments=157, nogoods=49, foundSolutions=1
6.29/3.14 nFilterCalls=140693, avgTableProportion=0.9997385477004828, avgTableSize=7578.634914316988
6.29/3.14
6.29/3.14 Global
6.29/3.14 filters=20669, revisions=(85,useless=69), ccks=228, nogoods=49
6.29/3.14 Stop=REACHED_GOAL, wrong=233, foundSolutions=1, firstSolCpu=2.861
6.29/3.14 wck=1.301, cpu=2.868, mem=290M896
6.29/3.14
6.29/3.14 v <instantiation id='sol1' type='solution'> <list> w3 w4 x[] y[] z[] </list> <values> 160 0 10 3 16 12 4 9 5 18 8 14 13 2 15 7 1 19 6 17 20 11 13 3 1 15 6 0 5 11 2 1 2 20 7 26 0 21 0 3 15 9 16 17 32 38 38 43 54 56 57 59 79 86 112 112 133 133 136 151 160 </values> </instantiation>
6.29/3.14 s SATISFIABLE
6.29/3.14
6.29/3.14 d WRONG_DECISIONS 233
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 (14818 MiB free)
memory of node 1: 16384 MiB (15345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390484-1568385532/watcher-4390484-1568385532 -o /tmp/evaluation-result-4390484-1568385532/solver-4390484-1568385532 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29949 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390484-1568385532.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=31189, runsolver pid=31186
[startup+0.100058 s]*
/proc/loadavg: 1.71 1.67 1.73 4/228 31204
/proc/meminfo: memFree=30872288/32770624 swapFree=66940844/67108860
[pid=31189] ppid=31186 vsize=10659884 memory=28476 CPUtime=0.14 cores=1,3,5,7
/proc/31189/stat : 31189 (java) S 31186 31189 29917 0 -1 1077944320 5526 0 0 0 12 2 0 0 20 0 15 0 414791860 10915721216 7119 33554432000 4194304 4196468 140728877455584 140728877438128 140574194560759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
/proc/31189/statm: 2664971 7119 2907 1 0 2627468 0
[pid=31189/tid=31191] ppid=31186 vsize=10659884 memory=-8197568871503269503 CPUtime=0.09 cores=1,3,5,7
/proc/31189/task/31191/stat : 31191 (java) R 31186 31189 29917 0 -1 4202560 3353 0 0 0 8 1 0 0 20 0 15 0 414791860 10915721216 7119 33554432000 4194304 4196468 140728877455584 140574198789776 140574178604389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31192] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31192/stat : 31192 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 7119 33554432000 4194304 4196468 140728877455584 140574147181072 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31193] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31193/stat : 31193 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573800061584 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31194] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31194/stat : 31194 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573799008528 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31195] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31195/stat : 31195 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573797955984 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31196] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31196/stat : 31196 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791862 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573753703152 140574194571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31197] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31197/stat : 31197 (java) S 31186 31189 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414791862 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573752649376 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31198] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31198/stat : 31198 (java) S 31186 31189 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414791863 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573751596272 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31199] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31199/stat : 31199 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573750544848 140574194579355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31200] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31200/stat : 31200 (java) S 31186 31189 29917 0 -1 1077944384 472 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573749491952 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31201] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31201/stat : 31201 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573748439408 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31202] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0.02 cores=1,3,5,7
/proc/31189/task/31202/stat : 31202 (java) R 31186 31189 29917 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 414791865 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573747386352 140574173080897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31203] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31203/stat : 31203 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573746334048 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31204] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31204/stat : 31204 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 7119 33554432000 4194304 4196468 140728877455584 140573745282096 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28476 KiB
[startup+0.210525 s]*
/proc/loadavg: 1.71 1.67 1.73 4/228 31204
/proc/meminfo: memFree=30861716/32770624 swapFree=66940844/67108860
[pid=31189] ppid=31186 vsize=10659884 memory=37412 CPUtime=0.33 cores=1,3,5,7
/proc/31189/stat : 31189 (java) S 31186 31189 29917 0 -1 1077944320 9096 0 0 0 29 4 0 0 20 0 15 0 414791860 10915721216 9353 33554432000 4194304 4196468 140728877455584 140728877438128 140574194560759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
/proc/31189/statm: 2664971 9353 2989 1 0 2627468 0
[pid=31189/tid=31191] ppid=31186 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31189/task/31191/stat : 31191 (java) R 31186 31189 29917 0 -1 4202560 6132 0 0 0 17 2 0 0 20 0 15 0 414791860 10915721216 9353 33554432000 4194304 4196468 140728877455584 140574198787120 140574194582685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31192] ppid=31186 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31192/stat : 31192 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 9353 33554432000 4194304 4196468 140728877455584 140574147181072 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31193] ppid=31186 vsize=10659884 memory=3472478308154222240 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31193/stat : 31193 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573800061584 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31194] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31194/stat : 31194 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573799008528 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31195] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31195/stat : 31195 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573797955984 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31196] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31196/stat : 31196 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791862 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573753703152 140574194571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31197] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31197/stat : 31197 (java) S 31186 31189 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414791862 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573752649376 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31198] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31198/stat : 31198 (java) S 31186 31189 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414791863 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573751596272 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31199] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31199/stat : 31199 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573750544848 140574194579355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31200] ppid=31186 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31189/task/31200/stat : 31200 (java) S 31186 31189 29917 0 -1 1077944384 665 0 0 0 3 0 0 0 20 0 15 0 414791865 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573749491952 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31201] ppid=31186 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31189/task/31201/stat : 31201 (java) S 31186 31189 29917 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 15 0 414791865 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573748439408 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31202] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0.05 cores=1,3,5,7
/proc/31189/task/31202/stat : 31202 (java) S 31186 31189 29917 0 -1 1077944384 752 0 0 0 5 0 0 0 20 0 15 0 414791865 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573747386352 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31203] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31203/stat : 31203 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573746334048 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31204] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31204/stat : 31204 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 9353 33554432000 4194304 4196468 140728877455584 140573745282096 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37412 KiB
[startup+0.310045 s]*
/proc/loadavg: 1.71 1.67 1.73 4/228 31204
/proc/meminfo: memFree=30859892/32770624 swapFree=66940844/67108860
[pid=31189] ppid=31186 vsize=10659884 memory=40220 CPUtime=0.47 cores=1,3,5,7
/proc/31189/stat : 31189 (java) S 31186 31189 29917 0 -1 1077944320 9325 0 0 0 43 4 0 0 20 0 15 0 414791860 10915721216 10055 33554432000 4194304 4196468 140728877455584 140728877438128 140574194560759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
/proc/31189/statm: 2664971 10055 3012 1 0 2627468 0
[pid=31189/tid=31191] ppid=31186 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/31189/task/31191/stat : 31191 (java) R 31186 31189 29917 0 -1 4202560 6284 0 0 0 27 3 0 0 20 0 15 0 414791860 10915721216 10055 33554432000 4194304 4196468 140728877455584 140574198799072 140574194582685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31192] ppid=31186 vsize=10659884 memory=4296910614 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31192/stat : 31192 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 10055 33554432000 4194304 4196468 140728877455584 140574147181072 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31193] ppid=31186 vsize=10659884 memory=3833887780204193440 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31193/stat : 31193 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573800061584 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31194] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31194/stat : 31194 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573799008528 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31195] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31195/stat : 31195 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573797955984 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31196] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31196/stat : 31196 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791862 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573753703152 140574194571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31197] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31197/stat : 31197 (java) S 31186 31189 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414791862 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573752649376 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31198] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31198/stat : 31198 (java) S 31186 31189 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414791863 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573751596272 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31199] ppid=31186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31199/stat : 31199 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573750544848 140574194579355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31200] ppid=31186 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31189/task/31200/stat : 31200 (java) S 31186 31189 29917 0 -1 1077944384 679 0 0 0 4 0 0 0 20 0 15 0 414791865 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573749491952 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31201] ppid=31186 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/31189/task/31201/stat : 31201 (java) R 31186 31189 29917 0 -1 1077944384 228 0 0 0 4 0 0 0 20 0 15 0 414791865 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573748439408 140574194571906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31202] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0.08 cores=1,3,5,7
/proc/31189/task/31202/stat : 31202 (java) R 31186 31189 29917 0 -1 4202560 775 0 0 0 8 0 0 0 20 0 15 0 414791865 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573747386352 140574180240912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31203] ppid=31186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31203/stat : 31203 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573746334048 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31204] ppid=31186 vsize=10659884 memory=140086226462336 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31204/stat : 31204 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791865 10915721216 10055 33554432000 4194304 4196468 140728877455584 140573745282096 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40220 KiB
[startup+0.700853 s]
/proc/loadavg: 1.71 1.67 1.73 3/228 31204
/proc/meminfo: memFree=30849028/32770624 swapFree=66940844/67108860
[pid=31189] ppid=31186 vsize=10661932 memory=63556 CPUtime=1.1 cores=1,3,5,7
/proc/31189/stat : 31189 (java) S 31186 31189 29917 0 -1 1077944320 12923 0 0 0 104 6 0 0 20 0 15 0 414791860 10917818368 15889 33554432000 4194304 4196468 140728877455584 140728877438128 140574194560759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
/proc/31189/statm: 2665483 15889 3062 1 0 2627980 0
[pid=31189/tid=31191] ppid=31186 vsize=10661932 memory=2112 CPUtime=0.67 cores=1,3,5,7
/proc/31189/task/31191/stat : 31191 (java) R 31186 31189 29917 0 -1 4202560 8838 0 0 0 63 4 0 0 20 0 15 0 414791860 10917818368 15889 33554432000 4194304 4196468 140728877455584 140574198786640 140574176124292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31192] ppid=31186 vsize=10661932 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31192/stat : 31192 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10917818368 15889 33554432000 4194304 4196468 140728877455584 140574147181072 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31193] ppid=31186 vsize=10661932 memory=23396 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31193/stat : 31193 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573800061584 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31194] ppid=31186 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31194/stat : 31194 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573799008528 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31195] ppid=31186 vsize=10661932 memory=532 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31195/stat : 31195 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573797955984 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31196] ppid=31186 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31196/stat : 31196 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791862 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573753703152 140574194571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31197] ppid=31186 vsize=10661932 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31197/stat : 31197 (java) S 31186 31189 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414791862 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573752649376 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31198] ppid=31186 vsize=10661932 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31198/stat : 31198 (java) S 31186 31189 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414791863 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573751596272 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31199] ppid=31186 vsize=10661932 memory=7086240636162691427 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31199/stat : 31199 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573750544848 140574194579355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31200] ppid=31186 vsize=10661932 memory=7740110344165609817 CPUtime=0.11 cores=1,3,5,7
/proc/31189/task/31200/stat : 31200 (java) R 31186 31189 29917 0 -1 4202560 978 0 0 0 11 0 0 0 20 0 15 0 414791865 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573749477920 140574177947389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31201] ppid=31186 vsize=10661932 memory=5787221536915148880 CPUtime=0.1 cores=1,3,5,7
/proc/31189/task/31201/stat : 31201 (java) S 31186 31189 29917 0 -1 1077944384 482 0 0 0 10 0 0 0 20 0 15 0 414791865 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573748439408 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31202] ppid=31186 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/31189/task/31202/stat : 31202 (java) S 31186 31189 29917 0 -1 1077944384 1265 0 0 0 18 0 0 0 20 0 15 0 414791865 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573747386352 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31203] ppid=31186 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31203/stat : 31203 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573746334048 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31204] ppid=31186 vsize=10661932 memory=3996 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31204/stat : 31204 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791865 10917818368 15889 33554432000 4194304 4196468 140728877455584 140573745282096 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63556 KiB
[startup+1.50076 s]
/proc/loadavg: 1.65 1.66 1.73 3/228 31204
/proc/meminfo: memFree=30832588/32770624 swapFree=66940844/67108860
[pid=31189] ppid=31186 vsize=10663980 memory=75716 CPUtime=2 cores=1,3,5,7
/proc/31189/stat : 31189 (java) S 31186 31189 29917 0 -1 1077944320 18552 0 0 0 193 7 0 0 20 0 15 0 414791860 10919915520 18929 33554432000 4194304 4196468 140728877455584 140728877438128 140574194560759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
/proc/31189/statm: 2665995 18929 3093 1 0 2628492 0
[pid=31189/tid=31191] ppid=31186 vsize=10663980 memory=71844 CPUtime=1.48 cores=1,3,5,7
/proc/31189/task/31191/stat : 31191 (java) R 31186 31189 29917 0 -1 4202560 13040 0 0 0 143 5 0 0 20 0 15 0 414791860 10919915520 18929 33554432000 4194304 4196468 140728877455584 140574198791816 140574177747568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31192] ppid=31186 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31192/stat : 31192 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10919915520 18929 33554432000 4194304 4196468 140728877455584 140574147181072 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31193] ppid=31186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31193/stat : 31193 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573800061584 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31194] ppid=31186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31194/stat : 31194 (java) S 31186 31189 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414791861 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573799008528 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31195] ppid=31186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31195/stat : 31195 (java) S 31186 31189 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414791861 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573797955984 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31196] ppid=31186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31196/stat : 31196 (java) S 31186 31189 29917 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 414791862 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573753703152 140574194571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31197] ppid=31186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31197/stat : 31197 (java) S 31186 31189 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414791862 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573752649376 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31198] ppid=31186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31198/stat : 31198 (java) S 31186 31189 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414791863 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573751596272 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31199] ppid=31186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31199/stat : 31199 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573750544848 140574194579355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31200] ppid=31186 vsize=10663980 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/31189/task/31200/stat : 31200 (java) S 31186 31189 29917 0 -1 1077944384 1944 0 0 0 17 0 0 0 20 0 15 0 414791865 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573749491952 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31201] ppid=31186 vsize=10663980 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31189/task/31201/stat : 31201 (java) S 31186 31189 29917 0 -1 1077944384 859 0 0 0 13 0 0 0 20 0 15 0 414791865 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573748439408 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31202] ppid=31186 vsize=10663980 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/31189/task/31202/stat : 31202 (java) S 31186 31189 29917 0 -1 1077944384 1267 0 0 0 18 0 0 0 20 0 15 0 414791865 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573747386352 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31203] ppid=31186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31203/stat : 31203 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414791865 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573746334048 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31204] ppid=31186 vsize=10663980 memory=13546326854056 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31204/stat : 31204 (java) S 31186 31189 29917 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 414791865 10919915520 18929 33554432000 4194304 4196468 140728877455584 140573745282096 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75716 KiB
[startup+3.11032 s]
/proc/loadavg: 1.65 1.66 1.73 5/229 31205
/proc/meminfo: memFree=30376704/32770624 swapFree=66940844/67108860
[pid=31189] ppid=31186 vsize=10746276 memory=528192 CPUtime=6.29 cores=1,3,5,7
/proc/31189/stat : 31189 (java) S 31186 31189 29917 0 -1 1077944320 30812 0 0 0 578 51 0 0 20 0 16 0 414791860 11004186624 132048 33554432000 4194304 4196468 140728877455584 140728877438128 140574194560759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
/proc/31189/statm: 2686569 132048 3372 1 0 2646705 0
[pid=31189/tid=31191] ppid=31186 vsize=10746276 memory=134020159566792 CPUtime=1.84 cores=1,3,5,7
/proc/31189/task/31191/stat : 31191 (java) S 31186 31189 29917 0 -1 1077944384 15263 0 0 0 178 6 0 0 20 0 16 0 414791860 11004186624 132048 33554432000 4194304 4196468 140728877455584 140574198803632 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31192] ppid=31186 vsize=10746276 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/31189/task/31192/stat : 31192 (java) S 31186 31189 29917 0 -1 1077944384 574 0 0 0 13 9 0 0 20 0 16 0 414791861 11004186624 132048 33554432000 4194304 4196468 140728877455584 140574147181072 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31193] ppid=31186 vsize=10746276 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/31189/task/31193/stat : 31193 (java) S 31186 31189 29917 0 -1 1077944384 410 0 0 0 13 9 0 0 20 0 16 0 414791861 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573800061584 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31194] ppid=31186 vsize=10746276 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/31189/task/31194/stat : 31194 (java) S 31186 31189 29917 0 -1 1077944384 467 0 0 0 13 9 0 0 20 0 16 0 414791861 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573799008528 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31195] ppid=31186 vsize=10746276 memory=83 CPUtime=0.21 cores=1,3,5,7
/proc/31189/task/31195/stat : 31195 (java) S 31186 31189 29917 0 -1 1077944384 397 0 0 0 12 9 0 0 20 0 16 0 414791861 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573797955984 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31196] ppid=31186 vsize=10746276 memory=80 CPUtime=0.02 cores=1,3,5,7
/proc/31189/task/31196/stat : 31196 (java) S 31186 31189 29917 0 -1 1077944384 1513 0 0 0 2 0 0 0 20 0 16 0 414791862 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573753703152 140574194571906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31197] ppid=31186 vsize=10746276 memory=55 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31197/stat : 31197 (java) S 31186 31189 29917 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414791862 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573752649440 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31198] ppid=31186 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31198/stat : 31198 (java) S 31186 31189 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414791863 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573751596288 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31199] ppid=31186 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31199/stat : 31199 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573750544848 140574194579355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31200] ppid=31186 vsize=10746276 memory=76 CPUtime=0.94 cores=1,3,5,7
/proc/31189/task/31200/stat : 31200 (java) S 31186 31189 29917 0 -1 1077944384 2637 0 0 0 94 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573749491952 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31201] ppid=31186 vsize=10746276 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/31189/task/31201/stat : 31201 (java) S 31186 31189 29917 0 -1 1077944384 1890 0 0 0 98 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573748439408 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31202] ppid=31186 vsize=10746276 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/31189/task/31202/stat : 31202 (java) S 31186 31189 29917 0 -1 1077944384 2365 0 0 0 57 1 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573747386352 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31203] ppid=31186 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31203/stat : 31203 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573746334048 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31204] ppid=31186 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31204/stat : 31204 (java) S 31186 31189 29917 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573745282096 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31205] ppid=31186 vsize=10746276 memory=3472468382290402768 CPUtime=0.97 cores=1,3,5,7
/proc/31189/task/31205/stat : 31205 (java) R 31186 31189 29917 0 -1 4202560 3893 0 0 0 94 3 0 0 20 0 16 0 414792046 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573743820872 140573832836599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 528192 KiB
[startup+3.16064 s]
# the end of solver process 31189 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.84002 s, system=0.528895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11032 s]
/proc/loadavg: 1.65 1.66 1.73 5/229 31205
/proc/meminfo: memFree=30376704/32770624 swapFree=66940844/67108860
[pid=31189] ppid=31186 vsize=10746276 memory=528192 CPUtime=6.29 cores=1,3,5,7
/proc/31189/stat : 31189 (java) S 31186 31189 29917 0 -1 1077944320 30812 0 0 0 578 51 0 0 20 0 16 0 414791860 11004186624 132048 33554432000 4194304 4196468 140728877455584 140728877438128 140574194560759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
/proc/31189/statm: 2686569 132048 3372 1 0 2646705 0
[pid=31189/tid=31191] ppid=31186 vsize=10746276 memory=134020159566792 CPUtime=1.84 cores=1,3,5,7
/proc/31189/task/31191/stat : 31191 (java) S 31186 31189 29917 0 -1 1077944384 15263 0 0 0 178 6 0 0 20 0 16 0 414791860 11004186624 132048 33554432000 4194304 4196468 140728877455584 140574198803632 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31192] ppid=31186 vsize=10746276 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/31189/task/31192/stat : 31192 (java) S 31186 31189 29917 0 -1 1077944384 574 0 0 0 13 9 0 0 20 0 16 0 414791861 11004186624 132048 33554432000 4194304 4196468 140728877455584 140574147181072 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31193] ppid=31186 vsize=10746276 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/31189/task/31193/stat : 31193 (java) S 31186 31189 29917 0 -1 1077944384 410 0 0 0 13 9 0 0 20 0 16 0 414791861 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573800061584 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31194] ppid=31186 vsize=10746276 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/31189/task/31194/stat : 31194 (java) S 31186 31189 29917 0 -1 1077944384 467 0 0 0 13 9 0 0 20 0 16 0 414791861 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573799008528 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31195] ppid=31186 vsize=10746276 memory=83 CPUtime=0.21 cores=1,3,5,7
/proc/31189/task/31195/stat : 31195 (java) S 31186 31189 29917 0 -1 1077944384 397 0 0 0 12 9 0 0 20 0 16 0 414791861 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573797955984 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31196] ppid=31186 vsize=10746276 memory=80 CPUtime=0.02 cores=1,3,5,7
/proc/31189/task/31196/stat : 31196 (java) S 31186 31189 29917 0 -1 1077944384 1513 0 0 0 2 0 0 0 20 0 16 0 414791862 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573753703152 140574194571906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31197] ppid=31186 vsize=10746276 memory=55 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31197/stat : 31197 (java) S 31186 31189 29917 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414791862 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573752649440 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31198] ppid=31186 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31198/stat : 31198 (java) S 31186 31189 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414791863 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573751596288 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31199] ppid=31186 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31199/stat : 31199 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573750544848 140574194579355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31200] ppid=31186 vsize=10746276 memory=76 CPUtime=0.94 cores=1,3,5,7
/proc/31189/task/31200/stat : 31200 (java) S 31186 31189 29917 0 -1 1077944384 2637 0 0 0 94 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573749491952 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31201] ppid=31186 vsize=10746276 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/31189/task/31201/stat : 31201 (java) S 31186 31189 29917 0 -1 1077944384 1890 0 0 0 98 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573748439408 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31202] ppid=31186 vsize=10746276 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/31189/task/31202/stat : 31202 (java) S 31186 31189 29917 0 -1 1077944384 2365 0 0 0 57 1 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573747386352 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31203] ppid=31186 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31203/stat : 31203 (java) S 31186 31189 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573746334048 140574194570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31204] ppid=31186 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31189/task/31204/stat : 31204 (java) S 31186 31189 29917 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414791865 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573745282096 140574194571906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
[pid=31189/tid=31205] ppid=31186 vsize=10746276 memory=3472468382290402768 CPUtime=0.97 cores=1,3,5,7
/proc/31189/task/31205/stat : 31205 (java) R 31186 31189 29917 0 -1 4202560 3893 0 0 0 94 3 0 0 20 0 16 0 414792046 11004186624 132048 33554432000 4194304 4196468 140728877455584 140573743820872 140573832836599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7127040 140728877458443 140728877458546 140728877458546 140728877461455 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 528192 KiB
Child status: 0
Real time (s): 3.16069
CPU time (s): 6.36891
CPU user time (s): 5.84002
CPU system time (s): 0.528895
CPU usage (%): 201.504
Max. virtual memory (cumulated for all children) (KiB): 10746452
Max. memory (cumulated for all children) (KiB): 528192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.84002
system time used= 0.528895
maximum resident set size= 528808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30890
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= 2580
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 31189
# total CPU time (s): 6.36891
# total CPU user time (s): 5.84002
# total CPU system time (s): 0.528895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043392 second user time and 0.074766 second system time
The end