2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.89
3.57/2.21 Instance
3.57/2.21 name=instance-4390602-1568386422, framework=CSP
3.57/2.21
3.57/2.21 Loading variables...
3.57/2.26 Loading constraints...
3.95/2.39
3.95/2.39 Domains
3.95/2.39 nTypes=1, nValues=11596, sizes=[26#446]
3.95/2.39 Variables
3.95/2.39 count=446, degrees=[2#446]
3.95/2.39 Constraints
3.95/2.39 count=174, nSpecific=174, arities=[3#16,4#64,5#54,6#14...9#4,10#6,11#2,12#2]
3.95/2.39 distribution=[CtrExtensionCT-Table#174]
3.95/2.39 tables=[593#2,753#16,1120#2,1971#6...3145#54,3607#8,3852#14,4042#4], nTotalTuples=447698
3.95/2.39 nExtStructures=(10,shared:164)
3.95/2.39 wck=0.541, cpu=2.348, mem=79M516
4.28/2.41 Solver SolverBacktrack being built...
4.28/2.41
4.28/2.45
4.28/2.45 Solver
4.28/2.45 guaranteedGAC=true
4.28/2.45 wck=0.592, cpu=2.397, mem=98M86
4.28/2.46
4.28/2.46 Preprocessing
4.28/2.46 filters=171, nACremovedValues=615, nTotalRemovedValues=615, inconcistency=false
4.28/2.46 wck=0.016, cpu=2.416, mem=98M86
4.28/2.46
4.28/2.47 num=0, depth=8..9, filters=448, wck=0.028, mem=100M728
4.28/2.47 decisions=31, wrong=11, backtracks=1, failedAssignments=10, nogoods=3
4.28/2.47 nFilterCalls=741, avgTableProportion=0.9995548640805959, avgTableSize=2689.1754385964914
4.28/2.47
4.28/2.47 num=1, depth=3..5, filters=738, wck=0.033, mem=100M728
4.28/2.47 decisions=60, wrong=24, backtracks=3, failedAssignments=21, nogoods=5
4.28/2.47 nFilterCalls=1160, avgTableProportion=0.9995574409727808, avgTableSize=2661.4362068965515
4.28/2.47
4.28/2.48 num=2, depth=6..18, filters=1170, wck=0.041, mem=100M728
4.28/2.48 decisions=101, wrong=36, backtracks=3, failedAssignments=33, nogoods=17
4.28/2.48 nFilterCalls=1866, avgTableProportion=0.9995444288728208, avgTableSize=2672.434083601286
4.28/2.48
4.28/2.49 num=3, depth=6..31, filters=1767, wck=0.052, mem=100M728
4.28/2.49 decisions=157, wrong=50, backtracks=4, failedAssignments=46, nogoods=28
4.28/2.49 nFilterCalls=2826, avgTableProportion=0.9995507528220472, avgTableSize=2686.341118188252
4.28/2.49
4.58/2.51 num=4, depth=7..11, filters=2252, wck=0.071, mem=100M728
4.58/2.51 decisions=202, wrong=69, backtracks=12, failedAssignments=60, nogoods=30
4.58/2.51 nFilterCalls=3526, avgTableProportion=0.9995571910681617, avgTableSize=2704.8777651730006
4.58/2.51
4.58/2.52 num=5, depth=3..7, filters=2957, wck=0.079, mem=100M728
4.58/2.52 decisions=251, wrong=91, backtracks=20, failedAssignments=76, nogoods=35
4.58/2.52 nFilterCalls=4527, avgTableProportion=0.9995630520231334, avgTableSize=2722.958250497018
4.58/2.52
4.58/2.52 num=6, depth=4..7, filters=3482, wck=0.085, mem=100M728
4.58/2.52 decisions=298, wrong=112, backtracks=26, failedAssignments=93, nogoods=43
4.58/2.52 nFilterCalls=5249, avgTableProportion=0.9995724694635917, avgTableSize=2746.9125547723374
4.58/2.52
4.58/2.53 num=7, depth=5..22, filters=4607, wck=0.096, mem=100M728
4.58/2.53 decisions=369, wrong=138, backtracks=33, failedAssignments=112, nogoods=59
4.58/2.53 nFilterCalls=6880, avgTableProportion=0.9995698217012964, avgTableSize=2736.759593023256
4.58/2.53
4.58/2.54 num=8, depth=5..22, filters=5703, wck=0.106, mem=100M728
4.58/2.54 decisions=451, wrong=169, backtracks=44, failedAssignments=133, nogoods=75
4.58/2.54 nFilterCalls=8477, avgTableProportion=0.9995675719701189, avgTableSize=2733.4702135189336
4.58/2.54
4.58/2.55 num=9, depth=4..20, filters=6686, wck=0.114, mem=100M728
4.58/2.55 decisions=527, wrong=199, backtracks=52, failedAssignments=156, nogoods=85
4.58/2.55 nFilterCalls=9841, avgTableProportion=0.9995660156092094, avgTableSize=2739.6063408190225
4.58/2.55
4.58/2.56 num=10, depth=4..20, filters=7736, wck=0.124, mem=103M370
4.58/2.56 decisions=610, wrong=232, backtracks=63, failedAssignments=181, nogoods=96
4.58/2.56 nFilterCalls=11333, avgTableProportion=0.9995575265597312, avgTableSize=2736.4152475072797
4.58/2.56
4.58/2.57 num=11, depth=4..36, filters=9042, wck=0.135, mem=103M370
4.58/2.57 decisions=708, wrong=266, backtracks=71, failedAssignments=209, nogoods=114
4.58/2.57 nFilterCalls=13206, avgTableProportion=0.9995560259247974, avgTableSize=2731.8871724973496
4.58/2.57
4.58/2.58 num=12, depth=4..39, filters=10417, wck=0.147, mem=103M370
4.58/2.58 decisions=823, wrong=305, backtracks=80, failedAssignments=240, nogoods=134
4.58/2.58 nFilterCalls=15222, avgTableProportion=0.9995582965214771, avgTableSize=2733.6108264354225
4.58/2.58
4.91/2.60 num=13, depth=4..58, filters=12169, wck=0.162, mem=103M370
4.91/2.60 decisions=955, wrong=346, backtracks=89, failedAssignments=274, nogoods=155
4.91/2.60 nFilterCalls=17868, avgTableProportion=0.999557715463335, avgTableSize=2717.0755540631294
4.91/2.60
4.91/2.61 num=14, depth=4..34, filters=13754, wck=0.174, mem=103M370
4.91/2.61 decisions=1084, wrong=396, backtracks=104, failedAssignments=311, nogoods=179
4.91/2.61 nFilterCalls=20114, avgTableProportion=0.9995549769016788, avgTableSize=2716.909118027245
4.91/2.61
4.91/2.62 num=15, depth=5..26, filters=15258, wck=0.185, mem=106M13
4.91/2.62 decisions=1208, wrong=447, backtracks=114, failedAssignments=352, nogoods=195
4.91/2.62 nFilterCalls=22226, avgTableProportion=0.999556758643458, avgTableSize=2721.3786106361918
4.91/2.62
4.91/2.63 num=16, depth=6..29, filters=16907, wck=0.197, mem=106M13
4.91/2.63 decisions=1354, wrong=509, backtracks=133, failedAssignments=397, nogoods=214
4.91/2.63 nFilterCalls=24693, avgTableProportion=0.9995573490511647, avgTableSize=2721.1733284736565
4.91/2.63
4.91/2.65 num=17, depth=7..49, filters=19523, wck=0.214, mem=106M13
4.91/2.65 decisions=1525, wrong=574, backtracks=151, failedAssignments=447, nogoods=231
4.91/2.65 nFilterCalls=28439, avgTableProportion=0.9995600534843988, avgTableSize=2708.816484405218
4.91/2.65
4.91/2.67 num=18, depth=7..93, filters=22042, wck=0.232, mem=106M13
4.91/2.67 decisions=1739, wrong=640, backtracks=163, failedAssignments=502, nogoods=257
4.91/2.67 nFilterCalls=32107, avgTableProportion=0.9995555089794762, avgTableSize=2703.76578316255
4.91/2.67
4.91/2.68 num=19, depth=3..8, filters=23731, wck=0.243, mem=108M655
4.91/2.68 decisions=1887, wrong=711, backtracks=175, failedAssignments=563, nogoods=282
4.91/2.68 nFilterCalls=34398, avgTableProportion=0.999556316852176, avgTableSize=2705.1679748822608
4.91/2.68
4.91/2.70 num=20, depth=4..15, filters=25626, wck=0.257, mem=108M655
4.91/2.70 decisions=2082, wrong=803, backtracks=203, failedAssignments=630, nogoods=314
4.91/2.70 nFilterCalls=37089, avgTableProportion=0.9995549960776444, avgTableSize=2704.4028418129365
4.91/2.70
5.20/2.71 num=21, depth=6..10, filters=27740, wck=0.271, mem=108M655
5.20/2.71 decisions=2283, wrong=900, backtracks=231, failedAssignments=704, nogoods=336
5.20/2.71 nFilterCalls=39939, avgTableProportion=0.9995569277653343, avgTableSize=2703.771151005283
5.20/2.71
5.20/2.73 num=22, depth=9..70, filters=30644, wck=0.29, mem=111M298
5.20/2.73 decisions=2532, wrong=996, backtracks=250, failedAssignments=785, nogoods=376
5.20/2.73 nFilterCalls=44200, avgTableProportion=0.9995569975585753, avgTableSize=2701.653823529412
5.20/2.73
5.20/2.75 num=23, depth=5..30, filters=33894, wck=0.31, mem=111M298
5.20/2.75 decisions=2803, wrong=1118, backtracks=291, failedAssignments=874, nogoods=395
5.20/2.75 nFilterCalls=48748, avgTableProportion=0.9995587723032547, avgTableSize=2696.8366291950438
5.20/2.75
5.20/2.77 num=24, depth=11..83, filters=37490, wck=0.331, mem=113M940
5.20/2.77 decisions=3133, wrong=1247, backtracks=331, failedAssignments=972, nogoods=442
5.20/2.77 nFilterCalls=53948, avgTableProportion=0.9995572042844658, avgTableSize=2697.0577222510565
5.20/2.77
5.42/2.80 num=25, depth=5..48, filters=42267, wck=0.359, mem=113M940
5.42/2.80 decisions=3455, wrong=1390, backtracks=376, failedAssignments=1080, nogoods=459
5.42/2.80 nFilterCalls=60369, avgTableProportion=0.9995548440370379, avgTableSize=2691.117808809157
5.42/2.80
5.42/2.82 num=26, depth=6..40, filters=46455, wck=0.382, mem=116M583
5.42/2.82 decisions=3781, wrong=1537, backtracks=416, failedAssignments=1199, nogoods=491
5.42/2.82 nFilterCalls=66108, avgTableProportion=0.9995548560737897, avgTableSize=2689.743540872512
5.42/2.82
5.42/2.84 num=27, depth=13..74, filters=51233, wck=0.403, mem=116M583
5.42/2.84 decisions=4180, wrong=1707, backtracks=460, failedAssignments=1330, nogoods=513
5.42/2.84 nFilterCalls=72629, avgTableProportion=0.9995526817262514, avgTableSize=2687.711423811425
5.42/2.84
5.42/2.87 num=28, depth=13..66, filters=57749, wck=0.428, mem=119M225
5.42/2.87 decisions=4627, wrong=1903, backtracks=523, failedAssignments=1474, nogoods=525
5.42/2.87 nFilterCalls=81366, avgTableProportion=0.9995510455638248, avgTableSize=2688.8139394833224
5.42/2.87
5.42/2.89 num=29, depth=13..89, filters=64485, wck=0.452, mem=121M868
5.42/2.89 decisions=5139, wrong=2120, backtracks=598, failedAssignments=1632, nogoods=558
5.42/2.89 nFilterCalls=90429, avgTableProportion=0.9995524186348179, avgTableSize=2688.834046600095
5.42/2.89
5.54/2.92 num=30, depth=13..55, filters=72375, wck=0.484, mem=124M510
5.54/2.92 decisions=5634, wrong=2345, backtracks=662, failedAssignments=1806, nogoods=575
5.54/2.92 nFilterCalls=101441, avgTableProportion=0.9995551313328277, avgTableSize=2674.250155262665
5.54/2.92
5.54/2.95 num=31, depth=13..91, filters=79913, wck=0.515, mem=127M152
5.54/2.95 decisions=6216, wrong=2597, backtracks=734, failedAssignments=1997, nogoods=619
5.54/2.95 nFilterCalls=111582, avgTableProportion=0.9995540037448852, avgTableSize=2678.833673890054
5.54/2.95
5.54/2.98 num=32, depth=13..69, filters=86334, wck=0.542, mem=129M795
5.54/2.98 decisions=6819, wrong=2870, backtracks=801, failedAssignments=2208, nogoods=639
5.54/2.98 nFilterCalls=120309, avgTableProportion=0.9995473352157587, avgTableSize=2680.565535412978
5.54/2.98
5.66/3.02 num=33, depth=8..95, filters=94884, wck=0.578, mem=132M437
5.66/3.02 decisions=7547, wrong=3193, backtracks=921, failedAssignments=2440, nogoods=688
5.66/3.02 nFilterCalls=131875, avgTableProportion=0.999548962781413, avgTableSize=2682.85552985782
5.66/3.02
5.66/3.05 num=34, depth=7..98, filters=104087, wck=0.613, mem=135M80
5.66/3.05 decisions=8285, wrong=3524, backtracks=1021, failedAssignments=2695, nogoods=746
5.66/3.05 nFilterCalls=144515, avgTableProportion=0.9995503821226878, avgTableSize=2683.4673009722173
5.66/3.05
5.66/3.08 num=35, depth=7..39, filters=113208, wck=0.646, mem=137M722
5.66/3.08 decisions=9023, wrong=3879, backtracks=1115, failedAssignments=2976, nogoods=760
5.66/3.08 nFilterCalls=156363, avgTableProportion=0.9995531070757883, avgTableSize=2689.4039510625917
5.66/3.08
5.85/3.13 num=36, depth=5..445, filters=121457, ccks=174, wck=0.687, mem=140M365
5.85/3.13 decisions=9712, wrong=4176, backtracks=1185, failedAssignments=3206, nogoods=760, foundSolutions=1
5.85/3.13 nFilterCalls=167377, avgTableProportion=0.9995542549673323, avgTableSize=2691.857584972846
5.85/3.13
5.85/3.13 Global
5.85/3.13 filters=121457, ccks=174, nogoods=760
5.85/3.13 Stop=REACHED_GOAL, wrong=4176, foundSolutions=1, firstSolCpu=3.072
5.85/3.13 wck=1.281, cpu=3.082, mem=140M365
5.85/3.13
5.85/3.13 v <instantiation id='sol1' type='solution'> <list> x[][] </list> <values> 1 0 19 7 * 18 2 0 11 3 * 15 17 14 18 4 * 21 8 2 0 17 * 0 11 0 8 * 12 0 11 19 0 * 17 0 3 0 17 * 0 13 0 1 4 11 2 0 15 0 2 8 19 8 21 4 * 8 3 8 14 18 24 13 2 17 0 18 24 7 8 0 22 0 19 7 0 * 3 8 21 0 13 * 10 14 2 7 * 19 20 12 * * * 0 18 7 24 * 3 0 19 4 17 * 15 8 10 4 * 7 4 11 15 18 12 20 19 19 24 * 15 8 11 14 19 * 6 4 13 4 * 1 0 17 19 7 11 0 19 7 4 * 18 8 19 20 * * 15 8 13 4 * 2 0 11 * * * 20 18 8 0 * 15 8 19 19 18 1 20 17 6 7 * 18 20 11 5 8 3 4 12 4 11 * 0 17 12 2 14 * 0 17 4 0 * 2 0 17 3 * 13 14 21 15 17 8 6 6 8 18 7 * 18 19 4 15 2 7 8 11 3 * 10 0 11 4 * * 19 17 14 3 * 18 15 8 2 0 * 24 0 13 10 * 15 14 11 0 17 4 11 0 8 13 4 * 19 0 13 7 * 18 2 20 3 * 1 17 0 8 13 24 12 4 17 11 4 * 7 14 13 6 * 18 0 11 11 4 * 0 8 11 4 * * 1 0 8 11 * 15 8 13 4 0 15 15 11 4 * 17 8 3 3 0 13 2 4 4 21 0 * 5 0 2 4 * 15 0 8 11 * 22 4 3 6 4 * 0 17 2 3 4 13 12 0 17 10 * 1 14 13 13 4 21 8 11 11 4 * 0 1 4 11 * * * 4 18 19 * 1 4 17 6 * * 8 3 11 4 * 19 20 11 18 0 1 11 14 0 19 * 19 20 13 4 * 0 14 17 19 0 * 12 14 3 4 18 19 11 0 17 3 * 1 4 11 19 * 13 4 0 19 7 * 18 0 17 8 * * * 0 1 0 * 18 11 4 22 * 1 0 13 19 20 * 7 14 17 18 4 3 14 12 13 8 2 14 19 8 13 0 12 8 3 4 * 14 15 8 13 8 14 13 0 19 4 2 0 11 21 8 13 * 17 0 3 8 8 * 18 4 3 0 13 * 2 7 8 19 * 11 4 0 17 13 * 10 13 4 0 3 * 14 15 4 17 0 * 4 11 18 4 </values> </instantiation>
5.85/3.13 s SATISFIABLE
5.85/3.13
5.85/3.13 d WRONG_DECISIONS 4176
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 (11463 MiB free)
memory of node 1: 16384 MiB (14345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390602-1568386422/watcher-4390602-1568386422 -o /tmp/evaluation-result-4390602-1568386422/solver-4390602-1568386422 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390602-1568386422.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=2227, runsolver pid=2224
[startup+0.100157 s]*
/proc/loadavg: 1.48 1.42 1.47 4/228 2242
/proc/meminfo: memFree=26411840/32770624 swapFree=66957012/67108860
[pid=2227] ppid=2224 vsize=10659884 memory=27168 CPUtime=0.13 cores=1,3,5,7
/proc/2227/stat : 2227 (java) S 2224 2227 32084 0 -1 1077944320 5332 0 0 0 12 1 0 0 20 0 15 0 414556049 10915721216 6792 33554432000 4194304 4196468 140720919845312 140720919827856 140676683902711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
/proc/2227/statm: 2664971 6792 2819 1 0 2627468 0
[pid=2227/tid=2229] ppid=2224 vsize=10659884 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/2227/task/2229/stat : 2229 (java) R 2224 2227 32084 0 -1 4202560 3199 0 0 0 9 0 0 0 20 0 15 0 414556049 10915721216 6792 33554432000 4194304 4196468 140720919845312 140676688125472 140676662980265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2230] ppid=2224 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2230/stat : 2230 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 6792 33554432000 4194304 4196468 140720919845312 140676625906448 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2231] ppid=2224 vsize=10659884 memory=140462462244480 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2231/stat : 2231 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 6792 33554432000 4194304 4196468 140720919845312 140676624853904 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2232] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2232/stat : 2232 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 6792 33554432000 4194304 4196468 140720919845312 140676623801360 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2233] ppid=2224 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2233/stat : 2233 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 6792 33554432000 4194304 4196468 140720919845312 140676622748816 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2234] ppid=2224 vsize=10659884 memory=140462462244480 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2234/stat : 2234 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556051 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675920963568 140676683913858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2235] ppid=2224 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2235/stat : 2235 (java) S 2224 2227 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414556051 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675919909792 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2236] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2236/stat : 2236 (java) S 2224 2227 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414556052 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675918857200 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2237] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2237/stat : 2237 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675917805776 140676683921307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2238] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2238/stat : 2238 (java) R 2224 2227 32084 0 -1 4202560 310 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675916753392 140676667301884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2239] ppid=2224 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2239/stat : 2239 (java) R 2224 2227 32084 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675915700848 140676683913858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2240] ppid=2224 vsize=10659884 memory=140462462244480 CPUtime=0.02 cores=1,3,5,7
/proc/2227/task/2240/stat : 2240 (java) R 2224 2227 32084 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 414556054 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675914648304 140676683914646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2241] ppid=2224 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2241/stat : 2241 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675913596000 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2242] ppid=2224 vsize=10659884 memory=140462462244480 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2242/stat : 2242 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 6792 33554432000 4194304 4196468 140720919845312 140675912542512 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27168 KiB
[startup+0.210765 s]*
/proc/loadavg: 1.48 1.42 1.47 3/228 2242
/proc/meminfo: memFree=26404596/32770624 swapFree=66957012/67108860
[pid=2227] ppid=2224 vsize=10659884 memory=34664 CPUtime=0.32 cores=1,3,5,7
/proc/2227/stat : 2227 (java) S 2224 2227 32084 0 -1 1077944320 6842 0 0 0 31 1 0 0 20 0 15 0 414556049 10915721216 8666 33554432000 4194304 4196468 140720919845312 140720919827856 140676683902711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
/proc/2227/statm: 2664971 8666 2989 1 0 2627468 0
[pid=2227/tid=2229] ppid=2224 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/2227/task/2229/stat : 2229 (java) R 2224 2227 32084 0 -1 4202560 3881 0 0 0 19 1 0 0 20 0 15 0 414556049 10915721216 8666 33554432000 4194304 4196468 140720919845312 140676688134800 140676683924637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2230] ppid=2224 vsize=10659884 memory=4294967635 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2230/stat : 2230 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 8666 33554432000 4194304 4196468 140720919845312 140676625906448 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2231] ppid=2224 vsize=10659884 memory=140462465003688 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2231/stat : 2231 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 8666 33554432000 4194304 4196468 140720919845312 140676624853904 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2232] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2232/stat : 2232 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 8666 33554432000 4194304 4196468 140720919845312 140676623801360 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2233] ppid=2224 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2233/stat : 2233 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 8666 33554432000 4194304 4196468 140720919845312 140676622748816 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2234] ppid=2224 vsize=10659884 memory=140462462244480 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2234/stat : 2234 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556051 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675920963568 140676683913858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2235] ppid=2224 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2235/stat : 2235 (java) S 2224 2227 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414556051 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675919909792 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2236] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2236/stat : 2236 (java) S 2224 2227 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414556052 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675918857200 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2237] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2237/stat : 2237 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675917805776 140676683921307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2238] ppid=2224 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2227/task/2238/stat : 2238 (java) S 2224 2227 32084 0 -1 1077944384 669 0 0 0 3 0 0 0 20 0 15 0 414556054 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675916753392 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2239] ppid=2224 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2227/task/2239/stat : 2239 (java) S 2224 2227 32084 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 414556054 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675915700848 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2240] ppid=2224 vsize=10659884 memory=140462462244480 CPUtime=0.05 cores=1,3,5,7
/proc/2227/task/2240/stat : 2240 (java) S 2224 2227 32084 0 -1 1077944384 682 0 0 0 5 0 0 0 20 0 15 0 414556054 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675914648304 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2241] ppid=2224 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2241/stat : 2241 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675913596000 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2242] ppid=2224 vsize=10659884 memory=140462462244480 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2242/stat : 2242 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 8666 33554432000 4194304 4196468 140720919845312 140675912542512 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34664 KiB
[startup+0.310191 s]*
/proc/loadavg: 1.48 1.42 1.47 3/228 2242
/proc/meminfo: memFree=26397000/32770624 swapFree=66957012/67108860
[pid=2227] ppid=2224 vsize=10659884 memory=40116 CPUtime=0.47 cores=1,3,5,7
/proc/2227/stat : 2227 (java) S 2224 2227 32084 0 -1 1077944320 9426 0 0 0 44 3 0 0 20 0 15 0 414556049 10915721216 10029 33554432000 4194304 4196468 140720919845312 140720919827856 140676683902711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
/proc/2227/statm: 2664971 10029 3032 1 0 2627468 0
[pid=2227/tid=2229] ppid=2224 vsize=10659884 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/2227/task/2229/stat : 2229 (java) R 2224 2227 32084 0 -1 4202560 6364 0 0 0 28 2 0 0 20 0 15 0 414556049 10915721216 10029 33554432000 4194304 4196468 140720919845312 140676688135120 140676683914646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2230] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2230/stat : 2230 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 10029 33554432000 4194304 4196468 140720919845312 140676625906448 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2231] ppid=2224 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2231/stat : 2231 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 10029 33554432000 4194304 4196468 140720919845312 140676624853904 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2232] ppid=2224 vsize=10659884 memory=140462342121935 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2232/stat : 2232 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 10029 33554432000 4194304 4196468 140720919845312 140676623801360 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2233] ppid=2224 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2233/stat : 2233 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10915721216 10029 33554432000 4194304 4196468 140720919845312 140676622748816 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2234] ppid=2224 vsize=10659884 memory=280924804350288 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2234/stat : 2234 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556051 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675920963568 140676683913858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2235] ppid=2224 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2235/stat : 2235 (java) S 2224 2227 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414556051 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675919909792 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2236] ppid=2224 vsize=10659884 memory=55780 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2236/stat : 2236 (java) S 2224 2227 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414556052 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675918857200 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2237] ppid=2224 vsize=10659884 memory=58084 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2237/stat : 2237 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675917805776 140676683921307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2238] ppid=2224 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2227/task/2238/stat : 2238 (java) S 2224 2227 32084 0 -1 1077944384 740 0 0 0 4 0 0 0 20 0 15 0 414556054 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675916753392 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2239] ppid=2224 vsize=10659884 memory=140462342117391 CPUtime=0.03 cores=1,3,5,7
/proc/2227/task/2239/stat : 2239 (java) R 2224 2227 32084 0 -1 4202560 257 0 0 0 3 0 0 0 20 0 15 0 414556054 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675915700848 140676663122371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2240] ppid=2224 vsize=10659884 memory=280924804371040 CPUtime=0.07 cores=1,3,5,7
/proc/2227/task/2240/stat : 2240 (java) R 2224 2227 32084 0 -1 1077944384 713 0 0 0 7 0 0 0 20 0 15 0 414556054 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675914648304 140676683913858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2241] ppid=2224 vsize=10659884 memory=140462342121999 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2241/stat : 2241 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675913596000 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2242] ppid=2224 vsize=10659884 memory=140462462244492 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2242/stat : 2242 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556054 10915721216 10029 33554432000 4194304 4196468 140720919845312 140675912542512 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40116 KiB
[startup+0.700791 s]
/proc/loadavg: 1.48 1.42 1.47 4/228 2242
/proc/meminfo: memFree=26387932/32770624 swapFree=66957012/67108860
[pid=2227] ppid=2224 vsize=10661932 memory=64056 CPUtime=1.1 cores=1,3,5,7
/proc/2227/stat : 2227 (java) S 2224 2227 32084 0 -1 1077944320 13214 0 0 0 105 5 0 0 20 0 15 0 414556049 10917818368 16014 33554432000 4194304 4196468 140720919845312 140720919827856 140676683902711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
/proc/2227/statm: 2665483 16014 3062 1 0 2627980 0
[pid=2227/tid=2229] ppid=2224 vsize=10661932 memory=150057298959385 CPUtime=0.67 cores=1,3,5,7
/proc/2227/task/2229/stat : 2229 (java) R 2224 2227 32084 0 -1 4202560 8913 0 0 0 63 4 0 0 20 0 15 0 414556049 10917818368 16014 33554432000 4194304 4196468 140720919845312 140676688125648 140676667089520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2230] ppid=2224 vsize=10661932 memory=24633 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2230/stat : 2230 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10917818368 16014 33554432000 4194304 4196468 140720919845312 140676625906448 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2231] ppid=2224 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2231/stat : 2231 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556050 10917818368 16014 33554432000 4194304 4196468 140720919845312 140676624853904 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2232] ppid=2224 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2232/stat : 2232 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10917818368 16014 33554432000 4194304 4196468 140720919845312 140676623801360 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2233] ppid=2224 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2233/stat : 2233 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10917818368 16014 33554432000 4194304 4196468 140720919845312 140676622748816 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2234] ppid=2224 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2234/stat : 2234 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556051 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675920963568 140676683913858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2235] ppid=2224 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2235/stat : 2235 (java) S 2224 2227 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414556051 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675919909792 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2236] ppid=2224 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2236/stat : 2236 (java) S 2224 2227 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414556052 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675918857200 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2237] ppid=2224 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2237/stat : 2237 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675917805776 140676683921307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2238] ppid=2224 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/2227/task/2238/stat : 2238 (java) S 2224 2227 32084 0 -1 1077944384 1087 0 0 0 11 0 0 0 20 0 15 0 414556054 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675916753392 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2239] ppid=2224 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/2227/task/2239/stat : 2239 (java) R 2224 2227 32084 0 -1 4202560 623 0 0 0 11 0 0 0 20 0 15 0 414556054 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675915700848 140676667388661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2240] ppid=2224 vsize=10661932 memory=388 CPUtime=0.18 cores=1,3,5,7
/proc/2227/task/2240/stat : 2240 (java) S 2224 2227 32084 0 -1 1077944384 1230 0 0 0 18 0 0 0 20 0 15 0 414556054 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675914648304 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2241] ppid=2224 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2241/stat : 2241 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675913596000 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2242] ppid=2224 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2242/stat : 2242 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556054 10917818368 16014 33554432000 4194304 4196468 140720919845312 140675912542512 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64056 KiB
[startup+1.50078 s]
/proc/loadavg: 1.48 1.42 1.47 3/228 2242
/proc/meminfo: memFree=26372112/32770624 swapFree=66957012/67108860
[pid=2227] ppid=2224 vsize=10663980 memory=76132 CPUtime=1.99 cores=1,3,5,7
/proc/2227/stat : 2227 (java) S 2224 2227 32084 0 -1 1077944320 18580 0 0 0 193 6 0 0 20 0 15 0 414556049 10919915520 19033 33554432000 4194304 4196468 140720919845312 140720919827856 140676683902711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
/proc/2227/statm: 2665995 19033 3092 1 0 2628492 0
[pid=2227/tid=2229] ppid=2224 vsize=10663980 memory=2321 CPUtime=1.47 cores=1,3,5,7
/proc/2227/task/2229/stat : 2229 (java) R 2224 2227 32084 0 -1 4202560 13011 0 0 0 142 5 0 0 20 0 15 0 414556049 10919915520 19033 33554432000 4194304 4196468 140720919845312 140676688134736 140676667089541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2230] ppid=2224 vsize=10663980 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2230/stat : 2230 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10919915520 19033 33554432000 4194304 4196468 140720919845312 140676625906448 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2231] ppid=2224 vsize=10663980 memory=366 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2231/stat : 2231 (java) S 2224 2227 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414556050 10919915520 19033 33554432000 4194304 4196468 140720919845312 140676624853904 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2232] ppid=2224 vsize=10663980 memory=11 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2232/stat : 2232 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10919915520 19033 33554432000 4194304 4196468 140720919845312 140676623801360 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2233] ppid=2224 vsize=10663980 memory=27173 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2233/stat : 2233 (java) S 2224 2227 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414556050 10919915520 19033 33554432000 4194304 4196468 140720919845312 140676622748816 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2234] ppid=2224 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2234/stat : 2234 (java) S 2224 2227 32084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 414556051 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675920963568 140676683913858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2235] ppid=2224 vsize=10663980 memory=1347 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2235/stat : 2235 (java) S 2224 2227 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414556051 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675919909792 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2236] ppid=2224 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2236/stat : 2236 (java) S 2224 2227 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414556052 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675918857200 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2237] ppid=2224 vsize=10663980 memory=1 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2237/stat : 2237 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675917805776 140676683921307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2238] ppid=2224 vsize=10663980 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/2227/task/2238/stat : 2238 (java) S 2224 2227 32084 0 -1 1077944384 1424 0 0 0 14 0 0 0 20 0 15 0 414556054 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675916753392 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2239] ppid=2224 vsize=10663980 memory=2228 CPUtime=0.17 cores=1,3,5,7
/proc/2227/task/2239/stat : 2239 (java) S 2224 2227 32084 0 -1 1077944384 1490 0 0 0 17 0 0 0 20 0 15 0 414556054 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675915700848 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2240] ppid=2224 vsize=10663980 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2227/task/2240/stat : 2240 (java) S 2224 2227 32084 0 -1 1077944384 1232 0 0 0 18 0 0 0 20 0 15 0 414556054 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675914648304 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2241] ppid=2224 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2241/stat : 2241 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414556054 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675913596000 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2242] ppid=2224 vsize=10663980 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2242/stat : 2242 (java) S 2224 2227 32084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 414556054 10919915520 19033 33554432000 4194304 4196468 140720919845312 140675912542512 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76132 KiB
[startup+3.11058 s]
/proc/loadavg: 1.48 1.42 1.47 5/229 2243
/proc/meminfo: memFree=26212516/32770624 swapFree=66957012/67108860
[pid=2227] ppid=2224 vsize=10748324 memory=235244 CPUtime=5.85 cores=1,3,5,7
/proc/2227/stat : 2227 (java) S 2224 2227 32084 0 -1 1077944320 30492 0 0 0 570 15 0 0 20 0 16 0 414556049 11006283776 58811 33554432000 4194304 4196468 140720919845312 140720919827856 140676683902711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
/proc/2227/statm: 2687081 58811 3362 1 0 2647217 0
[pid=2227/tid=2229] ppid=2224 vsize=10748324 memory=55 CPUtime=1.85 cores=1,3,5,7
/proc/2227/task/2229/stat : 2229 (java) S 2224 2227 32084 0 -1 1077944384 15244 0 0 0 178 7 0 0 20 0 16 0 414556049 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676688145584 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2230] ppid=2224 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2227/task/2230/stat : 2230 (java) S 2224 2227 32084 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414556050 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676625906448 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2231] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2231/stat : 2231 (java) S 2224 2227 32084 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414556050 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676624853904 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2232] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2232/stat : 2232 (java) S 2224 2227 32084 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414556050 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676623801360 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2233] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2233/stat : 2233 (java) S 2224 2227 32084 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 16 0 414556050 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676622748816 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2234] ppid=2224 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2227/task/2234/stat : 2234 (java) S 2224 2227 32084 0 -1 1077944384 923 0 0 0 1 0 0 0 20 0 16 0 414556051 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675920963568 140676683913858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2235] ppid=2224 vsize=10748324 memory=85932 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2235/stat : 2235 (java) S 2224 2227 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414556051 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675919909856 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2236] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2236/stat : 2236 (java) S 2224 2227 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414556052 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675918857216 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2237] ppid=2224 vsize=10748324 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2237/stat : 2237 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675917805776 140676683921307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2238] ppid=2224 vsize=10748324 memory=7380106142448642923 CPUtime=1.04 cores=1,3,5,7
/proc/2227/task/2238/stat : 2238 (java) S 2224 2227 32084 0 -1 1077944384 2608 0 0 0 104 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675916753392 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2239] ppid=2224 vsize=10748324 memory=8099279071866868843 CPUtime=1.04 cores=1,3,5,7
/proc/2227/task/2239/stat : 2239 (java) S 2224 2227 32084 0 -1 1077944384 3203 0 0 0 104 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675915700848 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2240] ppid=2224 vsize=10748324 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/2227/task/2240/stat : 2240 (java) S 2224 2227 32084 0 -1 1077944384 2953 0 0 0 60 1 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675914648304 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2241] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2241/stat : 2241 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675913596000 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2242] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2242/stat : 2242 (java) S 2224 2227 32084 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675912542512 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2243] ppid=2224 vsize=10748324 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/2227/task/2243/stat : 2243 (java) R 2224 2227 32084 0 -1 4202560 3939 0 0 0 116 3 0 0 20 0 16 0 414556236 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675895587768 140676308537338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 235244 KiB
[startup+3.15577 s]
# the end of solver process 2227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.76586 s, system=0.19823 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11058 s]
/proc/loadavg: 1.48 1.42 1.47 5/229 2243
/proc/meminfo: memFree=26212516/32770624 swapFree=66957012/67108860
[pid=2227] ppid=2224 vsize=10748324 memory=235244 CPUtime=5.85 cores=1,3,5,7
/proc/2227/stat : 2227 (java) S 2224 2227 32084 0 -1 1077944320 30492 0 0 0 570 15 0 0 20 0 16 0 414556049 11006283776 58811 33554432000 4194304 4196468 140720919845312 140720919827856 140676683902711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
/proc/2227/statm: 2687081 58811 3362 1 0 2647217 0
[pid=2227/tid=2229] ppid=2224 vsize=10748324 memory=55 CPUtime=1.85 cores=1,3,5,7
/proc/2227/task/2229/stat : 2229 (java) S 2224 2227 32084 0 -1 1077944384 15244 0 0 0 178 7 0 0 20 0 16 0 414556049 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676688145584 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2230] ppid=2224 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2227/task/2230/stat : 2230 (java) S 2224 2227 32084 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414556050 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676625906448 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2231] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2231/stat : 2231 (java) S 2224 2227 32084 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414556050 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676624853904 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2232] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2232/stat : 2232 (java) S 2224 2227 32084 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414556050 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676623801360 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2233] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2233/stat : 2233 (java) S 2224 2227 32084 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 16 0 414556050 11006283776 58811 33554432000 4194304 4196468 140720919845312 140676622748816 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2234] ppid=2224 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2227/task/2234/stat : 2234 (java) S 2224 2227 32084 0 -1 1077944384 923 0 0 0 1 0 0 0 20 0 16 0 414556051 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675920963568 140676683913858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2235] ppid=2224 vsize=10748324 memory=85932 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2235/stat : 2235 (java) S 2224 2227 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414556051 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675919909856 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2236] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2236/stat : 2236 (java) S 2224 2227 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414556052 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675918857216 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2237] ppid=2224 vsize=10748324 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2237/stat : 2237 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675917805776 140676683921307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2238] ppid=2224 vsize=10748324 memory=7380106142448642923 CPUtime=1.04 cores=1,3,5,7
/proc/2227/task/2238/stat : 2238 (java) S 2224 2227 32084 0 -1 1077944384 2608 0 0 0 104 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675916753392 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2239] ppid=2224 vsize=10748324 memory=8099279071866868843 CPUtime=1.04 cores=1,3,5,7
/proc/2227/task/2239/stat : 2239 (java) S 2224 2227 32084 0 -1 1077944384 3203 0 0 0 104 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675915700848 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2240] ppid=2224 vsize=10748324 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/2227/task/2240/stat : 2240 (java) S 2224 2227 32084 0 -1 1077944384 2953 0 0 0 60 1 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675914648304 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2241] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2241/stat : 2241 (java) S 2224 2227 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675913596000 140676683912917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2242] ppid=2224 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2227/task/2242/stat : 2242 (java) S 2224 2227 32084 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 16 0 414556054 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675912542512 140676683913858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
[pid=2227/tid=2243] ppid=2224 vsize=10748324 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/2227/task/2243/stat : 2243 (java) R 2224 2227 32084 0 -1 4202560 3939 0 0 0 116 3 0 0 20 0 16 0 414556236 11006283776 58811 33554432000 4194304 4196468 140720919845312 140675895587768 140676308537338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140720919852043 140720919852146 140720919852146 140720919855055 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 235244 KiB
Child status: 0
Real time (s): 3.15581
CPU time (s): 5.96409
CPU user time (s): 5.76586
CPU system time (s): 0.19823
CPU usage (%): 188.988
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 235244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.76586
system time used= 0.19823
maximum resident set size= 265728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31001
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= 2387
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 2227
# total CPU time (s): 5.96409
# total CPU user time (s): 5.76586
# total CPU system time (s): 0.19823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045243 second user time and 0.076482 second system time
The end